Add Q26 symmetry-parity shell reduction

CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## Post-v1.4.0 Q26 symmetry-parity shell reduction - 2026-08-07
+
+This development publishes a reproducible structural quotient for the open
+thirteen-queen decision on the $26\times26$ board:
+
+- derived and mechanically reproduced that every hypothetical thirteen-queen
+  dominator maps into one of $16+91+49=156$ canonical occupied-line
+  parity-profile shells;
+- applied Weakley's empty-line parity lemma to tighten the over-cover to
+  $15+78+49=142$ shells;
+- retained a dependency-free generator, complete canonical JSON roster, and
+  positive and fail-closed regression tests; and
+- preserved the decisive scope boundary: shells are neither queen placements
+  nor SAT instances, no shell is proved unsatisfiable, and the supported status
+  remains $13\leq\gamma(Q_{26})\leq14$.
+
+No BSC claim or fixture identifier, roadmap order, paper, PDF, release, tag,
+DOI, Zenodo record, workflow, ruleset, setting, or solver result is changed.
+
 ## Post-v1.4.0 Q26 queen-domination attack — 2026-08-06
 
 This development adds an exact, independently reconstructed attack package for

MANIFEST.sha256

@@ -8,7 +8,7 @@ f28298c16fdb91b16ca87bead23a9293e3edf25a1c8bfaf8a4269c53eae8ec86  ./.github/ISSU
 2eb56f5d30d92fdd871d8bb8a83adbccbe6b15175d8a18be925794be78e3ce77  ./.gitignore
 ee4a4ebfc2de9f960f032576bfd57236e37dc9c465fdecce35c2a81da05f9e5c  ./.zenodo.json
 c8fe1c48196b4e8591f5e78bc0b29c7e1ac6a855b4e2df7e0ef47125a69836df  ./AUDIT_REPORT_v1.0.0.md
-efc40b9425a1da07198bfb5f1b0fadad90ee4687e6309aa56a264dbffa04ac14  ./CHANGELOG.md
+71da04d86f7f51ef60d90ae858b48494444a1149297ed571199da589b85021f7  ./CHANGELOG.md
 06e6fc8cb5e118923e639f298a74cc62221bebd529010fe19488c26e8d4d72b8  ./CITATION.cff
 ccff4822b8d2bb3ec2dba332283eafd5193db3639e1bd5d35e40fce9f5c65f0f  ./CONTRIBUTING.md
 632c312b84e5f440444e2cd25513eacf41e4876ddcac3e64f5ca9591c7be24eb  ./DISCLOSURE.md
@@ -17,7 +17,7 @@ a4b6a51b30cc788052b4a2f276ba88d0effbd998cf408d89cceb5c8f4a6f645c  ./LICENSE
 c8747e82b4e652035f2390ae648c0baabba2c3ad0f47c6d27d3c8e6d706284a3  ./LICENSES/code.txt
 d633b150311aa162b4b4baec0580a6ad4a0997e0cbf1226963fd86c0112451ac  ./LICENSES/paper-and-documentation.txt
 8609a8f220f0f69fad5476fb5a66c9edf5e681563e86029e34e0327cf1cfd1f3  ./Makefile
-de05e6fe7b3877e64c0d7b66f6ad284771fd2228c17625172371868316b5cab3  ./README.md
+67a39df62d8232586ff5c4f43a71f6e37e263c4c5035bcc2fba59b953a4a9e8c  ./README.md
 c3fa014b23879048885b4a04757dd05e2129102e0582d62b82ef346a4564731b  ./REPRODUCING.md
 f5000369c499804337d2ea58b0be4eb9ae8800bc13eb008989eb2bfcb8ce4f5d  ./ROADMAP.md
 d9b1b2120d21a8e4e13c345d982fea9d96a42ee0c1ae6853c4dbe8bd380c7b2b  ./SOURCE_AVAILABILITY.md
