@aligndottech/cli 0.50.0 → 0.52.0

package/dist/detector/detector-version.js

@@ -0,0 +1,36 @@
+/**
+ * Which local relationship detector runs: `ALIGN_DETECTOR`, `v1` (default) or `v0`.
+ *
+ * v1 is the shared detector (one call per check over every candidate, the hosted base prompt,
+ * the `incompatible` verdict resolved deterministically). v0 is the pairwise classifier the CLI
+ * shipped first. v1 is the default: the same detector the paid product runs. It passes on a 7B local model (qwen2.5:7b, addendum 7), but not on the 3B llama3.2, so set ALIGN_DETECTOR=v0 if your only local model is small. The Phase A
+ * confirmatory run met its rule on claude-haiku-4-5 only, and it lowers recall on llama3.2, so
+ * v1 is the default again once qwen2.5:7b passed the same rule (scores in docs/local-mode.md). An unknown value is an error,
+ * never a fallback: a typo must not silently run the default.
+ */
+export const DETECTOR_VERSIONS = ['v0', 'v1'];
+export function resolveDetectorVersion(env = process.env, saved) {
+    const raw = env['ALIGN_DETECTOR'];
+    if (raw === undefined || raw.trim() === '') {
+        // The saved choice (`align config detector`) applies when the env var is unset. It is validated
+        // here too, so a hand-edited value fails loudly instead of quietly running the default.
+        if (saved === undefined)
+            return 'v1';
+        if (DETECTOR_VERSIONS.includes(saved))
+            return saved;
+        throw new Error(`detector "${saved}" in the saved config is not a detector version. Allowed: ${DETECTOR_VERSIONS.join(', ')}. Fix it with: align config detector v0`);
+    }
+    const value = raw.trim();
+    if (DETECTOR_VERSIONS.includes(value))
+        return value;
+    throw new Error(`ALIGN_DETECTOR="${raw}" is not a detector version. Allowed: ${DETECTOR_VERSIONS.join(', ')} (unset means v1).`);
+}
+/** Where the active detector comes from, for `align config detector` and `align status`. */
+export function detectorSource(env, saved) {
+    if (env['ALIGN_DETECTOR']?.trim())
+        return 'ALIGN_DETECTOR';
+    if (saved !== undefined)
+        return 'saved with align config detector';
+    return 'default';
+}
+//# sourceMappingURL=detector-version.js.map

package/dist/detector/detector-version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detector-version.js","sourceRoot":"","sources":["../../src/detector/detector-version.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC;AAGvD,MAAM,UAAU,sBAAsB,CACpC,MAA0C,OAAO,CAAC,GAAG,EACrD,KAAc;IAEd,MAAM,GAAG,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3C,gGAAgG;QAChG,wFAAwF;QACxF,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACrC,IAAK,iBAAuC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAwB,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,6DAA6D,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACxK,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACzB,IAAK,iBAAuC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAwB,CAAC;IAC9F,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,yCAAyC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;AACnI,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,GAAuC,EAAE,KAAyB;IAC/F,IAAI,GAAG,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE;QAAE,OAAO,gBAAgB,CAAC;IAC3D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,kCAAkC,CAAC;IACnE,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/detector/relationship-contract.d.ts

@@ -0,0 +1,30 @@
+/**
+ * The relationship contract, TypeScript half: the data in relationship-contract.v1.json plus the
+ * parser for one model answer and the check that the lists in the file agree with each other.
+ *
+ * Pure: no I/O, no network, no model call. This file is vendored byte for byte into align-stack's
+ * packages/llm-eval and pinned there by relationship-contract.lock (the brain keeps a Python twin,
+ * app/relationship_contract.py, that runs the same parse-vectors.json). Edit it here and run
+ * scripts/sync-relationship-contract.sh in align-stack; never edit a copy.
+ *
+ * Words are split on ASCII space, tab, CR and LF only, so that a non-breaking space counts the
+ * same in both languages. JSON is strict: NaN and Infinity are not JSON and drop the item.
+ */
+import contractJson from './relationship-contract.v1.json';
+export type RelationshipContract = typeof contractJson;
+export type OfferName = keyof RelationshipContract['offers'];
+export interface ParsedRelationshipItem {
+    type: string;
+    confidence: number;
+    reason: string;
+    evidence: {
+        new_quote: string;
+        existing_quote: string;
+    } | null;
+    replaced: 'new' | 'existing' | null;
+}
+export declare const RELATIONSHIP_CONTRACT: RelationshipContract;
+export declare function parseRelationshipItem(raw: string, offer: OfferName, contract?: RelationshipContract): ParsedRelationshipItem | null;
+/** What is wrong with the lists in a contract, one sentence each. Empty means they agree. */
+export declare function contractProblems(contract: RelationshipContract): string[];
+//# sourceMappingURL=relationship-contract.d.ts.map

