daftari 1.20.0 → 1.22.0

package/dist/consolidate/revision.d.ts

@@ -0,0 +1,75 @@
+import { type ContestEdgeInput, type DerivesFromEdge, type ObserveEdgeInput } from "../curation/edges.js";
+import type { LlmClient } from "../eval/llm.js";
+import { type Result } from "../frontmatter/types.js";
+import { type ConsolidatePromptTemplate } from "./constants.js";
+export interface RevisionDeps {
+    llm: LlmClient;
+    loadDoc: (path: string) => Promise<Result<{
+        path: string;
+        content: string;
+    }, Error>>;
+    observe: (input: ObserveEdgeInput) => Promise<Result<DerivesFromEdge, Error>>;
+    contest: (input: ContestEdgeInput) => Promise<Result<DerivesFromEdge, Error>>;
+    recordRevisionTrace: (row: RevisionTraceRow) => Promise<Result<void, Error>>;
+}
+export interface RevisionOpts {
+    vaultRoot: string;
+    agent: string;
+    panelSize: number;
+    budgetRemaining: number;
+    model: string;
+}
+export interface RevisionVote {
+    axis: ConsolidatePromptTemplate;
+    verdict: "survives" | "fails";
+    reason: string;
+}
+export interface RevisionVoteError {
+    axis: ConsolidatePromptTemplate;
+    error: string;
+}
+export type RevisionDecision = "survives" | "fails" | "tie" | "no-vote";
+export interface RevisionTraceRow {
+    at: string;
+    fromPath: string;
+    toPath: string;
+    edgeStrengthAtStart: number;
+    kSurvivedAtStart: number;
+    lastRederivedAtStart: string;
+    model: string;
+    votes: Array<RevisionVote | RevisionVoteError>;
+    decision: RevisionDecision;
+    observedCount: number;
+    contestedCount: number;
+}
+export interface RevisionOutcome {
+    fromPath: string;
+    toPath: string;
+    votes: Array<RevisionVote | RevisionVoteError>;
+    decision: RevisionDecision;
+    observedCount: number;
+    contestedCount: number;
+    writeErrors: Array<{
+        axis: ConsolidatePromptTemplate;
+        error: string;
+    }>;
+    llmCalls: number;
+    inputTokens: number;
+    outputTokens: number;
+    traceWritten: boolean;
+    traceError?: string;
+}
+export declare function parseRevisionVerdict(raw: unknown): Result<{
+    verdict: "survives" | "fails";
+    reason: string;
+}, Error>;
+export declare function revisionPanel(edge: {
+    fromPath: string;
+    toPath: string;
+    strength: number;
+    kSurvived: number;
+    lastRederived: string;
+}, deps: RevisionDeps, opts: RevisionOpts): Promise<Result<RevisionOutcome, Error>>;
+export declare function revisionTracePath(vaultRoot: string): string;
+export declare function appendRevisionTrace(vaultRoot: string, row: RevisionTraceRow): Promise<Result<void, Error>>;
+//# sourceMappingURL=revision.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../../src/consolidate/revision.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,eAAe,EAEpB,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAgC,KAAK,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAI9F,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,SAAS,CAAC;IAGf,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,CAAC,KAAK,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9E,OAAO,EAAE,CAAC,KAAK,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9E,mBAAmB,EAAE,CAAC,GAAG,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;CAC9E;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,yBAAyB,CAAC;IAChC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,yBAAyB,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;CACf;AAID,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,OAAO,GAAG,KAAK,GAAG,SAAS,CAAC;AAExE,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,KAAK,CAAC,YAAY,GAAG,iBAAiB,CAAC,CAAC;IAG/C,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,KAAK,CAAC,YAAY,GAAG,iBAAiB,CAAC,CAAC;IAC/C,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IAKvB,WAAW,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,yBAAyB,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvE,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,OAAO,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAYD,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,OAAO,GACX,MAAM,CAAC;IAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,CAAC,CAgBlE;AA6DD,wBAAsB,aAAa,CACjC,IAAI,EAAE;IACJ,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;CACvB,EACD,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,YAAY,GACjB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CA8HzC;AAID,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAsB,mBAAmB,CACvC,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,gBAAgB,GACpB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAU9B"}

package/dist/consolidate/revision.js