@@ -26,8 +26,10 @@ d9b1b2120d21a8e4e13c345d982fea9d96a42ee0c1ae6853c4dbe8bd380c7b2b  ./SOURCE_AVAIL
 5d0163fecc44367b00bf830103145af7ecad0197c263cdced9011f9fb0077d79  ./applications/Collatz_Recursive_Sufficiency_Audit.md
 8947ff6657c15f104230a9d42841a2090b0d8a7c1ad8a42d6ab0f3270c0e7f14  ./applications/Electrostatic_Critical_Point_Transfer.md
 c6ced0ebd2d5a1eba08ebbc32a8f5f1fde89b0f235634ea2ecaf3784ae0bad31  ./applications/Operational_Channel_Crosswalk_2026.md
-e1196f10565066192a31ac5165be492651e5f2bac6560b32c00a0a3354e236d3  ./applications/Q26_Queen_Domination_Attack.md
+050f5d75fc5d3b183cea1032d29e54cf6dfac3635559c723f6e37e2ec84cf95e  ./applications/Q26_Queen_Domination_Attack.md
+573a7d0897d0e2ee5ebb52cfb6ac4757d7608f3d93d652d514f8d93259bbf4ea  ./applications/Q26_Symmetry_Parity_Profile_Reduction.md
 ff646f1a9cc856dc7805bddba18680bfca25f5c004aa6c3ee7c234f4796f4897  ./applications/Q26_queen_domination_known_14.json
+3fc303c3d1091deeb069b4232a54cdd6cdc1a2694caa10053c08f23dcbb46e4c  ./applications/Q26_symmetry_parity_profiles.json
 23664d28fea876abcfce1b1788477f697ae0e69f04ff1cbb3d401e416c069ac1  ./applications/Riemann_DQPT_Transfer.md
 ad2c0f9797a37b4ae56f48d45727961565e478b19e7f149a768190d2c5c28eae  ./fixtures/F08_sqrt_square_sign/check_fixture.py
 786edf0427324310048f1060ffab594d73aec137529d46aec14225d44b20c311  ./fixtures/F08_sqrt_square_sign/receipt.schema.json
@@ -101,6 +103,7 @@ dca5895cc85edb5c06eb1ca19d00bbf12d47c4ee7ad0c5e13cf9a4d993f46e54  ./tests/test_m
 274e46648ea865cb221c7792568001d039c9a56a040916b4385a74a40285cadd  ./tests/test_markdown_math.py
 59dc63326504cfe12fc1d48efa19d4a71c313e831e282358c5127c5a92968f83  ./tests/test_operational_channel_core.py
 6bf90984a3f85067e3c6468cdbc07e8c1a4b24015afbb57502cdf93a7ae700f4  ./tests/test_q26_queen_domination.py
+8543ad27aa25ff73cfe6ce5ffb3c635a891ea7b27abd797b9230cf12f2b53f06  ./tests/test_q26_symmetry_profiles.py
 02519503cc20a1ebefed32191c74593231ab88247ddd5e56e8bd7fc14aff1a13  ./tests/test_release_identity.py
 0b5f0b1322bd0d9864866db917a86f3c17b7ce9ea304624e9f380bf00af6fd15  ./tests/test_release_metadata.py
 67c7d1e6615f08bc55f14249d8129f7b94281753e62dc834945b7770ab8347a4  ./tests/test_simulation_evidence_framework.py
@@ -111,6 +114,7 @@ d5a0b63e621639f149b1eb315d735a71e7fb51826a78dfde0fc6a11d4ff72fd5  ./tests/test_z
 8eb049ac1b011309d5cd773c8a991f14f40996a0a61801b41a4a77c138fe704b  ./tools/build_archives.py
 67d04e99b0d1307b66c378d368e5db821ce2bbcee7d3581217f3449fb0e32ac4  ./tools/check_markdown_math.py
 d0ebc0fa2621b6f8b547fc9b7d060c1dfba7f079254905c58d7c2fae968bdf55  ./tools/q26_queen_domination.py
