Independent verification: point-set replay of κ = 0.001661202643272239

research/pr699-frame-retiming-validation/CLAIM.json

@@ -0,0 +1,37 @@
+{
+  "assignment_seed": 60,
+  "original_track": "Adversarial mathematical audit; completed separately in PR675.",
+  "authorization": "Subsequent user explicitly requested a persistent goal to find and verify a conditional kappa improvement.",
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "coordination": "No pinned sprint coordination issue found; claim recorded locally and PR overlap checked throughout.",
+  "initial_candidates": [
+    "Further packing of fixed PR676; rejected because its reported fixed-word ceiling was attained.",
+    "Uniform additional whole-group promotions; retained prior packing obstruction.",
+    "Mixed promotion dispatch; investigated with complete native profiles and literal owners."
+  ],
+  "bounded_findings": [
+    "Mixed k3/k4 dispatch produced a literal improving allocation over PR676, superseded by concurrent PR685.",
+    "Seventy-two single-call k4/k5 greedy nominations lost to four rank-one gaps.",
+    "One-helper demotion failed complete-cost accounting because shared carriers added frame changes.",
+    "PR699 read exchanges created new single-gate frame opportunities; 600 legal dimension alternatives yielded eight improvements."
+  ],
+  "final_object": "Eight frame changes on the pinned PR699 SW4 word, with unchanged scalar program, helper widths and literal owners.",
+  "method": "Independent construction, explicit GF(2)^9 point-set accounting, all-column native and phase replay, exact owner/invoice/outer admission.",
+  "stopping_rule": "Stop search after composing the eight improvements and finding no further improvement among 604 single-gate dimension alternatives; reserve remaining work for verification and handoff.",
+  "concurrent_overlap": {
+    "pr": 741,
+    "head": "e516b1463606840a15f80aac1995d64ce0092e89",
+    "published_utc": "2026-10-13T05:01:16Z",
+    "comparison": "Same input/output word hashes and conditional kappa. No priority claim. This submission adds an independent finite-point-set checker and fresh replay."
+  },
+  "expected_finish_utc": "2026-10-13T05:30:00Z",
+  "status": "completed: independently constructed and verified conditional improvement over PR699; identical concurrent PR741 credited",
+  "result": {
+    "kappa": "1661202643272239/1000000000000000000",
+    "kappa_decimal": "0.001661202643272239",
+    "replay_status": "PASS_PINNED_INPUT_FRAME_RETIMING_COMPLETE_REPLAY",
+    "pr": "https://github.com/CrocSwap/integer-mult-bounds/pull/777",
+    "source_commit": "cc95d5e",
+    "completed_utc": "2026-10-13T05:27:55.244208+00:00"
+  }
+}

research/pr699-frame-retiming-validation/ENVIRONMENT.json

@@ -0,0 +1,8 @@
+{
+  "python": "3.14.7 (main, Aug 10 2026, 00:00:00) [GCC 16.1.1 20260515 (Red Hat 16.1.1-2)]",
+  "platform": "Linux-7.2.8-200.fc44.x86_64-x86_64-with-glibc2.43",
+  "zlib_runtime": "1.3.1.zlib-ng",
+  "assertions": true,
+  "external_packages_required": false,
+  "cold_command": "python -B research/pr699-frame-retiming/verify.py --main . --pr635 /tmp/mult-promotion-native/pr635 --dependency /tmp/mult-pr699/research/gauge44-promo-p6k4sw --work /tmp/mult-frame8-cold"
+}

research/pr699-frame-retiming-validation/INDEPENDENT-FRAMES.json

@@ -0,0 +1,128 @@
+{
+  "changed_frames": [
+    [
+      "B",
+      856
+    ],
+    [
+      "B",
+      860
+    ],
+    [
+      "B",
+      868
+    ],
+    [
+      "B",
+      873
+    ],
+    [
+      "B",
+      876
+    ],
+    [
+      "B",
+      953
+    ],
+    [
+      "B",
+      961
+    ],
+    [
+      "B",
+      965
+    ]
+  ],
+  "scalar_gates_unchanged": true,
+  "helper_footprints_unchanged": true,
+  "width_inventory": {
+    "9": 216,
+    "4": 80,
+    "8": 122,
+    "7": 54,
+    "5": 32
+  },
+  "local_profile": {
+    "1": 2556,
+    "2": 334,
+    "3": 430,
+    "4": 194,
+    "5": 56,
+    "8": 8
+  },
+  "delta": {
+    "1": 8,
+    "2": -8,
+    "3": -8,
+    "4": 8
+  },
+  "rank_mass": 5634,
+  "status": "PASS_EXPLICIT_512_POINT_FRAME_RECOUNT",
+  "input_content_sha256": "d232183f233899961bf55cac67a18545ed33548d9a7ca7078990d1a83d557c59",
+  "output_content_sha256": "e78047028c7dcd25fb1b6216c2b53eda76d2f91292b21d43f5d1903cc13a5c6c",
+  "negative_controls": [
+    {
+      "name": "delete-frame-change-B-856",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-860",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-868",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-873",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-876",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-953",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-961",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "delete-frame-change-B-965",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "mass-preserving-false-profile",
+      "rejected": true,
+      "site": "local paid profile mismatch"
+    },
+    {
+      "name": "scalar-coefficient-perturbation",
+      "rejected": true,
+      "site": "scalar gate changed"
+    },
+    {
+      "name": "helper-start-expansion",
+      "rejected": true,
+      "site": "non-frame word field changed: start_extra"
+    },
+    {
+      "name": "helper-end-contraction",
+      "rejected": true,
+      "site": "non-frame word field changed: helper_final"
+    }
+  ],
+  "method": "Explicit finite subspace sets, independent of native Gaussian elimination.",
+  "strict_gain": "For 0 < b < 1, strict concavity gives 1^(1-b) + 4^(1-b) < 2^(1-b) + 3^(1-b). The profile delta is eight times this difference.",
+  "scope": "Finite frame containment and local paid-child accounting only. Scalar endpoint identities, phases, controller admission, whole-owner invoices and analytic transfer remain separate obligations."
+}

