feat(proof): the Harbor runner authors its whole set (DRAFT, HOLD) - #304

Closed

Mathis (echobt) wants to merge 14 commits into

droid/2edcb0c8-100-rlm-autonomous-strip-tbefrom

droid/8bcbefa3-sn100-stay-lit-harbor-propos

Commits on Sep 16, 2026

feat(proof): the Harbor runner authors its whole set

Mathis (echobt)
and
factory-droid[bot]
committed
18a2532
docs(evidence): pack v4 — the guest authors its whole set

Mathis (echobt)
and
factory-droid[bot]
committed
7f226e0
fix(proof): re-derive the intake format, and read DELETE FROM

Mathis (echobt)
and
factory-droid[bot]
committed
3bc31a2
docs(proof): make the staging ceremony runnable as written

Mathis (echobt)
and
factory-droid[bot]
committed
9f58c5e
docs(evidence): name the tip this pack rides on

Mathis (echobt)
and
factory-droid[bot]
committed
8e5de60
docs(evidence): name the commits the claims rest on

Mathis (echobt)
and
factory-droid[bot]
committed
dea78bd
docs(guest): a runner-tree change needs a rebake

Mathis (echobt)
and
factory-droid[bot]
committed
8ae3e54
docs(evidence): correct the test counts to the tip

Mathis (echobt)
and
factory-droid[bot]
committed
173ce17
fix(proof): the guest harvests the whole set, and the adaptor dual-emits

Mathis (echobt)
and
factory-droid[bot]
committed
01770fd
fix(proof): pin the authored wire variant at every hop, and name the skew

Mathis (echobt)
and
factory-droid[bot]
committed
bc02cc8
test(proof): frame the real agent's authored set and decode it as the host does

Mathis (echobt)
and
factory-droid[bot]
committed
87466d4
docs(proof): the wire rebuild needs the stack checkout, and two binaries

Mathis (echobt)
and
factory-droid[bot]
committed
ca58c60
fix(proof): the preflight must not refuse the documented escape, and pin the early refusal

Mathis (echobt)
and
factory-droid[bot]
committed
46c3239
fix(proof): read the selector from the guest's summary, not the shell's variables

Mathis (echobt)
and
factory-droid[bot]
committed
b6c6bf2

Navigation Menu

feat(proof): the Harbor runner authors its whole set (DRAFT, HOLD) - #304

feat(proof): the Harbor runner authors its whole set (DRAFT, HOLD)#304
Mathis (echobt) wants to merge 14 commits into
droid/2edcb0c8-100-rlm-autonomous-strip-tbefrom
droid/8bcbefa3-sn100-stay-lit-harbor-propos

Commits on Sep 16, 2026

feat(proof): the Harbor runner authors its whole set

docs(evidence): pack v4 — the guest authors its whole set

fix(proof): re-derive the intake format, and read DELETE FROM

docs(proof): make the staging ceremony runnable as written

docs(evidence): name the tip this pack rides on

docs(evidence): name the commits the claims rest on

docs(guest): a runner-tree change needs a rebake

docs(evidence): correct the test counts to the tip

fix(proof): the guest harvests the whole set, and the adaptor dual-emits

fix(proof): pin the authored wire variant at every hop, and name the skew

test(proof): frame the real agent's authored set and decode it as the host does

docs(proof): the wire rebuild needs the stack checkout, and two binaries

fix(proof): the preflight must not refuse the documented escape, and pin the early refusal

fix(proof): read the selector from the guest's summary, not the shell's variables