package/dist/detector/relationship-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-contract.d.ts","sourceRoot":"","sources":["../../src/detector/relationship-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,YAAY,MAAM,iCAAiC,CAAuB;AAEjF,MAAM,MAAM,oBAAoB,GAAG,OAAO,YAAY,CAAC;AACvD,MAAM,MAAM,SAAS,GAAG,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC;AAE7D,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC/D,QAAQ,EAAE,KAAK,GAAG,UAAU,GAAG,IAAI,CAAC;CACrC;AAED,eAAO,MAAM,qBAAqB,EAAE,oBAAmC,CAAC;AAyCxE,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,EAChB,QAAQ,GAAE,oBAA4C,GACrD,sBAAsB,GAAG,IAAI,CA6B/B;AAED,6FAA6F;AAC7F,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,EAAE,CAqBzE"}

package/dist/detector/relationship-contract.js

@@ -0,0 +1,120 @@
+/**
+ * The relationship contract, TypeScript half: the data in relationship-contract.v1.json plus the
+ * parser for one model answer and the check that the lists in the file agree with each other.
+ *
+ * Pure: no I/O, no network, no model call. This file is vendored byte for byte into align-stack's
+ * packages/llm-eval and pinned there by relationship-contract.lock (the brain keeps a Python twin,
+ * app/relationship_contract.py, that runs the same parse-vectors.json). Edit it here and run
+ * scripts/sync-relationship-contract.sh in align-stack; never edit a copy.
+ *
+ * Words are split on ASCII space, tab, CR and LF only, so that a non-breaking space counts the
+ * same in both languages. JSON is strict: NaN and Infinity are not JSON and drop the item.
+ */
+import contractJson from './relationship-contract.v1.json' with { type: 'json' };
+export const RELATIONSHIP_CONTRACT = contractJson;
+/** The first balanced `{...}` in the text, string-aware, or null. No retry on a later object. */
+function firstObjectText(raw) {
+    const start = raw.indexOf('{');
+    if (start < 0)
+        return null;
+    let depth = 0;
+    let inString = false;
+    let escaped = false;
+    for (let i = start; i < raw.length; i++) {
+        const ch = raw[i];
+        if (inString) {
+            if (escaped)
+                escaped = false;
+            else if (ch === '\\')
+                escaped = true;
+            else if (ch === '"')
+                inString = false;
+        }
+        else if (ch === '"')
+            inString = true;
+        else if (ch === '{')
+            depth++;
+        else if (ch === '}') {
+            depth--;
+            if (depth === 0)
+                return raw.slice(start, i + 1);
+        }
+    }
+    return null;
+}
+function wordCount(quote) {
+    return quote.split(/[ \t\n\r]+/).filter((w) => w !== '').length;
+}
+/** Both quotes present, non-blank and within the cap, or null. A half-populated pair reads as absent. */
+function readEvidence(value, maxWords) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return null;
+    const { new_quote: newQuote, existing_quote: existingQuote } = value;
+    if (typeof newQuote !== 'string' || typeof existingQuote !== 'string')
+        return null;
+    for (const quote of [newQuote, existingQuote]) {
+        const words = wordCount(quote);
+        if (words === 0 || words > maxWords)
+            return null;
+    }
+    return { new_quote: newQuote, existing_quote: existingQuote };
+}
+export function parseRelationshipItem(raw, offer, contract = RELATIONSHIP_CONTRACT) {
+    if (!Object.hasOwn(contract.offers, offer)) {
+        throw new Error(`Unknown offer list "${offer}". Allowed: ${Object.keys(contract.offers).join(', ')}.`);
+    }
+    const text = firstObjectText(raw);
+    if (text === null)
+        return null;
+    let obj;
+    try {
+        obj = JSON.parse(text);
+    }
+    catch {
+        return null;
+    }
+    const type = obj['type'];
+    if (typeof type !== 'string' || !contract.offers[offer].includes(type))
+        return null;
+    const [low, high] = contract.parse.confidenceClamp;
+    const confidence = typeof obj['confidence'] === 'number'
+        ? Math.min(Math.max(obj['confidence'], low), high)
+        : contract.parse.confidenceDefault;
+    const evidence = readEvidence(obj['evidence'], contract.parse.evidenceMaxWords);
+    if (evidence === null && contract.verdictTypes.includes(type))
+        return null;
+    const replaced = obj['replaced'] === 'new' || obj['replaced'] === 'existing' ? obj['replaced'] : null;
+    return {
+        type,
+        confidence,
+        reason: typeof obj['reason'] === 'string' ? obj['reason'] : '',
+        evidence,
+        replaced,
+    };
+}
+/** What is wrong with the lists in a contract, one sentence each. Empty means they agree. */
+export function contractProblems(contract) {
+    const problems = [];
+    const types = contract.types;
+    const verdicts = contract.verdictTypes;
+    for (const t of new Set(types.filter((x, i) => types.indexOf(x) !== i))) {
+        problems.push(`duplicate in types: "${t}"`);
+    }
+    for (const v of verdicts) {
+        if (types.includes(v))
+            problems.push(`"${v}" is listed in types but is a verdict type, never a stored one`);
+    }
+    for (const [name, list] of Object.entries(contract.offers)) {
+        for (const t of list) {
+            if (!types.includes(t) && !verdicts.includes(t)) {
+                problems.push(`offers.${name} lists "${t}", which is not in types`);
+            }
+        }
+    }
+    for (const t of contract.conflictFamily) {
+        if (!types.includes(t))
+            problems.push(`conflictFamily lists "${t}", which is not in types`);
+    }
+    return problems;
+}
+//# sourceMappingURL=relationship-contract.js.map

