Reproduction materials for certified exact bounds in two-defective quantitative group testing

Reproduction materials accompanying Certified exact bounds for adaptive quantitative group testing with two defectives by Fedor Karpelevitch. The package contains positive witness trees, negative certificates, source verifiers, execution records and reproduction instructions. The finite certificates cover complete bipartite frontiers through eight tests and the required complete-graph refutations through ten. Separate inputs support additional constructions and small-shore bounds. The partial ninth frontier is incomplete; its retained solver records are not independently replayed negative certificates. The construction on 328 items establishes achievability, not maximality. Small-shore negative searches are reproduced with their original implementation. Quick checks do not replace full negative-chain verification. The star-forest census supporting the separate Aigner-conjecture paper is not included and is not a premise of these finite results. Manuscripts are distributed separately. Licensing: CC BY 4.0 applies to original evidence and documentation; MIT applies to original software. The archive specifies file-level license scope and retains applicable notices; these are not alternative licenses on every file. Funding: this research received no external funding.