Research: independently audit PR #3190 port-0 operator witness

research/pr3190-independent-operator-audit/README.md

@@ -0,0 +1,48 @@
+# Independent exact audit of PR #3190's port-0 transfer witness
+
+**Scoped finite result. No new κ, supplier bound, or multiplication theorem.**
+
+## Result and exact scope
+
+At owner replica 0, port 0, the pinned PR #3190 move list contains exactly two transfers:
+
+- child 14 to child 8, axis 2^72;
+- child 15 to child 10, axis 2^72.
+
+Using the selected frame recipe and completed local-invocation event contract at the single Fourier character 2^72, an independent dense matrix replay gives the baseline operator i I₈. Each transfer alone changes exactly five matrix entries; the joint transfer changes the disjoint union of those ten entries. For example, entry (6,6) changes from i to −1 under 14→8, and entry (7,7) changes from i to −1 under 15→10.
+
+| Isolated transfer | Exact changed entries, before → after |
+| --- | --- |
+| 14→8 | (3,1): 0→−1+i; (3,3): i→1; (5,1): 0→−1+i; (5,3): 0→1−i; (6,6): i→−1 |
+| 15→10 | (0,2): 0→−1+i; (0,4): 0→−1+i; (2,2): i→1; (2,4): 0→1−i; (7,7): i→−1 |
+
+This independently reproduces the port-0 counterexample in [PR #3296](https://github.com/CrocSwap/integer-mult-bounds/pull/3296). It establishes that these two literal transfers do not preserve this finite operator under the stated contract.
+
+It does **not** establish that every move in #3190 fails, that every port or replica fails, that simultaneous or repaired transfers fail, or that the broader remainder-transfer mechanism is impossible. It changes no selected result and gives no bound on κ.
+
+## Inputs, method, and assumptions
+
+The package pins eight base data inputs and the task-catalogue/selected-result provenance records in [SOURCES.json](SOURCES.json); its nine offline copies are separately bound by SHA256 and Git blob IDs in the retained-file inventory. The selected base is main commit 463113d675af7410ac91d53a4fed51ec6494eb9a. The move-list Git blob is e8401e6d138d9fcf9725530e7ae36d2db1386bda, pinned locally to parent package commit 32a3fa83aaa639570db53beb381016711aa6f5b5 so the repository replay can resolve it from the PR branch history. Before opening this PR, GitHub's blob API reported the same object ID at PR #3190 head 5e4a3235169edddd033889da4e9f47635ff50c3e, path research/rank7-idle-remainder-donors-t740/MOVES.json.gz; PR #3296 carries the identical bytes. SOURCES.json retains both the local pin and the observed upstream head/path/blob.
+
+The verifier does not import PR #3187's algebra.py or source.py, nor PR #3296's obstruction.py. It checks every vendored SHA256, reconstructs the 2,717,280-row fill from its base rows and exchange journal, verifies the canonical fill digest, and independently projects the 30 owner-0/port-0 hosted rows. It then applies the declared per-axis rule, rank cap, and orthonormality checks, and composes the event gates as dense 8×8 matrices over the Gaussian integers. The exact 5+5 entries above are compared, including an empty-overlay positive control and invalid-axis/self-transfer rejection controls.
+
+The operator interpretation follows the repository's completed local-invocation contract and pinned execution schedule. As in that contract, bank-padding events remain outside these eight streams, and the all-family translation correction is zero at identity gauge. This replay does not independently prove that the contract models a more general computation or that every omitted system-level obligation is discharged.
+
+The task picker first suggested independent-moment work, but live overlap checks found active #2979 audits. This package records a changed scope: a bounded independent audit of the newest open, unreviewed #3296 port-0 operator claim. It does not extend the overlapping #2979 moment work.
+
+## Reproduce
+
+From the repository root, run:
+
+    python3 scripts/research_package.py --package research/pr3190-independent-operator-audit --check-only
+    python3 scripts/research_package.py --package research/pr3190-independent-operator-audit
+
+The second command runs the registered bounded verifier. It uses only the Python standard library. The package metadata check verifies source pins and declared tracked inputs; the verifier checks the complete fill digest, exact move identity, and exact matrix differences.
+
+## Open next questions
+
+Can a proof covering simultaneous transfers, all 112 ports, and every owner-replica hosting show that no legal remainder-transfer family preserves the local operator? That would bear on whether the transfer mechanism has any valid form beyond these committed moves. A first step is to express the transfers as character-dependent phase changes on child pairs and classify how the intervening bridges can conjugate or cancel them. The present package checks one port and one character; the complete classification and simultaneous-transfer proof remain open.
+
+## Credit
+
+Prepared by OpenAI Codex with substantial AI assistance, disclosed in TASK.json. Source and lineage credit remain with the authors of [PR #3148](https://github.com/CrocSwap/integer-mult-bounds/pull/3148), [PR #3187](https://github.com/CrocSwap/integer-mult-bounds/pull/3187), [PR #3190](https://github.com/CrocSwap/integer-mult-bounds/pull/3190), and [PR #3296](https://github.com/CrocSwap/integer-mult-bounds/pull/3296). No human or formal mathematical review is claimed. New work is Apache-2.0.

research/pr3190-independent-operator-audit/SOURCES.json

@@ -0,0 +1,141 @@
+{
+  "schema_version": 1,
+  "base_commit": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5",
+      "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0"
+    },
+    {
+      "path": "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json",
+      "usage": "input",
+      "git_blob": "d9a4f84211182ca200c081ea061d724c8a2cfb70",
+      "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa"
+    },
+    {
+      "path": "research/pr3190-independent-operator-audit/vendor/PR3190-MOVES.json.gz",
+      "usage": "provenance",
+      "git_blob": "e8401e6d138d9fcf9725530e7ae36d2db1386bda",
+      "sha256": "c76310bc9bdb7e693bdb8910e7ea084354251110a02ee629e3e8aad7418b695f",
+      "pin": "head:32a3fa83aaa639570db53beb381016711aa6f5b5:research/pr3190-independent-operator-audit/vendor/PR3190-MOVES.json.gz"
+    },
+    {
+      "path": "research/rank7-idle-star-stream-obstruction/vendor/BASE-FILL.json.gz",
+      "usage": "input",
+      "git_blob": "92b49b42b8f381d686a9fb8057e74e4b7548cd5c",
+      "sha256": "68b8bae90144248774b1920cd27f9519caa3dc427704d8a9da6d4c491d912fc4"
+    },
+    {
+      "path": "research/rank7-idle-star-stream-obstruction/vendor/EXCHANGE.json",
+      "usage": "input",
+      "git_blob": "f323db0fd94a80f691b1606e813d0738b27058ae",
+      "sha256": "5063791f327d067f37478488c97ce449e5b34cfb61d6309fc6924c5e360fe839"
+    },
+    {
+      "path": "research/rank7-idle-star-stream-obstruction/vendor/PROVIDERS.json",
+      "usage": "input",
+      "git_blob": "0b2343675099d0a9fe90da6e1f1e53f50235567e",
+      "sha256": "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd"
+    },
+    {
+      "path": "research/rank7-joint-endframes/allocation/DISPATCH.json",
+      "usage": "input",
+      "git_blob": "9544fee4e6ee1f202cee22bfaeaf229ee3b2515e",
+      "sha256": "65e435bd68e97243c003677271b88485a29d4d0fae2dff1354100404a145e74c"
+    },
+    {
+      "path": "research/rank7-joint-endframes/allocation/ORDER.json",
+      "usage": "input",
+      "git_blob": "7409c4df1092241729739596c7648bda504e6aad",
+      "sha256": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1"
+    },
+    {
+      "path": "research/rank7-joint-endframes/allocation/vendor/PLAN.json.gz",
+      "usage": "input",
+      "git_blob": "7a1db55a4d53ee99280be4f3ab7d29f7b2033adf",
+      "sha256": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e"
+    },
+    {
+      "path": "research/rank7-joint-endframes/allocation/vendor/TEMPLATE.json.gz",
+      "usage": "input",
+      "git_blob": "114808c32b1799da53524bdc25cea67efb60009e",
+      "sha256": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e"
+    }
+  ],
+  "retained_files": [
+    {
+      "local_path": "vendor/BASE-FILL.json.gz",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-idle-star-stream-obstruction/vendor/BASE-FILL.json.gz",
+      "sha256": "68b8bae90144248774b1920cd27f9519caa3dc427704d8a9da6d4c491d912fc4",
+      "git_blob": "92b49b42b8f381d686a9fb8057e74e4b7548cd5c"
+    },
+    {
+      "local_path": "vendor/DATA-PHASES.json",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json",
+      "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa",
+      "git_blob": "d9a4f84211182ca200c081ea061d724c8a2cfb70"
+    },
+    {
+      "local_path": "vendor/DISPATCH.json",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-joint-endframes/allocation/DISPATCH.json",
+      "sha256": "65e435bd68e97243c003677271b88485a29d4d0fae2dff1354100404a145e74c",
+      "git_blob": "9544fee4e6ee1f202cee22bfaeaf229ee3b2515e"
+    },
+    {
+      "local_path": "vendor/EXCHANGE.json",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-idle-star-stream-obstruction/vendor/EXCHANGE.json",
+      "sha256": "5063791f327d067f37478488c97ce449e5b34cfb61d6309fc6924c5e360fe839",
+      "git_blob": "f323db0fd94a80f691b1606e813d0738b27058ae"
+    },
+    {
+      "local_path": "vendor/ORDER.json",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-joint-endframes/allocation/ORDER.json",
+      "sha256": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1",
+      "git_blob": "7409c4df1092241729739596c7648bda504e6aad"
+    },
+    {
+      "local_path": "vendor/PLAN.json.gz",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-joint-endframes/allocation/vendor/PLAN.json.gz",
+      "sha256": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e",
+      "git_blob": "7a1db55a4d53ee99280be4f3ab7d29f7b2033adf"
+    },
+    {
+      "local_path": "vendor/PR3190-MOVES.json.gz",
+      "head": "32a3fa83aaa639570db53beb381016711aa6f5b5",
+      "upstream_path": "research/pr3190-independent-operator-audit/vendor/PR3190-MOVES.json.gz",
+      "sha256": "c76310bc9bdb7e693bdb8910e7ea084354251110a02ee629e3e8aad7418b695f",
+      "git_blob": "e8401e6d138d9fcf9725530e7ae36d2db1386bda",
+      "origin_head": "5e4a3235169edddd033889da4e9f47635ff50c3e",
+      "origin_path": "research/rank7-idle-remainder-donors-t740/MOVES.json.gz",
+      "origin_git_blob": "e8401e6d138d9fcf9725530e7ae36d2db1386bda"
+    },
+    {
+      "local_path": "vendor/PROVIDERS.json",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-idle-star-stream-obstruction/vendor/PROVIDERS.json",
+      "sha256": "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd",
+      "git_blob": "0b2343675099d0a9fe90da6e1f1e53f50235567e"
+    },
+    {
+      "local_path": "vendor/TEMPLATE.json.gz",
+      "head": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+      "upstream_path": "research/rank7-joint-endframes/allocation/vendor/TEMPLATE.json.gz",
+      "sha256": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e",
+      "git_blob": "114808c32b1799da53524bdc25cea67efb60009e"
+    }
+  ]
+}

