Improve conditional kappa with PR3734 T488 chronological allocation

research/staged544-t488/.gitattributes

@@ -0,0 +1,2 @@
+# Preserve exact authenticated evidence bytes, including retained CRLF sources.
+* -text

research/staged544-t488/PINS.json

@@ -0,0 +1,54 @@
+{
+  ".gitattributes": "b3bc74676aab13a0d3b25a5783c99ca1b9cc5f35a8c8fa001fe87f49e621b464",
+  "PROOF.md": "f84e6d461b9cd7b4e4f34b710eb9a7130aa30c462846f961cae5f38b65c9db3f",
+  "README.md": "9662e1ea4356b61bb32f629ce21e513dc240a6c285697b8e0999ad0bfe7b2b6d",
+  "SOURCES.json": "ba6d1b024a66b00530ba1ad38391f238ba2125e4a44e2b9a194d7f7cd0955b1b",
+  "TASK.json": "66b8341f87c8d959597c0379210e8e28c9e98b28d1c2b06f659be146baf86891",
+  "VALIDATION.json": "510a2802fdd8948d0c13fdcbd0f311c92833d54bbc0995b77619e8c490a5e5bc",
+  "VERIFY.json": "89060a493b3155b3717d18e0aab8151052711d7b4b7cb0eafed70a2f8301edce",
+  "admit_t488.py": "b208716e011b456e4344b6104f7dd43abbb57b9e1b9c273c4449e6e43d96cf8a",
+  "check_aggregate.py": "57ec76c86e17eb3815c7dd42bdc5e20ec63394668fc5d90627fca6c0d26eb96c",
+  "clock-source/CANDIDATE.json": "fbdda845beac5bba9baa4b1b8c8f596e98f70b59e1d60ebf4f4d3e8758631bfd",
+  "evidence/CLOCK-COMBINATION.json": "2c0600c04d76b03de2b8942628770c090ae90817c41a76420bf026a381676d00",
+  "evidence/ENVIRONMENT.json": "1153679a090bf91222101c303d8e1ba27b0cbb5fa0d6c3fc77ae5d2e22235880",
+  "evidence/INDEPENDENT-OWNER.json": "b6621e08b1cb1c51a7de053fc0a67130c25fc43143ab7a9d3ba914e7ab3ab255",
+  "evidence/PACKAGE-MANIFEST.json": "08c90807ae3b62d32b214dc892b66b5b20918d367c757d4864d117127bd8eddc",
+  "evidence/PORTABLE-REPRODUCTION.json": "e579fff644d61467606d32f34bec1e68a4a8ad7ed07aed9795c9773bf6d1d23a",
+  "evidence/PRICE.json": "b50624937e6d156faea1589e7624f795275dd047029f5e5a05deba958f574b1f",
+  "evidence/RELEASE-RECEIPT.json": "c82015c48bf29b4047a19cb016520c69c72d87160a14780f303cfdb845f21a77",
+  "evidence/RELEASE.json": "48966ac00e3de60f3488e273ef72e020edf9a17150936228cb7c1762bdcc6c6d",
+  "full_replay.py": "51847e3805d955c9eef27484bcf7ff139c226c5d18e5437ef35983c0f540f46d",
+  "inputs/AGGREGATE.json.gz": "6bb659499a0516b88396ddc835bd98b51eb51b8344e45528694bca57f87fbca4",
+  "inputs/CLOCK61.json": "ef09019f3f7edc8aa708525cd2d41b948eb55057293c2bb9769ca855f155b6cd",
+  "inputs/DISPATCH.json": "15f187340cd32037492d4ce57820a41873dc015f4c689a8596d59c55f0077892",
+  "inputs/FILL.json.gz": "fc44152c1b5965dda4fcb4e4e51e823738bbf1550b8a62fc3cb767ee8d8d4e9b",
+  "inputs/ORDER.json": "a4c8f6c96716da0a6d2057373bf3ec3ffb1c7f86bf2b263416dc1c00fee23555",
+  "inputs/PROFILE.json": "a0f2e1e06b03f015d0923f98256016d47df96af79946badc76931b5d13ee196c",
+  "integral_network.py": "97cce7cdaeea2c415b7959d3bdbf34d272e3b541f6e7dc9b87c134a2c2620740",
+  "outer-replay/CLAIM.json": "b487ce29696edd00edbb63e62f2efa86438b0b7b1fee3710cf99824ec5b39bfd",
+  "outer-replay/new/SPEC.json": "a12d6973d2b0ca662bd5517173cb737cced126ac3bd891d35e94c07f8d39c04c",
+  "outer-replay/outer/B.json": "cd20a4b3a3f2284dcd45b4c0188609397a7ad6c971c715a6b6666a1b1691b1a7",
+  "outer-replay/outer/INDEPENDENT.json": "b404c17ec1b33805613eb8807f554102af0a1d7b9089a1c07d638c8329cbaae3",
+  "outer-replay/outer/LEDGER.json": "9d342297959895bc1610302f80babc541e51dfca49abeb929a3ec776d74afe32",
+  "outer-replay/outer/check_ledger.py": "1dd56009986eb14dd6603c9193c7ad71dd45c7d005bf71c9cd3f916e66f54d98",
+  "outer-replay/outer/independent_check.py": "a5a0361539ec7cae9eb6c0371f857919335a1720040f22af291aa3e34fc864c7",
+  "owner_check.py": "681f421e52b110b88e81d229503476ddaa1cdfe1e8293106be1ca66690acf6ac",
+  "rational_price.py": "ee38ccbc94411b2c9c7ab88b1f6d1b34debdafa896bd5f4b7214f20168f90dab",
+  "replay_outer.py": "8d9ddbd6a5b54afc61b97512aec50c06bf42c3528af721ed5bb53a4239cb68b0",
+  "reproduce_t488.py": "c60c3952445a722c372405bbd060b4fa1ba2ea1b9d1b8b71c33422d965eb7a01",
+  "source3734/CLAIM.json": "c0d8d1ae7f302ae00feade55470d524401fc464b392bf1bc931cdb7a421e23b4",
+  "source3734/DISPATCH.json": "5d6fa711d704a1b498e5fe066ea821c4fa0217463702e82a7ce5be9da4023e8a",
+  "source3734/NATIVE-EVIDENCE-base.json": "d12ca528547af356176837b83e0de08a33fe5e59cc851238f321388dfbd81383",
+  "source3734/NATIVE-EVIDENCE-extra.json": "dd3c7d52685a056415c7a5d0582cf83b4b1248b7e06913c288efd5b05725eeb6",
+  "source3734/NATIVE-base.json.gz": "bfe0cc0badac6c6d18461ceea0b299162c0f280c05f81b63f11fcc06cf9180e6",
+  "source3734/NATIVE-extra.json.gz": "c5eec94a64cecfd6b83de05619628ad4868e889d62a55b49973f09705cc60448",
+  "source3734/ORDER.json": "a2f308937e66c354a1c612556a8ad34c45bf685401238f5358a7bb9d65965ed4",
+  "source3734/PLAN.json.gz": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e",
+  "source3734/PRICE.json": "eb89e98609f7c6b3c4281feededbde11b30ae56696b2756a88b318447d1c92ca",
+  "source3734/REPLAY-INPUTS.json": "727691274be6f91059c763dfa8206f7bca4516c5acf4703da403789a49b5e1e7",
+  "source3734/REPLAY-INPUTS.tar.gz": "e74d545c18f77b7a9b8f0cc3d4901a87bb686888edaf3e41b30e5b2748751041",
+  "source3734/SOURCE-CREDITS.md": "d4a13d8b8ed9cdb594f00efb3d1a336e09d934423330f02a1514308a720c278b",
+  "source3734/TEMPLATE.json.gz": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e",
+  "source3734/owner_audit.py": "56405eacc7c2dd0f7834ed5d62a4db8303c71657300eb4e4bbe020319552cde1",
+  "verify.py": "8ff556599da03829c2d53a7870ba01cc50cd459488b91c1afa2ae8a7f425b8a6"
+}

