@agenticprimitives/orchestration 0.0.0-alpha.27 → 0.0.0-alpha.28

package/dist/conformance.js

@@ -1,19 +1,90 @@
 import { outcomeClassOf as toolOutcomeClassOf } from './admission.js';
 const escapeRe = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-/** The first figure of money in a sentence: "$2,000", "2000 usdc", "under 500", "for 1,250.50 dollars". */
-function moneyIn(sentence) {
-    const m = sentence.match(/(?:\$|usd\s?|usdc\s?)?\s*(\d{1,3}(?:,\d{3})+|\d+)(?:\.(\d{1,2}))?\s*(?:usdc|usd|dollars?|bucks)?\b/i);
-    if (!m)
-        return null;
-    // A bare number with no money word or symbol counts only after a bound word ("under", "for", "within", "budget").
-    const raw = m[0];
-    const hasMoneyWord = /\$|usd|dollar|buck/i.test(raw);
-    const before = sentence.slice(0, m.index ?? 0);
-    const afterBoundWord = /\b(under|for|within|budget(?: of)?|up to|at most|no more than|max(?:imum)?(?: of)?)\s*$/i.test(before);
-    if (!hasMoneyWord && !afterBoundWord)
-        return null;
-    const n = Number(`${m[1].replace(/,/g, '')}${m[2] ? `.${m[2]}` : ''}`);
-    return Number.isFinite(n) ? n : null;
+const MONEY_WORD = '(?:usdc|usd|dollars?|bucks)';
+const BOUND_WORD = '(?:under|below|within|less than|up to|at most|no more than|not more than|not over|max(?:imum)?(?: of)?|budget(?: of| is|:)?|cap(?:ped)? (?:of|at)|limit(?: of)?)';
+const NUMBER_WORD = '(?:one|two|three|four|five|six|seven|eight|nine|ten|eleven|twelve|fifteen|twenty|thirty|forty|fifty|sixty|seventy|eighty|ninety|hundred|thousand|million|grand|a few|a couple|several|half)';
+const RE_MONEY_AFTER = new RegExp(`^\\s?${MONEY_WORD}\\b`, 'i');
+const RE_MONEY_BEFORE = /(?:\$|\b(?:usdc|usd)\s?)$/i;
+const RE_BOUND_BEFORE = new RegExp(`\\b${BOUND_WORD}\\s*(?:about |around |roughly |a total of |total of )?$`, 'i');
+const RE_PER_UNIT = /^\s*(?:each|apiece|per\b|a (?:head|person|piece)\b|every\b)/i;
+const RE_TRAILING_FIGURE = /^\s*(?:and\s+)?\d/i;
+const RE_BARE_BOUND_END = /^\s*(?:$|[,.;:!?)]|(?:total|in total|in all|altogether|overall|max|maximum|tops|or less|at|on|for|by|with|and|to|from|in)\b)/i;
+const RE_WORDED = [new RegExp(`\\b${BOUND_WORD}\\s+(?:about |around |roughly )?${NUMBER_WORD}\\b`, 'i'), new RegExp(`\\b${NUMBER_WORD}\\s+${MONEY_WORD}\\b`, 'i')];
+/** Read the money BOUND a sentence states — see the block above. Bounded: a goal past 4,000 characters is read to there. */
+export function readMoneyBound(input) {
+    const sentence = String(input ?? '').slice(0, 4000);
+    const moneyBound = new Set(); // money, governed by a bound word: "under $2,000"
+    const bareBound = new Set(); // a bare figure governed by a bound word: "budget 500"
+    const money = new Set(); // money with no bound word: "for 1,250.50 dollars"
+    let unread = null;
+    const re = /(\d{1,3}(?:,\d{3})+|\d+)(?:\.(\d+))?/g;
+    for (let m = re.exec(sentence); m; m = re.exec(sentence)) {
+        const start = m.index;
+        const end = start + m[0].length;
+        const window = sentence.slice(Math.max(0, start - 48), start);
+        const negative = /[-−]$/.test(window) || /[-−]\s?(?:\$|usdc?\s?)$/i.test(window);
+        const before = window.replace(/[-−]$/, '');
+        const after = sentence.slice(end, end + 32);
+        const symbol = RE_MONEY_BEFORE.test(before);
+        const lead = before.replace(RE_MONEY_BEFORE, '').replace(/[-−]\s?$/, '');
+        const moneyAfter = RE_MONEY_AFTER.exec(after);
+        const isMoney = symbol || !!moneyAfter;
+        const bound = RE_BOUND_BEFORE.test(lead);
+        if (!isMoney && !bound)
+            continue; // a date, a head-count, a street number: no role
+        const rest = moneyAfter ? after.slice(moneyAfter[0].length) : after;
+        const figure = m[0];
+        if (!moneyAfter && /^[a-z%]/i.test(after)) { // "2k", "50%", "5th": glued to something that is not a money word
+            if (isMoney)
+                unread = `"${figure}${after.match(/^[a-z%]+/i)[0]}" is not a figure this reader understands`;
+            continue;
+        }
+        if (!isMoney && !RE_BARE_BOUND_END.test(after))
+            continue; // "under 40 people", "within 2 weeks": a bound on something else
+        if (negative) {
+            unread = `"${figure}" is written as a negative amount`;
+            continue;
+        }
+        if (/^\d/.test(after) || (m[2] && m[2].length > 2)) {
+            unread = `"${figure}" is not a well-formed amount`;
+            continue;
+        }
+        if (RE_PER_UNIT.test(rest)) {
+            unread = `"${figure}" is a per-unit figure, not a total`;
+            continue;
+        }
+        if (moneyAfter && RE_TRAILING_FIGURE.test(rest)) {
+            unread = `"${figure}" is followed by another figure — one amount or two cannot be told`;
+            continue;
+        }
+        const n = Number(`${m[1].replace(/,/g, '')}${m[2] ? `.${m[2]}` : ''}`);
+        if (!Number.isFinite(n)) {
+            unread = `"${figure}" is not a finite amount`;
+            continue;
+        }
+        (bound ? (isMoney ? moneyBound : bareBound) : money).add(n);
+    }
+    if (unread)
+        return { kind: 'unread', why: unread };
+    // THE ROLE DECIDES. A figure a bound word governs is the bound; money with no bound word is the bound only when it is
+    // the one amount the sentence names. A BARE bounded figure ("at most 12 at the hall") beside a different amount of
+    // money cannot be told from a head-count, and two different bounds cannot both be the total: unread, not a guess.
+    const bounded = new Set([...moneyBound, ...bareBound]);
+    if (bounded.size > 1)
+        return { kind: 'unread', why: `the sentence states ${bounded.size} different bounds (${[...bounded].join(', ')})` };
+    if (bounded.size === 1) {
+        const value = [...bounded][0];
+        if (!moneyBound.size && [...money].some((x) => x !== value))
+            return { kind: 'unread', why: `the sentence bounds something at ${value} and also names ${[...money].join(', ')} — which is the money bound cannot be told` };
+        return { kind: 'amount', value };
+    }
+    if (money.size === 1)
+        return { kind: 'amount', value: [...money][0] };
+    if (money.size > 1)
+        return { kind: 'unread', why: `the sentence names ${money.size} different amounts (${[...money].join(', ')}) and none is marked as the bound` };
+    if (RE_WORDED.some((r) => r.test(sentence)))
+        return { kind: 'unread', why: 'the sentence states an amount in words, which this reader does not read' };
+    return { kind: 'none' };
 }
 /** The words after a preposition, to the next clause: "at the town hall on Friday" → "the town hall". */
 function afterIn(sentence, prepositions) {
@@ -40,13 +111,16 @@ export function classifyOpenIntent(goal, classes) {
         return null;
     const c = hits[0];
     const bounds = {};
+    const unread = [];
     for (const [key, how] of Object.entries(c.reads ?? {})) {
         if (!c.bounds[key])
             continue;
         if (how.kind === 'money') {
-            const n = moneyIn(sentence);
-            if (n !== null)
-                bounds[key] = n;
+            const read = readMoneyBound(sentence);
+            if (read.kind === 'amount')
+                bounds[key] = read.value;
+            else if (read.kind === 'unread')
+                unread.push(key); // stated, not understood — carried, never dropped (RUNC-4)
         }
         else {
             const v = afterIn(sentence, how.prepositions);
@@ -54,19 +128,29 @@ export function classifyOpenIntent(goal, classes) {
                 bounds[key] = v;
         }
     }
-    return { class: c.class, ...(Object.keys(bounds).length ? { bounds } : {}) };
+    return { class: c.class, ...(Object.keys(bounds).length ? { bounds } : {}), ...(unread.length ? { unread } : {}) };
 }
 export function statedOutcomeOf(intent) {
     const o = intent.constraints?.outcome;
-    return o && typeof o === 'object' && typeof o.class === 'string' && o.class ? { class: o.class, ...(o.bounds && typeof o.bounds === 'object' ? { bounds: o.bounds } : {}) } : null;
+    if (!o || typeof o !== 'object' || typeof o.class !== 'string' || !o.class)
+        return null;
+    const unread = Array.isArray(o.unread) ? o.unread.filter((k) => typeof k === 'string' && !!k) : [];
+    return { class: o.class, ...(o.bounds && typeof o.bounds === 'object' ? { bounds: o.bounds } : {}), ...(unread.length ? { unread } : {}) };
 }
+/** A plain decimal amount, or null: NaN, ±Infinity, exponent forms, units and anything else are not amounts. */
 const asNumber = (v) => {
     if (typeof v === 'number')
         return Number.isFinite(v) ? v : null;
-    if (typeof v === 'string' && /^\s*-?\d+(\.\d+)?\s*$/.test(v))
-        return Number(v);
+    if (typeof v === 'string' && v.length <= 40 && /^\s*-?\d+(\.\d+)?\s*$/.test(v)) {
+        const n = Number(v);
+        return Number.isFinite(n) ? n : null;
+    }
     return null;
 };
+/** A `{ $ref: 'step.path' }` placeholder — a value an earlier step's result will supply. */
+const isRef = (v) => !!v && typeof v === 'object' && !Array.isArray(v) && typeof v.$ref === 'string';
+/** Amounts are summed in millionths so 0.1 + 0.2 is not "over" 0.3. */
+const micro = (n) => Math.round(n * 1e6);
 const norm = (v) => String(v ?? '').trim().toLowerCase();
 /**
  * The rule. `lookup` resolves an outcome class IRI to what it entails (the ontology's `outcomeClassOf`); a class
@@ -74,13 +158,15 @@ const norm = (v) => String(v ?? '').trim().toLowerCase();
  * that names the unknown class, never a silent pass.
  */
 export function outcomeConformance(lookup) {
-    return ({ intent, plan, tools }) => {
+    return ({ intent, plan, tools, concrete }) => {
         const stated = statedOutcomeOf(intent);
         if (!stated)
             return [];
         const byId = new Map(tools.map((t) => [t.id, t]));
         const oc = lookup(stated.class);
         const violations = [];
+        /** Running total (millionths) of the amounts admitted so far, per amount bound — the bound is judged over the plan. */
+        const totals = new Map();
         plan.steps.forEach((step, i) => {
             const tool = byId.get(step.toolId);
             if (!tool || !tool.capability || toolOutcomeClassOf(tool) === 'lookup')
@@ -99,18 +185,56 @@ export function outcomeConformance(lookup) {
             if (ent.bound) {
                 const b = oc.bounds[ent.bound];
                 const statedValue = stated.bounds?.[ent.bound];
-                if (b && statedValue !== undefined) {
+                // RUNC-4 — a bound the sentence STATED and nobody could read holds every effect it governs back: the person
+                // said a limit, and offering the effect as if she had not is the failure this stage exists to prevent.
+                if (b && stated.unread?.includes(ent.bound)) {
+                    violations.push({ code: 'OUTCOME_BOUND_UNREAD', message: `${capId}: the intent states a ${ent.bound} that could not be understood, so ${b.arg} cannot be judged against it — state the ${ent.bound} as one plain figure`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
+                }
+                else if (b && statedValue !== undefined) {
                     const actual = step.args[b.arg];
-                    if (actual !== undefined && actual !== null && actual !== '') {
-                        if (b.kind === 'amount') {
+                    if (b.kind === 'amount') {
+                        const limit = asNumber(statedValue);
+                        if (limit === null || limit < 0) {
+                            violations.push({ code: 'OUTCOME_BOUND_UNREAD', message: `${capId}: the ${ent.bound} the intent stated (${String(statedValue)}) is not an amount, so ${b.arg} cannot be judged against it`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
+                        }
+                        else if (actual === undefined || actual === null || actual === '' || (!concrete && isRef(actual))) {
+                            // Spec 445 W0 — AN AMOUNT THAT IS NOT YET A FIGURE IS NOT UNDER THE BOUND. Absent (to be asked for) used
+                            // to pass unjudged, and whatever the person or the tool later supplied was never compared with what she
+                            // said; a `$ref` was refused outright though its value is decidable the moment the producing step has
+                            // run. One rule for both: at plan admission the step is NOT conformant and says so (`defer` — a caller
+                            // that cannot re-judge sees a refusal); at the point of use (`concrete`) an amount still absent is ASKED
+                            // for before any tool or signature sees the step, and a threaded one is by then a value and is judged
+                            // below like any other.
+                            const threaded = isRef(actual);
+                            violations.push(concrete
+                                ? { code: 'OUTCOME_BOUND_PENDING', message: `${capId}: ${b.arg} is not stated, and the intent holds it to a ${ent.bound} of ${String(statedValue)} — how much?`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'ask' }
+                                : { code: 'OUTCOME_BOUND_PENDING', message: `${capId}: ${b.arg} ${threaded ? 'comes from an earlier step\'s result' : 'is not stated'}, so it cannot yet be held to the ${ent.bound} the intent stated (${String(statedValue)}) — it is judged when it is a figure, before the step is offered for signature or run`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'defer' });
+                        }
+                        else {
                             const have = asNumber(actual);
-                            const limit = asNumber(statedValue);
-                            if (have === null || limit === null || have > limit)
+                            if (have === null || have < 0) {
+                                // A negative, NaN, infinite or unreadable amount is not "under the bound" — it is not an amount.
+                                violations.push({ code: 'OUTCOME_BOUND_EXCEEDED', message: `${capId}: ${b.arg} ${typeof actual === 'object' ? 'is not a stated figure' : String(actual)} is not a non-negative amount and cannot be held to the ${ent.bound} the intent stated (${String(statedValue)})`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
+                            }
+                            else if (micro(have) > micro(limit)) {
                                 violations.push({ code: 'OUTCOME_BOUND_EXCEEDED', message: `${capId}: ${b.arg} ${String(actual)} exceeds the ${ent.bound} the intent stated (${String(statedValue)})`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
+                            }
+                            else {
+                                // THE BOUND IS ON THE PLAN, NOT ON A STEP. Three payments of 1,900 under a budget of 2,000 each passed
+                                // alone. Every effect held to this bound is summed in plan order; the step that takes the total over
+                                // is refused (and does not count), as is any after it that would. A fan-out step counts once here and
+                                // is judged again, item by item, when the loop has expanded it.
+                                const spent = totals.get(ent.bound) ?? 0;
+                                if (spent + micro(have) > micro(limit)) {
+                                    violations.push({ code: 'OUTCOME_BOUND_EXCEEDED', message: `${capId}: ${b.arg} ${String(actual)} takes the plan's total to ${(spent + micro(have)) / 1e6}, which exceeds the ${ent.bound} the intent stated (${String(statedValue)}) — the ${ent.bound} is for the whole plan, not for each step`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
+                                }
+                                else
+                                    totals.set(ent.bound, spent + micro(have));
+                            }
                         }
-                        else if (norm(actual) !== norm(statedValue)) {
-                            violations.push({ code: 'OUTCOME_BOUND_EXCEEDED', message: `${capId}: ${b.arg} "${String(actual)}" is not the ${ent.bound} the intent named ("${String(statedValue)}") — a substitute is not what was asked`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
-                        }
+                    }
+                    else if (actual !== undefined && actual !== null && actual !== '' && norm(actual) !== norm(statedValue)) {
+                        violations.push({ code: 'OUTCOME_BOUND_EXCEEDED', message: `${capId}: ${b.arg} "${String(actual)}" is not the ${ent.bound} the intent named ("${String(statedValue)}") — a substitute is not what was asked`, stepIndex: i, toolId: tool.id, field: b.arg, recovery: 'refuse' });
                     }
                 }
             }

package/dist/conformance.js.map

@@ -1 +1 @@
-{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../src/conformance.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,cAAc,IAAI,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAetE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACjF,2GAA2G;AAC3G,SAAS,OAAO,CAAC,QAAgB;IAC/B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,qGAAqG,CAAC,CAAC;IAChI,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,kHAAkH;IAClH,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG,0FAA0F,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/H,IAAI,CAAC,YAAY,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AACD,yGAAyG;AACzG,SAAS,OAAO,CAAC,QAAgB,EAAE,YAA+B;IAChE,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,kFAAkF,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/I,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,OAAwC;IACvF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACnB,MAAM,MAAM,GAAoC,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;aACtF,CAAC;YAAC,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;YAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;IACjF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/E,CAAC;AAUD,MAAM,UAAU,eAAe,CAAC,MAAiD;IAC/E,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAA+C,CAAC;IAC9E,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAyC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxN,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiB,EAAE;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AACF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAE1E;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAqD;IACtF,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;QACjC,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,UAAU,GAAyB,EAAE,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,QAAQ;gBAAE,OAAO,CAAC,uCAAuC;YACvH,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,KAAK,oCAAoC,MAAM,CAAC,KAAK,uFAAuF,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/P,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,KAAK,qBAAqB,EAAE,CAAC,KAAK,0FAA0F,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/O,OAAO;YACT,CAAC;YACD,kGAAkG;YAClG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACd,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/C,IAAI,CAAC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;wBAC7D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;4BACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;4BAAC,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;4BACnE,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,GAAG,KAAK;gCAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACjS,CAAC;6BAAM,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;4BAC9C,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,yCAAyC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACnR,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,8GAA8G;YAC9G,IAAI,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,EAAE;wBAAE,SAAS;oBAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7D,IAAI,OAAO,CAAC,MAAM;wBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,GAAG,gBAAgB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,6BAA6B,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAClP,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,cAAc,CAAC,KAA0J,EAAE,MAAqD;IAC9O,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAe,EAAE,IAAI,EAAE,KAAK,CAAC,IAAa,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAyB,CAAC;IAC/H,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACrD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;AAC5F,CAAC"}
+{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../src/conformance.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,cAAc,IAAI,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAetE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAejF,MAAM,UAAU,GAAG,6BAA6B,CAAC;AACjD,MAAM,UAAU,GAAG,kKAAkK,CAAC;AACtL,MAAM,WAAW,GAAG,6LAA6L,CAAC;AAClN,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,QAAQ,UAAU,KAAK,EAAE,GAAG,CAAC,CAAC;AAChE,MAAM,eAAe,GAAG,4BAA4B,CAAC;AACrD,MAAM,eAAe,GAAG,IAAI,MAAM,CAAC,MAAM,UAAU,yDAAyD,EAAE,GAAG,CAAC,CAAC;AACnH,MAAM,WAAW,GAAG,8DAA8D,CAAC;AACnF,MAAM,kBAAkB,GAAG,oBAAoB,CAAC;AAChD,MAAM,iBAAiB,GAAG,+HAA+H,CAAC;AAC1J,MAAM,SAAS,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,UAAU,mCAAmC,WAAW,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,WAAW,OAAO,UAAU,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AAEnK,4HAA4H;AAC5H,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,kDAAkD;IACxF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC,CAAE,uDAAuD;IAC7F,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC,CAAM,mDAAmD;IACzF,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,MAAM,EAAE,GAAG,uCAAuC,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAAC,MAAM,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC;QACvC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK;YAAE,SAAS,CAAC,iDAAiD;QACnF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACpE,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,kEAAkE;YAC7G,IAAI,OAAO;gBAAE,MAAM,GAAG,IAAI,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAE,CAAC,CAAC,CAAC,2CAA2C,CAAC;YAC3G,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS,CAAC,iEAAiE;QAC3H,IAAI,QAAQ,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,MAAM,mCAAmC,CAAC;YAAC,SAAS;QAAC,CAAC;QACnF,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,MAAM,+BAA+B,CAAC;YAAC,SAAS;QAAC,CAAC;QACrH,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,MAAM,qCAAqC,CAAC;YAAC,SAAS;QAAC,CAAC;QACnG,IAAI,UAAU,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,MAAM,oEAAoE,CAAC;YAAC,SAAS;QAAC,CAAC;QACvJ,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,MAAM,0BAA0B,CAAC;YAAC,SAAS;QAAC,CAAC;QACrF,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACnD,sHAAsH;IACtH,mHAAmH;IACnH,kHAAkH;IAClH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,uBAAuB,OAAO,CAAC,IAAI,sBAAsB,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1I,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC;QAC/B,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,oCAAoC,KAAK,mBAAmB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C,EAAE,CAAC;QAC3N,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC;IACvE,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,sBAAsB,KAAK,CAAC,IAAI,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAmC,EAAE,CAAC;IACpK,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,yEAAyE,EAAE,CAAC;IACvJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AACD,yGAAyG;AACzG,SAAS,OAAO,CAAC,QAAgB,EAAE,YAA+B;IAChE,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,kFAAkF,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/I,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,OAAwC;IACvF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACnB,MAAM,MAAM,GAAoC,EAAE,CAAC;IACnD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;iBAChD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,2DAA2D;QAChH,CAAC;aAAM,CAAC;YAAC,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;YAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;IACnF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACrH,CAAC;AAaD,MAAM,UAAU,eAAe,CAAC,MAAiD;IAC/E,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAA+C,CAAC;IAC9E,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChH,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAyC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAChL,CAAC;AAED,gHAAgH;AAChH,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiB,EAAE;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAAC,CAAC;IAC9I,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AACF,4FAA4F;AAC5F,MAAM,KAAK,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAQ,CAAwB,CAAC,IAAI,KAAK,QAAQ,CAAC;AAC/I,uEAAuE;AACvE,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AACzD,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAE1E;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAqD;IACtF,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC3C,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,UAAU,GAAyB,EAAE,CAAC;QAC5C,uHAAuH;QACvH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,QAAQ;gBAAE,OAAO,CAAC,uCAAuC;YACvH,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,KAAK,oCAAoC,MAAM,CAAC,KAAK,uFAAuF,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/P,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,KAAK,qBAAqB,EAAE,CAAC,KAAK,0FAA0F,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/O,OAAO;YACT,CAAC;YACD,kGAAkG;YAClG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACd,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/C,4GAA4G;gBAC5G,uGAAuG;gBACvG,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5C,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,KAAK,yBAAyB,GAAG,CAAC,KAAK,qCAAqC,CAAC,CAAC,GAAG,4CAA4C,GAAG,CAAC,KAAK,sBAAsB,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/R,CAAC;qBAAM,IAAI,CAAC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;wBACpC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;4BAChC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,KAAK,SAAS,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAAC,GAAG,8BAA8B,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACjQ,CAAC;6BAAM,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;4BACpG,yGAAyG;4BACzG,wGAAwG;4BACxG,sGAAsG;4BACtG,uGAAuG;4BACvG,yGAAyG;4BACzG,sGAAsG;4BACtG,wBAAwB;4BACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;4BAC/B,UAAU,CAAC,IAAI,CAAC,QAAQ;gCACtB,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,gDAAgD,GAAG,CAAC,KAAK,OAAO,MAAM,CAAC,WAAW,CAAC,cAAc,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE;gCAC/N,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,eAAe,qCAAqC,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,uFAAuF,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;wBAC5X,CAAC;6BAAM,CAAC;4BACN,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;4BAC9B,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;gCAC9B,iGAAiG;gCACjG,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,2DAA2D,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;4BAC/U,CAAC;iCAAM,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gCACtC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;4BAC5O,CAAC;iCAAM,CAAC;gCACN,uGAAuG;gCACvG,qGAAqG;gCACrG,sGAAsG;gCACtG,gEAAgE;gCAChE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gCACzC,IAAI,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oCACvC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,8BAA8B,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,uBAAuB,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,CAAC,KAAK,2CAA2C,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gCACxW,CAAC;;oCAAM,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;4BACpD,CAAC;wBACH,CAAC;oBACH,CAAC;yBAAM,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;wBAC1G,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,KAAK,uBAAuB,MAAM,CAAC,WAAW,CAAC,yCAAyC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;oBACnR,CAAC;gBACH,CAAC;YACH,CAAC;YACD,8GAA8G;YAC9G,IAAI,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,EAAE;wBAAE,SAAS;oBAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7D,IAAI,OAAO,CAAC,MAAM;wBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,GAAG,gBAAgB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,6BAA6B,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAClP,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,cAAc,CAAC,KAA0J,EAAE,MAAqD;IAC9O,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAe,EAAE,IAAI,EAAE,KAAK,CAAC,IAAa,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAyB,CAAC;IAC/H,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACrD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;AAC5F,CAAC"}

package/dist/derivation.d.ts

@@ -2,18 +2,37 @@ import type { StepObservation } from './types.js';
 export interface ArgDerivationV1 {
     /** The value (or its name part) is in the person's own words. */
     hers: boolean;
-    /** Observations the value occurs in, by stepRef (and tool). */
+    /** Observations the value occurs in, by stepRef (and tool). `threaded` marks a source the plan NAMED: the argument is
+     *  a `{ $ref }` to that step's result (`via: 'ref'`), or that step's own arguments were threaded from this one
+     *  (`via: 'transitive'`) — the chain a value travelled, as the plan wrote it, not a textual match. */
     from: Array<{
         stepRef: string;
         toolId: string;
         untrusted: boolean;
+        threaded?: true;
+        via?: 'ref' | 'transitive';
     }>;
-    /** The value came ONLY from untrusted content: not in her words, and every source it occurs in is untrusted. */
+    /** The value came ONLY from untrusted content: not in her words, and every source it occurs in is untrusted — or it
+     *  was THREADED out of an untrusted result (directly or through a step that was), which is where it came from
+     *  whatever else happens to contain the same characters. */
     untrustedOnly: boolean;
+    /** RUN-10 — the argument is a `$ref` no earlier observation provides: where it came from cannot be said. */
+    unresolvedRef?: true;
 }
 /**
- * Derivation of each STRING argument (and each string in an array argument) of one step. Arguments shorter than three
- * characters, and values the run cannot have read (booleans, numbers) are not judged: they carry no party or content.
+ * Derivation of each argument of one step.
+ *
+ * A LITERAL string argument (and each string in an array argument) is judged by containment: is it in her sentence, and
+ * which observations contain it. Literals shorter than three characters, and literal booleans / numbers, are not judged:
+ * they carry no party or content.
+ *
+ * A THREADED argument — `{ $ref: 'inbox.items.0.from' }`, anywhere in the value — is judged by what the plan says
+ * (RUN-10, spec 445 W0): its source IS the step whose result the `$ref` names, and transitively every step THAT step's
+ * own arguments were threaded from. It used to be skipped entirely (only strings were judged, and a threaded value is
+ * an object until it resolves), so the normal way a plan carries a payee out of a message it read left no evidence at
+ * all. The resolved value is still looked for in her words: "pay the 10 she asked for" threaded from a read is hers.
+ * `observations` must carry each producing step's `step.ref` (the loop's do); a `$ref` nothing provides is recorded as
+ * `unresolvedRef`, never as "no derivation".
  */
 export declare function deriveArgs(args: Record<string, unknown>, goal: string, observations: ReadonlyArray<StepObservation>): Record<string, ArgDerivationV1>;
 /** The arguments of a step that came only from untrusted content — the ones her signing card must name. */

package/dist/derivation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../src/derivation.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,MAAM,WAAW,eAAe;IAC9B,iEAAiE;IACjE,IAAI,EAAE,OAAO,CAAC;IACd,+DAA+D;IAC/D,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACrE,gHAAgH;IAChH,aAAa,EAAE,OAAO,CAAC;CACxB;AAwBD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAerJ;AAED,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,MAAM,EAAE,CAE1E"}
+{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../src/derivation.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,MAAM,WAAW,eAAe;IAC9B,iEAAiE;IACjE,IAAI,EAAE,OAAO,CAAC;IACd;;0GAEsG;IACtG,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;QAAC,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAA;KAAE,CAAC,CAAC;IAClH;;gEAE4D;IAC5D,aAAa,EAAE,OAAO,CAAC;IACvB,4GAA4G;IAC5G,aAAa,CAAC,EAAE,IAAI,CAAC;CACtB;AAwDD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CA0CrJ;AAED,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,MAAM,EAAE,CAE1E"}

package/dist/derivation.js

@@ -20,24 +20,123 @@ const contains = (hay, needle) => {
     }
     return false;
 };
-const isUntrusted = (r) => !!r && typeof r === 'object' && r.untrusted === true;
+const isUntrusted = (r) => !!r && typeof r === 'object' && (r.untrusted === true || r['x-ap-untrusted'] === true);
+/** Every `{ $ref: 'name.path' }` inside a value (the argument itself, or nested in an object / array argument). */
+function refsIn(v, out = [], depth = 0) {
+    if (!v || typeof v !== 'object' || depth > 16)
+        return out;
+    if (Array.isArray(v)) {
+        for (const x of v)
+            refsIn(x, out, depth + 1);
+        return out;
+    }
+    const o = v;
+    if (typeof o.$ref === 'string') {
+        out.push(o.$ref);
+        return out;
+    }
+    for (const x of Object.values(o))
+        refsIn(x, out, depth + 1);
+    return out;
+}
+/** The value a `$ref` path names inside the producing step's result — the loop's own flat path walk. */
+const atPath = (root, path) => path.reduce((acc, seg) => (acc == null ? undefined : acc[seg]), root);
+/** The strings (and numbers, as written) a resolved value carries, bounded — what "is it in her words" is asked of. */
+function leavesOf(v, out = [], depth = 0) {
+    if (out.length >= 32 || depth > 6)
+        return out;
+    if (typeof v === 'string')
+        out.push(v);
+    else if (typeof v === 'number' && Number.isFinite(v))
+        out.push(String(v));
+    else if (Array.isArray(v)) {
+        for (const x of v)
+            leavesOf(x, out, depth + 1);
+    }
+    else if (v && typeof v === 'object') {
+        for (const x of Object.values(v))
+            leavesOf(x, out, depth + 1);
+    }
+    return out;
+}
+/** Whole-word containment with no minimum length — for a THREADED value only (a threaded amount of "10" is hers when
+ *  her sentence says 10; the three-character floor exists to keep stray literals from matching everything). */
+const containsToken = (hay, needle) => {
+    if (!needle || needle.length > hay.length)
+        return false;
+    for (let i = hay.indexOf(needle); i >= 0; i = hay.indexOf(needle, i + 1)) {
+        const before = i === 0 ? '' : hay[i - 1];
+        const after = hay[i + needle.length] ?? '';
+        if (!WORD_CHAR.test(before) && !WORD_CHAR.test(after))
+            return true;
+    }
+    return false;
+};
 /**
- * Derivation of each STRING argument (and each string in an array argument) of one step. Arguments shorter than three
- * characters, and values the run cannot have read (booleans, numbers) are not judged: they carry no party or content.
+ * Derivation of each argument of one step.
+ *
+ * A LITERAL string argument (and each string in an array argument) is judged by containment: is it in her sentence, and
+ * which observations contain it. Literals shorter than three characters, and literal booleans / numbers, are not judged:
+ * they carry no party or content.
+ *
+ * A THREADED argument — `{ $ref: 'inbox.items.0.from' }`, anywhere in the value — is judged by what the plan says
+ * (RUN-10, spec 445 W0): its source IS the step whose result the `$ref` names, and transitively every step THAT step's
+ * own arguments were threaded from. It used to be skipped entirely (only strings were judged, and a threaded value is
+ * an object until it resolves), so the normal way a plan carries a payee out of a message it read left no evidence at
+ * all. The resolved value is still looked for in her words: "pay the 10 she asked for" threaded from a read is hers.
+ * `observations` must carry each producing step's `step.ref` (the loop's do); a `$ref` nothing provides is recorded as
+ * `unresolvedRef`, never as "no derivation".
  */
 export function deriveArgs(args, goal, observations) {
     const said = norm(goal);
-    const texts = observations.filter((o) => o.ok && !o.skipped && o.result !== undefined).map((o) => ({
+    const live = observations.filter((o) => o.ok && !o.skipped && o.result !== undefined);
+    // Textual containment is asked only when a literal needs it — serialising every result for a plan of `$ref`s is waste.
+    let textsMemo;
+    const texts = () => (textsMemo ??= live.map((o) => ({
         stepRef: o.stepRef ?? '', toolId: o.step.toolId, untrusted: isUntrusted(o.result), text: norm(typeof o.result === 'string' ? o.result : JSON.stringify(o.result)),
-    }));
+    })));
+    /** The latest live observation bound under a ref name. */
+    const producerOf = (name) => { for (let i = live.length - 1; i >= 0; i--)
+        if (live[i].step.ref === name)
+            return live[i]; return undefined; };
     const out = {};
     for (const [k, raw] of Object.entries(args)) {
+        const refs = refsIn(raw);
+        if (refs.length) {
+            const from = [];
+            const seen = new Set();
+            const resolved = [];
+            let unresolved = false;
+            const walk = (ref, via, depth) => {
+                const [name, ...path] = ref.split('.');
+                const o = name ? producerOf(name) : undefined;
+                if (!o) {
+                    if (via === 'ref')
+                        unresolved = true;
+                    return;
+                }
+                if (via === 'ref')
+                    resolved.push(atPath(o.result, path));
+                if (seen.has(o) || depth > 16)
+                    return;
+                seen.add(o);
+                from.push({ stepRef: o.stepRef ?? o.step.id ?? '', toolId: o.step.toolId, untrusted: isUntrusted(o.result), threaded: true, via });
+                for (const inner of refsIn(o.step.args))
+                    walk(inner, 'transitive', depth + 1);
+            };
+            for (const r of refs)
+                walk(r, 'ref', 0);
+            const leaves = resolved.flatMap((v) => leavesOf(v)).map(norm).filter(Boolean);
+            const hers = leaves.length > 0 && leaves.every((l) => containsToken(said, l) || formsOf(l).some((f) => contains(said, f)));
+            out[k] = { hers, from, untrustedOnly: !hers && from.some((f) => f.untrusted), ...(unresolved ? { unresolvedRef: true } : {}) };
+            continue;
+        }
         const values = (Array.isArray(raw) ? raw : [raw]).filter((v) => typeof v === 'string' && norm(v).length >= 3);
         if (!values.length)
             continue;
         const forms = values.flatMap(formsOf);
         const hers = forms.some((f) => contains(said, f));
-        const from = texts.filter((t) => forms.some((f) => contains(t.text, f))).map(({ stepRef, toolId, untrusted }) => ({ stepRef, toolId, untrusted }));
+        const from = texts().filter((t) => forms.some((f) => contains(t.text, f))).map(({ stepRef, toolId, untrusted }) => ({ stepRef, toolId, untrusted }));
         out[k] = { hers, from, untrustedOnly: !hers && from.length > 0 && from.every((f) => f.untrusted) };
     }
     return out;

package/dist/derivation.js.map

@@ -1 +1 @@
-{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../src/derivation.ts"],"names":[],"mappings":"AAkBA,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACvI,wGAAwG;AACxG,MAAM,OAAO,GAAG,CAAC,CAAS,EAAY,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvM,MAAM,SAAS,GAAG,eAAe,CAAC;AAClC;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,MAAc,EAAW,EAAE;IACxD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AACF,MAAM,WAAW,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAA6B,CAAC,SAAS,KAAK,IAAI,CAAC;AAE/H;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAA6B,EAAE,IAAY,EAAE,YAA4C;IAClH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjG,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;KAClK,CAAC,CAAC,CAAC;IACJ,MAAM,GAAG,GAAoC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC3H,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACnJ,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;IACrG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,aAAa,CAAC,CAAkC;IAC9D,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}
+{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../src/derivation.ts"],"names":[],"mappings":"AAwBA,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACvI,wGAAwG;AACxG,MAAM,OAAO,GAAG,CAAC,CAAS,EAAY,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvM,MAAM,SAAS,GAAG,eAAe,CAAC;AAClC;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,MAAc,EAAW,EAAE;IACxD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AACF,MAAM,WAAW,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAE,CAA6B,CAAC,SAAS,KAAK,IAAI,IAAK,CAA6B,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC,CAAC;AAE9L,mHAAmH;AACnH,SAAS,MAAM,CAAC,CAAU,EAAE,MAAgB,EAAE,EAAE,KAAK,GAAG,CAAC;IACvD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,GAAG,CAAC;IAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAAC,OAAO,GAAG,CAAC;IAAC,CAAC;IACnF,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAAC,OAAO,GAAG,CAAC;IAAC,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC;AACb,CAAC;AACD,wGAAwG;AACxG,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,IAAc,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,CAAU,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,GAA+B,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACvK,uHAAuH;AACvH,SAAS,QAAQ,CAAC,CAAU,EAAE,MAAgB,EAAE,EAAE,KAAK,GAAG,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAClC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SACrE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAAC,CAAC;SACzE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAAC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAAC,CAAC;IACvG,OAAO,GAAG,CAAC;AACb,CAAC;AACD;+GAC+G;AAC/G,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,MAAc,EAAW,EAAE;IAC7D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,UAAU,CAAC,IAA6B,EAAE,IAAY,EAAE,YAA4C;IAClH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACtF,uHAAuH;IACvH,IAAI,SAAmG,CAAC;IACxG,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;KAClK,CAAC,CAAC,CAAC,CAAC;IACL,0DAA0D;IAC1D,MAAM,UAAU,GAAG,CAAC,IAAY,EAA+B,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;IACnL,MAAM,GAAG,GAAoC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,IAAI,GAA4B,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;YACxC,MAAM,QAAQ,GAAc,EAAE,CAAC;YAC/B,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,GAAyB,EAAE,KAAa,EAAQ,EAAE;gBAC3E,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC9C,IAAI,CAAC,CAAC,EAAE,CAAC;oBAAC,IAAI,GAAG,KAAK,KAAK;wBAAE,UAAU,GAAG,IAAI,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBACzD,IAAI,GAAG,KAAK,KAAK;oBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,EAAE;oBAAE,OAAO;gBACtC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACnI,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAChF,CAAC,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3H,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACxI,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC3H,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACrJ,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;IACrG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,aAAa,CAAC,CAAkC;IAC9D,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}

package/dist/digest.d.ts

@@ -0,0 +1,10 @@
+/** The scheme tag every value digest carries. A digest under any other tag (or none — the retired `json:` prefix form)
+ *  was not written by this rule and is never compared as if it were. */
+export declare const VALUE_DIGEST_SCHEME: "sha256-jcs-v1";
+/** `sha256-jcs-v1:<64 hex>` over the full canonical JSON of `v`. */
+export declare function valueDigest(v: unknown): Promise<string>;
+/** Was this digest written under the current scheme, over a value that could be serialised? */
+export declare const isValueDigest: (d: unknown) => d is string;
+/** Structural equality of two values, by their full canonical JSON (a declared branch's `equals`). Never a prefix. */
+export declare function sameValue(a: unknown, b: unknown): boolean;
+//# sourceMappingURL=digest.d.ts.map

package/dist/digest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.d.ts","sourceRoot":"","sources":["../src/digest.ts"],"names":[],"mappings":"AAaA;wEACwE;AACxE,eAAO,MAAM,mBAAmB,EAAG,eAAwB,CAAC;AAK5D,oEAAoE;AACpE,wBAAsB,WAAW,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAO7D;AAED,+FAA+F;AAC/F,eAAO,MAAM,aAAa,MAAO,OAAO,KAAG,CAAC,IAAI,MAAyE,CAAC;AAE1H,sHAAsH;AACtH,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAEzD"}

package/dist/digest.js

@@ -0,0 +1,45 @@
+// VALUE DIGESTS — spec 445 W0 (RUN-8), completing R917-P-4 (spec 408 §2.4).
+//
+// A receipt's `inputDigest` / `planArgsDigest` / `outputDigest` are what a resume compares a replayed step against. They
+// were a 2,048-character JSON PREFIX: two values agreeing in their first ~2 kB compared equal, so a completed step's
+// result altered past the prefix was replayed as "the one the receipt recorded" and fed later `$ref`s. They are now a
+// SHA-256 over the FULL canonical JSON of the value (keys sorted at every level, bigints as decimal strings — the same
+// canonical form `plan-digest.ts` and `artifacts.ts` use), tagged with the scheme so a reader can tell which rule a
+// receipt was written under.
+//
+// One pass to serialise, one native hash (Web Crypto): linear in the value, no RegExp, no repeated slicing — a 2 MB
+// argument is a few milliseconds, not a cliff.
+import { canonicalJson } from './artifacts.js';
+/** The scheme tag every value digest carries. A digest under any other tag (or none — the retired `json:` prefix form)
+ *  was not written by this rule and is never compared as if it were. */
+export const VALUE_DIGEST_SCHEME = 'sha256-jcs-v1';
+const PREFIX = `${VALUE_DIGEST_SCHEME}:`;
+/** What a value that cannot be serialised (a cycle) digests to. It vouches for nothing: `vouchesFor` is false for it. */
+const UNSERIALIZABLE = `${PREFIX}unserializable`;
+/** `sha256-jcs-v1:<64 hex>` over the full canonical JSON of `v`. */
+export async function valueDigest(v) {
+    let json;
+    try {
+        json = canonicalJson(v);
+    }
+    catch {
+        return UNSERIALIZABLE;
+    }
+    const bytes = new Uint8Array(await crypto.subtle.digest('SHA-256', new TextEncoder().encode(json)));
+    let hex = '';
+    for (let i = 0; i < bytes.length; i++)
+        hex += bytes[i].toString(16).padStart(2, '0');
+    return `${PREFIX}${hex}`;
+}
+/** Was this digest written under the current scheme, over a value that could be serialised? */
+export const isValueDigest = (d) => typeof d === 'string' && /^sha256-jcs-v1:[0-9a-f]{64}$/.test(d);
+/** Structural equality of two values, by their full canonical JSON (a declared branch's `equals`). Never a prefix. */
+export function sameValue(a, b) {
+    try {
+        return canonicalJson(a) === canonicalJson(b);
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=digest.js.map

package/dist/digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.js","sourceRoot":"","sources":["../src/digest.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,EAAE;AACF,yHAAyH;AACzH,qHAAqH;AACrH,sHAAsH;AACtH,uHAAuH;AACvH,oHAAoH;AACpH,6BAA6B;AAC7B,EAAE;AACF,oHAAoH;AACpH,+CAA+C;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C;wEACwE;AACxE,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAwB,CAAC;AAC5D,MAAM,MAAM,GAAG,GAAG,mBAAmB,GAAG,CAAC;AACzC,yHAAyH;AACzH,MAAM,cAAc,GAAG,GAAG,MAAM,gBAAgB,CAAC;AAEjD,oEAAoE;AACpE,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,CAAU;IAC1C,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QAAC,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,cAAc,CAAC;IAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACtF,OAAO,GAAG,MAAM,GAAG,GAAG,EAAE,CAAC;AAC3B,CAAC;AAED,+FAA+F;AAC/F,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAE1H,sHAAsH;AACtH,MAAM,UAAU,SAAS,CAAC,CAAU,EAAE,CAAU;IAC9C,IAAI,CAAC;QAAC,OAAO,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC/E,CAAC"}