Nontransverse Pentagon No-Go and the Cousin Face Objective

Record

Date: 2026-08-13

Status: exact eight-point falsification theorem. The regional Catalan occurrence data, strict physical coaction, normal orientations, and deck covariance do not canonically determine a rank-preserving transport across the same-core scalar edge of a route pentagon.

The tempting repair of entry 70,

[ \tau_s:\mathcal L(T_0)\longrightarrow\mathcal L(T_1), ]

cannot be promoted as an intrinsic scalar operation. At the raw endpoint level it is incompatible with strict Laurent-weight preservation. After both physical routes are embedded in the common full-core fiber, the current axioms still leave an unresolved central sign.

The next object must therefore be the entire loaded pentagon and its five-term Cousin boundary, not a guessed transport on one edge.

The claim that was falsified

Entry 70 isolated eight nontransverse route faces with core-rank word

[ [0,0,1,2,1]. ]

Each begins with a scalar flip between two zero-core triangulations and then compares the two physicalization orders leading to a common full core (Q={D,E}).

The candidate claim was:

The existing regional Catalan data canonically transport occurrence coefficients across the initial same-core scalar flip and thereby close the coefficient-valued pentagon relation.

The exact audit rejects this claim in two independent ways.

Endpoint Laurent-support obstruction

Let (T_0,T_1) be the two zero-core endpoints of one route pentagon. Each triangulation has five scalar diagonals and therefore five marked occurrence lines. The scalar flip preserves four diagonals and exchanges one:

[ T_0=C\sqcup{x}, \qquad T_1=C\sqcup{y}, \qquad |C|=4, \qquad x\ne y. ]

The corresponding formal numerator weights are

[ {-X_d:d\in C}\cup{-X_x} ]

and

[ {-X_d:d\in C}\cup{-X_y}. ]

The variables (X_x) and (X_y) are independent over the core Laurent ring: scalar numerator variables are not inverted or identified there. Consequently no rank-five isomorphism can simultaneously

  1. fix the four common labelled occurrence lines;
  2. preserve every Laurent weight;
  3. carry the remaining endpoint line to the remaining endpoint line.

Thus a strict flat local-system interpretation already fails at the two zero-core vertices.

The census checks all

[ 8\cdot2\cdot5=80 ]

endpoint lines. The eight scalar edges share thirty-two labels in total and exchange exactly one label per endpoint pair. Every pentagon fixes three of the four common labels.

Central ambiguity on the common full-core fiber

One might try to evade the endpoint obstruction by first expanding both physical routes into their common rank-eight fiber

[ \mathcal L_8(Q) \cong \mathcal L_4(\varnothing)\boxtimes\mathcal L_6(q), \qquad 8=2\cdot4. ]

All sixty-four full-core occurrence lines and all 128 marked basis factorizations pass exactly. The two physical orders agree occurrence-by-occurrence, and their ordered normal lines satisfy

[ \operatorname{or}(N_E)\wedge\operatorname{or}(N_D) =-operatorname{or}(N_D)\wedge\operatorname{or}(N_E). ]

But on this common fiber the already established structure admits both

[ \tau_s^{+}=+\operatorname{Id} \qquad\text{and}\qquad \tau_s^{-}=-\operatorname{Id}. ]

Both maps are:

  • rank preserving;
  • central;
  • involutive;
  • compatible with every established fixed-core object and physical coaction;
  • covariant under the one-step deck rotation on the actual occurrence bases;
  • invisible to the separately tracked ordered physical normal line.

The eight pentagons form one deck orbit, and both choices have the same measured normal, polarity, and tensor holonomies:

[ (+1,+1,+1). ]

Therefore none of the current axioms selects between them.

The signed pentagon defect

The two physical routes have equal occurrence coefficients. Exchanging the ordered physical normals contributes one minus sign, while the oriented cellular boundary contributes the compensating minus sign. What remains on the common rank-eight fiber is simply

[ \boxed{ \operatorname{Def}_5(\tau_s)=\tau_s-\operatorname{Id}. } ]

Hence

[ \operatorname{Def}_5(\tau_s^+)=0, ]

whereas

[ \operatorname{Def}_5(\tau_s^-) =-2\operatorname{Id}. ]

This is the decisive underdetermination certificate. Choosing (+\operatorname{Id}) makes the relation close, but the closure is fitted: an equally admissible map under the established axioms gives a nonzero integral defect.

Imposing strict naturality of Laurent augmentation across the scalar facet would exclude (-\operatorname{Id}), but that condition is precisely the missing scalar-facet specialization. It cannot be used to prove itself.

Why this is a positive structural result

