Exact certificates for facet-supported multikinks in measurement-dependent Bell models

This archive provides the exact computational materials supporting the reported finite 4-by-4 measurement-dependent Bell-frontier results. It includes complete context-score inputs, rational primal witnesses, rational dual certificates, an independent standard-library Python verifier, validation records, provenance information, and the exact class-7 frontier figure. The verifier uses exact rational arithmetic and no LP solver. For each included certificate it checks the facet gate, total-variation constraints, all 65,535 nonempty context-cut inequalities for each dual segment, and primal-dual equality at all segment endpoints. The package contains exact certificates for catalogue classes 2, 3, 4, 5, 6, 7, 8, 10, 14, and 44. Classes 2, 7, and 44 are pure-correlator cases and therefore independent of marginal-attribution conventions. Classes 7 and 44 provide the certified multi-kink examples; class 2 is a linear control. The remaining saved examples use the explicitly stated uniform marginal-attribution convention. These files support a finite certified set of results; they do not claim a complete catalogue classification.