Add native joint centre-query transfers on sixteen selected ports

research/joint-query/NOTICE.md

@@ -0,0 +1,45 @@
+# Source attribution and license
+
+New research, code, and verification used substantial OpenAI Codex
+assistance under the user's direction. Separate agents developed and
+reviewed the algebra, scalar words, owner maps, and native phases.
+The recorded independent reviews are agent reviews. No independent
+human review is claimed. New material uses the repository's Apache-2.0
+license, retained in [notices/LICENSE](notices/LICENSE).
+
+The local word and phase data come from the gauge44 and t16 source
+lineage at commit bce54fb3f895cbe5cd4c0eb477c3afeed100190f. Their original
+notices are copied without changes:
+
+- [Gauge44 notice](notices/research/gauge44-slots-t16/NOTICE.md).
+- [Construction notice](notices/research/gauge44-slots-t16/construction/NOTICE.md).
+- [T16 integration notice](notices/research/gauge44-slots-t16/t16/NOTICE.md).
+- [Complete upstream notice](notices/research/gauge44-slots-t16/UPSTREAM-NOTICE.md).
+
+Those notices preserve the credited contributors, predecessor results,
+licenses, source pins, and earlier AI disclosures. This package does not
+claim those results as new work.
+
+The source loader is unchanged from research/native-source-codes at
+commit 7649d9ceecec949541bec4bbde5929344166ba59. The new package does not
+change that package or depend on its four example programs. It reads the
+same immutable source archive directly.
+
+The centre-encoding campaign first supplied the selected-section and
+source-code constructions. The cover-algebra lane supplied the ordered
+joint-query theorem and inverses. The residual-syndrome lane supplied the
+short scalar words and independent scalar review. The coherent-port lane
+supplied the native component lowering and proof review. The
+circuit-interface lane supplied the frozen full-cover words. The
+residual-syndrome independent reviewer supplied the full native review.
+The interface-proof lane supplied the inherited bridge proof and the
+independent controller witness review. The encoded-controller lane
+supplied the selected-observation witness. These source files and their
+exact hashes are recorded in [SOURCES.json](SOURCES.json).
+
+The portable scalar, native, and ordered checkers adapt those proof and
+independent review methods. They do not import the exploratory emitters.
+The sixteen-port construction follows the earlier source-only logger;
+its use of joint X and Y state is a separate local construction. No
+controller closure, complete supplier gain, or official frontier change
+is claimed.

research/joint-query/README.md

