Repository navigation
Export portable evidence and enforce recomputed PASS-only gates - #6
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This adds portable evidence handoff and a strict automation acceptance command, preserving the existing run/verify/report/recovery behavior.
Features:
mimo export --run PATH --output ZIP: bounded hash-indexed offline HTML/JSON/JUnit/log evidence, original provenance and input patch; excludes source/venvs/full model responses/auth configuration; no overwrite.mimo gate --run PATHor--bundle ZIP: recompute per-candidate verdicts and totals, cross-check recorder JSON/JUnit/logs and refuse missing/changed/inconsistent evidence. Only PASS returns 0; FAIL 2; insufficient/NOT_APPLICABLE 3; error/cancelled/unsealed/invalid 4.Local verification:
Completed remote gates:
Boundaries: unsigned evidence is consistency verification, not attacker-proof attestation or universal correctness. Report hashes do not replace fresh execution when inputs change. The example workflow requires a trusted setup commit and maintainer-required status/review rules; this PR does not change repository protection settings. Final product acceptance remains tracked in docs/ACCEPTANCE_MATRIX.md.
Final PR validation: https://github.com/hongzuoj-pixel/MiMo-CodeHarness/actions/runs/39019620345 — all 9 jobs passed. Linux installed CLI: 135 passed/5 explicit Docker skips; Windows: 131 passed/9 explicit skips (5 Docker + 3 POSIX SIGINT + 1 symlink privilege case). Real Docker: 5 passed, including trusted-base good/regressing PR runner behavior. Offline PASS/FAIL browser checks pass at all four widths with no viewport overflow, broken links, console errors or network requests. Browser screenshots/metrics and example bundles are retained as Actions artifacts.
Post-merge validation: https://github.com/hongzuoj-pixel/MiMo-CodeHarness/actions/runs/39019816317 — all 9 jobs passed on main commit b0e564f. Merged tree d16759442d26baf6b88ddef05fc476e1cff6ef73 exactly matches the tested tree. Local main is fast-forwarded and the working tree is clean.