Repository navigation
SUN T1: prove CPU polynomial mutants survive worker smoke but fail semantic oracle - #65
Draft
isomorphisms wants to merge 4 commits into
Draft
isomorphisms wants to merge 4 commits into
isomorphisms wants to merge 4 commits into
Conversation
This was referenced Oct 10, 2026
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.
SUN T1 — bounded semantic-test witness
Starts from Flexible Pipes #69 and AICI #183. Do not infer full shader or target-device acceptance from this change.
Original false-positive surface (preserved):
tests/test_holomorphic_walk.cproves worker startup, finite score and normalized direction, but no mathematical field values. The unchanged smoke test is rerun against each corrupted evaluator.Independent witness:
tests/test_holomorphic_direction_semantics.cinvokes the actualstatic direction_at()from the compiled C source, using a separate binary64 C99-complexcpoworacle, a fixed analytic fifth-degree anchor, zero/complex/boundary cases and 128 seeded cases. The oracle checksdelta_q(u)andd(delta_q)/du, not physicalzparity or the CPU sample-domain policy.Adversarial controls:
tests/semantic_mutations.shcompiles and executes the historical worker smoke plus the new independent checker against one valid control and five invalid variants: half-scale, derivative degree, omitted fifth term, wrong real sign and reversed coefficients. For mutants, a compile error or missing output cannot count as a kill. Each expected mutant must first pass the old smoke and then fail bySEMANTIC-MISMATCHin the new test. Source-shape drift fails closed. Receipts include exact checked-out revision, mutant source digests, test identities and seed, and retain stdout.CI checks out the exact PR head and runs the bounded mutation test. The old worker smoke remains unchanged for reproducibility.
Explicitly NOT VERIFIED / no implied claims
u=z/6sampling is an intentional policy or an error is undecided. This test asserts only the polynomial evaluator's meaning for suppliedu; it does not change motion algorithms.Next: AICI independent receipt/oracle audit, actual generated shader diagnostic output, fleet follower propagation and required-stage enforcement.
Review required; do not merge as if the broader SUN T1 acceptance had passed.