Construct borrowed centre storage and masked query units

research/borrowed-centre-storage/ADAPTATIONS.json

@@ -0,0 +1,44 @@
+{
+  "borrowed_core.py": {
+    "adapted_sha256": "649ceef33362848e9856bb65e44b0beaf63272bbb7869259d6d84e241bac21c5",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/root/review_borrowed_centres.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "6f95a98f17d4e80217ab7108687cba58dcdacccf8ce09b6d95b2d5f679432ad2"
+  },
+  "carried_alias.py": {
+    "adapted_sha256": "6139be39a8b5143b9768006c1af7bc100a91fb5bfb617bfa321797bb37e024f1",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/graph-cache/carried-alias/verify_alias_review.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "69bf5c3c9044c6a14605ca52100825a0a2ecb397df1f12465ecc83e6ddb621ae"
+  },
+  "clean_storage.py": {
+    "adapted_sha256": "a5e5021ed24f9a249071f1934911298aead5d4e2ab1d734d2dd00cc2afa26276",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/lanes/history-encoding/review_clean_idle_storage.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "34583755f14fab094d46546a1cb08da7bde59748c0306cbe06c0b487154f6e06"
+  },
+  "masked_query.py": {
+    "adapted_sha256": "19d8f0b68e80d04a349be1596720b639ca74558abc3d050337357085293fcc8a",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/lanes/portable-source-codes/dirty-record-hosting-20261015/algebra/masked-query-review/check_masked_query.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "a734b7a6894cd076c3bf4f7bc9cf809f0be7f77a470c6b6e6381908a4707bba1"
+  },
+  "relative_storage.py": {
+    "adapted_sha256": "e17b011bf5c4f35d174866b2dbaac5662686aa0690bcd21606503ffb049edba2",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/lanes/history-encoding/review_relative_owner_reuse.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "e8d6a3f7e55a6346b5df09fca532a5ff610866692474fc542976b64f207c74cc"
+  },
+  "stream_cleanup.py": {
+    "adapted_sha256": "830f2e0e5852769a5fc4bda5643153e78abb9fb99487a9b2a6c2e2b3466cccdf",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/lanes/portable-source-codes/dirty-record-hosting-20261015/algebra/stream-cleanup-review/check_stream_cleanup.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "bb9b82d7e04ead5898af603a2893062999a7245fda72a2e764e55f3fe21baac2"
+  },
+  "unit_query.py": {
+    "adapted_sha256": "c9e0c9f668f799d11bcf0a7aed6fa0d9353f24401437e31f79194997bea6da00",
+    "frozen_source": "sources/work/centre-encoding-campaign-20261014/lanes/coherent-port/current-query-review-20261015/review_unit.py",
+    "scope": "Only package input paths, pinned archive-member loading, and output paths change.",
+    "source_sha256": "08539f60c0ad05d79e6b8230597066a542fc36489bb0035968a104f6ad1ec443"
+  }
+}

research/borrowed-centre-storage/EVIDENCE.md

