SynthCut: Replication Package for Verifier-Guided Effect-Host Shortcut Repair for Java Pointer Analysis

Replication package for the SynthCut manuscript. The archive contains focused Java benchmarks, claim-bearing CSV summaries, verifier dispositions, automatic plan-to-cut records, selected Tai-e integration sources, dynamic-oracle evidence, external-cost logs, resource-boundary records, and a checker that validates the principal reported results. Empty targets, unchanged targets, unresolved proof obligations, timeouts, memory limits, and backend failures are retained as boundaries rather than counted as precision wins.