@@ -0,0 +1,232 @@
+// Revision mode (spec §4.1, brief item 2). Cast a panel of M independent votes
+// on a due edge — each vote uses a distinct prompt template so §11.3's replay
+// guard counts them all as independent in one sitting. Each vote either
+// survives (→ edge_observe, strength accrues) or fails-case-2 (→ edge_contest,
+// revoke + tension). The §11.3 replay guard handles "same (observer, axis)
+// pair within EDGE_REPLAY_GAP_DAYS"; this code uses distinct axes within the
+// panel so the gap never trips.
+//
+// Case-1 vs case-2 simplification (v1): the LLM is asked to produce
+// survives | fails — we treat every "fails" as case-2 (contest). The spec
+// distinguishes case-1 (an endpoint *changed*, so failure isn't a fault of the
+// derivation) but C's event clock already marks such edges due via git-diff;
+// running the panel on them is the same retry path. If shadow data shows we're
+// contesting edges whose endpoints had recent commits, add a case-1 detector
+// (`git log --since=<lastRederived>` on each endpoint) and skip the contest.
+// Tracked for Stage 5 calibration.
+import { appendFileSync, mkdirSync } from "node:fs";
+import { join, posix } from "node:path";
+import { EDGE_AXES, } from "../curation/edges.js";
+import { err, ok } from "../frontmatter/types.js";
+import { CONSOLIDATE_PROMPT_TEMPLATES } from "./constants.js";
+// --- canon -------------------------------------------------------------------
+function canon(p) {
+    return posix.normalize(p).replace(/^\.\//, "");
+}
+// --- verdict parsing ---------------------------------------------------------
+const VALID_REVISION_VERDICTS = new Set(["survives", "fails"]);
+export function parseRevisionVerdict(raw) {
+    if (typeof raw !== "object" || raw === null || Array.isArray(raw)) {
+        return err(new Error("revision verdict: expected object"));
+    }
+    const obj = raw;
+    const v = obj.verdict;
+    const r = obj.reason;
+    if (typeof v !== "string" || !VALID_REVISION_VERDICTS.has(v)) {
+        return err(new Error(`revision verdict: expected 'survives' | 'fails', got ${JSON.stringify(v)}`));
+    }
+    if (typeof r !== "string" || r.trim().length === 0) {
+        return err(new Error("revision verdict: 'reason' is required"));
+    }
+    return ok({ verdict: v, reason: r });
+}
+// --- prompt construction -----------------------------------------------------
+const VERDICT_SCHEMA = {
+    type: "object",
+    required: ["verdict", "reason"],
+    properties: {
+        verdict: { enum: ["survives", "fails"] },
+        reason: { type: "string", minLength: 1 },
+    },
+};
+const SYSTEM_BASE = "You re-evaluate whether one document's central claim still derives from another. " +
+    "You have re-derived this edge before — your job is to do it independently now, " +
+    "from the documents alone. Be conservative: only return 'survives' if the dependence is " +
+    "clear and load-bearing in the current text. Return 'fails' if the premise no longer " +
+    "supports the conclusion as previously claimed.";
+const MAX_DOC_CHARS = 1500;
+function truncate(s) {
+    return s.length <= MAX_DOC_CHARS ? s : `${s.slice(0, MAX_DOC_CHARS)}\n…[truncated]`;
+}
+// User body. The leading `[template:NAME]` marker is the post-hoc audit hook —
+// it's how the trace + the decorrelation report (brief item 8) reconstruct
+// which template each vote used without parsing prose. Tests rely on it too.
+function userBody(axis, from, fromContent, to, toContent, edge) {
+    const tag = `[template:${axis}]`;
+    const meta = `Edge: ${from} derives_from ${to}. k_survived=${edge.kSurvived}, last_rederived=${edge.lastRederived}.`;
+    const fromBlock = `DOC FROM (${from}):\n${truncate(fromContent)}`;
+    const toBlock = `DOC TO (${to}):\n${truncate(toContent)}`;
+    switch (axis) {
+        case "forward":
+            return `${tag}\n${meta}\n\n${fromBlock}\n\n${toBlock}\n\nDoes DOC FROM still derive its central claim from DOC TO? Return JSON.`;
+        case "reverse":
+            return `${tag}\n${meta}\n\n${toBlock}\n\n${fromBlock}\n\nIs DOC FROM's central claim still load-bearing on DOC TO? Return JSON.`;
+        case "contrast":
+            return `${tag}\n${meta}\n\n${fromBlock}\n\n${toBlock}\n\nIf you had to defend or refute the edge "FROM derives_from TO" today, which would you do? Return JSON: 'survives' to defend, 'fails' to refute.`;
+    }
+}
+// --- panel -------------------------------------------------------------------
+// Pick the first N distinct prompt templates so M votes get M distinct
+// (observer, axis) pairs. Validated by the constants test: panelSize cannot
+// exceed CONSOLIDATE_PROMPT_TEMPLATES.length. We still defend at runtime in
+// case a caller passes a runaway value.
+function axesForPanel(panelSize) {
+    const k = Math.max(1, Math.min(panelSize, CONSOLIDATE_PROMPT_TEMPLATES.length));
+    return CONSOLIDATE_PROMPT_TEMPLATES.slice(0, k);
+}
+export async function revisionPanel(edge, deps, opts) {
+    const fromPath = canon(edge.fromPath);
+    const toPath = canon(edge.toPath);
+    const fromRes = await deps.loadDoc(fromPath);
+    if (!fromRes.ok)
+        return fromRes;
+    const toRes = await deps.loadDoc(toPath);
+    if (!toRes.ok)
+        return toRes;
+    const axes = axesForPanel(opts.panelSize);
+    const votes = [];
+    const writeErrors = [];
+    let llmCalls = 0;
+    let inputTokens = 0;
+    let outputTokens = 0;
+    // --- Phase 1: ELICIT all M votes (no writes). Aggregation must see the whole
+    // panel before deciding — applying writes per-vote let a single dissent revoke
+    // a healthy edge and a later survive re-seed it (order-dependent churn). ---
+    const surviving = [];
+    let failsCount = 0;
+    let firstFailReason = "re-derivation failed";
+    for (const axis of axes) {
+        if (llmCalls >= opts.budgetRemaining)
+            break;
+        const r = await deps.llm.completeJson({
+            model: opts.model,
+            system: SYSTEM_BASE,
+            user: userBody(axis, fromPath, fromRes.value.content, toPath, toRes.value.content, edge),
+            schema: VERDICT_SCHEMA,
+        });
+        llmCalls++;
+        if (!r.ok) {
+            votes.push({ axis, error: r.error.message });
+            continue;
+        }
+        inputTokens += r.value.input_tokens;
+        outputTokens += r.value.output_tokens;
+        const parsed = parseRevisionVerdict(r.value.parsed);
+        if (!parsed.ok) {
+            votes.push({ axis, error: parsed.error.message });
+            continue;
+        }
+        votes.push({ axis, verdict: parsed.value.verdict, reason: parsed.value.reason });
+        if (parsed.value.verdict === "survives") {
+            surviving.push({ axis, reason: parsed.value.reason });
+        }
+        else {
+            if (failsCount === 0)
+                firstFailReason = parsed.value.reason;
+            failsCount++;
+        }
+    }
+    // --- Phase 2: AGGREGATE, then apply ONE decision (majority-decides). ---
+    const survivesCount = surviving.length;
+    let decision;
+    let observedCount = 0;
+    let contestedCount = 0;
+    if (survivesCount === 0 && failsCount === 0) {
+        decision = "no-vote"; // all errored / budget-starved — surface, write nothing
+    }
+    else if (failsCount > survivesCount) {
+        // Majority fails ⇒ ONE contest (revoke + tension). Satisfies the spec's
+        // multi-pass-agreement-for-contests: a lone dissent can no longer revoke.
+        decision = "fails";
+        const con = await deps.contest({
+            fromPath,
+            toPath,
+            contestedBy: opts.agent,
+            reason: `revision panel (${failsCount}/${survivesCount + failsCount} fail): ${firstFailReason}`,
+        });
+        if (con.ok)
+            contestedCount = 1;
+        else
+            writeErrors.push({ axis: axes[0], error: `contest failed: ${con.error.message}` });
+    }
+    else if (survivesCount > failsCount) {
+        // Majority survives ⇒ accrue strength: each surviving vote observes with a
+        // DISTINCT store axis (EDGE_AXES), so the §11.3 replay guard counts them as
+        // independent in one sitting (panelSize ≤ EDGE_AXES.length ⇒ no collision).
+        decision = "survives";
+        for (let i = 0; i < surviving.length; i++) {
+            const storeAxis = EDGE_AXES[i % EDGE_AXES.length];
+            const obs = await deps.observe({
+                fromPath,
+                toPath,
+                observedBy: opts.agent,
+                blind: true,
+                axis: storeAxis,
+                note: `revision/${surviving[i].axis}: ${surviving[i].reason}`,
+            });
+            if (obs.ok)
+                observedCount++;
+            else
+                writeErrors.push({
+                    axis: surviving[i].axis,
+                    error: `observe failed: ${obs.error.message}`,
+                });
+        }
+    }
+    else {
+        // Tie (survives === fails, both > 0): no majority ⇒ surface, write nothing.
+        decision = "tie";
+    }
+    const traceRes = await deps.recordRevisionTrace({
+        at: new Date().toISOString().replace(/\.\d{3}Z$/, "Z"),
+        fromPath,
+        toPath,
+        edgeStrengthAtStart: edge.strength,
+        kSurvivedAtStart: edge.kSurvived,
+        lastRederivedAtStart: edge.lastRederived,
+        model: opts.model,
+        votes,
+        decision,
+        observedCount,
+        contestedCount,
+    });
+    return ok({
+        fromPath,
+        toPath,
+        votes,
+        decision,
+        observedCount,
+        contestedCount,
+        writeErrors,
+        llmCalls,
+        inputTokens,
+        outputTokens,
+        traceWritten: traceRes.ok,
+        ...(traceRes.ok ? {} : { traceError: traceRes.error.message }),
+    });
+}
+// --- the CLI-wired trace recorder --------------------------------------------
+export function revisionTracePath(vaultRoot) {
+    return join(vaultRoot, ".daftari", "revision-trace.jsonl");
+}
+export async function appendRevisionTrace(vaultRoot, row) {
+    try {
+        mkdirSync(join(vaultRoot, ".daftari"), { recursive: true });
+        appendFileSync(revisionTracePath(vaultRoot), `${JSON.stringify(row)}\n`);
+        return ok(undefined);
+    }
+    catch (e) {
+        return err(new Error(`cannot record revision trace: ${e instanceof Error ? e.message : String(e)}`));
+    }
+}
+//# sourceMappingURL=revision.js.map

package/dist/consolidate/revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../src/consolidate/revision.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,8EAA8E;AAC9E,wEAAwE;AACxE,+EAA+E;AAC/E,2EAA2E;AAC3E,6EAA6E;AAC7E,gCAAgC;AAChC,EAAE;AACF,oEAAoE;AACpE,0EAA0E;AAC1E,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,mCAAmC;AAEnC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAGL,SAAS,GAEV,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,4BAA4B,EAAkC,MAAM,gBAAgB,CAAC;AAwE9F,gFAAgF;AAEhF,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,gFAAgF;AAEhF,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAEpF,MAAM,UAAU,oBAAoB,CAClC,GAAY;IAEZ,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,mCAAmC,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IACtB,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;IACrB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,OAAO,GAAG,CACR,IAAI,KAAK,CAAC,wDAAwD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CACvF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAyB,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,gFAAgF;AAEhF,MAAM,cAAc,GAAG;IACrB,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC/B,UAAU,EAAE;QACV,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE;QACxC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;KACzC;CACO,CAAC;AAEX,MAAM,WAAW,GACf,mFAAmF;IACnF,iFAAiF;IACjF,yFAAyF;IACzF,sFAAsF;IACtF,gDAAgD,CAAC;AAEnD,MAAM,aAAa,GAAG,IAAI,CAAC;AAC3B,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,2EAA2E;AAC3E,6EAA6E;AAC7E,SAAS,QAAQ,CACf,IAA+B,EAC/B,IAAY,EACZ,WAAmB,EACnB,EAAU,EACV,SAAiB,EACjB,IAAkD;IAElD,MAAM,GAAG,GAAG,aAAa,IAAI,GAAG,CAAC;IACjC,MAAM,IAAI,GAAG,SAAS,IAAI,iBAAiB,EAAE,gBAAgB,IAAI,CAAC,SAAS,oBAAoB,IAAI,CAAC,aAAa,GAAG,CAAC;IACrH,MAAM,SAAS,GAAG,aAAa,IAAI,OAAO,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;IAClE,MAAM,OAAO,GAAG,WAAW,EAAE,OAAO,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;IAC1D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,GAAG,GAAG,KAAK,IAAI,OAAO,SAAS,OAAO,OAAO,4EAA4E,CAAC;QACnI,KAAK,SAAS;YACZ,OAAO,GAAG,GAAG,KAAK,IAAI,OAAO,OAAO,OAAO,SAAS,4EAA4E,CAAC;QACnI,KAAK,UAAU;YACb,OAAO,GAAG,GAAG,KAAK,IAAI,OAAO,SAAS,OAAO,OAAO,qJAAqJ,CAAC;IAC9M,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,uEAAuE;AACvE,4EAA4E;AAC5E,4EAA4E;AAC5E,wCAAwC;AACxC,SAAS,YAAY,CAAC,SAAiB;IACrC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,4BAA4B,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,OAAO,4BAA4B,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAMC,EACD,IAAkB,EAClB,IAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAElC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAE5B,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,GAA4C,EAAE,CAAC;IAC1D,MAAM,WAAW,GAA8D,EAAE,CAAC;IAClF,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,8EAA8E;IAC9E,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,SAAS,GAA+D,EAAE,CAAC;IACjF,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,eAAe,GAAG,sBAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,QAAQ,IAAI,IAAI,CAAC,eAAe;YAAE,MAAM;QAC5C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC;YACpC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,WAAW;YACnB,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC;YACxF,MAAM,EAAE,cAAc;SACvB,CAAC,CAAC;QACH,QAAQ,EAAE,CAAC;QACX,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;QACpC,YAAY,IAAI,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;QACtC,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACjF,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACxC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,IAAI,UAAU,KAAK,CAAC;gBAAE,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;YAC5D,UAAU,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC;IACvC,IAAI,QAA0B,CAAC;IAC/B,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,IAAI,aAAa,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QAC5C,QAAQ,GAAG,SAAS,CAAC,CAAC,wDAAwD;IAChF,CAAC;SAAM,IAAI,UAAU,GAAG,aAAa,EAAE,CAAC;QACtC,wEAAwE;QACxE,0EAA0E;QAC1E,QAAQ,GAAG,OAAO,CAAC;QACnB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;YAC7B,QAAQ;YACR,MAAM;YACN,WAAW,EAAE,IAAI,CAAC,KAAK;YACvB,MAAM,EAAE,mBAAmB,UAAU,IAAI,aAAa,GAAG,UAAU,WAAW,eAAe,EAAE;SAChG,CAAC,CAAC;QACH,IAAI,GAAG,CAAC,EAAE;YAAE,cAAc,GAAG,CAAC,CAAC;;YAC1B,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,mBAAmB,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1F,CAAC;SAAM,IAAI,aAAa,GAAG,UAAU,EAAE,CAAC;QACtC,2EAA2E;QAC3E,4EAA4E;QAC5E,4EAA4E;QAC5E,QAAQ,GAAG,UAAU,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;gBAC7B,QAAQ;gBACR,MAAM;gBACN,UAAU,EAAE,IAAI,CAAC,KAAK;gBACtB,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,YAAY,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE;aAC9D,CAAC,CAAC;YACH,IAAI,GAAG,CAAC,EAAE;gBAAE,aAAa,EAAE,CAAC;;gBAE1B,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;oBACvB,KAAK,EAAE,mBAAmB,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE;iBAC9C,CAAC,CAAC;QACP,CAAC;IACH,CAAC;SAAM,CAAC;QACN,4EAA4E;QAC5E,QAAQ,GAAG,KAAK,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC;QAC9C,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;QACtD,QAAQ;QACR,MAAM;QACN,mBAAmB,EAAE,IAAI,CAAC,QAAQ;QAClC,gBAAgB,EAAE,IAAI,CAAC,SAAS;QAChC,oBAAoB,EAAE,IAAI,CAAC,aAAa;QACxC,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK;QACL,QAAQ;QACR,aAAa;QACb,cAAc;KACf,CAAC,CAAC;IAEH,OAAO,EAAE,CAAC;QACR,QAAQ;QACR,MAAM;QACN,KAAK;QACL,QAAQ;QACR,aAAa;QACb,cAAc;QACd,WAAW;QACX,QAAQ;QACR,WAAW;QACX,YAAY;QACZ,YAAY,EAAE,QAAQ,CAAC,EAAE;QACzB,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;KAC/D,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,sBAAsB,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,SAAiB,EACjB,GAAqB;IAErB,IAAI,CAAC;QACH,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzE,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,IAAI,KAAK,CAAC,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CACzF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/consolidate/state.d.ts

@@ -0,0 +1,10 @@
+import { type Result } from "../frontmatter/types.js";
+export interface ConsolidateState {
+    lastConsolidationCommit: string | null;
+    birthProcessed: Record<string, string>;
+}
+export declare function consolidateStatePath(vaultRoot: string): string;
+export declare function docContentHash(content: string): string;
+export declare function readConsolidateState(vaultRoot: string): ConsolidateState;
+export declare function writeConsolidateState(vaultRoot: string, state: ConsolidateState): Result<void, Error>;
+//# sourceMappingURL=state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/consolidate/state.ts"],"names":[],"mappings":"AASA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE/D,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IAEvC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACxC;AAMD,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEtD;AAID,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,GAAG,gBAAgB,CAYxE;AAKD,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,gBAAgB,GACtB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAarB"}

package/dist/consolidate/state.js

@@ -0,0 +1,54 @@
+// .daftari/consolidate-state.json — the loop's ephemeral cross-session memory:
+// the last consolidation commit (the event clock's baseline) and the
+// birth-processed doc hashes (so an edited doc re-births, spec §4.0). Git-ignored
+// and rebuildable: absent OR corrupt ⇒ the empty default, and the next session
+// treats HEAD as its baseline (the nil path, §3.1/§7).
+import { createHash } from "node:crypto";
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { err, ok } from "../frontmatter/types.js";
+function emptyState() {
+    return { lastConsolidationCommit: null, birthProcessed: {} };
+}
+export function consolidateStatePath(vaultRoot) {
+    return join(vaultRoot, ".daftari", "consolidate-state.json");
+}
+export function docContentHash(content) {
+    return createHash("sha256").update(content).digest("hex").slice(0, 16);
+}
+// Absent OR corrupt ⇒ the empty default. The state is ephemeral and rebuildable
+// (an empty lastCommit just means the next session uses HEAD as its baseline).
+export function readConsolidateState(vaultRoot) {
+    const p = consolidateStatePath(vaultRoot);
+    if (!existsSync(p))
+        return emptyState();
+    try {
+        const raw = JSON.parse(readFileSync(p, "utf-8"));
+        return {
+            lastConsolidationCommit: raw.lastConsolidationCommit ?? null,
+            birthProcessed: raw.birthProcessed ?? {},
+        };
+    }
+    catch {
+        return emptyState();
+    }
+}
+// Returns a Result rather than throwing (CLAUDE.md house style): a full disk or
+// a read-only .daftari is a recoverable degrade — the loop's state is ephemeral,
+// so a failed write just means the next session re-baselines, not a crash.
+export function writeConsolidateState(vaultRoot, state) {
+    if (typeof vaultRoot !== "string" || vaultRoot.trim().length === 0) {
+        return err(new Error("writeConsolidateState requires a non-empty vaultRoot"));
+    }
+    try {
+        const p = consolidateStatePath(vaultRoot);
+        mkdirSync(dirname(p), { recursive: true });
+        writeFileSync(p, `${JSON.stringify(state, null, 2)}\n`);
+        return ok(undefined);
+    }
+    catch (e) {
+        const reason = e instanceof Error ? e.message : String(e);
+        return err(new Error(`cannot write consolidate state: ${reason}`));
+    }
+}
+//# sourceMappingURL=state.js.map

package/dist/consolidate/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/consolidate/state.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,qEAAqE;AACrE,kFAAkF;AAClF,+EAA+E;AAC/E,uDAAuD;AAEvD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,yBAAyB,CAAC;AAQ/D,SAAS,UAAU;IACjB,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,OAAO,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,wBAAwB,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,gFAAgF;AAChF,+EAA+E;AAC/E,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,MAAM,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,EAAE,CAAC;IACxC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAA8B,CAAC;QAC9E,OAAO;YACL,uBAAuB,EAAE,GAAG,CAAC,uBAAuB,IAAI,IAAI;YAC5D,cAAc,EAAE,GAAG,CAAC,cAAc,IAAI,EAAE;SACzC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,2EAA2E;AAC3E,MAAM,UAAU,qBAAqB,CACnC,SAAiB,EACjB,KAAuB;IAEvB,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAC1C,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,mCAAmC,MAAM,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;AACH,CAAC"}

package/dist/curation/edges.d.ts

@@ -8,6 +8,9 @@ export declare const EDGE_AXES: readonly ["prompt", "input-neighborhood", "model
 export type EdgeAxis = (typeof EDGE_AXES)[number];
 export declare const EDGE_STATUSES: readonly ["candidate", "trigger-bearing", "revoked"];
 export type EdgeStatus = (typeof EDGE_STATUSES)[number];
+export declare const PREMISE_VOTES: readonly ["from", "to", "symmetric"];
+export type PremiseVote = (typeof PREMISE_VOTES)[number];
+export type DirectionVerdict = "directed" | "symmetric";
 export interface DerivesFromEdge {
     fromPath: string;
     toPath: string;
@@ -16,6 +19,7 @@ export interface DerivesFromEdge {
     firstObserved: string;
     lastRederived: string;
     status: EdgeStatus;
+    directionVerdict: DirectionVerdict;
     observations: number;
     contestedAt: string | null;
     contestReason: string | null;
@@ -27,6 +31,7 @@ export interface ObserveEdgeInput {
     blind: boolean;
     axis?: EdgeAxis;
     note?: string;
+    premiseVote?: PremiseVote;
     at?: string;
 }
 export interface ContestEdgeInput {

package/dist/curation/edges.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"edges.d.ts","sourceRoot":"","sources":["../../src/curation/edges.ts"],"names":[],"mappings":"AA2CA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EAGL,KAAK,OAAO,EAGb,MAAM,wBAAwB,CAAC;AAWhC,eAAO,MAAM,UAAU,IAAI,CAAC;AAK5B,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAKtC,eAAO,MAAM,qBAAqB,MAAM,CAAC;AAOzC,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAGtC,eAAO,MAAM,SAAS,oDAAqD,CAAC;AAC5E,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAElD,eAAO,MAAM,aAAa,sDAAuD,CAAC;AAClF,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAOxD,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,UAAU,CAAC;IAEnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IAEf,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEnD;AASD,wBAAgB,UAAU,IAAI,MAAM,CAEnC;AASD,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,GAAG,MAAM,CAKxF;AA6LD,wBAAsB,WAAW,CAC/B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CA0CzC;AAMD,wBAAsB,WAAW,CAC/B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAyCzC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB;AAID,wBAAsB,SAAS,CAC7B,SAAS,EAAE,MAAM,EACjB,MAAM,GAAE,eAAoB,EAC5B,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,KAAK,CAAC,CAAC,CAiB3C;AAED,wBAAsB,OAAO,CAC3B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,MAAM,CAAC,eAAe,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAQhD;AASD,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,OAAO,EACX,SAAS,EAAE,MAAM,EACjB,GAAG,GAAE,IAAiB,GACrB,MAAM,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,CAAC,CAwBlC;AAKD,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,CAAC,CASpF"}
+{"version":3,"file":"edges.d.ts","sourceRoot":"","sources":["../../src/curation/edges.ts"],"names":[],"mappings":"AA2CA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EAGL,KAAK,OAAO,EAGb,MAAM,wBAAwB,CAAC;AAWhC,eAAO,MAAM,UAAU,IAAI,CAAC;AAK5B,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAKtC,eAAO,MAAM,qBAAqB,MAAM,CAAC;AAOzC,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAGtC,eAAO,MAAM,SAAS,oDAAqD,CAAC;AAC5E,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAElD,eAAO,MAAM,aAAa,sDAAuD,CAAC;AAClF,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAKxD,eAAO,MAAM,aAAa,sCAAuC,CAAC;AAClE,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAMzD,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,WAAW,CAAC;AAOxD,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,UAAU,CAAC;IAGnB,gBAAgB,EAAE,gBAAgB,CAAC;IAEnC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IAGd,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IAEf,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEnD;AASD,wBAAgB,UAAU,IAAI,MAAM,CAEnC;AASD,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,GAAG,MAAM,CAKxF;AAwQD,wBAAsB,WAAW,CAC/B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAmDzC;AAMD,wBAAsB,WAAW,CAC/B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAyCzC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB;AAID,wBAAsB,SAAS,CAC7B,SAAS,EAAE,MAAM,EACjB,MAAM,GAAE,eAAoB,EAC5B,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,KAAK,CAAC,CAAC,CAiB3C;AAED,wBAAsB,OAAO,CAC3B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,MAAM,CAAC,eAAe,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAQhD;AASD,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,OAAO,EACX,SAAS,EAAE,MAAM,EACjB,GAAG,GAAE,IAAiB,GACrB,MAAM,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,CAAC,CAyBlC;AAKD,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,CAAC,CASpF"}

package/dist/curation/edges.js

@@ -69,6 +69,10 @@ export const EDGE_REPLAY_GAP_DAYS = 1;
 // Q3: the axes a re-derivation can vary to count as an independent vote.
 export const EDGE_AXES = ["prompt", "input-neighborhood", "model"];
 export const EDGE_STATUSES = ["candidate", "trigger-bearing", "revoked"];
+// Which endpoint an observation judged the load-bearing premise. "to" is the
+// normal directed case (birth orients premise on `to`); a "from"/"to" split or
+// an explicit "symmetric" collapses the edge's direction to unconfirmed.
+export const PREMISE_VOTES = ["from", "to", "symmetric"];
 export function edgesPath(vaultRoot) {
     return join(vaultRoot, ".daftari", "edges.jsonl");
 }
@@ -132,6 +136,30 @@ function edgeKey(from, to) {
     // Paths are vault-relative and never contain a newline; "\n" cannot collide.
     return `${from}\n${to}`;
 }
+// The DURABLE key is canonical (sorted), so the two orientations of a pair —
+// `(x,y)` and `(y,x)` — collapse to ONE edge. Direction is then a derived
+// property of the premise votes, not of key order: this is what makes a
+// post-edit orientation flip a from/to *split* (⇒ symmetric) instead of a
+// second contradictory directed twin. Output orientation is re-derived in
+// deriveEdge.
+function canonPair(from, to) {
+    return from <= to ? [from, to] : [to, from];
+}
+// Collapse the cycle's premise votes into a direction verdict (review C1):
+// empty (legacy) or unanimous from/to ⇒ directed; a from/to split or any
+// explicit symmetric vote ⇒ symmetric.
+function directionVerdictOf(votes) {
+    if (votes.has("symmetric"))
+        return "symmetric";
+    if (votes.has("from") && votes.has("to"))
+        return "symmetric";
+    return "directed";
+}
+function validPremiseVote(v) {
+    return typeof v === "string" && PREMISE_VOTES.includes(v)
+        ? v
+        : null;
+}
 // Collapses the append-only log to one current state per (from, to), applying
 // the strength-model rules in FILE order (the order events were appended —
 // the tools only ever append at the current instant, so file order is time
@@ -156,8 +184,22 @@ function collapse(records) {
         const from = rec.from;
         const to = rec.to;
         const at = rec.at;
-        const key = edgeKey(from, to);
+        const [cFrom, cTo] = canonPair(from, to);
+        const key = edgeKey(cFrom, cTo);
         const existing = byKey.get(key);
+        // Resolve this record's premise vote (relative to the record's own from/to)
+        // to a CANONICAL endpoint vote: "from" = canonical-first is the premise,
+        // "to" = canonical-second is the premise. Opposite orientations of the same
+        // pair therefore vote on the same canonical axis and a flip becomes a split.
+        const rawVote = validPremiseVote(rec.premiseVote);
+        let canonVote = null;
+        if (rawVote === "symmetric") {
+            canonVote = "symmetric";
+        }
+        else if (rawVote === "from" || rawVote === "to") {
+            const premisePath = rawVote === "to" ? to : from;
+            canonVote = premisePath === cFrom ? "from" : "to";
+        }
         if (rec.kind === "contest") {
             // A contest of an edge that was never observed cannot stand alone.
             if (!existing || existing.revoked)
@@ -183,8 +225,10 @@ function collapse(records) {
                 ? [`${rec.by}\n${rec.axis}`]
                 : [];
             byKey.set(key, {
-                fromPath: from,
-                toPath: to,
+                fromPath: cFrom,
+                toPath: cTo,
+                seedFrom: from,
+                seedTo: to,
                 kSurvived: 0,
                 firstObserved: at,
                 lastRederived: at,
@@ -193,10 +237,13 @@ function collapse(records) {
                 contestedAt: null,
                 contestReason: null,
                 votedPairs: new Set(seedPair),
+                premiseVotes: new Set(canonVote ? [canonVote] : []),
             });
             continue;
         }
         existing.observations += 1;
+        if (canonVote)
+            existing.premiseVotes.add(canonVote);
         const qualifying = rec.blind === true &&
             typeof rec.axis === "string" &&
             EDGE_AXES.includes(rec.axis) &&
@@ -226,14 +273,34 @@ function deriveEdge(state, now) {
         : strength >= EDGE_TRIGGER_STRENGTH
             ? "trigger-bearing"
             : "candidate";
+    // Re-derive the OUTPUT orientation (from=dependent, to=premise). The state's
+    // fromPath/toPath are canonical; direction lives in the votes:
+    //   - symmetric ⇒ keep canonical order (direction unconfirmed, won't propagate)
+    //   - directed with votes ⇒ premise = the voted canonical endpoint
+    //   - directed without votes (legacy) ⇒ preserve the seed's original orientation
+    const verdict = directionVerdictOf(state.premiseVotes);
+    let fromPath = state.fromPath;
+    let toPath = state.toPath;
+    if (verdict === "directed") {
+        if (state.premiseVotes.size === 0) {
+            fromPath = state.seedFrom;
+            toPath = state.seedTo;
+        }
+        else {
+            const premiseIsFrom = state.premiseVotes.has("from"); // unanimous when directed
+            fromPath = premiseIsFrom ? state.toPath : state.fromPath; // dependent
+            toPath = premiseIsFrom ? state.fromPath : state.toPath; // premise
+        }
+    }
     return {
-        fromPath: state.fromPath,
-        toPath: state.toPath,
+        fromPath,
+        toPath,
         strength,
         kSurvived: state.kSurvived,
         firstObserved: state.firstObserved,
         lastRederived: state.lastRederived,
         status,
+        directionVerdict: verdict,
         observations: state.observations,
         contestedAt: state.contestedAt,
         contestReason: state.contestReason,
@@ -261,6 +328,10 @@ export async function observeEdge(vaultRoot, input) {
     if (input.at !== undefined && !Number.isFinite(Date.parse(input.at))) {
         return err(new Error("observeEdge 'at' must be a parseable timestamp"));
     }
+    if (input.premiseVote !== undefined &&
+        !PREMISE_VOTES.includes(input.premiseVote)) {
+        return err(new Error(`observeEdge 'premiseVote' must be one of: ${PREMISE_VOTES.join(", ")}`));
+    }
     const record = {
         kind: "observe",
         from: input.fromPath.trim(),
@@ -270,6 +341,7 @@ export async function observeEdge(vaultRoot, input) {
         blind: input.blind,
         axis: input.axis ?? null,
         ...(input.note ? { note: input.note } : {}),
+        ...(input.premiseVote ? { premiseVote: input.premiseVote } : {}),
     };
     try {
         mkdirSync(join(vaultRoot, ".daftari"), { recursive: true });
@@ -279,7 +351,7 @@ export async function observeEdge(vaultRoot, input) {
         const reason = e instanceof Error ? e.message : String(e);
         return err(new Error(`cannot record edge observation: ${reason}`));
     }
-    const after = collapse(readRawRecords(vaultRoot)).get(edgeKey(record.from, record.to));
+    const after = collapse(readRawRecords(vaultRoot)).get(edgeKey(...canonPair(record.from, record.to)));
     if (!after)
         return err(new Error("edge not found after write"));
     return ok(deriveEdge(after, new Date()));
@@ -300,7 +372,7 @@ export async function contestEdge(vaultRoot, input) {
     }
     const from = input.fromPath.trim();
     const to = input.toPath.trim();
-    const current = collapse(readRawRecords(vaultRoot)).get(edgeKey(from, to));
+    const current = collapse(readRawRecords(vaultRoot)).get(edgeKey(...canonPair(from, to)));
     if (!current) {
         return err(new Error(`contestEdge: no such edge: ${from} derives_from ${to}`));
     }
@@ -323,7 +395,7 @@ export async function contestEdge(vaultRoot, input) {
         const reason = e instanceof Error ? e.message : String(e);
         return err(new Error(`cannot record edge contest: ${reason}`));
     }
-    const after = collapse(readRawRecords(vaultRoot)).get(edgeKey(from, to));
+    const after = collapse(readRawRecords(vaultRoot)).get(edgeKey(...canonPair(from, to)));
     if (!after)
         return err(new Error("edge not found after write"));
     return ok(deriveEdge(after, new Date()));
@@ -351,7 +423,7 @@ export async function listEdges(vaultRoot, filter = {}, now = new Date()) {
 }
 export async function getEdge(vaultRoot, fromPath, toPath, now = new Date()) {
     try {
-        const state = collapse(readRawRecords(vaultRoot)).get(edgeKey(fromPath, toPath));
+        const state = collapse(readRawRecords(vaultRoot)).get(edgeKey(...canonPair(fromPath, toPath)));
         return ok(state ? deriveEdge(state, now) : null);
     }
     catch (e) {
@@ -378,6 +450,7 @@ export function rebuildEdgesIndex(db, vaultRoot, now = new Date()) {
             last_rederived: e.lastRederived,
             last_age_decay: at,
             status: e.status,
+            direction_verdict: e.directionVerdict,
         }));
         const write = db.transaction(() => {
             clearDerivesFromEdges(db);