Repository navigation

v2 memory-control audit + witness-realization plan + P0 field wall (568→45 drained) - #6663

Merged

briansrls merged 32 commits into

mainfrom

session/lively-heron-614

Jul 16, 2026

Merged

v2 memory-control audit + witness-realization plan + P0 field wall (568→45 drained)#6663
briansrls merged 32 commits into
mainfrom
session/lively-heron-614

Commits on Jul 15, 2026
- v2 memory-control audit: space is unobservable, and required fields are unenforced
  
  briansrls
  and
  claude
  committed
  711b5ae
- Witness-realization plan: the v2 execution path (P0-P6), off the v1 crutch
  
  briansrls
  and
  claude
  committed
  1b199dc
- Bind witness-realization plan into the doc graph (de-orphan; caught by #6654's restored wall)
  
  briansrls
  and
  claude
  committed
  44b596c
- P0 field wall (authority half): MissingField diagnostic + presence check + kernel-vs-declared type tier in infer_record_lit and direct call args
  
  briansrls
  and
  claude
  committed
  6968b74
- Merge origin/main into session/lively-heron-614 (catch up before P0 rebuild)
  briansrls
  committed
  af0f3fb
- P0 field wall: FP-class narrowings + regen sync + RED/GREEN witness suite
  
  briansrls
  and
  claude
  committed
  513a7b9
- P0 field wall: whole-tree ledger 568 -> 45 (three FP classes dissolved)
  
  briansrls
  and
  claude
  committed
  b13be20
- P0 status + three open operator rulings recorded in the plan doc
  
  briansrls
  and
  claude
  committed
  5e8cd86
- Merge remote-tracking branch 'origin/main' into session/lively-heron-614
  briansrls
  committed
  bc76f2f
- WIP: v2 memory control audit
  briansrls
  committed
  50c1186
- WIP: v2 memory control audit
  briansrls
  committed
  b4c45ee
- WIP: v2 memory control audit
  briansrls
  committed
  a3e13c6
- WIP: v2 memory control audit
  briansrls
  committed
  43dd899
- WIP: v2 memory control audit
  briansrls
  committed
  9f55faf
- WIP: v2 memory control audit
  briansrls
  committed
  9edb928
- Ruling 3: separate grounded identities from cast-domain to fix as-cast regression
  
  briansrls
  and
  claude
  committed
  4efcc3c
- WIP: v2 memory control audit
  briansrls
  committed
  ea34a33
- WIP: v2 memory control audit
  briansrls
  committed
  0f2339e
- WIP: v2 memory control audit
  briansrls
  committed
  d81c57a
- Merge remote-tracking branch 'origin/main' into session/lively-heron-614
  briansrls
  committed
  de18346
- WIP: v2 memory control audit
  briansrls
  committed
  50c4646
- WIP: v2 memory control audit
  briansrls
  committed
  5d37829
- WIP: v2 memory control audit
  briansrls
  committed
  e818e29
- WIP: v2 memory control audit
  briansrls
  committed
  243f80e
- card_intake: fold via fn helper (fixes List<List<Bool>> truthy bug); rm scratch .tmp_witness
  
  briansrls
  and
  claude
  committed
  8b5e02d
- WIP: v2 memory control audit
  briansrls
  committed
  39dc933
- Wire P0 field-wall witness into CI + reconcile plan-doc drain status
  
  briansrls
  and
  claude
  committed
  cdd60df
- WIP: v2 memory control audit
  briansrls
  committed
  8c14232
- WIP: v2 memory control audit
  briansrls
  committed
  9c9b47b
- WIP: v2 memory control audit
  briansrls
  committed
  7093996
- WIP: v2 memory control audit
  briansrls
  committed
  95f7062
- Merge remote-tracking branch 'origin/main' into session/lively-heron-614
  briansrls
  committed
  41577f0

Commits

Commits on Jul 15, 2026