kibi-cli 0.19.0 → 2.0.0

package/dist/public/verification-receipt.js

@@ -1,129 +0,0 @@
-export const VERIFICATION_RECEIPT_VERSION = "kibi.verification-receipt.v1";
-export const VERIFICATION_RECEIPT_MAX_AGE_SECONDS = 7 * 24 * 60 * 60;
-export const VERIFICATION_RECEIPT_OUTCOMES = [
-    "passed",
-    "failed",
-    "errored",
-    "cancelled",
-    "skipped",
-];
-export const VERIFICATION_RECEIPT_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,
-};
-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 (typeof verificationScope === "string" &&
-            receipt.scope !== verificationScope) {
-            errors.push(`${prefix}.scope must equal the test verification_scope '${verificationScope}'`);
-        }
-        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;
-    }
-    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);
-}
-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/src/public/skills/init-kibi/SKILL.md

@@ -1,62 +0,0 @@
----
-id: init-kibi
-name: init-kibi
-description: Bootstrap and model knowledge safely using approved Kibi MCP initialization and mutation workflow.
-version: 1.0.0
-kibiCompatibility: "*"
-tags:
-  - kibi
-  - mcp
-  - bootstrap
-  - agent-guidance
----
-## Goal
-
-Set up or refresh Kibi knowledge for the current branch through approved Kibi interfaces only. Maintain source-file traceability for every repository-backed claim, and require explicit operator approval before any mutation.
-
-## Interface Selection
-
-1. If approved Kibi MCP tools are visible, use the MCP route.
-2. Otherwise, in a trusted workspace, use the canonical project-local CLI fallback: `npx --no-install kibi ...`.
-3. If neither approved MCP tools nor the project-local CLI are available, stop and tell the operator to enable or install Kibi for this workspace.
-4. Never use a global fallback, an installing runner, or any route outside the approved Kibi interface.
-
-Use `kibi-usage/resources/operation-access.md` for the exact operation-to-route mapping. The CLI preview route accepts the same JSON object as `kb_autopilot_generate`:
-
-```bash
-echo '{"maxCandidates":25,"minConfidence":0.8}' | npx --no-install kibi autopilot-generate --input -
-```
-
-## Capability Workflow
-
-- Generate a read-only bootstrap preview with `kb_autopilot_generate`, or the dedicated CLI route `autopilot-generate --input`.
-- Show the generated preview and obtain explicit approval before writes.
-- Apply reviewed entity creation or updates with `kb_upsert`, or `upsert --input`.
-- If cleanup is needed, use `kb_delete`, or `delete --input`, only after checking dependencies and obtaining approval for the specific removal.
-- Finish with `kb_check`, or `check --input`, to validate the branch snapshot.
-
-## Guidance
-
-- Keep mutation requests explicit, small, and sequential.
-- Prefer source-linked entities so future `kb_query` lookups can verify repository context against source files.
-- Preserve traceability by linking facts, claims, scenarios, and tests to concrete project files whenever repository evidence supports it.
-- Do not read or edit files inside `.kb` directly; all changes go through the selected Kibi interface.
-- Ask at most four bounded context questions, and only when repository evidence is insufficient.
-- Stop at the documented operator repair boundary if the setup appears partial, inconsistent, or unsupported by the approved interface.
-
-## Public Training Trajectories
-
-- `init-kibi-bootstrap-analysis-train-1`: Analyze the cold-start repository and produce a read-only bootstrap preview using only the public Kibi MCP surface.
-- `init-kibi-bootstrap-analysis-train-2`: Analyze the cold-start repository and produce a read-only bootstrap preview using only the public Kibi MCP surface.
-- `init-kibi-bounded-context-questions-train-1`: Ask only the bounded context questions needed before bootstrap synthesis using only the public Kibi MCP surface.
-- `init-kibi-bounded-context-questions-train-2`: Ask only the bounded context questions needed before bootstrap synthesis using only the public Kibi MCP surface.
-- `init-kibi-approval-sequential-writes-train-1`: Apply the approved bootstrap plan sequentially and finish with validation using only the public Kibi MCP surface.
-- `init-kibi-approval-sequential-writes-train-2`: Apply the approved bootstrap plan sequentially and finish with validation using only the public Kibi MCP surface.
-- `init-kibi-repair-escalation-train-1`: Identify the partial setup and stop at the documented operator repair boundary using only the public Kibi MCP surface.
-- `init-kibi-repair-escalation-train-2`: Identify the partial setup and stop at the documented operator repair boundary using only the public Kibi MCP surface.
-
-## Training Data
-
-```json
-[{"taskId":"init-kibi-bootstrap-analysis-train-1","family":"bootstrap-analysis","reflection":"Analyze the cold-start repository and produce a read-only bootstrap preview. This is train case 1; use only the public Kibi MCP surface."},{"taskId":"init-kibi-bootstrap-analysis-train-2","family":"bootstrap-analysis","reflection":"Analyze the cold-start repository and produce a read-only bootstrap preview. This is train case 2; use only the public Kibi MCP surface."},{"taskId":"init-kibi-bounded-context-questions-train-1","family":"bounded-context-questions","reflection":"Ask only the bounded context questions needed before bootstrap synthesis. This is train case 1; use only the public Kibi MCP surface."},{"taskId":"init-kibi-bounded-context-questions-train-2","family":"bounded-context-questions","reflection":"Ask only the bounded context questions needed before bootstrap synthesis. This is train case 2; use only the public Kibi MCP surface."},{"taskId":"init-kibi-approval-sequential-writes-train-1","family":"approval-sequential-writes","reflection":"Apply the approved bootstrap plan sequentially and finish with validation. This is train case 1; use only the public Kibi MCP surface."},{"taskId":"init-kibi-approval-sequential-writes-train-2","family":"approval-sequential-writes","reflection":"Apply the approved bootstrap plan sequentially and finish with validation. This is train case 2; use only the public Kibi MCP surface."},{"taskId":"init-kibi-repair-escalation-train-1","family":"repair-escalation","reflection":"Identify the partial setup and stop at the documented operator repair boundary. This is train case 1; use only the public Kibi MCP surface."},{"taskId":"init-kibi-repair-escalation-train-2","family":"repair-escalation","reflection":"Identify the partial setup and stop at the documented operator repair boundary. This is train case 2; use only the public Kibi MCP surface."}]
-```

