Claim record

Implementer model writes operational method checked against it

assertion Cyber capability 1 mention first seen 2026-11-06

Evidence