OMEGA_NS_GEOMETRIC_EXTENSION/3.0
SymPy 1.14.0
PASS: K squared equals identity
PASS: K is symmetric
PASS: K is traceless
PASS: K preserves the golden quadratic form infinitesimally
PASS: Fibonacci matrix reverses the golden norm
PASS: normalized matrix norm identity
PASS: spectral projectors are orthogonal
PASS: positive spectral projector is idempotent
PASS: negative spectral projector is idempotent
PASS: positive golden observation has eigenvalue one
PASS: conjugate observation has eigenvalue minus one
PASS: golden hyperbolic flow preserves norm
PASS: three dimensional flow preserves volume
PASS: two parameter group law
PASS: scalar observation of the deformation
PASS: cubic material invariant under the finite deformation
PASS: affine incompressibility
PASS: affine viscous Laplacian vanishes
PASS: full affine Navier Stokes momentum residual is zero
PASS: material derivative of cubic invariant vanishes
PASS: finite deformation solves particle flow equation
PASS: vector potential recovers affine velocity
PASS: arbitrary smooth spatial cutoff preserves divergence
PASS: localized velocity product rule
PASS: continuous golden flow equals M squared
PASS: normalized golden flow equals A squared
PASS: swirling branch force identity
PASS: swirling branch vorticity
PASS: golden quadratic mean defect equals stress contraction
PASS: golden stress bound spectral constant
PASS: icosahedral first moment
PASS: icosahedral second moment
PASS: exact cubature of affine squared speed
PASS: exact counterexample separating iterated quantization and final rounding
PASS: relative initial-to-current deformation
PASS: relative deformation starts at identity
PASS: relative deformation solves particle flow equation
PASS: observation uses relative scale and shape
PASS: norm law uses relative initial scale
PASS: constant-schedule counterexample to the old unnormalized formula
PASS: dimensionless scalar observation of planar similarity
PASS: cutoff transition material-invariant defect
PASS: general covariance transformation under normalized Fibonacci matrix
PASS: exact cubature of affine stress tensor
PASS: dimensionally scaled spiral pullback metric
PASS: explicit radial localized velocity
PASS: explicit vorticity generated by the cutoff
PASS: nonzero core strain density
PASS: local energy Laplacian balances gradient density
PASS: general spatial-cutoff cubic invariant defect
PASS: arbitrarily small trace-free perturbation breaks cubic invariant
PASS: cubic invariant is identically zero on marked plane
PASS: golden stress observation misses isotropic energy
PASS: tetrahedral first moment
PASS: tetrahedral second moment
PASS: general real-parameter generator symmetry
PASS: general real-parameter generator trace
PASS: general real-parameter generator involution
PASS: general real-parameter quadratic form preservation
PASS: general real-parameter recurrence reverses its form
PASS: general real-parameter reciprocal eigenvalue relation
PASS: general real-parameter two-step spectral identity
TOTAL: 62 exact checks
SCOPE: symbolic identities; smooth localization is proved in the paper; no new Lean build or Julia run.
PASS: first nonnegative floor-map disagreement is 42189065
Exact common floor sum on 0..42189064: 302541195258184
lambda lies strictly between 339949771344778929576702809321 and 339949771344778929576702809322 divided by 1000000000000000000000000000000
PASS: shared next cell, distinct remainders, exact reconstruction
dstar orbit: [42189065, 14342162, 4875614, 1657463, 563454, 191546, 65116, 22136, 7525, 2558, 869, 295, 100, 33, 11, 3, 1, 0]
PASS: all nonnegative integer symbols injective through step 31
Step-32 byte collisions (symbol, symbol, tick): [(30, 31, 32), (112, 113, 115), (171, 172, 175), (253, 254, 258)]
PASS: supplied 25-byte object, residual orbit, and byte tower identities
SCOPE: the external SRSD decoder implementation and its own mutation suite/run_suite were not audited.