package/dist/detector/relationship-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-contract.js","sourceRoot":"","sources":["../../src/detector/relationship-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,YAAY,MAAM,iCAAiC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAajF,MAAM,CAAC,MAAM,qBAAqB,GAAyB,YAAY,CAAC;AAExE,iGAAiG;AACjG,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,OAAO;gBAAE,OAAO,GAAG,KAAK,CAAC;iBACxB,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,GAAG,IAAI,CAAC;iBAChC,IAAI,EAAE,KAAK,GAAG;gBAAE,QAAQ,GAAG,KAAK,CAAC;QACxC,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG;YAAE,QAAQ,GAAG,IAAI,CAAC;aAClC,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACxB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;AAClE,CAAC;AAED,yGAAyG;AACzG,SAAS,YAAY,CAAC,KAAc,EAAE,QAAgB;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,KAAgC,CAAC;IAChG,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,OAAO,aAAa,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnF,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,IAAI,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,GAAW,EACX,KAAgB,EAChB,WAAiC,qBAAqB;IAEtD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,uBAAuB,KAAK,eAAe,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,GAA4B,CAAC;IACjC,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAE3G,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,eAAmC,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,QAAQ;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;QAClD,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAChF,IAAI,QAAQ,KAAK,IAAI,IAAK,QAAQ,CAAC,YAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClG,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtG,OAAO;QACL,IAAI;QACJ,UAAU;QACV,MAAM,EAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAC9D,QAAQ;QACR,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,gBAAgB,CAAC,QAA8B;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAsB,QAAQ,CAAC,KAAK,CAAC;IAChD,MAAM,QAAQ,GAAsB,QAAQ,CAAC,YAAY,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC9G,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChD,QAAQ,CAAC,IAAI,CAAC,UAAU,IAAI,WAAW,CAAC,0BAA0B,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,0BAA0B,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/detector/relationship-contract.v1.json

