# Verification and scope report

The published Witt cocycle of Dymara and Januszkiewicz is used with no
division in a possibly torsion Witt group. Opposite diagonal commutators
prove the surface relation. The extension calculation, also replayed on
the eight-letter word, gives the four-dimensional form. All square
factors are units on the stated base, covering every real specialization.

An elementary valuation argument proves anisotropy at t^2+1=0. A norm
matrix proves additive order two; real positivity makes the first
Pfister factor hyperbolic. A trace pole rules out integral GL_2-conjugacy.

Twelve symbolic identities passed in Python 3.12 and 3.13 with SymPy
1.14.0. These are the same checks replayed, not independent proof audits.
The universal assertions are written proofs, not sampling conclusions.
The native and export compilers succeeded. All four rendered pages were
inspected with no clipping or broken mathematics observed.

The source asks to study an invariant. The explicit example is proved,
but does not close that programme. General existence follows from prior
work. Novelty of this presentation is undetermined. The note is
AI-assisted and unrefereed, with no independent review or formal
verification. A ready package does not itself establish publication.