universal-physics-tensor 0.45.2 → 0.47.0

package/dist/atlas/applicability.js

@@ -0,0 +1,301 @@
+/**
+ * Atlas Phase 4, S4.1 — the applicability checker.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §1.
+ *
+ * **This module answers "what about this bridge is not checked?", and it
+ * returns FINDINGS rather than a boolean.** A boolean would have to choose
+ * between "unchecked" and "wrong", and those are the two states the module
+ * exists to keep apart. Every finding therefore carries a
+ * {@link ApplicabilitySeverity}:
+ *
+ *  - `'blocking'` — the data CONTRADICTS ITSELF. A dimensional failure, two
+ *    records declaring opposite conventions, a literal zero divisor.
+ *  - `'question'` — the data is SILENT. A divisor nobody guarded, a convention
+ *    only one side declares, two premise models whose relationship is
+ *    unrecorded.
+ *
+ * `src/atlas/conventions.ts` already argues this asymmetry at length for the
+ * convention comparison: absence is not disagreement. The same reasoning
+ * governs every rule here. Collapsing the two severities would report "four
+ * findings" for a record whose only defect is that nobody wrote something
+ * down, and would bury a genuine contradiction among them.
+ *
+ * **Nothing here mutates a record and nothing here is a verdict.** The checker
+ * has no authority to promote or reject: it produces the list a reviewer reads.
+ * That is the same firewall the rest of the repo keeps — no machine verdict
+ * mutates a catalog.
+ *
+ * @module atlas/applicability
+ * @internal
+ */
+import { validate } from '../dimensional/validator.js';
+import { checkConventions, unknownConventionKeys } from './conventions.js';
+/**
+ * Non-vanishing markers a side condition may use. Matched case-insensitively
+ * against the side-condition prose.
+ *
+ * ⚠ **Shallow by design, and the asymmetry is the point** (design note §1.3).
+ * A side condition is free text and no parser exists for it. The failure mode
+ * is a FALSE QUESTION — a genuinely guarded divisor phrased in words this list
+ * does not know — never a false clearance, because a divisor absent from the
+ * prose cannot match any marker. The check over-asks rather than over-clears.
+ */
+const NONVANISHING_MARKERS = [
+    '≠ 0',
+    '≠0',
+    '!= 0',
+    '!=0',
+    '<> 0',
+    '<>0',
+    'nonzero',
+    'non-zero',
+    'non zero',
+    '> 0',
+    '>0',
+    'positive',
+];
+/** Free symbol names appearing anywhere in a subtree. */
+function symbolNames(node, into = new Set()) {
+    if (node.kind === 'symbol') {
+        into.add(node.name);
+        return into;
+    }
+    for (const child of childNodes(node))
+        symbolNames(child, into);
+    return into;
+}
+/**
+ * The `ExprNode` children of a node, for the scalar grammar this checker
+ * reasons about. Tensor and curvature node families have no children here and
+ * return `[]`: the side-condition and squaring rules are statements about
+ * scalar algebra, and silently descending into a tensor node would invite
+ * findings whose `where` path means nothing to a reader.
+ */
+function childNodes(node) {
+    switch (node.kind) {
+        case 'op':
+            return node.args;
+        case 'integral':
+            return [node.over, node.integrand, ...(node.lower ? [node.lower] : []),
+                ...(node.upper ? [node.upper] : [])];
+        case 'derivative':
+            return [node.of, node.wrt];
+        case 'dirac-delta':
+            return [node.arg];
+        case 'variational-derivative':
+            return [node.functional, node.field, node.over];
+        case 'transcendental':
+            return [node.arg];
+        case 'abs':
+            return [node.arg];
+        default:
+            return [];
+    }
+}
+/**
+ * The numeric value of a leaf that IS a literal, or `null`.
+ *
+ * Literals are `symbol` leaves whose `name` parses as a number — the same
+ * convention `validator.ts` uses to recognise a literal exponent, so the two
+ * cannot disagree about what a literal is.
+ */
+function literalValue(node) {
+    if (node.kind !== 'symbol')
+        return null;
+    if (node.name.trim() === '')
+        return null;
+    const v = Number(node.name);
+    return Number.isFinite(v) ? v : null;
+}
+/** Is `name` guarded as non-vanishing by any of the stated side conditions? */
+function isGuarded(name, sideConditions) {
+    const needle = name.toLowerCase();
+    return sideConditions.some((raw) => {
+        const s = raw.toLowerCase();
+        if (!s.includes(needle))
+            return false;
+        return NONVANISHING_MARKERS.some((m) => s.includes(m));
+    });
+}
+/** An even, integer literal exponent, or `null` when the exponent is anything else. */
+function evenLiteralExponent(node) {
+    if (node.kind !== 'op' || node.op !== '^')
+        return null;
+    const exp = node.args[1];
+    if (exp === undefined)
+        return null;
+    const v = literalValue(exp);
+    if (v === null || !Number.isInteger(v) || v === 0)
+        return null;
+    return v % 2 === 0 ? v : null;
+}
+/** Walk the AST, applying the side-condition and squaring rules. */
+function checkAst(node, sideConditions, path, out) {
+    if (node.kind === 'op' && node.op === '/') {
+        const divisor = node.args[1];
+        if (divisor !== undefined) {
+            const lit = literalValue(divisor);
+            if (lit === 0) {
+                out.push({
+                    kind: 'division-by-zero',
+                    severity: 'blocking',
+                    detail: 'Division by the literal 0.',
+                    where: `${path}args[1]`,
+                });
+            }
+            else if (lit === null) {
+                // Not a literal: it needs a stated non-vanishing side condition.
+                const names = [...symbolNames(divisor)];
+                const unguarded = names.filter((n) => !isGuarded(n, sideConditions));
+                // Every name guarded ⇒ nothing to ask. A divisor with NO symbols and no
+                // literal value (a tensor leaf, say) is reported, because nothing about
+                // it can be checked and silence there would read as clearance.
+                if (names.length === 0 || unguarded.length > 0) {
+                    const subject = names.length === 0 ? 'the divisor' : unguarded.join(', ');
+                    out.push({
+                        kind: 'division-unguarded',
+                        severity: 'question',
+                        detail: `Division whose divisor (${subject}) has no stated non-vanishing side ` +
+                            'condition. This is a question, not a defect: the divisor may well be ' +
+                            'non-zero and simply unstated.',
+                        where: `${path}args[1]`,
+                    });
+                }
+            }
+        }
+    }
+    // Difference (or sum) of two equal even powers ⇒ the relation was obtained by
+    // squaring, which admits the sign-flipped branch. See design note §1.4 for why
+    // an isolated even power is NOT reported.
+    if (node.kind === 'op' && (node.op === '-' || node.op === '+')) {
+        const exps = node.args.map(evenLiteralExponent);
+        for (let i = 0; i < exps.length; i += 1) {
+            for (let j = i + 1; j < exps.length; j += 1) {
+                const a = exps[i];
+                if (a !== null && a !== undefined && a === exps[j]) {
+                    out.push({
+                        kind: 'squaring-adds-solutions',
+                        severity: 'question',
+                        detail: `Two terms raised to the same even power (${a}) are equated. Raising a ` +
+                            'relation to an even power admits the sign-flipped branch, so a side ' +
+                            'condition fixing the sign is needed for the step to be reversible.',
+                        where: `${path}args[${i}]`,
+                    });
+                }
+            }
+        }
+    }
+    const children = childNodes(node);
+    for (let i = 0; i < children.length; i += 1) {
+        const child = children[i];
+        if (child !== undefined)
+            checkAst(child, sideConditions, `${path}args[${i}].`, out);
+    }
+}
+/** Is this family pair recorded as already bridged? Unordered. */
+function bridgeDeclared(a, b, declared) {
+    return declared.some(([x, y]) => (x === a && y === b) || (x === b && y === a));
+}
+/**
+ * Every unresolved question and contradiction the checker can see in a record.
+ *
+ * An EMPTY result means "no rule fired", which is weaker than "this bridge is
+ * valid" and must not be reported as the latter. The rules in hand cover
+ * dimensions, declared conventions, division guards, even-power equating and
+ * model families; a bridge can be wrong in ways none of them reaches.
+ *
+ * @param input - the record's checkable parts. `sideConditions` is required.
+ * @returns findings in rule order (dimensions, conventions, AST, models);
+ * never `null`, never throws on a malformed AST.
+ * @internal
+ */
+export function checkApplicability(input) {
+    const out = [];
+    // 1. Dimensions — the existing validator, unchanged.
+    if (input.ast !== undefined) {
+        const result = validate(input.ast);
+        for (const v of result.violations) {
+            // A warning-severity violation does not make the record inconsistent;
+            // reporting it as blocking would contradict `validate`'s own verdict.
+            const severity = (v.severity ?? 'error') === 'error' ? 'blocking' : 'question';
+            out.push({
+                kind: 'dimensional-inconsistency',
+                severity,
+                detail: v.note,
+                where: v.location === '' ? undefined : v.location,
+            });
+        }
+        if (result.inferredDimension === null && result.violations.length === 0) {
+            out.push({
+                kind: 'dimensional-inconsistency',
+                severity: 'blocking',
+                detail: 'No dimension could be inferred for the transformation AST.',
+            });
+        }
+    }
+    // 2. Conventions — mismatches block, asymmetric declarations are questions.
+    const mismatches = checkConventions(input.premiseConventions, input.conclusionConventions);
+    for (const key of mismatches) {
+        out.push({
+            kind: 'convention-mismatch',
+            severity: 'blocking',
+            detail: `Premise and conclusion declare different values for '${key}'. Two records ` +
+                'that disagree on a sign or unit choice are not directly comparable.',
+            where: key,
+        });
+    }
+    for (const key of unknownConventionKeys(input.premiseConventions, input.conclusionConventions)) {
+        out.push({
+            kind: 'convention-undeclared',
+            severity: 'question',
+            detail: `Exactly one side declares '${key}'. Silence is not agreement: the other ` +
+                'record may use the opposite choice and simply never said.',
+            where: key,
+        });
+    }
+    // 3. Side conditions over the AST.
+    if (input.ast !== undefined)
+        checkAst(input.ast, input.sideConditions, '', out);
+    // 4. Model compatibility.
+    const premises = input.premises ?? [];
+    const declared = input.declaredBridges ?? [];
+    const conclusionFamily = input.conclusion?.family;
+    const families = new Set(premises.map((m) => m.family));
+    if (conclusionFamily !== undefined)
+        families.add(conclusionFamily);
+    const familyList = [...families];
+    for (let i = 0; i < familyList.length; i += 1) {
+        for (let j = i + 1; j < familyList.length; j += 1) {
+            const a = familyList[i];
+            const b = familyList[j];
+            if (a === undefined || b === undefined)
+                continue;
+            if (bridgeDeclared(a, b, declared))
+                continue;
+            out.push({
+                kind: 'model-incompatibility',
+                severity: 'question',
+                detail: `Models span families '${a}' and '${b}' with no declared bridge between ` +
+                    'them. An unrecorded cross-family step is exactly what the atlas exists ' +
+                    'to make visible.',
+                where: `${a}|${b}`,
+            });
+        }
+    }
+    return out;
+}
+/**
+ * The `'blocking'` subset of {@link checkApplicability}.
+ *
+ * Offered because the two severities are read by different callers — a report
+ * shows both, a gate looks only at contradictions — and filtering on the
+ * severity string at every call site is how one of them eventually filters on
+ * the wrong one.
+ *
+ * @internal
+ */
+export function blockingFindings(findings) {
+    return findings.filter((f) => f.severity === 'blocking');
+}
+//# sourceMappingURL=applicability.js.map

