Computational finding

FPRD-QA-MX-C01

Finite matrix receipt census

Exact statement

A public dependency-free census checks 44 partitions through dimension seven, 233 dominance comparisons, centralizer formulas, six Jordan-scaling rows, the two-dimensional collision, and sharp observation chains.

StatusReproduced independently
External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

Context

The matrix calibration separates the invariant quotient, its closed semisimple core, the Jordan receipt lost inside a fibre, and the quotient that is universal for a declared family of future observations.

Proof or evidence

The review verifier passes every pinned count and identity and publishes its canonical output.

Verification notes

The archived proof and failure boundaries were reconstructed; the public dependency-free verifier checks 44 partitions, 233 dominance comparisons, six scaling rows, the smallest collision, and sharp observation chains through dimension seven.

Limitations

  • Finite checks corroborate but do not replace the all-dimension proofs.

Open work

Preserve the certificate as a regression suite.