agentfootprint 10.2.0 → 10.3.1

package/dist/semantics/coverage/items.js

@@ -0,0 +1,274 @@
+"use strict";
+/**
+ * coverage/items — normalizing and refusing coverage lists.
+ *
+ * Pattern: one validator, two doors (`absent()` and `coverage()`), so the two
+ *          primitives cannot disagree about what a well-formed piece of
+ *          ground looks like.
+ * Role:    core/ layer, pure. Throws at the CALL SITE (the
+ *          `resolveEvidenceGate` precedent): a malformed declaration is a
+ *          mistake in the line the author just wrote, and the stack should
+ *          say so — not fail on the first absence of the first incident.
+ * Emits:   N/A.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.listsWithoutRecordOnly = exports.mergeItems = exports.sameItem = exports.normalizeCoverageList = exports.COVERAGE_DECLARATION_KEYS = exports.listWithoutRecordOnly = exports.readItemExtras = exports.shortProblem = exports.RECORD_ONLY_ITEM_KEYS = exports.MAX_SHORT_CHARS = void 0;
+const footprintjs_1 = require("footprintjs");
+const plainLine_js_1 = require("../../lib/plainLine.js");
+const refusal_js_1 = require("./refusal.js");
+const isPlainString = (v) => typeof v === 'string' && v.trim().length > 0;
+/** The longest `short` a report prints on one line. */
+exports.MAX_SHORT_CHARS = 80;
+/** The closed `kind` vocabulary, tied to {@link CoverageKind}: a member the
+ *  union gains, or one listed here it does not have, fails to compile. */
+const COVERAGE_KINDS = Object.keys({
+    existence: true,
+    scope: true,
+});
+/** The item keys that are RECORD-ONLY — never served to the model, never
+ *  evidence. `read.ts` · `servedToModel` and `evidence.ts` remove these. */
+exports.RECORD_ONLY_ITEM_KEYS = ['short', 'kind'];
+/** What is wrong with a `short`, or `undefined` when it is fine. `what` is the
+ *  item's own (trimmed) `what`. */
+function shortProblem(short, what) {
+    if (typeof short !== 'string' || short.trim() === '') {
+        return '`short` must be a non-empty string — or omit it; the report then prints `what`.';
+    }
+    const s = short.trim();
+    const notPlain = (0, plainLine_js_1.plainLineProblem)('`short`', s);
+    if (notPlain !== undefined)
+        return notPlain;
+    if (s.length > exports.MAX_SHORT_CHARS) {
+        return `\`short\` is ${s.length} characters; the limit is ${exports.MAX_SHORT_CHARS}.`;
+    }
+    if (s.length > what.length) {
+        return '`short` is longer than `what` — a short form restates `what` in fewer words.';
+    }
+    return undefined;
+}
+exports.shortProblem = shortProblem;
+/** What is wrong with a `kind` in `section`, or `undefined` when it is fine. */
+function kindProblem(kind, section) {
+    if (section === 'checked') {
+        return ('`kind` is refused on `checked` — it says what kind of ground was NOT reached ' +
+            "('existence' or 'scope'), so it belongs on `notChecked` or `cannotCover`.");
+    }
+    if (typeof kind !== 'string' || !COVERAGE_KINDS.includes(kind)) {
+        return `\`kind\` must be one of ${COVERAGE_KINDS.map((k) => `'${k}'`).join(', ')}.`;
+    }
+    return undefined;
+}
+/** Declared = an own key holding a value. `null` reads as omitted: a JSON
+ *  producer writes a missing optional value as `null` (Python's `None`). */
+const has = (item, key) => Object.prototype.hasOwnProperty.call(item, key) && item[key] != null;
+/** Tools already warned about a dropped extra — one warning per tool name
+ *  per PROCESS (module state; a second agent in a long-lived host is not
+ *  told again — dev mode only, so acceptable). */
+const warnedTools = new Set();
+/**
+ * The item's `short` / `kind`, when each is valid — the NON-throwing reader
+ * every dispatch door uses (`../../core/agent/stages/toolCalls.ts` · `declareCoverage`'s
+ * copy), so the event and the tracked row carry the same fields.
+ *
+ * An invalid value is DROPPED, never repaired, and named once per tool in dev
+ * mode: an envelope minted elsewhere (a Python sidecar, a hand-built value)
+ * is read as found, and the absence it carries is still an absence either
+ * way. `{}` when the item declares neither — so a spread of it adds no key.
+ */
+function readItemExtras(item, section, toolName) {
+    if (typeof item !== 'object' || item === null)
+        return {};
+    const rec = item;
+    const wantsShort = has(rec, 'short');
+    const wantsKind = has(rec, 'kind');
+    if (!wantsShort && !wantsKind)
+        return {};
+    const what = typeof rec.what === 'string' ? rec.what.trim() : '';
+    const problems = [];
+    let short;
+    let kind;
+    if (wantsShort) {
+        const problem = shortProblem(rec.short, what);
+        if (problem === undefined)
+            short = rec.short.trim();
+        else
+            problems.push(problem);
+    }
+    if (wantsKind) {
+        const problem = kindProblem(rec.kind, section);
+        if (problem === undefined)
+            kind = rec.kind;
+        else
+            problems.push(problem);
+    }
+    const [firstProblem] = problems;
+    if (firstProblem !== undefined)
+        warnDroppedExtra(toolName, section, firstProblem);
+    return { ...(short !== undefined && { short }), ...(kind !== undefined && { kind }) };
+}
+exports.readItemExtras = readItemExtras;
+function warnDroppedExtra(toolName, section, problem) {
+    const key = toolName ?? '';
+    if (warnedTools.has(key) || !(0, footprintjs_1.isDevMode)())
+        return;
+    warnedTools.add(key);
+    // eslint-disable-next-line no-console
+    console.warn(`agentfootprint coverage: tool '${toolName ?? '(unknown)'}' declared a ${section} item ` +
+        `the record cannot carry, so that field was dropped (the item itself is kept): ` +
+        `${problem} This warning fires once per tool per process.`);
+}
+/**
+ * One coverage list with the record-only keys removed from every item that
+ * has one — the SAME reference when no item has one (the zero-cost law: a
+ * run whose tools declare neither serves exactly the value it always did).
+ * Anything that is not an array, and any item that is not an object, is left
+ * as found.
+ */
+function listWithoutRecordOnly(list) {
+    if (!Array.isArray(list))
+        return list;
+    // Declared = an own key holding a value — the record's reading
+    // (`readItemExtras`), so the two cannot disagree: `"short": None` from a
+    // Python producer is omitted for both, served as written, and stamps
+    // nothing. Any NON-null value under either key is removed, valid or not:
+    // the two names are RESERVED on a recognized envelope's items.
+    const carries = (i) => typeof i === 'object' && i !== null && exports.RECORD_ONLY_ITEM_KEYS.some((k) => has(i, k));
+    if (!list.some(carries))
+        return list;
+    return list.map((i) => carries(i)
+        ? Object.fromEntries(Object.entries(i).filter(([key, v]) => !(exports.RECORD_ONLY_ITEM_KEYS.includes(key) && v != null)))
+        : i);
+}
+exports.listWithoutRecordOnly = listWithoutRecordOnly;
+/**
+ * The keys a {@link CoverageDeclaration} has — the three lists, as the author
+ * spells them — tied to the type in BOTH directions: a key the interface
+ * gains, or one listed here that it does not have, fails to compile.
+ * `coverage()` and a `describedResult()` declaration's
+ * `coverage` refuse any other
+ * key (`refusal.ts` · `refuseUnknownKeys`), so `not_checked` is refused,
+ * naming `notChecked`, instead of vanishing.
+ */
+exports.COVERAGE_DECLARATION_KEYS = Object.keys({
+    checked: true,
+    notChecked: true,
+    cannotCover: true,
+});
+/**
+ * Normalize one author list into {@link CoverageItem}s, refusing anything a
+ * reader could not act on. Every refusal starts with `refusal.ts` ·
+ * `REFUSED_PREFIX` and names the list and index, never the helper.
+ *
+ * `requireWhy` is true only for `cannotCover`. The asymmetry is deliberate:
+ * "we checked the fcns database" and "we did not check the archive" are
+ * complete statements on their own, but "this tool can never see host-side
+ * multipathing" is a claim about capability — and a permanent blind spot with
+ * no reason attached cannot be acted on, escalated, or disproved. It is also
+ * the one an operator is most likely to want to fix, so the reason is the
+ * useful half.
+ */
+function normalizeCoverageList(section, list, requireWhy) {
+    if (list === undefined)
+        return [];
+    if (!Array.isArray(list)) {
+        throw (0, refusal_js_1.refusal)(`\`${section}\` must be an array of strings or { what, why } entries — to say ` +
+            `nothing about it, omit the field (absent means "not declared", never "nothing there").`);
+    }
+    const items = [];
+    list.forEach((raw, i) => {
+        const at = `${section}[${i}]`;
+        if (isPlainString(raw)) {
+            if (requireWhy) {
+                throw (0, refusal_js_1.refusal)(`${at} is '${raw.trim()}' with no reason. Every \`cannotCover\` entry needs a ` +
+                    `\`why\` — a blind spot this tool can NEVER see is a claim about what it is, and a ` +
+                    `reader cannot act on, escalate or disprove a claim with no reason. Write ` +
+                    `{ what: '${raw.trim()}', why: '…' }, or move it to \`notChecked\` if a wider ` +
+                    `call could reach it.`);
+            }
+            items.push({ what: raw.trim() });
+            return;
+        }
+        if (typeof raw !== 'object' || raw === null || !isPlainString(raw.what)) {
+            throw (0, refusal_js_1.refusal)(`${at} names no ground. Each entry is either a non-empty string or ` +
+                `{ what, why } — what a reader has to know is WHICH source, window or population ` +
+                `this is about.`);
+        }
+        const item = raw;
+        const why = item.why;
+        if (why !== undefined && !isPlainString(why)) {
+            throw (0, refusal_js_1.refusal)(`${at} ('${item.what.trim()}') has a \`why\` that says nothing. Give it a ` +
+                `reason or omit the field.`);
+        }
+        if (requireWhy && why === undefined) {
+            throw (0, refusal_js_1.refusal)(`${at} ('${item.what.trim()}') has no \`why\`. Every \`cannotCover\` entry ` +
+                `needs one — see the entry above this line in the docs for why a permanent blind ` +
+                `spot must say what makes it permanent.`);
+        }
+        const what = item.what.trim();
+        // The record-only extras, refused HERE by the same rules the dispatch
+        // door reads them by (`readItemExtras`). `null`/`undefined` = omitted.
+        const short = item.short == null ? undefined : item.short;
+        const kind = item.kind == null ? undefined : item.kind;
+        const shortFault = short === undefined ? undefined : shortProblem(short, what);
+        if (shortFault !== undefined)
+            throw (0, refusal_js_1.refusal)(`${at} ('${what}') — ${shortFault}`);
+        const kindFault = kind === undefined ? undefined : kindProblem(kind, section);
+        if (kindFault !== undefined)
+            throw (0, refusal_js_1.refusal)(`${at} ('${what}') — ${kindFault}`);
+        items.push({
+            what,
+            ...(why !== undefined && { why: why.trim() }),
+            ...(short !== undefined && { short: short.trim() }),
+            ...(kind !== undefined && { kind }),
+        });
+    });
+    return items;
+}
+exports.normalizeCoverageList = normalizeCoverageList;
+/** Two entries are the same ground when they say the same two things. Used to
+ *  fold the run's declarations into ONE answer-level block: five tools that
+ *  all name the same missing collector should say it once. */
+function sameItem(a, b) {
+    return a.what === b.what && (a.why ?? '') === (b.why ?? '');
+}
+exports.sameItem = sameItem;
+/** Merge lists in declaration order, dropping repeats. Order is the run's own
+ *  order on purpose — it is the only ordering that means anything here. */
+function mergeItems(lists) {
+    const out = [];
+    for (const list of lists) {
+        for (const item of list) {
+            if (!out.some((seen) => sameItem(seen, item)))
+                out.push(item);
+        }
+    }
+    return out;
+}
+exports.mergeItems = mergeItems;
+/** The coverage lists as the WIRE spells them — an absence's, a ledger's
+ *  `af_coverage` and a semantic envelope's `coverage` — and a ledger's
+ *  `in_progress` (`inProgress.ts`), whose items carry the same record-only
+ *  `short`. A key a holder does not carry is skipped, so the fourth costs an
+ *  envelope that never declares it nothing. */
+const WIRE_LISTS = ['checked', 'not_checked', 'cannot_cover', 'in_progress'];
+/**
+ * `holder` (an envelope or a ledger marker) with each wire list stripped of
+ * the record-only keys — the SAME reference when none of its lists carried
+ * one. The one helper `read.ts` · `servedToModel` (what the model is served)
+ * and `evidence.ts` (what may ground) both use, so the two cannot disagree
+ * about which keys are record-only.
+ */
+function listsWithoutRecordOnly(holder) {
+    let out;
+    for (const key of WIRE_LISTS) {
+        const list = holder[key];
+        const kept = listWithoutRecordOnly(list);
+        if (kept === list)
+            continue;
+        out = out ?? { ...holder };
+        out[key] = kept;
+    }
+    return out ?? holder;
+}
+exports.listsWithoutRecordOnly = listsWithoutRecordOnly;
+//# sourceMappingURL=items.js.map

