kibi-cli 2.3.0 → 2.5.0

package/dist/operations/semantic-advisor/ingestion-boundary.js

@@ -132,11 +132,11 @@ export function validateSemanticInventoryBoundary(payload, relationships, receip
 export function assertSemanticInventoryBoundary(payload, relationships, receipt) {
     const result = validateSemanticInventoryBoundary(payload, relationships, receipt);
     if (result.errors.length > 0) {
-        throw new Error(`Proposition-complete ingestion failed: ${result.errors.join("; ")}. Run kb_semantic_advisor with the complete prose and preserve its inventory contract before retrying.`);
+        throw new Error(`Proposition-complete ingestion failed: ${result.errors.join("; ")}. Run kb_model mode analyze (CLI: semantic-advisor) with the complete prose and preserve its inventory contract before retrying.`);
     }
 }
 // implements REQ-kibi-proposition-complete-ingestion
-export async function assertLogicalGroundingClaimKeys(prolog, payload, relationships) {
+export async function assertLogicalGroundingClaimKeys(prolog, payload, relationships, staged) {
     if (stringValue(payload.type) !== "req")
         return;
     if (propertiesOf(payload).semantic_inventory_version !==
@@ -151,10 +151,18 @@ export async function assertLogicalGroundingClaimKeys(prolog, payload, relations
             !LOGICAL_RELATIONSHIPS.has(stringValue(relationship.type)))
             continue;
         const target = stringValue(relationship.to);
-        const result = await prolog.query(`once((kb_entity('${escapeAtom(target)}', fact, _SemanticGroundProps), memberchk(claim_key=_SemanticGroundRaw, _SemanticGroundProps), normalize_term_atom(_SemanticGroundRaw, ClaimKey)))`);
-        const claimKey = result.success
-            ? stringValue(result.bindings.ClaimKey).replace(/^['"]|['"]$/g, "")
-            : "";
+        // A grounding fact an earlier plan step writes is read from that write.
+        const planned = staged?.entities.get(target);
+        let claimKey = "";
+        if (planned !== undefined) {
+            claimKey = planned.type === "fact" ? stringValue(planned.claim_key) : "";
+        }
+        else {
+            const result = await prolog.query(`once((kb_entity('${escapeAtom(target)}', fact, _SemanticGroundProps), memberchk(claim_key=_SemanticGroundRaw, _SemanticGroundProps), normalize_term_atom(_SemanticGroundRaw, ClaimKey)))`);
+            claimKey = result.success
+                ? stringValue(result.bindings.ClaimKey).replace(/^['"]|['"]$/g, "")
+                : "";
+        }
         if (!claimKey) {
             throw new Error(`Proposition-complete ingestion failed: logical grounding target '${target}' must declare a claim_key.`);
         }

package/dist/operations/semantic-advisor/plugin-orchestration.js

@@ -140,7 +140,7 @@ export function applyOntologyMatchSuggestions(analysis, ontologyMatches, options
             confidence: match.confidence,
             evidence: match.evidence,
             rationale: match.rationale ??
-                `Ontology pack '${match.packId}' matched ${match.predicateName}; review via kb_suggest_predicates before mutation.`,
+                `Ontology pack '${match.packId}' matched ${match.predicateName}; review via kb_model (mode predicates) before mutation.`,
             suggested_next_tool: "kb_suggest_predicates",
             recommendedPredicateSchema: {
                 predicate_name: match.predicateName,

package/dist/prolog/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAYhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU5D;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAO9B;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAClC,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG,IAAI,CAEV;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACtC,QAAQ,EAAE,MAAM,GACf,OAAO,CAoCT;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBzB;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAsD3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA6D5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAG7E;AAuFD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAYD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAyCD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAYhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU5D;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAO9B;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAClC,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG,IAAI,CAEV;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACtC,QAAQ,EAAE,MAAM,GACf,OAAO,CAoCT;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBzB;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAuD3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA6D5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAG7E;AAuFD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAYD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAyCD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}

package/dist/prolog/codec.js

@@ -196,7 +196,8 @@ export function parsePropertyList(propsStr) {
             key === "semantic_inventory" ||
             key === "proof_receipts" ||
             key === "proof_contract" ||
-            key === "proof_bindings") &&
+            key === "proof_bindings" ||
+            key === "origin") &&
             typeof parsed === "string") {
             try {
                 parsed = JSON.parse(parsed);

package/dist/prolog.d.ts

@@ -67,6 +67,9 @@ export declare class PrologProcess {
      */
     private interactiveStarted;
     private terminationReason;
+    /** Wake hook of the in-flight interactive query, run when output arrives. */
+    private outputWaiter;
+    private outputWakeScheduled;
     constructor(options?: PrologOptions);
     attachProcessExitHandler(on?: (event: "exit", listener: () => void) => void): void;
     /**
@@ -100,6 +103,12 @@ export declare class PrologProcess {
     private clearQueryBuffers;
     private appendOutputChunk;
     private appendErrorChunk;
+    /**
+     * Notify the in-flight query that output arrived. Deferred to the event
+     * loop's check phase so every pipe that became readable in this turn
+     * (stderr diagnostics precede the stdout answer frame) is drained first.
+     */
+    private wakeOutputWaiter;
     private goalLabel;
     private addDiagnosticStage;
     private lastDiagnosticStage;

package/dist/prolog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA0BA,OAAO,EACL,KAAK,iBAAiB,EAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,4BAA4B,CAAC;AA2BpC,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,aAAa,CAAC,EAAE,MAAM,aAAa,CAAC;IACpC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,KAAK;IACrD,QAAQ,CAAC,IAAI,+BAA+B;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAO3B;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,iBAAiB,CAAC;CACjC;AAGD,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,OAAO,EAAE,MAAM,IAAI,EACnB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAIZ;AAGD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,SAAS,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACrC,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAQZ;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsB;IACpD,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,gBAAgB,CAA2B;IACnD,OAAO,CAAC,cAAc,CAAU;IAChC,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;IAClD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;IACxC;;;;OAIG;IACH,OAAO,CAAC,kBAAkB,CAAS;IACnC,OAAO,CAAC,iBAAiB,CAAuB;gBAEpC,OAAO,GAAE,aAAkB;IAiBvC,wBAAwB,CACtB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,IAAI;IAQP;;;OAGG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED;;;OAGG;IACH,YAAY,IAAI,OAAO;IAIvB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAOd,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAsEd,YAAY;IAgDpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IA+O1D,wEAAwE;IAClE,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAIhE,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAwBvB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAkOnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,iBAAiB;IAazB,OAAO,CAAC,gBAAgB;IAaxB,OAAO,CAAC,SAAS;IAOjB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,iBAAiB;YAkBX,oBAAoB;IAyBlC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,eAAe;IAmCvB,sEAAsE;IACtE,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,cAAc;IAoGtB,SAAS,IAAI,OAAO;IASpB,MAAM,IAAI,MAAM;IAIhB,OAAO,CAAC,gBAAgB;IASlB,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAqCjC"}
+{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA0BA,OAAO,EACL,KAAK,iBAAiB,EAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,4BAA4B,CAAC;AA2BpC,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,aAAa,CAAC,EAAE,MAAM,aAAa,CAAC;IACpC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,KAAK;IACrD,QAAQ,CAAC,IAAI,+BAA+B;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAO3B;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,iBAAiB,CAAC;CACjC;AAGD,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,OAAO,EAAE,MAAM,IAAI,EACnB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAIZ;AAGD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,SAAS,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACrC,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAQZ;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsB;IACpD,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,gBAAgB,CAA2B;IACnD,OAAO,CAAC,cAAc,CAAU;IAChC,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;IAClD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;IACxC;;;;OAIG;IACH,OAAO,CAAC,kBAAkB,CAAS;IACnC,OAAO,CAAC,iBAAiB,CAAuB;IAChD,6EAA6E;IAC7E,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,mBAAmB,CAAS;gBAExB,OAAO,GAAE,aAAkB;IAiBvC,wBAAwB,CACtB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,IAAI;IAQP;;;OAGG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED;;;OAGG;IACH,YAAY,IAAI,OAAO;IAIvB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAOd,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAsEd,YAAY;IAgDpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IA6Q1D,wEAAwE;IAClE,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAIhE,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAwBvB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAkOnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,iBAAiB;IAczB,OAAO,CAAC,gBAAgB;IAcxB;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IASxB,OAAO,CAAC,SAAS;IAOjB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,iBAAiB;YAkBX,oBAAoB;IAyBlC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,eAAe;IAmCvB,sEAAsE;IACtE,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,cAAc;IAoGtB,SAAS,IAAI,OAAO;IASpB,MAAM,IAAI,MAAM;IAIhB,OAAO,CAAC,gBAAgB;IASlB,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAqCjC"}

package/dist/prolog.js

@@ -136,6 +136,9 @@ export class PrologProcess {
      */
     interactiveStarted = false;
     terminationReason = null;
+    /** Wake hook of the in-flight interactive query, run when output arrives. */
+    outputWaiter = null;
+    outputWakeScheduled = false;
     constructor(options = {}) {
         this.explicitSwiplPath = options.swiplPath || undefined;
         this.swiplResolver = options.swiplResolver ?? (() => resolveSwipl());
@@ -343,6 +346,15 @@ export class PrologProcess {
             this.process?.stdin?.write(`${wrappedGoal}.\nwriteln('${INTERACTIVE_QUERY_FRAME_END}').\n`);
             return new Promise((resolve, reject) => {
                 let settled = false;
+                let pollTimer = null;
+                const settle = () => {
+                    settled = true;
+                    clearTimeout(timeoutId);
+                    if (pollTimer !== null)
+                        clearTimeout(pollTimer);
+                    if (this.outputWaiter === wake)
+                        this.outputWaiter = null;
+                };
                 const timeoutId = setTimeout(() => {
                     const stage = this.lastDiagnosticStage(this.errorBuffer) ?? "unknown";
                     const msg = `Query timeout after ${this.timeout / 1000}s (stage=${stage}, pid=${this.process?.pid ?? 0}, killed=${this.process?.killed ? "yes" : "no"}, exitCode=${this.process?.exitCode ?? "null"}, signal=${this.process?.signalCode ?? "null"}, goal=${goalLabel}). If several fresh Kibi commands hang or crawl the same way, the engine state is likely wedged: run 'kibi engine stop' (then 'kibi sync --rebuild' if needed) and retry.`;
@@ -353,7 +365,7 @@ export class PrologProcess {
                             .find((line) => line.includes("__KIBI_RUNTIME__"));
                         console.error(`[prolog debug] runtime=${runtime ?? "unknown"} packages=${process.env.KIBI_PACKAGE_VERSIONS ?? KIBI_PACKAGE_VERSIONS}`);
                     }
-                    settled = true;
+                    settle();
                     this.terminationReason = `query timeout: ${goalLabel}`;
                     void this.terminate().finally(() => {
                         reject(new Error(msg));
@@ -364,8 +376,7 @@ export class PrologProcess {
                         return;
                     }
                     if (this.outputOverflowed) {
-                        clearTimeout(timeoutId);
-                        settled = true;
+                        settle();
                         this.terminationReason = `output overflow (ENOBUFS): ${goalLabel}`;
                         void this.terminate().finally(() => {
                             resolve({
@@ -377,8 +388,7 @@ export class PrologProcess {
                         return;
                     }
                     if (!this.isProcessUsable()) {
-                        clearTimeout(timeoutId);
-                        settled = true;
+                        settle();
                         this.terminationReason ??= `process exited during query: ${goalLabel}`;
                         resolve({
                             success: false,
@@ -389,8 +399,7 @@ export class PrologProcess {
                     }
                     if (this.errorBuffer.length > 0 &&
                         this.errorBuffer.includes("ERROR")) {
-                        clearTimeout(timeoutId);
-                        settled = true;
+                        settle();
                         if (debug) {
                             console.error(`[prolog debug] query error: ${goalLabel} error=${this.errorBuffer.split("\n")[0]}`);
                         }
@@ -405,8 +414,7 @@ export class PrologProcess {
                     }
                     const frameEnd = this.outputBuffer.indexOf(INTERACTIVE_QUERY_FRAME_END);
                     if (frameEnd >= 0) {
-                        clearTimeout(timeoutId);
-                        settled = true;
+                        settle();
                         const framedOutput = this.outputBuffer.slice(0, frameEnd).trimEnd();
                         if (/(?:^|\n)(?:false|fail)\.\s*$/.test(framedOutput)) {
                             resolve({
@@ -438,8 +446,30 @@ export class PrologProcess {
                         resolve(result);
                         return;
                     }
-                    setTimeout(checkResult, 50);
+                    // The poll still owns every state an output wake does not decide:
+                    // a diagnostic without its answer frame, or a process that died.
+                    if (pollTimer === null) {
+                        pollTimer = setTimeout(() => {
+                            pollTimer = null;
+                            checkResult();
+                        }, 50);
+                    }
+                };
+                // Output wakes act only once the answer frame (or an overflow) has
+                // arrived. SWI writes a query's stderr report before its stdout
+                // frame, so the frame proves both buffers are complete; anything
+                // earlier is left to the poll, keeping classification unchanged
+                // while a finished query no longer waits out a 50 ms poll interval.
+                let frameScanFrom = 0;
+                const wake = () => {
+                    if (settled)
+                        return;
+                    const found = this.outputBuffer.indexOf(INTERACTIVE_QUERY_FRAME_END, frameScanFrom) >= 0;
+                    frameScanFrom = Math.max(0, this.outputBuffer.length - INTERACTIVE_QUERY_FRAME_END.length);
+                    if (found || this.outputOverflowed)
+                        checkResult();
                 };
+                this.outputWaiter = wake;
                 checkResult();
             });
         };
@@ -738,6 +768,7 @@ export class PrologProcess {
         }
         this.outputBuffer += chunk.toString();
         this.outputBufferBytes += chunk.byteLength;
+        this.wakeOutputWaiter();
     }
     appendErrorChunk(chunk) {
         if (this.outputOverflowed)
@@ -751,6 +782,21 @@ export class PrologProcess {
         }
         this.errorBuffer += chunk.toString();
         this.errorBufferBytes += chunk.byteLength;
+        this.wakeOutputWaiter();
+    }
+    /**
+     * Notify the in-flight query that output arrived. Deferred to the event
+     * loop's check phase so every pipe that became readable in this turn
+     * (stderr diagnostics precede the stdout answer frame) is drained first.
+     */
+    wakeOutputWaiter() {
+        if (this.outputWaiter === null || this.outputWakeScheduled)
+            return;
+        this.outputWakeScheduled = true;
+        setImmediate(() => {
+            this.outputWakeScheduled = false;
+            this.outputWaiter?.();
+        });
     }
     goalLabel(goal) {
         const match = goal

package/dist/proof/command-test-report.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Per-test attribution for `command` proof integrations.
+ *
+ * A command integration is one process that runs the steps of every selected
+ * test. Its exit code alone cannot say which test a failure belongs to, so a
+ * single unrelated failing step used to fail every receipt of the run. The
+ * command may instead write a kibi.proof-test-report.v1 file to the path in
+ * KIBI_PROOF_TEST_REPORT, naming each selected test's own step outcomes. Kibi
+ * then evaluates every test against the slice of the run its own steps
+ * produced. Attribution fails closed: a missing, malformed or incomplete
+ * report, or a failed process whose report blames no test, keeps the whole
+ * run failed exactly as before.
+ */
+export declare const PROOF_TEST_REPORT_VERSION: "kibi.proof-test-report.v1";
+/** Environment variable carrying the report path to a command integration. */
+export declare const PROOF_TEST_REPORT_ENV: "KIBI_PROOF_TEST_REPORT";
+export declare const PROOF_TEST_REPORT_OUTCOMES: readonly ["passed", "failed", "timed_out", "errored", "interrupted"];
+export type ProofTestReportOutcome = (typeof PROOF_TEST_REPORT_OUTCOMES)[number];
+export type ProofTestReportStep = Readonly<{
+    step_index: number;
+    command: readonly string[];
+    outcome: string;
+    exit_code: number | null;
+}>;
+export type ProofTestReportEntry = Readonly<{
+    test_id: string;
+    outcome: ProofTestReportOutcome;
+    steps: readonly ProofTestReportStep[];
+}>;
+/** One failing step, as the `kibi prove` run summary lists it. */
+export type FailedProofStep = Readonly<{
+    testId: string;
+    stepIndex: number;
+    command: readonly string[];
+    outcome: string;
+    exitCode: number | null;
+}>;
+/** Tests whose own steps ended with the same outcome, evaluated together. */
+export type ProofRunPartition = Readonly<{
+    outcome: ProofTestReportOutcome;
+    testIds: readonly string[];
+    exitCode: number;
+    failedSteps: readonly FailedProofStep[];
+}>;
+export type ProofRunAttribution = Readonly<{
+    attribution: "per_test";
+    partitions: readonly ProofRunPartition[];
+    failedSteps: readonly FailedProofStep[];
+}> | Readonly<{
+    attribution: "aggregate";
+    reason: string;
+    failedSteps: readonly FailedProofStep[];
+}>;
+/** The report path written next to an integration's run artifact. */
+export declare function proofTestReportPath(artifactPath: string): string;
+/**
+ * Validate a kibi.proof-test-report.v1 against the exact selection. Every
+ * selected test must appear once with at least one step, and a test may only
+ * be reported `passed` when every one of its steps passed.
+ */
+export declare function parseProofTestReport(value: unknown, selectedTestIds: readonly string[]): ReadonlyMap<string, ProofTestReportEntry>;
+/**
+ * Decide how a finished command run is attributed. `per_test` partitions the
+ * selected tests by their own outcome; `aggregate` keeps the historical
+ * whole-run semantics (and is always the answer for a passing process
+ * without a report, so a fully green run stays byte-identical).
+ */
+export declare function attributeCommandRun(input: {
+    readonly selectedTestIds: readonly string[];
+    readonly exitCode: number;
+    /** Parsed report JSON, or undefined when the command wrote none. */
+    readonly report: unknown;
+}): ProofRunAttribution;
+//# sourceMappingURL=command-test-report.d.ts.map

package/dist/proof/command-test-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-test-report.d.ts","sourceRoot":"","sources":["../../src/proof/command-test-report.ts"],"names":[],"mappings":"AAkBA;;;;;;;;;;;;GAYG;AAGH,eAAO,MAAM,yBAAyB,EAAG,2BAAoC,CAAC;AAE9E,8EAA8E;AAE9E,eAAO,MAAM,qBAAqB,EAAG,wBAAiC,CAAC;AAGvE,eAAO,MAAM,0BAA0B,sEAM7B,CAAC;AAGX,MAAM,MAAM,sBAAsB,GAChC,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC;AAG9C,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,sBAAsB,CAAC;IAChC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACvC,CAAC,CAAC;AAEH,kEAAkE;AAElE,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC,CAAC;AAEH,6EAA6E;AAE7E,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,OAAO,EAAE,sBAAsB,CAAC;IAChC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CACzC,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,CAAC;IACP,WAAW,EAAE,UAAU,CAAC;IACxB,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACzC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CACzC,CAAC,GACF,QAAQ,CAAC;IACP,WAAW,EAAE,WAAW,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CACzC,CAAC,CAAC;AAEP,qEAAqE;AAErE,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAIhE;AA+BD;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,EACd,eAAe,EAAE,SAAS,MAAM,EAAE,GACjC,WAAW,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAoD3C;AAqBD;;;;;GAKG;AAEH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE;IACzC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,GAAG,mBAAmB,CA+DtB"}

package/dist/proof/command-test-report.js

@@ -0,0 +1,206 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+/**
+ * Per-test attribution for `command` proof integrations.
+ *
+ * A command integration is one process that runs the steps of every selected
+ * test. Its exit code alone cannot say which test a failure belongs to, so a
+ * single unrelated failing step used to fail every receipt of the run. The
+ * command may instead write a kibi.proof-test-report.v1 file to the path in
+ * KIBI_PROOF_TEST_REPORT, naming each selected test's own step outcomes. Kibi
+ * then evaluates every test against the slice of the run its own steps
+ * produced. Attribution fails closed: a missing, malformed or incomplete
+ * report, or a failed process whose report blames no test, keeps the whole
+ * run failed exactly as before.
+ */
+// implements REQ-kibi-fresh-verification-receipts-v2
+export const PROOF_TEST_REPORT_VERSION = "kibi.proof-test-report.v1";
+/** Environment variable carrying the report path to a command integration. */
+// implements REQ-kibi-fresh-verification-receipts-v2
+export const PROOF_TEST_REPORT_ENV = "KIBI_PROOF_TEST_REPORT";
+// implements REQ-kibi-fresh-verification-receipts-v2
+export const PROOF_TEST_REPORT_OUTCOMES = [
+    "passed",
+    "failed",
+    "timed_out",
+    "errored",
+    "interrupted",
+];
+/** The report path written next to an integration's run artifact. */
+// implements REQ-kibi-fresh-verification-receipts-v2
+export function proofTestReportPath(artifactPath) {
+    return artifactPath.endsWith(".json")
+        ? `${artifactPath.slice(0, -".json".length)}.tests.json`
+        : `${artifactPath}.tests.json`;
+}
+function record(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : null;
+}
+function parseStep(value, label) {
+    const row = record(value);
+    if (!row)
+        throw new Error(`${label} must be an object`);
+    if (!Number.isSafeInteger(row.step_index) || Number(row.step_index) < 1)
+        throw new Error(`${label}.step_index must be a positive integer`);
+    if (!Array.isArray(row.command) ||
+        row.command.length === 0 ||
+        !row.command.every((part) => typeof part === "string"))
+        throw new Error(`${label}.command must be a non-empty string argv array`);
+    if (typeof row.outcome !== "string" || row.outcome.trim() === "")
+        throw new Error(`${label}.outcome must be a non-empty string`);
+    if (row.exit_code !== null && !Number.isSafeInteger(row.exit_code))
+        throw new Error(`${label}.exit_code must be an integer or null`);
+    return {
+        step_index: Number(row.step_index),
+        command: [...row.command],
+        outcome: row.outcome,
+        exit_code: row.exit_code === null ? null : Number(row.exit_code),
+    };
+}
+/**
+ * Validate a kibi.proof-test-report.v1 against the exact selection. Every
+ * selected test must appear once with at least one step, and a test may only
+ * be reported `passed` when every one of its steps passed.
+ */
+// implements REQ-kibi-fresh-verification-receipts-v2
+export function parseProofTestReport(value, selectedTestIds) {
+    const report = record(value);
+    if (!report)
+        throw new Error("report must be an object");
+    if (report.version !== PROOF_TEST_REPORT_VERSION)
+        throw new Error(`report version must be ${PROOF_TEST_REPORT_VERSION}`);
+    if (!Array.isArray(report.tests))
+        throw new Error("report tests must be an array");
+    const selected = new Set(selectedTestIds);
+    const entries = new Map();
+    report.tests.forEach((raw, index) => {
+        const label = `tests[${index}]`;
+        const row = record(raw);
+        if (!row)
+            throw new Error(`${label} must be an object`);
+        const testId = typeof row.test_id === "string" ? row.test_id.trim() : "";
+        if (!selected.has(testId))
+            throw new Error(`${label}.test_id '${testId}' was not selected`);
+        if (entries.has(testId))
+            throw new Error(`${label}.test_id '${testId}' is reported twice`);
+        if (!PROOF_TEST_REPORT_OUTCOMES.includes(String(row.outcome)))
+            throw new Error(`${label}.outcome must be one of ${PROOF_TEST_REPORT_OUTCOMES.join(", ")}`);
+        if (!Array.isArray(row.steps) || row.steps.length === 0)
+            throw new Error(`${label}.steps must be a non-empty array`);
+        const steps = row.steps.map((step, stepIndex) => parseStep(step, `${label}.steps[${stepIndex}]`));
+        const outcome = row.outcome;
+        if (outcome === "passed" &&
+            steps.some((step) => step.outcome !== "passed" || step.exit_code !== 0))
+            throw new Error(`${label} is reported passed but one of its steps did not pass`);
+        if (outcome !== "passed" &&
+            steps.every((step) => step.outcome === "passed"))
+            throw new Error(`${label} is reported ${outcome} but every one of its steps passed`);
+        entries.set(testId, { test_id: testId, outcome, steps });
+    });
+    const missing = selectedTestIds.filter((testId) => !entries.has(testId));
+    if (missing.length > 0)
+        throw new Error(`report omits selected test(s): ${missing.join(", ")}`);
+    return entries;
+}
+function failedStepsOf(entries) {
+    const failed = [];
+    for (const entry of entries) {
+        for (const step of entry.steps) {
+            if (step.outcome === "passed")
+                continue;
+            failed.push({
+                testId: entry.test_id,
+                stepIndex: step.step_index,
+                command: step.command,
+                outcome: step.outcome,
+                exitCode: step.exit_code,
+            });
+        }
+    }
+    return failed;
+}
+/**
+ * Decide how a finished command run is attributed. `per_test` partitions the
+ * selected tests by their own outcome; `aggregate` keeps the historical
+ * whole-run semantics (and is always the answer for a passing process
+ * without a report, so a fully green run stays byte-identical).
+ */
+// implements REQ-kibi-fresh-verification-receipts-v2
+export function attributeCommandRun(input) {
+    const { selectedTestIds, exitCode, report } = input;
+    if (report === undefined) {
+        return {
+            attribution: "aggregate",
+            reason: exitCode === 0
+                ? "the integration passed"
+                : `the integration exited ${exitCode} without a ${PROOF_TEST_REPORT_VERSION}, so the failure cannot be attributed to a test`,
+            failedSteps: [],
+        };
+    }
+    let entries;
+    try {
+        entries = parseProofTestReport(report, selectedTestIds);
+    }
+    catch (error) {
+        return {
+            attribution: "aggregate",
+            reason: `the ${PROOF_TEST_REPORT_VERSION} was rejected (${error instanceof Error ? error.message : String(error)}), so the run is evaluated as one unit`,
+            failedSteps: [],
+        };
+    }
+    const failedSteps = failedStepsOf(entries.values());
+    const failing = [...entries.values()].filter((entry) => entry.outcome !== "passed");
+    if (exitCode !== 0 && failing.length === 0) {
+        return {
+            attribution: "aggregate",
+            reason: `the integration exited ${exitCode} but its ${PROOF_TEST_REPORT_VERSION} attributes the failure to no test`,
+            failedSteps,
+        };
+    }
+    if (failing.length === 0) {
+        return {
+            attribution: "aggregate",
+            reason: "the integration passed",
+            failedSteps,
+        };
+    }
+    const groups = new Map();
+    for (const testId of selectedTestIds) {
+        const entry = entries.get(testId);
+        const group = groups.get(entry.outcome) ?? [];
+        group.push(entry);
+        groups.set(entry.outcome, group);
+    }
+    const partitions = [];
+    for (const outcome of PROOF_TEST_REPORT_OUTCOMES) {
+        const group = groups.get(outcome);
+        if (!group)
+            continue;
+        const groupFailedSteps = failedStepsOf(group);
+        const firstNonZero = groupFailedSteps.find((step) => step.exitCode !== null && step.exitCode !== 0)?.exitCode;
+        partitions.push({
+            outcome,
+            testIds: group.map((entry) => entry.test_id),
+            exitCode: outcome === "passed" ? 0 : (firstNonZero ?? (exitCode || 1)),
+            failedSteps: groupFailedSteps,
+        });
+    }
+    return { attribution: "per_test", partitions, failedSteps };
+}

package/dist/public/branch-resolver.d.ts

@@ -1,3 +1,4 @@
 export * from "../utils/branch-resolver.js";
 export * from "../utils/branch-store-locator.js";
+export * from "../runtime/detached-snapshot.js";
 //# sourceMappingURL=branch-resolver.d.ts.map

package/dist/public/branch-resolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"branch-resolver.d.ts","sourceRoot":"","sources":["../../src/public/branch-resolver.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,kCAAkC,CAAC"}
+{"version":3,"file":"branch-resolver.d.ts","sourceRoot":"","sources":["../../src/public/branch-resolver.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,kCAAkC,CAAC;AACjD,cAAc,iCAAiC,CAAC"}

package/dist/public/branch-resolver.js

@@ -1,2 +1,3 @@
 export * from "../utils/branch-resolver.js";
 export * from "../utils/branch-store-locator.js";
+export * from "../runtime/detached-snapshot.js";

package/dist/public/diagnostic-usage.d.ts

@@ -13,5 +13,19 @@ export interface DiagnosticUsageInput {
 }
 export declare function diagnosticMutationFingerprint(args: Readonly<Record<string, unknown>>): string;
 export declare function deriveDiagnosticUsageFields(tool: string, args: Readonly<Record<string, unknown>>, telemetry: Readonly<Record<string, unknown>> | null, result: unknown): Record<string, unknown>;
+/**
+ * Whether the operator opted into usage telemetry through the environment.
+ *
+ * `KIBI_DIAGNOSTIC_MODE` is the one opt-in shared with the MCP server, so a
+ * single setting covers both peer surfaces. `KIBI_CLI_DIAGNOSTIC_MODE` is the
+ * older CLI-only spelling and keeps working.
+ */
+export declare function diagnosticEnvOptIn(env?: NodeJS.ProcessEnv): boolean;
+/**
+ * The host that ran this CLI call. Hosts that launch Kibi set `KIBI_HOST`;
+ * Claude Code marks every shell it runs with `CLAUDECODE=1`, which is the
+ * only ambient signal trusted here. Anything else stays `unknown`.
+ */
+export declare function diagnosticCliHost(env?: NodeJS.ProcessEnv): string;
 export declare function appendCliDiagnosticUsage(input: DiagnosticUsageInput): void;
 //# sourceMappingURL=diagnostic-usage.d.ts.map

package/dist/public/diagnostic-usage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic-usage.d.ts","sourceRoot":"","sources":["../../src/public/diagnostic-usage.ts"],"names":[],"mappings":"AASA,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAuBD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAIR;AAkHD,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,EACnD,MAAM,EAAE,OAAO,GACd,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAwEzB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,GAAG,IAAI,CAgC1E"}
+{"version":3,"file":"diagnostic-usage.d.ts","sourceRoot":"","sources":["../../src/public/diagnostic-usage.ts"],"names":[],"mappings":"AAUA,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAuBD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAIR;AAkHD,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,EACnD,MAAM,EAAE,OAAO,GACd,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAwEzB;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,OAAO,CAKT;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,CAIR;AA2BD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,GAAG,IAAI,CAmC1E"}

package/dist/public/diagnostic-usage.js

@@ -1,6 +1,7 @@
 import { createHash, randomUUID } from "node:crypto";
-import { appendFileSync, mkdirSync } from "node:fs";
+import { appendFileSync, existsSync, mkdirSync, readFileSync } from "node:fs";
 import path from "node:path";
+import { fileURLToPath } from "node:url";
 import { appendPayloadCountField, normalizeResultPayload, } from "./operations/result-envelope.js";
 function isRecord(value) {
     return Boolean(value) && typeof value === "object" && !Array.isArray(value);
@@ -177,6 +178,56 @@ export function deriveDiagnosticUsageFields(tool, args, telemetry, result) {
         fields.result_summary = `${tool} completed`;
     return fields;
 }
+/**
+ * Whether the operator opted into usage telemetry through the environment.
+ *
+ * `KIBI_DIAGNOSTIC_MODE` is the one opt-in shared with the MCP server, so a
+ * single setting covers both peer surfaces. `KIBI_CLI_DIAGNOSTIC_MODE` is the
+ * older CLI-only spelling and keeps working.
+ */
+export function diagnosticEnvOptIn(env = process.env) {
+    return ["KIBI_DIAGNOSTIC_MODE", "KIBI_CLI_DIAGNOSTIC_MODE"].some((key) => {
+        const value = env[key]?.trim().toLowerCase();
+        return value === "1" || value === "true";
+    });
+}
+/**
+ * The host that ran this CLI call. Hosts that launch Kibi set `KIBI_HOST`;
+ * Claude Code marks every shell it runs with `CLAUDECODE=1`, which is the
+ * only ambient signal trusted here. Anything else stays `unknown`.
+ */
+export function diagnosticCliHost(env = process.env) {
+    const explicit = env.KIBI_HOST?.trim() || env.KIBI_MCP_HOST?.trim();
+    if (explicit)
+        return explicit;
+    return env.CLAUDECODE === "1" ? "claude-code" : "unknown";
+}
+let cachedCliPackageVersion;
+function cliPackageVersion() {
+    if (cachedCliPackageVersion !== undefined)
+        return cachedCliPackageVersion;
+    cachedCliPackageVersion = null;
+    let current = path.dirname(fileURLToPath(import.meta.url));
+    while (true) {
+        const candidate = path.join(current, "package.json");
+        if (existsSync(candidate)) {
+            try {
+                const parsed = JSON.parse(readFileSync(candidate, "utf8"));
+                if (isRecord(parsed) && typeof parsed.version === "string") {
+                    cachedCliPackageVersion = parsed.version;
+                }
+            }
+            catch {
+                // An unreadable manifest leaves the version unknown.
+            }
+            return cachedCliPackageVersion;
+        }
+        const parent = path.dirname(current);
+        if (parent === current)
+            return null;
+        current = parent;
+    }
+}
 export function appendCliDiagnosticUsage(input) {
     const finishedAt = input.finishedAt ?? new Date();
     const requestId = input.requestId ?? `cli-${randomUUID()}`;
@@ -189,6 +240,9 @@ export function appendCliDiagnosticUsage(input) {
         request_id: requestId,
         tool: input.tool,
         interface: "cli_json",
+        host: diagnosticCliHost(),
+        package_version: cliPackageVersion(),
+        workspace_root: input.workspaceRoot,
         telemetry: input.telemetry,
         business_args: input.businessArgs,
         status: input.status,