Research: Serial pass lower bound

research/current-serial-pass-lower-bound/CHECKPOINT.json

@@ -0,0 +1,14 @@
+{
+  "base": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "branch": "research/current-serial-pass-lower-bound-20261109",
+  "wave": 9,
+  "track": "10/50/75",
+  "status": "verified proof and registered controls; lead literal-source review found no blocker",
+  "next": "Committed-byte/export checks and lead publication decision; no new speculative work.",
+  "blocked_global": "No full supplier producer admission or global d/V mapping; bounded leaf wrappers not contradicted.",
+  "sources": [
+    "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+    "e573186e695f85cb5dbb32ee13ba20ca3159d62a",
+    "a61652557fa88cd0b24c1b28445cf519f6b1213e"
+  ]
+}

research/current-serial-pass-lower-bound/DEPENDENCIES.json

@@ -0,0 +1,106 @@
+{
+  "schema_version": 1,
+  "files": [
+    {
+      "path": "source/column_view.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/column_view.py",
+      "sha256": "fb19f59af7c8ef8f502c99cc4837d55a4e35f42b6334a3589cb37795b7627117",
+      "git_blob": "f547ed7a72d89fdfd23f6c54a9983b522e16076d",
+      "bytes": 6733
+    },
+    {
+      "path": "source/serial-proof.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/PROOF.md",
+      "sha256": "9d9887da91617030174d1c7eb5e76492ac05974c78bb06e77412e5a6e34463a0",
+      "git_blob": "f6097b18553ede9b6ec3d4168cac79448d82eb4b",
+      "bytes": 9185
+    },
+    {
+      "path": "source/phase_adapter.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/phase_adapter.py",
+      "sha256": "42687d9cd5f8f4a964e2ddd79aa404432ff26f9ebb55e9c069bbba30f0c3044f",
+      "git_blob": "02f0fdc3ba178f13c27c97c36260107d2c0bba82",
+      "bytes": 9463
+    },
+    {
+      "path": "source/machine.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/vendor/binding/vendor/lifecycle/machine.py",
+      "sha256": "ec597bce13275003ff30e4be481c936401826c1d4af642b55eec0c410774d1df",
+      "git_blob": "acf475e4fccaff2fb64bd5b0b3f3fc0d246dc592",
+      "bytes": 14932
+    },
+    {
+      "path": "source/header_provider.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/vendor/binding/provider.py",
+      "sha256": "3b7bb4f7940ffa9fafd34d25bbb1a9225e1b671924ed194ad012cb26251d7460",
+      "git_blob": "481013b988e5ae8189a0dddfcbb2f521e3142cab",
+      "bytes": 10325
+    },
+    {
+      "path": "source/selected_service.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/selected_service.py",
+      "sha256": "afd4ba2ae8f833e8a47456a8c2dc502fb3e12158601aba999b0d0994085bf4b0",
+      "git_blob": "fc3cbdc16be69eeab39e887e1d3a33ea21a80cb7",
+      "bytes": 3608
+    },
+    {
+      "path": "source/clifford_exact.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/vendor/selected/clifford_exact.py",
+      "sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
+      "git_blob": "166841a037f069249f6f7f6dedb89248812f59e2",
+      "bytes": 6824
+    },
+    {
+      "path": "source/WORD.json.gz",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/vendor/selected/WORD.json.gz",
+      "sha256": "7834725d9e34ee846a9ccc615221ea81e0201613938afa185d2eda0c9a6c232f",
+      "git_blob": "22f9ab02d1b73ea0aa4b07ce445a14cc2602c760",
+      "bytes": 119880
+    },
+    {
+      "path": "source/phase-proof.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "2ec95e06c2a16e73f9da9a8fe41912710135daaf",
+      "original_path": "research/current-serial-monomial-leaf/vendor/monomial/PROOF.md",
+      "sha256": "5bd00e9764cb628cbd92a113419c2cd79c77ba81b1e15b04519026c26ff3091f",
+      "git_blob": "5bd585e03ce948261ef979b748a1c6df8cbc2fb4",
+      "bytes": 24018
+    },
+    {
+      "path": "source/rounded-move-proof.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "e573186e695f85cb5dbb32ee13ba20ca3159d62a",
+      "original_path": "research/current-rounded-source-move/PROOF.md",
+      "sha256": "d29639a20f57a6a0d16e0c3a7d6634e94ee2ae505ea265ae3be6b9282f2aeab8",
+      "git_blob": "4d6b48527632d9ae8764024684d2af0d1d59eb3e",
+      "bytes": 22332,
+      "usage": "reference cutoff domain"
+    },
+    {
+      "path": "source/direct-move-proof.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "a61652557fa88cd0b24c1b28445cf519f6b1213e",
+      "original_path": "research/current-direct-source-move/PROOF.md",
+      "sha256": "fc53d095a69816c67febf7a613ff6a7d71ac17bec8e76338651c66ce33d20a00",
+      "git_blob": "6ec8326a8ffa9325a3af7385d2375b8f0e29362e",
+      "bytes": 13482,
+      "usage": "reference cutoff domain"
+    }
+  ]
+}

research/current-serial-pass-lower-bound/FINAL-CHECKS.json