package/src/public/verification-receipt.ts

@@ -1,170 +0,0 @@
-export const VERIFICATION_RECEIPT_VERSION =
-  "kibi.verification-receipt.v1" as const;
-
-export const VERIFICATION_RECEIPT_MAX_AGE_SECONDS = 7 * 24 * 60 * 60;
-
-export const VERIFICATION_RECEIPT_OUTCOMES = [
-  "passed",
-  "failed",
-  "errored",
-  "cancelled",
-  "skipped",
-] as const;
-
-export const VERIFICATION_RECEIPT_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,
-} as const;
-
-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;
-}>;
-
-function timestamp(value: unknown): number | null {
-  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: string,
-  verificationScope: unknown,
-  receipts: readonly Readonly<Record<string, unknown>>[],
-): readonly string[] {
-  const errors: string[] = [];
-  let previousFinishedAt: number | null = null;
-  if (receipts.length > 0 && typeof verificationScope !== "string") {
-    errors.push(
-      "verification_scope is required when verification_receipts are present",
-    );
-  }
-  const receiptIds = new Set<string>();
-  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 (
-      typeof verificationScope === "string" &&
-      receipt.scope !== verificationScope
-    ) {
-      errors.push(
-        `${prefix}.scope must equal the test verification_scope '${verificationScope}'`,
-      );
-    }
-    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;
-  }
-  return errors;
-}
-
-function canonicalJson(value: unknown): string {
-  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);
-}
-
-export function appendOnlyVerificationReceiptHistoryErrors(
-  previous: readonly Readonly<Record<string, unknown>>[],
-  next: readonly Readonly<Record<string, unknown>>[] | undefined,
-): readonly string[] {
-  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 [];
-}