Surgical bytecode PDF redaction utility engineered for litigation paralegals and CPAs. Runs 100% locally with zero cloud telemetry, fail-closed 7-Oracle verification, on-device semantic NER, and air-gapped cryptographic docket receipts.