{
  "boundary": "Model-based synthetic coverage is not a proof of protocol security, authentication, authorization, or production interoperability.",
  "decoders": [
    "REFERENCE_TABLE_DECODER",
    "INDEPENDENT_MATCH_DECODER"
  ],
  "id": "PMP-K11-001",
  "maxSteps": 18,
  "properties": [
    "every accepted event has exactly one transition from the current state",
    "terminal states reject later events",
    "unsafe downgrade never establishes a session",
    "retired critical extensions fail closed",
    "replay state survives synthetic interruption and recovery",
    "reference and independently implemented decoders produce identical canonical transcripts",
    "canonical transcript bytes are repeatable"
  ],
  "seed": 16112026,
  "sequenceCount": 384
}