Independently verify P104 contact phases and bound repeated H5 retiming (no new κ)

research/p104-contact-independent-audit/CAPSULE-INVENTORY.json

@@ -0,0 +1,34 @@
+{
+  "schema": "byte-preserved-audit-capsule/v1",
+  "files": {
+    "expected/contact-ceiling.json": "3c4d8db5a9695924027f5801901b55cefe0cdc5ea07450aaf396de7e5887e608",
+    "expected/native.json": "34299df26387b69f1a89cc52d52cae3add51f4e12c0715e0de38d42fab302c9f",
+    "capsule/outputs/economic-sensitivity-feasibility-20261025/interval_math.py": "14f28d0358c11d55683984f1037c23d58f7d8c9d69b8e23503545b0519246ab4",
+    "capsule/outputs/p104-native-contact-audit-20261025/check.py": "43fd40847a0853c0ac511d58ce77ef822a5c6dd1b25f662f01cefaa3196a2f7d",
+    "capsule/outputs/p104-native-contact-audit-20261025/INPUTS.json": "ae975357dc858791d122579425525625b34039dca664be9a43e0738921dc3315",
+    "capsule/outputs/p104-contact-reassessment-20261025/check.py": "c4963f22cc862e9b75db01097968d56b3222f64ee796679b0b6ba810a8e6a19c",
+    "capsule/outputs/p104-contact-reassessment-20261025/RESULT-normal.json": "3c4d8db5a9695924027f5801901b55cefe0cdc5ea07450aaf396de7e5887e608",
+    "capsule/outputs/p104-contact-reassessment-20261025/PAIR-RECEIPT.json": "d9f284021cb5f2757b05cbf5f979f5ba7cf7372993d65a2e060002aca7841fa8",
+    "capsule/outputs/p104-contact-reassessment-20261025/INPUTS.json": "5c3061c48cfc2a408cafe3e23f1050db0cc529179758b918547e9ed06bd3147a",
+    "capsule/outputs/p104-native-contact-audit-20261025/sources/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
+    "capsule/outputs/p104-native-contact-audit-20261025/sources/native_verify.py": "3049471905b47b385c88378a1a3be7a18b8858aadd035b8a6da2f4a03b470f38",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/VERIFY.json": "4543e838e81dff7cceb7f539a94eedbd891ed5330518e55e997ba93ec4f51356",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/verify.py": "24074e4e954cf455b207ff346c7d983d51c06e1fa967747bc98e8f24f5bd1f80",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/PROOF.md": "1961e8b8be133cee19ec2523f6ba40da02905444a8c9601e97f66627b1129b32",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/WORD.json.gz": "a1e416add9d2bb44fce923111ebc50513e5d845e56aabe214f2f0bc7d5f2b45d",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/TASK.json": "ae1aff13f641c94a977599c1946dd0ff678daae51aad83662aa7056626e0dee6",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/RESULT.json": "b1dc682a4d9db5a726fbdf5c05c081f3c9ff9816829e5d8c900db1904a1f98c1",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/SOURCES.json": "42a7f956bf450c15a92449e285bd2b355159cc99e78bc1d815a4b902221ab89f",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/README.md": "19fec538e0eae59eeef90099ab220bef820467272410533fc95ee6236f44c4cd",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/construct.py": "b95eeb2c21c9e2d97d9a441483aa398e38eba65ecec57241bce77cd1234682d0",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/contact/pricing.py": "f74461d08c1cfdb9d500ac4f0da11f1b2d66a149bb342145b9aab9df703017a9",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/caller.py": "300d40043953e4f6aecfde8f2d1004b8ad6dc5a79ec3c7666c9908c2466c91c8",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/WORD.json.gz": "e5e955d7c9d5ea5dfea49c0e093037df577aa43813dcad5427ebca41a4ad35ec",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/CONTROLLER.json": "a84f6bbd547379597464e56c420cc665f96bc43a9a1351eed4b7cd0fce3cc4b9",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/price.py": "e46c1264c4acb037bae4df36ccdf3386980ef3d178aa7f0607dbd3f3333ed139",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/PROOF.md": "f4c4e400092954562252df6c4dd157a9b4c1642252168ce72738cdbecfc5ad41",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/RESULT.json": "03e9f8424b9166899d3ae3b188d9defb851162a3183ecab237fb783d78216782",
+    "capsule/outputs/p104-contact-reassessment-20261025/sources/predecessor/local.py": "878734dfd64c4b9d362d0ae476cc5c2a19fe93e48b7378763b23f3e0dd0a5a71",
+    "capsule/swarm-price-plane-20261023T112711Z/coordination/run_guarded.py": "720153b7491acede2c66bdc2dfd3174653195fa3222ec3589d0671c406a5bad8"
+  }
+}

