fix(runtime): harden state-native trust snapshots - #606
Conversation
Snapshot governed requests, epochs, verifier results, and kernel fields once. Bind registered methods and isolate execution from verifier capsule mutations. Reject unknown policy effects and validate every stored check before execution. Add all-field accessor and asynchronous budget-expansion regressions. Source-only proof remains fail-closed pending hosted CI and independent review. Signed-off-by: Stephen Lutar <stephenlutar2@gmail.com>
|
Codex (@codex) review Please independently review exact head |
|
Codex Review: Didn't find any major issues. Breezy! 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 (@codex) address that feedback". |
|
Codex (@codex) review exact head Re-triggering because the earlier exact-head request has no bot acknowledgment. Please independently confirm the two #605 findings are closed and report findings or an explicit no-findings result for this SHA only. |
|
Codex Review: Didn't find any major issues. 👍 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 (@codex) address that feedback". |
e0cb7c6
into
main
Clean reviewed successor
58812fff46f8c5f18979d089fd1b7a059d6892d7de26ac33994dffaf8b36d979c2312c3d2b13a6ecTrust-boundary hardening
allow,block, andapproval_required.Exact-head review feedback carried forward
Local evidence
pnpm --dir packages/a11oy-runtime test: 35 Vitest tests passed.git diff --checkpassed.Truth boundary
This PR publishes source, tests, and a source-only proof packet. Hosted CI, fresh exact-head
independent review, merge, deployment, runtime, and production behavior remain UNVERIFIED until
their separate evidence is observed. No deployment or production claim is made.
PR #605 is superseded and must not merge. PRs #589 and #590 remain unmerged and were not amended,
rebased, force-pushed, merged, or closed by this successor work.