Research: QSELF ownership lowering

research/p104-qself-owned-lowering/DEPENDENCIES.json

@@ -0,0 +1,126 @@
+{
+  "schema_version": 1,
+  "files": [
+    {
+      "local_path": "data/caller_efree.json",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "a98df73ddae1d1ea85a62b6bdf2714b28cb7b359",
+      "original_path": "research/p104-two-chain-findings/data/caller_efree.json",
+      "git_blob": "5a71ca9f80ced1aeb8a68e97516cab52eb72a52a",
+      "bytes": 71267,
+      "sha256": "c5b6c5236462ae84e5431a791a2f8ce795774342f13e11c4af35689092a8af30",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "data/root_A_efree.json",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "a98df73ddae1d1ea85a62b6bdf2714b28cb7b359",
+      "original_path": "research/p104-two-chain-findings/data/root_A_efree.json",
+      "git_blob": "4a7fbe2fe247090bb1d7d5256f2478856d1c39ad",
+      "bytes": 16925,
+      "sha256": "64486cd1c5a879ffc0312195a39ce4a2ef288f81afb47232c244b9b6f46683d0",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "data/caller_6936.json",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/data/caller.json",
+      "git_blob": "08830cee27bf3b02f523e6ba7337d2cff6a3cae7",
+      "bytes": 76078,
+      "sha256": "5489eee96950881b0dd8fdecd6c02a3f663c60ba5bed0d5e5cbeed50fb9ae5fb",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "data/root_A_6936.json",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/data/root_A.json",
+      "git_blob": "1f8c2e3152860c56da14bc701692960af339105b",
+      "bytes": 18515,
+      "sha256": "b9400ca6087c8fd9d527c3203afa43caaddaa46cb73996cc05a0ac5cbb240e3c",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "data/word_6936.json.gz",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/data/word.json.gz",
+      "git_blob": "d93e67ca7628bf5531ae6e369da4dd7b7907b88f",
+      "bytes": 349022,
+      "sha256": "273e81f176f001684b1fa3eb857992bf58b54748004fcfe806b83adb48d2cc00",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "reference/FINITE-PRECOMPILATION.md",
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+      "original_path": "research/kappa-rebuild/architecture/FINITE-PRECOMPILATION.md",
+      "git_blob": "4badb40f0919c515823cb07e44c6470d4d6469ca",
+      "bytes": 15898,
+      "sha256": "4cb32f6b8e388ecf6ed41b5bbdeeb4539cb40c8424f194974afea58f7e0921e8",
+      "usage": "reference-only"
+    },
+    {
+      "local_path": "reference/jclib_6936.py",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/jclib.py",
+      "git_blob": "48a55ab03a731315dd27d1dd7dd52be716de0ce8",
+      "bytes": 14872,
+      "sha256": "bdbd89da0125a41514ea10330bccd25de5dd626ac8b2d671c88dc2e4b8fb93c4",
+      "usage": "reference-only"
+    },
+    {
+      "local_path": "reference/physical_review_6936.py",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/retained/physical-review/verify.py",
+      "git_blob": "f41390e0246cd6604a94ef5b418f48a817a4208c",
+      "bytes": 33361,
+      "sha256": "c303c2812d530849d174088f0330a4d7ddac2698d92b91848dbce7a512573fc2",
+      "usage": "reference-only"
+    },
+    {
+      "local_path": "reference/check_6937.py",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "a98df73ddae1d1ea85a62b6bdf2714b28cb7b359",
+      "original_path": "research/p104-two-chain-findings/check.py",
+      "git_blob": "cebc2062a3939e5b2e415fe5aa6d3d8ce1d6cdac",
+      "bytes": 4796,
+      "sha256": "f25a9960396561e166264f8b695a3012b2d062b46744e39d073d57ecbc43f163",
+      "usage": "reference-only"
+    },
+    {
+      "local_path": "vendor/machine.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "ab239cb6ee884e7a900dd9101c34448077fad0b0",
+      "original_path": "research/compiled-owned-bank-lifecycle/machine.py",
+      "git_blob": "acf475e4fccaff2fb64bd5b0b3f3fc0d246dc592",
+      "bytes": 14932,
+      "sha256": "ec597bce13275003ff30e4be481c936401826c1d4af642b55eec0c410774d1df",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "vendor/source_ir.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "ab239cb6ee884e7a900dd9101c34448077fad0b0",
+      "original_path": "research/compiled-owned-bank-lifecycle/source_ir.py",
+      "git_blob": "79c95fa79439f3c893de52991173bd3a5eae2729",
+      "bytes": 27393,
+      "sha256": "54dd93bc50bd10e974c70794df1c13da27f0e3d8cdb6cfe6791a63280096f1b1",
+      "usage": "runtime"
+    },
+    {
+      "local_path": "reference/SWAP-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "e2e707fd99125ef0005ad16435d90e5d3a82f31e",
+      "original_path": "research/current-swap-flat-tables/PROOF.md",
+      "git_blob": "4ff87d384214aea341b5812968a261aa1f164efb",
+      "bytes": 15098,
+      "sha256": "80f8d743754b2d2973a6ff40c3cbf62604bf431f19110effb0da67f98adce397",
+      "usage": "reference-only; published proof bound, not re-executed here"
+    }
+  ],
+  "scope": "Exact narrowly vendored sources. External head commits are declared here and bytes authenticated directly; they are not misrepresented as reachable canonical Git objects."
+}

