Prove information and snapshot cut bounds for the historical routed queries

.gitattributes

@@ -208,3 +208,6 @@ research/kappa-global-routing/** -text -whitespace
 research/kappa-native-resume/** -text -whitespace
 research/kappa-observation-integration/** -text -whitespace
 research/kappa-rebuild/** -text -whitespace
+
+# Keep the original CRLF bytes of this pinned source file.
+research/actual-query-information-bounds/annexes/source-geometry/frozen/lanes/new-native-recipes-20261017/sources/bw_adapters.py -text -whitespace

research/actual-query-information-bounds/NOTICE.md

@@ -0,0 +1,39 @@
+# Attribution and license
+
+This package preserves results from Ali Romman's centre-encoding campaign.
+OpenAI Codex assisted with the research, proofs, code, and package review.
+The recorded independent reviews are reviews by separate agents. No
+independent human review is claimed. New material uses Apache-2.0; the
+[license](notices/LICENSE) is included.
+
+The historical native word and phase data come from commit
+`bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. The original notices remain
+unchanged:
+
+- [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).
+- [Upstream notice](notices/research/gauge44-slots-t16/UPSTREAM-NOTICE.md).
+
+These sources retain the Jeremy Kothe, Chafik Boukhalfa, Hao Yan, icekylinx,
+Rohan Arun, and other supplier, compiler, owner, and controller credit.
+The complete notices define that ancestry. This package does not claim the
+source word, route recipes, or earlier supplier results as new work.
+
+The campaign root supplied the fourth-moment target and the pair-union cut
+idea. The encoded-controller lane supplied the actual query interface.
+The temporal-reuse lane proved and checked the five-moment result and the
+source matrix binding. The history-encoding lane supplied the support
+distance, cone obstruction, and exact cut certificates. The cover-algebra
+lane supplied the general cut theorem, global flag bound, routed-projection
+bound, and independent moment, support, and cut reviews. The source-domain
+lane independently checked the cover traces. The circuit-interface lane
+supplied the scalar words and full snapshot source review. The
+interface-proof lane supplied the local native lift. The residual-syndrome
+lane supplied the residual theorem and its separate exact algebra review.
+
+[SOURCE-MANIFEST.json](SOURCE-MANIFEST.json) records the exact campaign
+paths and hashes. Original proofs and unchanged receipts retain their
+author and AI disclosures. Portable checker changes concern input paths
+and their explicit source pins. The original changed files remain under
+[frozen](frozen).