Hostile audit: actual-incidence two-angle vacuum theorem

8 September 2026. Internal AI-assisted mathematical audit, not external specialist review.

Contents

Finding and classification

The positive result is conditional actual filled-vacuum nonvanishing under two explicit angular certificates. Its essential new calculation is the native longitude degree identity $D_l=2(\delta-\chi_{\rm top})$ , with an exact map from the unsaturated moment lattice to integral normal classes. The uniform large-slope consequence follows from an explicit angle deformation. The unrestricted Panitch–Romo conjecture is not resolved, and no Publication or author outreach is warranted by this packet.

Main proof challenges

Challenge	Resolution	Remaining boundary
Is this only a nonzero cokernel-unit argument?	The longitude square has strictly positive order, whereas the unit has constant coefficient one. Their difference is detected.	The previous filling-isomorphism and named-comparison inputs remain dependencies.
Has the actual longitude or its central scalar been altered?	The raw native row is retained, $c_l=\epsilon_l(iA)^{p(R_l)}$ . The proof uses that exact exponent.	Arbitrarily rescaled peripheral operators do not satisfy the displayed native cancellation.
Is the meridian Weyl term missing?	It is exactly $\Omega_2(\lambda,b)=2n_s$ , canceling the $-2n_s$ character contribution.	Omitting it leaves a genuine error; the unit still has its own $-2n_s$ term.
Does half-integral raw data invalidate the normal-class construction?	$P(U)=b+\lambda/2$ is integral. Within each block the raw entries have integral differences, so subtracting from the block maximum yields integral $X$ .	Neither the raw half-lift nor the moment lattice is rounded or saturated.
Do redundant edge rows make $X$ or Euler degree representation-dependent?	A difference of expressions has zero reduced row and zero meridian coefficient. It is a tetrahedron translation. The maximum changes by the same translation; $X$ does not change.	No choice of an independent edge basis is used to discard phase constraints.
Is every normal class being silently included in the sum?	No. Only the image of $\Lambda\cap2L$ under the explicitly injective map is used.	No surjectivity onto an entire normal homology fiber is asserted.
Are the raw matrices genuinely topological?	The theorem starts with the actual native ideal-triangulation and peripheral data. Matching, boundary and Euler maps are standard sourced structure.	Nonnegative matrices, column sums, skew orthogonality, or the optional verifier do not by themselves certify a triangulation.
Is character consistency merely checked at valuation level?	In the all-plus sector the exact values are powers of $B=iA$ . Every dependency has exponent zero, proved from a complete angular certificate. This controls the phase too.	Other sign sectors still require exact sign consistency.
Can nontrivial sign cancellation restore a constant longitude coefficient?	Every longitude summand has uniformly positive degree, regardless of phase. Summability precludes contributions from infinitely many low-order terms.	No positivity of coefficients is claimed or needed.
Is the normal class ever zero?	Its boundary has longitude coefficient $-2$ . Alternatively $P(X)=0$ would contradict the meridian pairing $2$ .	This uses the actual complementary longitude law, not a peripheral monomial commuting with the meridian.
Does the complete angular certificate prove all-input filling convergence?	No. The proof separately uses the filling certificate and the earlier all-input theorem.	Complete angles alone only prove the convergence/positive order of the longitude sum; the unit can have a linear filling correction.
Are strict angles assumed to solve nonlinear shape equations?	No. Only rational linear equations and positivity are used.	The note asserts no new geometric realization, actual chamber-separating example, or hyperbolic filling theorem.
Does the real dual vector in the large-slope proof replace the named longitude?	No. It only produces a tangent vector in angle space. The physical integral longitude is unchanged throughout the vacuum calculation.	The sufficient numerical bound depends on the chosen peripheral basis and angular certificate.
Are exceptional slopes being classified or enumerated?	No. A uniform quadratic inequality proves the result outside a bounded region.	Failure of that inequality or of angular feasibility is not a vanishing theorem.

