Exact certificate for χ₄ = 6 in the two-trace mask partition problem

This dataset contains the frozen terminal certificate supporting the theorem χ₄ = 6, where χ₄ is the minimum number of nonempty parts in a two-trace mask partition of the Boolean cube Q₈. It accompanies the manuscript “The two-trace partition number of the Boolean cube: the exact value χ₄ = 6.” The deposit includes an independently checked six-mask partition for the upper bound and the terminal certificate used, after the written reductions, to exclude a partition into five masks. The manuscript proves the trace-support dictionary, heredity, the 57-point bound for a mask in a hypothetical five-part partition, the anchored local reduction, the general construction that translates a possible completion into a finite formula, and the induction over each binary split tree. The electronic record supplies the exhaustive local census, the reduction to 488 canonical cases, the global table of 5,993 normalized projected-support assignments, and checks that each stored formula has the required mathematical meaning. In particular, it checks in every case that each completion allowed by the 57-point bound is represented by the corresponding stored formula. Of the 488 configured formulas, 453 are refuted directly and 35 by binary split trees. The selected forest has 71 split nodes and 106 leaves. The audit checked 105 split identities and 559 clausal proofs and did not launch a SAT solver. The deposit comprises a control archive, four content-addressed object shards containing 3,958 sealed objects, inventories, checksums, receipts, source and licence information, and the six-mask witness. Version 1.0.1 changes only the top-level documentation. It corrects the description of the division between the written proof and the electronic verification and explains how the 488 canonical cases use the global table of 5,993 assignments. No formula, proof object, split record, checker, object shard, or control-archive byte has changed. This record concerns only the ordinary, unrestricted and unweighted value χ₄. It does not certify weighted, fixed-registry, or positive-excess variants, nor does it make claims about novelty or priority.