daftari 1.20.0 → 1.22.0

package/dist/consolidate/derivation-prompt.d.ts

@@ -0,0 +1,28 @@
+import { type Result } from "../frontmatter/types.js";
+export type PremiseSide = "A" | "B" | "symmetric";
+export interface DerivationVerdict {
+    related: boolean;
+    premise: PremiseSide | null;
+    reason: string;
+}
+export declare const DERIVATION_VERDICT_SCHEMA: {
+    readonly type: "object";
+    readonly required: readonly ["related", "premise", "reason"];
+    readonly properties: {
+        readonly related: {
+            readonly type: "boolean";
+        };
+        readonly premise: {
+            readonly enum: readonly ["A", "B", "symmetric"];
+            readonly description: "which doc is the load-bearing premise; ignored when related is false";
+        };
+        readonly reason: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+    };
+};
+export declare const DERIVATION_SYSTEM: string;
+export declare function derivationUserBody(aPath: string, aContent: string, bPath: string, bContent: string): string;
+export declare function parseDerivationVerdict(raw: unknown): Result<DerivationVerdict, Error>;
+//# sourceMappingURL=derivation-prompt.d.ts.map

package/dist/consolidate/derivation-prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivation-prompt.d.ts","sourceRoot":"","sources":["../../src/consolidate/derivation-prompt.ts"],"names":[],"mappings":"AAeA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE/D,MAAM,MAAM,WAAW,GAAG,GAAG,GAAG,GAAG,GAAG,WAAW,CAAC;AAElD,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;CAW5B,CAAC;AAEX,eAAO,MAAM,iBAAiB,QAKmC,CAAC;AAKlE,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,GACf,MAAM,CAYR;AAKD,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAwBrF"}

package/dist/consolidate/derivation-prompt.js

@@ -0,0 +1,72 @@
+// Shared foundational-ordering derivation elicitation (spec §3.1).
+//
+// Replaces birth.ts's private derives/depends/neither token and decorrelation's
+// duplicate. The judgment is two-part:
+//   - related: is there a load-bearing derivation at all? (the reliable signal —
+//     detection + promiscuity rejection; related=false ⇒ no edge)
+//   - premise: foundational ordering — which doc is the load-bearing premise, the
+//     one that must be established first for the other to make sense. "symmetric"
+//     when each conditions the other; null only on parse failure.
+//
+// The prompt is presentation-order-agnostic by construction: it asks for a content
+// role ("which is the premise"), never "does A derive from B", so it carries no
+// position/token bias (validated ~50% DOC1-bias at temp 0). Direction is elicited
+// at temperature 0 — a factual, deterministic judgment, not a creative one.
+import { err, ok } from "../frontmatter/types.js";
+const PREMISE_SIDES = new Set(["A", "B", "symmetric"]);
+// Embedded in the system prompt as a hint to the LLM (completeJson does not do
+// strict JSON-Schema validation; parseDerivationVerdict is the real gate).
+export const DERIVATION_VERDICT_SCHEMA = {
+    type: "object",
+    required: ["related", "premise", "reason"],
+    properties: {
+        related: { type: "boolean" },
+        premise: {
+            enum: ["A", "B", "symmetric"],
+            description: "which doc is the load-bearing premise; ignored when related is false",
+        },
+        reason: { type: "string", minLength: 1 },
+    },
+};
+export const DERIVATION_SYSTEM = "You assess whether one document's central claim is a load-bearing derivation of " +
+    "another's, and if so which is the foundational premise. A load-bearing dependency " +
+    "means one claim rests on the other as a premise it could not stand without — not a " +
+    "passing reference, a citation, or mere co-occurrence. Be conservative: when the " +
+    "dependency is shallow or ambiguous, judge that there is none.";
+// Foundational-ordering question. By contract this body contains no "derive"
+// token and no "[template:" tag — it asks for a content role, not a directional
+// verb, so it is presentation-order-agnostic.
+export function derivationUserBody(aPath, aContent, bPath, bContent) {
+    return (`DOC A (path: ${aPath}):\n${aContent}\n\n` +
+        `DOC B (path: ${bPath}):\n${bContent}\n\n` +
+        "First: is there a load-bearing dependency between these two central claims — does " +
+        "one rest on the other as a foundational premise (not a passing mention, a citation, " +
+        "or mere co-occurrence)? If there is no such dependency, set related to false.\n\n" +
+        "If there is a dependency: which of DOC A or DOC B is the load-bearing premise — the " +
+        'one that would have to be established first for the other to make sense? Answer "A" ' +
+        'or "B". If each claim conditions the other so that neither could be established first, ' +
+        'answer "symmetric".\n\nReturn JSON.');
+}
+// Mirrors birth's reject-and-continue parser, in the {related, premise} space.
+// A false `related` discards any premise (-> null); a true `related` requires a
+// valid premise side. `reason` is always required.
+export function parseDerivationVerdict(raw) {
+    if (typeof raw !== "object" || raw === null || Array.isArray(raw)) {
+        return err(new Error("verdict: expected object"));
+    }
+    const obj = raw;
+    if (typeof obj.related !== "boolean") {
+        return err(new Error(`verdict: 'related' must be a boolean, got ${JSON.stringify(obj.related)}`));
+    }
+    if (typeof obj.reason !== "string" || obj.reason.trim().length === 0) {
+        return err(new Error("verdict: 'reason' is required (and non-empty)"));
+    }
+    if (obj.related === false) {
+        return ok({ related: false, premise: null, reason: obj.reason });
+    }
+    if (typeof obj.premise !== "string" || !PREMISE_SIDES.has(obj.premise)) {
+        return err(new Error(`verdict: 'premise' must be one of A|B|symmetric, got ${JSON.stringify(obj.premise)}`));
+    }
+    return ok({ related: true, premise: obj.premise, reason: obj.reason });
+}
+//# sourceMappingURL=derivation-prompt.js.map

