E27 CATCP Portable Control (continuously conditioned validity)

Clean-room result: VALID (?/13 checks). Invariants 15 all-hold=True; attacks 12 all-contained=True; tests passed=24.

Verify: python3 verify_e27.py . · REPRODUCE.txt · manifest.json

Honest: same-project clean room, NOT third-party verification; no production claim.