Add electrostatic critical-point transfer

CHANGELOG.md

@@ -1,5 +1,28 @@
 # Changelog
 
+## Post-v1.4.0 electrostatic critical-point transfer — 2026-07-31
+
+This main-branch application is an independent mathematical reconstruction,
+not a new release or a replay of an absent historical computation:
+
+- allocated `BSC-ECP-01` through `BSC-ECP-05` without reusing a claim or
+  fixture namespace;
+- added quantitative $C^2$ local Morse transfer, the normalization-sign rule,
+  and the exterior-gradient and no-escape boundaries for exact counts;
+- supplied the positive-source exclusion step needed before generic regular
+  zeros can be promoted to a finite roster;
+- proved a four-charge, pairwise-unequal, sufficiently small positive $\varepsilon$
+  construction with at least nine critical points;
+- independently reconstructed the exact 21-point limit-polynomial roster,
+  three remote points, and the five-charge at-least-24 theorem;
+- recorded the derivative-controlled pair-insertion gate and its
+  $3+2m$ source / $4+20m$ point lower bound; and
+- added exact symbolic regressions while retaining historical scripts and
+  receipts as `NOT_SUPPLIED` and `NOT_REPLAYED`.
+
+No F13, roadmap item, paper, PDF, release, tag, DOI, Zenodo record, release
+metadata, electromagnetic claim, or formal-kernel claim is changed.
+
 ## Post-v1.4.0 exact-Q derived-holonomy fixture — 2026-07-31
 
 This main-branch development adds an independently reconstructed finite

MANIFEST.sha256

@@ -8,7 +8,7 @@ f28298c16fdb91b16ca87bead23a9293e3edf25a1c8bfaf8a4269c53eae8ec86  ./.github/ISSU
 2eb56f5d30d92fdd871d8bb8a83adbccbe6b15175d8a18be925794be78e3ce77  ./.gitignore
 ee4a4ebfc2de9f960f032576bfd57236e37dc9c465fdecce35c2a81da05f9e5c  ./.zenodo.json
 c8fe1c48196b4e8591f5e78bc0b29c7e1ac6a855b4e2df7e0ef47125a69836df  ./AUDIT_REPORT_v1.0.0.md
-aee91370aa55f2537608fbb9dd016806a09f4a1991d4b5d08ff8dd9d3aa70038  ./CHANGELOG.md
+c70dcf6bcc612ab899c0adbdc283f4eb3d8ee6a00ae436d7bd151e4a16fd9224  ./CHANGELOG.md
 06e6fc8cb5e118923e639f298a74cc62221bebd529010fe19488c26e8d4d72b8  ./CITATION.cff
 ccff4822b8d2bb3ec2dba332283eafd5193db3639e1bd5d35e40fce9f5c65f0f  ./CONTRIBUTING.md
 632c312b84e5f440444e2cd25513eacf41e4876ddcac3e64f5ca9591c7be24eb  ./DISCLOSURE.md
@@ -17,12 +17,13 @@ a4b6a51b30cc788052b4a2f276ba88d0effbd998cf408d89cceb5c8f4a6f645c  ./LICENSE
 c8747e82b4e652035f2390ae648c0baabba2c3ad0f47c6d27d3c8e6d706284a3  ./LICENSES/code.txt
 d633b150311aa162b4b4baec0580a6ad4a0997e0cbf1226963fd86c0112451ac  ./LICENSES/paper-and-documentation.txt
 d7174aebe21c6bdad6a169c17862f6b4e7d1cf38684b848aa906fc2e5932592d  ./Makefile
-f5376b8fc8af8ad70b38b3f86031a75a9f76251e7edcfdf5faf5dba86291ad92  ./README.md
+b499066df09d3447a3060f9b3531fcc2f433cdea309c24070cdec6cfdb762390  ./README.md
 494b43616a7b59340c2a36164dc7b47cc13af104eff926ae5bfe5acaf7dbf105  ./REPRODUCING.md
 f5000369c499804337d2ea58b0be4eb9ae8800bc13eb008989eb2bfcb8ce4f5d  ./ROADMAP.md
 3b7df2bff9b39af71e5ae6ad7e14244aed504fd6e005caef582482822f15e5d1  ./SOURCE_AVAILABILITY.md
 354b125133c1fdffe3f784b3c5687f2608d60191794e47982167c1d447b3adbc  ./applications/Collatz_Affine_Certificate_Calculus.md
 5d0163fecc44367b00bf830103145af7ecad0197c263cdced9011f9fb0077d79  ./applications/Collatz_Recursive_Sufficiency_Audit.md
+8947ff6657c15f104230a9d42841a2090b0d8a7c1ad8a42d6ab0f3270c0e7f14  ./applications/Electrostatic_Critical_Point_Transfer.md
 c6ced0ebd2d5a1eba08ebbc32a8f5f1fde89b0f235634ea2ecaf3784ae0bad31  ./applications/Operational_Channel_Crosswalk_2026.md
 23664d28fea876abcfce1b1788477f697ae0e69f04ff1cbb3d401e416c069ac1  ./applications/Riemann_DQPT_Transfer.md
 ad2c0f9797a37b4ae56f48d45727961565e478b19e7f149a768190d2c5c28eae  ./fixtures/F08_sqrt_square_sign/check_fixture.py
