kibi-cli 1.0.1 → 2.0.0

package/dist/public/verification-receipt.d.ts

@@ -1,242 +0,0 @@
-export declare const VERIFICATION_RECEIPT_VERSION: "kibi.verification-receipt.v1";
-export declare const VERIFICATION_RECEIPT_V2_VERSION: "kibi.verification-receipt.v2";
-export declare const VERIFICATION_CONTRACT_VERSION: "kibi.verification-contract.v1";
-export declare const VERIFICATION_RECEIPT_MAX_AGE_SECONDS: number;
-export declare const VERIFICATION_RECEIPT_OUTCOMES: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
-export declare const VERIFICATION_CONTRACT_SCHEMA: {
-    readonly type: "object";
-    readonly required: readonly ["version", "runner", "command_argv", "required_case_symbols", "required_projects", "success_policy"];
-    readonly properties: {
-        readonly version: {
-            readonly type: "string";
-            readonly const: "kibi.verification-contract.v1";
-        };
-        readonly runner: {
-            readonly type: "string";
-            readonly minLength: 1;
-        };
-        readonly command_argv: {
-            readonly type: "array";
-            readonly minItems: 1;
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-        };
-        readonly required_case_symbols: {
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly uniqueItems: true;
-        };
-        readonly required_projects: {
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly uniqueItems: true;
-        };
-        readonly success_policy: {
-            readonly type: "string";
-            readonly const: "all_required_cases_first_attempt";
-        };
-    };
-    readonly additionalProperties: false;
-};
-export declare const VERIFICATION_RECEIPT_SCHEMA: {
-    readonly oneOf: readonly [{
-        readonly type: "object";
-        readonly required: readonly ["version", "receipt_id", "test_id", "runner", "command", "scope", "outcome", "code_snapshot", "environment_hash", "started_at", "finished_at", "artifact_digest"];
-        readonly properties: {
-            readonly version: {
-                readonly type: "string";
-                readonly const: "kibi.verification-receipt.v1";
-            };
-            readonly receipt_id: {
-                readonly type: "string";
-                readonly pattern: "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
-            };
-            readonly test_id: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly runner: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly command: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly scope: {
-                readonly type: "string";
-                readonly enum: readonly ["unit", "integration", "end_to_end"];
-            };
-            readonly outcome: {
-                readonly type: "string";
-                readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
-            };
-            readonly code_snapshot: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-            readonly environment_hash: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-            readonly started_at: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly finished_at: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly artifact_digest: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-        };
-        readonly additionalProperties: false;
-    }, {
-        readonly required: readonly ["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"];
-        readonly properties: {
-            readonly version: {
-                readonly type: "string";
-                readonly const: "kibi.verification-receipt.v2";
-            };
-            readonly command_argv: {
-                readonly type: "array";
-                readonly minItems: 1;
-                readonly items: {
-                    readonly type: "string";
-                    readonly minLength: 1;
-                };
-            };
-            readonly contract_hash: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-            readonly case_results: {
-                readonly type: "array";
-                readonly minItems: 1;
-                readonly maxItems: 1000;
-                readonly items: {
-                    readonly type: "object";
-                    readonly required: readonly ["symbol_id", "project", "outcome", "retries", "duration_ms"];
-                    readonly properties: {
-                        readonly symbol_id: {
-                            readonly type: "string";
-                            readonly minLength: 1;
-                        };
-                        readonly project: {
-                            readonly type: "string";
-                            readonly minLength: 1;
-                        };
-                        readonly outcome: {
-                            readonly type: "string";
-                            readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted"];
-                        };
-                        readonly retries: {
-                            readonly type: "integer";
-                            readonly minimum: 0;
-                        };
-                        readonly duration_ms: {
-                            readonly type: "integer";
-                            readonly minimum: 0;
-                        };
-                    };
-                    readonly additionalProperties: false;
-                };
-            };
-            readonly receipt_id: {
-                readonly type: "string";
-                readonly pattern: "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
-            };
-            readonly test_id: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly runner: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly command: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly scope: {
-                readonly type: "string";
-                readonly enum: readonly ["unit", "integration", "end_to_end"];
-            };
-            readonly outcome: {
-                readonly type: "string";
-                readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
-            };
-            readonly code_snapshot: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-            readonly environment_hash: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-            readonly started_at: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly finished_at: {
-                readonly type: "string";
-                readonly minLength: 1;
-            };
-            readonly artifact_digest: {
-                readonly type: "string";
-                readonly pattern: "^[a-f0-9]{64}$";
-            };
-        };
-        readonly type: "object";
-        readonly additionalProperties: false;
-    }];
-};
-export type VerificationReceipt = Readonly<{
-    version: typeof VERIFICATION_RECEIPT_VERSION;
-    receipt_id: string;
-    test_id: string;
-    runner: string;
-    command: string;
-    scope: "unit" | "integration" | "end_to_end";
-    outcome: (typeof VERIFICATION_RECEIPT_OUTCOMES)[number];
-    code_snapshot: string;
-    environment_hash: string;
-    started_at: string;
-    finished_at: string;
-    artifact_digest: string;
-}>;
-export type VerificationReceiptV2 = VerificationReceipt & Readonly<{
-    version: typeof VERIFICATION_RECEIPT_V2_VERSION;
-    command_argv: readonly string[];
-    contract_hash: string;
-    case_results: readonly {
-        symbol_id: string;
-        project: string;
-        outcome: "passed" | "failed" | "timed_out" | "skipped" | "interrupted";
-        retries: number;
-        duration_ms: number;
-    }[];
-}>;
-export type VerificationContract = Readonly<{
-    version: typeof VERIFICATION_CONTRACT_VERSION;
-    runner: string;
-    command_argv: readonly string[];
-    required_case_symbols: readonly string[];
-    required_projects: readonly string[];
-    success_policy: "all_required_cases_first_attempt";
-}>;
-export declare function verificationReceiptHistoryErrors(testId: string, verificationScope: unknown, receipts: readonly Readonly<Record<string, unknown>>[]): readonly string[];
-export declare function verificationReceiptCurrentBindingErrors(testId: string, verificationScope: unknown, receipt: Readonly<Record<string, unknown>>, contract?: Readonly<Record<string, unknown>>): readonly string[];
-export declare function verificationContractHash(contract: Readonly<Record<string, unknown>>): string;
-export declare function appendOnlyVerificationReceiptHistoryErrors(previous: readonly Readonly<Record<string, unknown>>[], next: readonly Readonly<Record<string, unknown>>[] | undefined): readonly string[];
-//# sourceMappingURL=verification-receipt.d.ts.map

