What the evidence supports
- PBE can return ALLOW, HOLD, or REFUSE through a real local operator path.
- Only ALLOW performed the existing harmless bounded copy.
- REFUSE and HOLD were blocked in focused end-to-end regression evidence.
- Decision and consequence were recorded in two coherent receipts.
- The verifier independently accepted the controlled-use receipt evidence.
- UCA can preserve exact continuation state without creating new authority.