@@ -0,0 +1,53 @@
+{
+    "contract": "align.relationship",
+    "version": 1,
+    "revision": "2026-10-11 r2: adds relationship-prompt.v1.txt, the shared v1 base prompt (hosted ANALYSIS_RULES rules 0-3, the similar[] item schema and type list, no hosted-only extensions)",
+    "types": [
+        "blocks",
+        "clarifies",
+        "conflicts_with",
+        "contradicts",
+        "corrects",
+        "duplicates",
+        "excepts",
+        "implements",
+        "partially_supersedes",
+        "questions",
+        "refines",
+        "relates",
+        "supersedes",
+        "supports"
+    ],
+    "offers": {
+        "legacyV0": [
+            "supersedes",
+            "conflicts_with",
+            "contradicts",
+            "duplicates",
+            "clarifies",
+            "relates",
+            "refines",
+            "supports",
+            "questions",
+            "blocks"
+        ],
+        "v1Candidate": [
+            "incompatible",
+            "relates",
+            "duplicates",
+            "refines",
+            "clarifies",
+            "blocks",
+            "questions",
+            "supports"
+        ]
+    },
+    "verdictTypes": ["incompatible"],
+    "conflictFamily": ["conflicts_with", "contradicts"],
+    "parse": {
+        "confidenceDefault": 0.5,
+        "confidenceClamp": [0, 1],
+        "evidenceMaxWords": 15
+    },
+    "temperature": 0
+}

package/dist/detector/relationship-prompt.d.ts

@@ -0,0 +1,20 @@
+export interface V1Subject {
+    title: string;
+    summary: string;
+    decidedAt?: string | null;
+    platform?: string | null;
+}
+export interface V1Candidate {
+    title: string;
+    summary: string;
+    similarity: number;
+    platform?: string | null;
+    decidedAt?: string | null;
+    status?: string | null;
+}
+export declare const V1_TEMPLATE_REVISION: string;
+export declare function buildV1SystemPrompt(): string;
+/** max(n * 512, 2048), capped at 8192 - the brain's formula (plan Decision 6). */
+export declare function v1MaxTokens(candidateCount: number): number;
+export declare function buildV1UserPrompt(subject: V1Subject, candidates: readonly V1Candidate[], windowTokens: number, outputTokens: number): string;
+//# sourceMappingURL=relationship-prompt.d.ts.map

package/dist/detector/relationship-prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-prompt.d.ts","sourceRoot":"","sources":["../../src/detector/relationship-prompt.ts"],"names":[],"mappings":"AAeA,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,eAAO,MAAM,oBAAoB,QAAwB,CAAC;AAO1D,wBAAgB,mBAAmB,IAAI,MAAM,CAG5C;AAOD,kFAAkF;AAClF,wBAAgB,WAAW,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,WAAW,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,CAoB5I"}

package/dist/detector/relationship-prompt.js