package/dist/public/verification-receipt.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-receipt.d.ts","sourceRoot":"","sources":["../../src/public/verification-receipt.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,4BAA4B,EACvC,8BAAuC,CAAC;AAE1C,eAAO,MAAM,+BAA+B,EAC1C,8BAAuC,CAAC;AAE1C,eAAO,MAAM,6BAA6B,EACxC,+BAAwC,CAAC;AAE3C,eAAO,MAAM,oCAAoC,QAAmB,CAAC;AAErE,eAAO,MAAM,6BAA6B,8FAQhC,CAAC;AAuCX,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkC/B,CAAC;AA0CX,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAE9B,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,OAAO,EAAE,OAAO,4BAA4B,CAAC;IAC7C,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC7C,OAAO,EAAE,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;IACxD,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC,CAAC;AAGH,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,GACrD,QAAQ,CAAC;IACP,OAAO,EAAE,OAAO,+BAA+B,CAAC;IAChD,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,SAAS;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,GAAG,aAAa,CAAC;QACvE,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;CACL,CAAC,CAAC;AAGL,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,OAAO,EAAE,OAAO,6BAA6B,CAAC;IAC9C,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,cAAc,EAAE,kCAAkC,CAAC;CACpD,CAAC,CAAC;AAeH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,MAAM,EACd,iBAAiB,EAAE,OAAO,EAC1B,QAAQ,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,GACrD,SAAS,MAAM,EAAE,CAsInB;AAGD,wBAAgB,uCAAuC,CACrD,MAAM,EAAE,MAAM,EACd,iBAAiB,EAAE,OAAO,EAC1B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC1C,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC3C,SAAS,MAAM,EAAE,CA2BnB;AAgBD,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC1C,MAAM,CAER;AAED,wBAAgB,0CAA0C,CACxD,QAAQ,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,EACtD,IAAI,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,GAC7D,SAAS,MAAM,EAAE,CAoBnB"}