research/staged544-t488/PROOF.md

@@ -0,0 +1,29 @@
+# Chronological repacking of the staged-helper544 supplier
+
+The literal allocation, independent owner replay and complete conditional admission passed. Unchanged native providers and retained ancestry were explicitly reused through source-bound receipts.
+
+The supplier is PR3734 at `fa041037a3374eaa08feeca0b26a5d6893194147`. Its two canonical words, native phases, local profile and helper widths are unchanged. The local per-call profile is `{1:2440,2:725,3:224,4:102,5:20,8:8}`; the helper inventory is `{4:26,5:2,6:18,7:53,8:96,9:213}`. All 91 arbitrary dirty buffers remain physical stock.
+
+The allocation uses eight interleaved copies of the preserved 61-replica macroclock combining T37, T8 and T16. Thus T=488, with 4,392 supplier calls and 1,791,936 helper roles. The physical stock is 896T+408+8+91+2 = 437,757 families.
+
+An exact integer certificate specifies the number of bins of each width pattern, and the number of each helper width assigned to each chronological group and macrocall. The certificate checks all group counts, width supplies, per-call demands and shared group degrees. These aggregate equations are necessary; they are not alone a physical allocation proof.
+
+The physical construction additionally assigns every role to an actual copy and bin. Its checks require strict-lower/closed-upper source windows, one use of each physical family per call even when child identifiers differ, compact chronological prefixes and capacities. An independent owner replay reconstructs the windows from the source template and counts every leftover rank. These checks and the complete release passed; evidence is retained under `evidence/`.
+
+The paid profile is
+
+`{1:10829220,2:3184200,3:1014051,4:447984,5:95511,8:35136,48:186929}`.
+
+At equal replica count, 45 copies of this profile minus 61 copies of PR3734’s T360 profile give `-95352 H1 - 54936 H3 + 59776 H5 - 61 H32 - 766 H48`, with all other coefficients equal. The linear rank mass difference is exactly zero. The improvement comes only from the finite allocation, without a cheaper native operator or uncharged helper.
+
+Exact rational enclosure places the aggregate root in `[0.001730512921319457636694, 0.001730512921319457636695]`. The conditional released endpoint is the lower endpoint minus `10^-46` minus `10^-70`. No packing optimum is claimed.
+
+Uniform/all-size compilation, source and mutable-label realization, whole-call hosting, precision/tape/recovery, analytic transfer, recurrence and BIT assumptions are inherited. This is not an unconditional integer-multiplication theorem and does not change the selected repository certificate.
+
+Credit: dataisfire's PR3734 producer-return staging and full replay package; PR3682 retiming/T360 construction; our earlier T488 allocation combining T37, T8 and T16; PR3638 chronological allocation; PR3605 staged-entry and integral allocation machinery; and the retained native, owner, prefix, BIT and outer authors recorded in PR3734's source credits. Substantial OpenAI Codex assistance. Apache-2.0.
+
+## Open next questions
+
+Can an integer allocation on a smaller clock achieve this profile? First test denominator-compatible macroclock allocations with the same source windows; aggregate feasibility alone remains insufficient.
+
+Can a different chronological order approach PR3734's chronology-free fixed-inventory profile? First compare exact aggregate bounds, then build and audit literal physical owners. No claim that scaling the current order realizes that profile is made.