package/dist/atlas/applicability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applicability.js","sourceRoot":"","sources":["../../src/atlas/applicability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAGvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AA6D3E;;;;;;;;;GASG;AACH,MAAM,oBAAoB,GAAsB;IAC9C,KAAK;IACL,IAAI;IACJ,MAAM;IACN,KAAK;IACL,MAAM;IACN,KAAK;IACL,SAAS;IACT,UAAU;IACV,UAAU;IACV,KAAK;IACL,IAAI;IACJ,UAAU;CACX,CAAC;AAEF,yDAAyD;AACzD,SAAS,WAAW,CAAC,IAAc,EAAE,IAAI,GAAgB,IAAI,GAAG,EAAE;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC;QAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAc;IAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,YAAY;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,KAAK,aAAa;YAChB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,wBAAwB;YAC3B,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,gBAAgB;YACnB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAAC,IAAY,EAAE,cAAiC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAClC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,SAAS,mBAAmB,CAAC,IAAc;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED,oEAAoE;AACpE,SAAS,QAAQ,CACf,IAAc,EACd,cAAiC,EACjC,IAAY,EACZ,GAA2B;IAE3B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,kBAAkB;oBACxB,QAAQ,EAAE,UAAU;oBACpB,MAAM,EAAE,4BAA4B;oBACpC,KAAK,EAAE,GAAG,IAAI,SAAS;iBACxB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACxB,iEAAiE;gBACjE,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;gBACxC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;gBACrE,wEAAwE;gBACxE,wEAAwE;gBACxE,+DAA+D;gBAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1E,GAAG,CAAC,IAAI,CAAC;wBACP,IAAI,EAAE,oBAAoB;wBAC1B,QAAQ,EAAE,UAAU;wBACpB,MAAM,EACJ,2BAA2B,OAAO,qCAAqC;4BACvE,uEAAuE;4BACvE,+BAA+B;wBACjC,KAAK,EAAE,GAAG,IAAI,SAAS;qBACxB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,0CAA0C;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnD,GAAG,CAAC,IAAI,CAAC;wBACP,IAAI,EAAE,yBAAyB;wBAC/B,QAAQ,EAAE,UAAU;wBACpB,MAAM,EACJ,4CAA4C,CAAC,2BAA2B;4BACxE,sEAAsE;4BACtE,oEAAoE;wBACtE,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,GAAG;qBAC3B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,kEAAkE;AAClE,SAAS,cAAc,CACrB,CAAS,EACT,CAAS,EACT,QAAgD;IAEhD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAyB;IAEzB,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,qDAAqD;IACrD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,sEAAsE;YACtE,sEAAsE;YACtE,MAAM,QAAQ,GACZ,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;YAChE,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,2BAA2B;gBACjC,QAAQ;gBACR,MAAM,EAAE,CAAC,CAAC,IAAI;gBACd,KAAK,EAAE,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAClD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,2BAA2B;gBACjC,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,4DAA4D;aACrE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC3F,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,UAAU;YACpB,MAAM,EACJ,wDAAwD,GAAG,iBAAiB;gBAC5E,qEAAqE;YACvE,KAAK,EAAE,GAAG;SACX,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,qBAAqB,CACrC,KAAK,CAAC,kBAAkB,EACxB,KAAK,CAAC,qBAAqB,CAC5B,EAAE,CAAC;QACF,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,UAAU;YACpB,MAAM,EACJ,8BAA8B,GAAG,yCAAyC;gBAC1E,2DAA2D;YAC7D,KAAK,EAAE,GAAG;SACX,CAAC,CAAC;IACL,CAAC;IAED,mCAAmC;IACnC,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;QAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,cAAc,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAEhF,0BAA0B;IAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC;IAC7C,MAAM,gBAAgB,GAAG,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,IAAI,gBAAgB,KAAK,SAAS;QAAE,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YACjD,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;gBAAE,SAAS;YAC7C,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,UAAU;gBACpB,MAAM,EACJ,yBAAyB,CAAC,UAAU,CAAC,oCAAoC;oBACzE,yEAAyE;oBACzE,kBAAkB;gBACpB,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAyC;IAEzC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;AAC3D,CAAC"}

