proof/launcher · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof launcher

11 files

at bend/stackfix

gildrb.com · kernel_local, launcher: the models' own terms are pinned (kernel_terms_exact, kernel_sweep_terms_exact, launcher_adoption_exact), so the laws that read them say what they claim · 2w ago

adopt_same_build.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/

launcher: the replacement's simulation is pinned step by step to the rule (launcher_step_exact, launcher_stop_counts_runs, launcher_closed_gate_waits_example): a blind adversary's run that starts at a closed gate passed idle_shutdown_never_aborts

idle_shutdown_never_aborts.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/

launcher_adoption_exact.bend

kernel_local, launcher: the models' own terms are pinned (kernel_terms_exact, kernel_sweep_terms_exact, launcher_adoption_exact), so the laws that read them say what they claim

launcher_closed_gate_waits_example.bend

launcher: the replacement's simulation is pinned step by step to the rule (launcher_step_exact, launcher_stop_counts_runs, launcher_closed_gate_waits_example): a blind adversary's run that starts at a closed gate passed idle_shutdown_never_aborts

launcher_ffi_answers.bend

launcher: runs as compiled Bend (ffi_launcher, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

launcher_ffi_example.bend

launcher: runs as compiled Bend (ffi_launcher, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

launcher_ffi_malformed_exact.bend

kernel_local, launcher, fsmode: a malformed request gets exactly 'E <area>: malformed request' (laws *_ffi_malformed_exact): a blind adversary's bare 'E' passed the laws that read only the first char

launcher_ffi_malformed.bend

launcher: runs as compiled Bend (ffi_launcher, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

launcher_step_exact.bend

launcher: the replacement's simulation is pinned step by step to the rule (launcher_step_exact, launcher_stop_counts_runs, launcher_closed_gate_waits_example): a blind adversary's run that starts at a closed gate passed idle_shutdown_never_aborts

launcher_stop_counts_runs.bend

launcher: the replacement's simulation is pinned step by step to the rule (launcher_step_exact, launcher_stop_counts_runs, launcher_closed_gate_waits_example): a blind adversary's run that starts at a closed gate passed idle_shutdown_never_aborts