@@ -0,0 +1,26 @@
+# Evidence index
+
+The [fresh replay receipt](evidence/REPLAY.json) records all nine executed
+steps. The [portability receipt](evidence/PORTABILITY.json) records the run
+from a copied package outside the workspace. Each output below is from
+that run. Frozen prior receipts remain under `sources/`.
+
+| Claim or premise | Fresh check | Original source and independent proof |
+| --- | --- | --- |
+| Arbitrary helper and centre values | [Borrowed core](evidence/borrowed-core.json) | [Original checker](sources/work/centre-encoding-campaign-20261014/root/review_borrowed_centres.py) |
+| Exact source query and native phase | [Carried alias](evidence/carried-alias.json) | [Proof](sources/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/CARRIED-QUERY-ALIAS.md), [review](sources/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/graph-cache/carried-alias/REVIEW.md) |
+| 512 relative dirty paths | [Relative storage](evidence/relative-storage.json) | [Witness](sources/work/centre-encoding-campaign-20261014/lanes/source-domain/carried-owner-reuse/RELATIVE-REUSE.json), [review](sources/work/centre-encoding-campaign-20261014/lanes/history-encoding/RELATIVE-OWNER-REUSE-REVIEW.md) |
+| 512 clean idle paths | [Clean storage](evidence/clean-storage.json) | [Witness](sources/work/centre-encoding-campaign-20261014/lanes/source-domain/carried-owner-reuse/CLEAN-IDLE-STORAGE.json), [review](sources/work/centre-encoding-campaign-20261014/lanes/history-encoding/CLEAN-IDLE-STORAGE-REVIEW.md) |
+| Retained unit-query native interface | [Unit query](evidence/unit-query.json) | [Proof](sources/work/centre-encoding-campaign-20261014/lanes/paired-package-review/upstream-followthrough-20261015/current-query-encoder/UNIT-QUERY.md), [review](sources/work/centre-encoding-campaign-20261014/lanes/coherent-port/current-query-review-20261015/UNIT-REVIEW.md) |
+| Masked local unit | [Producer](evidence/masked-producer.json), [independent check](evidence/masked-review.json) | [Proof](sources/work/centre-encoding-campaign-20261014/lanes/portable-source-codes/dirty-record-hosting-20261015/masked-query/MASKED-QUERY.md), [review](sources/work/centre-encoding-campaign-20261014/lanes/portable-source-codes/dirty-record-hosting-20261015/algebra/masked-query-review/REVIEW.md) |
+| Owner-local cleanup | [Producer](evidence/cleanup-producer.json), [independent check](evidence/cleanup-review.json) | [Proof](sources/work/centre-encoding-campaign-20261014/lanes/portable-source-codes/dirty-record-hosting-20261015/masked-query/STREAM-CLEANUP.md), [review](sources/work/centre-encoding-campaign-20261014/lanes/portable-source-codes/dirty-record-hosting-20261015/algebra/stream-cleanup-review/REVIEW.md) |
+
+[SOURCE-PINS.json](SOURCE-PINS.json) lists every source path, SHA256, size,
+and compressed-payload SHA256 where applicable. [The local Git identity
+check](evidence/UPSTREAM-IDENTITY.json) confirms the exact published
+joint-query certificate. It also checks the recorded source-group README
+at its fixed head. External link resolution remains a publication check.
+
+The new [proof](PROOF.md) uses `pi_U C^-1 P_A` in the necessity argument
+for a supported section. The independent masked review had already
+identified that support detail. The original note remains unchanged.

research/borrowed-centre-storage/GENERAL-COMPLETION-DELTA.json

@@ -0,0 +1,31 @@
+{
+  "added_files": {
+    "annex/general-completion/MANIFEST.json": "b8b01f878ad126435fcf5074a49c15864ff1a522fc9c9988cb4a578afd1c80a3",
+    "annex/general-completion/NOTICE.md": "8a76d5795660f1a96d815920a6b903ec98ec761c331a68d1afced73443c451d9",
+    "annex/general-completion/PROOF.md": "8036e9848529baf6acb5c5aef606f39ace91707c2f4921657b36469923a980f4",
+    "annex/general-completion/README.md": "2aa53873484d0dacace45ce504260d330d7703f002826dceec2e274ae5845bff",
+    "annex/general-completion/SOURCE-PINS.json": "b461bafdba5b6fc0c3adc01a993d952a3dacdf486bc7a8681e83fb3e4e6728d1",
+    "annex/general-completion/frozen/work/centre-encoding-campaign-20261014/lanes/circuit-interface/INTERFACE.json": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3",
+    "annex/general-completion/frozen/work/centre-encoding-campaign-20261014/lanes/paired-package-review/upstream-followthrough-20261015/general-completion-review/CHECK.json": "184352d955f5afe23ac733babab4a2e42f03659026d5abee098cc7b29de42be3",
+    "annex/general-completion/frozen/work/centre-encoding-campaign-20261014/lanes/paired-package-review/upstream-followthrough-20261015/general-completion-review/REVIEW.json": "1834a338e99aff5a2b8a195e5f903b2542cca23de3c80047f22a6cba40e56e57",
+    "annex/general-completion/frozen/work/centre-encoding-campaign-20261014/lanes/paired-package-review/upstream-followthrough-20261015/general-completion-review/REVIEW.md": "f5f3e210824af9a39aecc55145e16af1634a16eeb12c32c4397771c51352e965",
+    "annex/general-completion/frozen/work/centre-encoding-campaign-20261014/lanes/paired-package-review/upstream-followthrough-20261015/general-completion-review/check_extension.py": "3aff061550fe24749bf557de0a342ef346d90b60b3615e2e47f31ff08c50429d",
+    "annex/general-completion/frozen/work/centre-encoding-campaign-20261014/lanes/schur-selection/unit-query-review-20261015/GENERAL-COMPLETION.md": "df76e7ff4b532bfab58a9aea5ce7d29493305a76013ef6cd20fb38b7ad2dde01",
+    "annex/general-completion/replay.py": "0676ee1bb3fac0d2e34546c3d8d57ca048350af371affd7670bcce4c466b579c"
+  },
+  "annex_manifest_sha256": "b8b01f878ad126435fcf5074a49c15864ff1a522fc9c9988cb4a578afd1c80a3",
+  "base_manifest": {
+    "listed_files": 103,
+    "path": "PACKAGE-HASHES.json",
+    "publication_commit": "967cb89d22e6b21f5ec2495a130480f47b5c0a9f",
+    "sha256": "d0c5d9253a021ed5dbc7e83c68bf268e35784ecfdcfa09b9f7cc673c31bcbec2",
+    "total_original_files": 104
+  },
+  "modified_original_files": [],
+  "original_file_inventory_sha256": "ad7a767deb5a53b8a1f0781ae2ecbe023059652f7bef1883d500781b74efa44d",
+  "schema": 1,
+  "scope": "Removes selected-K compatibility from completion; proves the onto-query converse and exact zero-or-d changed-output criterion when RK=gI. The actual mod-13 criterion gives eight changed fields. No native-child lower bound or kappa change.",
+  "self_hash_excluded": true,
+  "status": "ADDITIVE_GENERAL_COMPLETION_ANNEX",
+  "total_package_files_including_this_delta": 117
+}