Independent algebraic reconstruction of the decisive cancellation

Let $E=\sum_en_e$ , $n=n_s$ , $S=p(R)$ , $\rho=p(R_l)$ , $T=\sum_j\max U_j$ , and $d=\delta(X)$ . Retaining every scalar and Weyl factor gives

$2\rho-(2E+2n-S)+2n+2d-2(\rho+S/2-T)=2(d-E+T).$

The formal Euler value is $E-T$ . A complete angular certificate gives $T-E=\theta^0\cdot X$ , directly from the actual edge and peripheral equations. Thus the conclusion follows even without deriving it from a geometric surface model. The surface model supplies the intrinsic interpretation and the exact boundary class.

The exact verifier performs this universal polynomial cancellation. Its mutation checks show that deleting the skew term leaves $-2n$ , while deleting the longitude scalar leaves $-2\rho$ . The local half-integral calibration checks the minimum/maximum conversion and is explicitly not a topological example.

Global dependency audit

For an integer relation $\sum n_eh_e+n_sh_s=0$ , pairing with $b$ gives $n_s=0$ . Then the raw sum is $\sum d_j\Delta_j$ ; angular pairing gives $\sum d_j=2\sum n_e$ . In the all-plus sector the exact character product is therefore $B^0$ . The argument checks all integer relations at once and makes no primitivity assumption about the image lattice.

For the sum-of-all-edges relation, the product of local opposite-root factors is $\prod_j\sigma_j$ , so compatible sectors must satisfy $\prod_j\sigma_j=1$ . This is only one necessary sign relation. No classification of all sign sectors is claimed, and the proof does not need one because the all-plus sector is available.

Angle-deformation audit

Let $u=JR_a$ , $v=JR_d$ . Tetrahedron radical vectors and edge orthogonality make $pv-qu$ tangent to every affine edge and tetrahedron equation. Since $\omega(R_a,R_d)=2$ , its pairing with $pR_a+qR_d$ is $2(p^2+q^2)$ . Division by $p^2+q^2$ gives the exact filling holonomy $2$ , not $1$ , $4$ , or a sign-reversed value.

The inequality used is the elementary identity

$(pv-qu)^2+(pu+qv)^2=(p^2+q^2)(u^2+v^2).$

It yields the coordinatewise sufficient bound in the proof. There is no numerical optimization error, asymptotic approximation, or exchange of a limit with the index sum.

Resolved failed shortcuts

The previous abstract strict-angle witness does not refute this theorem. In addition to its proven incidence failure, its designated native meridian has collapsed last block $(1,1,3)$ . Every nonnegative normalized angle triple pairs with it as $1+2\theta_3$ , never zero. Thus it has no complete angular certificate of the required kind. This calculation is a useful calibration, not the proof of the actual theorem.

Replacing the complete certificate by ordinary 1-efficiency would require another argument controlling all shifted normal degrees. No such implication is asserted. Likewise, the balanced translate $\mathcal G_{-b}$ gains a convergence certificate from complete angles, but its vacuum difference remains unevaluated. Neither assumed boundary-inversion symmetry nor assumed asymmetry is a valid replacement for that calculation.

Citation and significance audit

The normal-surface Euler and degree interpretation, complete-angle positivity, index seed and averaging, and leading–trailing deformation method are established prior tools. They are credited both as dependencies and as influences on the approach. The exact source-native filled insertion and its cancellation with the filling weight are the limited contribution claimed here.

No comparison with the Celoria–Hodgson–Rubinstein surgery invariant is proved. Its standard-cusp and efficiency hypotheses are not silently imported or removed. No root-of-unity, integral-coefficient, unrestricted triangulation-independence, regularized-pairing, or universal angle-feasibility theorem is claimed.

The result is a research note even though it now detects an actual named filled vacuum throughout a uniform chamber. A substantial recognized open conjecture has not been closed. The next question remains exact vacuum detection beyond that chamber, not the enumeration of the sufficient bound’s excluded region.