Repository navigation

ROADMAP §0+§6: realization-vocabulary containment guard + emission=ingestion⁻¹ past syntax - #5442

Merged

briansrls merged 41 commits into

mainfrom

session/bright-stag-194

Jun 21, 2026

Commits on Jun 21, 2026
- WIP: dsl -> v2 scoping
  briansrls
  committed
  2041cce
- WIP: ROADMAP planning
  briansrls
  committed
  5943cf4
- WIP: ROADMAP planning
  briansrls
  committed
  f74cf6c
- WIP: ROADMAP planning
  briansrls
  committed
  4197f48
- ROADMAP: scannable dependency-ordered checklist; consolidate caching plan (de-fork zesty-deer-479 owner, absorb quick-ant-298 spine)
  
  briansrls
  and
  claude
  committed
  add8f50
- WIP: ROADMAP planning
  briansrls
  committed
  6b8dce5
- self-host: add bootstrap purity (no stage0 hand-edits / regen-lockstep keystone) + precise v1 cutover
  
  briansrls
  and
  claude
  committed
  5ebc074
- ROADMAP §0 fail-closed lock-down (blocks expansion) + audit doc; §4 website demo
  
  briansrls
  and
  claude
  committed
  e9a7f5c
- ROADMAP: flesh §2 idea->idea compiler (medium/language axes); §0 → lock-down LANE (audits→fixes→meta), name model<->realization fork as suspected root
  
  briansrls
  and
  claude
  committed
  357de57
- WIP: ROADMAP planning
  briansrls
  committed
  825673d
- lock-down: add CI-coverage-completeness audit (rust gate runs 3 of 60 v1 suites) + axiom/syllogism lens (DESIGN open thread #1 — lock down the reasoning)
  
  briansrls
  and
  claude
  committed
  570c1c7
- WIP: ROADMAP planning
  briansrls
  committed
  fa6febc
- roadmap §0/§7 + lockdown: lead with correctness-by-construction, demote lenses to residue
  
  briansrls
  and
  claude
  committed
  6f0a82a
- roadmap §0: add Disposition carrier + 'confront skipped modeling decisions'
  
  briansrls
  and
  claude
  committed
  ee7f32e
- WIP: ROADMAP planning
  briansrls
  committed
  567ad28
- DESIGN §5/§6: promote construction-over-validation; roadmap: scope-partition §0, testgen §1, shelve dashboard
  
  briansrls
  and
  claude
  committed
  f968a0b
- WIP: ROADMAP planning
  briansrls
  committed
  39806fe
- DESIGN §5/§6/§7: wall-vs-ratchet decidability, displaced-pain denominator, open language design
  
  briansrls
  and
  claude
  committed
  94414eb
- WIP: ROADMAP planning
  briansrls
  committed
  4c2ec14
- ROADMAP: fix doc-graph violations from bright-eagle-46 review of #5424
  
  briansrls
  and
  claude
  committed
  eb2eb9b
- Merge remote-tracking branch 'origin/main' into session/bright-stag-194
  briansrls
  committed
  f6b04f7
- Merge remote-tracking branch 'origin/main' into session/bright-stag-194
  briansrls
  committed
  1cac73d
- ROADMAP §3 + plan: algorithmic-cost reduction by construction (rewrite, not budget)
  
  briansrls
  and
  claude
  committed
  4a462b7
- ROADMAP §2: Phase-0 measurement instrument done (#5431 peak-RSS) — remaining is the Phase-1 consumer
  
  briansrls
  and
  claude
  committed
  aa782aa
- plan/§3: detection-vs-enforcement containment (E⊆D′⊆D) + explicit seed-rule I/O up front
  
  briansrls
  and
  claude
  committed
  4ee488c
- ROADMAP §0/§1: rust-gate is cadence-decoupling, not run-all (per fierce-hawk #5427)
  
  briansrls
  and
  claude
  committed
  21cfe95
- plan §2a: generalize by structural-redundancy keying (O(n^x)->O(n^(x-1)) free); flag n-log-n as substitution
  
  briansrls
  and
  claude
  committed
  18b9921
- plan §1b: Unknown is an anemic atom — dissolve over time (reuse Disposition), never a false pass
  
  briansrls
  and
  claude
  committed
  fbc498e
- ROADMAP: §3 reverts to budget-gate validation (stability); rewrite-engine relocated to §5 (post-stability)
  
  briansrls
  and
  claude
  committed
  f7aa768
- Merge remote-tracking branch 'origin/main' into session/bright-stag-194
  briansrls
  committed
  9975da0
- Merge remote-tracking branch 'origin/main' into session/bright-stag-194
  briansrls
  committed
  98b1af2
- WIP: ROADMAP planning
  briansrls
  committed
  4fda116
- #5442 review fix (warm-lark-306): grep-as-authority for the sidecar roster (10 not 9)
  
  briansrls
  and
  claude
  committed
  a58f71d
- ROADMAP: check off 6 merged items (catch-up sweep)
  
  briansrls
  and
  claude
  committed
  7365afc
- ROADMAP §1: add compile-clean-gate force-checks-every-fn-body box (2(ii) fail-open)
  
  briansrls
  and
  claude
  committed
  51d6594
- ROADMAP §0: correct the 2(ii) box — registry-leak mechanism, not unreached-bodies
  
  briansrls
  and
  claude
  committed
  3e7b456
- WIP: ROADMAP planning
  briansrls
  committed
  296696e
- plan doc: enforcement roster is a FROZEN grandfather set, not derived (warm-lark correction)
  
  briansrls
  and
  claude
  committed
  139e846
- Merge remote-tracking branch 'origin/main' into session/bright-stag-194
  briansrls
  committed
  6801680
- WIP: ROADMAP planning
  briansrls
  committed
  d6c983c
- ROADMAP refresh: §1 nightly→Pop-B (opt-level won), §2 resolve-cache GO + P2 de-fork-dependent, §0 census regression + gate-hygiene
  
  briansrls
  and
  claude
  committed
  39fdb53

Commits

Commits on Jun 21, 2026