package/dist/public/verification-receipt.js

@@ -1,296 +0,0 @@
-import { createHash } from "node:crypto";
-export const VERIFICATION_RECEIPT_VERSION = "kibi.verification-receipt.v1";
-// implements REQ-kibi-verification-evidence-contract
-export const VERIFICATION_RECEIPT_V2_VERSION = "kibi.verification-receipt.v2";
-// implements REQ-kibi-verification-evidence-contract
-export const VERIFICATION_CONTRACT_VERSION = "kibi.verification-contract.v1";
-export const VERIFICATION_RECEIPT_MAX_AGE_SECONDS = 7 * 24 * 60 * 60;
-export const VERIFICATION_RECEIPT_OUTCOMES = [
-    "passed",
-    "failed",
-    "errored",
-    "cancelled",
-    "skipped",
-    "timed_out",
-    "interrupted",
-];
-const VERIFICATION_RECEIPT_V1_SCHEMA = {
-    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: VERIFICATION_RECEIPT_VERSION },
-        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: [...VERIFICATION_RECEIPT_OUTCOMES] },
-        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,
-};
-// implements REQ-kibi-verification-evidence-contract
-export const VERIFICATION_CONTRACT_SCHEMA = {
-    type: "object",
-    required: [
-        "version",
-        "runner",
-        "command_argv",
-        "required_case_symbols",
-        "required_projects",
-        "success_policy",
-    ],
-    properties: {
-        version: { type: "string", const: VERIFICATION_CONTRACT_VERSION },
-        runner: { type: "string", minLength: 1 },
-        command_argv: {
-            type: "array",
-            minItems: 1,
-            items: { type: "string", minLength: 1 },
-        },
-        required_case_symbols: {
-            type: "array",
-            items: { type: "string", minLength: 1 },
-            uniqueItems: true,
-        },
-        required_projects: {
-            type: "array",
-            items: { type: "string", minLength: 1 },
-            uniqueItems: true,
-        },
-        success_policy: {
-            type: "string",
-            const: "all_required_cases_first_attempt",
-        },
-    },
-    additionalProperties: false,
-};
-const VERIFICATION_RECEIPT_V2_SCHEMA = {
-    ...VERIFICATION_RECEIPT_V1_SCHEMA,
-    required: [
-        ...VERIFICATION_RECEIPT_V1_SCHEMA.required,
-        "command_argv",
-        "contract_hash",
-        "case_results",
-    ],
-    properties: {
-        ...VERIFICATION_RECEIPT_V1_SCHEMA.properties,
-        version: { type: "string", const: VERIFICATION_RECEIPT_V2_VERSION },
-        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,
-            },
-        },
-    },
-};
-export const VERIFICATION_RECEIPT_SCHEMA = {
-    oneOf: [VERIFICATION_RECEIPT_V1_SCHEMA, VERIFICATION_RECEIPT_V2_SCHEMA],
-};
-function timestamp(value) {
-    if (typeof value !== "string")
-        return null;
-    if (!/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:Z|[+-]\d{2}:\d{2})$/.test(value)) {
-        return null;
-    }
-    const parsed = Date.parse(value);
-    return Number.isFinite(parsed) ? parsed : null;
-}
-export function verificationReceiptHistoryErrors(testId, verificationScope, receipts) {
-    const errors = [];
-    let previousFinishedAt = null;
-    if (receipts.length > 0 && typeof verificationScope !== "string") {
-        errors.push("verification_scope is required when verification_receipts are present");
-    }
-    const receiptIds = new Set();
-    for (const [index, receipt] of receipts.entries()) {
-        const prefix = `verification_receipts[${index}]`;
-        const receiptId = receipt.receipt_id;
-        if (typeof receiptId === "string") {
-            if (receiptIds.has(receiptId)) {
-                errors.push(`${prefix}.receipt_id duplicates '${receiptId}'`);
-            }
-            receiptIds.add(receiptId);
-        }
-        if (receipt.test_id !== testId) {
-            errors.push(`${prefix}.test_id must equal '${testId}'`);
-        }
-        if (!["unit", "integration", "end_to_end"].includes(receipt.scope)) {
-            errors.push(`${prefix}.scope must be a supported verification scope`);
-        }
-        const startedAt = timestamp(receipt.started_at);
-        const finishedAt = timestamp(receipt.finished_at);
-        if (startedAt === null)
-            errors.push(`${prefix}.started_at must be ISO-8601`);
-        if (finishedAt === null)
-            errors.push(`${prefix}.finished_at must be ISO-8601`);
-        if (startedAt !== null && finishedAt !== null && finishedAt < startedAt) {
-            errors.push(`${prefix}.finished_at must not precede started_at`);
-        }
-        if (finishedAt !== null &&
-            previousFinishedAt !== null &&
-            finishedAt <= previousFinishedAt) {
-            errors.push(`${prefix}.finished_at must be strictly later than the previous receipt`);
-        }
-        if (finishedAt !== null)
-            previousFinishedAt = finishedAt;
-        if (receipt.version === VERIFICATION_RECEIPT_V2_VERSION) {
-            if (!Array.isArray(receipt.command_argv) ||
-                receipt.command_argv.length === 0 ||
-                receipt.command_argv.some((argument) => typeof argument !== "string" || argument.trim() === "")) {
-                errors.push(`${prefix}.command_argv must be a non-empty argv of strings`);
-            }
-            if (typeof receipt.contract_hash !== "string" ||
-                !/^[a-f0-9]{64}$/.test(receipt.contract_hash)) {
-                errors.push(`${prefix}.contract_hash must be a SHA-256 hex digest`);
-            }
-            const caseResults = receipt.case_results;
-            if (!Array.isArray(caseResults) || caseResults.length === 0) {
-                errors.push(`${prefix}.case_results must contain at least one contracted case`);
-            }
-            else {
-                const seenCases = new Set();
-                for (const [caseIndex, caseResult] of caseResults.entries()) {
-                    if (!caseResult ||
-                        typeof caseResult !== "object" ||
-                        Array.isArray(caseResult)) {
-                        errors.push(`${prefix}.case_results[${caseIndex}] must be an object`);
-                        continue;
-                    }
-                    const row = caseResult;
-                    if (typeof row.symbol_id !== "string" ||
-                        row.symbol_id.trim() === "" ||
-                        typeof row.project !== "string" ||
-                        row.project.trim() === "") {
-                        errors.push(`${prefix}.case_results[${caseIndex}] requires non-empty symbol_id and project`);
-                    }
-                    if (![
-                        "passed",
-                        "failed",
-                        "timed_out",
-                        "skipped",
-                        "interrupted",
-                    ].includes(String(row.outcome))) {
-                        errors.push(`${prefix}.case_results[${caseIndex}].outcome is not a supported result`);
-                    }
-                    const key = `${String(row.project ?? "")}\0${String(row.symbol_id ?? "")}`;
-                    if (seenCases.has(key))
-                        errors.push(`${prefix}.case_results duplicates '${key.replace("\0", "/")}'`);
-                    seenCases.add(key);
-                    if (typeof row.retries !== "number" ||
-                        !Number.isInteger(row.retries) ||
-                        row.retries < 0)
-                        errors.push(`${prefix}.case_results[${caseIndex}].retries must be a non-negative integer`);
-                    if (typeof row.duration_ms !== "number" ||
-                        !Number.isInteger(row.duration_ms) ||
-                        row.duration_ms < 0)
-                        errors.push(`${prefix}.case_results[${caseIndex}].duration_ms must be a non-negative integer`);
-                }
-            }
-        }
-    }
-    return errors;
-}
-// implements REQ-kibi-verification-evidence-contract
-export function verificationReceiptCurrentBindingErrors(testId, verificationScope, receipt, contract) {
-    const errors = [];
-    if (receipt.test_id !== testId) {
-        errors.push(`verification receipt test_id must equal '${testId}'`);
-    }
-    if (typeof verificationScope !== "string") {
-        errors.push("verification_scope is required for current receipt evidence");
-    }
-    else if (receipt.scope !== verificationScope) {
-        errors.push(`verification receipt scope must equal the current verification_scope '${verificationScope}'`);
-    }
-    if (contract !== undefined) {
-        if (receipt.version !== VERIFICATION_RECEIPT_V2_VERSION) {
-            errors.push("the current verification_contract requires a kibi.verification-receipt.v2");
-        }
-        else if (typeof receipt.contract_hash === "string") {
-            const expectedHash = verificationContractHash(contract);
-            if (receipt.contract_hash !== expectedHash) {
-                errors.push("verification receipt contract_hash does not match the current verification_contract");
-            }
-        }
-    }
-    return errors;
-}
-function canonicalJson(value) {
-    if (Array.isArray(value)) {
-        return `[${value.map(canonicalJson).join(",")}]`;
-    }
-    if (value !== null && typeof value === "object") {
-        return `{${Object.entries(value)
-            .sort(([left], [right]) => left.localeCompare(right))
-            .map(([key, child]) => `${JSON.stringify(key)}:${canonicalJson(child)}`)
-            .join(",")}}`;
-    }
-    return JSON.stringify(value);
-}
-// implements REQ-kibi-verification-evidence-contract
-export function verificationContractHash(contract) {
-    return createHash("sha256").update(canonicalJson(contract)).digest("hex");
-}
-export function appendOnlyVerificationReceiptHistoryErrors(previous, next) {
-    if (previous.length === 0)
-        return [];
-    if (next === undefined) {
-        return [
-            "verification_receipts is append-only and cannot be removed from an existing test",
-        ];
-    }
-    if (next.length < previous.length) {
-        return [
-            `verification_receipts is append-only: expected at least ${previous.length} historical receipt(s), received ${next.length}`,
-        ];
-    }
-    for (const [index, receipt] of previous.entries()) {
-        if (canonicalJson(next[index]) !== canonicalJson(receipt)) {
-            return [
-                `verification_receipts is append-only: historical receipt at index ${index} was changed, removed, or reordered`,
-            ];
-        }
-    }
-    return [];
-}