package/dist/atlas/association.d.ts

@@ -0,0 +1,92 @@
+/**
+ * Atlas Phase 1 — the association registry.
+ *
+ * An `Association` records that two things SHARE something: a constant, a
+ * symbol, a structure, or a line of historical influence. That is the whole of
+ * its meaning. It asserts **no relation** between the two, makes **no
+ * composite claim**, and is explicitly NOT a graph edge — design note §5: *"No
+ * `Association` semantics beyond a registry of typed pairs — the registry is a
+ * container in Sprint 1, and it makes no composite claims."*
+ *
+ * The distinction is the point. `CATALOG_GRAPH` edges are claims that one
+ * quantity DETERMINES another. An association is the opposite epistemic act:
+ * it is where the atlas writes down a resemblance it has already decided is
+ * NOT a link, so the resemblance stops being re-surfaced as if it were fresh.
+ * An association that also appeared as an edge would be a contradiction, and
+ * `tests/atlas/association.test.ts` pins that it never does.
+ *
+ * **The seed is the `'decoy'` half of the adjudication ledger.** A `decoy`
+ * verdict means a physicist looked at `a ≟ b` and found a coincidence with no
+ * mechanism — precisely a shared appearance with no relation behind it. Every
+ * `'decoy'` row in `ADJUDICATIONS` (`src/composition/adjudication.ts`) gets
+ * one entry here, id-linked, with its `grounds` copied VERBATIM as the `note`.
+ *
+ * **No new physics is added by this module**, and two deliberate choices keep
+ * it that way:
+ *
+ *   - `note` is the adjudicator's own prose, never a restatement. Verbatimness
+ *     is pinned by test against the live ledger, so a re-worded ledger entry
+ *     fails rather than silently diverging from its copy here.
+ *   - `kind` is assigned MECHANICALLY, not per pair. Every seed is
+ *     `'shared-structure'` because every one of them reached the ledger the
+ *     same way: the identification funnel pairs quantities that share a
+ *     dimensional signature. Choosing a different `kind` per row would be a
+ *     fresh physics judgement about each pair, which is exactly the claim this
+ *     registry exists not to make.
+ *
+ * **Why the seed is written out rather than derived from `ADJUDICATIONS` at
+ * import time.** `src/composition/` may import atlas TYPES only, never the
+ * barrel, because a value import in the other direction closes a cycle
+ * `docs:deps` reports (`compose.ts` already imports `atlas/composition-table`).
+ * An `atlas → composition/adjudication → discovery → …` value import risks the
+ * same cycle from the other side. So this module stays a leaf, and the
+ * drift protection moves into the test, which is free to import both.
+ *
+ * @module atlas/association
+ */
+/**
+ * What two records share. Each value names an observable resemblance, not a
+ * relation: none of them implies that either record determines, derives,
+ * approximates or restricts the other.
+ *
+ * @internal
+ */
+export type AssociationKind = 'shared-constant' | 'shared-symbol' | 'shared-structure' | 'historical-influence';
+/**
+ * One recorded resemblance between two named things.
+ *
+ * A container, deliberately. It has no `relation`, no `bound`, no `regime` and
+ * no `evidence` — the fields that would let it make a claim are absent because
+ * it makes none.
+ *
+ * @internal
+ */
+export interface Association {
+    /**
+     * Stable identity. For a seeded entry this is the `CandidateAdjudication.id`
+     * it came from — `candidateId(a, b)`, the two names sorted and joined with
+     * `~` — so the association and the verdict that produced it share a key.
+     */
+    readonly id: string;
+    readonly kind: AssociationKind;
+    /** The two names, in the order `id` encodes them (sorted, `~`-split). */
+    readonly between: readonly [string, string];
+    /** Why the resemblance is only a resemblance. Adjudicator's prose, verbatim. */
+    readonly note: string;
+    /** Repo-relative path of the record this note was copied from. */
+    readonly citation: string;
+}
+/**
+ * The seeded registry: one entry per `'decoy'` adjudication, in ledger order.
+ *
+ * Kept in step with `ADJUDICATIONS` by
+ * `tests/atlas/association.test.ts`, which re-derives this array from the live
+ * ledger and deep-equals it. Adding a `'decoy'` verdict without adding its
+ * association here fails that test.
+ *
+ * @internal
+ */
+export declare const ASSOCIATIONS: readonly Association[];
+/** Look up an association by its `candidateId`-shaped key. @internal */
+export declare function associationFor(id: string): Association | undefined;
+//# sourceMappingURL=association.d.ts.map

