Qualify two characteristic-zero trace contracts from PR5681

research/pr5681-characteristic-zero-trace-qualification/NOTICE

@@ -0,0 +1,29 @@
+PR5681 characteristic-zero trace qualification
+
+This contribution applies the classical trace identity to two explicitly
+specified additional contracts. It claims no new trace identity, error in
+PR5681's characteristic-two witness, general complex/native obstruction,
+physical price or kappa result.
+
+inputs/PR5681-PROOF.md is an unchanged copy of Ali Romman's PR5681 proof at
+67f07448eec5ad8d84bdf96b46981ac0b893592f,
+research/one-sided-connector-audit/PROOF.md.
+
+inputs/PR5673-PROOF.md is the unchanged source proof retained at that same
+head under research/one-sided-connector-audit/vendor/PR5673-PROOF.md. Its
+original source is c10f75f09e41803ae8efe478331a7509b7379b2f,
+research/crossed-connector-caller/PROOF.md.
+
+Retain Ali Romman's source attribution and substantial OpenAI Codex assistance
+disclosure. Credit Cinna Davis's controller/simplex work, PR5617/5631/5649's
+query-frame/fixed-star lineage and the complete P104/native/helper/compiler
+predecessors named in the retained primary proofs. Formulation B was independently identified during review of formulation A.
+
+The new note and its separate local paper reviews were prepared with substantial
+OpenAI Codex assistance. Local AI paper review is not independent human
+scientific acceptance or proof-assistant validation.
+
+New contribution and retained primary proofs: Apache-2.0, consistently with
+the repository contribution policy and original source notices. The intended
+upstream overlay uses the repository-root LICENSE. Standalone redistribution
+must also include that license text. Retain this notice and all source notices.

research/pr5681-characteristic-zero-trace-qualification/PROOF.md