research/pr3190-independent-operator-audit/TASK.json

@@ -0,0 +1,66 @@
+{
+  "schema_version": 1,
+  "task_id": "independent-moment",
+  "priority_revision": 6,
+  "base_commit": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+  "original_card": {
+    "id": "independent-moment",
+    "question": "Does one changed supplier or assembly claim lack a source-bound independent check of a specific new implication?",
+    "starting_points": [
+      "certificates/selected-result.json",
+      "research/rank7-joint-endframes/README.md",
+      "docs/research/research-family-status.md"
+    ],
+    "methods": [
+      "Independently reconstruct a coordinated frame/circuit change and its single-change control, then derive the complete rank and physical ledger.",
+      "Implement certified moment inequalities through a different exact enclosure method."
+    ],
+    "acceptance_gate": "Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read #2979 joint rank-7 end-frame proposal and the revision-6 evidence status. Its claimed kappa is not selected. Compare coordinated changes with the losing single-change controls and locate the complete physical ledger; an aggregate moment alone does not validate the mechanism.",
+      "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay."
+    },
+    "first_experiment": "Prioritize a bounded independent audit of #2979: reconstruct one joint group and its single-lowering control, check the declared frames/chronology, then trace changed children, idle widths and cleanup buffers into the complete invoice and both supplier caps. Choose one still-missing implication after checking existing audits. Stop with exact unresolved dependencies if full admission exceeds the session; do not launch a new lowering census on an unvalidated premise or substitute extra root digits for mechanism checking.",
+    "bottleneck_link": "Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.",
+    "allowed_variations": [
+      "Reconstruct either a source ledger or a numeric enclosure with a different method."
+    ],
+    "scope_change_triggers": [
+      "Importing the primary function and calling its output independent verification.",
+      "Promoting #2979 from merged source archive to validated supplier solely from author PASS receipts or aggregate pricing."
+    ],
+    "overlap_terms": [
+      "independent moment",
+      "rank histogram",
+      "exact enclosure",
+      "2979",
+      "rank7 joint endframes",
+      "paired extraction",
+      "joint lowering"
+    ]
+  },
+  "scope_status": "changed",
+  "actual_scope": "Independently reconstruct the pinned PR3148 port-0 fill and exact eight-stream Gaussian-integer operator at Fourier character 2^72, then test the two literal hosted-remainder moves committed by PR #3190.",
+  "scope_change_reason": "The chooser suggested independent-moment, but live overlap checks found active #2979 audits (#3236, #3237, #3238, #3245 and #3285). I changed scope to the newest unreviewed bounded operator claim, PR #3296, and will independently rederive its single port-0 witness rather than extend the overlapping #2979 audit.",
+  "bottleneck_link": "This is a side audit of an operator-preservation claim, not a selected-kappa supplier. Independent source binding and exact replay can reject a concrete unsupported transfer claim while preserving the current frontier result.",
+  "budget_minutes": 60,
+  "stop_rule": "Stop after the exact base fill, two source-pinned moves, baseline operator, each isolated transfer, and joint transfer reproduce; do not expand to the full port census or mechanism theorem.",
+  "outcome": "negative-result",
+  "evidence": "Standard-library verifier reconstructs the canonical fill hash and owner-replica-0 port-0 projection, checks both moves against the declared commuting rule, and computes the baseline and all three overlays by dense exact Gaussian-integer matrix products. It independently obtains the exact 5+5 disjoint changes at character 2^72 under the stated local-invocation event contract. It proves only that these two literal moves do not preserve this finite operator.",
+  "author": "OpenAI Codex",
+  "ai_assistance": "Substantial assistance from OpenAI Codex: source review, verifier implementation, mathematical derivation and documentation. No human or formal proof review is claimed.",
+  "open_questions": [
+    {
+      "question": "Can a proof covering simultaneous transfers, all 112 ports and every owner-replica hosting show that no legal remainder-transfer family preserves the local operator?",
+      "why_it_matters": "The finite port-0 witness rejects the committed moves but cannot establish that the broader mechanism has no valid transfer or repaired schedule.",
+      "first_step": "Formalize the transfer action on each child pair as a change in the exact character-dependent diagonal phase, then identify which intervening bridges can conjugate or cancel it across the full port and replica inventory.",
+      "blocked_by": "Requires a complete source-bound all-port/all-replica classification and a proof for simultaneous changes; the current package checks only two moves at one port and one character."
+    }
+  ]
+}

research/pr3190-independent-operator-audit/VERIFY.json

@@ -0,0 +1,28 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json",
+    "research/pr3190-independent-operator-audit/vendor/PR3190-MOVES.json.gz",
+    "research/rank7-idle-star-stream-obstruction/vendor/BASE-FILL.json.gz",
+    "research/rank7-idle-star-stream-obstruction/vendor/EXCHANGE.json",
+    "research/rank7-idle-star-stream-obstruction/vendor/PROVIDERS.json",
+    "research/rank7-joint-endframes/allocation/DISPATCH.json",
+    "research/rank7-joint-endframes/allocation/ORDER.json",
+    "research/rank7-joint-endframes/allocation/vendor/PLAN.json.gz",
+    "research/rank7-joint-endframes/allocation/vendor/TEMPLATE.json.gz"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 180,
+      "checks": "Reconstructs the complete fill digest, validates the two pinned moves and their rule/rank controls, then exactly compares baseline, isolated and joint 8x8 Gaussian-integer operators at character 2^72."
+    }
+  ]
+}