feat(proof): proof-admin install bundle over the existing topic publish path (P0) - #297

Draft

echobt wants to merge 17 commits into

mainfrom

droid/795020b8-sn100-p0-topics-table-admin

Commits on Sep 14, 2026

feat(proof): topics table + proof-admin install skeleton (P0)

echobt
and
factory-droid[bot]
committed
f35522d
fix(proof): address Greptile P0 findings on the topic install path

echobt
and
factory-droid[bot]
committed
df22cbb
fix(proof): report install state from the committed write

echobt
and
factory-droid[bot]
committed
e7be573
refactor(proof): remap P0 onto the existing admin publish path

echobt
and
factory-droid[bot]
committed
15a4b54
fix(proof): print a runnable publish procedure in the dry run

echobt
and
factory-droid[bot]
committed
c36def4
fix(proof): publish block uses a private mktemp dir, not a shared path

echobt
and
factory-droid[bot]
committed
2bfbd43
feat(proof): topic alias map + Owner-only metal install gate

echobt
and
factory-droid[bot]
committed
58105ce
fix(proof): a canonical slug is never shadowed by an alias

echobt
and
factory-droid[bot]
committed
f0a0c6d
fix(proof): serialize concurrent claims on the same topic slug

echobt
and
factory-droid[bot]
committed
625cc6f
test(proof): make the slug-race regression actually detect the race

echobt
and
factory-droid[bot]
committed
a16afbc
test(proof): assert the publish is rejected, not just blocked

echobt
and
factory-droid[bot]
committed
f38ace3
feat(proof): the bundle owns topic behavior; the CLI hands it to the RLM

echobt
and
factory-droid[bot]
committed
8e36538
fix(proof): hand the RLM section over byte-exact, not re-serialized

echobt
and
factory-droid[bot]
committed
34495f2
docs(proof): commit the Owner dry-run fixture and correct the schema claims

echobt
and
factory-droid[bot]
committed
e3d70b1
chore(proof): drop a stray nested fixture directory

echobt
and
factory-droid[bot]
committed
dad7469
docs(proof): correct the fixture commands (package name + --pin)

echobt
and
factory-droid[bot]
committed
b265617
fix(proof): carry the whole RLM section raw, not just its parts

echobt
and
factory-droid[bot]
committed
f298c4d

Navigation Menu

Uh oh!

feat(proof): proof-admin install bundle over the existing topic publish path (P0) - #297

feat(proof): proof-admin install bundle over the existing topic publish path (P0)#297
echobt wants to merge 17 commits into
mainfrom
droid/795020b8-sn100-p0-topics-table-admin

Commits on Sep 14, 2026

feat(proof): topics table + proof-admin install skeleton (P0)

fix(proof): address Greptile P0 findings on the topic install path

fix(proof): report install state from the committed write

refactor(proof): remap P0 onto the existing admin publish path

fix(proof): print a runnable publish procedure in the dry run

fix(proof): publish block uses a private mktemp dir, not a shared path

feat(proof): topic alias map + Owner-only metal install gate

fix(proof): a canonical slug is never shadowed by an alias

fix(proof): serialize concurrent claims on the same topic slug

test(proof): make the slug-race regression actually detect the race

test(proof): assert the publish is rejected, not just blocked

feat(proof): the bundle owns topic behavior; the CLI hands it to the RLM

fix(proof): hand the RLM section over byte-exact, not re-serialized

docs(proof): commit the Owner dry-run fixture and correct the schema claims

chore(proof): drop a stray nested fixture directory

docs(proof): correct the fixture commands (package name + --pin)

fix(proof): carry the whole RLM section raw, not just its parts