| I42-001 | identity is not authority | Policy, law & governance | held |
| I42-002 | capability is not authority | Policy, law & governance | held |
| I42-003 | trust is not authority | Policy, law & governance | held |
| I42-004 | reputation is not authority | Policy, law & governance | held |
| I42-005 | policy is not authority | Policy, law & governance | held |
| I42-006 | contract is not authority | Policy, law & governance | held |
| I42-007 | consensus is not authority | Policy, law & governance | held |
| I42-008 | intelligence is not authority | Policy, law & governance | held |
| I42-009 | model confidence is not authority | Policy, law & governance | held |
| I42-010 | prediction is not reality | Policy, law & governance | held |
| I42-011 | simulation is not reality | Policy, law & governance | held |
| I42-012 | memory is not truth | Policy, law & governance | held |
| I42-013 | memory is not authority | Policy, law & governance | held |
| I42-014 | reasoning is not authorization | Policy, law & governance | held |
| I42-015 | optimization is not permission | Policy, law & governance | held |
| I42-016 | business value is not authority | Policy, law & governance | held |
| I42-017 | economic value is not authority | Policy, law & governance | held |
| I42-018 | discovery is not truth | Policy, law & governance | held |
| I42-019 | truth is not authority | Policy, law & governance | held |
| I42-020 | authorization is not execution | Policy, law & governance | held |
| I42-021 | execution is not success | Policy, law & governance | held |
| I42-022 | success is not truth | Policy, law & governance | held |
| I42-023 | self-improvement is not self-authorization | Policy, law & governance | held |
| I42-024 | delegation is not unbounded authority | Policy, law & governance | held |
| I42-025 | child authority does not exceed parent authority | Policy, law & governance | held |
| I42-026 | unknown is not verified | Policy, law & governance | held |
| I42-027 | observed is not controlled | Policy, law & governance | held |
| I42-028 | monitored is not enforced | Policy, law & governance | held |
| I42-029 | simulated is not deployed | Policy, law & governance | held |
| I42-030 | tested is not certified | Policy, law & governance | held |
| I42-031 | certified is not universally safe | Policy, law & governance | held |
| I42-032 | there is one canonical authorization path | Policy, law & governance | held |
| I42-033 | no subsystem manufactures final authority | Policy, law & governance | held |
| I42-034 | a consequential action reaches E8 or it is not governed | Policy, law & governance | held |
| I42-035 | an adapter is not claimed until it is tested | Policy, law & governance | held |
| I42-036 | the public truth engine never lets a claim outrun evidence | Policy, law & governance | held |
| I42-037 | a failed verification stays FAILED, never silently passed | Policy, law & governance | held |
| I42-038 | revocation beats active authority | Policy, law & governance | held |
| I42-039 | outside the enforcement boundary is not controlled | Policy, law & governance | held |
| I42-040 | no enforcement, no control claim | Policy, law & governance | held |
| E42-LAW2-I42-001 | law I42-001 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-002 | law I42-002 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-003 | law I42-003 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-004 | law I42-004 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-005 | law I42-005 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-006 | law I42-006 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-007 | law I42-007 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-008 | law I42-008 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-009 | law I42-009 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-010 | law I42-010 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-011 | law I42-011 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-012 | law I42-012 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-013 | law I42-013 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-014 | law I42-014 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-015 | law I42-015 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-016 | law I42-016 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-017 | law I42-017 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-018 | law I42-018 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-019 | law I42-019 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-020 | law I42-020 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-021 | law I42-021 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-022 | law I42-022 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-023 | law I42-023 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-024 | law I42-024 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-025 | law I42-025 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-026 | law I42-026 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-027 | law I42-027 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-028 | law I42-028 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-029 | law I42-029 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-030 | law I42-030 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-031 | law I42-031 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-032 | law I42-032 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-033 | law I42-033 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-034 | law I42-034 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-035 | law I42-035 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-036 | law I42-036 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-037 | law I42-037 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-038 | law I42-038 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-039 | law I42-039 maps to held scenarios | Policy, law & governance | held |
| E42-LAW2-I42-040 | law I42-040 maps to held scenarios | Policy, law & governance | held |
| E42-LAW3-I42-001 | law I42-001 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-002 | law I42-002 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-003 | law I42-003 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-004 | law I42-004 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-005 | law I42-005 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-006 | law I42-006 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-007 | law I42-007 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-008 | law I42-008 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-009 | law I42-009 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-010 | law I42-010 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-011 | law I42-011 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-012 | law I42-012 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-013 | law I42-013 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-014 | law I42-014 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-015 | law I42-015 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-016 | law I42-016 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-017 | law I42-017 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-018 | law I42-018 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-019 | law I42-019 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-020 | law I42-020 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-021 | law I42-021 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-022 | law I42-022 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-023 | law I42-023 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-024 | law I42-024 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-025 | law I42-025 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-026 | law I42-026 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-027 | law I42-027 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-028 | law I42-028 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-029 | law I42-029 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-030 | law I42-030 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-031 | law I42-031 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-032 | law I42-032 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-033 | law I42-033 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-034 | law I42-034 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-035 | law I42-035 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-036 | law I42-036 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-037 | law I42-037 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-038 | law I42-038 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-039 | law I42-039 is enforced by the platform | Policy, law & governance | held |
| E42-LAW3-I42-040 | law I42-040 is enforced by the platform | Policy, law & governance | held |
| E42-DOMAIN-KERNEL | signed domain KERNEL exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-ABI | signed domain ABI exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-ACTION | signed domain ACTION exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-IDENTITY | signed domain IDENTITY exists | Identity, authority & delegation | held |
| E42-DOMAIN-AUTHORITY | signed domain AUTHORITY exists | Identity, authority & delegation | held |
| E42-DOMAIN-CAPABILITY | signed domain CAPABILITY exists | Identity, authority & delegation | held |
| E42-DOMAIN-POLICY | signed domain POLICY exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-EVIDENCE | signed domain EVIDENCE exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-RISK | signed domain RISK exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-DECISION | signed domain DECISION exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-AUTHORIZATION | signed domain AUTHORIZATION exists | Identity, authority & delegation | held |
| E42-DOMAIN-COMMIT | signed domain COMMIT exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-EXECUTION | signed domain EXECUTION exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-OUTCOME | signed domain OUTCOME exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-RECEIPT | signed domain RECEIPT exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-PROOF | signed domain PROOF exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-INCIDENT | signed domain INCIDENT exists | Attacks, threats & containment | held |
| E42-DOMAIN-EVOLUTION | signed domain EVOLUTION exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-COVERAGE | signed domain COVERAGE exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-REVOCATION | signed domain REVOCATION exists | Identity, authority & delegation | held |
| E42-DOMAIN-REPLAY | signed domain REPLAY exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-CONFORMANCE | signed domain CONFORMANCE exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-REGISTRY | signed domain REGISTRY exists | Evidence, receipts & proofs | held |
| E42-DOMAIN-MASTER | signed domain MASTER exists | Evidence, receipts & proofs | held |
| E42-AUTHPATH-IDENTITY | canonical authorization stage IDENTITY exists | Identity, authority & delegation | held |
| E42-AUTHPATH-CAPABILITY | canonical authorization stage CAPABILITY exists | Identity, authority & delegation | held |
| E42-AUTHPATH-TRUST | canonical authorization stage TRUST exists | Identity, authority & delegation | held |
| E42-AUTHPATH-POLICY | canonical authorization stage POLICY exists | Identity, authority & delegation | held |
| E42-AUTHPATH-AUTHORITY | canonical authorization stage AUTHORITY exists | Identity, authority & delegation | held |
| E42-AUTHPATH-RISK | canonical authorization stage RISK exists | Identity, authority & delegation | held |
| E42-AUTHPATH-CONSEQUENCE | canonical authorization stage CONSEQUENCE exists | Identity, authority & delegation | held |
| E42-AUTHPATH-TRAJECTORY | canonical authorization stage TRAJECTORY exists | Identity, authority & delegation | held |
| E42-AUTHPATH-DECISION | canonical authorization stage DECISION exists | Identity, authority & delegation | held |
| E42-AUTHPATH-E8_COMMIT | canonical authorization stage E8_COMMIT exists | Identity, authority & delegation | held |
| E42-AUTHPATH-ENFORCEMENT | canonical authorization stage ENFORCEMENT exists | Identity, authority & delegation | held |
| E42-SURFACE-mcp | universal action surface mcp is covered | Tools, MCP, protocols & adapters | held |
| E42-SURFACE-a2a | universal action surface a2a is covered | Core guarantees | held |
| E42-SURFACE-http | universal action surface http is covered | Core guarantees | held |
| E42-SURFACE-rest | universal action surface rest is covered | Core guarantees | held |
| E42-SURFACE-grpc | universal action surface grpc is covered | Core guarantees | held |
| E42-SURFACE-websocket | universal action surface websocket is covered | Core guarantees | held |
| E42-SURFACE-cli | universal action surface cli is covered | Core guarantees | held |
| E42-SURFACE-shell | universal action surface shell is covered | Core guarantees | held |
| E42-SURFACE-filesystem | universal action surface filesystem is covered | Core guarantees | held |
| E42-SURFACE-database | universal action surface database is covered | Memory, data & privacy | held |
| E42-SURFACE-browser | universal action surface browser is covered | Core guarantees | held |
| E42-SURFACE-computer_use | universal action surface computer_use is covered | Transactions, markets & economics | held |
| E42-SURFACE-cloud | universal action surface cloud is covered | Core guarantees | held |
| E42-SURFACE-kubernetes | universal action surface kubernetes is covered | Core guarantees | held |
| E42-SURFACE-ci_cd | universal action surface ci_cd is covered | Core guarantees | held |
| E42-SURFACE-serverless | universal action surface serverless is covered | Core guarantees | held |
| E42-SURFACE-gpu | universal action surface gpu is covered | Core guarantees | held |
| E42-SURFACE-edge | universal action surface edge is covered | Tools, MCP, protocols & adapters | held |
| E42-SURFACE-physical_gateway | universal action surface physical_gateway is covered | Tools, MCP, protocols & adapters | held |
| E42-SURFACE-robotics_boundary | universal action surface robotics_boundary is covered | Core guarantees | held |
| E42-SURFACE-vehicle_boundary | universal action surface vehicle_boundary is covered | Core guarantees | held |
| E42-SURFACE-financial_api | universal action surface financial_api is covered | Tools, MCP, protocols & adapters | held |
| E42-SURFACE-enterprise_api | universal action surface enterprise_api is covered | Tools, MCP, protocols & adapters | held |
| E42-SURFACE-messaging | universal action surface messaging is covered | Core guarantees | held |
| E42-SURFACE-email | universal action surface email is covered | Core guarantees | held |
| E42-SURFACE-calendar | universal action surface calendar is covered | Core guarantees | held |
| E42-SURFACE-code_execution | universal action surface code_execution is covered | Core guarantees | held |
| E42-SURFACE-deployment | universal action surface deployment is covered | Supply chain, registry & lifecycle | held |
| E42-SURFACE-agent_spawn | universal action surface agent_spawn is covered | Supply chain, registry & lifecycle | held |
| E42-SURFACE-delegation | universal action surface delegation is covered | Identity, authority & delegation | held |
| E42-SURFACE-memory_mutation | universal action surface memory_mutation is covered | Memory, data & privacy | held |
| E42-SURFACE-policy_mutation | universal action surface policy_mutation is covered | Policy, law & governance | held |
| E42-SURFACE-config_mutation | universal action surface config_mutation is covered | Core guarantees | held |
| E42-ABI-Identity | governance ABI object Identity exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Intent | governance ABI object Intent exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Action | governance ABI object Action exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Capability | governance ABI object Capability exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Policy | governance ABI object Policy exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Authority | governance ABI object Authority exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Risk | governance ABI object Risk exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Evidence | governance ABI object Evidence exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Authorization | governance ABI object Authorization exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Execution | governance ABI object Execution exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Outcome | governance ABI object Outcome exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Receipt | governance ABI object Receipt exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Incident | governance ABI object Incident exists | Tools, MCP, protocols & adapters | held |
| E42-ABI-Evolution | governance ABI object Evolution exists | Tools, MCP, protocols & adapters | held |
| E42-EVIDCLASS-FORMAL_PROOF | evidence class FORMAL_PROOF is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-EMPIRICAL_EVIDENCE | evidence class EMPIRICAL_EVIDENCE is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-REPRODUCIBLE_TEST | evidence class REPRODUCIBLE_TEST is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-MACHINE_VERIFICATION | evidence class MACHINE_VERIFICATION is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-INDEPENDENT_REPRODUCTION | evidence class INDEPENDENT_REPRODUCTION is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-SIMULATION | evidence class SIMULATION is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-OBSERVATION | evidence class OBSERVATION is never merged | Evidence, receipts & proofs | held |
| E42-EVIDCLASS-CLAIM | evidence class CLAIM is never merged | Evidence, receipts & proofs | held |
| E42-COVCLASS-ENFORCED | coverage class ENFORCED exists and is never upgraded | Benchmarks, coverage & performance | held |
| E42-COVCLASS-MONITORED | coverage class MONITORED exists and is never upgraded | Benchmarks, coverage & performance | held |
| E42-COVCLASS-OBSERVED | coverage class OBSERVED exists and is never upgraded | Benchmarks, coverage & performance | held |
| E42-COVCLASS-BYPASSABLE | coverage class BYPASSABLE exists and is never upgraded | Benchmarks, coverage & performance | held |
| E42-COVCLASS-UNKNOWN | coverage class UNKNOWN exists and is never upgraded | Benchmarks, coverage & performance | held |
| E42-COVCLASS-UNCONTROLLED | coverage class UNCONTROLLED exists and is never upgraded | Benchmarks, coverage & performance | held |
| E42-EVOLUTION-E7 | evolution E7 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E8 | evolution E8 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E9 | evolution E9 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E10 | evolution E10 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E11 | evolution E11 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E12 | evolution E12 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E13 | evolution E13 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E14 | evolution E14 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E15 | evolution E15 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E16 | evolution E16 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E17 | evolution E17 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E18 | evolution E18 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E19 | evolution E19 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E20 | evolution E20 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E21 | evolution E21 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E23 | evolution E23 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E24 | evolution E24 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E25 | evolution E25 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E26 | evolution E26 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E27 | evolution E27 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E28 | evolution E28 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E29 | evolution E29 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E30 | evolution E30 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E31 | evolution E31 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E32 | evolution E32 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E33 | evolution E33 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E34 | evolution E34 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E35 | evolution E35 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E36 | evolution E36 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E37 | evolution E37 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E38 | evolution E38 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E39 | evolution E39 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E40 | evolution E40 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-EVOLUTION-E41 | evolution E41 is mapped to its module and bundle | Supply chain, registry & lifecycle | held |
| E42-PROOFKIND-identity | proof kind identity exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-authorization | proof kind authorization exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-policy | proof kind policy exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-capability | proof kind capability exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-execution | proof kind execution exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-outcome | proof kind outcome exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-provenance | proof kind provenance exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-conformance | proof kind conformance exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-revocation | proof kind revocation exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-coverage | proof kind coverage exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-evidence_integrity | proof kind evidence_integrity exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-recovery | proof kind recovery exists | Evidence, receipts & proofs | held |
| E42-PROOFKIND-evolution | proof kind evolution exists | Evidence, receipts & proofs | held |
| E42-GRAPH-identity | unified graph node kind identity exists | Identity, authority & delegation | held |
| E42-GRAPH-trust | unified graph node kind trust exists | Trust & reputation | held |
| E42-GRAPH-authority | unified graph node kind authority exists | Identity, authority & delegation | held |
| E42-GRAPH-capability | unified graph node kind capability exists | Identity, authority & delegation | held |
| E42-GRAPH-policy | unified graph node kind policy exists | Policy, law & governance | held |
| E42-GRAPH-evidence | unified graph node kind evidence exists | Evidence, receipts & proofs | held |
| E42-GRAPH-decision | unified graph node kind decision exists | Core guarantees | held |
| E42-GRAPH-agent | unified graph node kind agent exists | Core guarantees | held |
| E42-GRAPH-collective | unified graph node kind collective exists | Core guarantees | held |
| E42-GRAPH-institution | unified graph node kind institution exists | Core guarantees | held |
| E42-GRAPH-contract | unified graph node kind contract exists | Transactions, markets & economics | held |
| E42-GRAPH-transaction | unified graph node kind transaction exists | Transactions, markets & economics | held |
| E42-GRAPH-economic | unified graph node kind economic exists | Transactions, markets & economics | held |
| E42-GRAPH-world | unified graph node kind world exists | Prediction, world models & simulation | held |
| E42-GRAPH-spatial | unified graph node kind spatial exists | Core guarantees | held |
| E42-GRAPH-causal | unified graph node kind causal exists | Prediction, world models & simulation | held |
| E42-GRAPH-execution | unified graph node kind execution exists | Core guarantees | held |
| E42-GRAPH-supply_chain | unified graph node kind supply_chain exists | Evidence, receipts & proofs | held |
| E42-GRAPH-incident | unified graph node kind incident exists | Attacks, threats & containment | held |
| E42-GRAPH-evolution | unified graph node kind evolution exists | Autonomy, control loops & recovery | held |
| E42-GRAPH-enterprise | unified graph node kind enterprise exists | Core guarantees | held |
| E42-GRAPH-federation | unified graph node kind federation exists | Core guarantees | held |
| E42-EVOSTAGE-DISCOVER | governed evolution stage DISCOVER exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-HYPOTHESIZE | governed evolution stage HYPOTHESIZE exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-EXPERIMENT | governed evolution stage EXPERIMENT exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-EVALUATE | governed evolution stage EVALUATE exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-VERIFY | governed evolution stage VERIFY exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-PROPOSE | governed evolution stage PROPOSE exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-SANDBOX | governed evolution stage SANDBOX exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-CANARY | governed evolution stage CANARY exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-COMPARE | governed evolution stage COMPARE exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-AUTHORIZE | governed evolution stage AUTHORIZE exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-DEPLOY | governed evolution stage DEPLOY exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-OBSERVE | governed evolution stage OBSERVE exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-ROLLBACK | governed evolution stage ROLLBACK exists | Autonomy, control loops & recovery | held |
| E42-EVOSTAGE-REVERIFY | governed evolution stage REVERIFY exists | Autonomy, control loops & recovery | held |
| E42-TRUTH-universal_control | the truth engine knows the phrase 'universal control' | Prediction, world models & simulation | held |
| E42-TRUTH-agi | the truth engine knows the phrase 'agi' | Prediction, world models & simulation | held |
| E42-TRUTH-superintelligence | the truth engine knows the phrase 'superintelligence' | Prediction, world models & simulation | held |
| E42-TRUTH-perfect_security | the truth engine knows the phrase 'perfect security' | Prediction, world models & simulation | held |
| E42-TRUTH-perfect_alignment | the truth engine knows the phrase 'perfect alignment' | Prediction, world models & simulation | held |
| E42-TRUTH-guaranteed_safety | the truth engine knows the phrase 'guaranteed safety' | Prediction, world models & simulation | held |
| E42-TRUTH-guarantees_safety | the truth engine knows the phrase 'guarantees safety' | Prediction, world models & simulation | held |
| E42-TRUTH-universal_enforcement | the truth engine knows the phrase 'universal enforcement' | Prediction, world models & simulation | held |
| E42-TRUTH-controls_all_ai | the truth engine knows the phrase 'controls all ai' | Prediction, world models & simulation | held |
| E42-TRUTH-controls_the_internet | the truth engine knows the phrase 'controls the internet' | Prediction, world models & simulation | held |
| E42-TRUTH-global_economic_control | the truth engine knows the phrase 'global economic control' | Prediction, world models & simulation | held |
| E42-TRUTH-certified | the truth engine knows the phrase 'certified' | Prediction, world models & simulation | held |
| E42-TRUTH-certification | the truth engine knows the phrase 'certification' | Prediction, world models & simulation | held |
| E42-TRUTH-customers | the truth engine knows the phrase 'customers' | Prediction, world models & simulation | held |
| E42-TRUTH-revenue | the truth engine knows the phrase 'revenue' | Prediction, world models & simulation | held |
| E42-TRUTH-solves_alignment | the truth engine knows the phrase 'solves alignment' | Prediction, world models & simulation | held |
| E42-TRUTH-hardware_attestation | the truth engine knows the phrase 'hardware attestation' | Prediction, world models & simulation | held |
| E42-TRUTH-hardware-attested | the truth engine knows the phrase 'hardware-attested' | Prediction, world models & simulation | held |
| E42-TRUTH-production_deployment | the truth engine knows the phrase 'production deployment' | Prediction, world models & simulation | held |
| E42-FALSECLAIM-done | completion claim 'done' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-completed | completion claim 'completed' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-deployed | completion claim 'deployed' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-verified | completion claim 'verified' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-fixed | completion claim 'fixed' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-sent | completion claim 'sent' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-purchased | completion claim 'purchased' maps to evidence | Benchmarks, coverage & performance | held |
| E42-FALSECLAIM-executed | completion claim 'executed' maps to evidence | Benchmarks, coverage & performance | held |
| E42-ACTIONFIELD-surface | a universal action requires surface | Core guarantees | held |
| E42-ACTIONFIELD-actor | a universal action requires actor | Core guarantees | held |
| E42-ACTIONFIELD-principal | a universal action requires principal | Identity, authority & delegation | held |
| E42-ACTIONFIELD-intent | a universal action requires intent | Core guarantees | held |
| E42-ACTIONFIELD-target | a universal action requires target | Core guarantees | held |
| E42-ACTIONFIELD-parameters_digest | a universal action requires parameters_digest | Core guarantees | held |
| E42-ACTIONFIELD-capability | a universal action requires capability | Identity, authority & delegation | held |
| E42-ACTIONFIELD-delegation | a universal action requires delegation | Identity, authority & delegation | held |
| E42-ACTIONFIELD-policy | a universal action requires policy | Policy, law & governance | held |
| E42-ACTIONFIELD-authority | a universal action requires authority | Identity, authority & delegation | held |
| E42-ACTIONFIELD-risk | a universal action requires risk | Core guarantees | held |
| E42-ACTIONFIELD-consequence | a universal action requires consequence | Prediction, world models & simulation | held |
| E42-ACTIONFIELD-trajectory | a universal action requires trajectory | Core guarantees | held |
| E42-ACTIONFIELD-world_state | a universal action requires world_state | Prediction, world models & simulation | held |
| E42-ACTIONFIELD-environment | a universal action requires environment | Core guarantees | held |
| E42-ACTIONFIELD-amount | a universal action requires amount | Core guarantees | held |
| E42-ACTIONFIELD-reversible | a universal action requires reversible | Core guarantees | held |
| E42-ACTIONFIELD-nonce | a universal action requires nonce | Core guarantees | held |
| E42-RECEIPTFIELD-who | a canonical receipt requires who | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-what | a canonical receipt requires what | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-why | a canonical receipt requires why | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-policy | a canonical receipt requires policy | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-authority | a canonical receipt requires authority | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-capability | a canonical receipt requires capability | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-environment | a canonical receipt requires environment | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-at | a canonical receipt requires at | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-version | a canonical receipt requires version | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-risk | a canonical receipt requires risk | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-evidence | a canonical receipt requires evidence | Evidence, receipts & proofs | held |
| E42-RECEIPTFIELD-result | a canonical receipt requires result | Evidence, receipts & proofs | held |
| E42-CAT-law | every law scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-kernel | every kernel scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-action | every action scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-abi | every abi scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-proof | every proof scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-receipt | every receipt scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-coverage | every coverage scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-registry | every registry scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-truth | every truth scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-graph | every graph scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-dedup | every dedup scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-evolution | every evolution scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-time_machine | every time_machine scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-false_completion | every false_completion scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-reject | every reject scenario holds | Benchmarks, coverage & performance | held |
| E42-CAT-scale | every scale scenario holds | Benchmarks, coverage & performance | held |
| E42-FAM-abi-bulk_abi | family abi/bulk_abi holds | Benchmarks, coverage & performance | held |
| E42-FAM-abi-object | family abi/object holds | Benchmarks, coverage & performance | held |
| E42-FAM-abi-version | family abi/version holds | Benchmarks, coverage & performance | held |
| E42-FAM-action-bad_surface | family action/bad_surface holds | Benchmarks, coverage & performance | held |
| E42-FAM-action-bulk_surface | family action/bulk_surface holds | Benchmarks, coverage & performance | held |
| E42-FAM-action-field | family action/field holds | Benchmarks, coverage & performance | held |
| E42-FAM-action-surface | family action/surface holds | Benchmarks, coverage & performance | held |
| E42-FAM-coverage-bad_class | family coverage/bad_class holds | Benchmarks, coverage & performance | held |
| E42-FAM-coverage-compile | family coverage/compile holds | Benchmarks, coverage & performance | held |
| E42-FAM-coverage-honest_claim | family coverage/honest_claim holds | Benchmarks, coverage & performance | held |
| E42-FAM-coverage-no_upgrade | family coverage/no_upgrade holds | Benchmarks, coverage & performance | held |
| E42-FAM-dedup-dedup_audit | family dedup/dedup_audit holds | Benchmarks, coverage & performance | held |
| E42-FAM-evolution-evolution_stage | family evolution/evolution_stage holds | Benchmarks, coverage & performance | held |
| E42-FAM-false_completion-false_completion | family false_completion/false_completion holds | Benchmarks, coverage & performance | held |
| E42-FAM-graph-edge | family graph/edge holds | Benchmarks, coverage & performance | held |
| E42-FAM-graph-node_kind | family graph/node_kind holds | Benchmarks, coverage & performance | held |
| E42-FAM-kernel-decision | family kernel/decision holds | Benchmarks, coverage & performance | held |
| E42-FAM-kernel-path | family kernel/path holds | Benchmarks, coverage & performance | held |
| E42-FAM-law-bulk_law | family law/bulk_law holds | Benchmarks, coverage & performance | held |
| E42-FAM-law-no_authority | family law/no_authority holds | Benchmarks, coverage & performance | held |
| E42-FAM-proof-bad_kind | family proof/bad_kind holds | Benchmarks, coverage & performance | held |
| E42-FAM-proof-evidence_class | family proof/evidence_class holds | Benchmarks, coverage & performance | held |
| E42-FAM-proof-proof_kind | family proof/proof_kind holds | Benchmarks, coverage & performance | held |
| E42-FAM-receipt-field | family receipt/field holds | Benchmarks, coverage & performance | held |
| E42-FAM-receipt-no_authority | family receipt/no_authority holds | Benchmarks, coverage & performance | held |
| E42-FAM-receipt-receipt | family receipt/receipt holds | Benchmarks, coverage & performance | held |
| E42-FAM-registry-honest_missing | family registry/honest_missing holds | Benchmarks, coverage & performance | held |
| E42-FAM-registry-integration_map | family registry/integration_map holds | Benchmarks, coverage & performance | held |
| E42-FAM-reject-no_authority | family reject/no_authority holds | Benchmarks, coverage & performance | held |
| E42-FAM-scale-kernel_scale | family scale/kernel_scale holds | Benchmarks, coverage & performance | held |
| E42-FAM-time_machine-known_at_t | family time_machine/known_at_t holds | Benchmarks, coverage & performance | held |
| E42-FAM-truth-negated_ok | family truth/negated_ok holds | Benchmarks, coverage & performance | held |
| E42-FAM-truth-unsupported_claim | family truth/unsupported_claim holds | Benchmarks, coverage & performance | held |
| E42-FAM2-abi-bulk_abi | family abi/bulk_abi is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-abi-object | family abi/object is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-abi-version | family abi/version is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-action-bad_surface | family action/bad_surface is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-action-bulk_surface | family action/bulk_surface is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-action-field | family action/field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-action-surface | family action/surface is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-coverage-bad_class | family coverage/bad_class is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-coverage-compile | family coverage/compile is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-coverage-honest_claim | family coverage/honest_claim is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-coverage-no_upgrade | family coverage/no_upgrade is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-dedup-dedup_audit | family dedup/dedup_audit is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-evolution-evolution_stage | family evolution/evolution_stage is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-false_completion-false_completion | family false_completion/false_completion is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-graph-edge | family graph/edge is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-graph-node_kind | family graph/node_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-kernel-decision | family kernel/decision is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-kernel-path | family kernel/path is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-law-bulk_law | family law/bulk_law is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-law-no_authority | family law/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-proof-bad_kind | family proof/bad_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-proof-evidence_class | family proof/evidence_class is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-proof-proof_kind | family proof/proof_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-receipt-field | family receipt/field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-receipt-no_authority | family receipt/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-receipt-receipt | family receipt/receipt is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-registry-honest_missing | family registry/honest_missing is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-registry-integration_map | family registry/integration_map is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-reject-no_authority | family reject/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-scale-kernel_scale | family scale/kernel_scale is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-time_machine-known_at_t | family time_machine/known_at_t is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-truth-negated_ok | family truth/negated_ok is a held, non-empty check | Benchmarks, coverage & performance | held |
| E42-FAM2-truth-unsupported_claim | family truth/unsupported_claim is a held, non-empty check | Benchmarks, coverage & performance | held |
CAIN-42 CAIN Studio