package/dist/consolidate/derivation-prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivation-prompt.js","sourceRoot":"","sources":["../../src/consolidate/derivation-prompt.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,EAAE;AACF,gFAAgF;AAChF,uCAAuC;AACvC,iFAAiF;AACjF,kEAAkE;AAClE,kFAAkF;AAClF,kFAAkF;AAClF,kEAAkE;AAClE,EAAE;AACF,mFAAmF;AACnF,gFAAgF;AAChF,kFAAkF;AAClF,4EAA4E;AAE5E,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,yBAAyB,CAAC;AAU/D,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;AAE5E,+EAA+E;AAC/E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC;IAC1C,UAAU,EAAE;QACV,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5B,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC;YAC7B,WAAW,EAAE,sEAAsE;SACpF;QACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;KACzC;CACO,CAAC;AAEX,MAAM,CAAC,MAAM,iBAAiB,GAC5B,kFAAkF;IAClF,oFAAoF;IACpF,qFAAqF;IACrF,kFAAkF;IAClF,+DAA+D,CAAC;AAElE,6EAA6E;AAC7E,gFAAgF;AAChF,8CAA8C;AAC9C,MAAM,UAAU,kBAAkB,CAChC,KAAa,EACb,QAAgB,EAChB,KAAa,EACb,QAAgB;IAEhB,OAAO,CACL,gBAAgB,KAAK,OAAO,QAAQ,MAAM;QAC1C,gBAAgB,KAAK,OAAO,QAAQ,MAAM;QAC1C,oFAAoF;QACpF,sFAAsF;QACtF,mFAAmF;QACnF,sFAAsF;QACtF,sFAAsF;QACtF,yFAAyF;QACzF,qCAAqC,CACtC,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,gFAAgF;AAChF,mDAAmD;AACnD,MAAM,UAAU,sBAAsB,CAAC,GAAY;IACjD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,GAAG,CACR,IAAI,KAAK,CAAC,6CAA6C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACvE,OAAO,GAAG,CACR,IAAI,KAAK,CACP,wDAAwD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CACtF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAsB,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AACxF,CAAC"}

