proof/runners · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof runners

1 folder · 12 files

at bend/stackfix

gildrb.com · runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52) · 2w ago

runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52)

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

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

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

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

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

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

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

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

runners_ffi_answers.bend

runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52)

runners_ffi_exact.bend

runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52)

runners_ffi_example.bend

runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52)

runners_ffi_left_over.bend

runners: the ipython gate and the registry decided by the compiled core (new runners entry id 52)