@@ -0,0 +1,55 @@
+/**
+ * The v1 detector's prompt: the shared base (three byte-exact slices of the hosted ANALYSIS_RULES,
+ * in relationship-prompt.v1.json) wrapped in a CLI head, plus the user prompt listing every
+ * candidate in ONE call. The user prompt mirrors the hosted single-path shape (NEW DECISION,
+ * SIMILAR DECISIONS numbered, never an id) so one prompt revision means the same thing on both.
+ *
+ * What the local graph cannot supply is left out rather than invented: there is no author column,
+ * so no By line is ever rendered, and the resolver treats every local author as unknown.
+ *
+ * Pure: no I/O.
+ */
+import template from './relationship-prompt.v1.json' with { type: 'json' };
+import { isRetired, parseDecidedAt } from './resolve-pair.js';
+import { charsForTokens, estimateTokens } from '../lib/token-estimate.js';
+export const V1_TEMPLATE_REVISION = template.sourceSha256;
+const HEAD = 'You are an AI that analyzes decisions for conflicts and relationships.\n\n'
+    + 'Analyze and respond in JSON format:\n{\n  "relationships": {\n    "similar": [\n      ';
+const TAIL = '\n    ]\n  }\n}\n\n'
+    + 'Give an entry only for a SIMILAR DECISION that is related to the NEW DECISION. Omit any that are not; an omitted decision gets no relationship.\n\n';
+export function buildV1SystemPrompt() {
+    const { itemSchema, rules, types } = template.sections;
+    return `${HEAD}${itemSchema}${TAIL}${rules}\n\n${types}`;
+}
+const day = (value) => {
+    const us = parseDecidedAt(value);
+    return us === null ? null : new Date(Number(us / 1000n)).toISOString().slice(0, 10);
+};
+/** max(n * 512, 2048), capped at 8192 - the brain's formula (plan Decision 6). */
+export function v1MaxTokens(candidateCount) {
+    return Math.min(Math.max(candidateCount * 512, 2048), 8192);
+}
+export function buildV1UserPrompt(subject, candidates, windowTokens, outputTokens) {
+    const subjectDay = day(subject.decidedAt);
+    const head = `Analyze this decision for relationships.\n\nNEW DECISION:\nTitle: ${subject.title}\nSummary: `;
+    const headTail = `\nPlatform: ${(subject.platform ?? 'cli').toLowerCase()}\n${subjectDay ? `Decided: ${subjectDay}\n` : ''}`
+        + '\nCONTEXT:\n- The Decided/By lines are facts captured from the source tools. Use them as context for whether two texts address the same subject; do not infer facts that are not shown.\n\n'
+        + 'SIMILAR DECISIONS:\n';
+    const lines = candidates.map((c, i) => {
+        const bits = [];
+        if (isRetired(c.status))
+            bits.push('RETIRED');
+        const d = day(c.decidedAt);
+        if (d)
+            bits.push(`decided ${d}`);
+        const facts = bits.length ? ` [${bits.join(' | ')}]` : '';
+        return `${i + 1}. ${c.title} (similarity: ${c.similarity.toFixed(2)}) [Platform: ${(c.platform ?? 'unknown').toLowerCase()}]${facts}\n   `;
+    });
+    // Titles and labels are never cut; the summaries share what is left of the window equally.
+    const fixed = estimateTokens(buildV1SystemPrompt()) + outputTokens + estimateTokens(head + headTail + lines.join('\n\n'));
+    const perSummary = charsForTokens(Math.floor(Math.max(0, windowTokens - fixed) / (candidates.length + 1)));
+    const cut = (s) => (s.length > perSummary ? s.slice(0, perSummary) : s);
+    const body = candidates.map((c, i) => `${lines[i]}${cut(c.summary)}\n`).join('\n');
+    return `${head}${cut(subject.summary)}${headTail}${body}`;
+}
+//# sourceMappingURL=relationship-prompt.js.map

package/dist/detector/relationship-prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-prompt.js","sourceRoot":"","sources":["../../src/detector/relationship-prompt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,QAAQ,MAAM,+BAA+B,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAkB1E,MAAM,CAAC,MAAM,oBAAoB,GAAG,QAAQ,CAAC,YAAY,CAAC;AAE1D,MAAM,IAAI,GAAG,4EAA4E;MACrF,wFAAwF,CAAC;AAC7F,MAAM,IAAI,GAAG,qBAAqB;MAC9B,qJAAqJ,CAAC;AAE1J,MAAM,UAAU,mBAAmB;IACjC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACvD,OAAO,GAAG,IAAI,GAAG,UAAU,GAAG,IAAI,GAAG,KAAK,OAAO,KAAK,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,KAAgC,EAAiB,EAAE;IAC9D,MAAM,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACtF,CAAC,CAAC;AAEF,kFAAkF;AAClF,MAAM,UAAU,WAAW,CAAC,cAAsB;IAChD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,GAAG,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAkB,EAAE,UAAkC,EAAE,YAAoB,EAAE,YAAoB;IAClI,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,qEAAqE,OAAO,CAAC,KAAK,aAAa,CAAC;IAC7G,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,UAAU,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;UACxH,6LAA6L;UAC7L,sBAAsB,CAAC;IAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,IAAI,KAAK,OAAO,CAAC;IAC7I,CAAC,CAAC,CAAC;IACH,2FAA2F;IAC3F,MAAM,KAAK,GAAG,cAAc,CAAC,mBAAmB,EAAE,CAAC,GAAG,YAAY,GAAG,cAAc,CAAC,IAAI,GAAG,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1H,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,OAAO,GAAG,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,QAAQ,GAAG,IAAI,EAAE,CAAC;AAC5D,CAAC"}