package/dist/verification/playwright-reporter.d.ts

@@ -1,21 +0,0 @@
-export declare const PLAYWRIGHT_RUN_VERSION: "kibi.playwright-run.v1";
-export type KibiPlaywrightReporterOptions = Readonly<{
-    outputPath?: string;
-    codeSnapshot?: string;
-    commandArgv?: readonly string[];
-    environmentHash?: string;
-    workspaceRoot?: string;
-    now?: () => Date;
-}>;
-/** Reporter callback surface intentionally uses structural types, no Playwright dependency. */
-export declare class KibiPlaywrightReporter {
-    private readonly options;
-    private readonly cases;
-    private startedAt;
-    constructor(options?: KibiPlaywrightReporterOptions);
-    onBegin(): void;
-    onTestEnd(test: unknown, result: unknown): void;
-    onEnd(result?: unknown): Promise<void>;
-}
-export default KibiPlaywrightReporter;
-//# sourceMappingURL=playwright-reporter.d.ts.map

package/dist/verification/playwright-reporter.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"playwright-reporter.d.ts","sourceRoot":"","sources":["../../src/verification/playwright-reporter.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,sBAAsB,EAAG,wBAAiC,CAAC;AAGxE,MAAM,MAAM,6BAA6B,GAAG,QAAQ,CAAC;IACnD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAClB,CAAC,CAAC;AAuDH,+FAA+F;AAC/F,qBAAa,sBAAsB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAgC;IACxD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAoB;IAC1C,OAAO,CAAC,SAAS,CAAS;gBAEd,OAAO,GAAE,6BAAkC;IAMvD,OAAO,IAAI,IAAI;IAKf,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI;IAoCzC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;CA0B7C;AAED,eAAe,sBAAsB,CAAC"}