package/dist/semantics/coverage/items.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"items.js","sourceRoot":"","sources":["../../../src/semantics/coverage/items.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEH,6CAAwC;AAExC,yDAA0D;AAE1D,6CAAuC;AAMvC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAchG,uDAAuD;AAC1C,QAAA,eAAe,GAAG,EAAE,CAAC;AAElC;0EAC0E;AAC1E,MAAM,cAAc,GAAsB,MAAM,CAAC,IAAI,CAAC;IACpD,SAAS,EAAE,IAAI;IACf,KAAK,EAAE,IAAI;CACyB,CAAC,CAAC;AAExC;4EAC4E;AAC/D,QAAA,qBAAqB,GAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAE1E;mCACmC;AACnC,SAAgB,YAAY,CAAC,KAAc,EAAE,IAAY;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,OAAO,iFAAiF,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,IAAA,+BAAgB,EAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,uBAAe,EAAE,CAAC;QAC/B,OAAO,gBAAgB,CAAC,CAAC,MAAM,6BAA6B,uBAAe,GAAG,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,8EAA8E,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAdD,oCAcC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAa,EAAE,OAAwB;IAC1D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CACL,+EAA+E;YAC/E,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,2BAA2B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE,CACjD,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAK,IAAgC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAEpG;;kDAEkD;AAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC;;;;;;;;;GASG;AACH,SAAgB,cAAc,CAC5B,IAAa,EACb,OAAwB,EACxB,QAAiB;IAEjB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAyB,CAAC;IAC9B,IAAI,IAA8B,CAAC;IACnC,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,GAAI,GAAG,CAAC,KAAgB,CAAC,IAAI,EAAE,CAAC;;YAC3D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC,IAAoB,CAAC;;YACtD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC;IAChC,IAAI,YAAY,KAAK,SAAS;QAAE,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AA3BD,wCA2BC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAe;IACtF,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,uBAAS,GAAE;QAAE,OAAO;IACjD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrB,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,gBAAgB,OAAO,QAAQ;QACtF,gFAAgF;QAChF,GAAG,OAAO,gDAAgD,CAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,+DAA+D;IAC/D,yEAAyE;IACzE,qEAAqE;IACrE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,CAAC,CAAU,EAAW,EAAE,CACtC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,6BAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAC7B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,6BAAqB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAClE,CACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAnBD,sDAmBC;AAED;;;;;;;;GAQG;AACU,QAAA,yBAAyB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtE,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;CACgC,CAAC,CAAC;AAErD;;;;;;;;;;;;GAYG;AACH,SAAgB,qBAAqB,CACnC,OAAwB,EACxB,IAA0C,EAC1C,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,IAAA,oBAAO,EACX,KAAK,OAAO,mEAAmE;YAC7E,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,CAAC;QAC9B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,QAAQ,GAAG,CAAC,IAAI,EAAE,wDAAwD;oBAC7E,oFAAoF;oBACpF,2EAA2E;oBAC3E,YAAY,GAAG,CAAC,IAAI,EAAE,yDAAyD;oBAC/E,sBAAsB,CACzB,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,aAAa,CAAE,GAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1F,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,+DAA+D;gBAClE,kFAAkF;gBAClF,gBAAgB,CACnB,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,GAAmB,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gDAAgD;gBACzE,2BAA2B,CAC9B,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD;gBAC1E,kFAAkF;gBAClF,wCAAwC,CAC3C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9B,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACvD,MAAM,UAAU,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/E,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,IAAA,oBAAO,EAAC,GAAG,EAAE,MAAM,IAAI,QAAQ,UAAU,EAAE,CAAC,CAAC;QACjF,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9E,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,IAAA,oBAAO,EAAC,GAAG,EAAE,MAAM,IAAI,QAAQ,SAAS,EAAE,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC;SACpC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAnED,sDAmEC;AAED;;8DAE8D;AAC9D,SAAgB,QAAQ,CAAC,CAAe,EAAE,CAAe;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;AAC9D,CAAC;AAFD,4BAEC;AAED;2EAC2E;AAC3E,SAAgB,UAAU,CAAC,KAA6C;IACtE,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AARD,gCAQC;AAED;;;;+CAI+C;AAC/C,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,aAAa,CAAU,CAAC;AAEtF;;;;;;GAMG;AACH,SAAgB,sBAAsB,CAAmB,MAAS;IAChE,IAAI,GAAwC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,GAAG,GAAG,GAAG,IAAI,EAAE,GAAI,MAAkC,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,OAAQ,GAAqB,IAAI,MAAM,CAAC;AAC1C,CAAC;AAVD,wDAUC"}

