Repository navigation

v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-first) - #7211

Merged

briansrls merged 82 commits into

mainfrom

session/tidy-boar-444

Jul 26, 2026

Merged

v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-first)#7211
briansrls merged 82 commits into
mainfrom
session/tidy-boar-444

Commits on Jul 25, 2026
- v1_rt Witness/Diagnostic decouple — design note (Gate-1 root, design-note-first)
  
  briansrls
  and
  claude
  committed
  2ff6272
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  0109de0
- feat(witness): §2.B witness_from_optional + Optional hoist (v2.std.witness)
  
  Brian Searls
  and
  cursoragent
  committed
  e9f05c1
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  f283a3c
- Revert "WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi"
  Brian Searls
  committed
  030bc93
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  859ec7c
- Merge origin (auto-heal revert of transient WIP push) — keep completed v1_rt decouple state
  briansrls
  committed
  9c7a3f1
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  232aae8
- v1_rt decouple Stage 2: lookup returns Option<V>, delete native Witness<V>
  briansrls
  committed
  4c0f8ea
- DESIGN.md: link v1_rt Witness/Diagnostic decouple design note (fix orphan-doc gate)
  briansrls
  committed
  d3e859b
- fix(stage0): restore v1_rt Witness seeds — partial decouple broke build
  
  Brian Searls
  and
  cursoragent
  committed
  0bb2786
- Merge origin — supersede Cursor auto-fix bot's Witness-seed restore with completed Stage-2 decouple
  briansrls
  committed
  181d7af
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  5f6f1ad
- v1_rt Witness/Diagnostic decouple — design note (Gate-1 root, design-note-first)
  
  authored and
  Brian Searls
  committed
  6090077
- chore: regenerate drifted generated artifacts (ci auto-heal)
  
  gunbc-ci-auto-heal
  authored and
  Brian Searls
  committed
  7321cb4
- feat(witness): §2.B witness_from_optional + Optional hoist (v2.std.witness)
  
  Brian Searls
  and
  cursoragent
  committed
  cb05391
- DESIGN.md: link v1_rt Witness/Diagnostic decouple design note (fix orphan-doc gate)
  
  briansrls
  authored and
  Brian Searls
  committed
  bd9e44e
- v1_rt decouple Stage 2: fix .lookup field-access typing + re-assert seed regen
  briansrls
  committed
  f8ad284
- Merge origin — recover from external force-push that discarded Stage-2 commits (4c0f8eae05..f8ad284b67); no unique origin content beyond a duplicate DESIGN.md fix
  briansrls
  committed
  d24fa3c
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  7ce1234
- Merge origin — restore DESIGN.md orphan-doc-gate link removed by ci auto-heal bot
  briansrls
  committed
  0dac529
- Restore DESIGN.md orphan-doc-gate link removed by ci-auto-heal bot's regen
  briansrls
  committed
  ef36dce
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  eceff5d
- fix(docs): restore orphan-doc link + update stale §3 citation (review 42634)
  
  Brian Searls
  and
  cursoragent
  committed
  41c7c44
- Merge origin — reconcile after external auto-fix bot dropped Stage-2 code commit (f8ad284b67) while branch-resetting to bd9e44e479; re-applying Stage-2 code fixes on top
  briansrls
  committed
  ffe5fca
- Fix split-brain lookup() consumer call sites to Present/Absent (review 42643)
  briansrls
  committed
  8fe19ad
- fix(docs): ground v1_rt decouple open-thread in design_document.dag authority
  
  Brian Searls
  and
  cursoragent
  committed
  a9191f7
- Merge origin — reconcile after Cursor auto-fix bot force-reverted Stage-2 code (8fe19ada44, ffe5fcaffd) on a mistaken premise; re-applying Stage-2 split-brain fix on top. Design note explicitly sta…
  briansrls
  committed
  38dd77d
- feat(emit): Stage 3 — de-alias modeled Witness from v1_rt (§2.C)
  
  Brian Searls
  and
  cursoragent
  committed
  5923e7e
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  57a804f
- v1_rt decouple: strip dead native-Witness prelude imports; PartialFunction.lookup -> Option (hand-patch bootstrap unblock)
  
  briansrls
  and
  claude
  committed
  c9d16d0
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  f82a24e
- Merge remote-tracking branch 'origin/main' into session/tidy-boar-444
  briansrls
  committed
  a282ab5
