Commits

Commit history

1. Commits on Oct 12, 2026

   • algorithm track v2.33 step 10, three-face parity: one road, every option, a gate that can see a missing cell

     Show description for ca05729
     skymanbp

     committed
     ca05729View commit details

     Copy full SHA for ca05729

     View code at this pointBrowse repository at this point
2. Commits on Oct 8, 2026

   • algorithm track v2.33 rule pack: [rules.pack] in ce.toml switches on five architecture checks (no_dir_cycles, fan_in_max, fan_out_max, layers, forbid) that the core renders to CE Datalog (CE.Query.…

     Show description for aa28354
     skymanbp

     committed
     aa28354View commit details

     Copy full SHA for aa28354

     View code at this pointBrowse repository at this point
3. Commits on Oct 1, 2026

   • plan v2.31 steps 6-7, merge generation 2 (part 2): the blind review and the precision doc

     Show description for e877f38
     skymanbp

     committed
     e877f38View commit details

     Copy full SHA for e877f38

     View code at this pointBrowse repository at this point

   • plan v2.31 steps 6-7, merge generation 2 (part 1c): an R3b golden pair and the broad reading of a gap stated in item 52

     Show description for 7b3b43e
     skymanbp

     committed
     7b3b43eView commit details

     Copy full SHA for 7b3b43e

     View code at this pointBrowse repository at this point

   • plan v2.31 steps 6-7, merge generation 2 (part 1b): R3b - a gap filled on one side only widens to an expression parent pair; the frozen set, sample and batches redrawn inside generation 2

     Show description for 046c93d
     skymanbp

     committed
     046c93dView commit details

     Copy full SHA for 046c93d

     View code at this pointBrowse repository at this point

   • plan v2.31 steps 6-7, merge generation 2 (part 1): nine rulings from the 23 reason disagreements in the core and the position-class tables, the node cap inside the protocol line, and the frozen set…

     Show description for c52b3fe
     skymanbp

     committed
     c52b3feView commit details

     Copy full SHA for c52b3fe

     View code at this pointBrowse repository at this point

   • plan v2.32 step 0: the authority track is founded - the design booklet docs/reference/authority-track.md, the plan amendment and the CHANGELOG block (verdict code untouched; check 914 stands)

     Show description for a378e78
     skymanbp

     committed
     a378e78View commit details

     Copy full SHA for a378e78

     View code at this pointBrowse repository at this point

   • plan v2.31 steps 8-9 landing: the architecture family arch/1 - the core, wire 7.6.0, the measuring side and the three faces; the frozen self reading contracts/eval/arch-self-v1.json is regenerated …

     Show description for 004553f
     skymanbp

     committed
     004553fView commit details

     Copy full SHA for 004553f

     View code at this pointBrowse repository at this point

   • plan v2.31 steps 6-7 landing (part 2): the clone-merge blind review, the review doc, the precision doc and the registry docs/EVAL-SET-MERGE.md - steps 6-7 close

     Show description for f5befaf
     

     skymanbp

     and

     claude

     committed
     f5befafView commit details

     Copy full SHA for f5befaf

     View code at this pointBrowse repository at this point

   • plan v2.31 steps 6-7 landing (part 1): the clone-merge family merge/1 - the core, wire 7.5.0, the measuring side, the three faces, the frozen suggestion set and the verdict-blind sample; the blind …

     Show description for 63041c5
     

     skymanbp

     and

     claude

     committed
     63041c5View commit details

     Copy full SHA for 63041c5

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit D2: the flow/1 per-language replay ledger's ten frozen rows filed, the executor flipped to Frozen, the three tables and the readings on the page - the second of the two com…

     Show description for 5a1336e
     

     skymanbp

     and

     claude

     committed
     5a1336eView commit details

     Copy full SHA for 5a1336e

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit G: the ten flow precision docs regenerated on commit F''s clean tree and the judged mask refilled - contracts/eval/flow-precision-{python,tsx,go,c,java,lua}-v1.json and flo…

     Show description for 54a1780
     

     skymanbp

     and

     claude

     committed
     54a1780View commit details

     Copy full SHA for 54a1780

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit F': the second-generation blind review of cpp, r, rust and typescript, and the flow registry split - contracts/eval/flow-review-{cpp,r,rust,typescript}-v2.json: twenty inde…

     Show description for 5023273
     

     skymanbp

     and

     claude

     committed
     5023273View commit details

     Copy full SHA for 5023273

     View code at this pointBrowse repository at this point
4. Commits on Sep 30, 2026

   • plan v2.31 step 4 commit D1: the flow/1 per-language replay ledger's instrument, gate and document skeleton - the second reading beside the precision exams (booklet §13 item 6: precision >= 99 % wi…

     Show description for 5bc75e3
     

     skymanbp

     and

     claude

     committed
     5bc75e3View commit details

     Copy full SHA for 5bc75e3

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit F: the flow exams' second generation - for the four languages whose pools commit E moved (cpp, r, rust, typescript; python, tsx, go, c, java and lua did not move a cell and…

     Show description for dc4f4ec
     

     skymanbp

     and

     claude

     committed
     dc4f4ecView commit details

     Copy full SHA for dc4f4ec

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit E: the flow lowering's defect fixes and the first-generation precision docs retired - the lowering classes C2's precision docs pinned, each fixed at its root in cli/src/flo…

     Show description for 399291d
     

     skymanbp

     and

     claude

     committed
     399291dView commit details

     Copy full SHA for 399291d

     View code at this pointBrowse repository at this point

   • plan v2.31 step 5: the flow family's three faces and its guard class - one document ce.flow-report/0.1.0 (cli/src/flow_report/{mod,face,console}.rs: every judged-language file the walk admits lower…

     Show description for 056212b
     

     skymanbp

     and

     claude

     committed
     056212bView commit details

     Copy full SHA for 056212b

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit C2: the ten flow precision docs and the judged mask - contracts/eval/flow-precision-<lang>-v1.json generated one by one on C1's clean tree (generated_from bb9bdc8a / dirty …

     Show description for 21d3aa2
     

     skymanbp

     and

     claude

     committed
     21d3aa2View commit details

     Copy full SHA for 21d3aa2

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit C1: the flow precision instruments and their two gates on the tests side (it/flow_precision/{mod,flagged}.rs, it/eval_flow_precision.rs, it/flow_provenance.rs; the shared p…

     Show description for bb9bdc8
     

     skymanbp

     and

     claude

     committed
     bb9bdc8View commit details

     Copy full SHA for bb9bdc8

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit B': the flow exams blind-judged for ten languages - the judge protocol: fifty-three independent Opus subagents, one batch each (at most 25 questions, one corpus per batch; …

     Show description for 3bc05ee
     

     skymanbp

     and

     claude

     committed
     3bc05eeView commit details

     Copy full SHA for 3bc05ee

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit B: the flow family's exams frozen for ten languages - the exam instruments (tests repo it/eval_flow_parts/{mod,exams,pools,draw,generate,verify,tamper}.rs and the gate it/e…

     Show description for 2ea957d
     

     skymanbp

     and

     claude

     committed
     2ea957dView commit details

     Copy full SHA for 2ea957d

     View code at this pointBrowse repository at this point

   • plan v2.31 step 4 commit A: the flow family's measuring side - the ten-language FlowSpec tables (A1: cli/src/flow/{spec,spec_py,spec_ts,spec_rs,spec_go,spec_c,spec_java,spec_lua,spec_r}.rs as TOML …

     Show description for 5278e74
     

     skymanbp

     and

     claude

     committed
     5278e74View commit details

     Copy full SHA for 5278e74

     View code at this pointBrowse repository at this point

   • plan v2.31 step 3: the flow family in the core - flow/1 at proto 7.4.0 (the dead code inside a function: the measuring side sends four integer tables - units, statements as a pre-order tree with ki…

     Show description for a397fcc
     

     skymanbp

     and

     claude

     committed
     a397fccView commit details

     Copy full SHA for a397fcc

     View code at this pointBrowse repository at this point

   • plan v2.31 step 2: the query family's measuring side and its three faces - cli/src/query/ (the lexer to a [kind,value] token stream with every token's line and column, the program over three source…

     Show description for b124811
     

     skymanbp

     and

     claude

     committed
     b124811View commit details

     Copy full SHA for b124811

     View code at this pointBrowse repository at this point
5. Commits on Sep 29, 2026

   • plan v2.31 step 1: the query family in the core - query/1 at proto 7.3.0 (Datalog over the index's facts: parse, check, stratified semi-naive evaluation, proofs, caps), its battery and reference ev…

     Show description for 16f8250
     

     skymanbp

     and

     claude

     committed
     16f8250View commit details

     Copy full SHA for 16f8250

     View code at this pointBrowse repository at this point

   • plan v2.31 step 0: the analysis track is founded - the design booklet, the plan amendment and the CHANGELOG block (verdict code untouched; check 918 stands): docs/reference/analysis-track.md (282 l…

     Show description for ed6b98c
     

     skymanbp

     and

     claude

     committed
     ed6b98cView commit details

     Copy full SHA for ed6b98c

     View code at this pointBrowse repository at this point
6. Loading