proof/approvals · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof approvals

1 folder · 12 files

at bend/stackfix

gildrb.com · approvals: each session's decision on a question decided by the compiled core (new approvals entry id 53) · 2w ago

approvals: each session's decision on a question decided by the compiled core (new approvals entry id 53)

approvals_ffi_answers.bend

approvals: each session's decision on a question decided by the compiled core (new approvals entry id 53)

approvals_ffi_exact.bend

approvals: each session's decision on a question decided by the compiled core (new approvals entry id 53)

approvals_ffi_example.bend

approvals: each session's decision on a question decided by the compiled core (new approvals entry id 53)

approvals_ffi_left_over.bend

approvals: each session's decision on a question decided by the compiled core (new approvals entry id 53)

proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/

child_answered_by_root.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>

gateway_never_waits.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>

gateway_rules_a_subagent.bend

proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/

left_to_the_gateway.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>

nearest_answer_wins.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>

quiet_is_unanswered.bend

proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/

unanswered_only_when_quiet.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>