research/p104-qself-owned-lowering/ENVIRONMENT.json

@@ -0,0 +1,6 @@
+{
+  "python": "3.12.14 (main, Aug 25 2026, 14:00:49) [Clang 22.1.3 ]",
+  "implementation": "CPython",
+  "platform": "Linux-6.18.57-x86_64-with-glibc2.39",
+  "dependencies": "Python standard library only"
+}

research/p104-qself-owned-lowering/PR-DESCRIPTION.md

@@ -0,0 +1,80 @@
+## Why this matters
+
+DreamingOfClouds' E-free caller in CrocSwap/integer-mult-bounds#6937 removes
+two empty-mask roles but introduces two QSELF instructions. Its shipped
+checker does not replay the caller, and the owned/physical/cost connection
+for that new instruction needs an explicit argument.
+
+This package supplies a reproducible formal operator certificate, a
+source-bound relative typed owned-bank lowering, and the complete cost comparison with
+CrocSwap/integer-mult-bounds#6936. **No new κ; no selected certificate change.**
+
+## Exact result
+
+- The actual 2,991-event, 76-input caller has the declared diagonal endpoint
+  over `Q(i)[q,D_1,...,D_18]/(q^4-1)`, with formal D variables and independent
+  input coefficients. A separate backward-covector engine uses integer
+  dyadics and faithful four-character evaluation with D still formal.
+- All 192 instances of the two QSELF sites lower to INIT/COPY/query-in/
+  PAID(1)/query-out/SWAP/CLEAR in the unchanged lifecycle IR. One reused
+  owned query bank suffices, with no productive credit. The canonical
+  owned-storage contract permits its contents and completed-child history.
+  This package does not install a SERVICE registry for its new `qself6937`
+  tokens or claim the frozen source-specific binders accept them.
+- The query adapters implement inverse Q with exact absolute phase for every
+  positive column count. Shape, grid, signed-range and actual provider-cost
+  predicates remain explicit.
+- Complete target and paid histograms each lose 192 rank-one entries; all
+  other ranks match. The moment polynomial and surplus 1520 are unchanged.
+  New totals: 23,050 productive fields and 117,846 paid calls. Including a
+  separate 24,576-unit new lifecycle charge and both conservative recharges,
+  the inherited conditional raw accounting is 811,461,936 < 10^9.
+
+## Source pins and verification
+
+Canonical base `7c49fe32c55de02c2c873655c804b16e4c3fef0a`; #6937 source head
+`a98df73ddae1d1ea85a62b6bdf2714b28cb7b359`; #6936 native/comparison head
+`03626137d0bd57f09b0bf9597376183ce6fa9683`. Every used source file has a
+repository/commit/path, byte count, Git blob and SHA256 pin. The packet
+contains proofs, exact profiles, all 192 typed expansions and complete PR text.
+
+```sh
+python3 -B scripts/research_package.py --package research/p104-qself-owned-lowering
+```
+
+Eight registered normal/optimized gates cover the formal identity, separate
+covectors, source/phase/owned binding, exact invoice and 27 meaningful negative
+controls. A separate 84-case metered scan audit executes unchanged lifecycle
+INIT/COPY/CLEAR code and checks its derived constants, actual raw erasure,
+head restoration and retained backing. The full Gaussian caller is not
+claimed to have run physically. One proposed basis mutant is correctly
+reported as equivalent, rather than counted as a rejected control.
+
+## Scope and remaining obligations
+
+The full operator theorem assumes commuting Q,D and Q^4=I; only the local
+owned substitution holds for arbitrary completed A. All five selected
+framework assumptions, plus the candidate's retained native/A6, odd-scalar
+and BIT premises, remain. Exact token-to-provider/table dispatch and concrete
+header export are unfinished. Physical provider closure, actual return
+representability, compiled precision/stock substitution and rounded analytic
+recovery are open. The historical scalar/pass tariff is kept distinct from
+the new explicit physical scan bound. This does not adopt the candidate's
+unreviewed κ or alter the accepted κ 0.003125804.
+
+## Novelty and credit
+
+The E-free root, caller, QSELF idea and reported original caller replay belong
+to DreamingOfClouds, with Claude Opus assistance. The source README does not
+specify whether its D variables remained formal; this package does not
+claim that four q characters are insufficient or that the reported result
+was wrong. It adds shipped unspecialized certificates and the explicit
+owned/source/cost closure.
+
+Prepared for **@CubeJerry** with substantial OpenAI assistance. Retain Romman,
+the native/productive/compiler lineage, @CubeJerry's
+CrocSwap/integer-mult-bounds#6912 and CrocSwap/integer-mult-bounds#6914,
+unpaidmoon's CrocSwap/integer-mult-bounds#6930, icekylinx's
+CrocSwap/integer-mult-bounds#104, and the pinned published lifecycle and
+scalar/SWAP packages. Separate AI review is not independent human or
+proof-kernel acceptance.