Repository navigation
Harden V2 qualification gates and repair M6 invariant coverage - #50
Merged
Merged
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
mAsyamJ
changed the title
mAsyamJ
marked this pull request as ready for review
November 7, 2026 07:21
This branch was successfully deployed
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.
The prior V2 workflow failed validation before jobs began. This draft fixes evidence initialization and enforces structured positive test counts, required nonempty suites and zero failures/skips. A hosted run then exposed Foundry 1.8.4 grouping four invariant predicates into two records: the parser now validates/counts predicates without lowering the minimum. Raw failed-run artifacts are preserved.
Repairs two experimental M6 coverage defects: Q6 donation previously sent native currency, and replay previously used an unsupported asset. Both Q6 regressions fail before and pass after. Separates pristine unit fixture from seeded invariant fixture, preserving all 13 original unit test bodies.
Validation: 12 parser regressions pass; 17 M6 unit/regression tests pass with 10,000 fuzz cases; final native/Q6 model campaign passes 256x128 across seeds 0x6a/0x6b/0x6c (196,608 handler calls, zero outer reverts). Formatting and frozen archive checks pass. Ten project-local skills installed with pinned revisions/licenses/hashes. Bounded Slither scan recorded 18 findings with source dispositions; no full-audit claim.
PARTIAL campaign. Latest hosted CI must complete on this head. The earlier run's financial outputs all succeeded, but its reporting gate failed; replaying artifacts is not a fresh hosted PASS. Two-launch coverage, expanded genuine-v4 lifecycle, Safe/fork, compiler risk, complete static review and gas optimization remain pending. Initial parser/handler fixes were independently reviewed; later grouped-parser/fixture changes still require separate review after agent quota became unavailable.
Canonical financial contracts, frozen judging source, deployment manifests and economics are unchanged. No deployment, broadcast, merge or M6 promotion. See iteration007 STATE.json, qualification report and scoped evidence.