kibi-cli 1.0.1 → 2.1.0

package/dist/public/proof-protocol.d.ts

@@ -0,0 +1,354 @@
+export declare const PROOF_RUN_VERSION: "kibi.proof-run.v1";
+export declare const PROOF_CONTRACT_VERSION: "kibi.proof-contract.v1";
+export declare const PROOF_RECEIPT_VERSION: "kibi.proof-receipt.v1";
+export declare const PROOF_INTEGRATION_VERSION: "kibi.proof-integration.v1";
+export declare const PROOF_RUN_OUTCOMES: readonly ["passed", "failed", "errored", "cancelled", "timed_out", "interrupted", "no_results"];
+export declare const PROOF_RESULT_OUTCOMES: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
+export declare const PROOF_BINDING_KINDS: readonly ["native_case", "aggregate_run"];
+export declare const ATTEMPTS_STATUS: readonly ["complete", "unavailable"];
+export declare const RUN_FAILURE_PHASES: readonly ["setup", "collection", "execution", "teardown", "infrastructure"];
+export declare const SUCCESS_POLICIES: readonly ["all_required_first_attempt"];
+export type { AttemptsStatus, ProducerProvenance, ProofAttempt, ProofAttempts, ProofBinding, ProofBindingKind, ProofContract, ProofEnvironment, ProofObligation, ProofResult, ProofResultOutcome, ProofRun, ProofRunArtifact, ProofRunOutcome, RunFailurePhase, SuccessPolicy, } from "./proof-protocol-types.js";
+export declare const PROOF_RESULT_SCHEMA: {
+    readonly type: "object";
+    readonly description: "One observed proof result. binding distinguishes native-case observations from aggregate-run bindings; attempts must report facts only.";
+    readonly required: readonly ["symbol_id", "target", "outcome", "binding", "attempts"];
+    readonly properties: {
+        readonly symbol_id: {
+            readonly type: "string";
+            readonly minLength: 1;
+            readonly description: "Stable proof symbol ID (SYM-*).";
+        };
+        readonly target: {
+            readonly type: "string";
+            readonly minLength: 1;
+            readonly description: "Ecosystem-neutral execution target (browser, runtime, database, device, deployment, or default).";
+        };
+        readonly outcome: {
+            readonly type: "string";
+            readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
+        };
+        readonly binding: {
+            readonly type: "string";
+            readonly enum: readonly ["native_case", "aggregate_run"];
+        };
+        readonly native_id: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly attempts: {
+            readonly oneOf: readonly [{
+                readonly type: "object";
+                readonly required: readonly ["status", "entries"];
+                readonly properties: {
+                    readonly status: {
+                        readonly type: "string";
+                        readonly const: "complete";
+                    };
+                    readonly entries: {
+                        readonly type: "array";
+                        readonly minItems: 1;
+                        readonly maxItems: 100;
+                        readonly items: {
+                            readonly type: "object";
+                            readonly required: readonly ["outcome"];
+                            readonly properties: {
+                                readonly outcome: {
+                                    readonly type: "string";
+                                    readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
+                                };
+                                readonly duration_ms: {
+                                    readonly type: "number";
+                                    readonly minimum: 0;
+                                };
+                            };
+                            readonly additionalProperties: false;
+                        };
+                    };
+                };
+                readonly additionalProperties: false;
+            }, {
+                readonly type: "object";
+                readonly required: readonly ["status"];
+                readonly properties: {
+                    readonly status: {
+                        readonly type: "string";
+                        readonly const: "unavailable";
+                    };
+                };
+                readonly additionalProperties: false;
+            }];
+        };
+        readonly diagnostics: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+        };
+    };
+    readonly additionalProperties: false;
+};
+export declare const PROOF_RUN_ARTIFACT_SCHEMA: {
+    readonly type: "object";
+    readonly description: "Producer-emitted kibi.proof-run.v1 proof artifact. Producers report what happened; Kibi evaluates proof obligations and policies. Produce it via `kibi prove` or direct kb_ingest_proof calls.";
+    readonly required: readonly ["version", "producer", "command_argv", "code_snapshot", "environment", "run", "proof_results"];
+    readonly properties: {
+        readonly version: {
+            readonly type: "string";
+            readonly const: "kibi.proof-run.v1";
+        };
+        readonly producer: {
+            readonly type: "object";
+            readonly required: readonly ["name"];
+            readonly properties: {
+                readonly name: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly version: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+            };
+            readonly additionalProperties: false;
+        };
+        readonly executor: {
+            readonly type: "object";
+            readonly required: readonly ["name"];
+            readonly properties: {
+                readonly name: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly version: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+            };
+            readonly additionalProperties: false;
+        };
+        readonly command_argv: {
+            readonly type: "array";
+            readonly minItems: 1;
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+        };
+        readonly code_snapshot: {
+            readonly type: "string";
+            readonly pattern: "^[a-f0-9]{64}$";
+        };
+        readonly environment: {
+            readonly type: "object";
+            readonly additionalProperties: true;
+        };
+        readonly run: {
+            readonly type: "object";
+            readonly required: readonly ["outcome", "exit_code", "started_at", "finished_at"];
+            readonly properties: {
+                readonly outcome: {
+                    readonly type: "string";
+                    readonly enum: readonly ["passed", "failed", "errored", "cancelled", "timed_out", "interrupted", "no_results"];
+                };
+                readonly exit_code: {
+                    readonly type: "integer";
+                };
+                readonly started_at: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly finished_at: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+                readonly failure_phase: {
+                    readonly type: "string";
+                    readonly enum: readonly ["setup", "collection", "execution", "teardown", "infrastructure"];
+                };
+            };
+            readonly additionalProperties: false;
+        };
+        readonly proof_results: {
+            readonly type: "array";
+            readonly minItems: 1;
+            readonly maxItems: 1000;
+            readonly items: {
+                readonly type: "object";
+                readonly description: "One observed proof result. binding distinguishes native-case observations from aggregate-run bindings; attempts must report facts only.";
+                readonly required: readonly ["symbol_id", "target", "outcome", "binding", "attempts"];
+                readonly properties: {
+                    readonly symbol_id: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                        readonly description: "Stable proof symbol ID (SYM-*).";
+                    };
+                    readonly target: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                        readonly description: "Ecosystem-neutral execution target (browser, runtime, database, device, deployment, or default).";
+                    };
+                    readonly outcome: {
+                        readonly type: "string";
+                        readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
+                    };
+                    readonly binding: {
+                        readonly type: "string";
+                        readonly enum: readonly ["native_case", "aggregate_run"];
+                    };
+                    readonly native_id: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly attempts: {
+                        readonly oneOf: readonly [{
+                            readonly type: "object";
+                            readonly required: readonly ["status", "entries"];
+                            readonly properties: {
+                                readonly status: {
+                                    readonly type: "string";
+                                    readonly const: "complete";
+                                };
+                                readonly entries: {
+                                    readonly type: "array";
+                                    readonly minItems: 1;
+                                    readonly maxItems: 100;
+                                    readonly items: {
+                                        readonly type: "object";
+                                        readonly required: readonly ["outcome"];
+                                        readonly properties: {
+                                            readonly outcome: {
+                                                readonly type: "string";
+                                                readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
+                                            };
+                                            readonly duration_ms: {
+                                                readonly type: "number";
+                                                readonly minimum: 0;
+                                            };
+                                        };
+                                        readonly additionalProperties: false;
+                                    };
+                                };
+                            };
+                            readonly additionalProperties: false;
+                        }, {
+                            readonly type: "object";
+                            readonly required: readonly ["status"];
+                            readonly properties: {
+                                readonly status: {
+                                    readonly type: "string";
+                                    readonly const: "unavailable";
+                                };
+                            };
+                            readonly additionalProperties: false;
+                        }];
+                    };
+                    readonly diagnostics: {
+                        readonly type: "array";
+                        readonly items: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                    };
+                };
+                readonly additionalProperties: false;
+            };
+        };
+        readonly integration: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly diagnostics: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+        };
+    };
+    readonly additionalProperties: false;
+};
+export declare const PROOF_CONTRACT_SCHEMA: {
+    readonly type: "object";
+    readonly description: "Semantic proof contract binding a test to explicit proof obligations executed by a configured integration.";
+    readonly required: readonly ["version", "integration", "required_proofs", "success_policy"];
+    readonly properties: {
+        readonly version: {
+            readonly type: "string";
+            readonly const: "kibi.proof-contract.v1";
+        };
+        readonly integration: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly required_proofs: {
+            readonly type: "array";
+            readonly minItems: 1;
+            readonly maxItems: 1000;
+            readonly items: {
+                readonly type: "object";
+                readonly required: readonly ["symbol_id", "target"];
+                readonly properties: {
+                    readonly symbol_id: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly target: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                };
+                readonly additionalProperties: false;
+            };
+        };
+        readonly success_policy: {
+            readonly type: "string";
+            readonly enum: readonly ["all_required_first_attempt"];
+        };
+    };
+    readonly additionalProperties: false;
+};
+export declare const PROOF_BINDINGS_SCHEMA: {
+    readonly type: "array";
+    readonly description: "Optional native-runner bindings for proof obligations. Bindings are provenance metadata; they never replace the semantic proof contract.";
+    readonly items: {
+        readonly type: "object";
+        readonly required: readonly ["symbol_id", "target"];
+        readonly properties: {
+            readonly symbol_id: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly target: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly native_id: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly aliases: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                    readonly minLength: 1;
+                };
+            };
+            readonly source_file: {
+                readonly type: "string";
+                readonly minLength: 1;
+            };
+            readonly line: {
+                readonly type: "integer";
+                readonly minimum: 1;
+            };
+        };
+        readonly additionalProperties: false;
+    };
+};
+export declare function proofResultErrors(value: unknown, label: string): string[];
+export declare function proofRunArtifactErrors(value: unknown): string[];
+export declare function proofContractErrors(value: unknown): string[];
+export declare function proofBindingsErrors(value: unknown): string[];
+//# sourceMappingURL=proof-protocol.d.ts.map