research/p104-contact-independent-audit/CEILING.md

@@ -0,0 +1,43 @@
+# Ceiling for the frozen-target H1+H5 to H6 family
+
+Freeze PR5545's complete targets and all other costs. Let H_r(C)=r^(1−C).
+Only further H1+H5→H6 replacements are allowed. Each consumes one H5 and
+creates none. There are107 per local word and18 calls, so at most1926 global
+edits. Grant all a legal independent implementation at no additional cost.
+This is a relaxation, not source feasibility evidence.
+
+At C=.0033 the current signed moment is near−64.23498004898747535. Each edit
+gains.00888683048950051237. It needs at least7229 edits, exceeding1926. The
+all-edits relaxed invoice still has moment near−47.11894452620948852.
+Complete outward intervals and threshold checks: expected/contact-ceiling.json.
+
+Its unique raw crossing is
+
+`3106074473/10^12 < C_* < 3106074474/10^12`.
+
+This cannot fund κ=.0033 under the retained supplier-to-outer convention.
+It does not bound different edits, targets, callers or P104 generally.
+
+For uniqueness, put t=1−C and divide by6^t. Signed rank1..9 coefficients are
+(-43338,-10026,-7002,-1098,+648,-2232,+198,+2196,+5274). Only the positive
+rank-five term has an adverse derivative below6. On0≤t≤1, the positive
+rank-one derivative is at least(43338/6)log6>7223; the adverse magnitude is
+at most648log(6/5)<648/5. Other low terms increase. High terms are416 copies
+of((r+1)/6)^t−(r/6)^t for r=16,24,…,64,208 at r=72, and208 copies of(145/6)^t.
+Their derivatives are positive since x^t logx increases for x>1,t≥0.
+The normalized moment strictly increases in t. Its C=0 rank surplus is760
+and C=1 count deficit−55172. It has one crossing and remains negative beyond
+that saving. Fewer edits have still smaller moment for0<C<1 by concavity.
+
+As a breadth control, ignore chronology, preserve5894 local paid rank units
+and allow child ranks1..9. Concentrating mass minimizes the concave sum at
+654H9+H8: shifting mass from a≤b<9 toward b until a vanishes or b reaches9
+never increases the sum. Iteration proves the relaxed minimum. With unchanged
+targets/nonlocal work it has moment about+470.055147407096 at C=.0033.
+It is no available budget or physical witness. It only prevents misreading
+the narrow ceiling as a global no-go.
+
+Credit Ali Romman for the full source invoice and contact and the retained
+productive/compiler/native lineage. New scoped ceiling and separate checker
+for Chris R/Clear1nsight with OpenAI Codex assistance. Exact intervals reuse
+credited earlier code; new material Apache-2.0.

research/p104-contact-independent-audit/HANDOFF.md