research/staged544-t488/README.md

@@ -0,0 +1,37 @@
+# T488 chronological allocation for PR3734's staged helper544 supplier
+
+**Complete conditional allocation gain over PR3734; selected repository result unchanged.**
+
+The unchanged PR3734 supplier admits an exact T488 aggregate and literal allocation with root in `[0.001730512921319457636694, 0.001730512921319457636695]`. The released conditional endpoint is the lower endpoint minus `10^-46` minus `10^-70`. Complete original admission and outer release passed.
+
+At equal replica count, 45 copies of this profile minus 61 copies of PR3734’s T360 profile give `-95352 H1 - 54936 H3 + 59776 H5 - 61 H32 - 766 H48`. No native word changes. The allocation has 4,392 calls, 1,791,936 helper roles and 437,757 physical families. It trades larger stock than PR3734 for a stronger exponent; no packing optimum is claimed.
+
+The solver-free integer certificate is `inputs/AGGREGATE.json.gz`. Both the fresh literal expansion and a separate source-template owner audit pass. The portable reproducer regenerated every literal row, with exact decompressed-payload equality; gzip container bytes are not a mathematical equality test.
+
+## Reproduction
+
+The bounded registered check is:
+
+```sh
+python3.12 -B scripts/research_package.py --package research/staged544-t488
+```
+
+It checks the exact aggregate, the complete literal owner assignment and rejection controls, rational root signs and outer arithmetic, and authenticates stored complete-release evidence. It does not rerun complete admission.
+
+`reproduce_t488.py --help` documents the solver-free physical reconstruction. It uses the exact integer certificate and integral copy networks, without rerunning the optimization search. Use `--source source3734 --clock inputs/CLOCK61.json --certificate inputs/AGGREGATE.json.gz --network integral_network.py --out /tmp/t488-reproduced` from the package directory. Use fresh output directories. Compare regenerated literal JSON payloads or canonical mathematical fields, not gzip headers.
+
+`full_replay.py --work /tmp/fresh-t488-release` performs the complete original changed-allocation admission and ordinary/outer release. The tested environment is Python 3.12.1, NumPy 2.5.4, SciPy 1.18.1, mpmath 1.3.0 and SymPy 1.14.0. It explicitly reuses the unchanged, source-bound native providers and retained ancestry from PR3734. A fresh run of those native providers or a no-reuse ancestry cold run is not claimed by this command.
+
+## Scope and evidence
+
+See `PROOF.md` for the physical invoice and conditional scope. The complete source-bound admission result and final receipt are retained under `evidence/`. Uniform/all-size compilation, source and mutable-label realization, hosting, precision/tape/recovery, analytic transfer, recurrence and BIT assumptions remain inherited. This is not an unconditional multiplication theorem; the selected repository result remains unchanged.
+
+## Open next questions
+
+Can a smaller clock attain this exact profile? Test denominator-compatible integer allocations, then independently reconstruct physical owners. Aggregate feasibility alone is insufficient.
+
+Can a changed chronological order approach the chronology-free fixed-inventory profile? First compute exact aggregate bounds, then produce the literal realization and complete release. No optimality result for this clock is claimed.
+
+## Credit
+
+Prepared by hexapode with substantial OpenAI Codex assistance. This combines dataisfire's PR3734 staged-helper544 construction with our preserved T37/T8/T16 chronological allocation work. Retained contributions include PR3682, PR3638, PR3633, PR3605 and their native, owner, prefix, BIT and outer predecessors. See `source3734/SOURCE-CREDITS.md` and retained source notices. Apache-2.0. No independent human review or formal proof of the full multiplication theorem is claimed.

