CUBIC SMT-38 ASSEMBLY PROVENANCE
Date: 2026-08-23 (Asia/Shanghai)

Canonical outputs
-----------------
FCE60BDBD83A3271791D39AC829AC70C20A9644C835272C805C811FC44F974E2  certificates/proof/cubic_smt38_p5.jsonl
5F1025A22FC7F866597724B8852FC33830EA63F7E5B8061ED7C3D0F87CD86BA4  certificates/proof/cubic_smt38_p5.txt

Input JSONL files
-----------------
AD6C5D506590AD0AA7A8D350C88DF06F8E4DE2D2C3C7B7783C46FD532FAA97FA  finite_vanishing_33_p5_full.jsonl
CB8418911F1437FA69AEEBA0177923EFBAE8B7C41CDA64DC50C6A9F456BC060C  finite_vanishing_33_m9t2_p5_full_v2.jsonl
D6E28631534593D539404ECD70BD1B229F1334B1D2263345ABB641DC7F67DBE6  finite_vanishing_33_m13t3_p5_full.jsonl
81408C73F83CFE55867B3FD83F6C5FDADB8F3CC3CF9835954BB2A508C6D6B4A0  finite_vanishing_33_m14t3_p5_full_v2.jsonl

Exact inclusion rule
--------------------
1. Retain the exact case lines `(1,1)` through `(8,2)` and `(10,3)`
   through `(12,3)` from the baseline file.
2. Exclude the obsolete baseline case `(9,3)`.
3. Insert the exact `(9,2)` case line from the m9 file.
4. Insert the exact `(13,3)` case line from the m13 file.
5. Insert the exact `(14,3)` case line from the m14 file.
6. Sort the fourteen case lines by increasing `m`.
7. Prepend one normalized run header with degrees `(3,3)`, prime `5`, mode
   `full`, profile `smt38`, and range
   `t=ceil((m+1)/5), 1<=m<=14`.
8. Construct a normalized human-readable report with the same truthful
   SMT-38 header and the same fourteen cases; do not concatenate the obsolete
   baseline report.

Line-preservation audit
-----------------------
Every selected case line in the canonical JSONL is byte-for-byte identical to
its stated source line. The obsolete `(9,3)` key is absent.

Structural totals
-----------------
cases:                  14
unique required blocks: 168
total columns:          280,798
proof mode:             full in every block
rank condition:         rank=columns in every block
nullity condition:      nullity=0 in every block
independent checker:    accepted, exit code 0

The exact cases are:
`(1,1),(2,1),(3,1),(4,1),(5,2),(6,2),(7,2),(8,2),(9,2),`
`(10,3),(11,3),(12,3),(13,3),(14,3)`.

Fingerprint schema
------------------
The canonical file preserves a mixed historical schema:

- 144 blocks (`m` other than 9 and 14) carry legacy `pivot_hash` values;
- 24 blocks (`m=9,14`) carry separate `matrix_hash` and `echelon_hash`;
- the checker maps a legacy cubic fingerprint to
  `legacy-pivot:<pivot_hash>` in both compatibility slots.

This mapping is explicit in the frozen checker source. It does not assert that
legacy records contain two independently computed fingerprints.

Final status: PASS