package/dist/detector/relationship-prompt.v1.json

@@ -0,0 +1,13 @@
+{
+    "template": "align.relationship.prompt",
+    "version": 1,
+    "note": "Generated by scripts/extract-shared-prompt.py. Each section is a byte-exact slice of the hosted ANALYSIS_RULES. Do not hand-edit.",
+    "source": "services/brain/app/prompts/change_analysis.py ANALYSIS_RULES",
+    "sourceCommit": "e8ee8c820",
+    "sourceSha256": "2d1c378330ac036746bd2197386b3005a90eed2302125343b1127875ca3739b4",
+    "sections": {
+        "itemSchema": "{\"decision_ref\": <the number of the SIMILAR DECISION above>, \"type\": \"incompatible|relates|duplicates|refines|clarifies|blocks|questions|supports\", \"confidence\": 0.0-1.0, \"reasons\": [\"...\"], \"evidence\": {\"new_quote\": \"...\", \"existing_quote\": \"...\"}, \"replaced\": \"new\" | \"existing\" | null}",
+        "rules": "CRITICAL INSTRUCTIONS FOR RELATIONSHIP DETECTION:\n0. **AGREEMENT CHECK (do this BEFORE 1 or 2, on every SIMILAR DECISION pair)**: a decision stating a GENERAL rule (\"when situation X happens, do Y\") and a decision describing one CONCRETE instance of applying that SAME rule (\"this case was situation X, so we did Y\") are NOT incompatible - the second is an example of the first, not an opposing stance. This holds even when the concrete instance names specific details (a version number, a parameter value, a ticket) that the general rule states only abstractly, and even when the general rule was written AFTER the instance, extracted FROM it. Report \"relates\" or \"supports\" for this shape, never \"incompatible\". Only report \"incompatible\" when the two decisions could not BOTH be applied to the SAME concrete situation - never merely because one names a specific case and the other states the rule behind it.\n   Worked example: existing decision \"bump the deploy pin and CLI version together whenever a change adds a new CLI flag\" (a general rule) vs new decision \"bump the deploy pin and CLI version to 0.11.0 to add the --title flag\" (one concrete case of following that exact rule) -> COMPLYING, not opposing -> \"relates\" or \"supports\", never \"incompatible\".\n\n1. **INCOMPATIBLE** - report type \"incompatible\" when the NEW DECISION and a SIMILAR DECISION take positions on the SAME subject that cannot both hold (e.g. \"use X\" vs \"use Y\" for the same job, a value set to 50 vs the same value capped at 25) - AFTER the agreement check above has ruled out the general-rule/concrete-instance shape. You do NOT decide whether that is a conflict or a supersession - that verdict is computed outside this call from the Decided/By facts. For every \"incompatible\" entry you MUST also return:\n   - \"evidence\": a verbatim quote from EACH side, max 15 words each, showing the two stances that cannot both hold (\"new_quote\" from the NEW DECISION, \"existing_quote\" from that SIMILAR DECISION).\n   - \"replaced\": the side whose OWN text explicitly references and replaces the other (\"switching from X\", \"instead of the earlier plan\", \"reverting the Y change\") - \"new\" if the NEW DECISION's text does the replacing, \"existing\" if the SIMILAR DECISION's text does, else null. Merely restating the same topic is NOT an explicit reference.\n   \"evidence\" and \"replaced\" are only for \"incompatible\" entries; omit them otherwise.\n\n2. **ARCHITECTURAL INCOMPATIBILITY**: report \"incompatible\" when two decisions propose approaches that CANNOT both be implemented simultaneously:\n   - Different technology stacks for the same component (e.g., \"use SQS batching\" vs \"use synchronous REST\")\n   - Different architectural patterns for the same pipeline (e.g., \"standalone worker service\" vs \"inline microservice\")\n   - Contradictory resource allocation - two proposals each specifying a different value for the same parameter\n   - Key signal: decisions about the SAME system that propose mutually exclusive designs\n\n3. **REFINES vs CLARIFIES**:\n   - Use \"refines\" when adding CONCRETE IMPLEMENTATION DETAILS (specs, architecture, API design, rate limits, error codes)\n   - Use \"clarifies\" when adding CONTEXT or EXPLANATION (why we made this decision, background, rationale)\n   - Example: Slack says \"implement rate limiting\" → Jira adds \"429 status, 1000 req/min\" → REFINES\n   - Example: Slack says \"use Redis\" → Comment adds \"chosen for performance\" → CLARIFIES",
+        "types": "Relationship types (SIMILAR DECISIONS):\n- incompatible: The two decisions take positions on the same subject that cannot both hold - the conflict-vs-supersession verdict is computed outside this call from the Decided/By facts\n- refines: ENHANCES or adds IMPLEMENTATION DETAILS to existing decision (specifications, technical details, concrete steps)\n- clarifies: Adds detail without changing the core decision (explanations, context, rationale)\n- duplicates: Essentially the same decision repeated\n- relates: Related but not conflicting\n- blocks: One decision PREVENTS progress on another (keywords: \"cannot proceed until\", \"blocked by\", \"depends on\")\n- questions: One decision RAISES CONCERNS about another (keywords: \"are we sure\", \"what about\", \"concern about\")\n- supports: One decision provides EVIDENCE for another (keywords: \"this supports\", \"validates\", \"confirms\")"
+    }
+}

