benchmarks: add exact Navier–Stokes polynomial certificate - #595
Conversation
![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: 426dbfaea1
ℹ️ 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".
- Remove arbitrary evidence size cap by passing max_bytes=None - Declare input-binding exception in tests/verifier_contract.json and add it to the Dockerfile COPY list - Decouple mathematics, evidence, scope, and assurance from contract validity - Emit complete zeroed diagnostic shape (protocol, input_binding, mathematics, evidence, scope, assurance, false_certification) in the exception handler instead of aggregate-only keys - Derive coefficient bounds from /tests/input.json instead of hard-coding them
426dbfa to
c0a15fa
Compare
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: c0a15fafac
ℹ️ 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".
…hecksum - Bound _raw_submission() with is_regular_bounded_file - Remove undocumented evidence size limit per benchmark policy - Refresh Dockerfile checksum label
…act and lint Co-authored-by: morluto <morluto@users.noreply.github.com>
Co-authored-by: morluto <morluto@users.noreply.github.com>
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 96bd1357cb
ℹ️ About Codex in GitHub
Codex has been enabled to automatically 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 👍.
When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".
3 participants
Summary
navier-stokes-polynomial-certificateBenchmark design
Portfolio value
This adds exact PDE residual replay, which is distinct from the existing bounded graph, cuboid, point-set, and algebraic certificate workflows. It is intentionally a finite assurance task rather than an open-problem solver.
Validation
git diff --check: passed--network noneThis PR is independent and targets current
main.