Repository navigation

v4 D1 — Diff/Path structural-delta vocabulary (operator ratification) - #3162

Merged

briansrls merged 25 commits into

mainfrom

session/valiant-boar-161

May 16, 2026

Commits on May 15, 2026
- WIP: v4 design
  briansrls
  committed
  6ed7d22
- v4 D1: Diff/Path structural-delta vocabulary over Node
  
  briansrls
  and
  claude
  committed
  a06a066
- WIP: v4 design
  briansrls
  committed
  3b311b9
- v4 D1: dissolve two P2 illegal-state surfaces (codex #3162 REQUEST_CHANGES)
  
  briansrls
  and
  claude
  committed
  7c91f73
- v4 D1: add Practice-4 dissolution receipt; fix RATIFIED/PROPOSED contradiction (#3162 BLOCKING)
  
  briansrls
  and
  claude
  committed
  485f97e
- v4 D1: fix stale EdgeLabel cross-reference in node.dag header (cursor #3162 editorial)
  
  briansrls
  and
  claude
  committed
  2ca6e4d
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  5992cf3
- v4 B-4: affected_set R2 node-precise-resolution contract
  
  briansrls
  and
  claude
  committed
  6c993b7
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  204b855
- v4 B-5 + subsume #3153 + B-2 (lean.dag PROOF-1 model)
  
  briansrls
  and
  claude
  committed
  7a989e6
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  aa2bc7d
Commits on May 16, 2026
- WIP: v4 design
  briansrls
  committed
  1ac9023
- v4 B-4: correct the use→def carrier (Symbol/K-1, not resolved_type) — #3162 BLOCKING
  
  briansrls
  and
  claude
  committed
  e236d88
- WIP: v4 design
  briansrls
  committed
  a786036
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  5f50917
- WIP: v4 design
  briansrls
  committed
  1b6d41d
- v4 C5-2 emit-locality + T-9 infer keystone contracts (operator-ratified)
  
  briansrls
  and
  claude
  committed
  76f42f1
- v4 D1: complete the Practice-4 receipt — add Pattern 5 (#3162 codex REQUEST_CHANGES)
  
  briansrls
  and
  claude
  committed
  2cb68dc
- v4 C5-1 + C5-3 (operator-ratified) — node-level round-trip law + spec-provable F
  
  briansrls
  and
  claude
  committed
  3763e4d
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  152b015
- v4: reconcile PROOF-1 row with L-4 — DECISIONS.md self-consistency (cursor #3162 APPROVE_WITH_COMMENTS)
  
  briansrls
  and
  claude
  committed
  d019a34
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  9c138e4
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  06ab196
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  0976a55
- Merge remote-tracking branch 'origin/main' into session/valiant-boar-161
  briansrls
  committed
  8404cdd

Navigation Menu

Repository navigation

v4 D1 — Diff/Path structural-delta vocabulary (operator ratification) - #3162

v4 D1 — Diff/Path structural-delta vocabulary (operator ratification)#3162
briansrls merged 25 commits into
mainfrom
session/valiant-boar-161

Commits on May 15, 2026

WIP: v4 design

v4 D1: Diff/Path structural-delta vocabulary over Node

WIP: v4 design

v4 D1: dissolve two P2 illegal-state surfaces (codex #3162 REQUEST_CHANGES)

v4 D1: add Practice-4 dissolution receipt; fix RATIFIED/PROPOSED contradiction (#3162 BLOCKING)

v4 D1: fix stale EdgeLabel cross-reference in node.dag header (cursor #3162 editorial)

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

v4 B-4: affected_set R2 node-precise-resolution contract

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

v4 B-5 + subsume #3153 + B-2 (lean.dag PROOF-1 model)

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

Commits on May 16, 2026

WIP: v4 design

v4 B-4: correct the use→def carrier (Symbol/K-1, not resolved_type) — #3162 BLOCKING

WIP: v4 design

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

WIP: v4 design

v4 C5-2 emit-locality + T-9 infer keystone contracts (operator-ratified)

v4 D1: complete the Practice-4 receipt — add Pattern 5 (#3162 codex REQUEST_CHANGES)

v4 C5-1 + C5-3 (operator-ratified) — node-level round-trip law + spec-provable F

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

v4: reconcile PROOF-1 row with L-4 — DECISIONS.md self-consistency (cursor #3162 APPROVE_WITH_COMMENTS)

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161

Merge remote-tracking branch 'origin/main' into session/valiant-boar-161