Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
echobt wants to merge 17 commits into
base: main
Choose a base branch
from
Draft

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
f35522d
feat(proof): topics table + proof-admin install skeleton (P0)
echobt Sep 14, 2026
df22cbb
fix(proof): address Greptile P0 findings on the topic install path
echobt Sep 14, 2026
e7be573
fix(proof): report install state from the committed write
echobt Sep 14, 2026
15a4b54
refactor(proof): remap P0 onto the existing admin publish path
echobt Sep 14, 2026
c36def4
fix(proof): print a runnable publish procedure in the dry run
echobt Sep 14, 2026
2bfbd43
fix(proof): publish block uses a private mktemp dir, not a shared path
echobt Sep 14, 2026
58105ce
feat(proof): topic alias map + Owner-only metal install gate
echobt Sep 14, 2026
f0a0c6d
fix(proof): a canonical slug is never shadowed by an alias
echobt Sep 14, 2026
625cc6f
fix(proof): serialize concurrent claims on the same topic slug
echobt Sep 14, 2026
a16afbc
test(proof): make the slug-race regression actually detect the race
echobt Sep 14, 2026
f38ace3
test(proof): assert the publish is rejected, not just blocked
echobt Sep 14, 2026
8e36538
feat(proof): the bundle owns topic behavior; the CLI hands it to the RLM
echobt Sep 14, 2026
34495f2
fix(proof): hand the RLM section over byte-exact, not re-serialized
echobt Sep 14, 2026
e3d70b1
docs(proof): commit the Owner dry-run fixture and correct the schema …
echobt Sep 14, 2026
dad7469
chore(proof): drop a stray nested fixture directory
echobt Sep 14, 2026
b265617
docs(proof): correct the fixture commands (package name + --pin)
echobt Sep 14, 2026
f298c4d
fix(proof): carry the whole RLM section raw, not just its parts
echobt Sep 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

34 changes: 34 additions & 0 deletions bins/proof-admin/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
[package]
name = "proof-admin-bin"
description = "Proof operator CLI: validate and install a topic install bundle through the existing admin publish path"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
rust-version.workspace = true
publish = false

[[bin]]
name = "proof-admin"
path = "src/main.rs"

[dependencies]
clap = { version = "4", features = ["derive", "env"] }
db = { path = "../../crates/db" }
proof-rlm-store = { path = "../../crates/proof-rlm-store" }
proof-task = { path = "../../crates/proof-task" }
proof-topic-bundle = { path = "../../crates/proof-topic-bundle" }
serde = { version = "1", features = ["derive"] }
serde_json = "1"
tokio = { version = "1", features = ["macros", "rt-multi-thread"] }

[dev-dependencies]
crypto = { path = "../../crates/crypto" }
db = { path = "../../crates/db", features = ["testing"] }
hex = "0.4"
proof-experiment = { path = "../../crates/proof-experiment" }
serde_json = "1"
tokio = { version = "1", features = ["macros", "rt-multi-thread"] }

[lints]
workspace = true
Loading
Loading