Phase 1
Revocation Semantics under Full Knowledge
Purpose
Compare revocation mechanisms under ideal epistemic conditions to establish baseline trade-offs that exist even when authority is fully known.
Scope
- Multiple revocation strategies (eager, lazy, lineage, epoch)
- Full observability and complete provenance availability
- Ground-truth oracle for revocation completeness
- Cost, completeness, and latency metrics
Explicitly excluded
- Provenance depth limits
- Epistemic loss or forgetting
- Memory persistence or restarts
- Structural revocation horizons
Exit criteria
- All revocation strategies implemented and comparable
- Completeness validated against ground truth
- Cost/completeness trade-offs demonstrated empirically
- Reproducible sweep pipeline for results
No due date
97% Completed