package/dist/semantics/coverage/ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../../src/semantics/coverage/ledger.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAEH,mDAAiD;AACjD,yCAAmD;AACnD,2CAAyC;AACzC,6CAA0D;AAG1D;;;;;;GAMG;AACH,MAAM,uBAAuB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC7D,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;IACjB,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,IAAI;CACuC,CAAC,CAAC;AAE3D,+EAA+E;AAC/E,4EAA4E;AAC5E,kDAAkD;AAClD,iDAAqE;AAC5D,gGADA,8BAAe,OACA;AAAE,mGADA,iCAAkB,OACA;AAE5C;;;;;;;;;;GAUG;AACU,QAAA,aAAa,GACxB,6FAA6F;IAC7F,0FAA0F;IAC1F,iBAAiB;IACjB,0FAA0F;IAC1F,sCAAsC,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,SAAgB,QAAQ,CAAI,OAAU,EAAE,IAA+B;IACrE,MAAM,EAAE,GAAG,UAAU,CAAC;IACtB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,mFAAmF;YACtF,uFAAuF;YACvF,iBAAiB,CACpB,CAAC;IACJ,CAAC;IACD,IAAA,8BAAiB,EAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAA,gCAAqB,EAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACjF,0EAA0E;IAC1E,uEAAuE;IACvE,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,MAAM,GAAG,IAAA,sBAAU,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,0EAA0E;IAC1E,0EAA0E;IAC1E,yEAAyE;IACzE,qEAAqE;IACrE,MAAM,UAAU,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAA,oBAAO,EACX,oFAAoF;YAClF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,UAAU,CAAC,MAAM,KAAK,CAAC;QACvB,WAAW,CAAC,MAAM,KAAK,CAAC;QACxB,MAAM,KAAK,SAAS,EACpB,CAAC;QACD,MAAM,IAAA,oBAAO,EACX,6EAA6E;YAC3E,oFAAoF;YACpF,kFAAkF;YAClF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EAAE;YACX,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;YACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;YAC5D,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACzD,4EAA4E;YAC5E,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;YACvC,IAAI,EAAE,qBAAa;SACpB;QACD,MAAM,EAAE,OAAO;KAChB,CAAC;AACJ,CAAC;AAtDD,4BAsDC;AAED,iEAAiE;AACjE,SAAgB,gBAAgB,CAAC,OAAsB;IACrD,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC;IAC9B,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE;QACxB,UAAU,EAAE,CAAC,CAAC,WAAW,IAAI,EAAE;QAC/B,WAAW,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE;KAClC,CAAC;AACJ,CAAC;AAPD,4CAOC"}