Hongju Liu

When Revocation Does Not Restore Safety: Exact Admission Across Asynchronous Policy Changes in Multi-Agent Systems

A conditional exact unit-service admission theorem for inherited committed effects and independently timed in-flight effects. Includes constructive sharpness, finite/sparse computation, a specified unbounded count-abstraction gap, and controlled SQLite protocol tests. Main method...

Safe Revocation Without Complete Diagnosis: Exact Resource Frontiers under Coupled Faults for Subjecthood-Agnostic AI Coexistence

This theoretical paper derives exact integer backup-resource frontiers for subjecthood-agnostic safe revocation under a shared adversarial root budget. Diagnostic corruption and backup loss are coupled rather than independently worst-cased. General formulas apply to arbitrary cha...