@@ -0,0 +1,27 @@
+# Seven-field handoff
+
+1. **Research discussion / PR / artifact:** this package and its PR conversation
+   are canonical. It supports PR5545 and publishes the previously local audit
+   and scoped ceiling, without a new kappa claim.
+2. **Exact commit:** canonical32890bc5de034ab8fc93ac88ead7279a6a416d04;
+   reviewed18968423711fd902aaee1099979497d55603e1dc; predecessor
+   e2a6cce2f9db5a2c5f9714f4b9e5292dd3a10581. Publication commit contains
+   this package. Frozen inputs/checkers are in CAPSULE-INVENTORY.json.
+3. **Established:** contact/read windows, full normalized endpoints, complete
+   invoices, exact three native512-dimensional maps and route composition,
+   absolute phases and fault controls, conditional positive-width replacement
+   lemma, and raw repeated-edit ceiling below.0033.
+4. **Uncertain:** full parent native/caller/precision/compiler/outer admission,
+   human/formal acceptance and a physical broad regrouping witness. Five
+   framework assumptions remain; no new funded kappa.
+5. **Smallest useful next task:** validate one265-axis caller/funding layer or
+   nominate one broader paid path with complete budget and small falsifier.
+   Check live claims; repeated H5 edits cannot meet.0033.
+6. **Reproduction / runtime:** Python3.12/stdlib;
+   `python3 -B scripts/research_package.py --package research/p104-contact-independent-audit`.
+   Two serial registered commands,150seconds each; full expected byte equality,
+   no network/Git/pending evaluator. Typical focused checks take seconds.
+7. **Credit:** Ali Romman, Gareth Davidson, David Arias, Cinna Davis,
+   Jacob Alan Sussman, zxv, Cao Yifan, Clifford/native-review and retained
+   geometry/COPY/compiler/outer authors. New audit/ceiling for Chris R/
+   Clear1nsight with substantial OpenAI Codex assistance; Apache-2.0.

research/p104-contact-independent-audit/NATIVE-PROOF.md

@@ -0,0 +1,67 @@
+# Conditional native replacement lemma for the PR5545 contact
+
+This lemma states the implication checked in this bounded audit. Its finite
+matrix premises are recorded by the scientific receipt; no success is inferred
+merely from writing this document. It retains the source's ideal native chart
+and prescribed digit-column implementation conventions.
+
+Let H be the nine-axis512-dimensional complex field space. For source frames
+A739,B240,D127, let Φ_A,Φ_B,Φ_D be the pinned source chart operators and put
+T_VU=Φ_V Φ_U^{-1}. Let U_BA,U_DB,U_DA be the exact emitted native recipes.
+The finite premises to check are U_VU=T_VU, including absolute phase, and the
+charged ranks1,5,6. Each recipe includes its explicit two ordinary monomial
+boundaries around the positive rank-r Gaussian child.
+
+At source event16798, register341 holds arbitrary x_B and register345 holds
+arbitrary y_A. The old fragment ends with
+
+```
+341 = -U_DB x_B + U_DB U_BA y_A
+345 = U_DB U_BA y_A.
+```
+
+The replacement ends with
+
+```
+341 = -U_DB x_B + U_DA y_A
+345 = U_DA y_A.
+```
+
+The source chart identities imply U_DB U_BA=U_DA by cancellation of Φ_B^{-1}Φ_B.
+The extra full-matrix composition test checks this using the actual lowered
+recipes as well. The complete two-field block maps therefore agree on both
+arbitrary inputs, including every phase. No clean-input assumption is used.
+
+The authenticated source-read windows contain no other read/write of either
+register between its moved instructions. Other registers' interleaved events
+commute with this replacement because they touch neither operand. Prefix and
+suffix events, ordinary scalar coefficients/order and owned INIT/COPY/CLEAR
+are unchanged. The complete supplier thus has the same physical endpoint
+whenever the other retained native instructions satisfy their source contract.
+
+For every positive digit-column count f, use Φ_V,f=Φ_V^{⊗f} and U_VU,f=U_VU^{⊗f}
+as prescribed by the source. Since (AB)^{⊗f}=A^{⊗f}B^{⊗f}, the same composition
+identity holds at every f. Common linear U commutes with the role-level scalar
+ADD/SCALE. The exterior coefficient−1 stays−1; it is not raised to f. Native
+operator phases are inside their unary tensor maps and are raised correctly.
+Any untouched spectator factor is an identity tensor factor. This is an
+algebraic implication, not extrapolation from a few tested widths.
+
+All original entry/exit charts, helper targets and owned lifetimes are fixed.
+The caller's18 source-word invocations remain forward. For any retained caller
+boundary maps E_in/E_out, replacing an equal supplier operator preserves
+E_out W E_in. This validates transfer of this contact conditional on the parent
+caller; it does not prove those265-axis maps themselves implement the desired
+global Gaussian. Their independent physical audit remains a later layer.
+
+The recursive bill changes from H1+2H5 to H5+H6 per invocation. Ordinary
+monomial factors remain explicit; they are not free Gaussian calls. The
+previously checked complete delta −18H1−18H5+18H6 and zero target delta retain
+their narrower invoice evidence. No new funding or κ is supplied by this lemma.
+
+Credit Ali Romman for PR5544/5545 and its source contact; the retained
+Clifford/native compiler and independent Gaussian-review authors; Gareth
+Davidson, David Arias, Cinna Davis, Jacob Alan Sussman, zxv, Cao Yifan and the
+shared-chart/dual-ADD predecessors. New focused matrix audit and explicit
+replacement implication for Chris R/Clear1nsight with OpenAI Codex assistance.
+Apache-2.0. No independent human or formal-kernel acceptance is claimed.

