kibi-cli 1.0.1 → 2.1.0

package/src/schemas/entity.schema.json

@@ -478,6 +478,15 @@
     "text_ref": {
       "type": "string"
     },
+    "proof_exempt": {
+      "type": "boolean",
+      "description": "Requirement-only. Marks a current requirement as intentionally outside E2E-proof scope; requires proof_exempt_reason."
+    },
+    "proof_exempt_reason": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Requirement-only. Required when proof_exempt is true; surfaces as the applicability reason in coverage rows."
+    },
     "semantic_text": {
       "type": "string",
       "description": "Requirement-only authored prose whose exact UTF-8 bytes anchor the semantic inventory without replacing text_ref evidence."
@@ -628,280 +637,396 @@
         "consumer"
       ]
     },
-    "verification_contract": {
+    "proof_contract": {
       "type": "object",
+      "description": "Semantic proof contract binding a test to explicit proof obligations executed by a configured integration.",
       "required": [
         "version",
-        "runner",
-        "command_argv",
-        "required_case_symbols",
-        "required_projects",
+        "integration",
+        "required_proofs",
         "success_policy"
       ],
       "properties": {
         "version": {
           "type": "string",
-          "const": "kibi.verification-contract.v1"
+          "const": "kibi.proof-contract.v1"
         },
-        "runner": {
+        "integration": {
           "type": "string",
           "minLength": 1
         },
-        "command_argv": {
+        "required_proofs": {
           "type": "array",
           "minItems": 1,
+          "maxItems": 1000,
           "items": {
-            "type": "string",
-            "minLength": 1
+            "type": "object",
+            "required": [
+              "symbol_id",
+              "target"
+            ],
+            "properties": {
+              "symbol_id": {
+                "type": "string",
+                "minLength": 1
+              },
+              "target": {
+                "type": "string",
+                "minLength": 1
+              }
+            },
+            "additionalProperties": false
           }
         },
-        "required_case_symbols": {
-          "type": "array",
-          "items": {
+        "success_policy": {
+          "type": "string",
+          "enum": [
+            "all_required_first_attempt"
+          ]
+        }
+      },
+      "additionalProperties": false
+    },
+    "proof_bindings": {
+      "type": "array",
+      "description": "Optional native-runner bindings for proof obligations. Bindings are provenance metadata; they never replace the semantic proof contract.",
+      "items": {
+        "type": "object",
+        "required": [
+          "symbol_id",
+          "target"
+        ],
+        "properties": {
+          "symbol_id": {
             "type": "string",
             "minLength": 1
           },
-          "uniqueItems": true
-        },
-        "required_projects": {
-          "type": "array",
-          "items": {
+          "target": {
+            "type": "string",
+            "minLength": 1
+          },
+          "native_id": {
+            "type": "string",
+            "minLength": 1
+          },
+          "aliases": {
+            "type": "array",
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "source_file": {
             "type": "string",
             "minLength": 1
           },
-          "uniqueItems": true
+          "line": {
+            "type": "integer",
+            "minimum": 1
+          }
         },
-        "success_policy": {
-          "type": "string",
-          "const": "all_required_cases_first_attempt"
-        }
-      },
-      "additionalProperties": false
+        "additionalProperties": false
+      }
     },
-    "verification_receipts": {
+    "proof_receipts": {
       "type": "array",
       "items": {
-        "oneOf": [
-          {
+        "type": "object",
+        "description": "Kibi-derived kibi.proof-receipt.v1. Receipts are never caller-authored; kb_ingest_proof derives them from kibi.proof-run.v1 artifacts.",
+        "required": [
+          "version",
+          "receipt_id",
+          "test_id",
+          "scope",
+          "outcome",
+          "code_snapshot",
+          "environment_hash",
+          "started_at",
+          "finished_at",
+          "artifact_digest",
+          "contract_hash",
+          "fingerprint",
+          "fingerprint_components",
+          "integration_id",
+          "producer",
+          "command_argv",
+          "run_outcome",
+          "proof_results"
+        ],
+        "properties": {
+          "version": {
+            "type": "string",
+            "const": "kibi.proof-receipt.v1"
+          },
+          "receipt_id": {
+            "type": "string",
+            "pattern": "^PR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$"
+          },
+          "test_id": {
+            "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}$"
+          },
+          "contract_hash": {
+            "type": "string",
+            "pattern": "^[a-f0-9]{64}$"
+          },
+          "binding_hash": {
+            "type": "string",
+            "pattern": "^[a-f0-9]{64}$"
+          },
+          "fingerprint": {
+            "type": "string",
+            "pattern": "^[a-f0-9]{64}$"
+          },
+          "fingerprint_components": {
             "type": "object",
             "required": [
-              "version",
-              "receipt_id",
-              "test_id",
-              "runner",
+              "contract",
+              "integration",
               "command",
-              "scope",
-              "outcome",
-              "code_snapshot",
-              "environment_hash",
-              "started_at",
-              "finished_at",
-              "artifact_digest"
+              "bindings",
+              "producer"
             ],
+            "additionalProperties": false,
             "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": {
+              "contract": {
                 "type": "string",
-                "minLength": 1
+                "pattern": "^[a-f0-9]{64}$"
               },
-              "runner": {
+              "integration": {
                 "type": "string",
-                "minLength": 1
+                "pattern": "^[a-f0-9]{64}$"
               },
               "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": {
+              "bindings": {
                 "type": "string",
                 "pattern": "^[a-f0-9]{64}$"
               },
-              "started_at": {
-                "type": "string",
-                "minLength": 1
-              },
-              "finished_at": {
-                "type": "string",
-                "minLength": 1
-              },
-              "artifact_digest": {
+              "producer": {
                 "type": "string",
                 "pattern": "^[a-f0-9]{64}$"
               }
-            },
-            "additionalProperties": false
+            }
           },
-          {
+          "integration_id": {
+            "type": "string",
+            "minLength": 1
+          },
+          "producer": {
             "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"
+              "name"
             ],
             "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": {
+              "name": {
                 "type": "string",
                 "minLength": 1
               },
-              "finished_at": {
+              "version": {
                 "type": "string",
                 "minLength": 1
-              },
-              "artifact_digest": {
-                "type": "string",
-                "pattern": "^[a-f0-9]{64}$"
-              },
-              "command_argv": {
-                "type": "array",
-                "minItems": 1,
-                "items": {
+              }
+            },
+            "additionalProperties": false
+          },
+          "command_argv": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "run_outcome": {
+            "type": "string",
+            "enum": [
+              "passed",
+              "failed",
+              "errored",
+              "cancelled",
+              "timed_out",
+              "interrupted",
+              "no_results"
+            ]
+          },
+          "proof_results": {
+            "type": "array",
+            "minItems": 0,
+            "maxItems": 1000,
+            "items": {
+              "type": "object",
+              "required": [
+                "symbol_id",
+                "target",
+                "outcome",
+                "binding",
+                "attempts"
+              ],
+              "properties": {
+                "symbol_id": {
                   "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
+                },
+                "target": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "outcome": {
+                  "type": "string",
+                  "enum": [
+                    "passed",
+                    "failed",
+                    "timed_out",
+                    "skipped",
+                    "interrupted",
+                    "errored"
+                  ]
+                },
+                "binding": {
+                  "type": "string",
+                  "enum": [
+                    "native_case",
+                    "aggregate_run"
+                  ]
+                },
+                "native_id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "attempts": {
+                  "oneOf": [
+                    {
+                      "type": "object",
+                      "required": [
+                        "status",
+                        "entries"
+                      ],
+                      "properties": {
+                        "status": {
+                          "type": "string",
+                          "const": "complete"
+                        },
+                        "entries": {
+                          "type": "array",
+                          "minItems": 1,
+                          "items": {
+                            "type": "object",
+                            "required": [
+                              "outcome"
+                            ],
+                            "properties": {
+                              "outcome": {
+                                "type": "string",
+                                "enum": [
+                                  "passed",
+                                  "failed",
+                                  "timed_out",
+                                  "skipped",
+                                  "interrupted",
+                                  "errored"
+                                ]
+                              },
+                              "duration_ms": {
+                                "type": "number",
+                                "minimum": 0
+                              }
+                            },
+                            "additionalProperties": false
+                          }
+                        }
+                      },
+                      "additionalProperties": false
                     },
-                    "duration_ms": {
-                      "type": "integer",
-                      "minimum": 0
+                    {
+                      "type": "object",
+                      "required": [
+                        "status"
+                      ],
+                      "properties": {
+                        "status": {
+                          "type": "string",
+                          "const": "unavailable"
+                        }
+                      },
+                      "additionalProperties": false
                     }
-                  },
-                  "additionalProperties": false
+                  ]
                 }
-              }
-            },
-            "additionalProperties": false
+              },
+              "additionalProperties": false
+            }
+          },
+          "gaps": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "required": [
+                "symbol_id",
+                "target",
+                "reason"
+              ],
+              "properties": {
+                "symbol_id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "target": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "reason": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "additionalProperties": false
+            }
           }
-        ]
+        },
+        "additionalProperties": false
       }
     },
     "type": {
@@ -1310,12 +1435,17 @@
             },
             {
               "required": [
-                "verification_contract"
+                "proof_contract"
               ]
             },
             {
               "required": [
-                "verification_receipts"
+                "proof_bindings"
+              ]
+            },
+            {
+              "required": [
+                "proof_receipts"
               ]
             }
           ]
@@ -1325,7 +1455,7 @@
     {
       "if": {
         "required": [
-          "verification_receipts"
+          "proof_receipts"
         ]
       },
       "then": {
@@ -1374,6 +1504,16 @@
               "required": [
                 "semantic_source_hash"
               ]
+            },
+            {
+              "required": [
+                "proof_exempt"
+              ]
+            },
+            {
+              "required": [
+                "proof_exempt_reason"
+              ]
             }
           ]
         }

package/dist/cli-register-verification.d.ts

@@ -1,3 +0,0 @@
-import type { Command } from "commander";
-export declare function registerVerificationCommand(program: Command): void;
-//# sourceMappingURL=cli-register-verification.d.ts.map

package/dist/cli-register-verification.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"cli-register-verification.d.ts","sourceRoot":"","sources":["../src/cli-register-verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA6BlE"}