chore(harness-state): integration pass — docs reconciliation and proven invariant rows - #326

Merged

schickling-assistant merged 17 commits into

schickling/hs-07-opencodefrom

schickling/hs-08-integration

Aug 24, 2026

Commits on Aug 24, 2026

docs(invariants): add the two observed-harness-state rows their tests now prove

authored and
schickling-assistant
committed
1b70915
test(harness-state): prove the terminal record lands before SIGKILL escalation

authored and
schickling-assistant
committed
a48d955
docs(vrs): measured limits, pi ownership split, and the DQ-H2 resolution

authored and
schickling-assistant
committed
317b509
test(harness-state): synchronize the teardown proof on the provider's installed trap

authored and
schickling-assistant
committed
560297c
docs(vrs): session-owned writes, fenced live records, and the ask axis

authored and
schickling-assistant
committed
d88da18
docs(vrs): token ownership, honest Draft residuals, and the cycle-3 producer rules

authored and
schickling-assistant
committed
f7de7f1
docs(vrs): directional ownership, preflight-first stop handling, and the cycle-4 producer rules

authored and
schickling-assistant
committed
d6586e2
test(harness-state): the teardown matrix covers opencode's own stop implementation

authored and
schickling-assistant
committed
b29af59
docs(vrs): state the dual-claim tie and hook-environment residuals

authored and
schickling-assistant
committed
eaff4f2
style: format the opencode teardown additions

authored and
schickling-assistant
committed
97c14d0
docs(vrs): dissolve the dual-claim residual and state the pty-kill window honestly

authored and
schickling-assistant
committed
be0dd6b
test(harness-state): escalation proofs assert the wrapper's own SIGKILL death

authored and
schickling-assistant
committed
062337e
docs(vrs): cycle-6 producer rules — guarded wrapperless claims, legacy-seat coverage, atomic seeds, degrade-not-die launches

authored and
schickling-assistant
committed
44500aa
docs(vrs): cycle-7 rules — atomic wrapperless claims, stop-aware startup waits, shape-gated seeds, silence horizons

authored and
schickling-assistant
committed
2189a6b
docs(vrs): the opencode seed and poison guarantees match the shipped projection

authored and
schickling-assistant
committed
ded3406
docs(vrs): the integration layer's claim statement is floor-aware too

authored and
schickling-assistant
committed
effdf49
docs(vrs): the claim placeholder is documented as a fence, and DELTA-005 stays deleted

schickling-assistant
and
claude
committed
01ed815

Navigation Menu

Uh oh!

chore(harness-state): integration pass — docs reconciliation and proven invariant rows - #326

chore(harness-state): integration pass — docs reconciliation and proven invariant rows#326
schickling-assistant merged 17 commits into
schickling/hs-07-opencodefrom
schickling/hs-08-integration

Commits on Aug 24, 2026

docs(invariants): add the two observed-harness-state rows their tests now prove

test(harness-state): prove the terminal record lands before SIGKILL escalation

docs(vrs): measured limits, pi ownership split, and the DQ-H2 resolution

test(harness-state): synchronize the teardown proof on the provider's installed trap

docs(vrs): session-owned writes, fenced live records, and the ask axis

docs(vrs): token ownership, honest Draft residuals, and the cycle-3 producer rules

docs(vrs): directional ownership, preflight-first stop handling, and the cycle-4 producer rules

test(harness-state): the teardown matrix covers opencode's own stop implementation

docs(vrs): state the dual-claim tie and hook-environment residuals

style: format the opencode teardown additions

docs(vrs): dissolve the dual-claim residual and state the pty-kill window honestly

test(harness-state): escalation proofs assert the wrapper's own SIGKILL death

docs(vrs): cycle-6 producer rules — guarded wrapperless claims, legacy-seat coverage, atomic seeds, degrade-not-die launches

docs(vrs): cycle-7 rules — atomic wrapperless claims, stop-aware startup waits, shape-gated seeds, silence horizons

docs(vrs): the opencode seed and poison guarantees match the shipped projection

docs(vrs): the integration layer's claim statement is floor-aware too

docs(vrs): the claim placeholder is documented as a fence, and DELTA-005 stays deleted