When Can a Machine Trust a Statute? A Survival Certificate for Machine-Extracted Legal Logic
A passive survival certificate is built for the Duquenne-Guigues implication basis of machine-extracted statutory contexts: per-attribute inter-extractor disagreement is measured, replayed against the basis in 1,000 Monte Carlo trials, and an implication is certified only when a one-sided Wilson 95% lower bound on surv...