[ToikY]

This independently audits the literal cut353 / fresh-input34 gate of thu-nmrc PR6716, exact source a467457692bc9e11113d9b2e2e34ea8ffb553b58, answering its explicit first-review request. It confirms the two prefix identities, all ordinary basis/surgery obligations and every coefficient of the retired35-input endpoint under the stated LOCAL and commuting-stage algebra. No newκ or full supplier admission is claimed.

Two code-disjoint engines use fullforward sparse Gaussian-rational polynomial matrices versus reverse covectors/rows and a forward column. Both blind firsts pass and agree on all68cut-vector and1,225final input/output cells in the full order-four central/18formal-stage ring. They retain phase rather than specializing Q²=I. The exact586-event surgery first contacts fresh34 at event363; originalpivot4 gets Q^-1 without stage factors, and genuinely fresh34 gets only stages10..13 with no central factor.

Ten primary and seven oracle controls include actual valid-instruction phase/basis mutations, with nonzero polynomial witnesses. Twenty external mutationcases/40actualCLIcommands reject for intended reasons on their first suite. Both actual-packet normal/optimized comparisons, complete canonical regeneration, all four registered commands,23file committed byte/source-history/mode checks, final official export/declaredPACKET input and four unchanged read-only Git-free empty-PATH cold commands pass locally. Common canonical SHA9e9a7b5f05fc9e8824fc6206771625f91acf0aead53aae461cb0fdaf9afff6ef; whole packetca09e50e074afde1af921461618e2f1d8349c643a16a6db0683f2a7efcd8e579. Hosted CI: original run41904092549 SUCCESS at the unchanged head; helper711tests/24platformskips, all4registered auditcommands and both gitdiffgates passed. Verified synthetic checkout tree matches the published tree; no rerun.

The unretired34-fieldword is replayed only through its354-event prefix; its complete target list is an authenticated declaration. The new586-event35-inputword is independently replayed completely. Formal role separation does not check implicit native/helper/owned-bank addresses. LOCAL realization, the common-idle physical bank, complete price/completion/compiler/outer and all five selected assumptions remain outside this audit. Root read retained caller.py only as an inert opcode specification; no predecessor constructor, native or pricing engine was executed/imported. This adds external source-bound coverage to the author’s existing own checks; the witness/method/construction/saving remain predecessor credit.

Both scientific firsts/code/six source inputs/cases/schema/receipts/PACKET remain unchanged. Pre-first unexecuted control corrections are preserved. The first registered helper rejected an invalid TASK outcome enum before executing science; corrected to completed. A repeated export correctly refused an existing output; its initial archive/diagnostic were preserved before a new final export. After sciencefreeze onlyTASKenum andRUN/VALIDATIONtransportmetadata changed; no scientific failure or repinning.

Canonical main7c49fe32c55de02c2c873655c804b16e4c3fef0a, eight guidance/selected6030 bindings and exactsource/feedback refreshed unchanged. Complete non-atomic open traversal now670bodies; new6719physicalrouter is unrelated. Targeted all-state and liveHub coverage is retained with sparse/middleDiscussion/arbitrarydiff/hiddenwork limits. The independent-moment card explicitly changes to this narrower productive-input legality audit; full paid/target acceptance remains separate.

Credit thu-nmrc6716; DreamingOfClouds6702; AliRomman6348/6398 and6545/5599/6551; CinnaDavis query/controller and retained native/helper/BIT/compiler/precision/analytic lineage; classical linear/polynomial/dualpairs. ToikY with substantial OpenAI Codex and separate AI primary/oracle/proof/static review, Apache-2.0; no independent human or kernel acceptance. No selected-frontier edit, merge or otherPR closure. Maintainer edits and auto-merge disabled.