Repository navigation

Witness realization P1–P6: measured space + the artifact store (the lane PR; P0 merged via #6663) - #6738

Merged

briansrls merged 32 commits into

mainfrom

session/lively-heron-615

Jul 18, 2026

Merged

Witness realization P1–P6: measured space + the artifact store (the lane PR; P0 merged via #6663)#6738
briansrls merged 32 commits into
mainfrom
session/lively-heron-615

Commits on Jul 16, 2026
- P2 pure-spec half: content-addressed artifact store — the first read eviction field
  
  briansrls
  and
  claude
  committed
  18c1b21
- P2 host-transport half: filesystem realization of the artifact store
  
  briansrls
  and
  claude
  committed
  44e235c
- Plan doc: P2 status (both halves landed, green by execution; two named gaps)
  
  briansrls
  and
  claude
  committed
  5c2eac5
- P1 (code): ObservePeakResidentAtSubject + the space algebra — memory becomes observable
  
  briansrls
  and
  claude
  committed
  140c15c
- P1 (receipts): regen sync + green-by-execution verification
  
  briansrls
  and
  claude
  committed
  e21ee4e
- P3 MVP: emit-on-demand at the source grain — second run pays zero emit
  
  briansrls
  and
  claude
  committed
  d8df6d4
- Design: effect grants over namespaces — hermetic/wet dissolved into (frame x verb x subtree)
  
  briansrls
  and
  claude
  committed
  129327c
- Effect-grants design: the containment law (target lifecycle) + fix inherited orphan
  
  briansrls
  and
  claude
  committed
  6507c6f
- Record duplicate-computation direction: one ComputationIdentity, N grains (execution-frame is the gap)
  
  briansrls
  and
  claude
  committed
  fb9a230
- Fix §5 fail-open: eval-call memo served stale world-reads (effect-dispatch odometer)
  
  briansrls
  and
  claude
  committed
  535766b
- Delete/List on the Filesystem service (operator Q2) — closes P2's persistent-tier gap
  
  briansrls
  and
  claude
  committed
  7065f91
- P4 v0: realize packing — width against MEASURED peaks, refuse-not-fabricate
  
  briansrls
  and
  claude
  committed
  0dfb5e3
- Design: space complexity — the dual of the time/termination analysis
  
  briansrls
  and
  claude
  committed
  a605dc6
- Space complexity increment 1a: peak-working-set derivation, the dual of time
  
  briansrls
  and
  claude
  committed
  6483b9f
- Space complexity increment 2: asymptotic reading (O(n) etc.), space order below time
  
  briansrls
  and
  claude
  committed
  f4abf7a
Commits on Jul 17, 2026
Commits on Jul 18, 2026

Navigation Menu

Repository navigation

Witness realization P1–P6: measured space + the artifact store (the lane PR; P0 merged via #6663) - #6738

Witness realization P1–P6: measured space + the artifact store (the lane PR; P0 merged via #6663)#6738
briansrls merged 32 commits into
mainfrom
session/lively-heron-615

Commits on Jul 16, 2026

P2 pure-spec half: content-addressed artifact store — the first read eviction field

P2 host-transport half: filesystem realization of the artifact store

Plan doc: P2 status (both halves landed, green by execution; two named gaps)

P1 (code): ObservePeakResidentAtSubject + the space algebra — memory becomes observable

P1 (receipts): regen sync + green-by-execution verification

P3 MVP: emit-on-demand at the source grain — second run pays zero emit

Design: effect grants over namespaces — hermetic/wet dissolved into (frame x verb x subtree)

Effect-grants design: the containment law (target lifecycle) + fix inherited orphan

Record duplicate-computation direction: one ComputationIdentity, N grains (execution-frame is the gap)

Fix §5 fail-open: eval-call memo served stale world-reads (effect-dispatch odometer)

Delete/List on the Filesystem service (operator Q2) — closes P2's persistent-tier gap

P4 v0: realize packing — width against MEASURED peaks, refuse-not-fabricate

Design: space complexity — the dual of the time/termination analysis

Space complexity increment 1a: peak-working-set derivation, the dual of time

Space complexity increment 2: asymptotic reading (O(n) etc.), space order below time

Commits on Jul 17, 2026

Wire space-complexity into ComplexitySummary (peak_space + concrete fill)

P4 re-point: pack against the DERIVED bound, not measured peak — seam closed

Regen seed: activate space-complexity peak_space in the compiled compiler

Space classes in ComplexityReport (observable on real code) + floor-classify new witnesses

Merge branch 'main' into session/lively-heron-615

Fix the debt srv1 corpus validation caught: residue wildcards + the last wet witness

Merge origin (main-merge #6780/#6783 etc.) into local space-complexity + residue-fix work

Regen seed: space_classes into the compiled compiler (merged-tree consistency)

P4 handoff: executor cutover is a bridge call, not a self-host dependency

Merge remote-tracking branch 'origin/main' into session/lively-heron-615

Merge remote-tracking branch 'origin/main' into session/lively-heron-615

Merge remote-tracking branch 'origin/main' into session/lively-heron-615

Fix compile-clean gate: move space-complexity witnesses out of dag/ tree

Commits on Jul 18, 2026

Merge remote-tracking branch 'origin/main' into session/lively-heron-615

Fix batch-4 gate regressions: extdeps authority anchor + drop redundant frontier binding

Fix self_host_realized_comparison: drop v2 import from relocated witnesses

Delete homeless space-complexity witnesses (operator: 2026-07-18); declare Rust-test follow-up