@@ -0,0 +1,123 @@
+# Two characteristic-zero trace qualifications of the PR5681 static fixture
+
+This note applies the classical first-order trace identity to two specified additional characteristic-zero contracts suggested by the [PR5681](https://github.com/CrocSwap/integer-mult-bounds/pull/5681) static fixture. It is a conditional source-qualification argument, not a contradiction in the source construction. The elementary trace identity is not new.
+
+The primary source texts are the unchanged [PR5681 proof](inputs/PR5681-PROOF.md), sections 2–3, and its retained [PR5673 proof](inputs/PR5673-PROOF.md), section 1. Their immutable source pins are in [SOURCES.json](SOURCES.json). PR5681 works over characteristic two and supplies a static recipe, not a complete chronological word or a native lift. Its selected fixture has 31 leaves, block dimension four, and five square-zero thin maps of rank two over F2. Copying binary entries to another field is not asserted to preserve those properties.
+
+## 1. Common additional characteristic-zero contract
+
+Let F be a field of characteristic zero. Let
+
+$$
+W=W_0\oplus\cdots\oplus W_{31},\qquad \dim_F W_j=d=4,
+$$
+
+so that W has dimension 128. Use ordinary finite matrices over the free dual-number polynomial ring
+
+$$
+F[e,x_1,\ldots,x_{31}]/(e^2),\qquad x_j=D_j+1.
+$$
+
+The variables x_j are independent and central. All query matrices and projectors are constant over F. The element e is central and nonzero, and 1,e are linearly independent over F[x_1,…,x_31]. No additional quotient kills or identifies the first-order coefficient. This is an ordinary trace contract, not a graded or supertrace contract. Transferring the argument to a physical representation would require proof that it faithfully preserves this normalized coefficient identity.
+
+For stage j let E_j be identity on the core W_0 and leaf W_j, and zero elsewhere. Each stage has a finite full resolution by idempotent orthogonal projectors P_jh satisfying
+
+$$
+\sum_h P_{jh}=E_j,
+$$
+
+with the source support conditions and commutation with its stage kernel T_j. A full call is
+
+$$
+(I+x_jP_{jh})(I+eR_{jh}),\qquad R_{jh}=P_{jh}T_j.
+$$
+
+A thin call is I+eZ_l. Consider any finite ordering of all the declared full and thin calls. The required complete endpoint is
+
+$$
+(1+e)\prod_{j=1}^{31}(I+x_jE_j).
+$$
+
+The stage supports commute; no commutation among query matrices is assumed. Five thin calls is the selected fixture contract. The first case also holds for any finite number of square-zero thin derivatives.
+
+A claimed polynomial endpoint identity can be specialized at x_j=0 for every j, because the variables are independent. In characteristic zero this means **D_j=−1**, not D_j=1. The latter agrees only in the source characteristic-two setting.
+
+At this specialization every full-stage prefactor becomes identity. Writing Q_l for the query derivative of each full or thin call in its actual order gives
+
+$$
+\prod_l(I+eQ_l)=I+e\sum_lQ_l,
+$$
+
+since e²=0. The specialized target is I+eI_W. The free coefficient requirement therefore implies the necessary identity
+
+$$
+\sum_{\mathrm{full}}R_{jh}+\sum_{\mathrm{thin}}Z_l=I_W. \tag{E}
+$$
+
+Order cannot affect this particular coefficient. This is only a necessary condition; no converse or chronological construction follows.
+
+## 2. Case A: all query derivatives are square zero
+
+**Additional hypothesis A:** every full and thin query derivative is square zero over F. This may require a changed full-stage kernel. The verbatim source kernel is not identified with a square-zero matrix over characteristic zero.
+
+For example, if a newly supplied T_j satisfies T_j²=0 and commutes with its idempotent projectors, then
+
+$$
+(P_{jh}T_j)^2=P_{jh}^2T_j^2=0.
+$$
+
+For a square-zero matrix Q, image Q is contained in kernel Q. A basis adapted to these subspaces gives a matrix with zero diagonal, so tr Q=0. Taking ordinary traces in (E) would give
+
+$$
+0=\operatorname{tr}(I_W)=128,
+$$
+
+which is impossible in characteristic zero.
+
+Thus no word satisfies this 128-dimensional scalar target when all full and thin query derivatives are square zero over F. The conclusion needs no rank-two hypothesis or bound on stage splits or call order. It applies to the stated all-query-square-zero contract and is not a general assertion about complex callers.
+
+The hypothesis concerns Q²=0 for the derivative matrix over F. Automatic (eQ)²=0 says nothing about Q, because e²=0 holds for every Q. Likewise I+eQ is invertible with inverse I−eQ for arbitrary Q. Neither automatic nilpotence of eQ nor this invertibility implies derivative nilpotence or zero trace.
+
+## 3. Case B: verbatim full-stage kernel and square-zero thin derivatives
+
+**Additional hypothesis B:** keep the full-stage kernel verbatim on core and leaf j,
+
+$$
+T_j=\begin{pmatrix}I_d&I_d\\I_d&I_d\end{pmatrix},
+$$
+
+retain the full resolutions, and require all five thin derivative matrices Z_l to remain square zero over F. Here T_j²=2T_j. Full-query nilpotence is not assumed.
+
+The full resolution gives
+
+$$
+\sum_hR_{jh}=\left(\sum_hP_{jh}\right)T_j=E_jT_j=T_j.
+$$
+
+Hence the total full-query trace is
+
+$$
+\sum_{j=1}^{31}\operatorname{tr}T_j=2gd=2\cdot31\cdot4=248.
+$$
+
+The target trace in (E) is (g+1)d=128. Consequently every successful word under the verbatim-full-stage contract must satisfy
+
+$$
+\sum_{\mathrm{thin}}\operatorname{tr}Z_l=(g+1)d-2gd=(1-g)d=-120.
+$$
+
+Square-zero thin derivatives have total trace zero, giving a contradiction. Thus no word satisfies this same target with the verbatim full-stage kernels, full resolutions and square-zero thin derivatives over characteristic zero.
+
+This conclusion assumes no nilpotence of the full derivatives. If arbitrary thin matrices are permitted instead, this argument supplies only the necessary equation Σthin tr Z_l=−120. It does not prove that arbitrary thin maps or a complete word are impossible.
+
+## 4. Source boundary and consequences
+
+PR5673 expressly permits arbitrary thin matrices Z. Its general theorem does not assume square-zero thin maps. Square-zero thin derivatives are additional hypotheses in the two proposed lifts above, motivated by the selected characteristic-two static fixture.
+
+The valid F2 witness is unaffected: 128,248 and120 vanish in characteristic two. Neither proof challenges its static ranks, signatures or source theorem. Neither proves that literal copying of its binary matrix entries preserves nilpotence over characteristic zero.
+
+These qualifications exclude neither all characteristic-zero/complex callers nor arbitrary-thin PR5673 contracts. They establish no general Fourier-character or native Gaussian obstruction, graded/supertrace extension, different-dimensional or changed-target exclusion, nonfull-stage result, or paid-idle-multiplier result. A different representation or contract requires its own endpoint and complete-cost argument.
+
+The useful result is the exact distinction between two source-bound counterfactuals: all-query nilpotence has trace zero against target 128; verbatim full T with full resolutions requires thin trace −120 against square-zero thin trace zero. It identifies an assumption that must change before these proposed chronological constructions could succeed. No actual word, native phase, frame adapter, ownership/stock/precision/tape bill, paid profile, complete caller, compiler/outer admission or κ follows. The selected frontier is unchanged.
+
+The classical trace identity receives no novelty claim. Credit Ali Romman's PR5681 static construction/audit and retained PR5673 proof, Cinna Davis's controller lineage, PR5617/5631/5649's query-frame and fixed-star line, and the retained P104/native/helper/compiler predecessors. Formulation B was independently identified during review of formulation A. Prepared with substantial OpenAI Codex assistance, including independent local AI paper review; no human-independent scientific acceptance or proof-assistant theorem is claimed.

research/pr5681-characteristic-zero-trace-qualification/README.md

@@ -0,0 +1,40 @@
+# Two source-bound characteristic-zero trace qualifications
+
+Two specific characteristic-zero contracts suggested by [PR5681](https://github.com/CrocSwap/integer-mult-bounds/pull/5681)'s static connector fixture cannot satisfy its retained scalar endpoint. With every query derivative square zero, the necessary trace equation is 0=128. With the verbatim full-stage kernel and full resolutions, the thin derivatives must instead have total trace −120, whereas square-zero thin derivatives have total trace zero. The [proof](PROOF.md) states the exact additional hypotheses and derives each qualification.
+
+This applies a classical trace identity to specified contracts. It does not identify an error or contradiction in the source author's characteristic-two construction. The valid F2 witness is unaffected, and [PR5673](https://github.com/CrocSwap/integer-mult-bounds/pull/5673)'s arbitrary-thin-matrix class is not excluded. No general complex/native/caller exclusion, chronological construction, physical tariff or κ result is claimed. The selected frontier is unchanged.
+
+## Exact source and version provenance
+
+The primary source object is PR5681 head `67f07448eec5ad8d84bdf96b46981ac0b893592f`, package `research/one-sided-connector-audit`. Two unchanged source proofs are supplied locally:
+
+- [PR5681-PROOF.md](inputs/PR5681-PROOF.md), sections 2–3: characteristic-two static square-zero maps, including the 31-leaf fixture with block dimension four and five rank-two thin maps.
+- [PR5673-PROOF.md](inputs/PR5673-PROOF.md), section 1: stage kernels, full resolutions, arbitrary thin matrices, independent stage variables and the complete ordered target. PR5681 retains this proof from source commit `c10f75f09e41803ae8efe478331a7509b7379b2f`.
+
+[SOURCES.json](SOURCES.json) records immutable public paths, Git blobs, SHA256 hashes and exact preparation provenance. The two source copies preserve original text and credit. Their scientific execution statements are source-author evidence; no source checker was run here.
+
+The new PROOF.md is a standalone adaptation of the locally frozen, independently reviewed V2 trace tuple. That tuple comprises proof SHA256 `37d13fa8d60115fdf4ff62c89ed2361d7a898aa99ed7f0931cc31d8711149469` and contract SHA256 `65bd829e2b17382029b6d1ee16d248e2116a059e5de47824a8099029789c7b02`. Its separate V2 review has SHA256 `9f168e80009239a6a6de23e82e75e10e698f5779024a88320df2d71236f3c956`. The review accepted the specified conditional paper arguments. It is not an acceptance of these adapted package bytes. The adapted package has a separate review obligation; acceptance of an earlier tuple is not silently transferred to changed bytes.
+
+The original and clarified argument versions retain separate immutable provenance. The source-specific contribution is the two explicit conditional trace budgets; no exhaustive novelty claim follows from source or overlap qualification.
+
+## Evidence and qualification boundary
+
+The argument works over ordinary matrices in the free ring F[e,x₁,…,x₃₁]/(e²), with F of characteristic zero, independent central x_j=D_j+1, and constant query coefficients. The elements 1,e must remain linearly independent over F[x]. Specializing x=0 means D=−1 in characteristic zero. Faithful preservation of that normalized first-order coefficient identity is required before transferring the argument to a physical representation.
+
+Both qualifications concern derivative matrices Q satisfying Q²=0 over F. Automatic (eQ)²=0 and invertibility of I+eQ hold for arbitrary Q and do not supply this hypothesis. Case A may change the full kernel; Case B keeps the verbatim T, for which T²=2T, and assumes no full-query nilpotence. Thin rank two is fixture context rather than a trace-proof premise.
+
+This is an unregistered static proof package. Its explicitly named custom custody manifest is not generic research-runner metadata. No verifier, `TASK.json`, `VERIFY.json`, synthetic `RESULT.json` or CI receipt is supplied. Local source-copy hashes were checked only as packaging bookkeeping against existing authenticated pins. No new source query, numeric or scientific run, source import, matrix/WORD generation, constructor, chronological search or native replay occurred.
+
+## Credit
+
+Credit Ali Romman for PR5681's static construction/audit and the retained PR5673 proof and source bounds; Cinna Davis's controller and simplex lineage; [PR5617](https://github.com/CrocSwap/integer-mult-bounds/pull/5617), [PR5631](https://github.com/CrocSwap/integer-mult-bounds/pull/5631) and [PR5649](https://github.com/CrocSwap/integer-mult-bounds/pull/5649) for the query-frame/fixed-star line; and the complete retained P104/native/helper/compiler lineage. Formulation B was independently identified during review of formulation A. The source's existing caveat that a characteristic-two static witness supplies no native lift remains predecessor work.
+
+The trace identity is classical. No novelty of that identity or source-author contradiction is claimed. Prepared with substantial OpenAI Codex assistance, including separate local AI paper reviews; these are not human scientific acceptance or formal proof-kernel validation. Source notices and Apache-2.0 terms are retained; see [NOTICE](NOTICE).
+
+## Open next questions
+
+1. **Which additional contract could support a characteristic-zero construction?** The exact trace budgets show that either derivative nilpotence, verbatim full-stage structure/resolutions, scalar target/dimension, or the faithful coefficient model must change. First specify one concrete revised contract and derive its necessary coefficient equation. No changed family is nominated here, and its endpoint/native/cost obligations would need separate scope and source review.
+2. **Can arbitrary thin derivatives satisfy the full ordered endpoint?** PR5673 permits them, and the verbatim-full-T case only imposes total thin trace −120. That necessary condition is not a construction. A useful first step is a specified source-bound candidate with the exact polynomial endpoint; no synthesis or search is authorized by this note.
+3. **Can a physical representation faithfully preserve the normalized coefficient identity?** That is required before either qualification transfers. Begin with an explicit representation and proof of the relevant coefficient binding. A physical first-order shear or invertible I+eQ alone does not prove Q²=0.
+
+The smallest useful follow-up is review of the exact source contracts and paper argument before proposing a revised lift. No new scientific execution is needed to inspect the two paper arguments.

research/pr5681-characteristic-zero-trace-qualification/SOURCES.json

@@ -0,0 +1,71 @@
+{
+  "schema": "pr5681-characteristic-zero-trace-qualification-custody/1",
+  "status": "STATIC_CONDITIONAL_SOURCE_QUALIFICATION",
+  "registration": {
+    "generic_runner_registered": false,
+    "no_verifier_or_execution_receipt": true,
+    "meaning": "This is a custom custody manifest, not TASK/SOURCES/VERIFY runner metadata"
+  },
+  "primary_object": {
+    "pull_request": "https://github.com/CrocSwap/integer-mult-bounds/pull/5681",
+    "head": "67f07448eec5ad8d84bdf96b46981ac0b893592f",
+    "package": "research/one-sided-connector-audit"
+  },
+  "files": [
+    {
+      "local_path": "inputs/PR5681-PROOF.md",
+      "repository_path": "research/one-sided-connector-audit/PROOF.md",
+      "commit": "67f07448eec5ad8d84bdf96b46981ac0b893592f",
+      "immutable_public_url": "https://github.com/aliromman/integer-mult-bounds/blob/67f07448eec5ad8d84bdf96b46981ac0b893592f/research/one-sided-connector-audit/PROOF.md",
+      "sha256": "2e52ac6d32923a1ce6f9693415df553b2d4c38c1a103b9e1968c4e114044d800",
+      "git_blob": "e3be1bb272f3a73a8c6cd248fec69dec498e401d",
+      "bytes": 8205,
+      "license": "Apache-2.0",
+      "use": "Unchanged primary proof read as text; source execution claims remain author evidence"
+    },
+    {
+      "local_path": "inputs/PR5673-PROOF.md",
+      "repository_path": "research/one-sided-connector-audit/vendor/PR5673-PROOF.md",
+      "commit": "67f07448eec5ad8d84bdf96b46981ac0b893592f",
+      "immutable_public_url": "https://github.com/aliromman/integer-mult-bounds/blob/67f07448eec5ad8d84bdf96b46981ac0b893592f/research/one-sided-connector-audit/vendor/PR5673-PROOF.md",
+      "sha256": "e086b3376173f6b790e05ef09f23b4d5970c8ac5145ab2970e084743f782190b",
+      "git_blob": "e3800fbcf1c5f5633e14d9856ca1400985292a0d",
+      "bytes": 9581,
+      "license": "Apache-2.0",
+      "use": "Unchanged primary proof read as text; source execution claims remain author evidence",
+      "original_source": {
+        "repository": "aliromman/integer-mult-bounds",
+        "commit": "c10f75f09e41803ae8efe478331a7509b7379b2f",
+        "path": "research/crossed-connector-caller/PROOF.md"
+      }
+    }
+  ],
+  "version_binding": {
+    "adapted_proof": "PROOF.md",
+    "basis": "Standalone adaptation retaining the accepted conditional mathematics, extra hypotheses and source boundaries",
+    "review_scope": "The adapted publication bytes require a separate exact-byte review; earlier acceptance is version-specific",
+    "identity_novelty": "Classical; none claimed",
+    "source_specific_coverage": "Bounded source qualification does not establish exhaustive global novelty"
+  },
+  "checks_performed": "SHA256/Git-blob/length source-copy custody and accepted-local-file hash bookkeeping only; no fresh authentication or scientific execution",
+  "claims_not_made": [
+    "Novel trace identity",
+    "Contradiction in PR5681 source witness",
+    "Exclusion of arbitrary thin PR5673",
+    "General characteristic-zero/complex/native/caller obstruction",
+    "Physical price or kappa improvement",
+    "CI pass or proof-kernel verification"
+  ],
+  "license": "Apache-2.0; root LICENSE supplied by intended upstream overlay",
+  "publication_base": {
+    "commit": "df0137efd35e11b4445734bf612bdd4c7ebc330c",
+    "tree": "b2cba28bc921bd50607d1417b43fbafdfe9058cf",
+    "meaning": "Exact upstream preparation base; no selected-result change"
+  },
+  "argument_provenance": {
+    "accepted_proof_sha256": "37d13fa8d60115fdf4ff62c89ed2361d7a898aa99ed7f0931cc31d8711149469",
+    "accepted_contract_sha256": "65bd829e2b17382029b6d1ee16d248e2116a059e5de47824a8099029789c7b02",
+    "separate_paper_review_sha256": "9f168e80009239a6a6de23e82e75e10e698f5779024a88320df2d71236f3c956",
+    "meaning": "These hashes identify the earlier accepted conditional argument and contract adapted into PROOF.md; they are not proof-kernel or CI receipts and do not bind changed package bytes"
+  }
+}