The failure removes a wrong model. The occurrence system is not a local system on the associahedral carrier whose edge transports can be recovered from its fibers. It is the associated-grade shadow of a constructible chain-level object. Across a nontransverse scalar wall, the canonical datum may live on the whole face and include lower-dimensional correction terms.

Entry 38 already predicts this typing. Transverse physical intersections admit strict Gysin base change, while nontransverse incidence belongs to the Pochhammer/Cousin differential. The eight-point pentagon is the first finite cell on which that distinction is forced rather than optional.

Schematically, the replacement is

[ \boxed{ \text{edgewise parallel transport} \quad\rightsquigarrow\quad \text{facewise specialization with coherent boundary}.} ]

This makes the emerging master structure closer to a constructible factorization cosheaf or a recollement calculus than to a strict operator algebra on amplitudes.

The five-term Cousin objective

Let (F) be one actual route pentagon and let

[ e_0,e_1,e_2,e_3,e_4 ]

be its cyclically oriented facets, with (e_0) the same-core scalar edge. The next object to construct is the regularized loaded face

[ \mathcal P_{\alpha’}(F) ]

in the Pochhammer/Cousin complex, including:

  1. tangential loading on the pentagon;
  2. the ordered normal-orientation line;
  3. all five loaded facet tubes;
  4. the forced lower-face terms at their intersections.

Its boundary must be computed rather than postulated:

[ \partial_{\rm PC}\mathcal P_{\alpha’}(F)

\sum_{i=0}^{4} \epsilon(F,e_i), \mathcal P_{\alpha’}(e_i) +\text{lower-face terms}. ]

The marked physical residues must then satisfy the chain-level comparison

[ \operatorname{Res}^{\rm PC}{D,E} \partial{\rm PC}\mathcal P_{\alpha’}(F)

\partial_{\rm PC} \operatorname{Res}^{\rm PC}{D,E} \mathcal P{\alpha’}(F), ]

with the two orders related by the normal Koszul sign. The scalar-facet term and its lower faces must account for the discrepancy that an edgewise (\tau_s) cannot encode.

Because all eight pentagons form one deck orbit, one fully loaded calculation plus proved deck covariance determines the bounded eight-face test.

Forward result: entry 72 identifies the coefficient object that this loaded calculation must carry. The scalar edge is a rank-four common-label span into two rank-five endpoints; its exchanged rank-one quotients are absent from all supported double-Gysin sources. The two polarity images glue by a saturated (2\to4+4\to6) Čech sequence, and the pentagon plus its companion square glue by a saturated (4\to6+6\to8) sequence to recover the complete rank-eight fiber. Thus the no-go applies to endpoint automorphisms, not to constructible incidence descent.

Relation to the index-two signal

The alternative central transport produces a defect

[ -2\operatorname{Id}, ]

while the horizontal Möbius carrier has an index-two face-boundary sublattice. The shared integer is suggestive but is not yet an identification. The Cousin calculation must decide whether its lower-face terms

  1. supply a primitive integral filler and remove the index;
  2. leave a genuine (\mathbb Z/2) obstruction;
  3. move the class into a different orientation or nearby-cycle summand.

No conclusion about Möbius torsion is licensed before that calculation.

Reproducible certificate

Run:

rustfmt --check research/nima/check_eight_point_pentagon_transport.rs
rustc --edition=2021 -D warnings -O research/nima/check_eight_point_pentagon_transport.rs -o "$env:TEMP\\marici-pentagon-transport.exe"
& "$env:TEMP\\marici-pentagon-transport.exe"

Certificate SHA-256:

2d9ac7293e2fc6c90d5f5a9dce1462c3d0ac694300bbb429ecba35adcd2f29df

The executable enumerates all 132 triangulations and 300 two-faces, isolates the eight route pentagons, audits all endpoint and full-core occurrence lines, proves the Laurent-support obstruction, verifies factorization and normal-order signs, checks the single deck orbit, and evaluates both central signed defects exactly.

Decision

Reject:

Regional Catalan occurrence data canonically determine an edgewise same-core transport which closes the nontransverse route pentagons.

Promote:

Nontransverse scalar/physical base change is a facewise Pochhammer/Cousin operation. The first decisive calculation is the loaded five-term identity on one octagon route pentagon.

Internal dependencies

  • Entries 27 and 31: fixed-core regional coefficients and the associahedral carrier without scalar-facet coefficient maps.
  • Entries 32 and 37: strict physical coaction and the transverse mixed base-change domain.
  • Entry 38: Pochhammer/Cousin normal-torus lift and nontransverse typing.
  • Entries 68–70: regional polarity fibers, the two-axis carrier, and the isolated pentagon gap.
  • research/nima/check_eight_point_pentagon_transport.rs: exact certificate.