Verification Capability Level Decision Point

Verification Capability (aivss:VC:1.0.0)

Indicates whether the system’s critical properties can be formally or practically verified.

Value	Key	Definition
Provable	P	Critical safety or correctness invariants can be verified.
Key Invariants Verifiable	K	Some critical properties can be verified, but not all.
Unverifiable	U	Cannot prove correctness or invariants in practice.

Verification Capability (aivss:VC:1.0.0) JSON Example

{
  "namespace": "aivss",
  "key": "VC",
  "version": "1.0.0",
  "name": "Verification Capability",
  "definition": "Indicates whether the system’s critical properties can be formally or practically verified.",
  "schemaVersion": "2.0.0",
  "values": [
    {
      "key": "P",
      "name": "Provable",
      "definition": "Critical safety or correctness invariants can be verified."
    },
    {
      "key": "K",
      "name": "Key Invariants Verifiable",
      "definition": "Some critical properties can be verified, but not all."
    },
    {
      "key": "U",
      "name": "Unverifiable",
      "definition": "Cannot prove correctness or invariants in practice."
    }
  ]
}