kibi-cli 2.36.0 → 2.39.0

package/dist/cli-json-command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-json-command.d.ts","sourceRoot":"","sources":["../src/cli-json-command.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAazC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAGlE,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAIpE;AAGD;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAW7E;AAGD,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;KACpC,EAAE,CAAC;CACL,CAAC;AAkDF,wBAAsB,iBAAiB,CACrC,UAAU,EAAE,cAAc,GACzB,OAAO,CAAC,IAAI,CAAC,CA+Gf"}
+{"version":3,"file":"cli-json-command.d.ts","sourceRoot":"","sources":["../src/cli-json-command.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAazC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAIlE,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAIpE;AAGD;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAW7E;AAGD,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;KACpC,EAAE,CAAC;CACL,CAAC;AAmDF,wBAAsB,iBAAiB,CACrC,UAAU,EAAE,cAAc,GACzB,OAAO,CAAC,IAAI,CAAC,CAgHf"}

package/dist/cli-json-command.js

@@ -6,6 +6,7 @@ import { executeOperation as executeProtocolOperation, openFailureResult, } from
 import { prepareOperationInput } from "./cli-validate.js";
 import { appendCliDiagnosticUsage, diagnosticEnvOptIn, } from "./public/diagnostic-usage.js";
 import { createCliRuntime } from "./runtime/cli-runtime.js";
+import { noteCliErrorCategory, noteCliResultError } from "./usage-telemetry.js";
 export function writeOptionalStderr(stderr) {
     if (stderr !== undefined) {
         process.stderr.write(stderr);
@@ -31,6 +32,7 @@ export async function withConsoleOnStderr(fn) {
     }
 }
 function writeInputError(error) {
+    noteCliErrorCategory(error.code);
     process.stderr.write(`Error [${error.code}]: ${error.detail}\n`);
     process.exitCode = error.exitCode;
 }
@@ -173,5 +175,7 @@ export async function runJsonInvocation(invocation) {
         await writeAndWaitForDrain(process.stdout, result.stdout);
     }
     writeOptionalStderr(result.stderr);
+    if (result.exitCode !== 0)
+        noteCliResultError(result.stdout);
     process.exitCode = result.exitCode;
 }

package/dist/cli-operation-metadata.d.ts

@@ -27,7 +27,7 @@ export declare const CLI_OPERATION_METADATA: readonly [{
 }, {
     readonly name: "kb_search";
     readonly cliName: "search";
-    readonly description: "Ask the KB a question or search it. Default intent-v1 ranking accepts questions, host-agent semantic facets and changed-code source locations, returns evidence, abstains below its confidence threshold and adds an answer layer: the current requirements that govern the topic, what must stay true (linked facts), why (ADRs) and what verifies it (scenarios, tests). Use before changing behavior, then kb_query for exact follow-up. No mutation side effects.";
+    readonly description: "Ask the KB a question or search it. Default intent-v1 ranking accepts questions, host-agent semantic facets and changed-code source locations, returns evidence, abstains below its confidence threshold and adds an answer layer: the current requirements that govern the topic, what must stay true (linked facts), why (ADRs) and what verifies it (scenarios, tests). A weak answer may add queryAnalysis.hints from a search-hints plugin: requirements the question may mean, to re-ask with. Use before changing behavior, then kb_query for exact follow-up. No mutation side effects.";
 }, {
     readonly name: "kb_status";
     readonly cliName: "status";

package/dist/cli-operation-metadata.js

@@ -30,7 +30,7 @@ export const CLI_OPERATION_METADATA = [
     {
         name: "kb_search",
         cliName: "search",
-        description: "Ask the KB a question or search it. Default intent-v1 ranking accepts questions, host-agent semantic facets and changed-code source locations, returns evidence, abstains below its confidence threshold and adds an answer layer: the current requirements that govern the topic, what must stay true (linked facts), why (ADRs) and what verifies it (scenarios, tests). Use before changing behavior, then kb_query for exact follow-up. No mutation side effects.",
+        description: "Ask the KB a question or search it. Default intent-v1 ranking accepts questions, host-agent semantic facets and changed-code source locations, returns evidence, abstains below its confidence threshold and adds an answer layer: the current requirements that govern the topic, what must stay true (linked facts), why (ADRs) and what verifies it (scenarios, tests). A weak answer may add queryAnalysis.hints from a search-hints plugin: requirements the question may mean, to re-ask with. Use before changing behavior, then kb_query for exact follow-up. No mutation side effects.",
     },
     {
         name: "kb_status",

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

@@ -1 +1 @@
-{"version":3,"file":"cli-register-foundation.d.ts","sourceRoot":"","sources":["../src/cli-register-foundation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAezC,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA6JjE"}
+{"version":3,"file":"cli-register-foundation.d.ts","sourceRoot":"","sources":["../src/cli-register-foundation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAezC,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAiKjE"}

package/dist/cli-register-foundation.js

@@ -12,7 +12,8 @@ export function registerFoundationCommands(program) {
         .option("--no-hooks", "Do not install git hooks (hooks installed by default)")
         .option("--github", "Scaffold the GitHub Pages badge + requirement-health report workflow")
         .option("--badge-only", "With --github, publish only the badge (opt out of the full report)")
-        .option("--print-hook <hook>", "Print a snippet that delegates an existing hook (pre-commit, post-checkout, post-merge, post-rewrite) to kibi, and write nothing")
+        .option("--print-hook <hook>", "Print a snippet that delegates an existing hook (pre-commit, post-checkout, post-merge, post-rewrite, or all) to kibi, and write nothing")
+        .option("--format <format>", "With --print-hook: shell (default), lefthook, husky or pre-commit")
         .action(withExitCode(async (options) => (await import("./commands/init.js")).initCommand(options)));
     program
         .command("migrate")

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

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

package/dist/cli-register-maintenance.js

@@ -68,6 +68,11 @@ export function registerMaintenanceCommands(program) {
         .option("--format <format>", "Output format: json|table", "table")
         .option("--limit <n>", "Limit rendered table rows", "50")
         .action(withExitCode(async (options) => (await import("./commands/usage-remediation.js")).usageRemediationCommand(options)));
+    program
+        .command("telemetry [action]")
+        .description("Show, enable or disable anonymous usage telemetry (status|enable|disable)")
+        .option("--format <format>", "Output format: json|text", "text")
+        .action(withExitCode(async (action, options) => (await import("./commands/telemetry.js")).telemetryCommand(action, options)));
     program
         .command("merge-driver")
         .description("Git merge driver: three-way merge .kb/symbols.yaml or a relationship shard by record id")

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

@@ -1 +1 @@
-{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAuRhE"}
+{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA4RhE"}

package/dist/cli-register-reporting.js

@@ -75,6 +75,7 @@ export function registerReportingCommands(program) {
         .option("--migration-offset <n>", "Skip ready semantic-inventory migration batches", "0")
         .option("--migration-predicate-limit <n>", "Maximum ranked predicate schemas per proposition", "5")
         .option("--migration-predicate-min-score <score>", "Minimum predicate schema rank score", "0.35")
+        .option("--cases", "Print the edge cases derived from each requirement's typed claims, with their predicted outcome and covering scenarios", false)
         .option("--format <format>", "Output format: json|table", "table")
         .action(async (options, command) => {
         if (options.input !== undefined) {

package/dist/cli-validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-validate.d.ts","sourceRoot":"","sources":["../src/cli-validate.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGpE,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAGlE,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC;CAC1C,GACD;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAiBlE,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,GACb,mBAAmB,CAgCrB;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,GACb,gBAAgB,CAKlB"}
+{"version":3,"file":"cli-validate.d.ts","sourceRoot":"","sources":["../src/cli-validate.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGpE,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAGlE,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC;CAC1C,GACD;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAsClE,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,GACb,mBAAmB,CA6BrB;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,GACb,gBAAgB,CAKlB"}

package/dist/cli-validate.js

@@ -2,6 +2,26 @@ import Ajv from "ajv";
 function isObject(value) {
     return value !== null && typeof value === "object" && !Array.isArray(value);
 }
+// One validator per operation schema. Building an Ajv instance compiles the
+// JSON Schema meta-schema, and a CLI call validates its input more than once.
+const inputValidator = new Ajv({ allErrors: true, strict: false });
+const compiledInputSchemas = new WeakMap();
+function compileInputSchema(schema) {
+    let validator = compiledInputSchemas.get(schema);
+    if (validator === undefined) {
+        const exact = { ...schema, additionalProperties: false };
+        try {
+            validator = inputValidator.compile(exact);
+        }
+        catch {
+            // A schema whose $id the shared instance already holds for another
+            // schema object compiles on an instance of its own.
+            validator = new Ajv({ allErrors: true, strict: false }).compile(exact);
+        }
+        compiledInputSchemas.set(schema, validator);
+    }
+    return validator;
+}
 function formatValidationErrors(errors) {
     return errors.map((error) => {
         const location = error.instancePath.length > 0 ? error.instancePath : "/";
@@ -22,8 +42,7 @@ export function prepareOperationInput(input, schema) {
         };
     }
     const businessInput = Object.fromEntries(Object.entries(input).filter(([key]) => key !== "_diagnostic_telemetry"));
-    const schemaWithExactTopLevel = { ...schema, additionalProperties: false };
-    const validator = new Ajv({ allErrors: true, strict: false }).compile(schemaWithExactTopLevel);
+    const validator = compileInputSchema(schema);
     if (!validator(businessInput)) {
         return {
             valid: false,

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAUpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAMtD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUrD;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB,OAAO,CAIT;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAM7D;AAGD,wBAAgB,YAAY,IAAI,OAAO,CAiBtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAqB3C;AAED,wBAAsB,kBAAkB,CACtC,YAAY,UAAoD,EAChE,KAAK,cAAO,GACX,OAAO,CAAC,IAAI,CAAC,CAGf"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAWpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAMtD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUrD;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB,OAAO,CAIT;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAM7D;AAGD,wBAAgB,YAAY,IAAI,OAAO,CAiBtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAqC3C;AAED,wBAAsB,kBAAkB,CACtC,YAAY,UAAoD,EAChE,KAAK,cAAO,GACX,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/cli.js

@@ -28,6 +28,7 @@ import { registerProofCommand } from "./cli-register-proof.js";
 import { registerReportingCommands } from "./cli-register-reporting.js";
 import { registerSkillsCommands } from "./cli-register-skills.js";
 import { bootstrapKibiEnvironment } from "./env/bootstrap.js";
+import { finishCliTelemetry, trackCommandPath } from "./usage-telemetry.js";
 import { resolveWorkspaceCwd } from "./workspace-cwd.js";
 const packageJson = JSON.parse(readFileSync(new URL("../package.json", import.meta.url), "utf8"));
 export function packageVersion(value) {
@@ -70,14 +71,31 @@ export async function main() {
     if (workspace.cwd !== process.cwd())
         process.chdir(workspace.cwd);
     bootstrapKibiEnvironment();
+    const startedAt = new Date();
+    const program = buildProgram();
+    const commandPath = trackCommandPath(program);
     let exitCode = process.exitCode ?? 0;
+    let failure;
     try {
-        await buildProgram().parseAsync(workspace.argv);
+        await program.parseAsync(workspace.argv);
         exitCode = process.exitCode ?? 0;
     }
     catch (error) {
+        failure = error;
         exitCode = exitCodeFromCliFailure(error);
     }
+    try {
+        await finishCliTelemetry({
+            commandPath: commandPath(),
+            packageVersion: packageVersion(packageJson),
+            startedAt,
+            exitCode: Number(exitCode),
+            error: failure,
+        });
+    }
+    catch {
+        // Telemetry is best effort and never changes the exit code.
+    }
     await Promise.all([process.stdout, process.stderr].map((stream) => stream.writableNeedDrain ? once(stream, "drain") : Promise.resolve()));
     process.exit(exitCode);
 }

package/dist/commands/aggregated-checks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAiB5C;;;;;GAKG;AAEH,wBAAgB,4BAA4B,CAC1C,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,CAYR;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,EACpC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,GACjC,OAAO,CAAC,SAAS,EAAE,CAAC,CA8DtB"}
+{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAiB5C;;;;;GAKG;AAEH,wBAAgB,4BAA4B,CAC1C,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,CAYR;AAsED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,EACpC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,GACjC,OAAO,CAAC,SAAS,EAAE,CAAC,CAyEtB"}

package/dist/commands/aggregated-checks.js

@@ -1,3 +1,5 @@
+import { mkdtempSync, readFileSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
 import path from "node:path";
 import { resolveKbPlPath } from "../prolog.js";
 import { escapeAtom, toPrologAtom } from "../prolog/codec.js";
@@ -25,6 +27,68 @@ export function ontologyQualityOverridesGoal(env = process.env) {
     ;   true
     )`;
 }
+/**
+ * A private file the engine writes the violations JSON to. A large KB's
+ * report can exceed the engine's bounded output capacity, so the answer
+ * carries only a transport marker and the JSON travels through this file.
+ * A temp folder that cannot be written gives no file, and the engine answers
+ * the JSON instead.
+ */
+// implements REQ-003
+function checkResultFile() {
+    let dir;
+    try {
+        dir = mkdtempSync(path.join(tmpdir(), "kibi-check-"));
+    }
+    catch {
+        return { path: undefined, dispose: () => { } };
+    }
+    return {
+        path: path.join(dir, "violations.json"),
+        // rationale: the directory always exists when disposed, so `force` (which
+        // only ignores a missing path) never changes the outcome.
+        // Stryker disable next-line BooleanLiteral
+        dispose: () => rmSync(dir, { recursive: true, force: true }),
+    };
+}
+/**
+ * The aggregated checks goal. With a result file it prefers the transport
+ * predicate, which falls back to an answer when the engine cannot write the
+ * file, then the older file predicates; without one (or with an engine whose
+ * core predates both) it asks for the JSON as an answer.
+ */
+function aggregatedChecksQuery(checksPlPath, rulesAllowlist, resultPath) {
+    const target = resultPath === undefined ? "none" : toPrologAtom(resultPath);
+    const rules = rulesAllowlist
+        ? `[${[...rulesAllowlist].map(toPrologAtom).join(",")}]`
+        : undefined;
+    const transport = rules
+        ? `predicate_property(checks:check_selected_json_transport(_, _, _, _), _)
+    ->  call(checks:check_selected_json_transport(${rules}, ${target}, Transport, JsonString))`
+        : `predicate_property(checks:check_all_json_transport(_, _, _, _), _)
+    ->  call(checks:check_all_json_transport(${target}, false, Transport, JsonString))`;
+    const fileOnly = resultPath === undefined
+        ? ""
+        : rules
+            ? `predicate_property(checks:check_selected_json_file(_, _), _)
+    ->  call(checks:check_selected_json_file(${rules}, ${target})), Transport = file
+    ;   `
+            : `predicate_property(checks:check_all_json_file(_, _), _)
+    ->  call(checks:check_all_json_file(${target}, false)), Transport = file
+    ;   `;
+    const allAnswer = `predicate_property(checks:check_all_json_with_options(_, _), _)
+    ->  call(checks:check_all_json_with_options(JsonString, false)), Transport = answer
+    ;   call(checks:check_all_json(JsonString)), Transport = answer`;
+    const answer = rules
+        ? `predicate_property(checks:check_selected_json(_, _), _)
+    ->  call(checks:check_selected_json(${rules}, JsonString)), Transport = answer
+    ;   ${allAnswer}`
+        : allAnswer;
+    const goal = `(   ${transport}
+    ;   ${fileOnly}${answer}
+    )`;
+    return `(use_module('${escapeAtom(checksPlPath)}'), ${ontologyQualityOverridesGoal()}, ${goal})`;
+}
 /**
  * Run all checks using the aggregated Prolog predicates.
  * This makes a single Prolog call and parses JSON output, significantly
@@ -36,27 +100,36 @@ export async function runAggregatedChecks(prolog, rulesAllowlist) {
     // implements REQ-003
     const violations = [];
     const checksPlPath = path.join(path.dirname(resolveKbPlPath()), "checks.pl");
-    const checksPlPathEscaped = escapeAtom(checksPlPath);
-    const fallbackQuery = `(   predicate_property(checks:check_all_json_with_options(_, _), _)
-    ->  call(checks:check_all_json_with_options(JsonString, false))
-    ;   call(checks:check_all_json(JsonString))
-    )`;
-    const checksQuery = rulesAllowlist
-        ? `(   predicate_property(checks:check_selected_json(_, _), _)
-      ->  call(checks:check_selected_json([${[...rulesAllowlist]
-            .map(toPrologAtom)
-            .join(",")}], JsonString))
-      ;   ${fallbackQuery}
-      )`
-        : fallbackQuery;
-    const query = `(use_module('${checksPlPathEscaped}'), ${ontologyQualityOverridesGoal()}, ${checksQuery})`;
-    const result = await prolog.query(query);
+    const resultFile = checkResultFile();
+    let result;
+    let jsonString;
+    try {
+        result = await prolog.query(aggregatedChecksQuery(checksPlPath, rulesAllowlist, resultFile.path));
+        // rationale: the engine answers Transport "file" only after a successful
+        // query that was given a path, so neither guard changes which answers
+        // are read; they only narrow the path for the read.
+        // Stryker disable next-line ConditionalExpression,LogicalOperator
+        const mayRead = result.success && resultFile.path !== undefined;
+        if (mayRead && result.bindings.Transport === "file") {
+            try {
+                jsonString = readFileSync(resultFile.path, "utf8");
+            }
+            catch {
+                // The engine wrote a file this process cannot read (an engine with
+                // another view of the temp folder): ask for the JSON as an answer.
+                result = await prolog.query(aggregatedChecksQuery(checksPlPath, rulesAllowlist, undefined));
+            }
+        }
+    }
+    finally {
+        resultFile.dispose();
+    }
     if (!result.success) {
         throw new Error(`Aggregated checks query failed: ${result.error || "Unknown error"}`);
     }
     let violationsDict;
     try {
-        const jsonString = result.bindings.JsonString;
+        jsonString ??= result.bindings.JsonString;
         if (!jsonString) {
             throw new Error("No JSON string in binding");
         }

package/dist/commands/coverage.d.ts

@@ -12,6 +12,7 @@ interface CoverageOptions {
     migrationPredicateLimit?: string;
     migrationPredicateMinScore?: string;
     format?: "json" | "table";
+    cases?: boolean;
 }
 export declare function coverageCommand(options: CoverageOptions): Promise<void>;
 export {};

package/dist/commands/coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAMA,UAAU,eAAe;IACvB,EAAE,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAmC7E"}
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAMA,UAAU,eAAe;IACvB,EAAE,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAGD,wBAAsB,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAuC7E"}

package/dist/commands/coverage.js

@@ -26,5 +26,45 @@ export async function coverageCommand(options) {
         migrationPredicateLimit: Number.parseInt(options.migrationPredicateLimit || "5", 10),
         migrationPredicateMinScore: Number.parseFloat(options.migrationPredicateMinScore || "0.35"),
     });
+    if (options.cases === true) {
+        printCaseTable(options.format, result.structuredContent);
+        return;
+    }
     printDiscoveryResult(options.format, result.structuredContent, result.content[0]?.text ?? "Coverage summary unavailable.");
 }
+// implements REQ-kibi-case-coverage
+// The edge cases of each returned requirement: one line per case with its
+// predicted outcome and coverage, and the assumption an uncovered rejection
+// case needs.  JSON keeps the requirement id with its cases stage.
+function printCaseTable(format, structured) {
+    const rows = Array.isArray(structured?.rows)
+        ? structured.rows
+        : [];
+    const withCases = rows.flatMap((row) => {
+        const stages = row.proofStages;
+        const stage = stages?.cases;
+        return stage?.cases?.length ? [{ id: String(row.id), stage }] : [];
+    });
+    if (format === "json") {
+        console.log(JSON.stringify({ rows: withCases.map(({ id, stage }) => ({ id, cases: stage })) }, null, 2));
+        return;
+    }
+    if (withCases.length === 0) {
+        console.log("No requirement in this page has derived edge cases.");
+        return;
+    }
+    const lines = [];
+    for (const { id, stage } of withCases) {
+        const summary = stage.summary ?? {};
+        lines.push(`${id}: ${stage.status} (${summary.covered ?? 0} covered, ${summary.uncovered ?? 0} uncovered, ${summary.unspecified ?? 0} unspecified, ${summary.waived ?? 0} waived)`);
+        for (const row of stage.cases ?? []) {
+            const where = row.coverage === "covered"
+                ? ` by ${(row.scenarios ?? []).join(", ")}`
+                : "";
+            lines.push(`  ${row.caseId} ${row.factId} ${row.constraint} -> ${row.predicted}: ${row.coverage}${where}`);
+            if (row.coverage === "uncovered" && row.predicted === "rejection")
+                lines.push(`    assumes ${JSON.stringify(row.assumption ?? {})}`);
+        }
+    }
+    console.log(lines.join("\n"));
+}

package/dist/commands/doctor.d.ts

@@ -1,6 +1,11 @@
 export interface DoctorOptions {
     format?: "json" | "table";
 }
+/** `doctor:capability_plugins+git_hooks` for the checks that failed. */
+export declare function doctorFailureCategory(results: readonly {
+    name: string;
+    passed: boolean;
+}[]): string | undefined;
 export declare function doctorCommand(options?: DoctorOptions): Promise<{
     exitCode: number;
 }>;

package/dist/commands/doctor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"doctor.d.ts","sourceRoot":"","sources":["../../src/commands/doctor.ts"],"names":[],"mappings":"AAyGA,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,aAAa,CACjC,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAuH/B;AAED,wBAAsB,4BAA4B,CAChD,IAAI,GAAE,MAAM,OAAO,CAAC;IAAE,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAAE,CACT,GACxC,OAAO,CAAC,OAAO,CAAC,CAOlB;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;;;;;;;;;;;;;;;;MAkE3C;AAkGD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGzE;AAED,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,SAAS,CAepB"}
+{"version":3,"file":"doctor.d.ts","sourceRoot":"","sources":["../../src/commands/doctor.ts"],"names":[],"mappings":"AAiHA,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wEAAwE;AACxE,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,GACpD,MAAM,GAAG,SAAS,CAUpB;AAGD,wBAAsB,aAAa,CACjC,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAyH/B;AAED,wBAAsB,4BAA4B,CAChD,IAAI,GAAE,MAAM,OAAO,CAAC;IAAE,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAAE,CACT,GACxC,OAAO,CAAC,OAAO,CAAC,CAOlB;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;;;;;;;;;;;;;;;;MAkE3C;AAkGD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGzE;AAED,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,SAAS,CAepB"}

package/dist/commands/doctor.js

@@ -25,6 +25,7 @@ import { kibiPackageVersions } from "../package-versions.js";
 import { describeConfiguredCapabilityPlugins, readProjectKibiConfig, } from "../plugins/project-config.js";
 import { SwiplResolutionError, inspectSwiplBundle, probeRequiredLibraries, resolveSwipl, } from "../prolog/swipl-resolver.js";
 import { buildMigrationPlan, migrationAction, } from "../public/operations/migration-plan.js";
+import { noteCliErrorCategory } from "../usage-telemetry.js";
 import { resolveBranchAttachment, resolveReadBranchAttachment, } from "../utils/branch-resolver.js";
 import { branchStoreCompilation, inspectBranchStore, storeLockTakeoverReason, uncompiledBranchStoreReason, } from "../utils/branch-store.js";
 import { LEGACY_KB_MIGRATION_COMMAND, LEGACY_KB_MIGRATION_NOTE, } from "../utils/config.js";
@@ -32,6 +33,7 @@ import { resolveGitRepository, } from "../utils/git-repository-context.js";
 import { readKbManifestStatus } from "../utils/kb-manifest.js";
 import { manifestMergeDriverGaps, mergeDriverSetup, } from "../utils/merge-driver-setup.js";
 import { LATEST_KB_SCHEMA_VERSION } from "../utils/schema-version.js";
+import { detectHookManager, hookManagerCommands, missingKibiHookCommands, } from "./hook-managers.js";
 import { KIBI_HOOK_BEGIN, hasManagedHooks, outdatedManagedHooks, } from "./init-helpers.js";
 import { planLegacyStorageMigration } from "./legacy-storage-migration.js";
 /**
@@ -45,6 +47,17 @@ const FIRST_PARTY_PLUGIN_SECRETS = {
 /** Static Jev defaults — must stay aligned with kibi-plugin-jev (no import). */
 const JEV_DEFAULT_MODEL = "jev-latest";
 const JEV_MAX_TIMEOUT_MS = 120_000;
+// implements REQ-kibi-anonymous-usage-telemetry
+/** `doctor:capability_plugins+git_hooks` for the checks that failed. */
+export function doctorFailureCategory(results) {
+    const failed = results
+        .filter((result) => !result.passed)
+        .map((result) => result.name
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "_")
+        .replace(/^_|_$/g, ""));
+    return failed.length === 0 ? undefined : `doctor:${failed.join("+")}`;
+}
 // implements REQ-003
 export async function doctorCommand(options = {}) {
     // The repository context is per-diagnostic-run state: clearing here keeps
@@ -110,6 +123,8 @@ export async function doctorCommand(options = {}) {
         results.push({ name, ...(await check()) });
     }
     const allPassed = results.every((result) => result.passed);
+    // Usage telemetry names the failing checks by their fixed names.
+    noteCliErrorCategory(doctorFailureCategory(results));
     const warnings = results.filter((result) => result.passed && result.warning === true).length;
     const runtime = await runtimeProvenance();
     const packageActions = await packageMigrationActions(runtime);
@@ -837,6 +852,47 @@ function hooksPathSuffix() {
         : "";
     return ` (core.hooksPath=${context.hooksPathConfig}${origin})`;
 }
+/**
+ * The hook manager (lefthook, husky, pre-commit) that owns this repository's
+ * hooks. Its hook files are generated runners, so the commands they run are
+ * read from the manager's configuration instead of the files Git executes.
+ */
+// implements REQ-git-hook-manager-integration
+function doctorHookManager() {
+    const context = doctorRepositoryContext();
+    if (!context)
+        return null;
+    return detectHookManager(context.worktreeRoot, context.effectiveHooksDir, context.hooksPathConfig);
+}
+// implements REQ-git-hook-manager-integration
+function checkHookManagerDelegation(manager, hooks, consequence) {
+    const worktreeRoot = doctorRepositoryContext()?.worktreeRoot ?? process.cwd();
+    const owner = `Managed by ${manager.name} (${manager.configPath})`;
+    const coverage = hooks.map((hook) => ({
+        hook,
+        missing: missingKibiHookCommands(hook, hookManagerCommands(manager.name, worktreeRoot, hook) ?? []),
+    }));
+    const gaps = coverage.filter((entry) => entry.missing.length > 0);
+    if (gaps.length === 0) {
+        const runs = coverage
+            .map(({ hook }) => `${hook} runs ${missingKibiHookCommands(hook, [])
+            .map((label) => `'${label}'`)
+            .join(" and ")}`)
+            .join("; ");
+        return { passed: true, message: `${owner}; ${runs}` };
+    }
+    // The manager may reach Kibi through a task runner or script that is not
+    // part of its configuration, so an invisible command is a warning only.
+    const described = gaps
+        .map(({ hook, missing }) => `${hook} does not visibly run ${missing.map((label) => `'${label}'`).join(" and ")}`)
+        .join("; ");
+    return {
+        passed: true,
+        warning: true,
+        message: `${owner}; ${described}. Kibi reads only the ${manager.name} configuration, not the task runners or scripts it calls; unless they run these commands, ${consequence}`,
+        remediation: `Add Kibi's commands to ${manager.configPath}. Print them with: kibi init --print-hook ${gaps.length === 1 ? (gaps[0]?.hook ?? "all") : "all"} --format ${manager.name}`,
+    };
+}
 /**
  * Kibi-managed hook sections must match what this CLI installs. A section
  * written by an older CLI keeps running while silently lacking newer gates
@@ -870,6 +926,10 @@ function checkManagedHookSections() {
     return { passed: true, message: "Current for this Kibi CLI" };
 }
 function checkGitHooks() {
+    const manager = doctorHookManager();
+    if (manager) {
+        return checkHookManagerDelegation(manager, ["post-checkout", "post-merge"], "a new branch is not compiled on checkout or after a merge");
+    }
     const postCheckoutPath = path.join(effectiveHooksDir(), "post-checkout");
     const postMergePath = path.join(effectiveHooksDir(), "post-merge");
     const preCommitPath = path.join(effectiveHooksDir(), "pre-commit");
@@ -919,42 +979,9 @@ function checkGitHooks() {
         remediation: "Run: kibi init",
     };
 }
-/**
- * Individual shell commands of a hook script, ignoring comments. Lines are
- * split on command separators so `a && b` counts as two commands.
- */
-// implements REQ-git-hook-effective-install
-function hookCommands(content) {
-    return content
-        .split("\n")
-        .filter((line) => !line.trimStart().startsWith("#"))
-        .flatMap((line) => line.split(/&&|\|\||;|\|/))
-        .map((command) => command.trim())
-        .filter((command) => command.length > 0);
-}
-// Matches `kibi <sub>`, `npx kibi <sub>`, `node_modules/.bin/kibi <sub>` and
-// the template's `"$KIBI_BIN" <sub>`.
-// implements REQ-git-hook-effective-install
-function invokesKibi(command, subcommand) {
-    return new RegExp(`(?:\\bkibi|\\bKIBI_BIN)["'}]*\\s+${subcommand}(?=\\s|$)`).test(command);
-}
-/** The pre-commit gate the managed template runs, as a custom hook must. */
-const PRE_COMMIT_DELEGATIONS = [
-    {
-        label: "kibi check-generated --staged --changed-only",
-        matches: (command) => invokesKibi(command, "check-generated") &&
-            /\s--staged(?=\s|$)/.test(command) &&
-            /\s--changed-only(?=\s|$)/.test(command),
-    },
-    {
-        label: "kibi check --staged",
-        matches: (command) => invokesKibi(command, "check") && /\s--staged(?=\s|$)/.test(command),
-    },
-];
 // implements REQ-git-hook-effective-install
 function checkCustomPreCommitHook(content, executable) {
-    const commands = hookCommands(content);
-    const missing = PRE_COMMIT_DELEGATIONS.filter((delegation) => !commands.some(delegation.matches)).map((delegation) => `'${delegation.label}'`);
+    const missing = missingKibiHookCommands("pre-commit", [content]).map((label) => `'${label}'`);
     if (missing.length > 0) {
         // An unmarked file that still carries the old template header is a Kibi
         // hook from before managed sections; removing it lets init reinstall it.
@@ -980,6 +1007,10 @@ function checkCustomPreCommitHook(content, executable) {
     };
 }
 function checkPreCommitHook() {
+    const manager = doctorHookManager();
+    if (manager) {
+        return checkHookManagerDelegation(manager, ["pre-commit"], "commits skip Kibi enforcement");
+    }
     const postCheckoutPath = path.join(effectiveHooksDir(), "post-checkout");
     const postMergePath = path.join(effectiveHooksDir(), "post-merge");
     const preCommitPath = path.join(effectiveHooksDir(), "pre-commit");
@@ -1063,6 +1094,10 @@ function checkPreCommitHook() {
     }
 }
 function checkPostRewriteHook() {
+    const manager = doctorHookManager();
+    if (manager) {
+        return checkHookManagerDelegation(manager, ["post-rewrite"], "a rebased branch keeps a stale KB until the next 'kibi sync'");
+    }
     const postCheckoutPath = path.join(effectiveHooksDir(), "post-checkout");
     const postMergePath = path.join(effectiveHooksDir(), "post-merge");
     const postRewritePath = path.join(effectiveHooksDir(), "post-rewrite");
@@ -1091,7 +1126,7 @@ function checkPostRewriteHook() {
         // A custom hook (no kibi-managed section) is never edited by init.
         // implements REQ-git-hook-effective-install
         if (!content.includes(KIBI_HOOK_BEGIN)) {
-            if (!hookCommands(content).some((cmd) => invokesKibi(cmd, "sync"))) {
+            if (missingKibiHookCommands("post-rewrite", [content]).length > 0) {
                 return {
                     passed: false,
                     message: `Custom post-rewrite hook (no kibi-managed section) does not run 'kibi sync'${hooksPathSuffix()}`,

package/dist/commands/github-init.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"github-init.d.ts","sourceRoot":"","sources":["../../src/commands/github-init.ts"],"names":[],"mappings":"AAgCA,eAAO,MAAM,8BAA8B,sCACN,CAAC;AACtC,eAAO,MAAM,6BAA6B,qCAAqC,CAAC;AAChF,eAAO,MAAM,sBAAsB,gBAAgB,CAAC;AACpD,eAAO,MAAM,cAAc,4BAA4B,CAAC;AACxD,eAAO,MAAM,oBAAoB,qFACmD,CAAC;AACrF,eAAO,MAAM,iBAAiB,UAAU,CAAC;AACzC,eAAO,MAAM,gBAAgB,eAAe,CAAC;AAM7C,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAEH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpD,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AACvE,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,WAAW,GACX,SAAS,GACT,sBAAsB,CAAC;AAC3B,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,WAAW,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,WAAW,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;IAC3C,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,SAAS,EAAE,oBAAoB,CAAC;IAChC,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;CAC9B,CAAC,CAAC;AAGH,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,kBAAkB,GACvB,MAAM,CAER;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAS3E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CA+BrE;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,CAUjE;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,MAAM,CAER;AAED,wBAAgB,oBAAoB,IAAI,eAAe,CAKtD;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAMnE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAErD;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAchE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,GACpB,MAAM,CAuBR;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,CAiBvD;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,UAAU,GAAG,SAAS,CASxB;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,MAAM,GACf,mBAAmB,CAcrB;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAa3E;AAGD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,qBAAqB,EAC9B,IAAI,GAAE,cAAmB,GACxB,oBAAoB,CAsDtB;AAsDD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,MAAM,GACZ,MAAM,CAMR"}
+{"version":3,"file":"github-init.d.ts","sourceRoot":"","sources":["../../src/commands/github-init.ts"],"names":[],"mappings":"AAgCA,eAAO,MAAM,8BAA8B,sCACN,CAAC;AACtC,eAAO,MAAM,6BAA6B,qCAAqC,CAAC;AAChF,eAAO,MAAM,sBAAsB,gBAAgB,CAAC;AACpD,eAAO,MAAM,cAAc,4BAA4B,CAAC;AACxD,eAAO,MAAM,oBAAoB,qFACmD,CAAC;AACrF,eAAO,MAAM,iBAAiB,UAAU,CAAC;AACzC,eAAO,MAAM,gBAAgB,eAAe,CAAC;AAM7C,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAEH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpD,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AACvE,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,WAAW,GACX,SAAS,GACT,sBAAsB,CAAC;AAC3B,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,WAAW,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,WAAW,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;IAC3C,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,SAAS,EAAE,oBAAoB,CAAC;IAChC,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;CAC9B,CAAC,CAAC;AAGH,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,kBAAkB,GACvB,MAAM,CAER;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAS3E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CA+BrE;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,CAYjE;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,MAAM,CAER;AAED,wBAAgB,oBAAoB,IAAI,eAAe,CAKtD;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAMnE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAErD;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAchE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,GACpB,MAAM,CAuBR;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,CAiBvD;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,UAAU,GAAG,SAAS,CASxB;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,MAAM,GACf,mBAAmB,CAcrB;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAa3E;AAGD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,qBAAqB,EAC9B,IAAI,GAAE,cAAmB,GACxB,oBAAoB,CAsDtB;AAsDD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,MAAM,GACZ,MAAM,CAMR"}

package/dist/commands/github-init.js

@@ -74,9 +74,11 @@ export function parseGitHubRemote(url) {
     return undefined;
 }
 export function githubPagesUrls(repo) {
+    // The *.github.io host is case-insensitive, but the project-site path is
+    // case-sensitive, so the repository segment keeps its exact case.
     const owner = repo.owner.toLowerCase();
-    const name = repo.repo.toLowerCase();
-    const isUserSite = name === `${owner}.github.io`;
+    const name = repo.repo;
+    const isUserSite = name.toLowerCase() === `${owner}.github.io`;
     const origin = isUserSite
         ? `https://${owner}.github.io/`
         : `https://${owner}.github.io/${name}/`;