@@ -0,0 +1,153 @@
+# Local joint-query transfer through sixteen existing ports
+
+This package gives invertible local forward and backward words that use
+sixteen existing data ports to carry centre queries. They change the
+selected source baseline and use joint X and Y state. The ordered proof
+does not require an inverse of the ordinary response matrix M. This
+removes the Schur-unit requirement of the earlier fixed-baseline model
+for this local construction family.
+
+The [ordered proof](evidence/JOINT-QUERY-TRANSFER.md) gives the precise
+hypotheses, maps, and inverses. The [native contract](evidence/CONSERVED-QQ16.md)
+gives the full-cover action and sweep order. The frozen words passed
+[independent scalar review](evidence/SCALAR-REVIEW.md) and
+[independent native review](evidence/NATIVE-REVIEW.md). The native review
+supersedes the older pending-review sentence in the frozen native note.
+The [independent package audit](evidence/PACKAGE-REVIEW.md) also passed.
+It checks the portable adaptation and a copied-directory cold replay.
+
+The construction does not close the changing-chart controller. It does
+not establish a complete supplier or a new kappa bound.
+
+## Query contract
+
+The two disjoint selected sets are
+
+```text
+A = [0, 7, 20, 27, 36, 46, 57, 111]
+T = [21, 37, 47, 76, 81, 87, 92, 110].
+```
+
+Use the actual 8 by 112 centre matrix R, K=R^T/4, and J=I-KR.
+The A and T minors have dyadic inverses. The ordinary set U has 96 ports,
+and R K_U=12I. Each current chart s has the routed operators R_s, K_s,
+and selected query ell_s. A future chart t has the A logger E_t.
+
+The backward word has u=E_t y, a=ell_s x, and b=R_s u. It returns
+
+```text
+R_s y' = a,
+ell_(t,A) y' = R_t y,
+ell_s x' = b + 12a.
+```
+
+These are different records. The selected X result is not b alone.
+The forward word returns the full current X query in T and moves the
+old T query into A. Both words preserve X_p+Y_p for all p in A union T.
+Their displayed data inverses work in both orders. The forward and
+backward words are companions; they are not inverse circuits.
+
+The general ordered theorem replaces 12I by M=R K_U. It uses only the
+stated selected sections and support conditions. M may be singular.
+The portable tests include the actual R, a noncentral matrix M, and M=0.
+The ring proof, not these finite examples, establishes the general claim.
+
+## Native and workspace contract
+
+The certificate contains all 28 B_s_t words for 1 <= s < t <= 8 and all
+nine F_s words for 0 <= s <= 8. A cover map changes the owner and applies
+its separate payload translation on every tensor layer. It is not a
+payload permutation of one fixed owner array.
+
+Each cover sweep must finish before the next event. Each private sweep
+executes its whole row body at one owner before it moves to the next
+owner. The new wrappers use one existing owned C0 field, with a clear
+before and after each row. They allocate no new field. All 480 arbitrary
+ordinary helpers are restored. The eight owned private inputs may be
+arbitrary; the complete word discards them and returns zero. They are
+not claimed to be borrowed inputs that must be restored.
+
+| Complete local word | Real scalar primitive bound | Added rank-one children | Native rank mass | Added full-cover maps | Native wrapper maps |
+|---|---:|---:|---:|---:|---:|
+| B_s_t | 214986 | 24 | 5546 | 528 | 48 |
+| F_s, s > 0 | 211210 | 8 | 5530 | 288 | 16 |
+| F_0 | 211210 | 8 | 5530 | 0 | 16 |
+
+These counts include the retained core. Each core costs 202138 scalar
+primitives and has native mass 5522. The map columns count operations;
+they are not a physical stream or address implementation cost. The
+formal scalar prefix guards are 73 bits for B and 55 bits for F. They
+are not a recursive precision proof.
+
+## Reproduce
+
+Use Python 3.10 or later, its standard library, and Git. The repository
+must contain commit bce54fb3f895cbe5cd4c0eb477c3afeed100190f and its
+selected-replay archive. No network, package installation, scratch lane,
+or predecessor Python package is used at runtime. Run one process.
+
+From a checkout that contains this package at research/joint-query:
+
+```sh
+python3 -I -O -B research/joint-query/replay.py --repo . --out /tmp/qq16-replay
+```
+
+Expected first line:
+
+```text
+PASS_PORTABLE_QQ16_LOCAL_JOINT_QUERY
+```
+
+The entrypoint rebuilds R and both clean-J cores from the immutable Git
+archive. It then rebuilds every added scalar coefficient and all 1008
+chart routes from the actual source phase data. It checks:
+
+- both 712-column scalar maps, all helper outputs, both data inverse
+  orders, two algebraic compositions, and sixteen conserved sums;
+- all 37 literal owner paths, private lifetimes, exact frame polynomials,
+  and the complete local scalar and native invoices;
+- all 16384 Gaussian basis columns of the 32 signed native line recipes;
+- timing, private-clear, scalar-phase, inverse-sign, translation,
+  owner-action, and odd-denominator controls.
+
+All validation remains active under -O. The output JSON files record
+the source and code hashes. [SOURCES.json](SOURCES.json) records the
+original proof and review dependencies and their exact hash modes.
+
+## Scope and open obligations
+
+The retained core bytes, scalar maps, and local frame ledger are checked
+again. The [bridge proof](evidence/BRIDGE-REVIEW.md) supplies the inherited
+owner embedding and endpoint adapters. The old recursive child kernels
+are not rerun by this package. The algebraic inverse formulas do not give
+free legal reads from the native output frames.
+
+The [selected-observation witness](evidence/QQ16-SELECTED-WITNESS.md)
+blocks the current conserved controller with its fixed first F0/B1 pair
+and retained ordinary bank schedule. It still blocks later homogeneous
+selected-only linear controls when all five F query histories are given.
+It does not exclude a changed first pair, ordinary-to-selected reads,
+affine helper state, or paid query operations. Its
+[independent review](evidence/QQ16-RATIONAL-OBSERVATION-REVIEW.md) is
+retained evidence; this entrypoint does not rerun that global witness.
+
+New child and helper hosting, controller closure, endpoint recovery,
+stream and address costs, recursive precision, and the complete supplier
+invoice remain open. The separately reviewed map-fusion follow-up is not
+included in this base certificate. Source credits and AI assistance are
+recorded in [NOTICE.md](NOTICE.md).
+
+## Open next questions
+
+Can a changed local interface retain the old chart queries through the
+whole controller? The first step is an ordered inverse calculation with
+explicit selected records. The fixed first-pair witness blocks the
+current conserved interface and its stated observation set.
+
+Can new children use the actual owner and helper schedule? Bind each
+child to an owner, prove each private lifetime, and check each complete
+cover sweep. The local certificate does not supply that global layout.
+
+Does a complete construction reduce the supplier cost? After controller
+closure, count all storage, address maps, scalar work, precision and
+recursive children. The local count alone does not settle this question.