package/dist/detector/resolve-pair.d.ts

@@ -0,0 +1,39 @@
+/**
+ * TypeScript port of the brain's pure pair resolver, `resolve_incompatible_pair` in align-stack
+ * `services/brain/app/relationship_type_rules.py` (ALI-625, ALI-1042, ALI-1050).
+ *
+ * The model reports only that two decisions are INCOMPATIBLE, plus which side's own text replaces
+ * the other. Whether that is a supersession or a conflict is a question about dates, authorship
+ * and status, so it is computed here and never taken from the model. Every ambiguous case
+ * resolves to the non-destructive `conflicts_with`.
+ *
+ * Checked against resolver-vectors.json, generated by running the brain's REAL function
+ * (scripts/gen-resolver-vectors.py). Change the brain first, regenerate, then port.
+ *
+ * Pure: no I/O, no clock, no network.
+ */
+/** Within this window two decisions are concurrent and a supersession is refused. */
+export declare const CONCURRENT_WINDOW_HOURS = 24;
+export interface PairSide {
+    id: string;
+    /** ISO 8601 text, or null. Unparseable reads as missing, which refuses the destructive edge. */
+    decidedAt: string | null;
+    /** null = unknown. Two unknown authors are never the same author. */
+    author: string | null;
+    status?: string | null;
+    standing?: string | null;
+    exceptedBy?: readonly string[];
+}
+export interface Resolution {
+    type: 'supersedes' | 'conflicts_with';
+    fromId: string;
+    toId: string;
+}
+/** Microseconds since 1970-01-01T00:00:00Z, or null where Python's parse_decided_at gives None (or raises). */
+export declare function parseDecidedAt(value: unknown): bigint | null;
+export declare function pyStrip(s: string): string;
+export declare function normalizeAuthor(value: unknown): string | null;
+export declare function isRetired(status: string | null | undefined): boolean;
+/** The edge for an incompatible pair, or null for no edge at all. */
+export declare function resolveIncompatiblePair(a: PairSide, b: PairSide, explicitReplacementBy?: string | null): Resolution | null;
+//# sourceMappingURL=resolve-pair.d.ts.map

package/dist/detector/resolve-pair.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-pair.d.ts","sourceRoot":"","sources":["../../src/detector/resolve-pair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,qFAAqF;AACrF,eAAO,MAAM,uBAAuB,KAAK,CAAC;AAO1C,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,gGAAgG;IAChG,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,qEAAqE;IACrE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,YAAY,GAAG,gBAAgB,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AA4JD,+GAA+G;AAC/G,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAsD5D;AAKD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAMzC;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAK7D;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAEpE;AAKD,qEAAqE;AACrE,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,qBAAqB,GAAE,MAAM,GAAG,IAAW,GAAG,UAAU,GAAG,IAAI,CAoBhI"}