Repository navigation

Run one job end to end as a recursive language model - #13

Draft

1zeroone0 wants to merge 19 commits into

mainfrom

first-job

Draft

Run one job end to end as a recursive language model#13
1zeroone0 wants to merge 19 commits into
mainfrom
first-job

Commits on Sep 29, 2026
- Witness a call when its command ends, and sign the answer
  
  1zeroone0
  and
  claude
  committed
  e7a7de4
- Block a process until its command ends, as the harness does
  
  1zeroone0
  and
  claude
  committed
  8ea6b3b
- Specify the record encoding in Lean: canonical, so a signature names one record
  
  1zeroone0
  and
  claude
  committed
  7430236
- Prove the log's acceptance for every log size
  
  1zeroone0
  and
  claude
  committed
  a125521
- Name each call's process in its records, so the log holds the process tree
  
  1zeroone0
  and
  claude
  committed
  e2a11de
- Drop the hash chain: a signature already fixes each record's author and place
  
  1zeroone0
  and
  claude
  committed
  fbeb1b1
- Make every window replayable from the log, and prove no tree outspends its root
  
  1zeroone0
  and
  claude
  committed
  9aa3245
- Skeleton: one type per noun, one signature per action, every body todo!()
  
  1zeroone0
  and
  claude
  committed
  a06b1f7
- Give every noun its home in code, and write down the method as practiced here
  
  1zeroone0
  and
  claude
  committed
  07d6ca1
- Fill record: the Lean codec byte for byte, held to it by the differential test
  
  1zeroone0
  and
  claude
  committed
  f5b34de
- Fill meter: the Lean definitions, held to them by the differential test
  
  1zeroone0
  and
  claude
  committed
  b3a35d6
- Fill window: it only grows, and the log replays it as Lean does
  
  1zeroone0
  and
  claude
  committed
  c0252ab
- Fill bounded: a call returns its output whole or not at all
  
  1zeroone0
  and
  claude
  committed
  093e0f5
- Fill log: keep and refuse as Lean's accept does, and verify signatures
  
  1zeroone0
  and
  claude
  committed
  f8a7d37
- Spill output that is not text, so the window holds exactly what the log replays
  
  1zeroone0
  and
  claude
  committed
  fe8a4ab
- Fill the gateway and the wire: frames, spans, and Converse through curl
  
  1zeroone0
  and
  claude
  committed
  aab9953
- Fill the signer, rights and roles: numbered records, attenuation, argv
  
  1zeroone0
  and
  claude
  committed
  0bb9318
- Move test modules to the end of theirs, as clippy asks
  
  1zeroone0
  and
  claude
  committed
  09aa4dc
- Say what the three artifacts are for: a conversation that shows what cannot be stabilized
  
  1zeroone0
  and
  claude
  committed
  2def4b3

Commits

Commits on Sep 29, 2026