+31447ea77d5151110858704165d69ed3707c876f5eba2cf17685932672c0777e  ./tools/q26_symmetry_profiles.py
 2f14286f475e2a2985b94ba401a5dd3a682387470f092a7c26ade7c14106cd27  ./tools/release_identity.py
 6571bc951c14581c28a258bd48cafba3d7260a34cfed820a5485936f29407989  ./tools/update_manifest.py
 d3a6b18bfc68541f2012be23454e68dfbaa68e0a657864bfb2c6b592cc287dc0  ./tools/verify_build.py

README.md

@@ -46,6 +46,7 @@ The unit of evaluation is not the universe. It is one claimed transfer.
 | 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 |
 | Source-admission crosswalk | [ASTRA dual-rent audit](applications/ASTRA_Dual_Rent_Crosswalk.md) | Inspect corrected physical-change and diagnostic-gain semantics, exact countermodels, static reservoir degeneracy, source identities, and preserved verification failures |
 | Finite combinatorics attack | [Q26 queen domination](applications/Q26_Queen_Domination_Attack.md) | Inspect three independent encodings, theorem-derived search reductions, the checked 14-queen upper bound, and the proof boundary for the unresolved 13-queen decision |
+| Finite combinatorics reduction | [Q26 symmetry-parity shells](applications/Q26_Symmetry_Parity_Profile_Reduction.md) | Reproduce the exhaustive 156-shell structural over-cover and its 142-shell Weakley-Lemma-6 tightening without treating shells as placements or UNSAT cases |
 | 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 |

applications/Q26_Queen_Domination_Attack.md

@@ -154,6 +154,12 @@ formula. An UNSAT claim from it additionally requires an independently reviewed
 theorem-to-CNF bridge. The conservative negative path is an unstrengthened CNF
 proof plus the direct OPB cross-check.
 
+The companion
+[`Q26_Symmetry_Parity_Profile_Reduction.md`](Q26_Symmetry_Parity_Profile_Reduction.md)
+makes the occupied-line quotient explicit: 156 coarse parity-profile shells,
+tightened to 142 by Weakley's Lemma 6. These shells form an exhaustive
+structural over-cover, not a list of queen placements or solved SAT instances.
+
 ## Decisive evidence
 
 ### Positive branch
@@ -163,7 +169,8 @@ A SAT model is discovery output. Promotion requires:
 1. decode only primary square variables;
 2. reject duplicates, out-of-range coordinates, or more than thirteen queens;
 3. recompute domination of all 676 squares without consulting the formula; and
-4. obtain byte-identical agreement from both independent witness checkers.
+4. obtain identical normalized coordinates and coverage results from both
+   independent witness checkers.
 
 A valid thirteen-queen list and the established lower bound prove
 $\gamma(Q_{26})=13$. No SAT proof trace is needed once the finite coordinate
@@ -202,6 +209,7 @@ variants. Bounded CaDiCaL runs reached 500,000 or 1,000,000 conflicts without a
 model or an UNSAT result. A MapleChrono probe reached its wall-time cap, and the
 available Windows Kissat binding exited before returning a status. Every one of
 these outcomes is `UNKNOWN`; none is evidence that thirteen queens do not exist.
+These are unretained engineering observations, not mechanically replayed runs.
 
 This establishes a genuine engineering boundary: the next serious negative run
 is a proof-producing, hash-frozen cube-and-conquer campaign, not a longer
@@ -211,8 +219,9 @@ discovery because any candidate is cheap to verify.
 ## Locally normalized fourteen-queen upper-bound witness
 
 [`Q26_queen_domination_known_14.json`](Q26_queen_domination_known_14.json) is a
-normalized JSON transcription of the coordinates in the linked OEIS witness;
-it is not claimed to preserve the source text's bytes. Its coordinates are
+normalized JSON transcription of the coordinates in Dmitry Kamenetsky's linked
+OEIS companion file; it is not claimed to preserve the source text's bytes. Its
+coordinates are
 
 $$
 \begin{aligned}