package/dist/atlas/association.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"association.d.ts","sourceRoot":"","sources":["../../src/atlas/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GACvB,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,sBAAsB,CAAC;AAE3B;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAyD9C,CAAC;AAEF,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAElE"}

package/dist/atlas/association.js

@@ -0,0 +1,112 @@
+/**
+ * Atlas Phase 1 — the association registry.
+ *
+ * An `Association` records that two things SHARE something: a constant, a
+ * symbol, a structure, or a line of historical influence. That is the whole of
+ * its meaning. It asserts **no relation** between the two, makes **no
+ * composite claim**, and is explicitly NOT a graph edge — design note §5: *"No
+ * `Association` semantics beyond a registry of typed pairs — the registry is a
+ * container in Sprint 1, and it makes no composite claims."*
+ *
+ * The distinction is the point. `CATALOG_GRAPH` edges are claims that one
+ * quantity DETERMINES another. An association is the opposite epistemic act:
+ * it is where the atlas writes down a resemblance it has already decided is
+ * NOT a link, so the resemblance stops being re-surfaced as if it were fresh.
+ * An association that also appeared as an edge would be a contradiction, and
+ * `tests/atlas/association.test.ts` pins that it never does.
+ *
+ * **The seed is the `'decoy'` half of the adjudication ledger.** A `decoy`
+ * verdict means a physicist looked at `a ≟ b` and found a coincidence with no
+ * mechanism — precisely a shared appearance with no relation behind it. Every
+ * `'decoy'` row in `ADJUDICATIONS` (`src/composition/adjudication.ts`) gets
+ * one entry here, id-linked, with its `grounds` copied VERBATIM as the `note`.
+ *
+ * **No new physics is added by this module**, and two deliberate choices keep
+ * it that way:
+ *
+ *   - `note` is the adjudicator's own prose, never a restatement. Verbatimness
+ *     is pinned by test against the live ledger, so a re-worded ledger entry
+ *     fails rather than silently diverging from its copy here.
+ *   - `kind` is assigned MECHANICALLY, not per pair. Every seed is
+ *     `'shared-structure'` because every one of them reached the ledger the
+ *     same way: the identification funnel pairs quantities that share a
+ *     dimensional signature. Choosing a different `kind` per row would be a
+ *     fresh physics judgement about each pair, which is exactly the claim this
+ *     registry exists not to make.
+ *
+ * **Why the seed is written out rather than derived from `ADJUDICATIONS` at
+ * import time.** `src/composition/` may import atlas TYPES only, never the
+ * barrel, because a value import in the other direction closes a cycle
+ * `docs:deps` reports (`compose.ts` already imports `atlas/composition-table`).
+ * An `atlas → composition/adjudication → discovery → …` value import risks the
+ * same cycle from the other side. So this module stays a leaf, and the
+ * drift protection moves into the test, which is free to import both.
+ *
+ * @module atlas/association
+ */
+/**
+ * The seeded registry: one entry per `'decoy'` adjudication, in ledger order.
+ *
+ * Kept in step with `ADJUDICATIONS` by
+ * `tests/atlas/association.test.ts`, which re-derives this array from the live
+ * ledger and deep-equals it. Adding a `'decoy'` verdict without adding its
+ * association here fails that test.
+ *
+ * @internal
+ */
+export const ASSOCIATIONS = [
+    {
+        id: 'erasure-energy~photon-energy',
+        kind: 'shared-structure',
+        between: ['erasure-energy', 'photon-energy'],
+        note: "Dimensional coincidence; no mechanism. Landauer's k_B·T·ln2 is a statistical lower bound on heat dissipated to a reservoir; equating it to a single photon's hν has no universal mechanism — it rewrites thermal energy in frequency units.",
+        citation: 'docs/research/proposed-equations-adjudication.md',
+    },
+    {
+        id: 'dark-fermion-mass~erasure-energy',
+        kind: 'shared-structure',
+        between: ['dark-fermion-mass', 'erasure-energy'],
+        note: 'Dimensional coincidence; no mechanism. A speculative hidden-sector mass m = gv set equal to a context-dependent erasure energy — no model links a particle mass to an arbitrary processor\'s temperature.',
+        citation: 'docs/research/proposed-equations-adjudication.md',
+    },
+    {
+        id: 'dark-fermion-mass~rest-energy',
+        kind: 'shared-structure',
+        between: ['dark-fermion-mass', 'rest-energy'],
+        note: 'Trivial/definitional. m = vg/c² re-expresses the dark-fermion mass via E=mc² instead of via Landauer (cf. PE-2) — a definitional application, not a new bridge.',
+        citation: 'docs/research/proposed-equations-adjudication.md',
+    },
+    {
+        id: 'hubble-distance~peak-wavelength',
+        kind: 'shared-structure',
+        between: ['hubble-distance', 'peak-wavelength'],
+        note: 'Dimensional coincidence; no mechanism. A blackbody peak wavelength equated with the cosmological horizon — disparate domains, no mechanism; numerically off by ~10²⁹ for the CMB. The clearest "coincidence, not physics" case.',
+        citation: 'docs/research/proposed-equations-adjudication.md',
+    },
+    {
+        id: 'coarsening-length~quantum-correlation-length',
+        kind: 'shared-structure',
+        between: ['coarsening-length', 'quantum-correlation-length'],
+        note: 'Non-equilibrium vs equilibrium length; unanimous. A coarsening length is a non-equilibrium domain size formed by quenching through a critical point; the quantum correlation length ξ is an equilibrium static property at it. Different processes — not the same length.',
+        citation: 'docs/research/orphan-connector-adjudication.md',
+    },
+    {
+        id: 'effective-mass~tunneling-mass',
+        kind: 'shared-structure',
+        between: ['effective-mass', 'tunneling-mass'],
+        note: 'Different particles/Hamiltonians; unanimous. A proton\'s inertia in a specific biomolecular potential vs. an emergent electronic quasiparticle\'s effective mass in a strongly-correlated metal. Different particles, different Hamiltonians, unrelated scales.',
+        citation: 'docs/research/orphan-connector-adjudication.md',
+    },
+    {
+        id: 'decoherence-rate~mutation-rate',
+        kind: 'shared-structure',
+        between: ['decoherence-rate', 'mutation-rate'],
+        note: 'Same units, no shared meaning; unanimous. A decoherence rate (loss of quantum phase to the environment) vs. a mutation rate (frequency of a permanent, classical change to a DNA sequence). Same units, no shared physical meaning — decoherence may precede a mutation, but they are not one quantity.',
+        citation: 'docs/research/orphan-connector-adjudication.md',
+    },
+];
+/** Look up an association by its `candidateId`-shaped key. @internal */
+export function associationFor(id) {
+    return ASSOCIATIONS.find((a) => a.id === id);
+}
+//# sourceMappingURL=association.js.map

