feat(proof): SN100 live gaps — publish path, topic disable, P1b allocator (P1b, draft) - #299

Draft

echobt wants to merge 8 commits into

droid/9f68584e-sn100-p1a-rlm-topic-installfrom

droid/9822d526-sn100-100-live-gaps-p1b-disa

Commits on Sep 15, 2026

feat(proof): publish through the gateway without a rewrite proxy

echobt
and
factory-droid[bot]
committed
87e3202
feat(proof): topic disable is an operator switch the challenge obeys

echobt
and
factory-droid[bot]
committed
b6d8434
feat(proof): baseline -> scorable, sealed by the same call the runtime uses

echobt
and
factory-droid[bot]
committed
8805b84
feat(proof): one VM per submission, and two submissions at once

echobt
and
factory-droid[bot]
committed
f703108
feat(proof): say whether the install reached scorable, and how to finish

echobt
and
factory-droid[bot]
committed
afa8c81
refactor(proof): stay under the per-crate LOC cap by extracting what moved

echobt
and
factory-droid[bot]
committed
ab1b532
fix(gateway): require the Bearer scheme on the forwarded publish route

echobt
and
factory-droid[bot]
committed
9515ad3
fix(proof): three concurrency/retry defects Greptile found

echobt
and
factory-droid[bot]
committed
37fa092