research/staged544-t488/SOURCES.json

@@ -0,0 +1,39 @@
+{
+  "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90",
+  "files": [
+    {
+      "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5",
+      "path": "docs/research/agent-task-catalog.json",
+      "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0",
+      "usage": "provenance"
+    },
+    {
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "path": "certificates/selected-result.json",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129",
+      "usage": "provenance"
+    },
+    {
+      "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64",
+      "path": "LICENSE",
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+      "usage": "input"
+    }
+  ],
+  "schema_version": 1,
+  "source_export": {
+    "description": "Exact unchanged PR3734 supplier, native cache and retained ancestry; used for complete changed-allocation admission. Literal T488 allocation is new.",
+    "upstream_head": "fa041037a3374eaa08feeca0b26a5d6893194147",
+    "path": "source3734/REPLAY-INPUTS.tar.gz",
+    "manifest": "source3734/REPLAY-INPUTS.json"
+  },
+  "clock_source": {
+    "upstream_pr": 3653,
+    "upstream_head": "607a09ff441c79b215a8127a81f4cc70021d0d9b",
+    "upstream_path": "research/retimed-t488-composition/owners/upstream/CANDIDATE.json",
+    "sha256": "fbdda845beac5bba9baa4b1b8c8f596e98f70b59e1d60ebf4f4d3e8758631bfd",
+    "retained_clock": "inputs/CLOCK61.json",
+    "credit": "Retained T488 macroclock from PR3633 and its successors; combines earlier T37, T8 and T16 order contributions. New supplier windows and inventory are freshly recomputed from PR3734.",
+    "vendored_path": "clock-source/CANDIDATE.json"
+  }
+}

