cyntrisec

Proof-carrying cost cuts and AWS attack-path analysis (local, read-only CLI).