Cellulation order dependence and the source-role correction
Reported local nonconfluence in the weaker model; strict source-role construction blocked
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
Reported result
The frozen weaker model has a complete two-cell event graph with 406 reachable states and 155,117,520 complete schedules, yielding two different dot-422 readings. A separate supported-octahedron problem exhausts all 24 arrival permutations to one result. The full-shell search stops at 2,000 explored states: it reproduces conflicts but does not enumerate every global conflict. Finite counterexamples refute confluence of this model without global exhaustive coverage.
Controls and exclusions
These counts belong to the weaker model that admits solid sources without checking all decorated boundary roles. The subsequent source-role audit finds that both competing copies violate retained source colors. Under requireSourceRoles:true, the tested Step 23 patch admits 0 of 30 target cells: blocked, not repaired. This stricter whole-cell gate is not an exhaustive event-level certificate. The viewer retains competing claims and marks 422 unresolved; its displayed color and click normal remain legacy selections.
First unresolved obligation
A continuation must preserve every retained boundary role and directed witness obligation, or supply an independently justified role-changing transport with composition laws. Choosing the other color, averaging normals or serializing one preferred schedule does not provide that construction. Neither mathematical result establishes a physical particle role, nuclear stability or an operator-level coherence law.
Verification and sources
The reported exhaustive search and source-role audit were not replayed for publication. The exhaustive checker returns exit 2 when it reproduces a counterexample; passing regression tests validates the detector, not confluence. Its source documents the incomplete-search exit separately. Order audit · Exact coverage and frozen specification · Source-role correction and blocked gate.
Checker: scripts/check-cellulation-shell-exhaustive.mjs; research/strominger/checkers/check_cellulation_dot_compatibility.mjs
Publication provenance: Versioned source/checker and historical receipt identifiers. Metadata validation is not scientific replay.