Bind native warp events to their declared binary frame transport (no new κ)

research/native-warp-event-binding/README.md

@@ -0,0 +1,131 @@
+# Native warp events must carry their declared frames
+
+This package reproduces the event-to-frame gap reported by jwr404 in
+[issue #4571](https://github.com/CrocSwap/integer-mult-bounds/issues/4571)
+and supplies an independent prerequisite checker. It checks **2,880 actual warp
+events** in twelve oriented programs. It establishes no new κ and does not
+change the frozen evaluators or automatically guard their callers.
+
+## Result and scope
+
+The frozen buffer replay accepts the reported two-label mutation in both
+orientations of the selected PR4470 word: two inverse warps on `L273` are
+relabelled from `0 → 0 → 0` to `0 → 1 → 0`, where frame 1 has dimension nine.
+The formal operator words still cancel, all endpoint rows pass, and the paid
+profile stays `{1:2237, 2:388, 3:494, 4:147, 5:36, 8:8}`. This is a reproduced
+acceptance gap, not a counterexample to the selected multiplication claim.
+The mutant is rejected by the additional check at event 3 in both directions.
+
+`warp_frames.py` reads the actual event's signed operator, old frame and new
+frame. It checks exact equality of binary subspaces, rather than only their
+dimensions. It also rejects singular maps, duplicate operator IDs, dependent
+frame bases, missing frames and unknown/zero operators. Equivalent bases for
+the same subspace are accepted. `RESULT.json` records the fixtures, the legacy
+counterexample and thirteen rejection controls, including a non-involutive
+order-three map that distinguishes positive and negative operators.
+
+All six pinned fixtures pass, each with 72 operators and 240 warp events per
+orientation:
+
+| Fixture | Source and status |
+| --- | --- |
+| THREE-base, THREE-extra, FOUR-base, FOUR-extra | Retained converted native words and their canonical tables |
+| PR4470 | Current selected constructor at the pinned main commit |
+| PR4610 | Actual word retained by PR4616; frame transport acceptance only |
+
+The last fixture shows that the checker accepts a changed, valid operator
+table. It does not require the maps to equal the selected table. It does not
+admit PR4610's operator substitutions, phases, endpoint identity or κ claim.
+Only the buffer evaluator's legacy acceptance is rerun; the corresponding
+`native_extensions.py` finding remains attributed to the original issue.
+
+## Exact implication
+
+Let `U_f` be the span over F₂ of frame `f`, and let `G_k` be the binary map
+whose columns are the canonical table's `G_columns` for positive operator `k`.
+The native frame declaration for an event `['warp', role, op, old, new]` is
+
+```
+op > 0:  G_op(U_old) = U_new
+op < 0:  G_|op|^(-1)(U_old) = U_new.
+```
+
+The checker enumerates the 512 images of each nine-bit map and requires all
+images to be distinct. The map is therefore invertible. For negative `op`,
+applying `G_|op|` to both sides makes the second condition equivalent to
+`G_|op|(U_new) = U_old`. Both checks are finite exact set equalities. Checking
+each event separately is needed even when the canonical table's own
+`from_frame` and `to_frame` declarations are valid: those declarations do not
+constrain the frame labels supplied by a different emitted word.
+
+This proves the stated binary frame-transport condition for each accepted
+event, with the supplied canonical maps. It does not establish Clifford
+absolute phases, frame chronology between events, scalar actions, dirty-state
+restoration, paid tariffs, all-column validity, or a multiplication theorem.
+The ordinary literal and physical checks remain separate obligations.
+
+## Reproduce and reuse
+
+From the repository root, using Python 3.12 and no third-party packages:
+
+```sh
+python3 -B scripts/research_package.py --package research/native-warp-event-binding --check-only
+python3 -B scripts/research_package.py --package research/native-warp-event-binding
+```
+
+The registered run authenticates all declared live inputs, constructs the
+selected word in an isolated interpreter with a private empty bytecode cache,
+checks the fixtures and controls, and compares the deterministic receipt.
+`verify.py --write` regenerates `RESULT.json` using the same checks.
+
+For a word with separate canonical and program JSON files, including `.gz`:
+
+```sh
+python3 -B research/native-warp-event-binding/warp_frames.py canonical.json.gz native-word.json.gz
+```
+
+Alternatively, import `audit(canonical, programs)` from `warp_frames.py` before
+the existing literal replay. `programs` maps orientation names to event lists.
+An invalid transport raises `ValueError` with the orientation, event index,
+role, operator and frame IDs. The CLI checks supplied data; it does not
+authenticate those files against repository provenance. The registered audit
+does authenticate its declared inputs. A pass is only the frame prerequisite.
+
+## Provenance and overlap
+
+Scientific baseline: main `b91956876e5b4122fd89179f1b57557ff8378f15`, priority
+revision 7, selected κ `60403/20000000`. Exact blobs and SHA256 pins are in
+`SOURCES.json`. The catalogue and selected record are historical provenance;
+the explicit inputs are authenticated live dependencies.
+
+The overlap refresh on 2026-10-23 at 05:05 UTC covered 319 open PRs and 4,077
+discussion records with complete remote pagination. The sparse local search
+did not cover all 6,636 tracked notes. The directly relevant existing
+`pr4610-warp-substitution-check` and `complex-cover-lift-audit/native_warps.py`
+were inspected: they check canonical maps/classes, while this package checks
+every emitted event's labels. This is bounded overlap evidence, not a novelty
+certificate. The original task card is changed from historical four-provider
+admission to this prerequisite in the current native caller; see `TASK.json`.
+
+## Open next questions
+
+1. Install this prerequisite in a new caller that admits caller-supplied native
+   words, preserving the frozen predecessor files. First identify its exact
+   mutable-word entrance and invoke the audit before any profile acceptance.
+   The integration needs that caller's complete endpoint and physical checks.
+2. Independently check phase-corrected physical lowering for changed valid
+   warp tables. Start with a single substituted map from PR4610 and retain
+   spectator and absolute-phase obligations. Binary transport alone is
+   insufficient. These questions are also structured in `TASK.json`.
+
+## Credit
+
+jwr404 (James Reed) reported the gap, supplied the two-label counterexample and
+proposed the span-image check in issue #4571. Ryanson Jonathan's PR4616 checks
+PR4610's canonical map substitutions; intqwq supplied that candidate word.
+The retained native/caller lineage includes Cinna Davis's PR4470, the credited
+fresh-helper-boundary and missing-join-frame predecessors, and the authors
+retained in their frozen source files. This package adds event-level checking
+and executable controls; it does not claim the original discovery.
+
+Prepared by 1337isnot1337 with substantial OpenAI Codex assistance. Apache-2.0.

research/native-warp-event-binding/RESULT.json

@@ -0,0 +1,103 @@
+{
+  "fixtures": {
+    "FOUR-base": {
+      "distinct_signed_frame_classes": 180,
+      "operators": 72,
+      "warp_events": {
+        "backward": 240,
+        "forward": 240
+      }
+    },
+    "FOUR-extra": {
+      "distinct_signed_frame_classes": 180,
+      "operators": 72,
+      "warp_events": {
+        "backward": 240,
+        "forward": 240
+      }
+    },
+    "THREE-base": {
+      "distinct_signed_frame_classes": 180,
+      "operators": 72,
+      "warp_events": {
+        "backward": 240,
+        "forward": 240
+      }
+    },
+    "THREE-extra": {
+      "distinct_signed_frame_classes": 180,
+      "operators": 72,
+      "warp_events": {
+        "backward": 240,
+        "forward": 240
+      }
+    },
+    "archived-PR4610": {
+      "distinct_signed_frame_classes": 180,
+      "operators": 72,
+      "warp_events": {
+        "backward": 240,
+        "forward": 240
+      }
+    },
+    "selected-PR4470": {
+      "distinct_signed_frame_classes": 180,
+      "operators": 72,
+      "warp_events": {
+        "backward": 240,
+        "forward": 240
+      }
+    }
+  },
+  "issue_4571": {
+    "backward": {
+      "legacy_mutant_accepted": true,
+      "legacy_original_accepted": true,
+      "new_audit_rejection": "backward[3], role ['L', 273]: G does not carry frame 0 to 1 for signed operator -59",
+      "paid_profile_unchanged": {
+        "1": 2237,
+        "2": 388,
+        "3": 494,
+        "4": 147,
+        "5": 36,
+        "8": 8
+      }
+    },
+    "forward": {
+      "legacy_mutant_accepted": true,
+      "legacy_original_accepted": true,
+      "new_audit_rejection": "forward[3], role ['L', 273]: G does not carry frame 0 to 1 for signed operator -59",
+      "paid_profile_unchanged": {
+        "1": 2237,
+        "2": 388,
+        "3": 494,
+        "4": 147,
+        "5": 36,
+        "8": 8
+      }
+    }
+  },
+  "limits": [
+    "No frozen verifier changed or automatically guarded",
+    "No full Clifford phase, all-column, endpoint or paid-profile admission",
+    "Archived PR4610 transport acceptance is not supplier admission"
+  ],
+  "new_kappa_claimed": false,
+  "rejection_controls": {
+    "boolean_operator": "warp event: unknown or zero warp operator True",
+    "dependent_basis": "Dependent frame basis 4",
+    "duplicate_operator": "Warp operators must have distinct positive integer IDs",
+    "missing_frame": "warp event: invalid frame ID 99",
+    "negative_frame": "warp event: invalid frame ID -1",
+    "same_dimension_wrong_subspace": "warp event: G does not carry frame 1 to 3 for signed operator 1",
+    "singular_G": "Singular G for operator 1",
+    "truncated_event": "program[0]: invalid warp event shape",
+    "unknown_operator": "warp event: unknown or zero warp operator 2",
+    "wrong_canonical_transport": "canonical warp declaration: G does not carry frame 1 to 3 for signed operator 1",
+    "wrong_negative_sign": "warp event: G does not carry frame 1 to 2 for signed operator -1",
+    "wrong_positive_sign": "warp event: G does not carry frame 2 to 1 for signed operator 1",
+    "zero_operator": "warp event: unknown or zero warp operator 0"
+  },
+  "status": "PASS_NATIVE_WARP_EVENT_BINDING",
+  "total_warp_events": 2880
+}

research/native-warp-event-binding/SOURCES.json

@@ -0,0 +1,120 @@
+{
+  "schema_version": 1,
+  "base_commit": "b91956876e5b4122fd89179f1b57557ff8378f15",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395",
+      "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "research/fresh-helper-boundary/CHANGES.json",
+      "usage": "input",
+      "git_blob": "45744fedd0e28967aa72586048b8bc0c72f419a9",
+      "sha256": "cde73b8ff5b3c0d06e69e2293b991b24fd14a16dd4ccab7ff6b3439074a94624"
+    },
+    {
+      "path": "research/fresh-helper-boundary/native.py",
+      "usage": "input",
+      "git_blob": "1b36f6cb5f205c33bf48811e0b1b3621c55e8154",
+      "sha256": "9b55a2d3c3972148fae9d112e745d9244968166bd89bd900c938f429fc76ab29"
+    },
+    {
+      "path": "research/joint-helper-lattice/PATCH.json",
+      "usage": "input",
+      "git_blob": "51304a6601061ed4e698f910b09135ef109555e3",
+      "sha256": "296d0e8c58cc70febe042c681ef30d6bb469818c0835fbcaac8aa8d330f5b727"
+    },
+    {
+      "path": "research/joint-helper-lattice/native_joint.py",
+      "usage": "input",
+      "git_blob": "0315f80e2fdef5e0eef13e3e9b8f72066238164d",
+      "sha256": "50869b1bcad7493e6b4cb2a4cd5d2fd9a193a5921100483fa2c3f2c999ddfd46"
+    },
+    {
+      "path": "research/kappa-causal-continuation/buffer-borrowing/verify_buffers.py",
+      "usage": "input",
+      "git_blob": "5a55034ec9e6185d981e16c28e1e2e455069e2cb",
+      "sha256": "106b4d5e052427230df452f0c901d5390a0583782960b80a8af94d9a984022c7"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/FOUR-base-CANONICAL.json.gz",
+      "usage": "input",
+      "git_blob": "c3eb094570a2e175f9de12a58bd360df4c4a147f",
+      "sha256": "71f03fe085db07399cdfeffadbb65f1910bbdb5b7b0873562fb228e4cb292c8b"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/FOUR-base-NATIVE-WORD.json.gz",
+      "usage": "input",
+      "git_blob": "c3c3c77ece298d0e51b6f1c3fb65b9efd310b4bb",
+      "sha256": "57d7c53bacc42c6d403d3f2ced05c7e277ade034a2cb2db9b07e20962cc0b0d6"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/FOUR-extra-CANONICAL.json.gz",
+      "usage": "input",
+      "git_blob": "b84ba97bddadc60f99b4ebbfa6681c036e21769c",
+      "sha256": "d67623412d0de8aab251702d708e9c48421b2721938657193370ee7065322e25"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/FOUR-extra-NATIVE-WORD.json.gz",
+      "usage": "input",
+      "git_blob": "c3c3c77ece298d0e51b6f1c3fb65b9efd310b4bb",
+      "sha256": "57d7c53bacc42c6d403d3f2ced05c7e277ade034a2cb2db9b07e20962cc0b0d6"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/THREE-base-CANONICAL.json.gz",
+      "usage": "input",
+      "git_blob": "fbdc18bfae45f3aea662f1f2b45a9de59da2f1a4",
+      "sha256": "4526f0c379c0a4e4ae7731b7086a15382c1d1e3960bdf73245f7121299a7ac73"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/THREE-base-NATIVE-WORD.json.gz",
+      "usage": "input",
+      "git_blob": "33c89dbc1730056bbf2f6ad3f5e7168f2e7a7591",
+      "sha256": "bde29d4ac306aa528a1237c8b7197291f29f1733f50058ca13f72c2ae328dccf"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/THREE-extra-CANONICAL.json.gz",
+      "usage": "input",
+      "git_blob": "052bcf3d6784cfc388ef217dfdabbe93c9984adc",
+      "sha256": "6d214cd24e00a2af5b237df8acadd6bd8d3e77bf307fafd0e3e8451c66d93203"
+    },
+    {
+      "path": "research/kappa-native-resume/native-source/rebased-core/converted/THREE-extra-NATIVE-WORD.json.gz",
+      "usage": "input",
+      "git_blob": "33c89dbc1730056bbf2f6ad3f5e7168f2e7a7591",
+      "sha256": "bde29d4ac306aa528a1237c8b7197291f29f1733f50058ca13f72c2ae328dccf"
+    },
+    {
+      "path": "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz",
+      "usage": "input",
+      "git_blob": "4a8c4ed26e53a72362d571c972e65aff546be784",
+      "sha256": "6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61"
+    },
+    {
+      "path": "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz",
+      "usage": "input",
+      "git_blob": "b46d44c6ee624968dd57be928b0c15d9d45f3b2c",
+      "sha256": "c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39"
+    },
+    {
+      "path": "research/missing-join-frame/PATCH.json",
+      "usage": "input",
+      "git_blob": "f96d295d40014d4dd503f58eb3cdabcbb4b8e101",
+      "sha256": "9ab5328245ff02c9d0be21d39bcc375f50bc5d7909e9f7b9a3a9a6f812f5bd6e"
+    },
+    {
+      "path": "research/pr4610-warp-substitution-check/PR4610-ACTUAL-WORD.json.gz",
+      "usage": "input",
+      "git_blob": "79dad65b9c9bd05956183492090d5439a269fc08",
+      "sha256": "d578875344095047c383ef513e69b9deb9d99d2b75abe14f7359d06365a924ac"
+    }
+  ]
+}