package/dist/atlas/association.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"association.js","sourceRoot":"","sources":["../../src/atlas/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAwCH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA2B;IAClD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAC5C,IAAI,EACF,6OAA6O;QAC/O,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,kCAAkC;QACtC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;QAChD,IAAI,EACF,2MAA2M;QAC7M,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,aAAa,CAAC;QAC7C,IAAI,EACF,iKAAiK;QACnK,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;QAC/C,IAAI,EACF,iOAAiO;QACnO,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,8CAA8C;QAClD,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAC5D,IAAI,EACF,2QAA2Q;QAC7Q,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC7C,IAAI,EACF,iQAAiQ;QACnQ,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC9C,IAAI,EACF,ySAAyS;QAC3S,QAAQ,EAAE,gDAAgD;KAC3D;CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/C,CAAC"}

package/dist/atlas/benchmark/backend-shapes.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Atlas Phase 5, S5.3 — request and response SHAPES for the out-of-process
+ * conditions (embeddings, LLMs).
+ *
+ * Design note: `docs/planning/Atlas-Phase-5-Design.md` §7.
+ *
+ * Only the shapes and a strict response parser live here. The process plumbing
+ * is the probe's existing NDJSON worker protocol
+ * (`src/composition/probe/backend-protocol.ts`): argv spawn, no shell, timeout,
+ * schema-validated output. **A malformed response is an ERROR, never a
+ * default:** an outcome that defaulted to `'abstain'` would credit a broken
+ * worker with the benchmark's preferred behaviour.
+ *
+ * @module atlas/benchmark/backend-shapes
+ * @internal
+ */
+import type { RelationType } from '../types.js';
+/** What an out-of-process condition is asked. @internal */
+export interface BenchmarkBackendRequest {
+    readonly itemId: string;
+    /** `classify`: judge the claim. `retrieve`: rank `corpusIds` for it. */
+    readonly task: 'classify' | 'retrieve';
+    readonly premises: readonly string[];
+    readonly conclusion: string;
+    readonly claimedRelation: RelationType;
+    /** Required for `retrieve`: the records to rank. */
+    readonly corpusIds?: readonly string[];
+    readonly budgetMs: number;
+}
+/** What it answers. Exactly one of `outcome` or `ranking`, matching the task. @internal */
+export interface BenchmarkBackendResponse {
+    readonly itemId: string;
+    readonly outcome?: 'accept' | 'reject' | 'abstain';
+    readonly ranking?: readonly string[];
+}
+/** A response that failed validation, with every reason. @internal */
+export interface BackendShapeError {
+    readonly error: string;
+}
+/**
+ * Validate one parsed response against the request it answers.
+ *
+ * @returns the response, or an error naming every problem. Never throws.
+ * @internal
+ */
+export declare function parseBackendResponse(request: BenchmarkBackendRequest, value: unknown): BenchmarkBackendResponse | BackendShapeError;
+//# sourceMappingURL=backend-shapes.d.ts.map