@@ -59,16 +60,16 @@ bb7f03d41d42dd9acb50b6d9eeeb064fb6c81fb8718c0824eb3ff21586c875fa  ./fixtures/F12
 10e2da3fb48ff2bd15bc6889040a137dcb5ae6fe34e990da777de1763115da22  ./framework/Normalized_Scale_Profiles.md
 d15a626336d669614c9fc7cae5f71e09465fe2f0f5eafb56b04487035887ee6a  ./framework/Operational_Channel_Core.md
 429f4dd2d8fd156dcd3a9015ac1ba10f1e61b7aef6861fc3aeaef27ea92658d1  ./framework/Simulation_Evidence_Profile.md
-208a10bd6f68bbd9d6c5417d1fca380c2023e4bff1b1230310f112ef9ebcdd09  ./ledgers/Claim_Status_Ledger.md
+51bd475449612b87cb7dff528604cf919a5bf06e47cb0f32b1bbcdc5da999d0b  ./ledgers/Claim_Status_Ledger.md
 d882d8aec2567c81c81207ccaa6f618f858120b657f70c8ba15740d17e277b3b  ./ledgers/Symbol_and_Notation_Ledger.md
 08a5fd3fa6c061d681606b09ae8b93b681b0c148fda70cdce8df70adc387e1ab  ./paper/On_Boundaries_of_Evidence.pdf
 8518f9fbff8016fc8f7686bcbdaed811918b006a7ba9624fbccde76c692deeae  ./paper/source/On_Boundaries_of_Evidence.bib
 05b2fe8783fcea4276cfee9ed26daeaf2d2df70f84a7ade6aaa0ba30654fe730  ./paper/source/On_Boundaries_of_Evidence.tex
 a2ab99c52dbed605f0bd3a964c15c2afa8dbe22674a3a73ddb9f181621f78fff  ./provenance/Supplied_Source_Manifest.csv
 e09fe052b1aa00edb924af688d88ba398ecb5077bcfb164eb1dd5cee829c9a7f  ./provenance/Supplied_Source_SHA256.txt
 c1134c842e71142f1cca145650255906f38f5cb385d5df923aca612091f810c0  ./release/release-spec.json
-da61a61445b7b0e605c7d24e5f89a35ea51770cb33327e398b9122cb32c25e15  ./revision/Revision_Memorandum.md
-c890ba153ea6e95d6db51b5692d6471a741c4834133cbd18fb38e7c48341113e  ./synopsis/Reader_Map.md
+b096e1766f15131d1fa9042e2c983c7b5973317110b70cdbb8ebd586f7412185  ./revision/Revision_Memorandum.md
+4b3a9c0bcffe94b9384741f24d946f2d382acb5ed046146f535b874958c996a5  ./synopsis/Reader_Map.md
 483f61e93cef602a818beae67f37b6624eea4b501cb79f3ecc4358770bb327bb  ./synopsis/Technical_Synopsis.md
 4f5ba34ec1cbfbe203ada362b64624007b0558a0857919ea6fdee0cf71594f18  ./synopsis/Technical_Synopsis.pdf
 b9087ac80cdeac7e581d4170d0e06d7906cfabc6932d4e9682dcf15d733cf242  ./synopsis/source/Technical_Synopsis.tex
@@ -77,6 +78,7 @@ b9087ac80cdeac7e581d4170d0e06d7906cfabc6932d4e9682dcf15d733cf242  ./synopsis/sou
 cf6370dbf4855d8f2181bee3a8b843bb0c8292e067e32d2378e9088aa8cb98cd  ./tests/test_collatz_affine_certificate_calculus.py
 b07164af4cb1d5325989cba1dc9d5308223782e062f1a7b93952ad2c08465733  ./tests/test_collatz_recursive_sufficiency_application.py
 a9ef88a0239760b88b02f21b9655588022e4e888690fca4c2edf1352061079bf  ./tests/test_electromagnetic_evidence_bridge.py
+9ac9b0b16b803cf1d0b2c89150d060643575c3ec116aa820752b3ecbfa6fcaaa  ./tests/test_electrostatic_critical_point_transfer.py
 389ccbea7a7a31087f4696c44a7d52c1c01c7f0b9103fb9fe0930be32d3f68a8  ./tests/test_f08_fixture.py
 5ec3f9761cfcaf9fbf41d67b426c9b0a3208fcd71baa49955eb3ce64279eb8fa  ./tests/test_f10_fixture.py
 20ec10f7982afbb4b5e1f8c4ff0ec9523d61e318127f809aca5b3ef44cc0b68f  ./tests/test_f11_fixture.py

README.md