- merge main: keep preparatory-only PR scope (drop partial Stage-2+3 WIP)
  Brian Searls
  committed
  0ac4514
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  58762af
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  8500f51
- Merge origin — restore Stage 2+3 composite dropped by branch reset (0ac45144ac); local HEAD already integrates vivid's Stage-3 (5923e7e9e9) + regen-fixed-point fixes, verified green
  briansrls
  committed
  ec8c897
- Merge origin/main (#7174 trait-derive completeness) — brings in 2 new seed files still on native v1_rt::Witness; will regen to close the skew
  briansrls
  committed
  8aa9cec
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  06f44f9
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  2b83a6d
- Align lookup witnesses with Optional boundary after v1_rt decouple.
  
  Brian Searls
  and
  cursoragent
  committed
  e3b5fe2
- Fix review 42673 residue: Optional lookup witness + open-thread order.
  
  Brian Searls
  and
  cursoragent
  committed
  c96e08f
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  b01f02e
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  7d0492a
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  6eb7d32
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  c38ca34
- Merge remote-tracking branch 'origin/session/tidy-boar-444' into session/tidy-boar-444
  briansrls
  committed
  49a101f
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  0ea8a2f
- Fix CI: qualify Present/Absent to v2.std.optional in spec_facts fns (llvm_ir.dag et al)
  
  briansrls
  and
  claude
  committed
  c014c50
- Fix CI: migrate remaining Map.lookup closures to Optional
  
  Brian Searls
  and
  cursoragent
  committed
  8e2baae
- Clean up dead helpers after Optional lookup migration (review 42762)
  
  Brian Searls
  and
  cursoragent
  committed
  517b49c
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  1cbea01
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  be9b9b4
- Fix review 42768: remove landed v1_rt decouple from open threads
  
  Brian Searls
  and
  cursoragent
  committed
  2136c7c
- Fix review 42780: restore cache-digest facts-map sensitivity witness
  
  Brian Searls
  and
  cursoragent
  committed
  e304020
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  c40563b
- Merge remote-tracking branch 'origin/main' into session/tidy-boar-444
  briansrls
  committed
  e682791
- Fix review 42787: bind design note in doc graph, update landed status
  
  Brian Searls
  and
  cursoragent
  committed
  a750d43
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  f88349f
- Fix CI: resolve merge conflict markers in cache digest test
  
  Brian Searls
  and
  cursoragent
  committed
  ccc7c5a
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  3c275ce
- Fix CI: cargo fmt on v1_interpreter.rs
  
  Brian Searls
  and
  cursoragent
  committed
  d19b92e
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  abe5963
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  5f52c5c
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  eac17f3
- Fix Optional lookup typing in infer and Map.lookup stubs.
  
  Brian Searls
  and
  cursoragent
  committed
  faea0ec
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  2036a84
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  22b1834
- Fix structural-resolution lens fixtures for Optional map lookup.
  
  Brian Searls
  and
  cursoragent
  committed
  dd5a442
- Fix CI: cargo fmt on v1_compiler_infer.rs
  
  Brian Searls
  and
  cursoragent
  committed
  3afa828
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  b4cdafc
- Fix regen: drop orphaned GUNBC_DEBUG_CASCADE from emitted infer seed.
  
  Brian Searls
  and
  cursoragent
  committed
  9845bd5
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  5d65f7f
- Merge remote-tracking branch 'origin/main' into session/tidy-boar-444
  briansrls
  committed
  ec60bb5
- Fix CI: remove second orphaned GUNBC_DEBUG_CASCADE from infer seed.
  
  Brian Searls
  and
  cursoragent
  committed
  51dd985
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  2d706e2
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  1562d97
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  e348c74
- Fix regen: use `_` for unused callable-local match arm.
  
  Brian Searls
  and
  cursoragent
  committed
  494f007
- Merge remote-tracking branch 'origin/session/tidy-boar-444' into session/tidy-boar-444
  briansrls
  committed
  f566a89
- WIP: v1_rt decouple — Witness/Diagnostic carrier architecture (design-note-fi
  briansrls
  committed
  f28807d
- Fix compile_eval_thesis_proof witness: import cross-module eval bindings.
  
  Brian Searls
  and
  cursoragent
  committed
  dca0d73

Commits

Commits on Jul 25, 2026