proof/sandbox · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof sandbox

1 folder · 21 files

at bend/stackfix

gildrb.com · laws: frames_verdict_serve_exact (a verdict serves its frame exactly when it is Serve; a fresh blind adversary's Verdict.serve of Duplicate and Kindless passed frames_admit_serves_accepted) · 2w ago

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

cow_conflict_is_real.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

cow_conflict_reported.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

proofs: files past 1,000 lines become folders by topic (proof/base/, proof/<area>/base/, proof/optchat/push_agrees_always/); P1 binders renamed

cow_keeps_parent.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

cow_plan_is_merge.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

cow_takes_child.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

frames_admit_oversize.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_admit_seen.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_admit_serves_accepted.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_admit_within.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_ffi_answers.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_ffi_exact.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_ffi_example.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_ffi_left_over.bend

sandbox: the gate of each host-request frame decided by the compiled core (new frames entry id 54)

frames_verdict_serve_exact.bend

laws: frames_verdict_serve_exact (a verdict serves its frame exactly when it is Serve; a fresh blind adversary's Verdict.serve of Duplicate and Kindless passed frames_admit_serves_accepted)

proto_one_reply_each.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

proto_rejects_oversize.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

proto_runs_every_accepted.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

proto_runs_only_accepted.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>