@@ -42,6 +42,7 @@ The unit of evaluation is not the universe. It is one claimed transfer.
 | Framework module | [Operational channel core](framework/Operational_Channel_Core.md) | Inspect fixed-interface mixed classical/quantum propagation, no-resurrection, driven and strong-coupling energy boundaries, energy-port gluing, typed efficiencies, Bernoulli encoding, semantic alignment, and the 1/137 boundary |
 | Framework module | [Electromagnetic evidence bridge](framework/Electromagnetic_Evidence_Bridge.md) | Inspect gauge descent, sources and flux, boundary power, calibrated scattering, inverse scope, coupling normalization, metrology, RG flow, and aperiodic geometry-to-field descent |
 | Framework module | [Exact rational derived-holonomy certificates](framework/Derived_Holonomy_Certificates.md) | Inspect the post-v1.4.0 exact-Q homotopy/left-null certificate and its evidence boundary |
+| Mathematical-physics application | [Electrostatic critical-point transfer](applications/Electrostatic_Critical_Point_Transfer.md) | Inspect quantitative critical-point transfer, positive-source compactness, the four-charge at-least-nine construction, and the bounded five-charge reconstruction |
 | Application crosswalk | [Four July 2026 experiments](applications/Operational_Channel_Crosswalk_2026.md) | Compare hybrid photons, a driven plasmonic time crystal, Hiroshima alloy evidence, and a microwave probabilistic-bit processor without conflating their physics |
 | Number-theory application | [Collatz recursive sufficiency](applications/Collatz_Recursive_Sufficiency_Audit.md) | Inspect the exact induction defect, replacement RS sieves, conditional finite certificate, and blocked universal claims |
 | Number-theory calculus | [Collatz affine certificates](applications/Collatz_Affine_Certificate_Calculus.md) | Inspect merge kernels, exact affine descent, valuation screens, a scoped one-turn binary-cylinder obstruction, and one proved recursive subprogression |
@@ -361,6 +362,32 @@ one specific finite geometry-to-fabricated-sample-to-diffraction chain; it
 does not establish a universal
 band gap, nonreciprocity, or a route to $1/137$.
 
+## Electrostatic critical-point transfer
+
+The post-v1.4.0
+[electrostatic application](applications/Electrostatic_Critical_Point_Transfer.md)
+allocates `BSC-ECP-01` through `BSC-ECP-05`. It records quantitative $C^2$
+transfer for isolated Morse points, the normalization-sign index rule, and the
+extra exterior-gradient and no-escape evidence needed before a local roster
+can become an exact compact or global count. Its positive-source completion
+adds uniform source exclusion before compact regular zeros are called finite;
+genericity remains existential.
+
+For fixed $c>4/9$ and sufficiently small positive $\varepsilon$, the
+triangle-plus-apex construction retains six Morse-Bott split points and three
+remote points. A subsequent generic strength perturbation gives four
+pairwise-unequal positive charges with a finite Morse set containing at least
+nine points. This is not exactly nine, not a four-charge maximum, novelty, or
+priority claim, and not a stable-trap result.
+
+The same module independently reconstructs the five-charge theorem as an
+exact 21-point limit-polynomial roster plus three persistent remote points,
+and states the derivative-controlled pair-insertion gate. It is
+`NOT_REPLAYED`: there is no historical script or receipt, no interval
+certificate at $\varepsilon=1/6$, no exact finite-parameter total, no explicit
+generic perturbation or robustness radius, and no transfer from point charges
+to finite-size distributions.
+
 ## Collatz recursive-sufficiency application
 
 Version 1.4.0 audits the first nontrivial layer of Ansari's 2025
@@ -404,6 +431,7 @@ miners, and independent replay program were not supplied to the repository.
 | Operational fixed-interface channel core | True | Implemented-reachable-set product-sum propagation and classical/quantum no-resurrection proved | N/A | Unexecuted | Bounded |
 | Driven energy, scalar Bernoulli, and semantic-alignment consequences | True | Exact symbolic proofs under declared finite-dimensional, iid, and same-entity hypotheses | N/A | Unexecuted | Bounded |
 | Electromagnetic evidence bridge | True under its declared local hypotheses | Gauge/source, Poynting, passive-scattering, phase, normalization, flux-product, revised-SI, RG boundary-value, and aperiodic materialization-descent results proved; inverse and spectral claims remain theorem local | One experimental study; not replayed | Unexecuted | Bounded |
+| Electrostatic critical-point transfer | True under its declared point-source, scale, compactness, and derivative-control hypotheses | Quantitative local transfer, source-exclusion completion, a four-charge at-least-nine theorem, and an independently reconstructed five-charge at-least-24 theorem | N/A | Exact symbolic regressions; historical computations not replayed and no finite-parameter interval certificate | Bounded |
 | Channel form determines $\alpha^{-1}\approx137$ | False | The abstract envelope axioms contain no equation fixing a coupling; no operationally equivalent pair is asserted | N/A | Unexecuted | Blocked |
 | Exact finite-label observation decoding | True | Measurable-partition criterion and total-variation lower bound proved | N/A | Unexecuted | Certified |
 | Generic decorated-cospan theorem | True | Proved under the assumed lax-monoidal functor | N/A | Unexecuted | Bounded |