feat(tally): add sealed ledger canary readback profile#54
Conversation
296f38c to
f68377a
Compare
|
CI rectify update: regenerated the compatibility surface and its matrix binding for the new sealed read profile. Local verification now passes the exact compatibility gate, matrix drift check, no-write live-read boundary check, protocol tests, formatting, and clippy. @codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: f68377a2a1
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
f68377a to
452baa0
Compare
|
Codex Review: Didn't find any major issues. Bravo. Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
Closes #53
Functional summary
Adds
ledger_canary_readback_v1: a sealed, read-only TDL export profile for verifying one separately approved, Bridge-generated synthetic ledger write canary. The profile:EXPORTrequest with no general ledger query or write dispatch path.Validation
cargo fmt --all --checkcargo test -p bridge-tally-protocolcargo clippy -p bridge-tally-protocol --all-targets -- -D warningscargo check --workspacegit diff --checkMigration and rollback
No data migration, persisted-state change, endpoint change, or command routing change. Roll back by reverting this single commit; it is not reachable from the runtime yet.
Security and Tally impact
This is intentionally a closed read-only profile. Dynamic values are syntactically constrained before XML rendering; the tests assert exported requests only and pin the template digest. No real Tally/company/ledger/credential data is included. Education-mode compatibility is unobserved and remains explicitly unknown pending the disposable-company canary flow.
Review checklist