research/staged544-t488/TASK.json

@@ -0,0 +1,72 @@
+{
+  "schema_version": 1,
+  "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90",
+  "priority_revision": 6,
+  "task_id": "independent-moment",
+  "original_card": {
+    "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.",
+    "allowed_variations": [
+      "Reconstruct either a source ledger or a numeric enclosure with a different method."
+    ],
+    "bottleneck_link": "Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.",
+    "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.",
+    "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."
+    },
+    "id": "independent-moment",
+    "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."
+    ],
+    "overlap_terms": [
+      "independent moment",
+      "rank histogram",
+      "exact enclosure",
+      "2979",
+      "rank7 joint endframes",
+      "paired extraction",
+      "joint lowering"
+    ],
+    "question": "Does one changed supplier or assembly claim lack a source-bound independent check of a specific new implication?",
+    "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."
+    ],
+    "starting_points": [
+      "certificates/selected-result.json",
+      "research/rank7-joint-endframes/README.md",
+      "docs/research/research-family-status.md"
+    ]
+  },
+  "author": "hexapode with substantial OpenAI Codex assistance",
+  "actual_scope": "Combine the preserved T37/T8/T16 chronological order with unchanged PR3734 supplier, on T488, with exact physical and complete conditional release checks.",
+  "scope_status": "changed",
+  "scope_change_reason": "Explicit user assignment to improve the strongest supported kappa and combine prior allocation methods with the latest construction.",
+  "bottleneck_link": "PR3734 open question: actual chronological packing leaves improvement below the fixed-inventory ideal.",
+  "budget_minutes": 60,
+  "outcome": "completed",
+  "evidence": "Exact integer certificate, full solver-free reconstruction, independent1,791,936-role owner replay, exact root bracket, both outer ledgers and complete original conditional admission pass. Native providers and ancestry reused with exact source bindings. No no-reuse cold run or unconditional theorem claimed.",
+  "open_questions": [
+    {
+      "blocked_by": "No optimality claim is made for the current clock or integer incumbent.",
+      "first_step": "Change one actual source clock and certify an exact integral packing plus literal physical owners.",
+      "question": "Can a changed source clock attain more of the ideal544 packing gain?",
+      "why_it_matters": "The actual feasible T360 packing leaves some ideal packing improvement unrealized."
+    },
+    {
+      "blocked_by": "Inherited theorem-level obligations remain outside this finite release.",
+      "first_step": "Audit one precise inherited realization or precision/recovery premise on these frozen words.",
+      "question": "Can inherited all-size and compiler hypotheses be discharged?",
+      "why_it_matters": "This remains a conditional finite construction."
+    }
+  ],
+  "stop_rule": "Publish only a verified further conditional kappa gain after exact profile, complete physical owners, source-bound native reuse, complete original admission and current-frontier comparison pass.",
+  "ai_assistance": "Substantial OpenAI Codex assistance. Exact native and owner interpreters retain predecessor attribution. No independent human review or formal theorem proof is claimed."
+}