package/dist/atlas/benchmark/backend-shapes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend-shapes.d.ts","sourceRoot":"","sources":["../../../src/atlas/benchmark/backend-shapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,2DAA2D;AAC3D,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC;IACvC,oDAAoD;IACpD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,2FAA2F;AAC3F,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAID;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,uBAAuB,EAChC,KAAK,EAAE,OAAO,GACb,wBAAwB,GAAG,iBAAiB,CAwB9C"}

package/dist/atlas/benchmark/backend-shapes.js

@@ -0,0 +1,58 @@
+/**
+ * Atlas Phase 5, S5.3 — request and response SHAPES for the out-of-process
+ * conditions (embeddings, LLMs).
+ *
+ * Design note: `docs/planning/Atlas-Phase-5-Design.md` §7.
+ *
+ * Only the shapes and a strict response parser live here. The process plumbing
+ * is the probe's existing NDJSON worker protocol
+ * (`src/composition/probe/backend-protocol.ts`): argv spawn, no shell, timeout,
+ * schema-validated output. **A malformed response is an ERROR, never a
+ * default:** an outcome that defaulted to `'abstain'` would credit a broken
+ * worker with the benchmark's preferred behaviour.
+ *
+ * @module atlas/benchmark/backend-shapes
+ * @internal
+ */
+const OUTCOMES = new Set(['accept', 'reject', 'abstain']);
+/**
+ * Validate one parsed response against the request it answers.
+ *
+ * @returns the response, or an error naming every problem. Never throws.
+ * @internal
+ */
+export function parseBackendResponse(request, value) {
+    const problems = [];
+    if (value === null || typeof value !== 'object')
+        return { error: 'response is not an object' };
+    const v = value;
+    if (v['itemId'] !== request.itemId)
+        problems.push(`itemId ${String(v['itemId'])} ≠ ${request.itemId}`);
+    if (request.task === 'classify') {
+        if (typeof v['outcome'] !== 'string' || !OUTCOMES.has(v['outcome'])) {
+            problems.push('classify needs outcome ∈ {accept, reject, abstain}');
+        }
+        if (v['ranking'] !== undefined)
+            problems.push('classify must not carry a ranking');
+    }
+    else {
+        const r = v['ranking'];
+        if (!Array.isArray(r) || !r.every((x) => typeof x === 'string')) {
+            problems.push('retrieve needs ranking: string[]');
+        }
+        else {
+            const allowed = new Set(request.corpusIds ?? []);
+            const unknown = r.filter((x) => !allowed.has(x));
+            if (unknown.length > 0)
+                problems.push(`ranking names ids outside the corpus: ${unknown.join(', ')}`);
+            if (new Set(r).size !== r.length)
+                problems.push('ranking repeats an id');
+        }
+        if (v['outcome'] !== undefined)
+            problems.push('retrieve must not carry an outcome');
+    }
+    if (problems.length > 0)
+        return { error: problems.join('; ') };
+    return v;
+}
+//# sourceMappingURL=backend-shapes.js.map

package/dist/atlas/benchmark/backend-shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend-shapes.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/backend-shapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AA6BH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAgC,EAChC,KAAc;IAEd,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;IAC/F,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvG,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACpE,QAAQ,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACrF,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YAChE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC,CAAC;YAC3D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,yCAAyC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,OAAO,CAAwC,CAAC;AAClD,CAAC"}