@@ -0,0 +1,30 @@
+{
+  "status": "author-verified; separate lead source/proof review found no blocker; requested metric distinction applied",
+  "metadata": "PASS_PACKAGE_METADATA_AND_PINS",
+  "registered": "PASS_REGISTERED_RESEARCH_PACKAGE",
+  "commands": 2,
+  "modes": [
+    "normal",
+    "optimized"
+  ],
+  "retained_files": 11,
+  "family_members": 516,
+  "negative_controls": 9,
+  "numerical_native_execution": false,
+  "full_supplier_family_proved": false,
+  "fixed_leaf_budget_refuted": false,
+  "python": "3.12.14 (main, Aug 25 2026, 14:00:49) [Clang 22.1.3 ]",
+  "scientific_sha256": {
+    "PROOF.md": "e33d1c8632935ee91ea819254bdd25ab0e6c06dfd478e051865c3ec812916c82",
+    "verify.py": "ce72c8e3ae1185c3fd51140c24abfa6084364c18979ec99da29311d84ddc2c30",
+    "DEPENDENCIES.json": "7ce856d526691d0d62ef9217995b87bae5fbbe1d45e71d17c8e53ce0d3115aa8"
+  },
+  "supplemental_lead_descriptor_regression": {
+    "f": 146,
+    "stored_cutoff": 145,
+    "physical_actions": 8458911,
+    "materialized_private_cells": 7707,
+    "numerical_field_allocated": false,
+    "registered_dependency": false
+  }
+}

research/current-serial-pass-lower-bound/LEAD-REVIEW.md

@@ -0,0 +1,32 @@
+# Separate model-assisted lead review
+
+The lead independently read the literal import/export and guide-return
+bodies, all consumed `prepare` guards, and the explicit 23-field family.
+It found no blocking issue in the vector or family. It requested that the
+rate ratio define T as literal unit moves or raw actions, with a separate
+fixed-P conversion for simultaneous multitape steps. PROOF.md section4
+now states this explicitly. Its review is shared-source, model-assisted
+mathematical/code review, not human or proof-kernel verification.
+
+The lead additionally ran the unchanged predecessor `check_descriptor.case`
+on the new family at f=146, stored cutoff145 and rank9. The retained JSON
+receipt is in `review/serial-lower-descriptor-review.json`. All146 real
+encoded ColumnView states completed, using 8,458,911 literal physical
+actions and 7,707 retained materialized private cells; the parent/ancestor
+prefixes and heads were restored and current private bodies erased.
+The input and maximum view each had 3,783 binary bits.
+
+This is supplemental regression of a new boundary case through the real
+predecessor descriptor machinery, not an independent universal proof.
+No numerical field was allocated and no numerical monomial ran. The
+materialized storage number is not a maximum visited-space certificate.
+This external predecessor trace is not a registered replay dependency;
+the package's source proof and local static/primitive controls are complete
+without it. Reproduction requires the public serial package at
+`2ec95e06c2a16e73f9da9a8fe41912710135daaf`, then
+`check_descriptor.case(9, values)` with PROOF.md section3's23 descriptor
+values at f146 (h is the separate numerical width and is not a header key).
+
+Prepared for @CubeJerry with substantial OpenAI assistance. The lead and
+native-physical agent are distinct research-agent executions sharing
+immutable source; no claim of separate human or proof-kernel independence.

research/current-serial-pass-lower-bound/PR-DESCRIPTION.md

@@ -0,0 +1,59 @@
+## Why this matters
+
+The completed serial monomial removes ordinary numerical calls on its
+direct route, but retains a repeated full-field invoice. An upper invoice
+alone does not prove a lower rate obstruction. This package identifies
+mandatory literal work and the exact dimension, volume and cutoff
+conditions for a source-specific lower consequence.
+
+## Exact result
+
+Every successful serial invocation incurs on its public field alone at
+least **4fV physical unit moves, (4/3)fV reads and fV writes**. V is the
+complete coded body. Each column unconditionally imports, rewinds,
+exports and rewinds the entire field; all other work adds cost.
+
+For the actual selected #6030 event9896 right monomial, an explicit
+infinite admitted local zero-input family has d=9f, V=(9/2)Vraw and the
+long-record condition. It excludes C V d^epsilon for epsilon<1 for this
+implementation only if the full supplier admits such unbounded f and
+comparable complete-field volume. Fixed-cutoff MOVE leaf wrappers admit
+bounded f and are not contradicted. Literal actions and simultaneous
+multitape steps are separated, with any required fixed conversion explicit.
+
+## Provenance and novelty
+
+Canonical base: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`.
+Serial source: `CubeJerry/integer-mult-bounds@2ec95e06c2a16e73f9da9a8fe41912710135daaf`.
+Current monomial: `7d1ff23714e6f9182c1d0ff9214f65def2f30e04`.
+The serial predecessor proves an implementation and upper invoice; its
+Compact-binding warning expressly excludes an algorithmic lower inference.
+This adds mandatory traversals, an admitted family and the cutoff boundary.
+Eleven retained files authenticate the sources and predecessor domains.
+
+Credit remains with the original work including
+CrocSwap/integer-mult-bounds#3087, CrocSwap/integer-mult-bounds#4172,
+the selected #6030 source and the published current adapters. Prepared
+for @CubeJerry with substantial OpenAI assistance. Separate lead review
+shares sources and is model-assisted, not human or proof-kernel verification.
+
+## Verification
+
+```sh
+python -I -B scripts/research_package.py --package research/current-serial-pass-lower-bound
+```
+
+Both normal and optimized registered gates passed: source authentication,
+actual nontrivial recipe reconstruction, literal traversal structure and
+coded primitive counters, 516 descriptor members, induction premises and
+nine reservation/rewind/volume/cutoff controls. Expected status:
+`PASS_SERIAL_MANDATORY_FIELD_PASSES`. The universal theorem is proved by
+control flow and induction, not finite extrapolation. No numerical
+monomial, whole MOVE or complete caller is run.
+
+## Limits and next obligation
+
+Actual full supplier/exporter admission, d/V mapping, global cost
+conversion and all five foundational assumptions remain separate. Bind
+one exact nonleaf caller domain or construct a different batching route.
+This is not a general monomial or multiplication lower bound. **No new kappa.**