kibi-cli 0.18.1 → 1.0.1

package/src/schemas/entity.schema.json

@@ -7,63 +7,129 @@
       "oneOf": [
         {
           "type": "object",
-          "required": ["kind", "name", "type"],
+          "required": [
+            "kind",
+            "name",
+            "type"
+          ],
           "properties": {
-            "kind": { "const": "var" },
-            "name": { "type": "string", "pattern": "^[A-Z][A-Za-z0-9_]*$" },
-            "type": { "type": "string", "pattern": "^[a-z][a-z0-9_:.\\/-]*$" }
+            "kind": {
+              "const": "var"
+            },
+            "name": {
+              "type": "string",
+              "pattern": "^[A-Z][A-Za-z0-9_]*$"
+            },
+            "type": {
+              "type": "string",
+              "pattern": "^[a-z][a-z0-9_:.\\/-]*$"
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "value"],
+          "required": [
+            "kind",
+            "value"
+          ],
           "properties": {
-            "kind": { "const": "const" },
-            "value": { "type": "string", "minLength": 1 },
-            "type": { "type": "string", "pattern": "^[a-z][a-z0-9_:.\\/-]*$" }
+            "kind": {
+              "const": "const"
+            },
+            "value": {
+              "type": "string",
+              "minLength": 1
+            },
+            "type": {
+              "type": "string",
+              "pattern": "^[a-z][a-z0-9_:.\\/-]*$"
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "value"],
+          "required": [
+            "kind",
+            "value"
+          ],
           "properties": {
-            "kind": { "const": "number" },
-            "value": { "type": "number" },
-            "unit": { "type": "string", "pattern": "^[a-z][a-z0-9_:.\\/-]*$" }
+            "kind": {
+              "const": "number"
+            },
+            "value": {
+              "type": "number"
+            },
+            "unit": {
+              "type": "string",
+              "pattern": "^[a-z][a-z0-9_:.\\/-]*$"
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "value", "unit"],
+          "required": [
+            "kind",
+            "value",
+            "unit"
+          ],
           "properties": {
-            "kind": { "const": "duration" },
-            "value": { "type": "number", "minimum": 0 },
+            "kind": {
+              "const": "duration"
+            },
+            "value": {
+              "type": "number",
+              "minimum": 0
+            },
             "unit": {
               "type": "string",
-              "enum": ["ms", "s", "m", "h", "d", "w"]
+              "enum": [
+                "ms",
+                "s",
+                "m",
+                "h",
+                "d",
+                "w"
+              ]
             }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "value"],
+          "required": [
+            "kind",
+            "value"
+          ],
           "properties": {
-            "kind": { "const": "timestamp" },
-            "value": { "type": "string" }
+            "kind": {
+              "const": "timestamp"
+            },
+            "value": {
+              "type": "string"
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "start", "end"],
+          "required": [
+            "kind",
+            "start",
+            "end"
+          ],
           "properties": {
-            "kind": { "const": "interval" },
-            "start": { "type": "string" },
-            "end": { "type": "string" }
+            "kind": {
+              "const": "interval"
+            },
+            "start": {
+              "type": "string"
+            },
+            "end": {
+              "type": "string"
+            }
           },
           "additionalProperties": false
         }
@@ -71,74 +137,162 @@
     },
     "logicAtom": {
       "type": "object",
-      "required": ["kind", "name", "args"],
+      "required": [
+        "kind",
+        "name",
+        "args"
+      ],
       "properties": {
-        "kind": { "const": "atom" },
-        "namespace": { "type": "string", "pattern": "^[a-z][a-z0-9_:.\\/-]*$" },
-        "name": { "type": "string", "pattern": "^[a-z][a-z0-9_:.\\/-]*$" },
+        "kind": {
+          "const": "atom"
+        },
+        "namespace": {
+          "type": "string",
+          "pattern": "^[a-z][a-z0-9_:.\\/-]*$"
+        },
+        "name": {
+          "type": "string",
+          "pattern": "^[a-z][a-z0-9_:.\\/-]*$"
+        },
         "args": {
           "type": "array",
           "maxItems": 8,
-          "items": { "$ref": "#/$defs/logicTerm" }
+          "items": {
+            "$ref": "#/$defs/logicTerm"
+          }
         },
-        "polarity": { "enum": ["positive", "negative"] },
-        "closedWorld": { "type": "boolean" }
+        "polarity": {
+          "enum": [
+            "positive",
+            "negative"
+          ]
+        },
+        "closedWorld": {
+          "type": "boolean"
+        }
       },
       "additionalProperties": false
     },
     "logicExpression": {
       "oneOf": [
-        { "$ref": "#/$defs/logicAtom" },
+        {
+          "$ref": "#/$defs/logicAtom"
+        },
         {
           "type": "object",
-          "required": ["kind", "items"],
+          "required": [
+            "kind",
+            "items"
+          ],
           "properties": {
-            "kind": { "enum": ["all", "any"] },
+            "kind": {
+              "enum": [
+                "all",
+                "any"
+              ]
+            },
             "items": {
               "type": "array",
               "minItems": 1,
               "maxItems": 32,
-              "items": { "$ref": "#/$defs/logicExpression" }
+              "items": {
+                "$ref": "#/$defs/logicExpression"
+              }
             }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "item"],
+          "required": [
+            "kind",
+            "item"
+          ],
           "properties": {
-            "kind": { "const": "not" },
-            "item": { "$ref": "#/$defs/logicAtom" }
+            "kind": {
+              "const": "not"
+            },
+            "item": {
+              "$ref": "#/$defs/logicAtom"
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "operator", "left", "right"],
+          "required": [
+            "kind",
+            "operator",
+            "left",
+            "right"
+          ],
           "properties": {
-            "kind": { "const": "compare" },
-            "operator": { "enum": ["eq", "neq", "lt", "lte", "gt", "gte"] },
-            "left": { "$ref": "#/$defs/logicTerm" },
-            "right": { "$ref": "#/$defs/logicTerm" }
+            "kind": {
+              "const": "compare"
+            },
+            "operator": {
+              "enum": [
+                "eq",
+                "neq",
+                "lt",
+                "lte",
+                "gt",
+                "gte"
+              ]
+            },
+            "left": {
+              "$ref": "#/$defs/logicTerm"
+            },
+            "right": {
+              "$ref": "#/$defs/logicTerm"
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "atom", "operator", "value"],
+          "required": [
+            "kind",
+            "atom",
+            "operator",
+            "value"
+          ],
           "properties": {
-            "kind": { "const": "count" },
-            "atom": { "$ref": "#/$defs/logicAtom" },
-            "operator": { "enum": ["eq", "neq", "lt", "lte", "gt", "gte"] },
-            "value": { "type": "integer", "minimum": 0 }
+            "kind": {
+              "const": "count"
+            },
+            "atom": {
+              "$ref": "#/$defs/logicAtom"
+            },
+            "operator": {
+              "enum": [
+                "eq",
+                "neq",
+                "lt",
+                "lte",
+                "gt",
+                "gte"
+              ]
+            },
+            "value": {
+              "type": "integer",
+              "minimum": 0
+            }
           },
           "additionalProperties": false
         },
         {
           "type": "object",
-          "required": ["kind", "relation", "left", "right"],
+          "required": [
+            "kind",
+            "relation",
+            "left",
+            "right"
+          ],
           "properties": {
-            "kind": { "const": "temporal" },
+            "kind": {
+              "const": "temporal"
+            },
             "relation": {
               "enum": [
                 "before",
@@ -149,8 +303,12 @@
                 "finishes"
               ]
             },
-            "left": { "$ref": "#/$defs/logicTerm" },
-            "right": { "$ref": "#/$defs/logicTerm" }
+            "left": {
+              "$ref": "#/$defs/logicTerm"
+            },
+            "right": {
+              "$ref": "#/$defs/logicTerm"
+            }
           },
           "additionalProperties": false
         }
@@ -158,28 +316,61 @@
     },
     "logicRule": {
       "type": "object",
-      "required": ["version", "kind", "modality"],
+      "required": [
+        "version",
+        "kind",
+        "modality"
+      ],
       "properties": {
-        "version": { "const": "kibi.logic.v1" },
-        "kind": { "enum": ["atom", "rule", "constraint"] },
+        "version": {
+          "const": "kibi.logic.v1"
+        },
+        "kind": {
+          "enum": [
+            "atom",
+            "rule",
+            "constraint"
+          ]
+        },
         "modality": {
-          "enum": ["assert", "deny", "oblige", "permit", "forbid"]
+          "enum": [
+            "assert",
+            "deny",
+            "oblige",
+            "permit",
+            "forbid"
+          ]
+        },
+        "head": {
+          "$ref": "#/$defs/logicAtom"
+        },
+        "body": {
+          "$ref": "#/$defs/logicExpression"
         },
-        "head": { "$ref": "#/$defs/logicAtom" },
-        "body": { "$ref": "#/$defs/logicExpression" },
         "variables": {
           "type": "array",
           "maxItems": 32,
           "items": {
             "type": "object",
-            "required": ["name", "type"],
+            "required": [
+              "name",
+              "type"
+            ],
             "properties": {
-              "name": { "type": "string", "pattern": "^[A-Z][A-Za-z0-9_]*$" },
+              "name": {
+                "type": "string",
+                "pattern": "^[A-Z][A-Za-z0-9_]*$"
+              },
               "type": {
                 "type": "string",
                 "pattern": "^[a-z][a-z0-9_:.\\/-]*$"
               },
-              "quantifier": { "enum": ["forall", "exists"] }
+              "quantifier": {
+                "enum": [
+                  "forall",
+                  "exists"
+                ]
+              }
             },
             "additionalProperties": false
           }
@@ -187,27 +378,49 @@
         "exceptions": {
           "type": "array",
           "maxItems": 16,
-          "items": { "$ref": "#/$defs/logicExpression" }
+          "items": {
+            "$ref": "#/$defs/logicExpression"
+          }
         },
         "scope": {
           "type": "object",
           "properties": {
-            "authority": { "type": "string" },
-            "name": { "type": "string" },
-            "tags": { "type": "array", "items": { "type": "string" } }
+            "authority": {
+              "type": "string"
+            },
+            "name": {
+              "type": "string"
+            },
+            "tags": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            }
           },
           "additionalProperties": false
         },
-        "validFrom": { "type": "string" },
-        "validTo": { "type": "string" },
-        "ruleSchemaId": { "type": "string", "minLength": 1 }
+        "validFrom": {
+          "type": "string"
+        },
+        "validTo": {
+          "type": "string"
+        },
+        "ruleSchemaId": {
+          "type": "string",
+          "minLength": 1
+        }
       },
       "additionalProperties": false
     }
   },
   "properties": {
-    "id": { "type": "string" },
-    "title": { "type": "string" },
+    "id": {
+      "type": "string"
+    },
+    "title": {
+      "type": "string"
+    },
     "status": {
       "type": "string",
       "enum": [
@@ -232,15 +445,39 @@
         "removed"
       ]
     },
-    "created_at": { "type": "string" },
-    "updated_at": { "type": "string" },
-    "source": { "type": "string" },
-    "tags": { "type": "array", "items": { "type": "string" } },
-    "owner": { "type": "string" },
-    "priority": { "type": "string" },
-    "severity": { "type": "string" },
-    "links": { "type": "array", "items": { "type": "string" } },
-    "text_ref": { "type": "string" },
+    "created_at": {
+      "type": "string"
+    },
+    "updated_at": {
+      "type": "string"
+    },
+    "source": {
+      "type": "string"
+    },
+    "tags": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "owner": {
+      "type": "string"
+    },
+    "priority": {
+      "type": "string"
+    },
+    "severity": {
+      "type": "string"
+    },
+    "links": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "text_ref": {
+      "type": "string"
+    },
     "semantic_text": {
       "type": "string",
       "description": "Requirement-only authored prose whose exact UTF-8 bytes anchor the semantic inventory without replacing text_ref evidence."
@@ -249,12 +486,18 @@
       "type": "array",
       "minItems": 1,
       "uniqueItems": true,
-      "items": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" }
+      "items": {
+        "type": "string",
+        "pattern": "^CLAIM-[A-F0-9]{16}$"
+      }
     },
     "semantic_clauses": {
       "type": "array",
       "minItems": 1,
-      "items": { "type": "string", "minLength": 1 }
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
     },
     "semantic_inventory_version": {
       "type": "string",
@@ -262,7 +505,11 @@
     },
     "semantic_source_field": {
       "type": "string",
-      "enum": ["semantic_text", "text_ref", "title"]
+      "enum": [
+        "semantic_text",
+        "text_ref",
+        "title"
+      ]
     },
     "semantic_source_hash": {
       "type": "string",
@@ -272,10 +519,22 @@
       "type": "array",
       "items": {
         "type": "object",
-        "required": ["claim_key", "claim_text", "role", "status", "span"],
+        "required": [
+          "claim_key",
+          "claim_text",
+          "role",
+          "status",
+          "span"
+        ],
         "properties": {
-          "claim_key": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" },
-          "claim_text": { "type": "string", "minLength": 1 },
+          "claim_key": {
+            "type": "string",
+            "pattern": "^CLAIM-[A-F0-9]{16}$"
+          },
+          "claim_text": {
+            "type": "string",
+            "minLength": 1
+          },
           "role": {
             "type": "string",
             "enum": [
@@ -301,28 +560,46 @@
           },
           "span": {
             "type": "object",
-            "required": ["start", "end"],
+            "required": [
+              "start",
+              "end"
+            ],
             "properties": {
-              "start": { "type": "integer", "minimum": 0 },
-              "end": { "type": "integer", "minimum": 0 }
+              "start": {
+                "type": "integer",
+                "minimum": 0
+              },
+              "end": {
+                "type": "integer",
+                "minimum": 0
+              }
             },
             "additionalProperties": false
           },
-          "semantic_key": { "type": "string" },
-          "payload_hash": { "type": "string" },
-          "reason": { "type": "string" }
+          "semantic_key": {
+            "type": "string"
+          },
+          "payload_hash": {
+            "type": "string"
+          },
+          "reason": {
+            "type": "string"
+          }
         },
         "additionalProperties": false
       }
     },
-    "sourceFile": { "type": "string" },
+    "sourceFile": {
+      "type": "string"
+    },
     "granularity_reason": {
       "type": "string",
       "enum": [
         "config-artifact",
         "module-level-behavior",
         "extractor-miss",
-        "legacy-link"
+        "legacy-link",
+        "test-suite"
       ]
     },
     "symbol_role": {
@@ -338,67 +615,293 @@
     },
     "verification_scope": {
       "type": "string",
-      "enum": ["unit", "integration", "end_to_end"]
+      "enum": [
+        "unit",
+        "integration",
+        "end_to_end"
+      ]
     },
     "verification_perspective": {
       "type": "string",
-      "enum": ["internal", "consumer"]
+      "enum": [
+        "internal",
+        "consumer"
+      ]
     },
-    "verification_receipts": {
-      "type": "array",
-      "maxItems": 50,
-      "items": {
-        "type": "object",
-        "required": [
-          "version",
-          "receipt_id",
-          "test_id",
-          "runner",
-          "command",
-          "scope",
-          "outcome",
-          "code_snapshot",
-          "environment_hash",
-          "started_at",
-          "finished_at",
-          "artifact_digest"
-        ],
-        "properties": {
-          "version": {
-            "type": "string",
-            "const": "kibi.verification-receipt.v1"
-          },
-          "receipt_id": {
-            "type": "string",
-            "pattern": "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$"
-          },
-          "test_id": { "type": "string", "minLength": 1 },
-          "runner": { "type": "string", "minLength": 1 },
-          "command": { "type": "string", "minLength": 1 },
-          "scope": {
+    "verification_contract": {
+      "type": "object",
+      "required": [
+        "version",
+        "runner",
+        "command_argv",
+        "required_case_symbols",
+        "required_projects",
+        "success_policy"
+      ],
+      "properties": {
+        "version": {
+          "type": "string",
+          "const": "kibi.verification-contract.v1"
+        },
+        "runner": {
+          "type": "string",
+          "minLength": 1
+        },
+        "command_argv": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
             "type": "string",
-            "enum": ["unit", "integration", "end_to_end"]
-          },
-          "outcome": {
+            "minLength": 1
+          }
+        },
+        "required_case_symbols": {
+          "type": "array",
+          "items": {
             "type": "string",
-            "enum": ["passed", "failed", "errored", "cancelled", "skipped"]
+            "minLength": 1
           },
-          "code_snapshot": {
+          "uniqueItems": true
+        },
+        "required_projects": {
+          "type": "array",
+          "items": {
             "type": "string",
-            "pattern": "^[a-f0-9]{64}$"
+            "minLength": 1
           },
-          "environment_hash": {
-            "type": "string",
-            "pattern": "^[a-f0-9]{64}$"
+          "uniqueItems": true
+        },
+        "success_policy": {
+          "type": "string",
+          "const": "all_required_cases_first_attempt"
+        }
+      },
+      "additionalProperties": false
+    },
+    "verification_receipts": {
+      "type": "array",
+      "items": {
+        "oneOf": [
+          {
+            "type": "object",
+            "required": [
+              "version",
+              "receipt_id",
+              "test_id",
+              "runner",
+              "command",
+              "scope",
+              "outcome",
+              "code_snapshot",
+              "environment_hash",
+              "started_at",
+              "finished_at",
+              "artifact_digest"
+            ],
+            "properties": {
+              "version": {
+                "type": "string",
+                "const": "kibi.verification-receipt.v1"
+              },
+              "receipt_id": {
+                "type": "string",
+                "pattern": "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$"
+              },
+              "test_id": {
+                "type": "string",
+                "minLength": 1
+              },
+              "runner": {
+                "type": "string",
+                "minLength": 1
+              },
+              "command": {
+                "type": "string",
+                "minLength": 1
+              },
+              "scope": {
+                "type": "string",
+                "enum": [
+                  "unit",
+                  "integration",
+                  "end_to_end"
+                ]
+              },
+              "outcome": {
+                "type": "string",
+                "enum": [
+                  "passed",
+                  "failed",
+                  "errored",
+                  "cancelled",
+                  "skipped",
+                  "timed_out",
+                  "interrupted"
+                ]
+              },
+              "code_snapshot": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              },
+              "environment_hash": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              },
+              "started_at": {
+                "type": "string",
+                "minLength": 1
+              },
+              "finished_at": {
+                "type": "string",
+                "minLength": 1
+              },
+              "artifact_digest": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              }
+            },
+            "additionalProperties": false
           },
-          "started_at": { "type": "string", "minLength": 1 },
-          "finished_at": { "type": "string", "minLength": 1 },
-          "artifact_digest": {
-            "type": "string",
-            "pattern": "^[a-f0-9]{64}$"
+          {
+            "type": "object",
+            "required": [
+              "version",
+              "receipt_id",
+              "test_id",
+              "runner",
+              "command",
+              "scope",
+              "outcome",
+              "code_snapshot",
+              "environment_hash",
+              "started_at",
+              "finished_at",
+              "artifact_digest",
+              "command_argv",
+              "contract_hash",
+              "case_results"
+            ],
+            "properties": {
+              "version": {
+                "type": "string",
+                "const": "kibi.verification-receipt.v2"
+              },
+              "receipt_id": {
+                "type": "string",
+                "pattern": "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$"
+              },
+              "test_id": {
+                "type": "string",
+                "minLength": 1
+              },
+              "runner": {
+                "type": "string",
+                "minLength": 1
+              },
+              "command": {
+                "type": "string",
+                "minLength": 1
+              },
+              "scope": {
+                "type": "string",
+                "enum": [
+                  "unit",
+                  "integration",
+                  "end_to_end"
+                ]
+              },
+              "outcome": {
+                "type": "string",
+                "enum": [
+                  "passed",
+                  "failed",
+                  "errored",
+                  "cancelled",
+                  "skipped",
+                  "timed_out",
+                  "interrupted"
+                ]
+              },
+              "code_snapshot": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              },
+              "environment_hash": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              },
+              "started_at": {
+                "type": "string",
+                "minLength": 1
+              },
+              "finished_at": {
+                "type": "string",
+                "minLength": 1
+              },
+              "artifact_digest": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              },
+              "command_argv": {
+                "type": "array",
+                "minItems": 1,
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "contract_hash": {
+                "type": "string",
+                "pattern": "^[a-f0-9]{64}$"
+              },
+              "case_results": {
+                "type": "array",
+                "minItems": 1,
+                "maxItems": 1000,
+                "items": {
+                  "type": "object",
+                  "required": [
+                    "symbol_id",
+                    "project",
+                    "outcome",
+                    "retries",
+                    "duration_ms"
+                  ],
+                  "properties": {
+                    "symbol_id": {
+                      "type": "string",
+                      "minLength": 1
+                    },
+                    "project": {
+                      "type": "string",
+                      "minLength": 1
+                    },
+                    "outcome": {
+                      "type": "string",
+                      "enum": [
+                        "passed",
+                        "failed",
+                        "timed_out",
+                        "skipped",
+                        "interrupted"
+                      ]
+                    },
+                    "retries": {
+                      "type": "integer",
+                      "minimum": 0
+                    },
+                    "duration_ms": {
+                      "type": "integer",
+                      "minimum": 0
+                    }
+                  },
+                  "additionalProperties": false
+                }
+              }
+            },
+            "additionalProperties": false
           }
-        },
-        "additionalProperties": false
+        ]
       }
     },
     "type": {
@@ -427,51 +930,151 @@
         "rule"
       ]
     },
-    "subject_key": { "type": "string" },
-    "property_key": { "type": "string" },
+    "subject_key": {
+      "type": "string"
+    },
+    "property_key": {
+      "type": "string"
+    },
     "operator": {
       "type": "string",
-      "enum": ["eq", "neq", "lt", "lte", "gt", "gte"]
+      "enum": [
+        "eq",
+        "neq",
+        "lt",
+        "lte",
+        "gt",
+        "gte"
+      ]
     },
     "value_type": {
       "type": "string",
-      "enum": ["string", "int", "number", "bool"]
-    },
-    "value_string": { "type": "string" },
-    "value_int": { "type": "integer" },
-    "value_number": { "type": "number" },
-    "value_bool": { "type": "boolean" },
-    "unit": { "type": "string" },
-    "scope": { "type": "string" },
+      "enum": [
+        "string",
+        "int",
+        "number",
+        "bool"
+      ]
+    },
+    "value_string": {
+      "type": "string"
+    },
+    "value_int": {
+      "type": "integer"
+    },
+    "value_number": {
+      "type": "number"
+    },
+    "value_bool": {
+      "type": "boolean"
+    },
+    "unit": {
+      "type": "string"
+    },
+    "scope": {
+      "type": "string"
+    },
     "polarity": {
       "type": "string",
-      "enum": ["require", "forbid", "assert", "deny"]
-    },
-    "closed_world": { "type": "boolean" },
-    "valid_from": { "type": "string" },
-    "valid_to": { "type": "string" },
-    "canonical_key": { "type": "string" },
-    "claim_key": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" },
-    "claim_text": { "type": "string" },
-    "predicate_name": { "type": "string" },
-    "predicate_namespace": { "type": "string" },
-    "predicate_arity": { "type": "integer", "minimum": 1 },
-    "argument_names": { "type": "array", "items": { "type": "string" } },
-    "argument_types": { "type": "array", "items": { "type": "string" } },
+      "enum": [
+        "require",
+        "forbid",
+        "assert",
+        "deny"
+      ]
+    },
+    "closed_world": {
+      "type": "boolean"
+    },
+    "valid_from": {
+      "type": "string"
+    },
+    "valid_to": {
+      "type": "string"
+    },
+    "canonical_key": {
+      "type": "string"
+    },
+    "claim_key": {
+      "type": "string",
+      "pattern": "^CLAIM-[A-F0-9]{16}$"
+    },
+    "claim_text": {
+      "type": "string"
+    },
+    "predicate_name": {
+      "type": "string"
+    },
+    "predicate_namespace": {
+      "type": "string"
+    },
+    "predicate_arity": {
+      "type": "integer",
+      "minimum": 1
+    },
+    "argument_names": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "argument_types": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
     "argument_descriptions": {
       "type": "array",
-      "items": { "type": "string" }
-    },
-    "aliases": { "type": "array", "items": { "type": "string" } },
-    "examples": { "type": "array", "items": { "type": "string" } },
-    "predicate_args": { "type": "array", "items": { "type": "string" } },
-    "rule_ir": { "$ref": "#/$defs/logicRule" },
-    "rule_hash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-    "rule_schema_id": { "type": "string", "minLength": 1 },
-    "rule_name": { "type": "string", "minLength": 1 },
-    "semantic_key": { "type": "string", "pattern": "^SEM-[A-F0-9]{24}$" },
-    "claim_span_start": { "type": "integer", "minimum": 0 },
-    "claim_span_end": { "type": "integer", "minimum": 0 }
+      "items": {
+        "type": "string"
+      }
+    },
+    "aliases": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "examples": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "predicate_args": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "rule_ir": {
+      "$ref": "#/$defs/logicRule"
+    },
+    "rule_hash": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "rule_schema_id": {
+      "type": "string",
+      "minLength": 1
+    },
+    "rule_name": {
+      "type": "string",
+      "minLength": 1
+    },
+    "semantic_key": {
+      "type": "string",
+      "pattern": "^SEM-[A-F0-9]{24}$"
+    },
+    "claim_span_start": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "claim_span_end": {
+      "type": "integer",
+      "minimum": 0
+    }
   },
   "required": [
     "id",
@@ -485,137 +1088,333 @@
   "allOf": [
     {
       "if": {
-        "properties": { "type": { "const": "req" } }
-      },
-      "then": {},
-      "else": { "not": { "required": ["logic_claims"] } }
-    },
-    {
-      "if": {
-        "anyOf": [{ "required": ["claim_key"] }, { "required": ["claim_text"] }]
+        "properties": {
+          "type": {
+            "const": "req"
+          }
+        }
       },
-      "then": { "required": ["claim_key", "claim_text"] }
+      "else": {
+        "not": {
+          "required": [
+            "logic_claims"
+          ]
+        }
+      }
     },
     {
       "if": {
-        "properties": { "type": { "const": "test" } }
+        "properties": {
+          "type": {
+            "const": "fact"
+          }
+        }
       },
-      "then": {},
       "else": {
         "not": {
           "anyOf": [
-            { "required": ["verification_scope"] },
-            { "required": ["verification_perspective"] },
-            { "required": ["verification_receipts"] }
+            {
+              "required": [
+                "fact_kind"
+              ]
+            },
+            {
+              "required": [
+                "subject_key"
+              ]
+            },
+            {
+              "required": [
+                "property_key"
+              ]
+            },
+            {
+              "required": [
+                "operator"
+              ]
+            },
+            {
+              "required": [
+                "value_type"
+              ]
+            },
+            {
+              "required": [
+                "value_string"
+              ]
+            },
+            {
+              "required": [
+                "value_int"
+              ]
+            },
+            {
+              "required": [
+                "value_number"
+              ]
+            },
+            {
+              "required": [
+                "value_bool"
+              ]
+            },
+            {
+              "required": [
+                "unit"
+              ]
+            },
+            {
+              "required": [
+                "scope"
+              ]
+            },
+            {
+              "required": [
+                "polarity"
+              ]
+            },
+            {
+              "required": [
+                "closed_world"
+              ]
+            },
+            {
+              "required": [
+                "valid_from"
+              ]
+            },
+            {
+              "required": [
+                "valid_to"
+              ]
+            },
+            {
+              "required": [
+                "canonical_key"
+              ]
+            },
+            {
+              "required": [
+                "claim_key"
+              ]
+            },
+            {
+              "required": [
+                "claim_text"
+              ]
+            },
+            {
+              "required": [
+                "predicate_name"
+              ]
+            },
+            {
+              "required": [
+                "predicate_namespace"
+              ]
+            },
+            {
+              "required": [
+                "predicate_arity"
+              ]
+            },
+            {
+              "required": [
+                "argument_names"
+              ]
+            },
+            {
+              "required": [
+                "argument_types"
+              ]
+            },
+            {
+              "required": [
+                "argument_descriptions"
+              ]
+            },
+            {
+              "required": [
+                "aliases"
+              ]
+            },
+            {
+              "required": [
+                "examples"
+              ]
+            },
+            {
+              "required": [
+                "predicate_args"
+              ]
+            },
+            {
+              "required": [
+                "rule_ir"
+              ]
+            },
+            {
+              "required": [
+                "rule_hash"
+              ]
+            },
+            {
+              "required": [
+                "rule_schema_id"
+              ]
+            },
+            {
+              "required": [
+                "rule_name"
+              ]
+            },
+            {
+              "required": [
+                "semantic_key"
+              ]
+            },
+            {
+              "required": [
+                "claim_span_start"
+              ]
+            },
+            {
+              "required": [
+                "claim_span_end"
+              ]
+            }
           ]
         }
       }
     },
-    {
-      "if": { "required": ["verification_receipts"] },
-      "then": { "required": ["verification_scope"] }
-    },
     {
       "if": {
         "properties": {
-          "type": { "const": "fact" },
-          "fact_kind": { "const": "rule_schema" }
-        },
-        "required": ["type", "fact_kind"]
+          "type": {
+            "const": "test"
+          }
+        }
       },
-      "then": {
-        "required": ["rule_name", "argument_names", "argument_types"]
+      "else": {
+        "not": {
+          "anyOf": [
+            {
+              "required": [
+                "verification_scope"
+              ]
+            },
+            {
+              "required": [
+                "verification_perspective"
+              ]
+            },
+            {
+              "required": [
+                "verification_contract"
+              ]
+            },
+            {
+              "required": [
+                "verification_receipts"
+              ]
+            }
+          ]
+        }
       }
     },
     {
       "if": {
-        "properties": {
-          "type": { "const": "fact" },
-          "fact_kind": { "const": "rule" }
-        },
-        "required": ["type", "fact_kind"]
+        "required": [
+          "verification_receipts"
+        ]
       },
       "then": {
         "required": [
-          "rule_ir",
-          "rule_hash",
-          "rule_schema_id",
-          "rule_name",
-          "semantic_key"
+          "verification_scope"
         ]
       }
     },
     {
       "if": {
-        "properties": { "type": { "const": "fact" } }
+        "properties": {
+          "type": {
+            "const": "req"
+          }
+        }
       },
-      "then": {},
       "else": {
         "not": {
           "anyOf": [
-            { "required": ["fact_kind"] },
-            { "required": ["subject_key"] },
-            { "required": ["property_key"] },
-            { "required": ["operator"] },
-            { "required": ["value_type"] },
-            { "required": ["value_string"] },
-            { "required": ["value_int"] },
-            { "required": ["value_number"] },
-            { "required": ["value_bool"] },
-            { "required": ["unit"] },
-            { "required": ["scope"] },
-            { "required": ["polarity"] },
-            { "required": ["closed_world"] },
-            { "required": ["valid_from"] },
-            { "required": ["valid_to"] },
-            { "required": ["canonical_key"] },
-            { "required": ["claim_key"] },
-            { "required": ["claim_text"] },
-            { "required": ["predicate_name"] },
-            { "required": ["predicate_namespace"] },
-            { "required": ["predicate_arity"] },
-            { "required": ["argument_names"] },
-            { "required": ["argument_types"] },
-            { "required": ["argument_descriptions"] },
-            { "required": ["aliases"] },
-            { "required": ["examples"] },
-            { "required": ["predicate_args"] },
-            { "required": ["rule_ir"] },
-            { "required": ["rule_hash"] },
-            { "required": ["rule_schema_id"] },
-            { "required": ["rule_name"] },
-            { "required": ["semantic_key"] },
-            { "required": ["claim_span_start"] },
-            { "required": ["claim_span_end"] }
+            {
+              "required": [
+                "semantic_inventory"
+              ]
+            },
+            {
+              "required": [
+                "semantic_clauses"
+              ]
+            },
+            {
+              "required": [
+                "semantic_text"
+              ]
+            },
+            {
+              "required": [
+                "semantic_inventory_version"
+              ]
+            },
+            {
+              "required": [
+                "semantic_source_field"
+              ]
+            },
+            {
+              "required": [
+                "semantic_source_hash"
+              ]
+            }
           ]
         }
       }
     },
     {
       "if": {
-        "properties": { "type": { "const": "req" } }
+        "anyOf": [
+          {
+            "required": [
+              "claim_key"
+            ]
+          },
+          {
+            "required": [
+              "claim_text"
+            ]
+          }
+        ]
       },
-      "then": {},
-      "else": {
-        "not": {
-          "anyOf": [
-            { "required": ["semantic_inventory"] },
-            { "required": ["semantic_clauses"] },
-            { "required": ["semantic_text"] },
-            { "required": ["semantic_inventory_version"] },
-            { "required": ["semantic_source_field"] },
-            { "required": ["semantic_source_hash"] }
-          ]
-        }
+      "then": {
+        "required": [
+          "claim_key",
+          "claim_text"
+        ]
       }
     },
     {
       "if": {
         "properties": {
-          "type": { "const": "fact" },
-          "fact_kind": { "const": "predicate_schema" }
+          "type": {
+            "const": "fact"
+          },
+          "fact_kind": {
+            "const": "predicate_schema"
+          }
         },
-        "required": ["type", "fact_kind"]
+        "required": [
+          "type",
+          "fact_kind"
+        ]
       },
       "then": {
         "required": [
@@ -629,29 +1428,105 @@
     {
       "if": {
         "properties": {
-          "type": { "const": "fact" },
-          "fact_kind": { "const": "predicate" }
+          "type": {
+            "const": "fact"
+          },
+          "fact_kind": {
+            "const": "predicate"
+          }
         },
-        "required": ["type", "fact_kind"]
+        "required": [
+          "type",
+          "fact_kind"
+        ]
       },
       "then": {
-        "required": ["predicate_name", "predicate_args", "canonical_key"],
+        "required": [
+          "predicate_name",
+          "predicate_args",
+          "canonical_key"
+        ],
         "properties": {
-          "polarity": { "enum": ["assert", "deny"] }
+          "polarity": {
+            "enum": [
+              "assert",
+              "deny"
+            ]
+          }
         }
       }
     },
     {
       "if": {
         "properties": {
-          "type": { "const": "fact" },
-          "fact_kind": { "const": "property_value" }
+          "type": {
+            "const": "fact"
+          },
+          "fact_kind": {
+            "const": "rule_schema"
+          }
         },
-        "required": ["type", "fact_kind"]
+        "required": [
+          "type",
+          "fact_kind"
+        ]
       },
       "then": {
+        "required": [
+          "rule_name",
+          "argument_names",
+          "argument_types"
+        ]
+      }
+    },
+    {
+      "if": {
         "properties": {
-          "polarity": { "enum": ["require", "forbid"] }
+          "type": {
+            "const": "fact"
+          },
+          "fact_kind": {
+            "const": "rule"
+          }
+        },
+        "required": [
+          "type",
+          "fact_kind"
+        ]
+      },
+      "then": {
+        "required": [
+          "rule_ir",
+          "rule_hash",
+          "rule_schema_id",
+          "rule_name",
+          "semantic_key"
+        ]
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "type": {
+            "const": "fact"
+          },
+          "fact_kind": {
+            "const": "property_value"
+          }
+        },
+        "required": [
+          "type",
+          "fact_kind"
+        ]
+      },
+      "then": {
+        "properties": {
+          "polarity": {
+            "enum": [
+              "require",
+              "forbid"
+            ]
+          }
         }
       }
     }