package/dist/verification/playwright-reporter.js

@@ -1,114 +0,0 @@
-import { createHash } from "node:crypto";
-import { mkdir, writeFile } from "node:fs/promises";
-import path from "node:path";
-import { normalizePlaywrightSourceFile, playwrightCaseId, } from "../public/playwright-case-id.js";
-// implements REQ-kibi-verification-evidence-contract
-export const PLAYWRIGHT_RUN_VERSION = "kibi.playwright-run.v1";
-function envHash() {
-    const lockfile = process.env.KIBI_LOCKFILE_DIGEST ?? "unknown";
-    return createHash("sha256")
-        .update(JSON.stringify({
-        platform: process.platform,
-        arch: process.arch,
-        node: process.version,
-        lockfile,
-        projects: process.env.KIBI_VERIFICATION_PROJECTS ?? "",
-    }))
-        .digest("hex");
-}
-function outputPath(options) {
-    const configured = options.outputPath ?? process.env.KIBI_VERIFICATION_OUTPUT;
-    if (!configured)
-        throw new Error("KIBI_VERIFICATION_OUTPUT is required");
-    return path.resolve(configured);
-}
-function titlePath(test) {
-    const candidate = test;
-    const value = candidate.titlePath?.();
-    return Array.isArray(value) ? value.map(String).filter(Boolean) : [];
-}
-function sourceLocation(test) {
-    const location = test
-        .location;
-    return {
-        file: typeof location?.file === "string" ? location.file : "unknown",
-        line: Number.isInteger(location?.line) ? Number(location?.line) : 1,
-    };
-}
-function projectName(test, result) {
-    const project = test.project?.();
-    if (typeof project?.name === "string" && project.name)
-        return project.name;
-    const resultProject = result.projectName;
-    return typeof resultProject === "string" && resultProject
-        ? resultProject
-        : "default";
-}
-/** Reporter callback surface intentionally uses structural types, no Playwright dependency. */
-export class KibiPlaywrightReporter {
-    options;
-    cases = [];
-    startedAt;
-    constructor(options = {}) {
-        this.options = options;
-        this.startedAt = (options.now ?? (() => new Date()))().toISOString();
-    }
-    // implements REQ-kibi-verification-evidence-contract
-    onBegin() {
-        this.startedAt = (this.options.now ?? (() => new Date()))().toISOString();
-    }
-    // implements REQ-kibi-verification-evidence-contract
-    onTestEnd(test, result) {
-        const resultValue = result;
-        const location = sourceLocation(test);
-        const titles = titlePath(test);
-        const title = titles.join(" > ");
-        const status = resultValue.status;
-        const outcome = status === "passed"
-            ? "passed"
-            : status === "timedOut"
-                ? "timed_out"
-                : status === "skipped"
-                    ? "skipped"
-                    : "failed";
-        const sourceFile = normalizePlaywrightSourceFile(location.file, this.options.workspaceRoot ?? process.cwd());
-        this.cases.push({
-            symbol_id: playwrightCaseId(sourceFile, title),
-            project: projectName(test, result),
-            outcome,
-            retries: Number.isInteger(resultValue.retry)
-                ? Number(resultValue.retry)
-                : 0,
-            duration_ms: Number.isInteger(resultValue.duration)
-                ? Number(resultValue.duration)
-                : 0,
-        });
-    }
-    // implements REQ-kibi-verification-evidence-contract
-    async onEnd(result) {
-        const now = this.options.now ?? (() => new Date());
-        const status = result?.status;
-        const artifact = {
-            version: PLAYWRIGHT_RUN_VERSION,
-            runner: "playwright",
-            command_argv: [
-                ...(this.options.commandArgv ??
-                    (process.env.KIBI_VERIFICATION_COMMAND_ARGV
-                        ? JSON.parse(process.env.KIBI_VERIFICATION_COMMAND_ARGV)
-                        : [])),
-            ],
-            code_snapshot: this.options.codeSnapshot ??
-                process.env.KIBI_VERIFICATION_SNAPSHOT ??
-                "",
-            environment_hash: this.options.environmentHash ?? envHash(),
-            started_at: this.startedAt,
-            finished_at: now().toISOString(),
-            process_exit_code: status === "passed" ? 0 : 1,
-            cases: this.cases,
-        };
-        const target = outputPath(this.options);
-        await mkdir(path.dirname(target), { recursive: true });
-        await writeFile(target, `${JSON.stringify(artifact, null, 2)}\n`, "utf8");
-    }
-}
-export default KibiPlaywrightReporter;