research/p104-contact-independent-audit/README.md

@@ -0,0 +1,88 @@
+# Independent P104 contact audit and a scoped retiming ceiling
+
+This supports Ali Romman's PR5545, exact head
+`18968423711fd902aaee1099979497d55603e1dc`, and predecessor PR5544
+`e2a6cce2f9db5a2c5f9714f4b9e5292dd3a10581`. It independently checks the
+five-site contact replacement, all743 normalized endpoint rows and complete
+invoices, and every column of the three actual lowered native transports,
+including absolute phase. It adds a ceiling on repeating only H1+H5→H6.
+**No new construction, funded kappa or full parent admission is claimed.**
+
+## Scope and evidence
+
+The contact moves the subtraction/sign on registers341/345 to a full common
+chart. H1+2H5 becomes H5+H6. Both helper targets remain H9. The complete
+paid delta is−18H1−18H5+18H6, target delta zero. Actual source-read intervals,
+all scalar/owned chronology and every public endpoint are checked by a separate
+interpreter. Every complete caller occurrence is counted.
+
+The native audit lowers A739→B240, B240→D127 and A739→D127 to ranks1,5,6.
+A new dense Gaussian-dyadic interpreter compares every column of the three
+512-dimensional operators and the old-route/direct-route composition:1,048,576
+complex entries per mode, with exact integer numerators and dyadic denominators.
+It uses neither vendor state interpreter for matrix equality. It reuses the
+pinned source compiler and credited defining circuit descriptions.
+Twelve native fault controls and two source-authentication controls reject;
+three phase-only faults have unchanged signed Pauli tableaux. See
+[NATIVE-PROOF.md](NATIVE-PROOF.md) for the positive-width replacement implication.
+
+Granting all1926 remaining global H5 jobs a legal H1+H5→H6 replacement without
+extra cost still cannot reach supplier C=.0033. The relaxed family has unique
+raw crossing in(.003106074473,.003106074474). This is not a P104-wide ceiling.
+A broader unconstructed rank-mass relaxation remains economically positive
+at.0033. See [CEILING.md](CEILING.md) and complete expected scientific JSON.
+
+Exact source/compiler pins are in SOURCES.json and [UPSTREAM.json](UPSTREAM.json).
+Frozen source data, separate checkers and expected outputs are preserved in a
+self-contained capsule. No pending Git object, network, workstation path or
+author-side price/native evaluator is needed. Only the pinned canonical
+Clifford compiler/circuit descriptions and credited prior interval engine
+execute alongside the new audit code.
+
+## Reproduce
+
+Python3.12 and the standard library, from repository root:
+
+```sh
+python3 -B scripts/research_package.py --package research/p104-contact-independent-audit --check-only
+python3 -B scripts/research_package.py --package research/p104-contact-independent-audit
+```
+
+The hook runs normal and optimized commands, each with150-second limit. Each
+serially executes both frozen scientific checkers and requires complete byte
+equality to the retained outputs, with zero exclusions. Expected marker:
+`PASS_P104_CONTACT_INDEPENDENT_AUDIT`. Direct `python3 -B
+research/p104-contact-independent-audit/verify.py` is also supported.
+Validation performed and limits are in [REVIEW.md](REVIEW.md).
+
+## Limits
+
+The archived PR2305 constructor was not rebuilt. Other parent native maps,
+265-axis physical routes, complete precision/tape theorem and full compiler/
+58-outer-predicate conjunction are not independently admitted here. Five
+framework assumptions remain. Exact matrices and the conditional replacement
+lemma are not an unconditional theorem, proof-kernel or independent human
+acceptance. The broad regrouping relaxation is not a physical witness.
+
+## Open next questions
+
+1. Validate one missing physical-caller/funding layer at the exact parent.
+   Start with the265-axis route/target binding and full invoice. Independent
+   parent-wide admission is the remaining blocker.
+2. Nominate one broader chronological paid-path change. First derive the full
+   paid/target/ownership budget and one bounded falsifier. The positive
+   regrouping relaxation is not a legal implementation, and repeated H5 edits
+   cannot meet the stated target. Check live claims before starting.
+
+The audit has stopped. [HANDOFF.md](HANDOFF.md) gives scope and next tasks;
+it does not launch another search.
+
+## Credit
+
+Ali Romman/#5544/#5545; Gareth Davidson/#2305; David Arias/#2152;
+Cinna Davis/#2219/controller; Jacob Alan Sussman/productive recursion;
+zxv/compiler, Cao Yifan, retained Clifford/native-review, shared-chart,
+dual-ADD, geometry, COPY and analytic authors. Frozen source notices remain.
+New focused checkers, scoped ceiling and publication for Chris R/Clear1nsight
+with substantial OpenAI Codex assistance. Reused interval code is not
+independently reimplemented. New material Apache-2.0.

