diff --git a/research/p104-chart-contact-obstruction/INPUTS.json b/research/p104-chart-contact-obstruction/INPUTS.json
new file mode 100644
index 0000000000..fbeb2b832f
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/INPUTS.json
@@ -0,0 +1,29 @@
+{
+  "files": {
+    "source/NOMINATION.json": "1ed0204a8a20b54cfb82d8873e8c4cd46d2b83da85f9b2ff4baf7270d59a0a3e",
+    "source/PROOF.md": "18088012842ae0ef1d120dd7681aa8ec064f8ed7ecc457f909ff2dc49f010745",
+    "source/RESULT.json": "6131855481874f4ad273bd13ac3c8a577eed41754c28c07a2fe645406db604b4",
+    "source/SOURCES.json": "6d3fa5d28d1022703dd853b107e700664f88203e3b7858fc92b48e45b3744367",
+    "source/WITNESS.json": "12085b340d4d3ef76a70e4c92b6188c4e6eb6962815cc3e5d1da009ca52abb48",
+    "source/WORD-CUSTODY.json": "6ed7b3b0bbdde6a8d30297832f512799c3fbc5f0d6e447fbc4049855b4dfa7a7",
+    "source/WORD.json.gz": "9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6",
+    "source/construct.py": "485eefe102fa94de58512d4a05f437a4213ff8b7e1fd8bed45824af374f9d4c3",
+    "source/local-grammar.py": "716d01a342467f87b14d67853d8de30740f9f2fa881afe271db0df5ef8b19697",
+    "source/patterns.py": "2fc9452ac1740998ad2a5ef71ce9fbb3e08133a89e06e744a6cc3258a02faaa4",
+    "source/verify.py": "474315b0bad561db8d98583491c326a04f5ea33ba40a2439fca420fe5200406b"
+  },
+  "git_blobs": {
+    "source/PROOF.md": "5eab6148f782d11cc5d8d0ec923997fb81bf94f8",
+    "source/RESULT.json": "1b54419bd2ebbe69f81c6efc64f2359839be2c43",
+    "source/SOURCES.json": "2a5c2b8015ece09e4788b7742d1351aa87545299",
+    "source/WITNESS.json": "4671283b4fa00fe444cd61353863d14b0e7ac774",
+    "source/construct.py": "1207c370448732436e5dd697c6309a71a27a9075",
+    "source/local-grammar.py": "e72cb02dba9b68d3bd5934371b5d25a44589c482",
+    "source/patterns.py": "75ca00f9e1d30bc5b2c9305606f5b8a97fb66174",
+    "source/verify.py": "93ba8c1769b90103307c4f1196f3a78d9ab7e017"
+  },
+  "nomination": "source/NOMINATION.json",
+  "source_result": "source/RESULT.json",
+  "word": "source/WORD.json.gz",
+  "word_custody": "source/WORD-CUSTODY.json"
+}
diff --git a/research/p104-chart-contact-obstruction/LICENSE b/research/p104-chart-contact-obstruction/LICENSE
new file mode 100644
index 0000000000..261eeb9e9f
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/LICENSE
@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
diff --git a/research/p104-chart-contact-obstruction/NOTICE b/research/p104-chart-contact-obstruction/NOTICE
new file mode 100644
index 0000000000..d59bfa2cb7
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/NOTICE
@@ -0,0 +1,17 @@
+P104 fixed chart-contact obstruction
+Apache-2.0; see LICENSE.
+
+The source construction, word, proof and published verification are Ali Romman's
+[PR #5660](https://github.com/CrocSwap/integer-mult-bounds/pull/5660), prepared with substantial OpenAI Codex assistance. construct.py credits
+the A2 identity from [PR #3998](https://github.com/CrocSwap/integer-mult-bounds/pull/3998) and [PR #4019](https://github.com/CrocSwap/integer-mult-bounds/pull/4019), zxv's [PR #5643](https://github.com/CrocSwap/integer-mult-bounds/pull/5643) and the helper relations of
+[PR #5644](https://github.com/CrocSwap/integer-mult-bounds/pull/5644). The retained local grammar credits Ali Romman's [PR #5544](https://github.com/CrocSwap/integer-mult-bounds/pull/5544) and [PR #5545](https://github.com/CrocSwap/integer-mult-bounds/pull/5545),
+David Arias's word, Cinna Davis's private reuse and Gareth Davidson's composition.
+The source word/controller/native/compiler/precision lineage remains credited
+by the original published source manifest and notices; no ownership is claimed
+for these predecessor constructions.
+
+The source-bound two-role extraction and independently reviewed qualification,
+readable obstruction proof and portable packaging were prepared for
+Chris R (Clear1nsight) with substantial OpenAI Codex assistance. The underlying
+methods are classical exact binary subspace inclusion and rational bounds.
+Vendored source notices are retained verbatim. No source module is imported.
diff --git a/research/p104-chart-contact-obstruction/PORTABLE.json b/research/p104-chart-contact-obstruction/PORTABLE.json
new file mode 100644
index 0000000000..eb6ed6c8b2
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/PORTABLE.json
@@ -0,0 +1,133 @@
+{
+  "core_adaptation": "Exactly ROOT=HERE.parents[2] changed to ROOT=HERE; all scientific logic unchanged.",
+  "original_checker_sha256": "b296855175e7d2cf84bbab07696b6b5b9589ffe4e1a9060174bb6d796f065304",
+  "original_result_sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4",
+  "payloads": {
+    "INPUTS.json": {
+      "bytes": 1814,
+      "sha256": "85419fd7ab7b09132f1b7e6d41d39832d715a626ada03c8b243dfa87346ddf53"
+    },
+    "LICENSE": {
+      "bytes": 11357,
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
+    },
+    "NOTICE": {
+      "bytes": 1478,
+      "sha256": "81e10a79b0a4edf9c775fa2b8c5c35513d3f92a7ec998743e2dd94c54a160e3a"
+    },
+    "PROOF.md": {
+      "bytes": 2789,
+      "sha256": "68b9da6363e6bb874f0531c5912bcfbe07eb3c99227c04b7dc14c99ec5d8ed9f"
+    },
+    "README.md": {
+      "bytes": 6826,
+      "sha256": "942eb876d941ef3b1b1cc657251de82db61ef272369ee830595b6b2731abbd38"
+    },
+    "SOURCES.json": {
+      "bytes": 5680,
+      "sha256": "a74869a4555b4761e99f9fce514bc2d7915c5dee222ec0b25b3472133dfd73f9"
+    },
+    "TASK.json": {
+      "bytes": 4874,
+      "sha256": "56e74ff9581aadad4c2b8faf90773f6cc8e7b14613a95b9655608298428a0595"
+    },
+    "VERIFY.json": {
+      "bytes": 993,
+      "sha256": "7eee692f85bf3fcd7c6db893ed78b1ac148719eea93c01bf46f7ac11c3cfbb67"
+    },
+    "check.py": {
+      "bytes": 22542,
+      "sha256": "2ae844d756908ee193689ccdff748fe78fa992e168cbd5bdb29542fd4a8ffe66"
+    },
+    "evidence/CORE-ADAPTATION.diff": {
+      "bytes": 327,
+      "sha256": "9cb54ef00754cfb9c5870317850f41e4b591101ec9a86d61ef10c2ed69df11b0"
+    },
+    "evidence/GUARD-RECEIPT.json": {
+      "bytes": 516,
+      "sha256": "7afb33e6007ea0a1c74c8cae3ea76af2228015ec558ad82ca46a148309729464"
+    },
+    "evidence/ORIGINAL-REQUEST.json": {
+      "bytes": 1627,
+      "sha256": "ff437313e4fb51acbbb42fc70d8d2b98af59bd0bb94ad601b3545812378213dd"
+    },
+    "evidence/PAIR-RECEIPT.json": {
+      "bytes": 1363,
+      "sha256": "7453eb5d8f6eb45c2dede2a5492ac893cd0d80ef051c5943c1120d513f465f92"
+    },
+    "evidence/POST-REVIEW.json": {
+      "bytes": 2573,
+      "sha256": "0a11e4e2c6e4f3c3b7b094652503af19dae60bcfc5355adc78d98a349ecc0c2d"
+    },
+    "evidence/PUBLICATION-CONTEXT.json": {
+      "bytes": 830,
+      "sha256": "902dbaf69ce8683931e3dfcfac74e337198946699ebbe2b7cf99f6dd6c6707ed"
+    },
+    "evidence/RESULT-normal.json": {
+      "bytes": 33425,
+      "sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4"
+    },
+    "evidence/RESULT-optimized.json": {
+      "bytes": 33425,
+      "sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4"
+    },
+    "evidence/STATIC-REVIEW.json": {
+      "bytes": 815,
+      "sha256": "3d2342165ae8cbea7a8457aaead2d1759a0bb702d1b5e3fc99e3418028133a51"
+    },
+    "evidence/original-check.py": {
+      "bytes": 22553,
+      "sha256": "b296855175e7d2cf84bbab07696b6b5b9589ffe4e1a9060174bb6d796f065304"
+    },
+    "source/NOMINATION.json": {
+      "bytes": 867,
+      "sha256": "1ed0204a8a20b54cfb82d8873e8c4cd46d2b83da85f9b2ff4baf7270d59a0a3e"
+    },
+    "source/PROOF.md": {
+      "bytes": 7801,
+      "git_blob": "5eab6148f782d11cc5d8d0ec923997fb81bf94f8",
+      "sha256": "18088012842ae0ef1d120dd7681aa8ec064f8ed7ecc457f909ff2dc49f010745"
+    },
+    "source/RESULT.json": {
+      "bytes": 18502,
+      "git_blob": "1b54419bd2ebbe69f81c6efc64f2359839be2c43",
+      "sha256": "6131855481874f4ad273bd13ac3c8a577eed41754c28c07a2fe645406db604b4"
+    },
+    "source/SOURCES.json": {
+      "bytes": 5807,
+      "git_blob": "2a5c2b8015ece09e4788b7742d1351aa87545299",
+      "sha256": "6d3fa5d28d1022703dd853b107e700664f88203e3b7858fc92b48e45b3744367"
+    },
+    "source/WITNESS.json": {
+      "bytes": 384,
+      "git_blob": "4671283b4fa00fe444cd61353863d14b0e7ac774",
+      "sha256": "12085b340d4d3ef76a70e4c92b6188c4e6eb6962815cc3e5d1da009ca52abb48"
+    },
+    "source/WORD-CUSTODY.json": {
+      "bytes": 214,
+      "sha256": "6ed7b3b0bbdde6a8d30297832f512799c3fbc5f0d6e447fbc4049855b4dfa7a7"
+    },
+    "source/WORD.json.gz": {
+      "bytes": 107909,
+      "git_blob": "9e68b7de6bfc23bc4fe9940c718dba350ba8a893",
+      "sha256": "9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6"
+    },
+    "source/construct.py": {
+      "bytes": 5311,
+      "git_blob": "1207c370448732436e5dd697c6309a71a27a9075",
+      "sha256": "485eefe102fa94de58512d4a05f437a4213ff8b7e1fd8bed45824af374f9d4c3"
+    },
+    "source/local-grammar.py": {
+      "bytes": 9392,
+      "git_blob": "e72cb02dba9b68d3bd5934371b5d25a44589c482",
+      "sha256": "716d01a342467f87b14d67853d8de30740f9f2fa881afe271db0df5ef8b19697"
+    },
+    "source/patterns.py": {
+      "bytes": 2753,
+      "git_blob": "75ca00f9e1d30bc5b2c9305606f5b8a97fb66174",
+      "sha256": "2fc9452ac1740998ad2a5ef71ce9fbb3e08133a89e06e744a6cc3258a02faaa4"
+    }
+  },
+  "schema": "p104-fixed-chart-portable-inventory/v1",
+  "scope": "Only public scientific source, results and sanitized provenance; runtime input closure is package-local. Verifier and this inventory are pinned by the root request and committed-byte check."
+}
diff --git a/research/p104-chart-contact-obstruction/PROOF.md b/research/p104-chart-contact-obstruction/PROOF.md
new file mode 100644
index 0000000000..6e87ee6e88
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/PROOF.md
@@ -0,0 +1,17 @@
+# Why this one chart retag fails
+
+The authenticated emitted word of Ali Romman's [PR #5660](https://github.com/CrocSwap/integer-mult-bounds/pull/5660), head `3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa`, has exactly one final four-gate block matching the published replacement. Its zero-based program indices are 14187, 14189, 14192 and 14194. The nominated edit changes only the common chart of `ADD(586,733,"-4",597)` at event 14189 to 652, retaining scalar chronology, coefficients, roles and endpoints.
+
+Donor 733's immediately preceding required contact is event 13554, `ADD(695,733,"1",597)`. Its immediately succeeding required contact is event 14397, `ADD(132,733,"2",597)`. Both are source reads and must be included in its contact chain. Thus the changed donor chain contains
+
+$$597\longrightarrow652\longrightarrow597.$$
+
+The ordered bases of these frames are `[82]` and `[82,268]`, respectively. Over the source binary ambient space, 82 and 268 are nonzero and distinct, so they are independent. The first span has dimension 1 and the second dimension 2. In particular, 268 does not belong to the one-dimensional span of 82.
+
+The published `construct.rebuild` permits a nontrivial public MOVE only when its old space is a strict subset of its new space. Hence the return from 652 to 597 is forbidden. Identical-frame coalescing does not remove the intervening required contact at 652. No alternative chart, inserted intermediate route, scalar retiming, basis change or private-return protocol is part of this object.
+
+This is a completed physical obstruction to the exact direct-route retag. The conditional donor tariff formula presupposes that the next required chart contains frame 652; the measured next chart is 597, so that premise fails. No new paid histogram, signed saving or two-point price was calculated after the stop. The recipient-only expression $H_2-2H_1$ is not an earned saving.
+
+The evidence checks the full old required-contact routes against all actual published MOVEs for both 586 and 733, including COPY source uses and final endpoints. Owned chronology is checked at descriptor level. It does not independently replay endpoint matrices, owned erasure, native phases, ordinary costs, the full caller/compiler or funded $\kappa$. The public grammar text is pinned independently; equality to an archive member was not checked. The standalone checker directly reads the committed descriptor and imports no source module or archive.
+
+No conclusion transfers to [PR #5678](https://github.com/CrocSwap/integer-mult-bounds/pull/5678), head `af814f6f3c477fdd13b8f04380a33cf32004966b`, which changes paid bases and reports conditional $\kappa=0.00310815849$. This historical obstruction is neither a global no-go nor a claim stronger than a successor construction.
diff --git a/research/p104-chart-contact-obstruction/README.md b/research/p104-chart-contact-obstruction/README.md
new file mode 100644
index 0000000000..770d33e971
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/README.md
@@ -0,0 +1,48 @@
+# A required donor read blocks one historical contact-chart retag
+
+## Change and mathematical scope
+
+This package records a completed, source-bound physical obstruction on Ali Romman's [PR #5660](https://github.com/CrocSwap/integer-mult-bounds/pull/5660). Changing only `ADD(586,733,"-4",597)` to chart 652 forces donor 733 through `597 → 652 → 597`. The last transition is forbidden by the source's strictly increasing public-MOVE rule: frame 597 has basis `[82]`, while frame 652 has basis `[82,268]` and one greater dimension. The short direct proof is in [PROOF.md](PROOF.md).
+
+The exact historical head is `3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa`. Its compressed emitted WORD is 107,909 bytes, Git blob `9e68b7de6bfc23bc4fe9940c718dba350ba8a893`, SHA256 `9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6`. The unique nominated event is final program index 14189; predecessor skeleton indices were not transferred. The next donor read is `ADD(132,733,"2",597)` at event 14397.
+
+The result is `STOP_UNSUPPORTED_FORWARD_NESTING`. It earns no candidate invoice, paid/target gain, ordinary-cost admission or new $\kappa$. No changed full word was constructed. The source's complete authenticated author invoice, 66,474 paid requests and 12,958 targets, remains a baseline rather than an independently replayed full census. No prices were computed after the physical stop.
+
+## Task and overlap
+
+The task is a changed, tightly bounded investigation under `complex-new-helper-inventory`; [TASK.json](TASK.json) retains its exact originating card. The publication base and fresh canonical guidance commit are `df0137efd35e11b4445734bf612bdd4c7ebc330c`. All scientific runtime data is committed inside this package; replay requires no foreign Git object, network, constructor or predecessor archive.
+
+The added value is the exact donor-contact witness and reproducible stop for this one untested chart assignment. It does not refute the published four-gate identity or enumerate all frame schedules. [PR #5678](https://github.com/CrocSwap/integer-mult-bounds/pull/5678), head `af814f6f3c477fdd13b8f04380a33cf32004966b`, is a later paid-basis construction reporting conditional $\kappa=0.00310815849$. This historical word's obstruction does not transfer to it. A bounded overlap gate is context, not a global novelty proof. Neighboring [Discussion #5645](https://github.com/CrocSwap/integer-mult-bounds/discussions/5645) reports separate native-frame region screens; this certificate claims none of that search domain.
+
+## Validation
+
+From a committed checkout, metadata and the registered normal/optimized pair are separate commands:
+
+```sh
+python3 -B scripts/research_package.py --package research/p104-chart-contact-obstruction --check-only
+python3 -B scripts/research_package.py --package research/p104-chart-contact-obstruction
+python3 -B scripts/check_research_commit.py --package research/p104-chart-contact-obstruction --check-source-history
+```
+
+For a relocated, read-only, Git-free copy, run each explicit command from any directory:
+
+```sh
+python3 -I -B /path/to/p104-chart-contact-obstruction/verify.py
+python3 -I -B -O /path/to/p104-chart-contact-obstruction/verify.py
+```
+
+Root executes these within a serial 150-second, 512 MiB guard, with each registered child capped at 60 seconds. Each registered command runs the scientific core once; the normal/optimized pair runs it twice in total. The wrapper uses a fresh external bytecode-cache namespace, writes no package files, propagates failures and requires the entire core output SHA256 `41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4`. There are no excluded result fields or assertion-based acceptance checks.
+
+The original pair completed in 1.1085932450077962 seconds with sampled peak descendant RSS 52,711,424 bytes. Both children exited 0, stderr was empty, all seven scoped controls rejected, complete output bytes agreed and all 35 frozen files remained unchanged. Public evidence retains both full result byte strings, the original checker, and explicitly sanitized request/review/receipt extracts with original hashes. Portable replay and export measurements are reported separately by their new qualification receipts.
+
+[PORTABLE.json](PORTABLE.json) inventories payload bytes and [SOURCES.json](SOURCES.json) records public custody. The scientific core differs from the original by exactly `ROOT=HERE.parents[2]` becoming `ROOT=HERE`; [the diff](evidence/CORE-ADAPTATION.diff) is verified before execution. INPUTS and custody are reduced to fields actually consumed. Two additional byte-integrity controls reject altered compressed input and core bytes without decoding mutated data. The original seven controls retain their declared sanity/accounting scope.
+
+Decompression has a hard 16 MiB abort cap; that is not a claim about required size. Descriptor and instruction caps remain unchanged. All contacts for the two roles, including both COPY operands, SCALE and final endpoints, are included. The declared COPY/SCALE grammar comes from authenticated public source text; its equality to an archive member has not been checked. This verifier imports no source modules. Endpoint matrices, erasure-zero values, native phases/all widths, ordinary costs and the complete compiler/funding/BIT/outer conjunction were not admitted.
+
+## Credit
+
+Ali Romman supplied the [PR #5660](https://github.com/CrocSwap/integer-mult-bounds/pull/5660) construction and public verification. Its A2 lineage credits [PR #3998](https://github.com/CrocSwap/integer-mult-bounds/pull/3998), [PR #4019](https://github.com/CrocSwap/integer-mult-bounds/pull/4019) and zxv's [PR #5643](https://github.com/CrocSwap/integer-mult-bounds/pull/5643); [PR #5644](https://github.com/CrocSwap/integer-mult-bounds/pull/5644) supplies the helper relations, and [PR #5650](https://github.com/CrocSwap/integer-mult-bounds/pull/5650) the released composition. Retained source notices credit David Arias's word, Cinna Davis's private reuse, Gareth Davidson's composition, and the source controller/native/compiler/precision contributors. Classical exact binary subspace and rational interval methods are used. Chris R/Clear1nsight's bounded qualification, independent static review and portable packaging used substantial OpenAI Codex assistance. Apache-2.0 notices remain in [NOTICE](NOTICE) and the vendored files. No independent human or proof-kernel acceptance is implied.
+
+## Open next questions
+
+No automatic construction or fallback is justified for this exact retag. Stop this object. A different scalar graph, chart, source word, boundary or private-return rule requires a fresh exact nomination and ownership gate before further science. The structured stop reason is in [TASK.json](TASK.json); this package authorizes no next scan or construction.
diff --git a/research/p104-chart-contact-obstruction/SOURCES.json b/research/p104-chart-contact-obstruction/SOURCES.json
new file mode 100644
index 0000000000..382e1a4bc4
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/SOURCES.json
@@ -0,0 +1,95 @@
+{
+  "base_commit": "df0137efd35e11b4445734bf612bdd4c7ebc330c",
+  "files": [
+    {
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "path": "docs/research/agent-task-catalog.json",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72",
+      "usage": "provenance"
+    }
+  ],
+  "grammar_caveat": "Authenticated declared public grammar; archive-member equality untested. Direct committed-data replay imports no source/archive module.",
+  "original_checker_sha256": "b296855175e7d2cf84bbab07696b6b5b9589ffe4e1a9060174bb6d796f065304",
+  "original_request_sha256": "9519e4bce478c7d61c60fb1bb01ea4a425f137b668c57fbab83be8d329a9b041",
+  "original_result_sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4",
+  "payload_inventory": "PORTABLE.json",
+  "schema_version": 1,
+  "source_head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+  "source_policy": "Self-contained committed source export; public predecessor heads are provenance labels, never Git-runtime dependencies or unsupported external pins. All runtime paths are package-local and listed in INPUTS.json and PORTABLE.json. Package-local files trigger CI replay; no external live input.",
+  "source_pr_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5660",
+  "vendored_sources": [
+    {
+      "git_blob": "4671283b4fa00fe444cd61353863d14b0e7ac774",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/WITNESS.json",
+      "sha256": "12085b340d4d3ef76a70e4c92b6188c4e6eb6962815cc3e5d1da009ca52abb48",
+      "upstream_path": "research/p104-contact-rewrite/WITNESS.json",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/WITNESS.json"
+    },
+    {
+      "git_blob": "1207c370448732436e5dd697c6309a71a27a9075",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/construct.py",
+      "sha256": "485eefe102fa94de58512d4a05f437a4213ff8b7e1fd8bed45824af374f9d4c3",
+      "upstream_path": "research/p104-contact-rewrite/construct.py",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/construct.py"
+    },
+    {
+      "git_blob": "5eab6148f782d11cc5d8d0ec923997fb81bf94f8",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/PROOF.md",
+      "sha256": "18088012842ae0ef1d120dd7681aa8ec064f8ed7ecc457f909ff2dc49f010745",
+      "upstream_path": "research/p104-contact-rewrite/PROOF.md",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/PROOF.md"
+    },
+    {
+      "git_blob": "93ba8c1769b90103307c4f1196f3a78d9ab7e017",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/verify.py",
+      "sha256": "474315b0bad561db8d98583491c326a04f5ea33ba40a2439fca420fe5200406b",
+      "upstream_path": "research/p104-contact-rewrite/verify.py",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/verify.py"
+    },
+    {
+      "git_blob": "75ca00f9e1d30bc5b2c9305606f5b8a97fb66174",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/patterns.py",
+      "sha256": "2fc9452ac1740998ad2a5ef71ce9fbb3e08133a89e06e744a6cc3258a02faaa4",
+      "upstream_path": "research/p104-contact-rewrite/patterns.py",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/patterns.py"
+    },
+    {
+      "git_blob": "1b54419bd2ebbe69f81c6efc64f2359839be2c43",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/RESULT.json",
+      "sha256": "6131855481874f4ad273bd13ac3c8a577eed41754c28c07a2fe645406db604b4",
+      "upstream_path": "research/p104-contact-rewrite/RESULT.json",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/RESULT.json"
+    },
+    {
+      "git_blob": "2a5c2b8015ece09e4788b7742d1351aa87545299",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/SOURCES.json",
+      "sha256": "6d3fa5d28d1022703dd853b107e700664f88203e3b7858fc92b48e45b3744367",
+      "upstream_path": "research/p104-contact-rewrite/SOURCES.json",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/SOURCES.json"
+    },
+    {
+      "bytes": 107909,
+      "git_blob": "9e68b7de6bfc23bc4fe9940c718dba350ba8a893",
+      "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+      "package_path": "source/WORD.json.gz",
+      "sha256": "9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6",
+      "upstream_path": "research/p104-contact-rewrite/WORD.json.gz",
+      "url": "https://github.com/aliromman/integer-mult-bounds/blob/3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa/research/p104-contact-rewrite/WORD.json.gz"
+    },
+    {
+      "git_blob": "e72cb02dba9b68d3bd5934371b5d25a44589c482",
+      "head": "ed4dc88a09a7d201971f6603b8c2074e95dd9c32",
+      "package_path": "source/local-grammar.py",
+      "sha256": "716d01a342467f87b14d67853d8de30740f9f2fa881afe271db0df5ef8b19697",
+      "upstream_path": "research/p104-helper-subspace-splits/local.py",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/blob/ed4dc88a09a7d201971f6603b8c2074e95dd9c32/research/p104-helper-subspace-splits/local.py"
+    }
+  ]
+}
diff --git a/research/p104-chart-contact-obstruction/TASK.json b/research/p104-chart-contact-obstruction/TASK.json
new file mode 100644
index 0000000000..950a4b1b6e
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/TASK.json
@@ -0,0 +1,61 @@
+{
+  "actual_scope": "Exact fixed historical donor-contact obstruction to chart 597-to-652 retag of ADD(586,733,-4), with scalar chronology and endpoints retained.",
+  "ai_assistance": "Substantial OpenAI Codex assistance in the bounded qualification, separate static review, proof explanation and portable packaging. Predecessor construction is credited.",
+  "author": "Chris R (Clear1nsight), with substantial OpenAI Codex assistance",
+  "base_commit": "df0137efd35e11b4445734bf612bdd4c7ebc330c",
+  "bottleneck_link": "A recipient-only paid shortcut is unavailable when the unchanged donor has a later required lower-chart read.",
+  "budget_minutes": null,
+  "evidence": "Original complete normal/optimized result bytes, exact source WORD and public grammar, original checker with one-line portable root adaptation, sanitized request and independent pre/post reviews and execution receipts.",
+  "no_open_questions_reason": "The fixed direct route requires the forbidden 652-to-597 return. This certificate justifies stopping this object, not automatically constructing or scanning alternatives.",
+  "open_questions": [],
+  "original_card": {
+    "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.",
+    "allowed_variations": [
+      "Narrow to one changed boundary or helper type with explicit counts.",
+      "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope."
+    ],
+    "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.",
+    "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "research/complex-local-word-ceiling/verify.py"
+      ],
+      "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING",
+      "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.",
+      "scope": "Positive control and planning budget only; this is not a new construction or full cold replay."
+    },
+    "id": "complex-new-helper-inventory",
+    "methods": [
+      "Propose a changed helper inventory and derive an optimistic exact moment.",
+      "Design a small completed instance and independently verify its endpoint and rank bill."
+    ],
+    "overlap_terms": [
+      "helper inventory",
+      "heterogeneous-owner",
+      "mutable leaver"
+    ],
+    "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?",
+    "scope_change_triggers": [
+      "Mixing only providers already inside the pinned catalogue.",
+      "Only changing helper terminal subspaces and monotone frames within the fixed scalar word, entrances and cleanup contract already covered by #1995/#2013.",
+      "Continuing a partial cost improvement while leaving the same unpriced consumer, restoration or central-readout obligation unresolved; refresh the family expansion decision first. Local product-retiming evidence has a narrow scope and is not a ban on changed graphs or contracts."
+    ],
+    "starting_points": [
+      "docs/research/research-family-status.md",
+      "research/complex-local-word-ceiling/README.md",
+      "research/heterogeneous-owner-assembly/README.md",
+      "certificates/selected-result.json",
+      "research/selected-k8-unrestricted-ends/README.md"
+    ]
+  },
+  "outcome": "negative-result",
+  "priority_revision": 7,
+  "schema_version": 1,
+  "scope_change_reason": "The broad inventory question is narrowed to a source-bound physical obstruction for one fixed retained-input contact-chart proposal. No new inventory or supplier is claimed.",
+  "scope_key": "historical-pr5660-add586-733-chart597-to652-fixed-scalar-position",
+  "scope_status": "changed",
+  "stop_rule": "Stop this exact retag. Changed sources, graphs, bases, charts, schedules or boundaries need a fresh nomination and ownership gate; no automatic scan.",
+  "task_id": "complex-new-helper-inventory"
+}
diff --git a/research/p104-chart-contact-obstruction/VERIFY.json b/research/p104-chart-contact-obstruction/VERIFY.json
new file mode 100644
index 0000000000..27e9abf141
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/VERIFY.json
@@ -0,0 +1,30 @@
+{
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "checks": "Authenticate committed public payloads and exact one-line core adaptation; execute the core once; require full original output SHA256 and exact donor 597-to-652-to-597 obstruction, seven original and two portable integrity controls; no candidate invoice or kappa.",
+      "timeout_seconds": 60
+    },
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "-O",
+        "{package}/verify.py"
+      ],
+      "checks": "Authenticate committed public payloads and exact one-line core adaptation; execute the core once; require full original output SHA256 and exact donor 597-to-652-to-597 obstruction, seven original and two portable integrity controls; no candidate invoice or kappa.",
+      "timeout_seconds": 60
+    }
+  ],
+  "inputs": [],
+  "python": "3.12",
+  "requirements": [],
+  "schema_version": 1,
+  "status": "ready"
+}
diff --git a/research/p104-chart-contact-obstruction/check.py b/research/p104-chart-contact-obstruction/check.py
new file mode 100644
index 0000000000..dc40f11be8
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/check.py
@@ -0,0 +1,382 @@
+#!/usr/bin/env python3
+"""One fixed 5660 contact-chart prerequisite; root-only scientific execution.
+
+No source imports, constructor, changed full word, endpoint/native replay or
+whole pricing engine. Exact rational/bit arithmetic; Apache-2.0.
+Credit Ali Romman and retained source/controller/native/compiler contributors;
+OpenAI Codex assistance. See CONTRACT.md for the deliberately limited claim.
+"""
+from collections import Counter
+from fractions import Fraction as Q
+import gzip
+import hashlib
+import io
+import json
+from pathlib import Path
+import sys
+
+HERE=Path(__file__).resolve().parent
+ROOT=HERE
+HEAD='3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa'
+WORD_SHA='9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6'
+WORD_BLOB='9e68b7de6bfc23bc4fe9940c718dba350ba8a893'
+LIMIT=16*1024*1024
+BLOCK=[['ADD',165,586,'1/2',3],['ADD',586,733,'-4',597],
+       ['ADD',21,586,'1',652],['ADD',165,21,'-1/2',652]]
+POINTS=(Q(33,10000),Q(6600001,2000000000))
+
+
+class SourceError(ValueError):pass
+
+
+def need(ok,message):
+    if not ok:raise SourceError(message)
+
+
+def sha(raw):return hashlib.sha256(raw).hexdigest()
+def blob(raw):return hashlib.sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw).hexdigest()
+def canonical(value):return json.dumps(value,sort_keys=True,separators=(',',':')).encode()
+def shown(h):return {str(r):n for r,n in sorted(h.items()) if n}
+def mass(h):return sum(r*n for r,n in h.items())
+def clean(h):return {r:n for r,n in h.items() if n}
+def isint(x):return type(x) is int
+
+
+def authenticate_word(raw,pin):
+    need(pin['head']==HEAD and pin['bytes']==107909 and pin['sha256']==WORD_SHA and pin['git_blob']==WORD_BLOB,
+         'Exact fixed source binding')
+    need(len(raw)==107909 and sha(raw)==WORD_SHA and blob(raw)==WORD_BLOB,'Compressed WORD byte/Git/SHA identity before decode')
+
+
+def integer_token(s):
+    need(len(s)<=11,'Bounded JSON integer token')
+    n=int(s);need(abs(n)<=2**31-1,'Bounded JSON integer value');return n
+
+
+def pairs_unique(pairs):
+    out={}
+    for k,v in pairs:
+        need(k not in out,'Duplicate JSON descriptor key');out[k]=v
+    return out
+
+
+def bad_constant(s):raise SourceError('Unexpected JSON numeric constant '+s)
+
+
+def decode(raw,pin):
+    authenticate_word(raw,pin)
+    with gzip.GzipFile(fileobj=io.BytesIO(raw),mode='rb') as stream:
+        decoded=stream.read(LIMIT+1)
+        need(len(decoded)<=LIMIT,'Decompressed WORD exceeds hard 16 MiB abort cap')
+        need(stream.read(1)==b'','Decompressed WORD has excess data')
+    word=json.loads(decoded,object_pairs_hook=pairs_unique,parse_int=integer_token,parse_constant=bad_constant)
+    stack=[(word,0)];nodes=0
+    while stack:
+        x,depth=stack.pop();nodes+=1
+        need(nodes<=500000 and depth<=16,'Descriptor node/depth cap')
+        if isinstance(x,dict):
+            need(len(x)<=64 and all(isinstance(k,str) and len(k)<=128 for k in x),'Descriptor field cap')
+            stack.extend((v,depth+1) for v in x.values())
+        elif isinstance(x,list):
+            need(len(x)<=26000,'Descriptor array cap');stack.extend((v,depth+1) for v in x)
+        elif isinstance(x,str):need(len(x)<=4096,'Descriptor string cap')
+        elif isinstance(x,float):need(x==x and abs(x)!=float('inf'),'Finite unused metadata number')
+        else:need(x is None or type(x) in (int,bool),'Unexpected descriptor value')
+    return word,len(decoded),sha(decoded)
+
+
+def reduced_basis(vectors):
+    pivots={}
+    for v in vectors:
+        need(isint(v) and 0<v<512,'Nine-axis binary frame vector')
+        x=v
+        for p,b in sorted(pivots.items(),reverse=True):
+            if x&(1<<p):x^=b
+        need(x!=0,'Independent frame basis')
+        pivots[x.bit_length()-1]=x
+    return sorted(pivots.items(),reverse=True)
+
+
+def included(a,b):
+    for _,v in a:
+        x=v
+        for p,w in b:
+            if x&(1<<p):x^=w
+        if x:return False
+    return True
+
+
+def strict(a,b):return len(a)<len(b) and included(a,b)
+
+
+def frame_binding(frames):
+    need(frames[3]==[] and frames[597]==[82] and frames[652]==[82,268],
+         'Exact pinned zero/one/two-dimensional chart labels and ordered bases')
+
+
+def event_roles(e):return set(e[1:3]) if e[0] in ('ADD','COPY') else {e[1]}
+
+
+def descriptor(word):
+    need(isinstance(word,dict) and word.get('schema')=='p104-contact-rewrite/1','Exact emitted WORD schema')
+    for name in ('frames','public','owned_fields','initial','final','live','program'):need(name in word,'Missing descriptor '+name)
+    n,owned=word['public'],word['owned_fields']
+    need(isint(n) and n==743 and isint(owned) and owned==9,'Exact public and owned slot counts')
+    frames=word['frames'];need(isinstance(frames,list) and 653<=len(frames)<=4096,'Frame table cap')
+    need(all(isinstance(b,list) and len(b)<=9 for b in frames),'Frame dimension cap')
+    spaces=[reduced_basis(b) for b in frames];frame_binding(frames)
+    def frame(f):need(isint(f) and 0<=f<len(frames),'Valid frame index')
+    for name in ('initial','final'):
+        need(isinstance(word[name],list) and len(word[name])==n,'Exact public boundary width')
+        for f in word[name]:frame(f)
+    live=word['live'];need(isinstance(live,list) and len(live)==len(set(live))==104 and
+        all(isint(r) and 0<=r<n and r+112<n for r in live),'Exact main role descriptor')
+    main=set(live)|{r+112 for r in live};need(len(main)==208,'Disjoint main input/output roles')
+    helpers={r for r in range(n) if r not in main};need(len(helpers)==535 and {586,733}<=helpers,'Retained independent helpers')
+    target=Counter()
+    for r in helpers:
+        a,b=word['initial'][r],word['final'][r]
+        need(strict(spaces[a],spaces[b]),'Source helper boundary is strictly increasing')
+        target[len(spaces[b])-len(spaces[a])]+=1
+    program=word['program'];need(isinstance(program,list) and 0<len(program)<=26000,'Instruction hard cap')
+    current={r:word['initial'][r] for r in (586,733)}
+    owned_current=[None]*owned;lifetimes=peak=0
+    skeleton=[];contacts={r:[] for r in current};moves={r:[] for r in current};owned_tape=[];scalar_tape=[]
+    for i,e in enumerate(program):
+        need(isinstance(e,list) and e and isinstance(e[0],str),'Instruction record type')
+        op=e[0];need(op in ('MOVE','ADD','COPY','SCALE','INIT','CLEAR'),'Opcode covered by contact extraction')
+        size={'MOVE':5,'ADD':5,'COPY':5,'SCALE':4,'INIT':3,'CLEAR':3}[op]
+        need(len(e)==size,'Exact opcode width')
+        need(isint(e[1]) and 0<=e[1]<n+owned,'Valid destination/owner role')
+        if op in ('ADD','COPY'):need(isint(e[2]) and 0<=e[2]<n+owned,'Valid source role')
+        if op=='MOVE':
+            frame(e[2]);frame(e[3]);need(type(e[4]) is bool,'MOVE orientation field')
+        elif op in ('INIT','CLEAR'):frame(e[2]);need(e[1]>=n,'No public lifetime creation/erasure')
+        else:
+            frame(e[-1]);need(isinstance(e[-2],str) and len(e[-2])<=128,'Exact bounded scalar coefficient')
+            q=Q(e[-2]);need(q.numerator.bit_length()<=256 and q.denominator.bit_length()<=256 and
+                q.denominator&(q.denominator-1)==0 and q and abs(q)+1<2**16,'Bounded nonzero dyadic scalar coefficient')
+            if op=='SCALE':need(abs(q.numerator)&(abs(q.numerator)-1)==0,'Dyadic unit SCALE grammar')
+            if op in ('ADD','COPY'):need(e[1]!=e[2],'Distinct scalar operands')
+            if op=='COPY':need(e[1]>=n,'COPY destination is an owned slot')
+        touched=event_roles(e)
+        if op!='MOVE' or e[1]>=n:skeleton.append((i,e))
+        if any(r>=n for r in touched):owned_tape.append(e)
+        if op!='MOVE':scalar_tape.append(e[:-1])
+        if op=='INIT':
+            slot=e[1]-n;need(owned_current[slot] is None,'Fresh owned lifetime')
+            owned_current[slot]=e[2];lifetimes+=1;peak=max(peak,sum(x is not None for x in owned_current))
+        elif op=='CLEAR':
+            slot=e[1]-n;need(owned_current[slot]==e[2],'Declared owned erasure chart');owned_current[slot]=None
+        elif op=='MOVE':
+            if e[1]>=n:
+                slot=e[1]-n;need(owned_current[slot]==e[2] and e[4] is True and strict(spaces[e[3]],spaces[e[2]]),
+                    'Existing owned MOVE chronology/orientation/reverse inclusion');owned_current[slot]=e[3]
+            if e[1] in current:
+                r=e[1];need(e[4] is False and current[r]==e[2] and strict(spaces[e[2]],spaces[e[3]]),
+                    'Existing affected public MOVE is direct strict forward inclusion')
+                moves[r].append({'event':i,'old':e[2],'new':e[3],'rank':len(spaces[e[3]])-len(spaces[e[2]])});current[r]=e[3]
+        else:
+            for r in touched:
+                if r>=n:need(owned_current[r-n]==e[-1],'Owned scalar contact chart/activity')
+                if r in current:
+                    need(current[r]==e[-1],'Existing affected role contact matches its actual current chart')
+                    access=[]
+                    if e[1]==r:access.append('destination')
+                    if op in ('ADD','COPY') and e[2]==r:access.append('source')
+                    contacts[r].append({'event':i,'op':op,'instruction':e,'frame':e[-1],'access':access})
+    need(lifetimes==11 and peak==2 and all(x is None for x in owned_current),'Complete declared owned chronology counts and final inactivity')
+    for r in current:need(current[r]==word['final'][r],'Affected role actual final chart')
+    return spaces,contacts,moves,skeleton,shown(target),{
+        'owned_lifetimes':lifetimes,'peak_owned':peak,'owned_subsequence_sha256':sha(canonical(owned_tape)),
+        'scalar_opcode_roles_coefficients_order_sha256':sha(canonical(scalar_tape)),
+        'public_boundary_descriptor_sha256':sha(canonical({k:word[k] for k in ('public','owned_fields','initial','final','live')})),
+        'unmodified_nonprogram_descriptor_sha256':sha(canonical({k:v for k,v in word.items() if k!='program'})),
+        'scope':'Descriptor and chart/lifetime chronology checks only; no endpoint linear-map, erasure-zero or native phase replay.'}
+
+
+def unique_site(sites):
+    need(len(sites)==1,'Exactly one final four-gate skeleton occurrence');return sites[0]
+
+
+def check_block(block):need(block==BLOCK,'Exact fixed four-gate scalar roles/coefficients/charts')
+
+
+def route(initial,final,contacts,spaces):
+    required=[{'kind':'input','frame':initial}]+[dict(c,kind='contact') for c in contacts]+[{'kind':'final','frame':final}]
+    visits=[]
+    for item in required:
+        if not visits or visits[-1]!=item['frame']:visits.append(item['frame'])
+    edges=[];failures=[]
+    for a,b in zip(visits,visits[1:]):
+        ok=strict(spaces[a],spaces[b]);entry={'old':a,'new':b,'rank':len(spaces[b])-len(spaces[a]),'strict_forward':ok}
+        edges.append(entry)
+        if not ok:failures.append(entry)
+    return {'required':required,'coalesced_visits':visits,'edges':edges,'unsupported_edges':failures}
+
+
+def histogram(edges):
+    need(all(e['strict_forward'] and e['rank']>0 for e in edges),'Only legal forward edges earn a paid histogram')
+    return dict(Counter(e['rank'] for e in edges))
+
+
+def sumhist(a,b):
+    x=Counter(a);x.update(b);return clean(dict(x))
+
+
+def difference(new,old):
+    x=Counter(new);x.subtract(old);return clean(dict(x))
+
+
+def charged(old_h,old_s,new_h,new_s,supplied):
+    expected=difference(sumhist(new_h,new_s),sumhist(old_h,old_s))
+    need(expected==supplied,'Full recipient plus donor charges, with no omitted donor leg');return expected
+
+
+def log_bounds(r):
+    def unit(u):
+        z=(u-1)/(u+1);need(0<=z<=Q(1,3),'Rational logarithm domain')
+        low=2*sum((z**(2*j+1)/Q(2*j+1) for j in range(32)),Q(0))
+        return low,low+2*z**65/(65*(1-z*z))
+    k=r.bit_length()-1;a,b=unit(Q(r,2**k));l,u=unit(Q(2));return a+k*l,b+k*u
+
+
+def power(r,c):
+    if r==1:return Q(1),Q(1)
+    l,u=log_bounds(r)
+    def exponential(x):
+        need(0<=x<1,'Alternating exponential domain');term=s=Q(1);low=high=None
+        for j in range(1,13):
+            term*=-x/j;s+=term
+            if j==11:low=s
+            if j==12:high=s
+        return low,high
+    a,b=r*exponential(c*u)[0],r*exponential(c*l)[1];mesh=10**24
+    low=Q((a*mesh).__floor__(),mesh);high=Q(-((-b*mesh).__floor__()),mesh)
+    need(low<=a<=b<=high,'Exact outward rational price mesh');return low,high
+
+
+def price(delta,c):
+    low=high=Q(0)
+    for r,n in delta.items():
+        need(isint(r) and 1<=r<=9 and isint(n),'Bounded exact signed paid coefficient')
+        a,b=power(r,c);low+=n*(a if n>=0 else b);high+=n*(b if n>=0 else a)
+    return {'C':str(c),'local_paid_cost_difference_interval':[str(low),str(high)],
+            'full18_paid_cost_difference_interval':[str(18*low),str(18*high)]},low,high
+
+
+def reject(action,strength):
+    try:action()
+    except (SourceError,ValueError,KeyError):return {'outcome':'rejected','strength':strength}
+    raise SourceError('Control unexpectedly accepted: '+strength)
+
+
+def main():
+    inputs=json.loads((HERE/'INPUTS.json').read_bytes())
+    for name,digest in inputs['files'].items():need(sha((ROOT/name).read_bytes())==digest,'Frozen input SHA '+name)
+    pin=json.loads((ROOT/inputs['word_custody']).read_bytes());raw=(ROOT/inputs['word']).read_bytes()
+    authenticate_word(raw,pin)
+    for name,expected in inputs['git_blobs'].items():
+        need(blob((ROOT/name).read_bytes())==expected,'Authenticated published text Git blob '+name)
+    receipt=json.loads((ROOT/inputs['source_result']).read_bytes())
+    nominal=json.loads((ROOT/inputs['nomination']).read_bytes())
+    need(nominal['single_object']['source_head']==HEAD and nominal['single_object']['edit_old']==BLOCK[1] and
+         nominal['single_object']['edit_new']==['ADD',586,733,'-4',652],'Single fixed nomination')
+    word,length,decoded_sha=decode(raw,pin)
+    spaces,contacts,moves,skeleton,helpers,boundaries=descriptor(word)
+    need(helpers=={str(k):v for k,v in receipt['local']['helpers'].items()} and
+         receipt['local']['public_inputs']==743 and receipt['local']['owned_fields']==9 and
+         receipt['local']['owned_lifetimes']==11 and receipt['local']['peak_owned_fields']==2,
+         'Published local target/boundary/owned descriptor binding')
+    simple=[e for _,e in skeleton]
+    site=unique_site([i for i in range(len(simple)-3) if simple[i:i+4]==BLOCK]);check_block(simple[site:site+4])
+    actual_indices=[skeleton[site+j][0] for j in range(4)];anchor=actual_indices[1]
+    old={};new={};modified={};neighbor={}
+    for r in (586,733):
+        old[r]=route(word['initial'][r],word['final'][r],contacts[r],spaces)
+        need(not old[r]['unsupported_edges'],'Existing affected contact chain is strictly forward')
+        need([(e['old'],e['new'],e['rank']) for e in old[r]['edges']]==[(e['old'],e['new'],e['rank']) for e in moves[r]],
+             'Complete old required-contact route equals all actual published affected MOVEs')
+        hit=[i for i,c in enumerate(contacts[r]) if c['event']==anchor]
+        need(len(hit)==1 and contacts[r][hit[0]]['instruction']==BLOCK[1],'Both role lists bind the same literal donor/recipient event')
+        seq=[dict(c) for c in contacts[r]];i=hit[0]
+        before=seq[i-1] if i else {'kind':'input','frame':word['initial'][r]}
+        after=seq[i+1] if i+1<len(seq) else {'kind':'final','frame':word['final'][r]}
+        neighbor[r]={'preceding':before,'succeeding':after}
+        entry=dict(seq[i]);entry['frame']=652;entry['instruction']=['ADD',586,733,'-4',652];seq[i]=entry
+        need(sum(a!=b for a,b in zip(contacts[r],seq))==1 and len(seq)==len(contacts[r]),'Only one chart contact changes in each affected role list')
+        modified[r]=seq;new[r]=route(word['initial'][r],word['final'][r],seq,spaces)
+    controls={}
+    controls['compressed_byte_corruption']=reject(lambda:authenticate_word(raw[:-1]+bytes([raw[-1]^1]),pin),'Immutable byte/Git/SHA corruption; no mutated decode')
+    badpin=dict(pin);badpin['head']='0'*40
+    controls['wrong_source_binding']=reject(lambda:authenticate_word(raw,badpin),'Exact source-head custody mutation')
+    controls['ambiguous_anchor']=reject(lambda:unique_site([site,site]),'Duplicate match-evidence cardinality; no changed full program')
+    badblock=[e[:] for e in BLOCK];badblock[1][-1]=596
+    controls['wrong_anchor_chart']=reject(lambda:check_block(badblock),'Actual four-gate binding field mutation')
+    small={3:[],597:[82],652:[82,269]}
+    controls['wrong_frame_space']=reject(lambda:frame_binding(small),'Ordered frame basis mutation')
+    controls['reversed_nesting']=reject(lambda:need(strict(spaces[652],spaces[597]),'Reverse public route'), 'Actual reverse inclusion of fixed source spaces')
+    oh,os=histogram(old[586]['edges']),histogram(old[733]['edges'])
+    need(bool(os),'At least one actual positive donor MOVE for donor-charge control')
+    donor_missing=dict(os);first=next(iter(donor_missing));donor_missing[first]-=1;donor_missing=clean(donor_missing)
+    wrong=difference(sumhist(oh,os),sumhist(oh,donor_missing))
+    controls['omitted_donor_charge']=reject(lambda:charged(oh,os,oh,os,wrong),'Omit one actual donor old-MOVE charge while recipient/new bill held fixed')
+    result={'schema':'one-h586-chart-retag-feasibility/v1','source_head':HEAD,'source_word_sha256':WORD_SHA,
+      'source_word_git_blob':WORD_BLOB,'decompressed_bytes_observed':length,'decompressed_hard_cap':LIMIT,'decompressed_source_sha256':decoded_sha,
+      'source_schema':word['schema'],'instruction_count':len(word['program']),'public_inputs':743,'helpers':535,
+      'unique_final_block':{'skeleton_index':site,'actual_program_indices':actual_indices,'events':BLOCK,'old_indices_transferred':False,
+        'skeleton_keeps_owned_MOVEs':True},
+      'source_descriptor_checks':boundaries,'source_contacts':{str(r):contacts[r] for r in contacts},
+      'source_MOVE_chains':{str(r):moves[r] for r in moves},'old_routes':{str(r):old[r] for r in old},
+      'counterfactual_contact_lists':{str(r):modified[r] for r in modified},'new_routes':{str(r):new[r] for r in new},
+      'donor_W_Z':{'W':neighbor[733]['preceding'],'Z':neighbor[733]['succeeding'],
+        'p':len(spaces[neighbor[733]['preceding']['frame']]),'r':len(spaces[neighbor[733]['succeeding']['frame']]),
+        'spaces':{str(f):word['frames'][f] for f in {neighbor[733]['preceding']['frame'],597,652,neighbor[733]['succeeding']['frame']}}},
+      'controls':controls,'changed_full_word_emitted':False,'source_modules_imported':False,
+      'scope':'Only one chart in two required-contact lists; no chronology/basis/boundary/owned changes or route search.',
+      'new_kappa':None,'physical_construction':None,'native_phase_checked':False,'arbitrary_input_endpoint_replay':False,
+      'ordinary_costs_certified':False,'full_pricing_or_compiler_run':False,'fallback_search':False,
+      'interpretation':'Only a necessary physical/economic prerequisite. Descriptor preservation is not independent endpoint/native admission.'}
+    baseline=receipt['complete_cost'];paid={int(r):n for r,n in baseline['paid'].items()};targets={int(r):n for r,n in baseline['targets'].items()}
+    need(baseline['full_forward_calls']==18 and baseline['query_shears']==15 and baseline['whole_idle_jobs']==3120 and
+         sum(paid.values())==66474 and sum(targets.values())==12958 and mass(targets)-mass(paid)==760 and
+         baseline['paid']==nominal['recursive_accounting']['baseline_paid'] and baseline['targets']==nominal['recursive_accounting']['baseline_targets'],
+         'Authenticated fixed full 18-call baseline invoice')
+    result['baseline_complete_paid']=shown(paid);result['baseline_complete_targets']=shown(targets)
+    result['baseline_invoice_status']='Published authenticated receipt; no whole-source paid census or price replay.'
+    unsupported={str(r):new[r]['unsupported_edges'] for r in new if new[r]['unsupported_edges']}
+    if unsupported:
+        result['status']='STOP_UNSUPPORTED_FORWARD_NESTING';result['stop_reason']='The one fixed new direct route is not strictly forward in the exact source spaces.'
+        result['unsupported_edges']=unsupported;result['candidate_paid_invoice']=None;return result
+    nh,ns=histogram(new[586]['edges']),histogram(new[733]['edges'])
+    dh,ds=difference(nh,oh),difference(ns,os);delta=charged(oh,os,nh,ns,sumhist(dh,ds))
+    need(dh=={1:-2,2:1},'Recipient predicted route reduction actually bound')
+    need(mass(delta)==0,'Same endpoint forward paths preserve affected rank mass')
+    candidate=Counter(paid);candidate.update({r:18*n for r,n in delta.items()})
+    need(all(n>=0 for n in candidate.values()) and mass(targets)-mass(candidate)==760,'Complete donor-adjusted invoice and rank mass')
+    result.update({'recipient_local_delta':shown(dh),'donor_local_delta':shown(ds),'complete_two_role_local_delta':shown(delta),
+       'old_recipient_histogram':shown(oh),'old_donor_histogram':shown(os),'new_recipient_histogram':shown(nh),'new_donor_histogram':shown(ns),
+       'candidate_paid_invoice':shown(dict(candidate)),'conditional_unchanged_targets':shown(targets),
+       'candidate_paid_count':sum(candidate.values()),'candidate_target_count':sum(targets.values()),
+       'target_transfer_premise':'Same public boundary/target descriptors and caller; requires later realized chart induction and native/endpoint validation.'})
+    prices=[];intervals=[]
+    for c in POINTS:
+        row,lo,hi=price(delta,c);prices.append(row);intervals.append((lo,hi))
+    result['two_point_paid_cost_differences']=prices
+    if all(hi<0 for lo,hi in intervals):
+        result['status']='FAVORABLE_PHYSICAL_ECONOMIC_PREREQUISITE_ONLY';result['stop_reason']='Both exact donor-adjusted paid-cost upper bounds are negative; no construction or funded result follows.'
+    elif any(lo>=0 for lo,hi in intervals):
+        result['status']='STOP_DONOR_ADJUSTED_NO_GAIN';result['stop_reason']='At least one required point has nonnegative exact paid-cost lower bound, including exact-zero cases.'
+    else:
+        result['status']='STOP_UNRESOLVED_SIGN';result['stop_reason']='The fixed rational enclosures do not certify negative cost at both points. No fallback precision/route search.'
+    return result
+
+
+if __name__=='__main__':
+    try:output=main();code=0
+    except Exception as error:
+        output={'schema':'one-h586-chart-retag-feasibility/v1','status':'STOP_SOURCE_OR_BINDING_FAILURE',
+          'failure':type(error).__name__+': '+str(error),'new_kappa':None,'changed_full_word_emitted':False,
+          'source_modules_imported':False,'fallback_search':False};code=2
+    print(json.dumps(output,sort_keys=True,separators=(',',':')))
+    sys.exit(code)
diff --git a/research/p104-chart-contact-obstruction/evidence/CORE-ADAPTATION.diff b/research/p104-chart-contact-obstruction/evidence/CORE-ADAPTATION.diff
new file mode 100644
index 0000000000..e09a43a206
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/CORE-ADAPTATION.diff
@@ -0,0 +1,11 @@
+--- original/check.py
++++ portable/check.py
+@@ -16,7 +16,7 @@
+ import sys
+ 
+ HERE=Path(__file__).resolve().parent
+-ROOT=HERE.parents[2]
++ROOT=HERE
+ HEAD='3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa'
+ WORD_SHA='9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6'
+ WORD_BLOB='9e68b7de6bfc23bc4fe9940c718dba350ba8a893'
diff --git a/research/p104-chart-contact-obstruction/evidence/GUARD-RECEIPT.json b/research/p104-chart-contact-obstruction/evidence/GUARD-RECEIPT.json
new file mode 100644
index 0000000000..008aed3dfb
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/GUARD-RECEIPT.json
@@ -0,0 +1,13 @@
+{
+  "elapsed_seconds": 1.1085932450077962,
+  "exit_code": 0,
+  "log_sha256": "9b0e8b63db3599aa15e40684fa537b70732bbe262d086810e723fcf31472d2bb",
+  "memory_limit_mib": 512,
+  "original_sha256": "ad3823b2e7830fbaaca3444ea1221552070c402f89e0ed167cdab89447af87ac",
+  "rss_samples": 11,
+  "sampled_peak_descendant_rss_bytes": 52711424,
+  "sanitization": "Command, cwd and interpreter details omitted; not original receipt bytes.",
+  "schema": "serial-research-run/v1",
+  "termination": null,
+  "timeout_seconds": 150.0
+}
diff --git a/research/p104-chart-contact-obstruction/evidence/ORIGINAL-REQUEST.json b/research/p104-chart-contact-obstruction/evidence/ORIGINAL-REQUEST.json
new file mode 100644
index 0000000000..3e3a767b52
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/ORIGINAL-REQUEST.json
@@ -0,0 +1,42 @@
+{
+  "checks": "Unique four-gate anchor; complete old/new two-role direct contact routes; donor-adjusted conditional invoice; fixed two-point price only after physical legality.",
+  "original_checker_sha256": "b296855175e7d2cf84bbab07696b6b5b9589ffe4e1a9060174bb6d796f065304",
+  "original_contract_sha256": "2d78e1ffc29f45f9e2f9ce4758b72f9c59ae48481b5e1d4541a97918e7db4605",
+  "original_inputs_sha256": "9fb19453b6b822117a4eb86e9fbde78176ef4f21a98105fc21a56ea2b35682ee",
+  "original_request_sha256": "9519e4bce478c7d61c60fb1bb01ea4a425f137b668c57fbab83be8d329a9b041",
+  "original_wrapper_sha256": "c8c1dd823b1a1f056bdace6542f9a5e97087ce952c3a1e81d4e182de656d45ac",
+  "resource_contract": {
+    "automatic_retry": false,
+    "cap_increase": false,
+    "child_seconds": 60,
+    "memory_mib": 512,
+    "serial": true,
+    "total_seconds": 150
+  },
+  "sanitization": "Scientific fields extracted; local workspace paths, authority/planning and unrelated context omitted. This extract is not the original request byte string.",
+  "schema": "public-scientific-request-extract/v1",
+  "single_edit": {
+    "edit_new": [
+      "ADD",
+      586,
+      733,
+      "-4",
+      652
+    ],
+    "edit_old": [
+      "ADD",
+      586,
+      733,
+      "-4",
+      597
+    ],
+    "source_head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa"
+  },
+  "source_head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+  "source_word": {
+    "bytes": 107909,
+    "git_blob": "9e68b7de6bfc23bc4fe9940c718dba350ba8a893",
+    "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+    "sha256": "9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6"
+  }
+}
diff --git a/research/p104-chart-contact-obstruction/evidence/PAIR-RECEIPT.json b/research/p104-chart-contact-obstruction/evidence/PAIR-RECEIPT.json
new file mode 100644
index 0000000000..3a1a770a4a
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/PAIR-RECEIPT.json
@@ -0,0 +1,30 @@
+{
+  "elapsed_seconds": 1.038070473994594,
+  "immutable_after_sha256": "fc15c40134b5eb0a630d9526cb0161e0449f2df85711fc3f86e0b107e74ea452",
+  "immutable_before_sha256": "fc15c40134b5eb0a630d9526cb0161e0449f2df85711fc3f86e0b107e74ea452",
+  "immutables_unchanged": true,
+  "modes": [
+    {
+      "exit_code": 0,
+      "mode": "normal",
+      "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+      "stdout_sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4",
+      "timeout_seconds": 60
+    },
+    {
+      "exit_code": 0,
+      "mode": "optimized",
+      "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+      "stdout_sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4",
+      "timeout_seconds": 60
+    }
+  ],
+  "negative_is_completed": true,
+  "original_sha256": "096f8c418c14f9ae89ef9d9c3ac5c79932fc6e9bec29b2c2acd78167e0a17f62",
+  "request_sha256": "9519e4bce478c7d61c60fb1bb01ea4a425f137b668c57fbab83be8d329a9b041",
+  "sanitization": "Absolute local command paths omitted; not original receipt bytes.",
+  "schema": "one-h586-chart-root-pair/v1",
+  "scientific_result_sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4",
+  "scientific_status": "STOP_UNSUPPORTED_FORWARD_NESTING",
+  "status": "COMPLETED_IDENTICAL_PAIR"
+}
diff --git a/research/p104-chart-contact-obstruction/evidence/POST-REVIEW.json b/research/p104-chart-contact-obstruction/evidence/POST-REVIEW.json
new file mode 100644
index 0000000000..e9e2f8ac4e
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/POST-REVIEW.json
@@ -0,0 +1,93 @@
+{
+  "candidate_paid_delta_computed": false,
+  "candidate_paid_invoice": null,
+  "checks": {
+    "child_exits": [
+      0,
+      0
+    ],
+    "entire_normal_optimized_bytes_equal": true,
+    "guard_exit": 0,
+    "guard_termination": null,
+    "immutable_mismatches": 0,
+    "immutable_pins_checked": 35,
+    "negative_controls_rejected": 7,
+    "pair_before_after_immutable_hash_equal": true,
+    "stderr_empty": true
+  },
+  "guard_receipt_sha256": "ad3823b2e7830fbaaca3444ea1221552070c402f89e0ed167cdab89447af87ac",
+  "new_kappa": null,
+  "obstruction": {
+    "W": {
+      "event": 13554,
+      "instruction": [
+        "ADD",
+        695,
+        733,
+        "1",
+        597
+      ]
+    },
+    "Z": {
+      "event": 14397,
+      "instruction": [
+        "ADD",
+        132,
+        733,
+        "2",
+        597
+      ]
+    },
+    "conditional_donor_tariff_formula_applicable": false,
+    "ordered_bases": {
+      "597": [
+        82
+      ],
+      "652": [
+        82,
+        268
+      ]
+    },
+    "p": 1,
+    "r": 1,
+    "reason": "A two-dimensional subspace cannot be contained in a one-dimensional subspace; public transport must be strictly increasing.",
+    "required_local_route": [
+      597,
+      652,
+      597
+    ],
+    "role": 733,
+    "unsupported_edge": {
+      "new": 597,
+      "old": 652,
+      "rank_difference": -1
+    }
+  },
+  "original_sha256": "89f0e6e07d06e946e28aad9cb062bf97b078647ce51d292b739415fe7378c1e5",
+  "pair_receipt_sha256": "096f8c418c14f9ae89ef9d9c3ac5c79932fc6e9bec29b2c2acd78167e0a17f62",
+  "request_sha256": "9519e4bce478c7d61c60fb1bb01ea4a425f137b668c57fbab83be8d329a9b041",
+  "result_sha256": "41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4",
+  "reviewer_word_decode_parse_rerun_source_import_or_scientific_execution": false,
+  "root_observed_resources": {
+    "elapsed_seconds": 1.1085932450077962,
+    "sampled_peak_descendant_rss_bytes": 52711424
+  },
+  "sanitization": "Selected public scientific fields; no local paths or follow-up authority. Not original review bytes.",
+  "schema": "independent-post-result-h586-review/v1",
+  "scientific_status": "STOP_UNSUPPORTED_FORWARD_NESTING",
+  "scope_is_global_obstruction": false,
+  "source_head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+  "two_point_prices_computed": false,
+  "unique_final_anchor": {
+    "actual_program_indices": [
+      14187,
+      14189,
+      14192,
+      14194
+    ],
+    "changed_event": 14189,
+    "historical_indices_transferred": false,
+    "skeleton_index": 12752
+  },
+  "verdict": "ACCEPT_COMPLETED_SCOPED_PHYSICAL_STOP"
+}
diff --git a/research/p104-chart-contact-obstruction/evidence/PUBLICATION-CONTEXT.json b/research/p104-chart-contact-obstruction/evidence/PUBLICATION-CONTEXT.json
new file mode 100644
index 0000000000..29a40d01e8
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/PUBLICATION-CONTEXT.json
@@ -0,0 +1,15 @@
+{
+  "decision": "CLEAR_FOCUSED_HISTORICAL_OBSTRUCTION_PUBLICATION_NO_NEW_KAPPA",
+  "guidance_base": "df0137efd35e11b4445734bf612bdd4c7ebc330c",
+  "neighboring_scope_url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/5645",
+  "novelty_limit": "No matching public finding observed in bounded source/overlap review; no global novelty proof.",
+  "publication_gate_sha256": "bf7a2dd4a289bd2376c825de9a9a132a2481e85246b7a2c6f1fd874387b71413",
+  "source_gate_custody_sha256": "bca2e3563a8f4d40b6b61a6da9e41332617edd0aeb9cf157f9982abf97c36e0e",
+  "successor": {
+    "author_conditional_kappa": "0.00310815849",
+    "head": "af814f6f3c477fdd13b8f04380a33cf32004966b",
+    "historical_obstruction_transfers": false,
+    "pr_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5678",
+    "replayed_here": false
+  }
+}
diff --git a/research/p104-chart-contact-obstruction/evidence/RESULT-normal.json b/research/p104-chart-contact-obstruction/evidence/RESULT-normal.json
new file mode 100644
index 0000000000..8ec86b5ed0
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/RESULT-normal.json
@@ -0,0 +1 @@
+{"arbitrary_input_endpoint_replay":false,"baseline_complete_paid":{"1":41070,"16":416,"2":8244,"24":416,"3":8874,"32":416,"4":1638,"40":416,"48":416,"5":2862,"56":416,"6":396,"64":416,"7":270,"72":208},"baseline_complete_targets":{"1":36,"145":208,"17":416,"2":72,"25":416,"33":416,"4":1638,"41":416,"49":416,"5":108,"57":416,"65":416,"7":90,"73":208,"8":288,"9":7398},"baseline_invoice_status":"Published authenticated receipt; no whole-source paid census or price replay.","candidate_paid_invoice":null,"changed_full_word_emitted":false,"controls":{"ambiguous_anchor":{"outcome":"rejected","strength":"Duplicate match-evidence cardinality; no changed full program"},"compressed_byte_corruption":{"outcome":"rejected","strength":"Immutable byte/Git/SHA corruption; no mutated decode"},"omitted_donor_charge":{"outcome":"rejected","strength":"Omit one actual donor old-MOVE charge while recipient/new bill held fixed"},"reversed_nesting":{"outcome":"rejected","strength":"Actual reverse inclusion of fixed source spaces"},"wrong_anchor_chart":{"outcome":"rejected","strength":"Actual four-gate binding field mutation"},"wrong_frame_space":{"outcome":"rejected","strength":"Ordered frame basis mutation"},"wrong_source_binding":{"outcome":"rejected","strength":"Exact source-head custody mutation"}},"counterfactual_contact_lists":{"586":[{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"op":"ADD"},{"access":["destination"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"op":"ADD"}],"733":[{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"op":"ADD"},{"access":["source"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"op":"ADD"}]},"decompressed_bytes_observed":783652,"decompressed_hard_cap":16777216,"decompressed_source_sha256":"6b12b2e35a19212233e50c0d107591cb3fa395f4d771d106668f05eb4ce5fb1b","donor_W_Z":{"W":{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"op":"ADD"},"Z":{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"op":"ADD"},"p":1,"r":1,"spaces":{"597":[82],"652":[82,268]}},"fallback_search":false,"full_pricing_or_compiler_run":false,"helpers":535,"instruction_count":25448,"interpretation":"Only a necessary physical/economic prerequisite. Descriptor preservation is not independent endpoint/native admission.","native_phase_checked":false,"new_kappa":null,"new_routes":{"586":{"coalesced_visits":[3,652,773,774,910,127],"edges":[{"new":652,"old":3,"rank":2,"strict_forward":true},{"new":773,"old":652,"rank":2,"strict_forward":true},{"new":774,"old":773,"rank":2,"strict_forward":true},{"new":910,"old":774,"rank":1,"strict_forward":true},{"new":127,"old":910,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"kind":"contact","op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"kind":"contact","op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"kind":"contact","op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"kind":"contact","op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[]},"733":{"coalesced_visits":[3,597,652,597,794,911,127],"edges":[{"new":597,"old":3,"rank":1,"strict_forward":true},{"new":652,"old":597,"rank":1,"strict_forward":true},{"new":597,"old":652,"rank":-1,"strict_forward":false},{"new":794,"old":597,"rank":5,"strict_forward":true},{"new":911,"old":794,"rank":1,"strict_forward":true},{"new":127,"old":911,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"kind":"contact","op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"kind":"contact","op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"kind":"contact","op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[{"new":597,"old":652,"rank":-1,"strict_forward":false}]}},"old_routes":{"586":{"coalesced_visits":[3,597,652,773,774,910,127],"edges":[{"new":597,"old":3,"rank":1,"strict_forward":true},{"new":652,"old":597,"rank":1,"strict_forward":true},{"new":773,"old":652,"rank":2,"strict_forward":true},{"new":774,"old":773,"rank":2,"strict_forward":true},{"new":910,"old":774,"rank":1,"strict_forward":true},{"new":127,"old":910,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"kind":"contact","op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"kind":"contact","op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"kind":"contact","op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[]},"733":{"coalesced_visits":[3,597,794,911,127],"edges":[{"new":597,"old":3,"rank":1,"strict_forward":true},{"new":794,"old":597,"rank":5,"strict_forward":true},{"new":911,"old":794,"rank":1,"strict_forward":true},{"new":127,"old":911,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"kind":"contact","op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"kind":"contact","op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[]}},"ordinary_costs_certified":false,"physical_construction":null,"public_inputs":743,"schema":"one-h586-chart-retag-feasibility/v1","scope":"Only one chart in two required-contact lists; no chronology/basis/boundary/owned changes or route search.","source_MOVE_chains":{"586":[{"event":14188,"new":597,"old":3,"rank":1},{"event":14191,"new":652,"old":597,"rank":1},{"event":14817,"new":773,"old":652,"rank":2},{"event":14820,"new":774,"old":773,"rank":2},{"event":15474,"new":910,"old":774,"rank":1},{"event":16713,"new":127,"old":910,"rank":2}],"733":[{"event":13551,"new":597,"old":3,"rank":1},{"event":14884,"new":794,"old":597,"rank":5},{"event":15466,"new":911,"old":794,"rank":1},{"event":17245,"new":127,"old":911,"rank":2}]},"source_contacts":{"586":[{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"op":"ADD"},{"access":["destination"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"op":"ADD"}],"733":[{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"op":"ADD"},{"access":["source"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"op":"ADD"}]},"source_descriptor_checks":{"owned_lifetimes":11,"owned_subsequence_sha256":"1afa800e329de0d600778f8f5de448cd3a06c391d0763b45922461d94b913a9b","peak_owned":2,"public_boundary_descriptor_sha256":"564caeb99e67d04a7194fe99e84f947329d4c01fc37226078f086ae38b0f84e2","scalar_opcode_roles_coefficients_order_sha256":"8b18004534646ec44cd7044ef07f7e90853dc2572d7c96c6c735b54478578436","scope":"Descriptor and chart/lifetime chronology checks only; no endpoint linear-map, erasure-zero or native phase replay.","unmodified_nonprogram_descriptor_sha256":"32721f16106a0ba0d0c31ee943ee835086ac1ffbda627976280827dc84ac2e11"},"source_head":"3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa","source_modules_imported":false,"source_schema":"p104-contact-rewrite/1","source_word_git_blob":"9e68b7de6bfc23bc4fe9940c718dba350ba8a893","source_word_sha256":"9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6","status":"STOP_UNSUPPORTED_FORWARD_NESTING","stop_reason":"The one fixed new direct route is not strictly forward in the exact source spaces.","unique_final_block":{"actual_program_indices":[14187,14189,14192,14194],"events":[["ADD",165,586,"1/2",3],["ADD",586,733,"-4",597],["ADD",21,586,"1",652],["ADD",165,21,"-1/2",652]],"old_indices_transferred":false,"skeleton_index":12752,"skeleton_keeps_owned_MOVEs":true},"unsupported_edges":{"733":[{"new":597,"old":652,"rank":-1,"strict_forward":false}]}}
diff --git a/research/p104-chart-contact-obstruction/evidence/RESULT-optimized.json b/research/p104-chart-contact-obstruction/evidence/RESULT-optimized.json
new file mode 100644
index 0000000000..8ec86b5ed0
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/RESULT-optimized.json
@@ -0,0 +1 @@
+{"arbitrary_input_endpoint_replay":false,"baseline_complete_paid":{"1":41070,"16":416,"2":8244,"24":416,"3":8874,"32":416,"4":1638,"40":416,"48":416,"5":2862,"56":416,"6":396,"64":416,"7":270,"72":208},"baseline_complete_targets":{"1":36,"145":208,"17":416,"2":72,"25":416,"33":416,"4":1638,"41":416,"49":416,"5":108,"57":416,"65":416,"7":90,"73":208,"8":288,"9":7398},"baseline_invoice_status":"Published authenticated receipt; no whole-source paid census or price replay.","candidate_paid_invoice":null,"changed_full_word_emitted":false,"controls":{"ambiguous_anchor":{"outcome":"rejected","strength":"Duplicate match-evidence cardinality; no changed full program"},"compressed_byte_corruption":{"outcome":"rejected","strength":"Immutable byte/Git/SHA corruption; no mutated decode"},"omitted_donor_charge":{"outcome":"rejected","strength":"Omit one actual donor old-MOVE charge while recipient/new bill held fixed"},"reversed_nesting":{"outcome":"rejected","strength":"Actual reverse inclusion of fixed source spaces"},"wrong_anchor_chart":{"outcome":"rejected","strength":"Actual four-gate binding field mutation"},"wrong_frame_space":{"outcome":"rejected","strength":"Ordered frame basis mutation"},"wrong_source_binding":{"outcome":"rejected","strength":"Exact source-head custody mutation"}},"counterfactual_contact_lists":{"586":[{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"op":"ADD"},{"access":["destination"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"op":"ADD"}],"733":[{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"op":"ADD"},{"access":["source"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"op":"ADD"}]},"decompressed_bytes_observed":783652,"decompressed_hard_cap":16777216,"decompressed_source_sha256":"6b12b2e35a19212233e50c0d107591cb3fa395f4d771d106668f05eb4ce5fb1b","donor_W_Z":{"W":{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"op":"ADD"},"Z":{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"op":"ADD"},"p":1,"r":1,"spaces":{"597":[82],"652":[82,268]}},"fallback_search":false,"full_pricing_or_compiler_run":false,"helpers":535,"instruction_count":25448,"interpretation":"Only a necessary physical/economic prerequisite. Descriptor preservation is not independent endpoint/native admission.","native_phase_checked":false,"new_kappa":null,"new_routes":{"586":{"coalesced_visits":[3,652,773,774,910,127],"edges":[{"new":652,"old":3,"rank":2,"strict_forward":true},{"new":773,"old":652,"rank":2,"strict_forward":true},{"new":774,"old":773,"rank":2,"strict_forward":true},{"new":910,"old":774,"rank":1,"strict_forward":true},{"new":127,"old":910,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"kind":"contact","op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"kind":"contact","op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"kind":"contact","op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"kind":"contact","op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[]},"733":{"coalesced_visits":[3,597,652,597,794,911,127],"edges":[{"new":597,"old":3,"rank":1,"strict_forward":true},{"new":652,"old":597,"rank":1,"strict_forward":true},{"new":597,"old":652,"rank":-1,"strict_forward":false},{"new":794,"old":597,"rank":5,"strict_forward":true},{"new":911,"old":794,"rank":1,"strict_forward":true},{"new":127,"old":911,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14189,"frame":652,"instruction":["ADD",586,733,"-4",652],"kind":"contact","op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"kind":"contact","op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"kind":"contact","op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[{"new":597,"old":652,"rank":-1,"strict_forward":false}]}},"old_routes":{"586":{"coalesced_visits":[3,597,652,773,774,910,127],"edges":[{"new":597,"old":3,"rank":1,"strict_forward":true},{"new":652,"old":597,"rank":1,"strict_forward":true},{"new":773,"old":652,"rank":2,"strict_forward":true},{"new":774,"old":773,"rank":2,"strict_forward":true},{"new":910,"old":774,"rank":1,"strict_forward":true},{"new":127,"old":910,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"kind":"contact","op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"kind":"contact","op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"kind":"contact","op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"kind":"contact","op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[]},"733":{"coalesced_visits":[3,597,794,911,127],"edges":[{"new":597,"old":3,"rank":1,"strict_forward":true},{"new":794,"old":597,"rank":5,"strict_forward":true},{"new":911,"old":794,"rank":1,"strict_forward":true},{"new":127,"old":911,"rank":2,"strict_forward":true}],"required":[{"frame":3,"kind":"input"},{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"kind":"contact","op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"kind":"contact","op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"kind":"contact","op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"kind":"contact","op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"kind":"contact","op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"kind":"contact","op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"kind":"contact","op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"kind":"contact","op":"ADD"},{"frame":127,"kind":"final"}],"unsupported_edges":[]}},"ordinary_costs_certified":false,"physical_construction":null,"public_inputs":743,"schema":"one-h586-chart-retag-feasibility/v1","scope":"Only one chart in two required-contact lists; no chronology/basis/boundary/owned changes or route search.","source_MOVE_chains":{"586":[{"event":14188,"new":597,"old":3,"rank":1},{"event":14191,"new":652,"old":597,"rank":1},{"event":14817,"new":773,"old":652,"rank":2},{"event":14820,"new":774,"old":773,"rank":2},{"event":15474,"new":910,"old":774,"rank":1},{"event":16713,"new":127,"old":910,"rank":2}],"733":[{"event":13551,"new":597,"old":3,"rank":1},{"event":14884,"new":794,"old":597,"rank":5},{"event":15466,"new":911,"old":794,"rank":1},{"event":17245,"new":127,"old":911,"rank":2}]},"source_contacts":{"586":[{"access":["source"],"event":112,"frame":3,"instruction":["ADD",123,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":114,"frame":3,"instruction":["ADD",148,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":116,"frame":3,"instruction":["ADD",175,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":118,"frame":3,"instruction":["ADD",182,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":120,"frame":3,"instruction":["ADD",203,586,"-1/2",3],"op":"ADD"},{"access":["source"],"event":122,"frame":3,"instruction":["ADD",223,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13791,"frame":3,"instruction":["ADD",197,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":13792,"frame":3,"instruction":["ADD",147,586,"1/2",3],"op":"ADD"},{"access":["source"],"event":14187,"frame":3,"instruction":["ADD",165,586,"1/2",3],"op":"ADD"},{"access":["destination"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14192,"frame":652,"instruction":["ADD",21,586,"1",652],"op":"ADD"},{"access":["destination"],"event":14818,"frame":773,"instruction":["ADD",586,436,"1",773],"op":"ADD"},{"access":["source"],"event":14821,"frame":774,"instruction":["ADD",351,586,"-1/2",774],"op":"ADD"},{"access":["source"],"event":15475,"frame":910,"instruction":["ADD",197,586,"-1/2",910],"op":"ADD"},{"access":["source"],"event":16714,"frame":127,"instruction":["ADD",351,586,"1/2",127],"op":"ADD"},{"access":["destination"],"event":16782,"frame":127,"instruction":["ADD",586,436,"-1",127],"op":"ADD"},{"access":["destination"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["source"],"event":24633,"frame":127,"instruction":["ADD",21,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24636,"frame":127,"instruction":["ADD",47,586,"-1/2",127],"op":"ADD"},{"access":["source"],"event":24639,"frame":127,"instruction":["ADD",434,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24642,"frame":127,"instruction":["ADD",435,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24645,"frame":127,"instruction":["ADD",436,586,"1/2",127],"op":"ADD"},{"access":["source"],"event":24648,"frame":127,"instruction":["ADD",437,586,"1/2",127],"op":"ADD"}],"733":[{"access":["source"],"event":113,"frame":3,"instruction":["ADD",123,733,"2",3],"op":"ADD"},{"access":["source"],"event":115,"frame":3,"instruction":["ADD",148,733,"-2",3],"op":"ADD"},{"access":["source"],"event":117,"frame":3,"instruction":["ADD",175,733,"-2",3],"op":"ADD"},{"access":["source"],"event":119,"frame":3,"instruction":["ADD",182,733,"-2",3],"op":"ADD"},{"access":["source"],"event":121,"frame":3,"instruction":["ADD",203,733,"2",3],"op":"ADD"},{"access":["source"],"event":123,"frame":3,"instruction":["ADD",223,733,"-2",3],"op":"ADD"},{"access":["source"],"event":242,"frame":3,"instruction":["ADD",127,733,"-2",3],"op":"ADD"},{"access":["source"],"event":271,"frame":3,"instruction":["ADD",132,733,"-2",3],"op":"ADD"},{"access":["source"],"event":286,"frame":3,"instruction":["ADD",136,733,"2",3],"op":"ADD"},{"access":["source"],"event":322,"frame":3,"instruction":["ADD",140,733,"2",3],"op":"ADD"},{"access":["source"],"event":357,"frame":3,"instruction":["ADD",144,733,"2",3],"op":"ADD"},{"access":["source"],"event":370,"frame":3,"instruction":["ADD",147,733,"2",3],"op":"ADD"},{"access":["source"],"event":402,"frame":3,"instruction":["ADD",153,733,"-2",3],"op":"ADD"},{"access":["source"],"event":441,"frame":3,"instruction":["ADD",157,733,"-2",3],"op":"ADD"},{"access":["source"],"event":444,"frame":3,"instruction":["ADD",158,733,"-2",3],"op":"ADD"},{"access":["source"],"event":457,"frame":3,"instruction":["ADD",160,733,"-2",3],"op":"ADD"},{"access":["source"],"event":489,"frame":3,"instruction":["ADD",165,733,"2",3],"op":"ADD"},{"access":["source"],"event":537,"frame":3,"instruction":["ADD",170,733,"-2",3],"op":"ADD"},{"access":["source"],"event":640,"frame":3,"instruction":["ADD",183,733,"-2",3],"op":"ADD"},{"access":["source"],"event":666,"frame":3,"instruction":["ADD",187,733,"2",3],"op":"ADD"},{"access":["source"],"event":723,"frame":3,"instruction":["ADD",194,733,"-2",3],"op":"ADD"},{"access":["source"],"event":750,"frame":3,"instruction":["ADD",197,733,"2",3],"op":"ADD"},{"access":["source"],"event":792,"frame":3,"instruction":["ADD",202,733,"2",3],"op":"ADD"},{"access":["source"],"event":857,"frame":3,"instruction":["ADD",210,733,"-2",3],"op":"ADD"},{"access":["source"],"event":913,"frame":3,"instruction":["ADD",218,733,"2",3],"op":"ADD"},{"access":["source"],"event":928,"frame":3,"instruction":["ADD",219,733,"-2",3],"op":"ADD"},{"access":["source"],"event":13119,"frame":3,"instruction":["ADD",695,733,"-1",3],"op":"ADD"},{"access":["destination"],"event":13552,"frame":597,"instruction":["ADD",733,746,"1",597],"op":"ADD"},{"access":["source"],"event":13554,"frame":597,"instruction":["ADD",695,733,"1",597],"op":"ADD"},{"access":["source"],"event":14189,"frame":597,"instruction":["ADD",586,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14397,"frame":597,"instruction":["ADD",132,733,"2",597],"op":"ADD"},{"access":["source"],"event":14812,"frame":597,"instruction":["ADD",585,733,"-4",597],"op":"ADD"},{"access":["source"],"event":14885,"frame":794,"instruction":["ADD",140,733,"2",794],"op":"ADD"},{"access":["source"],"event":15467,"frame":911,"instruction":["ADD",144,733,"2",911],"op":"ADD"},{"access":["source"],"event":17246,"frame":127,"instruction":["ADD",585,733,"4",127],"op":"ADD"},{"access":["source"],"event":17247,"frame":127,"instruction":["ADD",586,733,"4",127],"op":"ADD"},{"access":["destination"],"event":17457,"frame":127,"instruction":["ADD",733,133,"1/2",127],"op":"ADD"},{"access":["source"],"event":24634,"frame":127,"instruction":["ADD",21,733,"2",127],"op":"ADD"},{"access":["source"],"event":24637,"frame":127,"instruction":["ADD",47,733,"2",127],"op":"ADD"},{"access":["source"],"event":24640,"frame":127,"instruction":["ADD",434,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24643,"frame":127,"instruction":["ADD",435,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24646,"frame":127,"instruction":["ADD",436,733,"-2",127],"op":"ADD"},{"access":["source"],"event":24649,"frame":127,"instruction":["ADD",437,733,"-2",127],"op":"ADD"}]},"source_descriptor_checks":{"owned_lifetimes":11,"owned_subsequence_sha256":"1afa800e329de0d600778f8f5de448cd3a06c391d0763b45922461d94b913a9b","peak_owned":2,"public_boundary_descriptor_sha256":"564caeb99e67d04a7194fe99e84f947329d4c01fc37226078f086ae38b0f84e2","scalar_opcode_roles_coefficients_order_sha256":"8b18004534646ec44cd7044ef07f7e90853dc2572d7c96c6c735b54478578436","scope":"Descriptor and chart/lifetime chronology checks only; no endpoint linear-map, erasure-zero or native phase replay.","unmodified_nonprogram_descriptor_sha256":"32721f16106a0ba0d0c31ee943ee835086ac1ffbda627976280827dc84ac2e11"},"source_head":"3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa","source_modules_imported":false,"source_schema":"p104-contact-rewrite/1","source_word_git_blob":"9e68b7de6bfc23bc4fe9940c718dba350ba8a893","source_word_sha256":"9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6","status":"STOP_UNSUPPORTED_FORWARD_NESTING","stop_reason":"The one fixed new direct route is not strictly forward in the exact source spaces.","unique_final_block":{"actual_program_indices":[14187,14189,14192,14194],"events":[["ADD",165,586,"1/2",3],["ADD",586,733,"-4",597],["ADD",21,586,"1",652],["ADD",165,21,"-1/2",652]],"old_indices_transferred":false,"skeleton_index":12752,"skeleton_keeps_owned_MOVEs":true},"unsupported_edges":{"733":[{"new":597,"old":652,"rank":-1,"strict_forward":false}]}}
diff --git a/research/p104-chart-contact-obstruction/evidence/STATIC-REVIEW.json b/research/p104-chart-contact-obstruction/evidence/STATIC-REVIEW.json
new file mode 100644
index 0000000000..cd89af5ec9
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/STATIC-REVIEW.json
@@ -0,0 +1,17 @@
+{
+  "checker_sha256": "b296855175e7d2cf84bbab07696b6b5b9589ffe4e1a9060174bb6d796f065304",
+  "decision": "ACCEPT_EXACT_FROZEN_PACKET_FOR_ONE_ROOT_ONLY_GUARDED_PAIR",
+  "material_blockers": [],
+  "original_sha256": "35b362917f97f956fc0693e6d07afcf957b0c9a13d7c954af175d1b98e0f5323",
+  "pin_checks": {
+    "inputs_sha256": 31,
+    "mismatches": 0,
+    "published_text_git_blobs": 15,
+    "request_immutable_sha256": 35
+  },
+  "request_sha256": "9519e4bce478c7d61c60fb1bb01ea4a425f137b668c57fbab83be8d329a9b041",
+  "reviewer_word_decode_or_scientific_execution": false,
+  "sanitization": "Selected public scientific fields; not original review bytes.",
+  "schema": "public-static-review-extract/v1",
+  "scope": "One fixed historical chart edit; no changed full word, native, endpoint, ordinary or funding admission."
+}
diff --git a/research/p104-chart-contact-obstruction/evidence/original-check.py b/research/p104-chart-contact-obstruction/evidence/original-check.py
new file mode 100644
index 0000000000..20737685e5
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/evidence/original-check.py
@@ -0,0 +1,382 @@
+#!/usr/bin/env python3
+"""One fixed 5660 contact-chart prerequisite; root-only scientific execution.
+
+No source imports, constructor, changed full word, endpoint/native replay or
+whole pricing engine. Exact rational/bit arithmetic; Apache-2.0.
+Credit Ali Romman and retained source/controller/native/compiler contributors;
+OpenAI Codex assistance. See CONTRACT.md for the deliberately limited claim.
+"""
+from collections import Counter
+from fractions import Fraction as Q
+import gzip
+import hashlib
+import io
+import json
+from pathlib import Path
+import sys
+
+HERE=Path(__file__).resolve().parent
+ROOT=HERE.parents[2]
+HEAD='3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa'
+WORD_SHA='9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6'
+WORD_BLOB='9e68b7de6bfc23bc4fe9940c718dba350ba8a893'
+LIMIT=16*1024*1024
+BLOCK=[['ADD',165,586,'1/2',3],['ADD',586,733,'-4',597],
+       ['ADD',21,586,'1',652],['ADD',165,21,'-1/2',652]]
+POINTS=(Q(33,10000),Q(6600001,2000000000))
+
+
+class SourceError(ValueError):pass
+
+
+def need(ok,message):
+    if not ok:raise SourceError(message)
+
+
+def sha(raw):return hashlib.sha256(raw).hexdigest()
+def blob(raw):return hashlib.sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw).hexdigest()
+def canonical(value):return json.dumps(value,sort_keys=True,separators=(',',':')).encode()
+def shown(h):return {str(r):n for r,n in sorted(h.items()) if n}
+def mass(h):return sum(r*n for r,n in h.items())
+def clean(h):return {r:n for r,n in h.items() if n}
+def isint(x):return type(x) is int
+
+
+def authenticate_word(raw,pin):
+    need(pin['head']==HEAD and pin['bytes']==107909 and pin['sha256']==WORD_SHA and pin['git_blob']==WORD_BLOB,
+         'Exact fixed source binding')
+    need(len(raw)==107909 and sha(raw)==WORD_SHA and blob(raw)==WORD_BLOB,'Compressed WORD byte/Git/SHA identity before decode')
+
+
+def integer_token(s):
+    need(len(s)<=11,'Bounded JSON integer token')
+    n=int(s);need(abs(n)<=2**31-1,'Bounded JSON integer value');return n
+
+
+def pairs_unique(pairs):
+    out={}
+    for k,v in pairs:
+        need(k not in out,'Duplicate JSON descriptor key');out[k]=v
+    return out
+
+
+def bad_constant(s):raise SourceError('Unexpected JSON numeric constant '+s)
+
+
+def decode(raw,pin):
+    authenticate_word(raw,pin)
+    with gzip.GzipFile(fileobj=io.BytesIO(raw),mode='rb') as stream:
+        decoded=stream.read(LIMIT+1)
+        need(len(decoded)<=LIMIT,'Decompressed WORD exceeds hard 16 MiB abort cap')
+        need(stream.read(1)==b'','Decompressed WORD has excess data')
+    word=json.loads(decoded,object_pairs_hook=pairs_unique,parse_int=integer_token,parse_constant=bad_constant)
+    stack=[(word,0)];nodes=0
+    while stack:
+        x,depth=stack.pop();nodes+=1
+        need(nodes<=500000 and depth<=16,'Descriptor node/depth cap')
+        if isinstance(x,dict):
+            need(len(x)<=64 and all(isinstance(k,str) and len(k)<=128 for k in x),'Descriptor field cap')
+            stack.extend((v,depth+1) for v in x.values())
+        elif isinstance(x,list):
+            need(len(x)<=26000,'Descriptor array cap');stack.extend((v,depth+1) for v in x)
+        elif isinstance(x,str):need(len(x)<=4096,'Descriptor string cap')
+        elif isinstance(x,float):need(x==x and abs(x)!=float('inf'),'Finite unused metadata number')
+        else:need(x is None or type(x) in (int,bool),'Unexpected descriptor value')
+    return word,len(decoded),sha(decoded)
+
+
+def reduced_basis(vectors):
+    pivots={}
+    for v in vectors:
+        need(isint(v) and 0<v<512,'Nine-axis binary frame vector')
+        x=v
+        for p,b in sorted(pivots.items(),reverse=True):
+            if x&(1<<p):x^=b
+        need(x!=0,'Independent frame basis')
+        pivots[x.bit_length()-1]=x
+    return sorted(pivots.items(),reverse=True)
+
+
+def included(a,b):
+    for _,v in a:
+        x=v
+        for p,w in b:
+            if x&(1<<p):x^=w
+        if x:return False
+    return True
+
+
+def strict(a,b):return len(a)<len(b) and included(a,b)
+
+
+def frame_binding(frames):
+    need(frames[3]==[] and frames[597]==[82] and frames[652]==[82,268],
+         'Exact pinned zero/one/two-dimensional chart labels and ordered bases')
+
+
+def event_roles(e):return set(e[1:3]) if e[0] in ('ADD','COPY') else {e[1]}
+
+
+def descriptor(word):
+    need(isinstance(word,dict) and word.get('schema')=='p104-contact-rewrite/1','Exact emitted WORD schema')
+    for name in ('frames','public','owned_fields','initial','final','live','program'):need(name in word,'Missing descriptor '+name)
+    n,owned=word['public'],word['owned_fields']
+    need(isint(n) and n==743 and isint(owned) and owned==9,'Exact public and owned slot counts')
+    frames=word['frames'];need(isinstance(frames,list) and 653<=len(frames)<=4096,'Frame table cap')
+    need(all(isinstance(b,list) and len(b)<=9 for b in frames),'Frame dimension cap')
+    spaces=[reduced_basis(b) for b in frames];frame_binding(frames)
+    def frame(f):need(isint(f) and 0<=f<len(frames),'Valid frame index')
+    for name in ('initial','final'):
+        need(isinstance(word[name],list) and len(word[name])==n,'Exact public boundary width')
+        for f in word[name]:frame(f)
+    live=word['live'];need(isinstance(live,list) and len(live)==len(set(live))==104 and
+        all(isint(r) and 0<=r<n and r+112<n for r in live),'Exact main role descriptor')
+    main=set(live)|{r+112 for r in live};need(len(main)==208,'Disjoint main input/output roles')
+    helpers={r for r in range(n) if r not in main};need(len(helpers)==535 and {586,733}<=helpers,'Retained independent helpers')
+    target=Counter()
+    for r in helpers:
+        a,b=word['initial'][r],word['final'][r]
+        need(strict(spaces[a],spaces[b]),'Source helper boundary is strictly increasing')
+        target[len(spaces[b])-len(spaces[a])]+=1
+    program=word['program'];need(isinstance(program,list) and 0<len(program)<=26000,'Instruction hard cap')
+    current={r:word['initial'][r] for r in (586,733)}
+    owned_current=[None]*owned;lifetimes=peak=0
+    skeleton=[];contacts={r:[] for r in current};moves={r:[] for r in current};owned_tape=[];scalar_tape=[]
+    for i,e in enumerate(program):
+        need(isinstance(e,list) and e and isinstance(e[0],str),'Instruction record type')
+        op=e[0];need(op in ('MOVE','ADD','COPY','SCALE','INIT','CLEAR'),'Opcode covered by contact extraction')
+        size={'MOVE':5,'ADD':5,'COPY':5,'SCALE':4,'INIT':3,'CLEAR':3}[op]
+        need(len(e)==size,'Exact opcode width')
+        need(isint(e[1]) and 0<=e[1]<n+owned,'Valid destination/owner role')
+        if op in ('ADD','COPY'):need(isint(e[2]) and 0<=e[2]<n+owned,'Valid source role')
+        if op=='MOVE':
+            frame(e[2]);frame(e[3]);need(type(e[4]) is bool,'MOVE orientation field')
+        elif op in ('INIT','CLEAR'):frame(e[2]);need(e[1]>=n,'No public lifetime creation/erasure')
+        else:
+            frame(e[-1]);need(isinstance(e[-2],str) and len(e[-2])<=128,'Exact bounded scalar coefficient')
+            q=Q(e[-2]);need(q.numerator.bit_length()<=256 and q.denominator.bit_length()<=256 and
+                q.denominator&(q.denominator-1)==0 and q and abs(q)+1<2**16,'Bounded nonzero dyadic scalar coefficient')
+            if op=='SCALE':need(abs(q.numerator)&(abs(q.numerator)-1)==0,'Dyadic unit SCALE grammar')
+            if op in ('ADD','COPY'):need(e[1]!=e[2],'Distinct scalar operands')
+            if op=='COPY':need(e[1]>=n,'COPY destination is an owned slot')
+        touched=event_roles(e)
+        if op!='MOVE' or e[1]>=n:skeleton.append((i,e))
+        if any(r>=n for r in touched):owned_tape.append(e)
+        if op!='MOVE':scalar_tape.append(e[:-1])
+        if op=='INIT':
+            slot=e[1]-n;need(owned_current[slot] is None,'Fresh owned lifetime')
+            owned_current[slot]=e[2];lifetimes+=1;peak=max(peak,sum(x is not None for x in owned_current))
+        elif op=='CLEAR':
+            slot=e[1]-n;need(owned_current[slot]==e[2],'Declared owned erasure chart');owned_current[slot]=None
+        elif op=='MOVE':
+            if e[1]>=n:
+                slot=e[1]-n;need(owned_current[slot]==e[2] and e[4] is True and strict(spaces[e[3]],spaces[e[2]]),
+                    'Existing owned MOVE chronology/orientation/reverse inclusion');owned_current[slot]=e[3]
+            if e[1] in current:
+                r=e[1];need(e[4] is False and current[r]==e[2] and strict(spaces[e[2]],spaces[e[3]]),
+                    'Existing affected public MOVE is direct strict forward inclusion')
+                moves[r].append({'event':i,'old':e[2],'new':e[3],'rank':len(spaces[e[3]])-len(spaces[e[2]])});current[r]=e[3]
+        else:
+            for r in touched:
+                if r>=n:need(owned_current[r-n]==e[-1],'Owned scalar contact chart/activity')
+                if r in current:
+                    need(current[r]==e[-1],'Existing affected role contact matches its actual current chart')
+                    access=[]
+                    if e[1]==r:access.append('destination')
+                    if op in ('ADD','COPY') and e[2]==r:access.append('source')
+                    contacts[r].append({'event':i,'op':op,'instruction':e,'frame':e[-1],'access':access})
+    need(lifetimes==11 and peak==2 and all(x is None for x in owned_current),'Complete declared owned chronology counts and final inactivity')
+    for r in current:need(current[r]==word['final'][r],'Affected role actual final chart')
+    return spaces,contacts,moves,skeleton,shown(target),{
+        'owned_lifetimes':lifetimes,'peak_owned':peak,'owned_subsequence_sha256':sha(canonical(owned_tape)),
+        'scalar_opcode_roles_coefficients_order_sha256':sha(canonical(scalar_tape)),
+        'public_boundary_descriptor_sha256':sha(canonical({k:word[k] for k in ('public','owned_fields','initial','final','live')})),
+        'unmodified_nonprogram_descriptor_sha256':sha(canonical({k:v for k,v in word.items() if k!='program'})),
+        'scope':'Descriptor and chart/lifetime chronology checks only; no endpoint linear-map, erasure-zero or native phase replay.'}
+
+
+def unique_site(sites):
+    need(len(sites)==1,'Exactly one final four-gate skeleton occurrence');return sites[0]
+
+
+def check_block(block):need(block==BLOCK,'Exact fixed four-gate scalar roles/coefficients/charts')
+
+
+def route(initial,final,contacts,spaces):
+    required=[{'kind':'input','frame':initial}]+[dict(c,kind='contact') for c in contacts]+[{'kind':'final','frame':final}]
+    visits=[]
+    for item in required:
+        if not visits or visits[-1]!=item['frame']:visits.append(item['frame'])
+    edges=[];failures=[]
+    for a,b in zip(visits,visits[1:]):
+        ok=strict(spaces[a],spaces[b]);entry={'old':a,'new':b,'rank':len(spaces[b])-len(spaces[a]),'strict_forward':ok}
+        edges.append(entry)
+        if not ok:failures.append(entry)
+    return {'required':required,'coalesced_visits':visits,'edges':edges,'unsupported_edges':failures}
+
+
+def histogram(edges):
+    need(all(e['strict_forward'] and e['rank']>0 for e in edges),'Only legal forward edges earn a paid histogram')
+    return dict(Counter(e['rank'] for e in edges))
+
+
+def sumhist(a,b):
+    x=Counter(a);x.update(b);return clean(dict(x))
+
+
+def difference(new,old):
+    x=Counter(new);x.subtract(old);return clean(dict(x))
+
+
+def charged(old_h,old_s,new_h,new_s,supplied):
+    expected=difference(sumhist(new_h,new_s),sumhist(old_h,old_s))
+    need(expected==supplied,'Full recipient plus donor charges, with no omitted donor leg');return expected
+
+
+def log_bounds(r):
+    def unit(u):
+        z=(u-1)/(u+1);need(0<=z<=Q(1,3),'Rational logarithm domain')
+        low=2*sum((z**(2*j+1)/Q(2*j+1) for j in range(32)),Q(0))
+        return low,low+2*z**65/(65*(1-z*z))
+    k=r.bit_length()-1;a,b=unit(Q(r,2**k));l,u=unit(Q(2));return a+k*l,b+k*u
+
+
+def power(r,c):
+    if r==1:return Q(1),Q(1)
+    l,u=log_bounds(r)
+    def exponential(x):
+        need(0<=x<1,'Alternating exponential domain');term=s=Q(1);low=high=None
+        for j in range(1,13):
+            term*=-x/j;s+=term
+            if j==11:low=s
+            if j==12:high=s
+        return low,high
+    a,b=r*exponential(c*u)[0],r*exponential(c*l)[1];mesh=10**24
+    low=Q((a*mesh).__floor__(),mesh);high=Q(-((-b*mesh).__floor__()),mesh)
+    need(low<=a<=b<=high,'Exact outward rational price mesh');return low,high
+
+
+def price(delta,c):
+    low=high=Q(0)
+    for r,n in delta.items():
+        need(isint(r) and 1<=r<=9 and isint(n),'Bounded exact signed paid coefficient')
+        a,b=power(r,c);low+=n*(a if n>=0 else b);high+=n*(b if n>=0 else a)
+    return {'C':str(c),'local_paid_cost_difference_interval':[str(low),str(high)],
+            'full18_paid_cost_difference_interval':[str(18*low),str(18*high)]},low,high
+
+
+def reject(action,strength):
+    try:action()
+    except (SourceError,ValueError,KeyError):return {'outcome':'rejected','strength':strength}
+    raise SourceError('Control unexpectedly accepted: '+strength)
+
+
+def main():
+    inputs=json.loads((HERE/'INPUTS.json').read_bytes())
+    for name,digest in inputs['files'].items():need(sha((ROOT/name).read_bytes())==digest,'Frozen input SHA '+name)
+    pin=json.loads((ROOT/inputs['word_custody']).read_bytes());raw=(ROOT/inputs['word']).read_bytes()
+    authenticate_word(raw,pin)
+    for name,expected in inputs['git_blobs'].items():
+        need(blob((ROOT/name).read_bytes())==expected,'Authenticated published text Git blob '+name)
+    receipt=json.loads((ROOT/inputs['source_result']).read_bytes())
+    nominal=json.loads((ROOT/inputs['nomination']).read_bytes())
+    need(nominal['single_object']['source_head']==HEAD and nominal['single_object']['edit_old']==BLOCK[1] and
+         nominal['single_object']['edit_new']==['ADD',586,733,'-4',652],'Single fixed nomination')
+    word,length,decoded_sha=decode(raw,pin)
+    spaces,contacts,moves,skeleton,helpers,boundaries=descriptor(word)
+    need(helpers=={str(k):v for k,v in receipt['local']['helpers'].items()} and
+         receipt['local']['public_inputs']==743 and receipt['local']['owned_fields']==9 and
+         receipt['local']['owned_lifetimes']==11 and receipt['local']['peak_owned_fields']==2,
+         'Published local target/boundary/owned descriptor binding')
+    simple=[e for _,e in skeleton]
+    site=unique_site([i for i in range(len(simple)-3) if simple[i:i+4]==BLOCK]);check_block(simple[site:site+4])
+    actual_indices=[skeleton[site+j][0] for j in range(4)];anchor=actual_indices[1]
+    old={};new={};modified={};neighbor={}
+    for r in (586,733):
+        old[r]=route(word['initial'][r],word['final'][r],contacts[r],spaces)
+        need(not old[r]['unsupported_edges'],'Existing affected contact chain is strictly forward')
+        need([(e['old'],e['new'],e['rank']) for e in old[r]['edges']]==[(e['old'],e['new'],e['rank']) for e in moves[r]],
+             'Complete old required-contact route equals all actual published affected MOVEs')
+        hit=[i for i,c in enumerate(contacts[r]) if c['event']==anchor]
+        need(len(hit)==1 and contacts[r][hit[0]]['instruction']==BLOCK[1],'Both role lists bind the same literal donor/recipient event')
+        seq=[dict(c) for c in contacts[r]];i=hit[0]
+        before=seq[i-1] if i else {'kind':'input','frame':word['initial'][r]}
+        after=seq[i+1] if i+1<len(seq) else {'kind':'final','frame':word['final'][r]}
+        neighbor[r]={'preceding':before,'succeeding':after}
+        entry=dict(seq[i]);entry['frame']=652;entry['instruction']=['ADD',586,733,'-4',652];seq[i]=entry
+        need(sum(a!=b for a,b in zip(contacts[r],seq))==1 and len(seq)==len(contacts[r]),'Only one chart contact changes in each affected role list')
+        modified[r]=seq;new[r]=route(word['initial'][r],word['final'][r],seq,spaces)
+    controls={}
+    controls['compressed_byte_corruption']=reject(lambda:authenticate_word(raw[:-1]+bytes([raw[-1]^1]),pin),'Immutable byte/Git/SHA corruption; no mutated decode')
+    badpin=dict(pin);badpin['head']='0'*40
+    controls['wrong_source_binding']=reject(lambda:authenticate_word(raw,badpin),'Exact source-head custody mutation')
+    controls['ambiguous_anchor']=reject(lambda:unique_site([site,site]),'Duplicate match-evidence cardinality; no changed full program')
+    badblock=[e[:] for e in BLOCK];badblock[1][-1]=596
+    controls['wrong_anchor_chart']=reject(lambda:check_block(badblock),'Actual four-gate binding field mutation')
+    small={3:[],597:[82],652:[82,269]}
+    controls['wrong_frame_space']=reject(lambda:frame_binding(small),'Ordered frame basis mutation')
+    controls['reversed_nesting']=reject(lambda:need(strict(spaces[652],spaces[597]),'Reverse public route'), 'Actual reverse inclusion of fixed source spaces')
+    oh,os=histogram(old[586]['edges']),histogram(old[733]['edges'])
+    need(bool(os),'At least one actual positive donor MOVE for donor-charge control')
+    donor_missing=dict(os);first=next(iter(donor_missing));donor_missing[first]-=1;donor_missing=clean(donor_missing)
+    wrong=difference(sumhist(oh,os),sumhist(oh,donor_missing))
+    controls['omitted_donor_charge']=reject(lambda:charged(oh,os,oh,os,wrong),'Omit one actual donor old-MOVE charge while recipient/new bill held fixed')
+    result={'schema':'one-h586-chart-retag-feasibility/v1','source_head':HEAD,'source_word_sha256':WORD_SHA,
+      'source_word_git_blob':WORD_BLOB,'decompressed_bytes_observed':length,'decompressed_hard_cap':LIMIT,'decompressed_source_sha256':decoded_sha,
+      'source_schema':word['schema'],'instruction_count':len(word['program']),'public_inputs':743,'helpers':535,
+      'unique_final_block':{'skeleton_index':site,'actual_program_indices':actual_indices,'events':BLOCK,'old_indices_transferred':False,
+        'skeleton_keeps_owned_MOVEs':True},
+      'source_descriptor_checks':boundaries,'source_contacts':{str(r):contacts[r] for r in contacts},
+      'source_MOVE_chains':{str(r):moves[r] for r in moves},'old_routes':{str(r):old[r] for r in old},
+      'counterfactual_contact_lists':{str(r):modified[r] for r in modified},'new_routes':{str(r):new[r] for r in new},
+      'donor_W_Z':{'W':neighbor[733]['preceding'],'Z':neighbor[733]['succeeding'],
+        'p':len(spaces[neighbor[733]['preceding']['frame']]),'r':len(spaces[neighbor[733]['succeeding']['frame']]),
+        'spaces':{str(f):word['frames'][f] for f in {neighbor[733]['preceding']['frame'],597,652,neighbor[733]['succeeding']['frame']}}},
+      'controls':controls,'changed_full_word_emitted':False,'source_modules_imported':False,
+      'scope':'Only one chart in two required-contact lists; no chronology/basis/boundary/owned changes or route search.',
+      'new_kappa':None,'physical_construction':None,'native_phase_checked':False,'arbitrary_input_endpoint_replay':False,
+      'ordinary_costs_certified':False,'full_pricing_or_compiler_run':False,'fallback_search':False,
+      'interpretation':'Only a necessary physical/economic prerequisite. Descriptor preservation is not independent endpoint/native admission.'}
+    baseline=receipt['complete_cost'];paid={int(r):n for r,n in baseline['paid'].items()};targets={int(r):n for r,n in baseline['targets'].items()}
+    need(baseline['full_forward_calls']==18 and baseline['query_shears']==15 and baseline['whole_idle_jobs']==3120 and
+         sum(paid.values())==66474 and sum(targets.values())==12958 and mass(targets)-mass(paid)==760 and
+         baseline['paid']==nominal['recursive_accounting']['baseline_paid'] and baseline['targets']==nominal['recursive_accounting']['baseline_targets'],
+         'Authenticated fixed full 18-call baseline invoice')
+    result['baseline_complete_paid']=shown(paid);result['baseline_complete_targets']=shown(targets)
+    result['baseline_invoice_status']='Published authenticated receipt; no whole-source paid census or price replay.'
+    unsupported={str(r):new[r]['unsupported_edges'] for r in new if new[r]['unsupported_edges']}
+    if unsupported:
+        result['status']='STOP_UNSUPPORTED_FORWARD_NESTING';result['stop_reason']='The one fixed new direct route is not strictly forward in the exact source spaces.'
+        result['unsupported_edges']=unsupported;result['candidate_paid_invoice']=None;return result
+    nh,ns=histogram(new[586]['edges']),histogram(new[733]['edges'])
+    dh,ds=difference(nh,oh),difference(ns,os);delta=charged(oh,os,nh,ns,sumhist(dh,ds))
+    need(dh=={1:-2,2:1},'Recipient predicted route reduction actually bound')
+    need(mass(delta)==0,'Same endpoint forward paths preserve affected rank mass')
+    candidate=Counter(paid);candidate.update({r:18*n for r,n in delta.items()})
+    need(all(n>=0 for n in candidate.values()) and mass(targets)-mass(candidate)==760,'Complete donor-adjusted invoice and rank mass')
+    result.update({'recipient_local_delta':shown(dh),'donor_local_delta':shown(ds),'complete_two_role_local_delta':shown(delta),
+       'old_recipient_histogram':shown(oh),'old_donor_histogram':shown(os),'new_recipient_histogram':shown(nh),'new_donor_histogram':shown(ns),
+       'candidate_paid_invoice':shown(dict(candidate)),'conditional_unchanged_targets':shown(targets),
+       'candidate_paid_count':sum(candidate.values()),'candidate_target_count':sum(targets.values()),
+       'target_transfer_premise':'Same public boundary/target descriptors and caller; requires later realized chart induction and native/endpoint validation.'})
+    prices=[];intervals=[]
+    for c in POINTS:
+        row,lo,hi=price(delta,c);prices.append(row);intervals.append((lo,hi))
+    result['two_point_paid_cost_differences']=prices
+    if all(hi<0 for lo,hi in intervals):
+        result['status']='FAVORABLE_PHYSICAL_ECONOMIC_PREREQUISITE_ONLY';result['stop_reason']='Both exact donor-adjusted paid-cost upper bounds are negative; no construction or funded result follows.'
+    elif any(lo>=0 for lo,hi in intervals):
+        result['status']='STOP_DONOR_ADJUSTED_NO_GAIN';result['stop_reason']='At least one required point has nonnegative exact paid-cost lower bound, including exact-zero cases.'
+    else:
+        result['status']='STOP_UNRESOLVED_SIGN';result['stop_reason']='The fixed rational enclosures do not certify negative cost at both points. No fallback precision/route search.'
+    return result
+
+
+if __name__=='__main__':
+    try:output=main();code=0
+    except Exception as error:
+        output={'schema':'one-h586-chart-retag-feasibility/v1','status':'STOP_SOURCE_OR_BINDING_FAILURE',
+          'failure':type(error).__name__+': '+str(error),'new_kappa':None,'changed_full_word_emitted':False,
+          'source_modules_imported':False,'fallback_search':False};code=2
+    print(json.dumps(output,sort_keys=True,separators=(',',':')))
+    sys.exit(code)
diff --git a/research/p104-chart-contact-obstruction/source/NOMINATION.json b/research/p104-chart-contact-obstruction/source/NOMINATION.json
new file mode 100644
index 0000000000..3011e7f79b
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/NOMINATION.json
@@ -0,0 +1,56 @@
+{
+  "recursive_accounting": {
+    "baseline_paid": {
+      "1": 41070,
+      "16": 416,
+      "2": 8244,
+      "24": 416,
+      "3": 8874,
+      "32": 416,
+      "4": 1638,
+      "40": 416,
+      "48": 416,
+      "5": 2862,
+      "56": 416,
+      "6": 396,
+      "64": 416,
+      "7": 270,
+      "72": 208
+    },
+    "baseline_targets": {
+      "1": 36,
+      "145": 208,
+      "17": 416,
+      "2": 72,
+      "25": 416,
+      "33": 416,
+      "4": 1638,
+      "41": 416,
+      "49": 416,
+      "5": 108,
+      "57": 416,
+      "65": 416,
+      "7": 90,
+      "73": 208,
+      "8": 288,
+      "9": 7398
+    }
+  },
+  "single_object": {
+    "edit_new": [
+      "ADD",
+      586,
+      733,
+      "-4",
+      652
+    ],
+    "edit_old": [
+      "ADD",
+      586,
+      733,
+      "-4",
+      597
+    ],
+    "source_head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa"
+  }
+}
diff --git a/research/p104-chart-contact-obstruction/source/PROOF.md b/research/p104-chart-contact-obstruction/source/PROOF.md
new file mode 100644
index 0000000000..5eab6148f7
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/PROOF.md
@@ -0,0 +1,176 @@
+# A complete conditional contact rewrite
+
+The claimed value is **kappa = 0.00310676333**. The comparison is the open
+PR5651 value 0.00310644469. The increase is 0.00000031864. This construction
+keeps the five selected framework assumptions and the helper endpoint
+contract. It does not change the selected record.
+
+## 1. Exact sources and composition
+
+The retained export is PR5627 at
+`ed4dc88a09a7d201971f6603b8c2074e95dd9c32`. It contains 36 source files and
+one export manifest. Authenticate the archive, its complete inventory and
+each file before import. Also authenticate the retained PR5644 constructor,
+witness, word and the PR5643 word.
+
+First apply the three fixed PR5644 helper relations. Compare the result with
+the complete published word. Each relation changes the local paid profile
+by `-H1-H5+H6`. All public inputs, targets and owned instructions stay fixed.
+
+Then apply zxv's PR5643 A2 change. Check its entire scalar-program difference
+against the published PR5643 word. Locate the same two gates in the PR5644
+word. Replace them by the three published gates and rebuild the nested public
+paths. The complete local paid change is `H2+H6-H3-H5`. Full replay checks the
+composition; numerical headline gains are not added. PR5650 already publishes
+this composition, and PR5651 checks it again. Compare with the retained
+PR5650 word after rebuilding the same public MOVE order. Each changed order
+only swaps consecutive MOVEs on different public fields. The scalar and
+owned chronology stays fixed. No new composition result is claimed here.
+
+## 2. The new four-gate identity
+
+Let `c=165`, `h=586`, `s=733` and `x=21`. The old gates are
+
+```text
+h <- h - 4s       at frame 597
+c <- c + 2s       at frame 597
+c <- c - x/2      at frame 652
+x <- x + h        at frame 652
+```
+
+The first two sites are separated by other operations. The witness checks
+that none of the intervening operations reads or writes c, h or s. The two
+late gates are consecutive in the scalar skeleton. Operations on x before
+the late pair retain their order.
+
+Use these gates instead:
+
+```text
+c <- c + h/2     at frame 3
+h <- h - 4s      at frame 597
+x <- x + h       at frame 652
+c <- c - x/2     at frame 652
+```
+
+Here frame 3 is `{0}`, frame 597 has basis `[82]`, and frame 652 has basis
+`[82,268]`. The new early read uses the old value of h. The new gates are
+placed at the old late pair after the two early updates are removed.
+
+Write the values before these updates as c, h, s and x. Both programs give
+
+```text
+c_out = c + 2s - x/2
+h_out = h - 4s
+s_out = s
+x_out = x + h - 4s
+```
+
+The verifier also compares both full 4 by 4 rational matrices. More generally,
+this identity holds for coefficients alpha, beta, gamma and delta when
+`beta = alpha*gamma*delta`; the early coefficient is `-gamma*delta`.
+The A2 identity and compensated triangle method are prior work. The new
+result is this source-bound four-gate schedule and its paid native path.
+
+The new schedule lets c remain in dimension zero until its dimension-two
+contact. Its old two rank-one requests become one rank-two request. Every
+other paid count has the same value. Thus
+
+```text
+new local paid delta = -2 H1 + H2
+new local target delta = 0
+```
+
+For every `0<t<1`, `2-2^t>0`. The complete caller uses the local word 18 times,
+so this new component improves the signed moment by `18*(2-2^t)`.
+
+For this fixed dimension-zero to dimension-two path of c, the new transport
+also has the minimum cost among strictly nested subdivisions. Such a path
+has either one rank-two step or two rank-one steps. For `0<t<1`, the former
+costs `2^t<2`. This local minimum keeps the neighboring contact charts fixed;
+it does not restrict a changed scalar graph or a different caller.
+
+## 3. Complete native interface
+
+For a frame V, a field contains its canonical native chart applied to its
+logical value. A public MOVE changes between strictly nested frames. Every
+ADD and SCALE uses one common chart. COPY uses a cleared owned field. The
+new program keeps every owned instruction in its original order.
+
+The first interpreter checks all public and dirty-owned input columns. A
+separate dense integer interpreter checks the transposed instruction matrices
+in reverse order. The two checks cover 565,504 endpoint coefficients. All 743
+public inputs keep their original endpoints. The nine owned roles have eleven
+lifetimes and peak occupancy two. They receive no productive target credit.
+
+The native checker binds each paid map, each helper boundary and every main
+adapter, including the global phase. The common-chart induction applies at
+every positive tensor width. Scalar coefficients stay outside the tensor
+power. No tensor power of a sum is replaced by a sum of tensor powers.
+
+The retained physical p16/a7 caller has 18 full forward calls, 15 thin query
+sites and 3,120 whole idle jobs. Its 104 ports, 7,488 boundary contacts and
+53,248 central-square column checks are retained. Each helper target has its
+native normalizers. Every thin query and whole idle remains charged.
+
+## 4. Complete invoice and conditional bound
+
+Relative to PR5627, the local paid change is
+
+```text
+-5 H1 + 2 H2 - H3 - 4 H5 + 4 H6
+```
+
+The final local paid profile is
+
+```text
+{1:2195, 2:458, 3:493, 4:91, 5:159, 6:22, 7:15}
+```
+
+The helper profile remains
+
+```text
+{1:2, 2:4, 4:91, 5:6, 7:5, 8:16, 9:411}
+```
+
+The complete caller has **66,474 paid requests**, **12,958 productive fields**
+and rank-mass surplus **760**. All targets from the consumed source remain.
+The independent path-length count gives the same invoice.
+
+Two rational interval engines check the signed moment. Its unique raw
+crossing lies in `(0.00310676334487,0.00310676334488)`. The derivative bound is
+strictly negative on `[0,0.0034]`. This is a ceiling for this fixed invoice,
+not for other words or callers. The claim leaves between 1.487e-11 and
+1.488e-11 below that crossing. The tested saving is 0.003106763335.
+
+The full retained compiler calculation includes the paid ratio, both tail
+ratios, completion, splitting, rounding, complement capacity, logarithmic
+threshold and all 54 strict plus four functional outer predicates. It keeps
+the ordinary BIT admission 0.0034. `RESULT.json` records the exact constants.
+`PRICING-EDITS.json` lists each change from the authenticated price source;
+no compiler or outer predicate is removed or weakened.
+
+The local ordinary bound includes every scalar instruction, paid-map route,
+helper normalizer, main adapter, boundary contact and owned lifetime. It stays
+below 10^7. The complete ordinary allowance stays below 10^9. The retained
+finite coefficient, operation and native-rank bounds also cover the new word.
+The precision and fixed-tape contracts remain conditional assumptions.
+
+## 5. Scope of the search
+
+The discovery first tried different carriers, paid endpoint extensions,
+MOVE-only scheduling, retained histories and scalar contractions. None of
+those tested domains gave an accepted paid gain. They are not general lower
+bounds and are not needed to verify this construction.
+
+A two-step A2 search found the new identity. The retained `patterns.py`
+checks one specific pattern of public scalar dependencies and coefficients,
+before frame selection. It finds this one pattern in the composed source
+and none in the final word. `verify.py` checks both counts. This census does
+not enumerate all scalar identities or legal frame schedules. Other
+dependency orders, longer sequences, different callers and new native
+providers remain open.
+
+The result is a small complete conditional improvement. It is not evidence
+of a large breakthrough or a global maximum. The enormous uniform compiler
+word and the complete rounded multiplier are not materialized. The author
+checks are not independent scientific acceptance or a proof-kernel theorem.
diff --git a/research/p104-chart-contact-obstruction/source/RESULT.json b/research/p104-chart-contact-obstruction/source/RESULT.json
new file mode 100644
index 0000000000..1b54419bd2
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/RESULT.json
@@ -0,0 +1,766 @@
+{
+  "authenticated_package_inputs": 6,
+  "authenticated_source_files": 36,
+  "complete_cost": {
+    "compiler": {
+      "H": 80511200000000000,
+      "N": "2^80511200000000000",
+      "eta": {
+        "lower": "0.000000132627375017170340643796",
+        "upper": "0.000000132627375017170340643797"
+      },
+      "gap": "1/1400000000000",
+      "integer_test_exponent": 57508,
+      "logarithm_power": 1024,
+      "theta": "63/64",
+      "uniform_saving": "1087367167/350000000000",
+      "word_materialized": false
+    },
+    "full_forward_calls": 18,
+    "gain": "3983/12500000000",
+    "kappa": "310676333/100000000000",
+    "kappa_decimal": ".00310676333",
+    "margin_at_previous": {
+      "lower": "0.077434060048546055561640448228",
+      "upper": "0.077434060048546055561640448229"
+    },
+    "negative_controls": {
+      "old_BIT": "Rejected by outer inequalities",
+      "old_cutoff": "Rejected by completion-tail ratio greater than one"
+    },
+    "nonrecursive": {
+      "fixed_scalar_growth_bound": "At most 2^(16*26000) before native factors; a declared constant, not an attained norm.",
+      "local_paid_rank_mass": 5986,
+      "local_routes": 5171000,
+      "local_scalar": 220220,
+      "peak_owned_fields": 2,
+      "raw_budget": 1000000000,
+      "raw_scalar_upper": 184647552,
+      "tensor_native_growth_bound": "Each rank-r Gaussian has row l1 norm at most 2^(rf); use local_paid_rank_mass for the whole word."
+    },
+    "ordinary_BIT": {
+      "admitted": "17/5000",
+      "after_cover": "69/20000",
+      "atom": "1/250",
+      "before_cover": "3459/1000000",
+      "ordinary_saving": "8590884599/2500000000000",
+      "prime_rule": "odd q > 2^26*N^5 avoiding all fixed denominators and rank witnesses"
+    },
+    "outer": {
+      "functional_checks": {
+        "actual_new_BIT_stock_sublinear": "348599999999253/350000000000000",
+        "fixed_halo_explicit_metadata_branch": "26950000000001/350000000000",
+        "new_BIT_row_stock_sublinear_in_active_group": "1395799999997009/1400000000000000",
+        "new_semantic_group_guard": "3/1400000000000"
+      },
+      "margins": {
+        "boundary_algebraic_matrix": "1217851226479130106267/392000000000000000000000",
+        "fused_gaussian": "1217851226477390318801/392000000000000000000000",
+        "global_coordinate_router": "2174734333/700000000000",
+        "group_bit_router": "3044628066893475797001/980000000000000000000000",
+        "group_scans": "699999999999/700000000000",
+        "main_transform": "1217851226199130106267/392000000000000000000000",
+        "microbox_face_corrections": "26950000000001/350000000000",
+        "polynomial_products": "1399999999999/1400000000000",
+        "sparse_union_movement": "160467851226479130106267/392000000000000000000000"
+      },
+      "parameters": {
+        "a": "2174734333/700000000000",
+        "b": "4349468667/1400000000000",
+        "beta": "1399999999997/1400000000000",
+        "bit_saving": "17/5000",
+        "cap_xi": "356467851226199130106267/392000000000000000000000",
+        "complex_uniform_saving": "1087367167/350000000000",
+        "d": "1/1400000000000",
+        "epsilon": "1399999999999/1400000000000",
+        "kappa": "310676333/100000000000",
+        "lambda_": "398757294667/400000000000",
+        "lambda_prime": "279130106267/280000000000",
+        "layout": "1/1400000000000",
+        "q": "869893733/280000000000",
+        "r0": "1/14000000000000",
+        "stop": "1/1400000000000",
+        "tested_saving": "621352667/200000000000"
+      },
+      "strict_checks": {
+        "actual_bit_above_effective": "205265667/700000000000",
+        "actual_logarithmic_gamma_guard": "1/1400000000000",
+        "actual_logarithmic_group_guard": "35532148774220869893733/196000000000000000000000",
+        "alpha_logarithm_absorption": "1/14000000000000",
+        "boundary_algebraic_matrix_above_kappa": "1119130106267/392000000000000000000000",
+        "cap_above_band": "160467851226199130106267/392000000000000000000000",
+        "cap_below_cell": "35532148773520869893733/392000000000000000000000",
+        "cap_below_phase_cell_power": "427532148773800869893733/392000000000000000000000",
+        "complex_above_effective": "1/1400000000000",
+        "complex_below_one_over_32": "39400531333/1400000000000",
+        "complex_endpoint": "1/700000000000",
+        "epsilon_below_one": "1/1400000000000",
+        "epsilon_positive": "1399999999999/1400000000000",
+        "fine_prime_halo_umbrella": "7/2",
+        "fused_gaussian_above_kappa": "1117390318801/392000000000000000000000",
+        "gaussian_above_main": "139130106267/196000000000000000000000",
+        "global_coordinate_router_above_kappa": "1/350000000000",
+        "global_gamma_power_slack": "9/14000000000000",
+        "group_below_dimension": "1/700000000000",
+        "group_bit_router_above_kappa": "3493475797001/980000000000000000000000",
+        "group_gauge_power_slack": "35532148774206869893733/196000000000000000000000",
+        "group_key_fits_record": "1/700000000000",
+        "group_positive": "1399999999997/1400000000000",
+        "group_scans_above_kappa": "174456316417/175000000000",
+        "halo_covers_generic_inverse_radius": "5",
+        "improvement_over_user_baseline": "687896455400418148631/500000000000000000000000",
+        "lambda_above_internal": "1/2800000000000",
+        "lambda_above_sigma": "3/2800000000000",
+        "lambda_above_tau": "1/2800000000000",
+        "lambda_prime_above_lambda": "1/2800000000000",
+        "lambda_prime_above_leaf": "2795650531333/1960000000000000000000000",
+        "leaf_saving_above_effective": "1395650531333/1960000000000000000000000",
+        "main_transform_above_kappa": "839130106267/392000000000000000000000",
+        "membership_arithmetic_fits_record": "1/1400000000000",
+        "microbox_face_corrections_above_kappa": "53897825265671/700000000000",
+        "microbox_halo_volume": "110600000000003/1400000000000",
+        "new_complex_uniform_saving_above_b": "1/1400000000000",
+        "new_semantic_guard_with_C1_one": "1/1400000000000",
+        "polynomial_products_above_kappa": "1395650531337/1400000000000",
+        "positive_layout_slack": "1/1400000000000",
+        "q_below_effective": "1/1400000000000",
+        "q_below_internal": "1/1400000000000",
+        "q_below_leaf": "2795650531333/1960000000000000000000000",
+        "q_positive": "869893733/280000000000",
+        "short_record_fallback": "1395650531333/1400000000000",
+        "source_axis_superpolynomial": "1/1400000000000",
+        "sparse_union_movement_above_kappa": "159250000001119130106267/392000000000000000000000",
+        "stop_below_one": "1399999999999/1400000000000",
+        "stop_positive": "1/1400000000000",
+        "strassen_integer_power_gap": "1951441519231",
+        "support_router_span": "3/1400000000000",
+        "theta_positive_polynomial_power": "2",
+        "union_header_fits_record": "3/1400000000000",
+        "union_tag_work_per_visit_fits_record": "3/1400000000000"
+      }
+    },
+    "paid": {
+      "1": 41070,
+      "16": 416,
+      "2": 8244,
+      "24": 416,
+      "3": 8874,
+      "32": 416,
+      "4": 1638,
+      "40": 416,
+      "48": 416,
+      "5": 2862,
+      "56": 416,
+      "6": 396,
+      "64": 416,
+      "7": 270,
+      "72": 208
+    },
+    "paid_calls": 66474,
+    "previous_open_pr5651": "310644469/100000000000",
+    "productive_fields": 12958,
+    "query_shears": 15,
+    "rank_mass_surplus": 760,
+    "raw_ceiling": {
+      "derivative_upper": "-185029011078999527555927185035801066152378146458179911814194949/784637716923335095479473677900958302012794430558004314112",
+      "interval": [
+        "0",
+        "17/5000"
+      ]
+    },
+    "raw_headroom": [
+      "1487/100000000000000",
+      "93/6250000000000"
+    ],
+    "raw_root_interval": [
+      "310676334487/100000000000000",
+      "38834541811/12500000000000"
+    ],
+    "relative_gain_percent": "3186400/310644469",
+    "strictification": {
+      "alpha": {
+        "lower": "0.999999999989956163350011203614",
+        "upper": "0.999999999989956163350011203615"
+      },
+      "cutoff": 17,
+      "delta": {
+        "lower": "0.967531205382707654632396498681",
+        "upper": "0.967531205382707654632396498682"
+      },
+      "floor": 18,
+      "gamma": {
+        "lower": "0.968163912338747597412952587420",
+        "upper": "0.968163912338747597412952587421"
+      },
+      "normalized_paid_upper": "1048576000976562501/1048576001073741824",
+      "power": 1024,
+      "reserve": "1/1000000000000",
+      "tail_block": 128,
+      "tail_decay": "39/40",
+      "tail_offset": "1/5",
+      "tested": "621352667/200000000000"
+    },
+    "targets": {
+      "1": 36,
+      "145": 208,
+      "17": 416,
+      "2": 72,
+      "25": 416,
+      "33": 416,
+      "4": 1638,
+      "41": 416,
+      "49": 416,
+      "5": 108,
+      "57": 416,
+      "65": 416,
+      "7": 90,
+      "73": 208,
+      "8": 288,
+      "9": 7398
+    },
+    "whole_idle_jobs": 3120
+  },
+  "composed_local": {
+    "endpoint_coefficients": 565504,
+    "helpers": {
+      "1": 2,
+      "2": 4,
+      "4": 91,
+      "5": 6,
+      "7": 5,
+      "8": 16,
+      "9": 411
+    },
+    "owned_fields": 9,
+    "owned_lifetimes": 11,
+    "paid": {
+      "1": 2197,
+      "2": 457,
+      "3": 493,
+      "4": 91,
+      "5": 159,
+      "6": 22,
+      "7": 15
+    },
+    "paid_rank_mass": 5986,
+    "peak_owned_fields": 2,
+    "public_inputs": 743,
+    "real_scalar_allowance": 220220
+  },
+  "limits": [
+    "The five selected framework assumptions and helper endpoint contract remain.",
+    "The enormous uniform word and complete rounded multiplier are not materialized.",
+    "These author checks are not independent scientific acceptance or a proof-kernel theorem.",
+    "This is a small improvement. No global optimum or large breakthrough is established."
+  ],
+  "local": {
+    "endpoint_coefficients": 565504,
+    "helpers": {
+      "1": 2,
+      "2": 4,
+      "4": 91,
+      "5": 6,
+      "7": 5,
+      "8": 16,
+      "9": 411
+    },
+    "owned_fields": 9,
+    "owned_lifetimes": 11,
+    "paid": {
+      "1": 2195,
+      "2": 458,
+      "3": 493,
+      "4": 91,
+      "5": 159,
+      "6": 22,
+      "7": 15
+    },
+    "paid_rank_mass": 5986,
+    "peak_owned_fields": 2,
+    "public_inputs": 743,
+    "real_scalar_allowance": 220220
+  },
+  "local_helper_delta": {},
+  "local_paid_delta": {
+    "1": -5,
+    "2": 2,
+    "3": -1,
+    "5": -4,
+    "6": 4
+  },
+  "native": {
+    "distinct_maps": 2917,
+    "helper_normalizers": 1070,
+    "helpers": {
+      "1": 2,
+      "2": 4,
+      "4": 91,
+      "5": 6,
+      "7": 5,
+      "8": 16,
+      "9": 411
+    },
+    "main_adapters": 208,
+    "proof": "Every signed Pauli image and exact global phase; frame induction at every positive tensor width",
+    "recipe_payload_sha256": "02fb0e822a0fbdf0a6dd03a7cc6a255b074f97ecd923a52acc1793c31d0133a1",
+    "wrong_phase_rejected": true
+  },
+  "negative_controls": {
+    "extra_target_credit": "Every productive helper has a native target",
+    "missing_central_translation": "Rejected by the complete Laurent endpoint",
+    "missing_early_read": "All public and owned rows",
+    "missing_owned_erasure": "All public and owned exits",
+    "unpaid_query": "Complete field and call counts",
+    "wrong_compensation_sign": "Declared complete replacement",
+    "wrong_early_frame": "Scalar destination and coefficient",
+    "wrong_source_version": "Exact four-gate source anchors"
+  },
+  "new_four_gate_paid_delta": {
+    "1": -2,
+    "2": 1
+  },
+  "physical_caller": {
+    "central_square_columns": 53248,
+    "full_calls": 18,
+    "main_targets": {
+      "145": 208,
+      "17": 416,
+      "25": 416,
+      "33": 416,
+      "41": 416,
+      "49": 416,
+      "57": 416,
+      "65": 416,
+      "73": 208
+    },
+    "new_paid_jobs": 0,
+    "physical_contacts": 7488,
+    "ports": 104,
+    "route_payload_sha256": "7f4f0ca768ffbc4f93dcff575592c4c67411f46b4289e45b73f715a2ad47b142",
+    "tensor_rule": "Factorwise native maps; scalar signs stay outside the tensor power.",
+    "whole_idle_jobs": {
+      "16": 416,
+      "24": 416,
+      "32": 416,
+      "40": 416,
+      "48": 416,
+      "56": 416,
+      "64": 416,
+      "72": 208
+    },
+    "wrapper_sites": [
+      1,
+      3,
+      5,
+      7,
+      9,
+      11,
+      13,
+      15,
+      17,
+      19,
+      21,
+      23,
+      25,
+      27,
+      29,
+      31
+    ]
+  },
+  "pr5644_local": {
+    "endpoint_coefficients": 565504,
+    "helpers": {
+      "1": 2,
+      "2": 4,
+      "4": 91,
+      "5": 6,
+      "7": 5,
+      "8": 16,
+      "9": 411
+    },
+    "owned_fields": 9,
+    "owned_lifetimes": 11,
+    "paid": {
+      "1": 2197,
+      "2": 456,
+      "3": 494,
+      "4": 91,
+      "5": 160,
+      "6": 21,
+      "7": 15
+    },
+    "paid_rank_mass": 5986,
+    "peak_owned_fields": 2,
+    "public_inputs": 743,
+    "real_scalar_allowance": 220208
+  },
+  "released_a2_paid_delta": {
+    "2": 1,
+    "3": -1,
+    "5": -1,
+    "6": 1
+  },
+  "released_helper_changes": [
+    {
+      "cancellation": [
+        [
+          "ADD",
+          291,
+          293,
+          "1",
+          234
+        ],
+        [
+          "SCALE",
+          291,
+          "-1/2",
+          234
+        ]
+      ],
+      "cut": 10627,
+      "events": 25446,
+      "frame": 234,
+      "helper": 291,
+      "paid": {
+        "1": 2199,
+        "2": 456,
+        "3": 494,
+        "4": 91,
+        "5": 162,
+        "6": 19,
+        "7": 15
+      },
+      "preparation": [
+        [
+          "ADD",
+          291,
+          39,
+          "1",
+          3
+        ],
+        [
+          "ADD",
+          291,
+          293,
+          "-1/2",
+          3
+        ],
+        [
+          "ADD",
+          291,
+          303,
+          "1",
+          3
+        ]
+      ],
+      "removed_scalar_events": [
+        [
+          "SCALE",
+          291,
+          "-1/2",
+          234
+        ],
+        [
+          "ADD",
+          291,
+          289,
+          "1/2",
+          234
+        ],
+        [
+          "ADD",
+          291,
+          39,
+          "1/2",
+          234
+        ],
+        [
+          "ADD",
+          291,
+          40,
+          "1/2",
+          234
+        ],
+        [
+          "ADD",
+          291,
+          18,
+          "-1/2",
+          234
+        ],
+        [
+          "ADD",
+          291,
+          55,
+          "-1",
+          234
+        ]
+      ],
+      "scalar": 220140
+    },
+    {
+      "cancellation": [
+        [
+          "ADD",
+          321,
+          22,
+          "-2",
+          237
+        ],
+        [
+          "ADD",
+          321,
+          320,
+          "3/2",
+          237
+        ],
+        [
+          "ADD",
+          321,
+          330,
+          "-2",
+          237
+        ]
+      ],
+      "cut": 11072,
+      "events": 25446,
+      "frame": 237,
+      "helper": 321,
+      "paid": {
+        "1": 2198,
+        "2": 456,
+        "3": 494,
+        "4": 91,
+        "5": 161,
+        "6": 20,
+        "7": 15
+      },
+      "preparation": [
+        [
+          "ADD",
+          321,
+          34,
+          "2",
+          3
+        ],
+        [
+          "ADD",
+          321,
+          320,
+          "2",
+          3
+        ],
+        [
+          "ADD",
+          321,
+          330,
+          "-2",
+          3
+        ]
+      ],
+      "removed_scalar_events": [
+        [
+          "ADD",
+          321,
+          320,
+          "1",
+          237
+        ],
+        [
+          "ADD",
+          321,
+          23,
+          "-1",
+          237
+        ],
+        [
+          "ADD",
+          321,
+          22,
+          "-1",
+          237
+        ],
+        [
+          "ADD",
+          321,
+          108,
+          "1",
+          237
+        ],
+        [
+          "ADD",
+          321,
+          49,
+          "-1",
+          237
+        ]
+      ],
+      "scalar": 220164
+    },
+    {
+      "cancellation": [
+        [
+          "ADD",
+          369,
+          26,
+          "-2",
+          243
+        ],
+        [
+          "ADD",
+          369,
+          368,
+          "3/2",
+          243
+        ],
+        [
+          "ADD",
+          369,
+          378,
+          "2",
+          243
+        ]
+      ],
+      "cut": 11718,
+      "events": 25448,
+      "frame": 243,
+      "helper": 369,
+      "paid": {
+        "1": 2197,
+        "2": 456,
+        "3": 494,
+        "4": 91,
+        "5": 160,
+        "6": 21,
+        "7": 15
+      },
+      "preparation": [
+        [
+          "ADD",
+          369,
+          3,
+          "2",
+          3
+        ],
+        [
+          "ADD",
+          369,
+          372,
+          "2",
+          3
+        ],
+        [
+          "ADD",
+          369,
+          378,
+          "2",
+          3
+        ],
+        [
+          "ADD",
+          369,
+          382,
+          "2",
+          3
+        ],
+        [
+          "ADD",
+          369,
+          383,
+          "-2",
+          3
+        ]
+      ],
+      "removed_scalar_events": [
+        [
+          "ADD",
+          369,
+          368,
+          "1",
+          243
+        ],
+        [
+          "ADD",
+          369,
+          26,
+          "-1",
+          243
+        ],
+        [
+          "ADD",
+          369,
+          95,
+          "-1",
+          243
+        ],
+        [
+          "ADD",
+          369,
+          8,
+          "1",
+          243
+        ],
+        [
+          "ADD",
+          369,
+          80,
+          "-1",
+          243
+        ]
+      ],
+      "scalar": 220208
+    }
+  ],
+  "scalar_pattern_census": {
+    "after": [],
+    "before": [
+      {
+        "first": 12754,
+        "previous": [
+          12513,
+          12753
+        ],
+        "roles": [
+          165,
+          586,
+          733
+        ],
+        "second": 12755
+      }
+    ]
+  },
+  "separate_columns": {
+    "arithmetic": "Dense integer rows with binary denominators; reverse chronology",
+    "coefficients": 565504,
+    "columns": 752
+  },
+  "source_commit": "ed4dc88a09a7d201971f6603b8c2074e95dd9c32",
+  "source_local": {
+    "endpoint_coefficients": 565504,
+    "helpers": {
+      "1": 2,
+      "2": 4,
+      "4": 91,
+      "5": 6,
+      "7": 5,
+      "8": 16,
+      "9": 411
+    },
+    "owned_fields": 9,
+    "owned_lifetimes": 11,
+    "paid": {
+      "1": 2200,
+      "2": 456,
+      "3": 494,
+      "4": 91,
+      "5": 163,
+      "6": 18,
+      "7": 15
+    },
+    "paid_rank_mass": 5986,
+    "peak_owned_fields": 2,
+    "public_inputs": 743,
+    "real_scalar_allowance": 220154
+  },
+  "status": "PASS_P104_CONTACT_REWRITE_KAPPA_00310676333"
+}
diff --git a/research/p104-chart-contact-obstruction/source/SOURCES.json b/research/p104-chart-contact-obstruction/source/SOURCES.json
new file mode 100644
index 0000000000..2a5c2b8015
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/SOURCES.json
@@ -0,0 +1,121 @@
+{
+  "schema_version": 1,
+  "base_commit": "df0137efd35e11b4445734bf612bdd4c7ebc330c",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "581f8d87008354eb5b869f7ed9de1317ad837ce8",
+      "sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "research/p104-contact-rewrite/inputs/pr5627-source.tar",
+      "usage": "input",
+      "pin": "head:04a5ad4ddfa871206d435ec3c68d8301b9ceca43:research/p104-contact-rewrite/inputs/pr5627-source.tar",
+      "git_blob": "bc900f0a1561b17b35492a80d10ae94f790d8378",
+      "sha256": "86c6bb839e14d79175ff8f3ed80b51a02d5c51a04deb0eff7ccea1afbe72923b"
+    },
+    {
+      "path": "research/p104-contact-rewrite/inputs/pr5644-construct.py",
+      "usage": "input",
+      "pin": "head:04a5ad4ddfa871206d435ec3c68d8301b9ceca43:research/p104-contact-rewrite/inputs/pr5644-construct.py",
+      "git_blob": "1d9ff07f573bdbcf0e68d26eaa11862f958b2412",
+      "sha256": "99ff4814b7c106973b149d1d4342c7e4608a027445bf07b19b5364658970099e"
+    },
+    {
+      "path": "research/p104-contact-rewrite/inputs/pr5644-witness.json",
+      "usage": "input",
+      "pin": "head:04a5ad4ddfa871206d435ec3c68d8301b9ceca43:research/p104-contact-rewrite/inputs/pr5644-witness.json",
+      "git_blob": "8d4f38c5c9ac9ccbcdf47ee1c95a76e2441b7c8e",
+      "sha256": "0cf78fcbdb62bd4965536dd7d2f74f96761fcd95b11d750bc68ac81ceb1ec58c"
+    },
+    {
+      "path": "research/p104-contact-rewrite/inputs/pr5644-word.json.gz",
+      "usage": "input",
+      "pin": "head:04a5ad4ddfa871206d435ec3c68d8301b9ceca43:research/p104-contact-rewrite/inputs/pr5644-word.json.gz",
+      "git_blob": "0bd3cff77581895917206a410b685ce4959e3e3e",
+      "sha256": "3f2563d3c98f9d1170a583ba78bf171d5eb24e21976ddb026216bc637fc8a2ad"
+    },
+    {
+      "path": "research/p104-contact-rewrite/inputs/pr5643-word.json.gz",
+      "usage": "input",
+      "pin": "head:04a5ad4ddfa871206d435ec3c68d8301b9ceca43:research/p104-contact-rewrite/inputs/pr5643-word.json.gz",
+      "git_blob": "7cf851189d95a471f7e50a7c9b0a60b8958734c9",
+      "sha256": "b2ab778bdd5d68c62df0b51c12dc33fde93ad89213639a8e7da23e4b9cf6c3dc"
+    },
+    {
+      "sha256": "e94809cecf9e9cba56dd7a8a11ff1edeedc4c34013ff6caebdaf3b021351cf8c",
+      "git_blob": "92e858d5dbf43fabee80a2812f92aa55ff7db3cd",
+      "path": "research/p104-contact-rewrite/inputs/pr5650-word.json.gz",
+      "usage": "input",
+      "pin": "head:04a5ad4ddfa871206d435ec3c68d8301b9ceca43:research/p104-contact-rewrite/inputs/pr5650-word.json.gz"
+    }
+  ],
+  "source_export": {
+    "commit": "ed4dc88a09a7d201971f6603b8c2074e95dd9c32",
+    "files": 36,
+    "git_blob": "bc900f0a1561b17b35492a80d10ae94f790d8378",
+    "local_path": "inputs/pr5627-source.tar",
+    "package": "research/p104-helper-subspace-splits",
+    "sha256": "86c6bb839e14d79175ff8f3ed80b51a02d5c51a04deb0eff7ccea1afbe72923b",
+    "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5627"
+  },
+  "predecessors": {
+    "PR5627": "ed4dc88a09a7d201971f6603b8c2074e95dd9c32",
+    "PR5643": "a3ff5c628bfc8825553d62d913f3e91f75d6825f",
+    "PR5644": "c5871955d89bf73506fd68b0a5bf1cf2b3153c02",
+    "PR5650": "7916490124ac946704339a6a332bb76f06e5db5c",
+    "PR5651": "853192167b27d44aea0d4bc2b0d52d695fadc7c6"
+  },
+  "input_commit": "04a5ad4ddfa871206d435ec3c68d8301b9ceca43",
+  "external_inputs": [
+    {
+      "commit": "c5871955d89bf73506fd68b0a5bf1cf2b3153c02",
+      "path": "research/p104-neutral-helper-cleanup/inputs/pr5627-source.tar",
+      "copy": "research/p104-contact-rewrite/inputs/pr5627-source.tar",
+      "git_blob": "bc900f0a1561b17b35492a80d10ae94f790d8378",
+      "sha256": "86c6bb839e14d79175ff8f3ed80b51a02d5c51a04deb0eff7ccea1afbe72923b"
+    },
+    {
+      "commit": "c5871955d89bf73506fd68b0a5bf1cf2b3153c02",
+      "path": "research/p104-neutral-helper-cleanup/construct.py",
+      "copy": "research/p104-contact-rewrite/inputs/pr5644-construct.py",
+      "git_blob": "1d9ff07f573bdbcf0e68d26eaa11862f958b2412",
+      "sha256": "99ff4814b7c106973b149d1d4342c7e4608a027445bf07b19b5364658970099e"
+    },
+    {
+      "commit": "c5871955d89bf73506fd68b0a5bf1cf2b3153c02",
+      "path": "research/p104-neutral-helper-cleanup/WITNESS.json",
+      "copy": "research/p104-contact-rewrite/inputs/pr5644-witness.json",
+      "git_blob": "8d4f38c5c9ac9ccbcdf47ee1c95a76e2441b7c8e",
+      "sha256": "0cf78fcbdb62bd4965536dd7d2f74f96761fcd95b11d750bc68ac81ceb1ec58c"
+    },
+    {
+      "commit": "c5871955d89bf73506fd68b0a5bf1cf2b3153c02",
+      "path": "research/p104-neutral-helper-cleanup/WORD.json.gz",
+      "copy": "research/p104-contact-rewrite/inputs/pr5644-word.json.gz",
+      "git_blob": "0bd3cff77581895917206a410b685ce4959e3e3e",
+      "sha256": "3f2563d3c98f9d1170a583ba78bf171d5eb24e21976ddb026216bc637fc8a2ad"
+    },
+    {
+      "commit": "a3ff5c628bfc8825553d62d913f3e91f75d6825f",
+      "path": "research/p104-a2-paid-rank-exchange/WORD.json.gz",
+      "copy": "research/p104-contact-rewrite/inputs/pr5643-word.json.gz",
+      "git_blob": "7cf851189d95a471f7e50a7c9b0a60b8958734c9",
+      "sha256": "b2ab778bdd5d68c62df0b51c12dc33fde93ad89213639a8e7da23e4b9cf6c3dc"
+    },
+    {
+      "commit": "7916490124ac946704339a6a332bb76f06e5db5c",
+      "path": "research/p104-a2-neutral-cleanup/WORD.json.gz",
+      "copy": "research/p104-contact-rewrite/inputs/pr5650-word.json.gz",
+      "sha256": "e94809cecf9e9cba56dd7a8a11ff1edeedc4c34013ff6caebdaf3b021351cf8c",
+      "git_blob": "92e858d5dbf43fabee80a2812f92aa55ff7db3cd"
+    }
+  ]
+}
diff --git a/research/p104-chart-contact-obstruction/source/WITNESS.json b/research/p104-chart-contact-obstruction/source/WITNESS.json
new file mode 100644
index 0000000000..4671283b4f
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/WITNESS.json
@@ -0,0 +1,16 @@
+{
+  "indices": [12513, 12753, 12754, 12755],
+  "roles": [165, 586, 733, 21],
+  "old": [
+    ["ADD", 586, 733, "-4", 597],
+    ["ADD", 165, 733, "2", 597],
+    ["ADD", 165, 21, "-1/2", 652],
+    ["ADD", 21, 586, "1", 652]
+  ],
+  "replacement": [
+    ["ADD", 165, 586, "1/2", 3],
+    ["ADD", 586, 733, "-4", 597],
+    ["ADD", 21, 586, "1", 652],
+    ["ADD", 165, 21, "-1/2", 652]
+  ]
+}
diff --git a/research/p104-chart-contact-obstruction/source/WORD-CUSTODY.json b/research/p104-chart-contact-obstruction/source/WORD-CUSTODY.json
new file mode 100644
index 0000000000..01ad2e5ef3
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/WORD-CUSTODY.json
@@ -0,0 +1,6 @@
+{
+  "bytes": 107909,
+  "git_blob": "9e68b7de6bfc23bc4fe9940c718dba350ba8a893",
+  "head": "3b0b4f37d5005f381ed9cfcccebfbe1ab35c71aa",
+  "sha256": "9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6"
+}
diff --git a/research/p104-chart-contact-obstruction/source/WORD.json.gz b/research/p104-chart-contact-obstruction/source/WORD.json.gz
new file mode 100644
index 0000000000..9e68b7de6b
Binary files /dev/null and b/research/p104-chart-contact-obstruction/source/WORD.json.gz differ
diff --git a/research/p104-chart-contact-obstruction/source/construct.py b/research/p104-chart-contact-obstruction/source/construct.py
new file mode 100644
index 0000000000..1207c37044
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/construct.py
@@ -0,0 +1,130 @@
+"""Compose the released changes and apply one four-gate identity.
+
+The A2 identity is from PR3998/4019 and zxv's PR5643 paid construction.
+PR5644 supplies the three helper relations. Ali Romman prepared the new
+four-gate construction with substantial OpenAI Codex assistance. Apache-2.0.
+"""
+from collections import Counter
+from copy import deepcopy
+from fractions import Fraction as Q
+
+
+def roles(event):
+    return set(event[1:3]) if event[0] in ('ADD', 'COPY') else {event[1]}
+
+
+def scalar_word(word):
+    return [e for e in word['program'] if e[0] != 'MOVE']
+
+
+def skeleton(word):
+    return [e for e in word['program'] if e[0] != 'MOVE' or e[1] >= word['public']]
+
+
+def rebuild(word, program, L):
+    """Keep the owned paths and rebuild each nested public path."""
+    out = deepcopy(word)
+    n = word['public']
+    current = word['initial'] + [None]*word['owned_fields']
+    spaces = [L.span(b) for b in word['frames']]
+    events = []
+
+    def move(role, frame):
+        old = current[role]
+        if old == frame:
+            return
+        L.need(role < n and spaces[old] < spaces[frame], 'Strict nested public path')
+        events.append(['MOVE', role, old, frame, False])
+        current[role] = frame
+
+    for event in program:
+        op, role = event[:2]
+        if op == 'MOVE':
+            L.need(role >= n and current[role] == event[2], 'Unchanged owned transport')
+            current[role] = event[3]
+        elif op == 'INIT':
+            L.need(current[role] is None, 'Fresh owned lifetime')
+            current[role] = event[2]
+        elif op == 'CLEAR':
+            L.need(current[role] == event[2], 'Owned erasure frame')
+            current[role] = None
+        else:
+            for operand in sorted(roles(event)):
+                move(operand, event[-1])
+        events.append(event[:])
+    for role, frame in enumerate(word['final']):
+        move(role, frame)
+    out['program'] = events
+    return out
+
+
+def replace_a2(program, L):
+    old = [['ADD', 388, 715, '-4', 825], ['ADD', 340, 388, '1', 825]]
+    sites = [i for i in range(len(program)-1) if program[i:i+2] == old]
+    L.need(len(sites) == 1, 'Unique published A2 pair')
+    i = sites[0]
+    return program[:i] + [['ADD', 340, 715, '-4', 396], old[1],
+                         ['ADD', 388, 715, '-4', 127]] + program[i+2:]
+
+
+def check_a2_source(source, published, L):
+    for key in source:
+        if key not in ('program', 'schema'):
+            L.need(source[key] == published[key], 'Published A2 boundary: '+key)
+    L.need(replace_a2(scalar_word(source), L) == scalar_word(published),
+           'Exact released PR5643 scalar change')
+    before, after = L.replay(source), L.replay(published)
+    delta = Counter(after['paid'])
+    delta.subtract(before['paid'])
+    L.need({r:v for r,v in delta.items() if v} == {2:1,3:-1,5:-1,6:1},
+           'Exact released PR5643 paid change')
+
+
+def matrix(gates, labels):
+    at = {r:i for i,r in enumerate(labels)}
+    rows = [[Q(i == j) for j in range(len(labels))] for i in range(len(labels))]
+    for event in gates:
+        a, b, q = at[event[1]], at[event[2]], Q(event[3])
+        rows[a] = [x+q*y for x,y in zip(rows[a], rows[b])]
+    return rows
+
+
+def rewrite(word, witness, L):
+    """Use the old helper value before its source update."""
+    p = skeleton(word)
+    indices = witness['indices']
+    old, new = witness['old'], witness['replacement']
+    L.need(indices == sorted(set(indices)) and len(indices) == 4, 'Four ordered source sites')
+    L.need([p[i] for i in indices] == old, 'Exact four-gate source anchors')
+    c, h, s, x = witness['roles']
+    L.need(len({c,h,s,x}) == 4 and max(c,h,s,x) < word['public'], 'Four public roles')
+    L.need([e[1:3] for e in old] == [[h,s],[c,s],[c,x],[x,h]], 'Declared source pattern')
+    alpha, beta, gamma, delta = (Q(e[3]) for e in old)
+    L.need(beta == alpha*gamma*delta, 'Exact compensation coefficient')
+    expected = [['ADD', c, h, str(-gamma*delta), 3],
+                ['ADD', h, s, str(alpha), 597],
+                ['ADD', x, h, str(delta), 652],
+                ['ADD', c, x, str(gamma), 652]]
+    L.need(new == expected, 'Declared complete replacement')
+    L.need([word['frames'][f] for f in (3,597,652)] == [[],[82],[82,268]],
+           'Exact zero, one and two dimensional charts')
+    omitted = set(indices)
+    L.need(not any(roles(e) & {c,h,s} for i,e in enumerate(p)
+                   if indices[0] < i < indices[-1] and i not in omitted),
+           'No intervening read or write of the three moved roles')
+    L.need(indices[-1] == indices[-2]+1, 'The two late gates are consecutive')
+    L.need(matrix(old, [c,h,s,x]) == matrix(new, [c,h,s,x]), 'Independent four-column identity')
+    changed = []
+    for i,event in enumerate(p):
+        if i == indices[-1]:
+            changed.extend(new)
+        elif i not in omitted:
+            changed.append(event)
+    result = rebuild(word, changed, L)
+    result['schema'] = 'p104-contact-rewrite/1'
+    before, after = L.replay(word), L.replay(result)
+    delta_paid = Counter(after['paid'])
+    delta_paid.subtract(before['paid'])
+    L.need({r:v for r,v in delta_paid.items() if v} == {1:-2,2:1}, 'Two H1 calls become one H2')
+    L.need(before['helpers'] == after['helpers'], 'Every independent target is retained')
+    return result, after
diff --git a/research/p104-chart-contact-obstruction/source/local-grammar.py b/research/p104-chart-contact-obstruction/source/local-grammar.py
new file mode 100644
index 0000000000..e72cb02dba
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/local-grammar.py
@@ -0,0 +1,208 @@
+"""Check the complete P104 word with an independent helper inventory.
+
+Adapted from Ali Romman's PR5544/5545. David Arias supplied the word;
+Cinna Davis supplied private reuse; Gareth Davidson supplied composition.
+Prepared by Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+"""
+from collections import Counter
+from fractions import Fraction as Q
+from functools import lru_cache
+from hashlib import sha256
+from pathlib import Path
+import gzip
+import importlib.util
+import json
+import sys
+
+HERE = Path(__file__).resolve().parent
+ROOT = HERE.parents[1]
+
+def need(ok, why):
+    if not ok:
+        raise ValueError(why)
+
+def read(path):
+    raw = path.read_bytes()
+    return json.loads(gzip.decompress(raw) if path.suffix == '.gz' else raw)
+
+def load(path, name):
+    spec = importlib.util.spec_from_file_location(name, path)
+    module = importlib.util.module_from_spec(spec)
+    sys.modules[name] = module
+    spec.loader.exec_module(module)
+    return module
+
+def add(dst, src, q):
+    for k, v in tuple(src.items()):
+        value = dst.get(k, 0) + q*v
+        if value:
+            dst[k] = value
+        else:
+            dst.pop(k, None)
+
+def span(basis):
+    out = {0}
+    for v in basis:
+        need(type(v) is int and 0 < v < 512 and v not in out, 'Independent binary basis')
+        out |= {x ^ v for x in tuple(out)}
+    return frozenset(out)
+
+def replay(w):
+    public = w['public']
+    owned = w.get('owned_fields', 8)
+    need(type(owned) is int and 8 <= owned <= 9, 'Owned inventory bound')
+    need(type(public) is int and 735 <= public <= 750, 'Public inventory bound')
+    need(len(w['initial']) == len(w['final']) == public, 'Public boundary size')
+    need(len(w['program']) < 26000, 'Fixed operation bound')
+    frames = [span(x) for x in w['frames']]
+    rows = [{r:Q(1)} for r in range(public+owned)]
+    current = list(w['initial']) + [None]*owned
+    paid, scalar, live_owned, peak = Counter(), 0, set(), 0
+    lifetimes = 0
+    for e in w['program']:
+        op, r = e[:2]
+        need(0 <= r < public+owned, 'Role index')
+        if op == 'MOVE':
+            _, r, a, b, private = e
+            need(current[r] == a and (r in live_owned) == private, 'Transport source and ownership')
+            need(frames[b] < frames[a] if private else frames[a] < frames[b], 'Nested chronological transport')
+            paid[abs(len(w['frames'][b])-len(w['frames'][a]))] += 1
+            current[r] = b
+        elif op == 'INIT':
+            need(r >= public and r not in live_owned, 'Owned initialization')
+            live_owned.add(r)
+            lifetimes += 1
+            peak = max(peak, len(live_owned))
+            rows[r] = {}
+            current[r] = e[2]
+            scalar += 2
+        elif op == 'CLEAR':
+            need(r in live_owned and current[r] == e[2], 'Owned erasure at declared frame')
+            rows[r] = {}
+            current[r] = None
+            live_owned.remove(r)
+            scalar += 2
+        else:
+            q, f = Q(e[-2]), e[-1]
+            need(q and current[r] == f, 'Scalar destination and coefficient')
+            n, d = abs(q.numerator), q.denominator
+            need(d & (d-1) == 0, 'Dyadic scalar coefficient')
+            need(abs(q)+1 < 2**16, 'Fixed scalar growth bound')
+            if op == 'SCALE':
+                need(n & (n-1) == 0, 'Dyadic unit SCALE')
+                rows[r] = {k:q*x for k,x in rows[r].items()}
+                scalar += 2*(abs(n.bit_length()-d.bit_length()) + int(q < 0))
+            else:
+                s = e[2]
+                need(s != r and 0 <= s < public+owned and current[s] == f, 'Common scalar chart')
+                if op == 'COPY':
+                    need(r in live_owned and not rows[r], 'COPY into cleared owned field')
+                    rows[r] = {k:q*x for k,x in rows[s].items()}
+                else:
+                    need(op == 'ADD', 'Scalar opcode')
+                    add(rows[r], rows[s], q)
+                scalar += 2*(3+n.bit_length()-1+n.bit_count()+d.bit_length()-1)
+    need(not live_owned and 0 < peak <= 2 and current[:public] == w['final'], 'All public and owned exits')
+    live = set(w['live'])
+    for r,row in enumerate(rows):
+        expected = {r:Q(1)} if r < public else {}
+        if r-112 in live:
+            expected[r-112] = Q(1)
+        need(row == expected, 'All public and owned rows')
+    main = live | {r+112 for r in live}
+    helpers = Counter(len(w['frames'][w['final'][r]])-len(w['frames'][w['initial'][r]]) for r in range(public) if r not in main)
+    need(len(live) == len(w['ports']) == 104 and len(main) == 208 and min(helpers) > 0, 'Independent productive inputs')
+    return {'paid':dict(paid), 'helpers':dict(helpers), 'public_inputs':public, 'owned_fields':owned, 'owned_lifetimes':lifetimes,
+            'peak_owned_fields':peak, 'real_scalar_allowance':scalar, 'endpoint_coefficients':(public+owned)*(public+owned),
+            'paid_rank_mass':sum(r*count for r,count in paid.items())}
+
+def reverse_columns(w):
+    """Check the transpose with dense dyadic rows and the reverse chronology."""
+    public = w['public']
+    n = public+w.get('owned_fields', 8)
+    rows = [[int(i == j) for j in range(n)] for i in range(n)]
+    exponents = [0]*n
+    for e in reversed(w['program']):
+        op,r = e[:2]
+        if op == 'MOVE':
+            continue
+        if op in ('INIT','CLEAR'):
+            rows[r] = [0]*n
+            exponents[r] = 0
+            continue
+        q = Q(e[-2])
+        qe = q.denominator.bit_length()-1
+        if op == 'SCALE':
+            rows[r] = [q.numerator*x for x in rows[r]]
+            exponents[r] += qe
+        else:
+            s = e[2]
+            level = max(exponents[s], exponents[r]+qe)
+            a, b = 1 << (level-exponents[s]), q.numerator << (level-exponents[r]-qe)
+            rows[s] = [a*x+b*y for x,y in zip(rows[s],rows[r])]
+            exponents[s] = level
+            if op == 'COPY':
+                rows[r] = [0]*n
+                exponents[r] = 0
+            r = s
+        while exponents[r] and not any(x & 1 for x in rows[r]):
+            rows[r] = [x//2 for x in rows[r]]
+            exponents[r] -= 1
+    for r,row in enumerate(rows):
+        expected = [0]*n
+        if r < public:
+            expected[r] = 1 << exponents[r]
+        if r in w['live']:
+            expected[r+112] = 1 << exponents[r]
+        need(row == expected, 'Independent dense transpose columns')
+    return {'columns':n, 'coefficients':n*n, 'arithmetic':'Dense integer rows with binary denominators; reverse chronology'}
+
+def native(w):
+    n = w['public']
+    C = load(ROOT/'research/p104-native-channel/vendor/clifford_exact.py', 'p104_productive_clifford')
+    V = load(ROOT/'research/p104-native-channel/vendor/native_verify.py', 'p104_productive_gaussian')
+    @lru_cache(None)
+    def chart(i):
+        return C.canonical_frame(9, tuple(w['frames'][i]))
+    recipes = {}
+    def check(a,b):
+        if (a,b) not in recipes:
+            recipe,_ = C.lower_child(chart(a).adjoint().then(chart(b)))
+            expected = V.adjoint(V.frame(w['frames'][a],9)) + V.frame(w['frames'][b],9)
+            V.equal(V.recipe(recipe),expected,'Native chart change and exact global phase')
+            need(recipe['rank'] == abs(len(w['frames'][a])-len(w['frames'][b])), 'Native boundary rank')
+            recipes[a,b] = recipe
+        return recipes[a,b]
+    for e in w['program']:
+        if e[0] == 'MOVE':
+            check(e[2],e[3])
+    main = set(w['live']) | {r+112 for r in w['live']}
+    helper_profile = Counter()
+    for r in range(n):
+        if r not in main:
+            helper_profile[check(w['initial'][r],w['final'][r])['rank']] += 1
+    adapters = []
+    for r,q in zip(w['live'],w['ports']):
+        need(w['frames'][w['initial'][r]] == [q], 'Literal central port')
+        need(span(w['frames'][w['final'][r+112]]) == frozenset(x for x in range(512) if not (x&q).bit_count()%2), 'Literal output hyperplane')
+        tests = [
+            (C.cgate(9,q,1).adjoint().then(chart(w['initial'][r])), V.adjoint((('C',q,1),))+V.frame(w['frames'][w['initial'][r]],9)),
+            (chart(w['final'][r+112]).adjoint().then(C.cgate(9,q,-1).then(C.fourier(9))), V.adjoint(V.frame(w['frames'][w['final'][r+112]],9))+(('C',q,-1),)+V.fourier(9))]
+        for actual,expected in tests:
+            recipe,_ = C.lower_child(actual)
+            need(recipe['rank'] == 0, 'Free intrinsic main adapter')
+            V.equal(V.recipe(recipe),expected,'Main endpoint phase')
+            adapters.append(recipe)
+    bad = json.loads(json.dumps(next(iter(recipes.values()))))
+    bad['left']['phase'] = (bad['left']['phase']+1)%4
+    a,b = next(iter(recipes))
+    try:
+        V.equal(V.recipe(bad),V.adjoint(V.frame(w['frames'][a],9))+V.frame(w['frames'][b],9),'Wrong phase control')
+    except ValueError:
+        pass
+    else:
+        raise ValueError('Wrong native phase accepted')
+    payload = [[a,b,recipes[a,b]] for a,b in sorted(recipes)] + adapters
+    return {'distinct_maps':len(recipes),'main_adapters':len(adapters),'helper_normalizers':2*sum(helper_profile.values()),
+            'helpers':dict(helper_profile),'recipe_payload_sha256':sha256(json.dumps(payload,sort_keys=True,separators=(',',':')).encode()).hexdigest(),
+            'wrong_phase_rejected':True, 'proof':'Every signed Pauli image and exact global phase; frame induction at every positive tensor width'}
diff --git a/research/p104-chart-contact-obstruction/source/patterns.py b/research/p104-chart-contact-obstruction/source/patterns.py
new file mode 100644
index 0000000000..75ca00f9e1
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/patterns.py
@@ -0,0 +1,74 @@
+"""Count the tested four-gate scalar pattern before frame selection.
+
+Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+This is a finite pattern census, not a test of all possible rewrites.
+"""
+from bisect import bisect_left, bisect_right
+from collections import defaultdict
+from fractions import Fraction as Q
+
+
+def find(word):
+    public = word['public']
+    program = [e for e in word['program'] if e[0] != 'MOVE' or e[1] >= public]
+    touches, reads, writes = (defaultdict(list) for _ in range(3))
+    for i, event in enumerate(program):
+        if event[0] not in ('ADD', 'COPY', 'SCALE'):
+            continue
+        roles = {event[1],event[2]} if event[0] != 'SCALE' else {event[1]}
+        for role in roles:
+            touches[role].append(i)
+        writes[event[1]].append(i)
+        reads[event[2] if event[0] != 'SCALE' else event[1]].append(i)
+
+    def next_site(sites, i):
+        k = bisect_right(sites, i)
+        return sites[k] if k < len(sites) else len(program)
+
+    def previous(roles, j, skip):
+        candidates = []
+        for role in roles:
+            sites = touches[role]
+            k = bisect_left(sites, j)-1
+            while k >= 0 and sites[k] in skip:
+                k -= 1
+            if k >= 0:
+                candidates.append(sites[k])
+        return max(candidates, default=-1)
+
+    matches = []
+    for i, first in enumerate(program):
+        if first[0] != 'ADD' or max(first[1:3]) >= public:
+            continue
+        a, b = first[1:3]
+        j = min(next_site(writes[b], i), next_site(reads[a], i))
+        if j >= len(program):
+            continue
+        second = program[j]
+        if second[0] != 'ADD' or max(second[1:3]) >= public:
+            continue
+        x, y = second[1:3]
+        if len({a,b,x,y}) != 3:
+            continue
+        if y == a:
+            c, h, eta = x, b, Q(first[-2])*Q(second[-2])
+        elif x == b:
+            c, h, eta = a, y, -Q(first[-2])*Q(second[-2])
+        else:
+            continue
+        t = previous({c,h}, j, {i})
+        if (t < 0 or program[t][0] != 'ADD' or program[t][1] not in (c,h)
+                or program[t][2] in (c,h)):
+            continue
+        s = program[t][2]
+        if s >= public or previous({c,h,s}, j, {i}) != t:
+            continue
+        u = previous({c,h,s}, t, {i})
+        if (u < 0 or program[u][0] != 'ADD' or program[u][2] != s
+                or {program[u][1],program[t][1]} != {c,h}):
+            continue
+        alpha = Q(program[u][-2] if program[u][1] == h else program[t][-2])
+        beta = Q(program[u][-2] if program[u][1] == c else program[t][-2])
+        if beta + eta*alpha == 0:
+            matches.append(dict(first=i, second=j, previous=[u,t], roles=[c,h,s]))
+    return matches
diff --git a/research/p104-chart-contact-obstruction/source/verify.py b/research/p104-chart-contact-obstruction/source/verify.py
new file mode 100644
index 0000000000..93ba8c1769
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/source/verify.py
@@ -0,0 +1,143 @@
+"""Check the complete conditional P104 contact rewrite and its price.
+
+Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+"""
+import argparse
+from collections import Counter
+from copy import deepcopy
+import gzip
+import json
+from pathlib import Path
+import sys
+import tempfile
+
+sys.dont_write_bytecode = True
+HERE = Path(__file__).resolve().parent
+sys.path.insert(0, str(HERE))
+from sources import sources, load, need
+import construct
+import patterns
+
+
+def rejected(action):
+    try:
+        action()
+    except ValueError as error:
+        return str(error)
+    raise ValueError('An invalid certificate was accepted')
+
+
+def difference(after, before):
+    delta = Counter(after)
+    delta.subtract(before)
+    return {r:v for r,v in delta.items() if v}
+
+
+def run():
+    witness = json.loads((HERE/'WITNESS.json').read_bytes())
+    with sources() as (parent, root):
+        L = load(parent/'local.py', 'local')
+        source = L.read(parent/'WORD.json.gz')
+        old = L.replay(source)
+        cleanup = load(HERE/'inputs/pr5644-construct.py', 'released_helper_cleanup')
+        clean, clean_changes, clean_local = cleanup.construct(
+            source, L.read(HERE/'inputs/pr5644-witness.json'), L)
+        need(clean == L.read(HERE/'inputs/pr5644-word.json.gz'), 'Exact released PR5644 word')
+        construct.check_a2_source(source, L.read(HERE/'inputs/pr5643-word.json.gz'), L)
+        composed = construct.rebuild(clean, construct.replace_a2(construct.skeleton(clean), L), L)
+        published = L.read(HERE/'inputs/pr5650-word.json.gz')
+        normalized = construct.rebuild(published, construct.skeleton(published), L)
+        normalized['schema'] = composed['schema']
+        need(normalized == composed, 'Exact released PR5650 composition after public MOVE ordering')
+        composed_local = L.replay(composed)
+        need(L.replay(published) == composed_local, 'Same complete published composition receipt')
+        need(difference(composed_local['paid'], clean_local['paid']) == {2:1,3:-1,5:-1,6:1},
+             'The released A2 change composes with all three helper relations')
+        word, local = construct.rewrite(composed, witness, L)
+        pattern_before, pattern_after = patterns.find(composed), patterns.find(word)
+        need(pattern_before == [dict(first=12754,second=12755,previous=[12513,12753],roles=[165,586,733])]
+             and pattern_after == [], 'One tested scalar pattern before the change and none after')
+        columns = L.reverse_columns(word)
+        need(cleanup.owned_events(word) == cleanup.owned_events(source), 'All owned instructions stay fixed')
+        need((local['public_inputs'],local['owned_fields'],local['owned_lifetimes'],local['peak_owned_fields']) ==
+             (743,9,11,2), 'Complete public and owned inventories')
+        need(difference(local['paid'],old['paid']) == {1:-5,2:2,3:-1,5:-4,6:4}, 'Combined exact paid delta')
+        need(local['helpers'] == old['helpers'] == composed_local['helpers'], 'No target debit or added credit')
+        print('PASS released composition, four-gate identity and all 565504 endpoint coefficients', flush=True)
+        native = L.native(word)
+        C = load(root/'research/p104-productive-controller/caller.py', 'contact_caller')
+        caller = C.construct()
+        need(caller == L.read(root/'research/p104-productive-controller/CONTROLLER.json'), 'Same complete controller')
+        physical = C.physical(caller, word)
+        print('PASS all native phases, target maps and physical caller contacts', flush=True)
+        price = (parent/'pricing.py').read_text()
+        for before, after in json.loads((HERE/'PRICING-EDITS.json').read_bytes()):
+            need(price.count(before) == 1, 'One declared price change')
+            price = price.replace(before, after)
+        need((HERE/'pricing.py').read_text() == price, 'Only declared price and attribution changes')
+        P = load(HERE/'pricing.py', 'contact_price')
+        costs = P.run(local, native, caller, physical)
+        controls = C.controls(caller)
+        bad = deepcopy(witness)
+        bad['replacement'][0][3] = '-1/2'
+        controls['wrong_compensation_sign'] = rejected(lambda: construct.rewrite(composed,bad,L))
+        bad = deepcopy(witness)
+        bad['indices'][0] += 1
+        controls['wrong_source_version'] = rejected(lambda: construct.rewrite(composed,bad,L))
+        bad = deepcopy(word)
+        bad['program'].remove(next(e for e in bad['program'] if e == witness['replacement'][0]))
+        controls['missing_early_read'] = rejected(lambda: L.replay(bad))
+        bad = deepcopy(word)
+        site = next(i for i,e in enumerate(bad['program']) if e == witness['replacement'][0])
+        bad['program'][site][-1] = 597
+        controls['wrong_early_frame'] = rejected(lambda: L.replay(bad))
+        bad = deepcopy(word)
+        bad['program'].pop(max(i for i,e in enumerate(bad['program']) if e[0] == 'CLEAR'))
+        controls['missing_owned_erasure'] = rejected(lambda: L.replay(bad))
+        bad = deepcopy(local)
+        bad['helpers'][1] += 1
+        controls['extra_target_credit'] = rejected(lambda: P.assemble(bad,native,caller,physical))
+        bad = deepcopy(local)
+        bad['paid'][1] -= 1
+        controls['unpaid_query'] = rejected(lambda: P.assemble(bad,native,caller,physical))
+        result = dict(status='PASS_P104_CONTACT_REWRITE_KAPPA_00310676333',
+                      authenticated_package_inputs=6, authenticated_source_files=36,
+                      source_commit='ed4dc88a09a7d201971f6603b8c2074e95dd9c32',
+                      released_helper_changes=clean_changes,
+                      released_a2_paid_delta={2:1,3:-1,5:-1,6:1},
+                      scalar_pattern_census=dict(before=pattern_before,after=pattern_after),
+                      new_four_gate_paid_delta={1:-2,2:1},
+                      local_paid_delta={1:-5,2:2,3:-1,5:-4,6:4},local_helper_delta={},
+                      source_local=old,pr5644_local=clean_local,composed_local=composed_local,
+                      local=local,separate_columns=columns,native=native,physical_caller=physical,
+                      complete_cost=costs,negative_controls=controls,
+                      limits=['The five selected framework assumptions and helper endpoint contract remain.',
+                              'The enormous uniform word and complete rounded multiplier are not materialized.',
+                              'These author checks are not independent scientific acceptance or a proof-kernel theorem.',
+                              'This is a small improvement. No global optimum or large breakthrough is established.'])
+        return P.encode(result), word
+
+
+def main():
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument('--write', action='store_true')
+    args = parser.parse_args()
+    with tempfile.TemporaryDirectory(prefix='p104-contact-bytecode-') as cache:
+        sys.pycache_prefix = cache
+        result, word = run()
+    for name, value in (('RESULT.json',result),('WORD.json.gz',word)):
+        path = HERE/name
+        if args.write:
+            raw = (json.dumps(value,sort_keys=True,indent=None if name.endswith('.gz') else 2)+'\n').encode()
+            path.write_bytes(gzip.compress(raw,mtime=0) if name.endswith('.gz') else raw)
+        else:
+            raw = path.read_bytes()
+            need(json.loads(gzip.decompress(raw) if name.endswith('.gz') else raw) == value,
+                 'Exact saved artifact: '+name)
+    print(result['status'])
+    print(json.dumps({k:result['complete_cost'][k] for k in
+                     ('kappa_decimal','gain','raw_root_interval','productive_fields','paid_calls')},sort_keys=True))
+
+
+if __name__ == '__main__':
+    main()
diff --git a/research/p104-chart-contact-obstruction/verify.py b/research/p104-chart-contact-obstruction/verify.py
new file mode 100644
index 0000000000..26e39025b7
--- /dev/null
+++ b/research/p104-chart-contact-obstruction/verify.py
@@ -0,0 +1,84 @@
+#!/usr/bin/env python3
+"""Reproduce one historical direct-route obstruction. Apache-2.0."""
+import hashlib
+import json
+import os
+from pathlib import Path, PurePosixPath
+import subprocess
+import sys
+import tempfile
+
+HERE=Path(__file__).resolve().parent
+EXPECTED='41a58dbab3a8aa8215d76c01c3b557e425604ec5aab6e15782c3f0eb88ca63a4'
+ORIGINAL_CORE='b296855175e7d2cf84bbab07696b6b5b9589ffe4e1a9060174bb6d796f065304'
+WORD_SHA='9e78864cd46fc443c6183674588c99c52cfb8e8e408c7ba09bb50cf4694463f6'
+WORD_BLOB='9e68b7de6bfc23bc4fe9940c718dba350ba8a893'
+
+def need(ok,message):
+    if not ok:raise ValueError(message)
+def sha(raw):return hashlib.sha256(raw).hexdigest()
+def safe(name):
+    p=PurePosixPath(name)
+    need(not p.is_absolute() and '..' not in p.parts and p.as_posix()==name,'Canonical package-local payload path')
+    f=HERE
+    for bit in p.parts:
+        f=f/bit;need(not f.is_symlink(),'No payload symlinks')
+    need(f.is_file(),'Missing payload '+name);return f
+
+def check_bytes(raw,row):
+    need(len(raw)==row['bytes'] and sha(raw)==row['sha256'],'Payload size/SHA256')
+    if 'git_blob' in row:
+        need(hashlib.sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw).hexdigest()==row['git_blob'],'Payload Git blob')
+
+def rejected(action):
+    try:action()
+    except ValueError:return 'rejected'
+    raise ValueError('Integrity control accepted a mutation')
+
+def main():
+    manifest=json.loads((HERE/'PORTABLE.json').read_bytes())
+    need(manifest['original_result_sha256']==EXPECTED and manifest['original_checker_sha256']==ORIGINAL_CORE,'Original evidence binding')
+    for name,row in manifest['payloads'].items():check_bytes(safe(name).read_bytes(),row)
+    original=safe('evidence/original-check.py').read_bytes();portable=safe('check.py').read_bytes()
+    need(sha(original)==ORIGINAL_CORE and original.count(b'ROOT=HERE.parents[2]')==1 and
+         original.replace(b'ROOT=HERE.parents[2]',b'ROOT=HERE')==portable,'Exactly one ROOT adaptation; unchanged scientific logic')
+    need(sha(safe('evidence/RESULT-normal.json').read_bytes())==EXPECTED and
+         safe('evidence/RESULT-normal.json').read_bytes()==safe('evidence/RESULT-optimized.json').read_bytes(),'Entire original result pair')
+    word=safe('source/WORD.json.gz').read_bytes();row=manifest['payloads']['source/WORD.json.gz']
+    need(row['bytes']==107909 and row['sha256']==WORD_SHA and row['git_blob']==WORD_BLOB,'Exact historical compressed source')
+    controls={
+      'corrupt_compressed_bytes':rejected(lambda:check_bytes(word[:-1]+bytes([word[-1]^1]),row)),
+      'corrupt_scientific_core':rejected(lambda:check_bytes(portable+b'\n',manifest['payloads']['check.py']))}
+    # Fresh cache isolates imports in the single separately launched core.
+    # The package and export remain read-only; the cache lives outside them.
+    with tempfile.TemporaryDirectory(prefix='p104-chart-cache-') as cache:
+        command=[sys.executable,'-I','-B','-X','pycache_prefix='+cache]
+        if sys.flags.optimize:command.append('-O' if sys.flags.optimize==1 else '-OO')
+        command.append(str(HERE/'check.py'))
+        env=dict(os.environ);env.pop('PYTHONOPTIMIZE',None)
+        done=subprocess.run(command,cwd=HERE,env=env,capture_output=True,timeout=55,check=False)
+    need(done.returncode==0 and not done.stderr,'Core must complete without source/binding/resource errors')
+    need(sha(done.stdout)==EXPECTED,'Entire scientific output must equal original SHA256; no excluded fields')
+    value=json.loads(done.stdout)
+    need(value['status']=='STOP_UNSUPPORTED_FORWARD_NESTING' and value['candidate_paid_invoice'] is None,'Completed physical stop; no priced candidate')
+    need(value['instruction_count']==25448 and value['decompressed_hard_cap']==16777216,'Exact corpus count and unchanged abort cap')
+    need(value['unique_final_block']['actual_program_indices']==[14187,14189,14192,14194],'Final four-gate binding')
+    donor=value['donor_W_Z']
+    need(donor['W']['event']==13554 and donor['W']['instruction']==['ADD',695,733,'1',597] and
+         donor['Z']['event']==14397 and donor['Z']['instruction']==['ADD',132,733,'2',597] and
+         donor['p']==donor['r']==1,'Exact neighboring donor reads')
+    need(donor['spaces']=={'597':[82],'652':[82,268]},'Fixed ordered source spaces')
+    need(any(e['old']==652 and e['new']==597 and e['rank']==-1 and e['strict_forward'] is False
+             for e in value['unsupported_edges']['733']),'Forbidden 652-to-597 return')
+    need(len(value['controls'])==7 and all(v['outcome']=='rejected' for v in value['controls'].values()),'Original seven controls reject')
+    print(json.dumps({'status':'PASS_P104_FIXED_CHART_CONTACT_OBSTRUCTION','source_head':value['source_head'],
+      'scientific_status':value['status'],'complete_scientific_output_sha256':sha(done.stdout),
+      'required_donor_route':[597,652,597],'new_kappa':None,'candidate_paid_invoice':None,
+      'core_executions':1,'original_controls_rejected':7,'portable_integrity_controls':controls,
+      'core_adaptation':'One ROOT assignment only; source modules never imported.'},sort_keys=True,separators=(',',':')))
+
+if __name__=='__main__':
+    try:main()
+    except Exception as error:
+        print(json.dumps({'status':'FAIL_P104_CHART_OBSTRUCTION_REPLAY','failure':type(error).__name__+': '+str(error)},sort_keys=True,separators=(',',':')))
+        sys.exit(1)