research/borrowed-centre-storage/NOTICE.md

@@ -0,0 +1,47 @@
+# Source attribution and license
+
+New research, code, package preparation, and verification used
+substantial OpenAI Codex assistance under the user's direction.
+Different agents produced the retained source and review records.
+These are independent agent checks, not independent human peer review.
+New material uses Apache-2.0; see [the license](notices/LICENSE).
+
+The source-domain lane supplied the relative transport and clean idle
+storage constructions and complete owner witnesses. The history-encoding
+lane supplied their separate schedule and phase reviews. The
+residual-syndrome lane supplied the source-alias proof and independent
+alias review. The circuit-interface lane supplied the arbitrary-helper
+local words. The coordinating root review checked their complete local
+maps.
+
+The paired-package-review lane supplied the retained current-query unit.
+The coherent-port lane supplied its independent native-interface review.
+The portable-source-codes lane supplied the mask and corrected cleanup.
+Its separate algebra reviews checked the mask, ordered read, storage
+extent, phases, and complete cleanup. Exact paths and hashes are in
+[SOURCE-PINS.json](SOURCE-PINS.json).
+
+The original supplier data come from the gauge44 and t16 lineage.
+Original contributor names, source-specific notices, and earlier AI
+assistance disclosures remain unchanged in:
+
+- [Gauge44 notice](notices/research/gauge44-slots-t16/NOTICE.md).
+- [Construction notice](notices/research/gauge44-slots-t16/construction/NOTICE.md).
+- [T16 notice](notices/research/gauge44-slots-t16/t16/NOTICE.md).
+- [Complete upstream notice](notices/research/gauge44-slots-t16/UPSTREAM-NOTICE.md).
+
+These notices are the source of the predecessor credit. Their source
+commit is `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`.
+
+The source-group work in
+[PR #1862](https://github.com/CrocSwap/integer-mult-bounds/pull/1862) and
+the joint-query work in
+[PR #1969](https://github.com/CrocSwap/integer-mult-bounds/pull/1969) are
+consumed predecessors. Their results are not new claims here. The
+joint-query certificate retains the exact published bytes. This package
+does not add their four source-group examples or joint-query check suite.
+
+No historical source, proof, or receipt was edited. Portable checker
+changes are explicit in [ADAPTATIONS.patch](ADAPTATIONS.patch). The
+supported-section detail is corrected in the new proof; the original
+note and its independent review finding are both retained.