package/dist/consolidate/edge-write.d.ts

@@ -0,0 +1,10 @@
+import { type ContestEdgeInput, type DerivesFromEdge, type ObserveEdgeInput } from "../curation/edges.js";
+import { type Result } from "../frontmatter/types.js";
+export interface EdgeWriteConfig {
+    vaultRoot: string;
+    shadowMode: boolean;
+    principal?: string;
+}
+export declare function makeObserve(config: EdgeWriteConfig): (input: ObserveEdgeInput) => Promise<Result<DerivesFromEdge, Error>>;
+export declare function makeContest(config: EdgeWriteConfig): (input: ContestEdgeInput) => Promise<Result<DerivesFromEdge, Error>>;
+//# sourceMappingURL=edge-write.d.ts.map

package/dist/consolidate/edge-write.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge-write.d.ts","sourceRoot":"","sources":["../../src/consolidate/edge-write.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,KAAK,gBAAgB,EAErB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EAEtB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAM,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE1D,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IAIpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AA2BD,wBAAgB,WAAW,CACzB,MAAM,EAAE,eAAe,GACtB,CAAC,KAAK,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAuBtE;AAED,wBAAgB,WAAW,CACzB,MAAM,EAAE,eAAe,GACtB,CAAC,KAAK,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAiBtE"}

package/dist/consolidate/edge-write.js

@@ -0,0 +1,76 @@
+// Shadow-aware wrappers around observeEdge / contestEdge for the consolidation
+// loop (spec §5.3, brief item 5). When the vault runs `shadow_mode: true`,
+// these factories route edge writes through `recordShadowAction` so the
+// calibration log gains records but `.daftari/edges.jsonl` is untouched.
+// When shadow is off, they fall through to the live store.
+//
+// The CLI (chunk 5) is the ONLY caller — birth.ts and revision.ts receive
+// `observe` / `contest` via dependency injection and don't know which path
+// they're on. That keeps the unit tests for those modules hermetic (no fs,
+// no shadow config), and concentrates the live-vs-shadow branch here.
+import { contestEdge, observeEdge, } from "../curation/edges.js";
+import { recordShadowAction } from "../curation/shadow.js";
+import { ok } from "../frontmatter/types.js";
+// In shadow mode we return a synthetic DerivesFromEdge so the caller's
+// success/error branch (which only checks `ok` + counts) works the same.
+// The fields are deliberately neutral: no real state advanced.
+function stubEdge(fromPath, toPath, at, status, contestReason) {
+    return {
+        fromPath,
+        toPath,
+        strength: 0,
+        kSurvived: 0,
+        firstObserved: at,
+        lastRederived: at,
+        status,
+        directionVerdict: "directed",
+        observations: 0,
+        contestedAt: status === "revoked" ? at : null,
+        contestReason,
+    };
+}
+export function makeObserve(config) {
+    return async (input) => {
+        if (!config.shadowMode) {
+            return observeEdge(config.vaultRoot, input);
+        }
+        const shadowRes = await recordShadowAction(config.vaultRoot, {
+            tool: "vault_edge_observe",
+            action: "edge-observe",
+            // targetPath drives the blast computation (downstream reach via reverse
+            // link/source maps). The FROM doc is the right seed: strengthening
+            // from→to could re-trigger anything downstream of `from`.
+            targetPath: input.fromPath,
+            touchedPaths: [input.fromPath, input.toPath],
+            agent: input.observedBy,
+            ...(config.principal ? { principal: config.principal } : {}),
+            // Carry premiseVote in the message so the calibration journal can
+            // reconstruct direction (directed-to vs symmetric/pending) — shadow mode
+            // is where this feature is calibrated, so the signal must not be erased.
+            commitMessage: `[shadow] edge_observe ${input.fromPath} ← ${input.toPath} [premise:${input.premiseVote ?? "n/a"}]${input.note ? ` (${input.note})` : ""}`,
+        });
+        if (!shadowRes.ok)
+            return shadowRes;
+        return ok(stubEdge(input.fromPath, input.toPath, shadowRes.value.at, "candidate", null));
+    };
+}
+export function makeContest(config) {
+    return async (input) => {
+        if (!config.shadowMode) {
+            return contestEdge(config.vaultRoot, input);
+        }
+        const shadowRes = await recordShadowAction(config.vaultRoot, {
+            tool: "vault_edge_contest",
+            action: "edge-contest",
+            targetPath: input.fromPath,
+            touchedPaths: [input.fromPath, input.toPath],
+            agent: input.contestedBy,
+            ...(config.principal ? { principal: config.principal } : {}),
+            commitMessage: `[shadow] edge_contest ${input.fromPath} ← ${input.toPath}: ${input.reason}`,
+        });
+        if (!shadowRes.ok)
+            return shadowRes;
+        return ok(stubEdge(input.fromPath, input.toPath, shadowRes.value.at, "revoked", input.reason));
+    };
+}
+//# sourceMappingURL=edge-write.js.map