research/joint-query/SOURCES.json

@@ -0,0 +1,165 @@
+{
+  "AI_assistance": "Research, implementation, and verification used substantial OpenAI Codex assistance. Separate agents supplied the recorded reviews; no independent human review is claimed.",
+  "adapted_checkers": {
+    "verify_native.py": {
+      "campaign_source": "lanes/residual-syndrome/physical-algebra/review-gauss/conserved-qq16/native/verify_native_review.py",
+      "source_sha256": "a4029bc65ac4149adc7043dc6da254e03630dc0037d32c903058162c46003c16"
+    },
+    "verify_ordered.py": {
+      "campaign_source": "lanes/cover-algebra/check_joint_query_transfer.py",
+      "source_sha256": "fb60403444aa0a7cea8c1a3774a4aa85fb238013dd94796f8ffd4020c68f4073"
+    },
+    "verify_scalar.py": {
+      "campaign_source": "lanes/residual-syndrome/physical-algebra/review-gauss/conserved-qq16/verify_conserved_review.py",
+      "source_sha256": "4bbbefd65cc06a3120bc30072979e6597dd002460a952385bde7e98196ea9fb9"
+    }
+  },
+  "chart_reconstruction": "The 112 local chart bases and all 1008 routes are rebuilt from the pinned single-layer DATA-PHASES source. The frozen packet consumed doubled chart payload 498d85807dd3032de01b5da72a67717f02ee0ecf068e8c47f67d4f21034cd896. Both supply the same local bases.",
+  "evidence": {
+    "evidence/BRIDGE-OPERATOR-REVIEW.json": {
+      "campaign_source": "lanes/interface-proof/BRIDGE-OPERATOR-REVIEW.json",
+      "role": "Inherited exact bridge and source binding receipt",
+      "sha256": "c905a19d70f34c435c5f5454c6190bbfb1ce4594b1513bf76156acf620d7c6fc"
+    },
+    "evidence/BRIDGE-REVIEW.md": {
+      "campaign_source": "lanes/interface-proof/BRIDGE-REVIEW.md",
+      "role": "Inherited owner and core embedding proof",
+      "sha256": "d01b5f4959f7c91f835496d050dfae3eeab9dee2f581571c316a42571eaa1cd3"
+    },
+    "evidence/CONSERVED-QQ16.json": {
+      "campaign_source": "lanes/circuit-interface/qq16/CONSERVED-QQ16.json",
+      "role": "Original full native producer receipt",
+      "sha256": "b91eb8599c403db55c889bb225a1cd93f46fdb83eb339f101d18843d52b1c920"
+    },
+    "evidence/CONSERVED-QQ16.md": {
+      "campaign_source": "lanes/circuit-interface/qq16/CONSERVED-QQ16.md",
+      "role": "Frozen native contract; later independent review supersedes its pending status",
+      "sha256": "60f0de3a7205ba5046b5ae7ffa8bf2b1ea42ea46b498face0a77966b59e7f3fb"
+    },
+    "evidence/JOINT-QUERY-TRANSFER-REVIEW.json": {
+      "campaign_source": "lanes/coherent-port/JOINT-QUERY-TRANSFER-REVIEW.json",
+      "role": "Independent ordered proof review",
+      "sha256": "28d9d525c9eec07c91cb51edfdb5a0cf01ff75fddd39046b3d2fda03456e9153"
+    },
+    "evidence/JOINT-QUERY-TRANSFER.json": {
+      "campaign_source": "lanes/cover-algebra/JOINT-QUERY-TRANSFER.json",
+      "role": "Original ordered regression receipt",
+      "sha256": "1f32819591103ab323c69cf50cf6579b0e881e105ca4a93b48125d5b89214c31"
+    },
+    "evidence/JOINT-QUERY-TRANSFER.md": {
+      "campaign_source": "lanes/cover-algebra/JOINT-QUERY-TRANSFER.md",
+      "role": "Ordered ring proof and exact maps",
+      "sha256": "9e13e73ebf3192a6548798c2f1d13bd4d83957e8db0dc34de12b1a5311a52a75"
+    },
+    "evidence/NATIVE-REVIEW.json": {
+      "campaign_source": "lanes/residual-syndrome/physical-algebra/review-gauss/conserved-qq16/native/REVIEW.json",
+      "role": "Independent full native receipt",
+      "sha256": "e9e9287a4a4d1be3c802899a42f70ff5dd5efd1e144a48bd585386fe234832e5"
+    },
+    "evidence/NATIVE-REVIEW.md": {
+      "campaign_source": "lanes/residual-syndrome/physical-algebra/review-gauss/conserved-qq16/native/REVIEW.md",
+      "role": "Independent full native review",
+      "sha256": "2247e3cbe73f3f0da55c647ffae15f98dd9445b2366ba9e255b9bebc9f742b70"
+    },
+    "evidence/QQ16-COVER-ACTION-ADDENDUM.md": {
+      "campaign_source": "lanes/coherent-port/QQ16-COVER-ACTION-ADDENDUM.md",
+      "role": "Exact distinction between owner routes and payload permutations",
+      "sha256": "4bb4a68d8b4811b6d8364150612056bc124d38f1974d6f603dae68a99c4682fb"
+    },
+    "evidence/QQ16-RATIONAL-OBSERVATION-REVIEW.json": {
+      "campaign_source": "lanes/interface-proof/rational-decoder/QQ16-RATIONAL-OBSERVATION-REVIEW.json",
+      "role": "Independent controller witness receipt",
+      "sha256": "588a3ce4593576ae921e97c6ced6a050f88736f29708cfee117385b254cd358f"
+    },
+    "evidence/QQ16-RATIONAL-OBSERVATION-REVIEW.md": {
+      "campaign_source": "lanes/interface-proof/rational-decoder/QQ16-RATIONAL-OBSERVATION-REVIEW.md",
+      "role": "Independent controller witness proof review",
+      "sha256": "9a06ff40830ef80d3566fce77c78639cb64d519d487a0a7f57d543c3146e2c49"
+    },
+    "evidence/QQ16-SELECTED-WITNESS.json": {
+      "campaign_source": "lanes/encoded-controller/QQ16-SELECTED-WITNESS.json",
+      "role": "Controller witness receipt",
+      "sha256": "e35e5868a1322e406191079c0675975b139692ba50b1e2e5fb8a40b6480519f4"
+    },
+    "evidence/QQ16-SELECTED-WITNESS.md": {
+      "campaign_source": "lanes/encoded-controller/QQ16-SELECTED-WITNESS.md",
+      "role": "Current controller obstruction and exact scope",
+      "sha256": "52f2ee565320f05282c637aa79eee100606c24240b1b5866f0c8d62e7913c9fc"
+    },
+    "evidence/SCALAR-REVIEW.json": {
+      "campaign_source": "lanes/residual-syndrome/physical-algebra/review-gauss/conserved-qq16/REVIEW.json",
+      "role": "Independent scalar receipt",
+      "sha256": "171bdbec200359c82aba79e4153d73bfcbf14ac3ae4e07b15476b79b7fcbf091"
+    },
+    "evidence/SCALAR-REVIEW.md": {
+      "campaign_source": "lanes/residual-syndrome/physical-algebra/review-gauss/conserved-qq16/REVIEW.md",
+      "role": "Independent scalar proof review",
+      "sha256": "aa7b9f74430b56c42e1099029a501a9b6be9ab56b81bfdc681e4c2e6ff5bc97d"
+    },
+    "notices/LICENSE": {
+      "git_source": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f:LICENSE",
+      "role": "Unchanged source notice or license",
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
+    },
+    "notices/research/gauge44-slots-t16/NOTICE.md": {
+      "git_source": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f:research/gauge44-slots-t16/NOTICE.md",
+      "role": "Unchanged source notice or license",
+      "sha256": "7a8d17b04da1e6c9d0ec217fb5bda72faa09d9a21695128722dd1e2827870fcf"
+    },
+    "notices/research/gauge44-slots-t16/UPSTREAM-NOTICE.md": {
+      "git_source": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f:research/gauge44-slots-t16/UPSTREAM-NOTICE.md",
+      "role": "Unchanged source notice or license",
+      "sha256": "a75967ebc34e3bf2ff2c25c08e6c7f1a61b0c0d171cfd1b62196ae2caaf2c610"
+    },
+    "notices/research/gauge44-slots-t16/construction/NOTICE.md": {
+      "git_source": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f:research/gauge44-slots-t16/construction/NOTICE.md",
+      "role": "Unchanged source notice or license",
+      "sha256": "defe7e44af610e25a6c50c1c3b2efd0972d0690574995c0c872fc50eebf4c816"
+    },
+    "notices/research/gauge44-slots-t16/t16/NOTICE.md": {
+      "git_source": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f:research/gauge44-slots-t16/t16/NOTICE.md",
+      "role": "Unchanged source notice or license",
+      "sha256": "902370e6bfcd39dbea2ece474f15fccbcce3b8e966b2b94066bd03e5174591b5"
+    }
+  },
+  "native_certificate": {
+    "campaign_source": "lanes/circuit-interface/qq16/CONSERVED-QQ16-PROGRAMS.json.gz",
+    "decompressed_sha256": "2efe83c59978aa9c0db2c3e4eccc14cbfdcd3c9ce499432601b5dd34083472ef",
+    "file_sha256": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7"
+  },
+  "original_source_audit": {
+    "campaign_source": "lanes/circuit-interface/qq16/SOURCE-BUNDLE.json",
+    "scope": "All 31 direct source files and their hash modes were checked before packaging. Absolute workspace paths are omitted from this portable package.",
+    "sha256": "6654c7a2cf68c20963c2eb36da4dda039a6afa16a6f894e170dd58dfa5cc63cf"
+  },
+  "portable_loader": {
+    "sha256": "d23924511e3aed41e5e64511ca70126a636d91c8aa02e656cb61d6ceca1fe0a0",
+    "source_commit": "7649d9ceecec949541bec4bbde5929344166ba59",
+    "source_path": "research/native-source-codes/source_data.py"
+  },
+  "review_boundary": "Original independent receipts are preserved. The new portable adaptation needs its own independent review.",
+  "schema": "portable-qq16-source-manifest-v1",
+  "source": {
+    "archive_path": "research/community-frontier1042-audit/selected-replay.tar.gz",
+    "archive_sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754",
+    "base": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f",
+    "credit_sources": {
+      "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+      "research/gauge44-slots-t16/NOTICE.md": "7a8d17b04da1e6c9d0ec217fb5bda72faa09d9a21695128722dd1e2827870fcf",
+      "research/gauge44-slots-t16/UPSTREAM-NOTICE.md": "a75967ebc34e3bf2ff2c25c08e6c7f1a61b0c0d171cfd1b62196ae2caaf2c610",
+      "research/gauge44-slots-t16/construction/NOTICE.md": "defe7e44af610e25a6c50c1c3b2efd0972d0690574995c0c872fc50eebf4c816",
+      "research/gauge44-slots-t16/t16/NOTICE.md": "902370e6bfcd39dbea2ece474f15fccbcce3b8e966b2b94066bd03e5174591b5"
+    },
+    "decompressed_payloads": {
+      "CANONICAL-WORD.json.gz": "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c",
+      "LOCAL-PROGRAMS.json.gz": "9f41d53659e9be84e20c661560c5687abbf5cd0660cdecbe01ad5eb29e6b8ee3"
+    },
+    "members": {
+      "slots/local/CANONICAL-WORD.json.gz": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219",
+      "slots/local/CLIFFORD-RECIPES.json": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731",
+      "slots/local/LOCAL-PROGRAMS.json.gz": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a",
+      "slots/local/RESIDUAL-ADAPTERS.json": "383f40aadd00a4ac700dfd0d4c22d6c6c0be9a9863116e4d69c7acd23bafae0c",
+      "t16/global/base/work/complex-nine-native/DATA-PHASES.json": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa"
+    }
+  }
+}