TEMP: sync checker-runtime base into mutual-information port - #1336
Conversation
* fix(topology): preserve non-maximal facet diagnostics * test(external-sat): remove stale producer conclusions * ci: shard ordinary Python checks by semantic lane
Refresh #1299 while preserving declaration-owned provider-runtime compatibility.
|
Bugbot is not enabled for your account, so this pull request was not reviewed. Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: f67afcef8a
ℹ️ 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".
| The claim is bound to canonical input and candidate digests, graph semantics, | ||
| checker identity, checker source digest, and provider runtime. | ||
| The verifier does not certify a directly supplied graph, an unbounded graph | ||
| family, or a theorem that later uses the metric. |
There was a problem hiding this comment.
The inline exact-replay adapter validates the caller-provided input and candidate, so these edited lines correctly say the metric claim is bound to the submitted graph; however, the immediately following sentence says that a directly supplied graph is not certified. This leaves the reference internally contradictory about the supported verifier contract. Clarify that the verifier does not certify a different or unbound graph, rather than excluding directly supplied input altogether.
AGENTS.md reference: AGENTS.md:L200-L201
Useful? React with 👍 / 👎.
1 participant
Temporary stack synchronization for #1300. Merge the refreshed #1299 branch into
agent/port-mutual-information-v2only if conflict-free.