Independently reconstruct PR4441 helper tariffs and complete p17 invoice

research/fresh-helper-invoice-audit/README.md

@@ -0,0 +1,179 @@
+# Independent reconstruction of PR4441's complete complex invoice
+
+**The declared finite invoice reproduces. No accounting discrepancy was found
+in the checked scope.** This package independently derives the paid transition
+and helper-width profiles of
+[PR #4441](https://github.com/CrocSwap/integer-mult-bounds/pull/4441) at
+`5f9d871c6bd1b9e34db5a7ea5ef08a908e94db39`, then reconstructs the complete
+query-thinned controller invoice. It claims no new kappa or supplier admission.
+
+| Quantity | Before helper retiming | After helper retiming |
+| --- | ---: | ---: |
+| Paid calls per full native invocation | 3,554 | 3,363 |
+| Productive helper rank mass per invocation | 3,301 | 3,434 |
+| Paid rank mass per invocation | 5,157 | 5,290 |
+| Complete controller productive fields | 11,560 | 11,560 |
+| Complete controller paid calls | 72,902 | 69,273 |
+| Complete productive rank mass | 258,271 | 260,798 |
+| Complete paid rank mass | 257,471 | 259,998 |
+| Rank surplus | 800 | 800 |
+
+Each of 19 full invocations removes 191 paid calls, totaling **3,629**. The
+local paid-count changes by rank are `{1:-234, 2:-198, 3:+221, 5:+20}`.
+Both productive and paid mass increase by 133 per invocation. This changes
+the rank distribution without creating an unpaid rank-mass gain.
+
+## What is independently checked
+
+`audit.py` imports no predecessor implementation. It uses binary Gaussian
+elimination to check all 1,159 frame bases and nested transitions. From the
+literal native programs it collects a separate chronological contact path for
+each of 632 persistent roles, in both orientations. It binds every one of the
+117 entrance, 42 exit and 395 scalar-frame patches to its original location.
+The 17,253 persistent-only scalar gates have the stated inverse-transpose
+correspondence. Unmodified warp contacts are retained. The resulting per-role
+bills agree between orientations; 319 role bills change.
+
+The empty patch is a positive control: contact-derived costs equal the source's
+explicit climbs. All eight complete owned-center paths remain charged at rank
+eight, using the predecessor's unsplit-center convention; the stored native
+file expresses each as two adjacent rank-three/rank-five events.
+
+A second implementation replays the entire controller as sparse rational
+Laurent row expressions on all 34 formal input coordinates. It executes the
+actual right boundary, 164 physical events, and left boundary, separately
+checks the two boundary programs against their matrices, and derives the
+diagonal monomials. It counts **19 full calls, 16 copied query shears, 16 whole
+idle events, 96 additions and 17 signed swaps**. Each query is charged 112
+rank-one jobs; the idle events cost 3,584 jobs. Main output ranks come from the
+replayed monomials, not the stored diagonal or invoice. The expected receipts
+are compared only after reconstruction.
+
+These are separately written checks after reading the source formats and
+proof; they are not a blind replication or independent human review. The
+source author's existing native, phase and numerical checks are not relabelled
+as this package's independent evidence.
+
+## Why the surplus is conserved
+
+Let `d(f)` be the dimension of a frame. For one persistent role, sum the paid
+ascending transitions along its chronological path. Fixed warps can change
+frame dimensions without belonging to that sum. Telescoping therefore gives
+
+```
+paid rank mass = d(final) - d(start)
+                 - sum_over_fixed_warps(d(warp_out) - d(warp_in)).
+```
+
+The checker verifies this equality separately for every role in both
+orientations. Subtracting the old and new equations cancels all fixed warp
+jumps and main endpoints. The remaining change is exactly the change in helper
+boundary widths: 133. The eight center jobs, query shears, main diagonal and
+idle bill are unchanged. Multiplication by 19 gives 2,527 added rank mass on
+each side and leaves the complete surplus at 800. This identity is about
+accounting under the stated frame contract, not physical operator correctness.
+
+## Sources, replay and failure controls
+
+Base: canonical main `2a13eb1827784206202db90e5dc8327cf8a250db`, priority
+revision 7. [SOURCES.json](SOURCES.json) pins the two native input files already
+on main, plus historical catalogue/selected-record provenance.
+[snapshot/MANIFEST.json](snapshot/MANIFEST.json) binds the exact five exported
+PR4441 files to their public commit, original paths, Git blobs and SHA256s.
+The source README and attribution are retained unchanged. These snapshots are
+committed with this audit: replay needs neither an unmerged Git object nor a
+network fetch. The two main inputs were also checked byte-identical at the
+audited PR head. Snapshot hashes authenticate retained bytes; their association
+with the public commit was checked at acquisition, not by a network call during
+every replay.
+
+Python 3.12, standard library only, from the repository root:
+
+```sh
+python3.12 -B scripts/research_package.py --package research/fresh-helper-invoice-audit --check-only
+python3.12 -B scripts/research_package.py --package research/fresh-helper-invoice-audit
+```
+
+Direct replay, also supported from a Git-free package export containing its two
+declared inputs:
+
+```sh
+python3.12 -B research/fresh-helper-invoice-audit/verify.py
+python3.12 -O -B research/fresh-helper-invoice-audit/verify.py
+```
+
+[RESULT.json](RESULT.json) contains all derived profiles and **13 rejection
+controls**: duplicate helper boundary, wrong original scalar frame, omitted
+scalar retiming, omitted helper exit, incompatible contact frame, equal-rank
+distinct spaces, dependent frame basis, missing query, missing idle, unsigned
+swap, wrong boundary coefficient, unearned productive stage, and altered source
+bytes. Acceptance uses explicit exceptions and remains active under `-O`.
+
+Validation on CPython **3.12.0**, Windows 11 x64 (`10.0.26300`): metadata/pins
+and both registered commands passed. The committed-byte preflight and a
+15-file export integrity check passed at `6ffff4e474b97e9fcc1e13164676e372a9d3af80`.
+Both direct modes also passed from that export in a fresh directory with no
+Git checkout or predecessor Python modules. That commit contains the complete
+scientific code and inputs; the subsequent change only records validation and
+concurrent-work context. The optional full-history ancestry preflight was not
+run in this shallow checkout. The prescribed selected baseline was attempted
+but its unrelated source inventory is incomplete in the sparse checkout;
+neither it nor the full selected cold replay is claimed as passed.
+
+## Limits
+
+The 632-role analysis checks frame paths and tariffs, not the full native
+operator on 632 arbitrary input columns. Native adapters are treated under
+their retained rank-zero contract. It does not rederive Clifford lowering or
+absolute phases, prove the owned-query copy/erase implementation, audit owned
+center erasure, validate arbitrary-column physical lifting, or recompute the
+moment, paid tails, compiler, BIT, precision, stock, tape or outer admission.
+In particular, the 112-port query tariff is the inherited contract, not newly
+proved physical implementation. Neither the proposed kappa nor the full
+multiplication theorem is independently accepted here. The selected record is
+unchanged.
+
+## Open next questions
+
+The next useful check is the **native arbitrary-input/owned-query boundary**
+of this exact proposal. Reconstruct the changed physical Clifford routes and
+both helper normalizers with a separate interpreter, then check the copied
+query's arbitrary dirty inputs and exact erase before composing them with the
+main word. This matters because matching tariffs and a formal controller
+identity do not discharge physical realization. Start with one changed edge
+and one query, with a wrong-phase or omitted-erase control; a complete all-column
+audit needs a separate budget and the retained native contracts. Further digits
+of the same moment are not the next missing coverage. See [TASK.json](TASK.json).
+
+## Credit and coordination
+
+Construction credit remains with @1337isnot1337 for #4441's helper retiming and
+combination; Cinna Davis for #4440's query thinning and owned queries; zxv for
+the native/controller and compiler lineage; Jacob Alan Sussman for the mixed
+integer flow; and the native, Clifford, BIT, precision and outer contributors
+credited in the retained source. This package contributes the independent
+contact-path accounting, symbolic controller replay, conservation check and
+failure controls only.
+
+Prepared for Mihir Srivastava (@mihir-s-05) with substantial OpenAI Codex
+assistance. No subagents were used. Apache-2.0.
+
+Canonical investigation: [Discussion #4443](https://github.com/CrocSwap/integer-mult-bounds/discussions/4443).
+The task-picker seed is `500420262fb1df156828aa2604637058`; the
+`independent-moment` card is refined to the newer #4441 invoice. Entry overlap
+covered 301 open PRs and 3,289 Discussion records with complete remote paging;
+the sparse local note corpus and remote closed PR bodies were incomplete.
+The focused terms found #4440 and #4441. This deliberately audits their claims
+and makes no claim that the mechanism is new.
+
+The closing snapshot (21:12–21:14 UTC) covered 302 open PRs and 3,294 Discussion
+records; canonical main and the audited #4441 head were unchanged. The recent
+PR check also found concurrent
+[#4446](https://github.com/CrocSwap/integer-mult-bounds/pull/4446), head
+`7d05d73f96c27a9d360011e04af69b23fa903757`, which certifies the same profile
+and a slightly different endpoint. Its `local_supplier.py` freshly calls
+#4441's retained `native.py`; this audit adds a separately implemented
+per-role contact-path reconstruction and dimension-conservation check without
+those imports. #4446's own geometry and interval work retains its credit and
+was not independently replayed here. The scope remains this finite accounting
+audit; its result is compatible corroboration, not a competing construction.

research/fresh-helper-invoice-audit/RESULT.json

@@ -0,0 +1,167 @@
+{
+  "changed_role_bills": 319,
+  "controller_events": {
+    "ADD": 96,
+    "IDLE": 16,
+    "LOCAL": 19,
+    "QUERY_SHEAR": 16,
+    "SIGNED_SWAP": 17
+  },
+  "helper_entrance_patches": 117,
+  "helper_exit_patches": 42,
+  "local_helper_delta": {
+    "4": 26,
+    "5": -26,
+    "6": -18,
+    "7": -27,
+    "8": -51,
+    "9": 96
+  },
+  "local_helpers": {
+    "4": 26,
+    "5": 2,
+    "7": 29,
+    "8": 42,
+    "9": 309
+  },
+  "local_paid": {
+    "1": 2253,
+    "2": 515,
+    "3": 445,
+    "4": 102,
+    "5": 40,
+    "8": 8
+  },
+  "local_paid_calls_saved": 191,
+  "local_paid_delta": {
+    "1": -234,
+    "2": -198,
+    "3": 221,
+    "5": 20
+  },
+  "local_target_and_paid_mass_increment": 133,
+  "main_targets": {
+    "153": 224,
+    "17": 448,
+    "25": 448,
+    "33": 448,
+    "41": 448,
+    "49": 448,
+    "57": 448,
+    "65": 448,
+    "73": 448
+  },
+  "native_orientations": [
+    "backward",
+    "forward"
+  ],
+  "paid": {
+    "1": 44599,
+    "16": 448,
+    "2": 9785,
+    "24": 448,
+    "3": 8455,
+    "32": 448,
+    "4": 1938,
+    "40": 448,
+    "48": 448,
+    "5": 760,
+    "56": 448,
+    "64": 448,
+    "72": 448,
+    "8": 152
+  },
+  "paid_calls": 69273,
+  "paid_calls_saved": 3629,
+  "paid_rank_mass": 259998,
+  "persistent_roles_per_orientation": 632,
+  "persistent_scalar_contacts": 17253,
+  "productive_fields": 11560,
+  "rank_surplus": 800,
+  "rejection_controls": [
+    {
+      "control": "duplicate-helper-boundary",
+      "rejected_by": "duplicate or nonhelper boundary patch"
+    },
+    {
+      "control": "wrong-old-scalar-frame",
+      "rejected_by": "scalar old-frame pin"
+    },
+    {
+      "control": "missing-scalar-retiming",
+      "rejected_by": "nonascending or nonnested contact path"
+    },
+    {
+      "control": "missing-helper-exit",
+      "rejected_by": "helper invoice differs from source receipt"
+    },
+    {
+      "control": "incompatible-contact-frame",
+      "rejected_by": "nonascending or nonnested contact path"
+    },
+    {
+      "control": "equal-dimension-distinct-spaces",
+      "rejected_by": "nonascending or nonnested contact path"
+    },
+    {
+      "control": "dependent-frame-basis",
+      "rejected_by": "dependent frame basis"
+    },
+    {
+      "control": "omitted-query_shear",
+      "rejected_by": "every controller stage must be present exactly once"
+    },
+    {
+      "control": "omitted-idle",
+      "rejected_by": "controller endpoint is not one monomial"
+    },
+    {
+      "control": "unsigned-controller-swap",
+      "rejected_by": "invalid diagonal endpoint"
+    },
+    {
+      "control": "changed-boundary-coefficient",
+      "rejected_by": "boundary program/matrix disagreement: left"
+    },
+    {
+      "control": "unearned-productive-stage",
+      "rejected_by": "declared diagonal differs from literal replay"
+    },
+    {
+      "control": "changed-source-bytes",
+      "rejected_by": "source SHA256 mismatch"
+    }
+  ],
+  "scalar_frame_patches": 395,
+  "scope": "Finite contact-path and full symbolic controller invoice only; no new kappa or supplier admission.",
+  "source_files_authenticated": 7,
+  "source_head": "5f9d871c6bd1b9e34db5a7ea5ef08a908e94db39",
+  "status": "PASS_INDEPENDENT_FRESH_HELPER_INVOICE",
+  "target_rank_mass": 260798,
+  "targets": {
+    "153": 224,
+    "17": 448,
+    "25": 448,
+    "33": 448,
+    "4": 494,
+    "41": 448,
+    "49": 448,
+    "5": 38,
+    "57": 448,
+    "65": 448,
+    "7": 551,
+    "73": 448,
+    "8": 798,
+    "9": 5871
+  },
+  "whole_idle_paid": {
+    "16": 448,
+    "24": 448,
+    "32": 448,
+    "40": 448,
+    "48": 448,
+    "56": 448,
+    "64": 448,
+    "72": 448
+  }
+}

research/fresh-helper-invoice-audit/SOURCES.json

@@ -0,0 +1,30 @@
+{
+  "schema_version": 1,
+  "base_commit": "2a13eb1827784206202db90e5dc8327cf8a250db",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "ed33caef5c5827693e9572d252a66f99cbb73d40",
+      "sha256": "5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "64bfc5af6709ed9811171e0a2108f05e1219cb65",
+      "sha256": "352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96"
+    },
+    {
+      "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"
+    }
+  ]
+}