package/dist/public/proof-protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-protocol.d.ts","sourceRoot":"","sources":["../../src/public/proof-protocol.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iBAAiB,EAAG,mBAA4B,CAAC;AAE9D,eAAO,MAAM,sBAAsB,EAAG,wBAAiC,CAAC;AAExE,eAAO,MAAM,qBAAqB,EAAG,uBAAgC,CAAC;AAEtE,eAAO,MAAM,yBAAyB,EAAG,2BAAoC,CAAC;AAE9E,eAAO,MAAM,kBAAkB,iGAQrB,CAAC;AAEX,eAAO,MAAM,qBAAqB,iFAOxB,CAAC;AAEX,eAAO,MAAM,mBAAmB,2CAA4C,CAAC;AAE7E,eAAO,MAAM,eAAe,sCAAuC,CAAC;AAEpE,eAAO,MAAM,kBAAkB,6EAMrB,CAAC;AAEX,eAAO,MAAM,gBAAgB,yCAA0C,CAAC;AAExE,YAAY,EACV,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,aAAa,GACd,MAAM,2BAA2B,CAAC;AAWnC,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0DtB,CAAC;AAEX,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiE5B,CAAC;AAEX,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyBxB,CAAC;AAEX,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoBxB,CAAC;AA0GX,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAgCzE;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAkG/D;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAwD5D;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CA8C5D"}