Repository navigation

Record the resolve-count law + three receipts in the receipt-note carrier - #6435

Merged

briansrls merged 51 commits into

mainfrom

session/merry-moth-539

Jul 10, 2026

Merged

Record the resolve-count law + three receipts in the receipt-note carrier#6435
briansrls merged 51 commits into
mainfrom
session/merry-moth-539

Commits on Jul 8, 2026
- WIP: Duplicate Computation
  briansrls
  committed
  51f20d3
- WIP: Duplicate Computation
  briansrls
  committed
  35594fd
- WIP: Duplicate Computation
  briansrls
  committed
  82e27eb
- WIP: Duplicate Computation
  briansrls
  committed
  2dbcb60
- WIP: Duplicate Computation
  briansrls
  committed
  9394d63
- WIP: Duplicate Computation
  briansrls
  committed
  1864493
- WIP: Duplicate Computation
  briansrls
  committed
  5e76f7a
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  49de397
Commits on Jul 9, 2026
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  238b21c
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  1450e5f
- WIP: Duplicate Computation
  briansrls
  committed
  02eb6be
- WIP: Duplicate Computation
  briansrls
  committed
  f6211d2
- WIP: Duplicate Computation
  briansrls
  committed
  02cf280
- WIP: Duplicate Computation
  briansrls
  committed
  25ea177
- WIP: Duplicate Computation
  briansrls
  committed
  149c2c1
- WIP: Duplicate Computation
  briansrls
  committed
  91fc3d5
- Analysis spine: spine_receipt composes dependency_view + materialize (increment 1)
  
  briansrls
  and
  claude
  committed
  a8f6335
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  12be8af
- Unbundle recompute-trace interpreter extension from the analysis-spine PR
  
  briansrls
  and
  claude
  committed
  19580d5
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  3f48243
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  9be5949
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  cccc801
- WIP: Duplicate Computation
  briansrls
  committed
  7fceb61
- Materialization ladder: the state x decision law, as executable witnesses
  
  briansrls
  and
  claude
  committed
  c258d3e
- WIP: Duplicate Computation
  briansrls
  committed
  a70ff51
- Docs crystallization: derived materialization placement into roadmap ④ + the state x decision table
  
  briansrls
  and
  claude
  committed
  fee7c65
- Consolidation plan: realization + materialization + ownership are one law
  
  briansrls
  and
  claude
  committed
  c5dacce
- WIP: Duplicate Computation
  briansrls
  committed
  d19c4c4
- Ownership refactored onto materialization: the value tier, tested as providers
  
  briansrls
  and
  claude
  committed
  2509791
- WIP: Duplicate Computation
  briansrls
  committed
  c3ba983
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  0bbf54b
- G: exhaustive cache/share census (52 mechanisms, 6 groups) + C0 catalog-grounding of provider rows + forward-wiring walls
  
  briansrls
  and
  claude
  committed
  a73ceae
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  dd75d0c
- C0: provider rows derive from the cited cache catalog (extdeps/cache/materialization.dag projection)
  
  briansrls
  and
  claude
  committed
  1e028f1
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  84340bf
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  3ca13dc
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  54d2bca
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  f5403d3
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  51a4095
- Fail-closed hardening: RefusedNatureConflict arm, weakest-claim nature default, UsesStep silence counted, ladder cells enrolled in CI
  
  briansrls
  and
  claude
  committed
  25db9dd
Commits on Jul 10, 2026
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  07f7310
- M1 ratchet bump: declared resolve count 1 -> 3 (gate's first live catch — enrollment pays counted resolves)
  
  briansrls
  and
  claude
  committed
  1539eda
- Retire the M1/M2 labels from carriers (no-codename rule; collided with DESIGN's floor-memoization M1/M2)
  
  briansrls
  and
  claude
  committed
  ac487e5
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  93f3ced
- Run-step natures pinned as counted claims, not affordances
  
  briansrls
  and
  claude
  committed
  a01ddaf
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  b428649
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  89fda3f
- Regen DESIGN.md after main merge (duplicate-work row + #6373 body-lowering row coexist)
  
  briansrls
  and
  claude
  committed
  9aaf29e
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  5c19e9a
- Merge remote-tracking branch 'origin/main' into session/merry-moth-539
  briansrls
  committed
  3a5c38d
- WIP: Duplicate Computation/Materialization
  briansrls
  committed
  0d513d6

Commits

Commits on Jul 8, 2026

Commits on Jul 9, 2026

Commits on Jul 10, 2026