research/p104-contact-independent-audit/REVIEW.md

@@ -0,0 +1,28 @@
+# Validation and evidence boundary
+
+The original contact/invoice/ceiling normal/optimized pair passed under a
+shared serial guard in8.854seconds, sampled peak64.38MiB. The native full-column
+pair passed in9.754seconds, sampled peak55.10MiB, within150seconds/512MiB.
+Complete scientific JSON matched with zero exclusions; expected bytes remain
+unchanged in this package.
+
+The dense native interpreter is separate from both vendor state engines.
+The compiler and source circuit descriptions are authenticated reused code.
+The rational interval engine is reused credited code. No independent human
+or formal-kernel acceptance is claimed.
+
+Portable registered replay and publication status belong in the PR separately
+from those original receipts. A registered pass validates this bounded audit,
+not the full parent construction. No new kappa, archived-source rebuild, other
+native-map replay,265-axis route replay, precision/tape theorem or complete
+compiler/outer admission is claimed. Five framework assumptions remain.
+
+The portable registered normal/optimized pair also passed under the unchanged
+shared guard in19.017seconds, sampled peak94.82MiB, cap150seconds/512MiB. Each
+scientific output matched its frozen predecessor bytes completely. Metadata
+and canonical source pins passed. A relocated read-only export with spaces in
+its path and empty PATH passed optimized replay in9.468seconds/69.41MiB. All42
+exported files were unchanged. Separate on-disk canonical-source and expected-
+receipt corruptions failed before scientific subprocesses; the source payload's
+injected exception was never imported. Original export bytes were restored and
+rechecked. Final prose records these results; scientific bytes are unchanged.

research/p104-contact-independent-audit/SOURCES.json

@@ -0,0 +1,30 @@
+{
+  "schema_version": 1,
+  "base_commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "fc3d4ba105e1f097d0d7d051a308281e86ab1446",
+      "sha256": "66974efdced4083c00025f97d95d83909a226cdf801edb9301c195c6641f6903"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "research/p104-native-channel/vendor/clifford_exact.py",
+      "usage": "input",
+      "git_blob": "166841a037f069249f6f7f6dedb89248812f59e2",
+      "sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962"
+    },
+    {
+      "path": "research/p104-native-channel/vendor/native_verify.py",
+      "usage": "input",
+      "git_blob": "2c209dfa9cfade3bc20ac5fc9d876b433a147f8c",
+      "sha256": "3049471905b47b385c88378a1a3be7a18b8858aadd035b8a6da2f4a03b470f38"
+    }
+  ]
+}