research/pr699-frame-retiming-validation/INDEPENDENT-OWNERS.json

@@ -0,0 +1,98 @@
+{
+  "status": "PASS_INDEPENDENT_LITERAL_OWNERS_NATIVE_PROFILE_AND_EXACT_MOMENTS",
+  "calls": 72,
+  "roles": 36288,
+  "cross_replica_roles": 28211,
+  "provider_counts": {
+    "gauge44": 72
+  },
+  "profile": {
+    "1": 184033,
+    "2": 24048,
+    "3": 30961,
+    "4": 13968,
+    "5": 4032,
+    "8": 576,
+    "44": 1,
+    "48": 2396
+  },
+  "idle": {
+    "1": 1,
+    "3": 1,
+    "44": 1,
+    "48": 2396
+  },
+  "fixed_map_identity_multiset_checked": false,
+  "costs": [
+    {
+      "endpoint": "dependency",
+      "complex_lower": "1663428754540205730067/1000000000000000000000000",
+      "lower": "420425747236955987069178944153308594400650929710666217095424781129/420426414395568143770594626143403054023089013669379655085569605632",
+      "upper": "840851494473911974138357888306617188801301859421332707638767118569/840852828791136287541189252286806108046178027338759310171139211264",
+      "strict_margin_lower": "1334317224313402831363980188919244876167917426602532372092695/840852828791136287541189252286806108046178027338759310171139211264"
+    },
+    {
+      "endpoint": "candidate",
+      "complex_lower": "1663966829367501881629/1000000000000000000000000",
+      "lower": "840852828791136287541188793887162690804665601237692703071922315495/840852828791136287541189252286806108046178027338759310171139211264",
+      "upper": "210213207197784071885297198471790672701166400309423244506868819033/210213207197784071885297313071701527011544506834689827542784802816",
+      "strict_margin_lower": "114599910854310378106525266583035915983783/210213207197784071885297313071701527011544506834689827542784802816"
+    }
+  ],
+  "kappa": "1661202643272239/1000000000000000000",
+  "negative_controls": [
+    {
+      "name": "omit one role",
+      "reason": "all helper roles"
+    },
+    {
+      "name": "wrong native width",
+      "reason": "actual native width"
+    },
+    {
+      "name": "wrong physical family",
+      "reason": "physical family identity"
+    },
+    {
+      "name": "legal-size owner outside window",
+      "reason": "owner outside physical window"
+    },
+    {
+      "name": "overlapping pending coordinates",
+      "reason": "overlapping pending coordinates"
+    },
+    {
+      "name": "whole-family alias with disjoint coordinates",
+      "reason": "same-call whole-family alias"
+    },
+    {
+      "name": "underived paid profile",
+      "reason": "literal global profile"
+    }
+  ],
+  "source_sha256": {
+    "plan": "a288308c071be086e5cd6ab8c433cac46c8b74d36d24336bf2c28d6e7917b2ea",
+    "owners": "99d1c4caf85855c353d30f122d9efbd9e51562914facded13027f347b18a6082",
+    "spec": "904aa58e64548c51e887e4d1a21d16ae25599dfe92acc682724a5195d0368754",
+    "dependency_manifest": "1ec13d3f02dfd2966558264dfb010c52e83364d7cfee63af53df32df9384b9f8"
+  },
+  "dependency_sources": {
+    "data/SPEC.json": "56eb544289c8bc4314bf1bb6cc00883f132f5c46b92c61bcc84488943b48a615",
+    "data/PLAN.json": "46cf9a3cc363a197323575a370caa5a2d74e7726797e21e49933d3933a5d5ed2",
+    "data/OWNERS.json.gz": "99d1c4caf85855c353d30f122d9efbd9e51562914facded13027f347b18a6082"
+  },
+  "independent_intervals_sha256": "aa3c2327c5d3742248b720a87b2de0bbe2e34ed2af89a578e3c8d5bd2656a9cf",
+  "native_sources": {
+    "gauge44": {
+      "CANONICAL-WORD.json.gz": "cf18c83bac89897f4d152f845a31c6a806a004283b3ee497e75bbe1d9279e25e",
+      "LOCAL-PROGRAMS.json.gz": "94c11145e34cf6f060b2f0cd420dd38b942720b83fe6629d447904f7d8078c81"
+    }
+  },
+  "native_semantic_sha256": {
+    "gauge44": {
+      "CANONICAL-WORD.json.gz": "b0d27d99423047ce07af847734f5a86f9411038bb3b0bf721918ece1ee579325",
+      "LOCAL-PROGRAMS.json.gz": "69384a1069969209c5c082cd17cafbf97b8e02f0bd141cb0f08e46cea56df92c"
+    }
+  },
+  "scope": "Finite literal roles using unchanged inherited phase windows and widths/paid children rederived from explicit native artifacts. Independent rational moment check; complete scalar, phase, wrapper, controller, coefficient and finite/outer admission remain separate obligations."
+}