package/dist/consolidate/edge-write.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge-write.js","sourceRoot":"","sources":["../../src/consolidate/edge-write.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,2EAA2E;AAC3E,wEAAwE;AACxE,yEAAyE;AACzE,2DAA2D;AAC3D,EAAE;AACF,0EAA0E;AAC1E,2EAA2E;AAC3E,2EAA2E;AAC3E,sEAAsE;AAEtE,OAAO,EAEL,WAAW,EAGX,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAe,MAAM,yBAAyB,CAAC;AAW1D,uEAAuE;AACvE,yEAAyE;AACzE,+DAA+D;AAC/D,SAAS,QAAQ,CACf,QAAgB,EAChB,MAAc,EACd,EAAU,EACV,MAA+B,EAC/B,aAA4B;IAE5B,OAAO;QACL,QAAQ;QACR,MAAM;QACN,QAAQ,EAAE,CAAC;QACX,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,MAAM;QACN,gBAAgB,EAAE,UAAU;QAC5B,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QAC7C,aAAa;KACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAAuB;IAEvB,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACvB,OAAO,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,MAAM,CAAC,SAAS,EAAE;YAC3D,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,cAAc;YACtB,wEAAwE;YACxE,mEAAmE;YACnE,0DAA0D;YAC1D,UAAU,EAAE,KAAK,CAAC,QAAQ;YAC1B,YAAY,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;YAC5C,KAAK,EAAE,KAAK,CAAC,UAAU;YACvB,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,kEAAkE;YAClE,yEAAyE;YACzE,yEAAyE;YACzE,aAAa,EAAE,yBAAyB,KAAK,CAAC,QAAQ,MAAM,KAAK,CAAC,MAAM,aAAa,KAAK,CAAC,WAAW,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;SAC1J,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,EAAE;YAAE,OAAO,SAAS,CAAC;QACpC,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAAuB;IAEvB,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACvB,OAAO,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,MAAM,CAAC,SAAS,EAAE;YAC3D,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,cAAc;YACtB,UAAU,EAAE,KAAK,CAAC,QAAQ;YAC1B,YAAY,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;YAC5C,KAAK,EAAE,KAAK,CAAC,WAAW;YACxB,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,aAAa,EAAE,yBAAyB,KAAK,CAAC,QAAQ,MAAM,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;SAC5F,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,EAAE;YAAE,OAAO,SAAS,CAAC;QACpC,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACjG,CAAC,CAAC;AACJ,CAAC"}

package/dist/consolidate/index.d.ts

@@ -0,0 +1,2 @@
+export declare function runConsolidate(argv: string[]): Promise<number>;
+//# sourceMappingURL=index.d.ts.map

package/dist/consolidate/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/consolidate/index.ts"],"names":[],"mappings":"AA0HA,wBAAsB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CA0PpE"}