@descryy/ir 0.1.0

package/dist/identity.js

@@ -0,0 +1,404 @@
+/**
+ * Node and edge identity.
+ *
+ * The single most consequential property here is that a node ID survives a file
+ * move or rename. Incident links, `CHANGES_WITH` weights and every compounding
+ * asset in the product are keyed to node identity — path-derived IDs churn on
+ * rename and reset all of it silently, with nothing in the output to reveal that
+ * it happened.
+ *
+ * A node ID is `hash(scopeOf(kind), language, kind, qualifiedSymbolPath)`.
+ *
+ * Neither of the first two fields is decoration. **Scope** is per node type, so a
+ * caller in one repository and a route in another land on one `API_ENDPOINT`
+ * instead of two that never meet. **Language** keeps `models.Order` in two
+ * languages apart, which module-qualified paths alone do not — that is the
+ * ordinary layout of a polyglot monorepo, and a collision there merges two
+ * unrelated symbols and pools their edges without a word in the output.
+ *
+ * See DEC-054 (scope and language), DEC-004 (exclude file path) and DEC-011 (the
+ * per-type qualified symbol path table, and the schema tag).
+ */
+import { createHash } from "node:crypto";
+import { isFilelessNodeType, NODE_TYPES } from "./vocabulary.js";
+/**
+ * Schema tag on every node ID. Costs three bytes and gives IR schema migration
+ * (§32 item 14 / DEC-017) a handle: a stored graph whose IDs carry a different
+ * tag is recognisably from a different identity scheme rather than silently
+ * mismatching.
+ *
+ * `n1:`/`e1:` were `hash(repo, kind, qsp)`. DEC-054 moved them to `n2:`/`e2:`,
+ * and that bump is the first real exercise of the mechanism — performed while
+ * there are zero stored graphs, because the alternative is discovering its bugs
+ * against half a million nodes and earned data that cannot be rebuilt.
+ */
+export const NODE_ID_PREFIX = "n2:";
+export const EDGE_ID_PREFIX = "e2:";
+/**
+ * The DEC-054 scope table.
+ *
+ * The rule it encodes, which should be derivable from the table without reading
+ * the decision: **a source artefact belongs to a repository, a contract belongs
+ * to a system, and earned knowledge belongs to whoever earned it.**
+ *
+ * `API_ROUTE` is repo-scoped and `API_ENDPOINT` is workspace-scoped, and that
+ * asymmetry is the entire contract mechanism:
+ *
+ *     API_ROUTE ──SERVES_API──▶ API_ENDPOINT ◀──USES_API── caller
+ *     (repo)                    (workspace)
+ *
+ * Widening `API_ROUTE` to match would collapse two services' handlers for one
+ * path into a single node and destroy the only question worth asking — *which
+ * service serves it* — while leaving the join count unchanged, so nothing in the
+ * output would reveal the loss.
+ *
+ * `MODEL` and `DTO` stay repo-scoped deliberately. Widening them would join a
+ * `Company` in one language to a `Company` in another on the strength of a
+ * shared word; §13.2's mechanism is shape comparison at R3, not identifiers. An
+ * endpoint template is safe to key on because both sides literally transmit it.
+ *
+ * `INCIDENT` and `FIX_PATTERN` are workspace *provisionally*. Global is the
+ * attractive answer and may yet be right, but they are the two types DEC-017
+ * says must survive a rebuild — so they are the only two where widening later is
+ * lossy, because the earned facts on a merged node cannot be re-derived apart.
+ * Widening is the safe direction to defer; un-merging is not a direction.
+ */
+export const NODE_SCOPE = {
+    FILE: "repo",
+    FUNCTION: "repo",
+    CLASS: "repo",
+    MODULE: "repo",
+    API_ROUTE: "repo",
+    MODEL: "repo",
+    DTO: "repo",
+    COMPONENT: "repo",
+    PAGE: "repo",
+    TEST_CASE: "repo",
+    API_ENDPOINT: "workspace",
+    DATABASE_TABLE: "workspace",
+    DATABASE_COLUMN: "workspace",
+    INCIDENT: "workspace",
+    FIX_PATTERN: "workspace",
+};
+/** Node types whose identity crosses a repository boundary. */
+export const WORKSPACE_SCOPED_NODE_TYPES = NODE_TYPES.filter((type) => NODE_SCOPE[type] === "workspace");
+/**
+ * A bare string used to be accepted here and normalised to `{ repo: scope }`.
+ *
+ * **DEC-321 measured what that convenience cost.** Six adapters passed
+ * `active.root.workspace ?? active.root.repo` — a bare string — and when a
+ * workspace was configured its name became the *repo* for every repo-scoped node
+ * type. Two unrelated classes in two services under one workspace hashed to the
+ * same id and pooled their edges, with no error and nothing to see. The loose
+ * type is what allowed the identical mistake six times, so it is gone.
+ *
+ * The refusal is at runtime as well as in the type: `descry-adapters` compiles
+ * separately and ships on its own cadence, so a type-only fix would leave every
+ * already-built adapter collapsing in silence. Rule 2 from the other side —
+ * refuse rather than guess which of the two the caller meant.
+ */
+function assertScope(scope) {
+    if (typeof scope !== "object" || scope === null) {
+        throw new TypeError(`scope must be an IdentityScope ({ repo, workspace? }), got ${JSON.stringify(scope)} — ` +
+            "a bare string silently made the workspace the repo (DEC-321)");
+    }
+}
+/**
+ * The scope string that actually enters the hash, per DEC-054's table.
+ *
+ * The value must be **byte-identical** across every repository in a workspace.
+ * `billing-platform` in one config and `billing_platform` in another yields a
+ * graph that is structurally perfect, internally consistent, and joins nothing —
+ * zero joins, zero errors, zero warnings. That is why the workspace id is
+ * declared once and validated at the boundary rather than restated per repo.
+ */
+export function scopeOf(kind, scope) {
+    assertScope(scope);
+    const { repo, workspace } = scope;
+    if (repo === "")
+        throw new TypeError("scopeOf: repo must not be empty");
+    if (NODE_SCOPE[kind] === "repo")
+        return repo;
+    if (workspace === undefined || workspace === "")
+        return repo;
+    return workspace;
+}
+/** First 128 bits of SHA-256, hex. Collision risk is not a practical concern at repo scale. */
+function hash128(input) {
+    return createHash("sha256").update(input, "utf8").digest("hex").slice(0, 32);
+}
+/**
+ * Deterministic JSON: object keys sorted, arrays order-preserving.
+ *
+ * Two structurally equal values must serialise byte-identically regardless of
+ * key insertion order, or identity depends on the order an adapter happened to
+ * build its objects in.
+ */
+export function canonicalJson(value) {
+    if (value === null)
+        return "null";
+    const t = typeof value;
+    if (t === "number") {
+        if (!Number.isFinite(value)) {
+            throw new TypeError(`canonicalJson: non-finite number (${String(value)})`);
+        }
+        return JSON.stringify(value);
+    }
+    if (t === "string" || t === "boolean")
+        return JSON.stringify(value);
+    if (t === "undefined") {
+        throw new TypeError("canonicalJson: undefined is not serialisable");
+    }
+    if (t === "bigint" || t === "function" || t === "symbol") {
+        throw new TypeError(`canonicalJson: unsupported type ${t}`);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map(canonicalJson).join(",")}]`;
+    }
+    const obj = value;
+    const keys = Object.keys(obj).sort();
+    const parts = [];
+    for (const k of keys) {
+        const v = obj[k];
+        if (v === undefined)
+            continue; // absent and explicitly-undefined are the same thing
+        parts.push(`${JSON.stringify(k)}:${canonicalJson(v)}`);
+    }
+    return `{${parts.join(",")}}`;
+}
+/**
+ * `n2:` + hash(scopeOf(kind), language, kind, qualified symbol path).
+ *
+ * Note what is absent: file path, line number, and `attrs`. A function that moves
+ * between files is the same function; a node whose attributes change is the same
+ * node.
+ *
+ * `language` is required rather than defaulted. Defaulting it to `null` would let
+ * a forgotten argument produce an id that quietly fails to match the one the
+ * adapter computes — a missing join with nothing to see. An identity change is
+ * exactly the moment every call site should have to be looked at.
+ *
+ * **`language` is now part of identity, which makes it a vocabulary rather than a
+ * free string.** Two producers describing the same artefact as `typescript` and
+ * `tsx` emit different nodes for the same symbol and never merge. Before DEC-054
+ * the field was descriptive; it is load-bearing now.
+ */
+export function nodeId(scope, kind, qualifiedSymbolPath, language) {
+    if (qualifiedSymbolPath === "") {
+        throw new TypeError("nodeId: qualifiedSymbolPath must not be empty");
+    }
+    // A fileless type belongs to no source and therefore to no language (DEC-014),
+    // and the Normaliser *sets* `language: null` on an API_ENDPOINT regardless of
+    // what the adapter said. Left unguarded, an adapter that hashed with its own
+    // language would compute an id that disagrees with the node it produced — the
+    // failure would appear as a join that silently does not happen.
+    if (language !== null && isFilelessNodeType(kind)) {
+        throw new TypeError(`nodeId: ${kind} has no language and must be hashed with null, got ${JSON.stringify(language)}`);
+    }
+    return (NODE_ID_PREFIX +
+        hash128(canonicalJson([scopeOf(kind, scope), language, kind, qualifiedSymbolPath])));
+}
+/**
+ * `e2:` + hash(from, to, type). See DEC-012.
+ *
+ * Deliberately excludes `resolution`, `confidence` and `producedBy`: two adapters
+ * finding the same relationship produce the same edge, which is what makes the
+ * merge policy possible. In prior-art graphs 30% of edges were exact duplicates,
+ * so this is load-bearing rather than tidy.
+ */
+export function edgeId(from, to, type) {
+    return EDGE_ID_PREFIX + hash128(canonicalJson([from, to, type]));
+}
+const PROMPT_VERSION_PREFIX = "pv1:";
+/**
+ * A stable identifier for one model-slot prompt's exact rendered text.
+ *
+ * `recording/writer.ts`'s `StartRunOptions.promptVersion` exists to carry
+ * this — `ai-layer-plan.md` §9 layer 4/layer 7's "invalidated by a prompt
+ * change" and "a golden that silently triples in cost after a prompt change
+ * is a regression" both need a real value here — and until now nothing
+ * computed one; that field's own doc reads *"No model layer exists yet, so
+ * always null today."* P25 (§11 Phase 5).
+ *
+ * Same hashing convention as {@link nodeId}/{@link edgeId} — first 128 bits
+ * of SHA-256, prefixed so a stored value is recognisably a prompt version
+ * rather than a node or edge id that happened to land in the same column.
+ * Hashes the **whole rendered prompt text**, not a caller-chosen label: a
+ * label is something a person remembers to update, a hash cannot be
+ * forgotten to change, and any difference — including whitespace — produces
+ * a different version, which is exactly the precision a looser comparison
+ * (trimmed, or blind to template placeholders) would miss.
+ *
+ * **Disclosed gap, same shape as every gate function before it in this
+ * plan:** `descry-desktop/packages/pipeline`'s model slots
+ * (`root-cause-analysis.ts`'s `NAME_LEVEL_SYSTEM_PROMPT` and its siblings)
+ * are this function's intended caller. None calls it yet — wiring it in, and
+ * republishing `@descryy/ir` so that repository can consume it, is
+ * follow-up work, not built here.
+ */
+export function promptVersion(promptText) {
+    return PROMPT_VERSION_PREFIX + hash128(promptText);
+}
+const FINDING_FINGERPRINT_PREFIX = "ff1:";
+/**
+ * A stable identity for one *shape* of finding — the key a dismissal ledger
+ * stores, so dismissing a finding suppresses the same claim on a later run
+ * without suppressing a different one that merely reads similarly.
+ *
+ * Architecture §20.1's funnel has always had an `F2` filter — *"known false
+ * positives from the feedback store"* — and §21.3 calls that store *"the real
+ * learning loop, not a cosmetic feature."* Neither had an implementation, and
+ * neither could until a finding had an identity that survives a re-run. This
+ * is that identity.
+ *
+ * **What it is over, and why each part earns its place:**
+ *
+ * - `finding`, `scope` — the claim, and what was being checked.
+ * - `affectedComponents` — node ids, which are `hash(repo, kind, qualified
+ *   symbol path)` and carry no file path, so a dismissal survives a rename.
+ *   The identity rule doing exactly the work it exists for.
+ * - the graph path's edges — the structural route the claim rests on. Same
+ *   words about the same component via a different path is a different claim.
+ * - **`resolutionLevel`, per §21.3 explicitly**: corrections are stored *"with
+ *   the resolution level at which the finding was produced… A false positive
+ *   generated at R1 and one generated at R3 have different causes and should
+ *   not suppress each other blindly."*
+ *
+ * **Deliberately excluded:** `recommendedAction`, `evidence`,
+ * `verificationStatus` — prose and per-run detail. A model rewording its own
+ * advice must not resurrect a finding the developer already dismissed.
+ *
+ * Lives here rather than in the funnel that consumes it for the reason
+ * `DEC-NEXT-edge-id-prefix-split` was filed: an identity gets one
+ * implementation, in the module named for identity, or it drifts.
+ */
+export function findingFingerprint(finding) {
+    return (FINDING_FINGERPRINT_PREFIX +
+        hash128(canonicalJson([
+            finding.finding,
+            finding.scope,
+            [...finding.affectedComponents].sort(),
+            finding.graphPath.map((hop) => [hop.from, hop.to, hop.edgeType]),
+            Number(finding.resolutionLevel),
+        ])));
+}
+// ---------------------------------------------------------------------------
+// Qualified symbol paths — the DEC-011 table, encoded so adapters cannot drift.
+// ---------------------------------------------------------------------------
+/**
+ * Erase every parameter segment to the literal token `{param}`.
+ *
+ * `/orders/:id`, `/orders/{order_id}`, `/orders/<int:id>` and `/orders/[id]` all
+ * normalise to `/orders/{param}`. This is what makes one `API_ENDPOINT` node out
+ * of two adapters that never share a line of code — the cross-language join.
+ *
+ * Position is preserved by path structure, so distinct routes cannot collide:
+ * `/orders/{param}/items/{param}` stays distinct from `/orders/{param}`.
+ *
+ * See DEC-013. Base paths, router mounts and gateway rewrites remain open
+ * (architecture §32 item 16) — this handles the segment shape only.
+ *
+ * ## The query string is not part of the identity, and leaving it in broke joins
+ *
+ * **Found on real code, by a lane whose own gates could not see it.** A caller
+ * writes `GET /api/invoices?company_id={param}`; the route producer writes
+ * `GET /api/invoices`, because no routing framework declares a query in its
+ * path. With the query left in, the two hash to different endpoints and the
+ * join returns **nothing** — no error, no rejection, no ledger row. Five such
+ * calls ship today across two repositories.
+ *
+ * The defect survived a 100/100 precision draw with a 0/100 control on both
+ * sides, because the adjudicator compares an edge against the source text and
+ * the source really does write `?company_id=`. Every instrument was asking *did
+ * you read this call correctly* and none was asking *can this identity ever
+ * join* — the same shape as DEC-112, one layer down: the reader and its grader
+ * shared an assumption, so no amount of grading escaped it.
+ *
+ * **A query string cannot distinguish two endpoints here**, because only
+ * consumers write one. Two callers differing only by query are reaching the
+ * same route, so collapsing them is the correct merge rather than a lossy one.
+ * The residual limit is real and disclosed rather than modelled: an API that
+ * *routes* on a query parameter — `?action=create` dispatching separately from
+ * `?action=delete` — collapses to one endpoint here. No producer in this
+ * project emits such a route, and inventing identity for one nobody declares
+ * would be the guess this rule exists to prevent.
+ */
+export function normaliseEndpointPath(path) {
+    // Before anything else, and before the trailing-slash trim in particular:
+    // `/orders/?page=2` must reach the same identity as `/orders`, which it
+    // cannot if the slash is examined while a query is still attached.
+    const pathOnly = path.split(/[?#]/, 1)[0] ?? "";
+    const withLeadingSlash = pathOnly.startsWith("/") ? pathOnly : `/${pathOnly}`;
+    // A router-mount-path concatenation (`app.use('/api/', router)` +
+    // `router.get('/orders', ...)`) can produce a run of slashes in source
+    // text. Collapsed before the trailing-slash trim, for the same reason the
+    // query is stripped first: examining a slash while another slash-shaped
+    // artifact sits next to it reads the wrong boundary.
+    const collapsed = withLeadingSlash.replace(/\/+/g, "/");
+    const trimmed = collapsed.length > 1 && collapsed.endsWith("/") ? collapsed.slice(0, -1) : collapsed;
+    const segments = trimmed.split("/").map((seg) => {
+        if (seg === "")
+            return seg;
+        const isParam = seg.startsWith(":") || // Express, Rails      :id
+            seg.startsWith("*") || // splat               *rest
+            (seg.startsWith("{") && seg.endsWith("}")) || // OpenAPI, FastAPI  {id} {id:guid}
+            (seg.startsWith("<") && seg.endsWith(">")) || // Flask             <int:id>
+            (seg.startsWith("[") && seg.endsWith("]")); // Next.js           [id] [...slug]
+        return isParam ? "{param}" : seg;
+    });
+    return segments.join("/") || "/";
+}
+/**
+ * Qualified symbol path for an `API_ENDPOINT`: `METHOD /normalised/path`.
+ * This value IS the endpoint's identity, which is why normalisation must be
+ * applied before hashing rather than after.
+ */
+export function endpointQsp(method, path) {
+    return `${method.toUpperCase()} ${normaliseEndpointPath(path)}`;
+}
+/** Qualified symbol path for a `DATABASE_TABLE` or `DATABASE_COLUMN`. */
+export function tableQsp(schema, table, column) {
+    const base = `${schema}.${table}`;
+    return column === undefined ? base : `${base}.${column}`;
+}
+/**
+ * Qualified symbol path for a `TEST_CASE`: `pkg::suite::case`.
+ *
+ * **The package root is part of it, exactly as it is for a code symbol.**
+ * `symbolQsp` has carried it since DEC-047, and this did not — so a test's
+ * qualifier was its module path *relative to its own package anchor*, with the
+ * anchor thrown away. Five Strapi packages each ship
+ * `admin/src/translations/tests/plural.test.ts` with the same titles, and all
+ * five hashed to one node: 42 cross-file collisions dropping 86 test cases on
+ * one repository, and 0 on either repository this was built against.
+ *
+ * `occurrence` distinguishes two cases a runner would report identically. Two
+ * `it("…")` calls with the same title in one describe block are legal and
+ * common — 57 pairs on Rocket.Chat, 30 on Strapi — and they are two different
+ * tests. Merging them loses one; numbering them keeps both. Only the second and
+ * later carry a suffix, so the common case is unchanged.
+ */
+export function testCaseQsp(pkg, suite, caseName, occurrence = 1) {
+    const title = [...suite, caseName].join("::");
+    return `${pkg}::${occurrence > 1 ? `${title}::#${occurrence}` : title}`;
+}
+/**
+ * Qualified symbol path for a code symbol: `pkg::Namespace.Symbol`.
+ * `pkg` is the module/package root, not a file path.
+ */
+export function symbolQsp(pkg, symbolPath) {
+    return `${pkg}::${symbolPath.join(".")}`;
+}
+/**
+ * Qualified symbol path for a `FILE`: the repo-relative path.
+ *
+ * This is the documented path-fallback in DEC-004. It is unavoidable — a file's
+ * only stable name IS its path — and it has a real consequence: `CHANGES_WITH`
+ * weights are file-to-file, so they churn on rename unless the rename-detection
+ * pass rewrites them. DEC-004's guarantee is total for symbols and partial for
+ * files, and that asymmetry is deliberate rather than overlooked.
+ */
+export function fileQsp(repoRelativePath) {
+    return repoRelativePath;
+}
+//# sourceMappingURL=identity.js.map

package/dist/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../src/identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAiB,MAAM,iBAAiB,CAAC;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CAAC;AACpC,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CAAC;AAkBpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,IAAI,EAAE,MAAM;IACZ,QAAQ,EAAE,MAAM;IAChB,KAAK,EAAE,MAAM;IACb,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,MAAM;IACjB,KAAK,EAAE,MAAM;IACb,GAAG,EAAE,MAAM;IACX,SAAS,EAAE,MAAM;IACjB,IAAI,EAAE,MAAM;IACZ,SAAS,EAAE,MAAM;IAEjB,YAAY,EAAE,WAAW;IACzB,cAAc,EAAE,WAAW;IAC3B,eAAe,EAAE,WAAW;IAE5B,QAAQ,EAAE,WAAW;IACrB,WAAW,EAAE,WAAW;CACiC,CAAC;AAI5D,+DAA+D;AAC/D,MAAM,CAAC,MAAM,2BAA2B,GAAwB,UAAU,CAAC,MAAM,CAC/E,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,WAAW,CAC3C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,SAAS,WAAW,CAAC,KAAoB;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,SAAS,CACjB,8DAA8D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK;YACtF,8DAA8D,CACjE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,OAAO,CAAC,IAAc,EAAE,KAAoB;IAC1D,WAAW,CAAC,KAAK,CAAC,CAAC;IACnB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAClC,IAAI,IAAI,KAAK,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;IACxE,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+FAA+F;AAC/F,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAElC,MAAM,CAAC,GAAG,OAAO,KAAK,CAAC;IACvB,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAe,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,SAAS,CAAC,qCAAqC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpE,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;QACtB,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnD,CAAC;IAED,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS,CAAC,qDAAqD;QACpF,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,MAAM,CACpB,KAAoB,EACpB,IAAc,EACd,mBAA2B,EAC3B,QAAuB;IAEvB,IAAI,mBAAmB,KAAK,EAAE,EAAE,CAAC;QAC/B,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACvE,CAAC;IACD,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,8EAA8E;IAC9E,gEAAgE;IAChE,IAAI,QAAQ,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,SAAS,CACjB,WAAW,IAAI,sDAAsD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAChG,CAAC;IACJ,CAAC;IACD,OAAO,CACL,cAAc;QACd,OAAO,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,EAAU,EAAE,IAAY;IAC3D,OAAO,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,qBAAqB,GAAG,MAAM,CAAC;AAErC;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,aAAa,CAAC,UAAkB;IAC9C,OAAO,qBAAqB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,0BAA0B,GAAG,MAAM,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAMlC;IACC,OAAO,CACL,0BAA0B;QAC1B,OAAO,CACL,aAAa,CAAC;YACZ,OAAO,CAAC,OAAO;YACf,OAAO,CAAC,KAAK;YACb,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE;YACtC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;SAChC,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,gFAAgF;AAChF,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;IAC9E,kEAAkE;IAClE,uEAAuE;IACvE,0EAA0E;IAC1E,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,OAAO,GACX,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvF,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9C,IAAI,GAAG,KAAK,EAAE;YAAE,OAAO,GAAG,CAAC;QAC3B,MAAM,OAAO,GACX,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,0BAA0B;YACjD,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,4BAA4B;YACnD,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,mCAAmC;YACjF,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,6BAA6B;YAC3E,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,mCAAmC;QACjF,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,IAAY;IACtD,OAAO,GAAG,MAAM,CAAC,WAAW,EAAE,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,QAAQ,CAAC,MAAc,EAAE,KAAa,EAAE,MAAe;IACrE,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC;IAClC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CACzB,GAAW,EACX,KAAwB,EACxB,QAAgB,EAChB,UAAU,GAAG,CAAC;IAEd,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,GAAG,GAAG,KAAK,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,UAA6B;IAClE,OAAO,GAAG,GAAG,KAAK,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,OAAO,CAAC,gBAAwB;IAC9C,OAAO,gBAAgB,CAAC;AAC1B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @descryy/ir — the Canonical IR boundary.
+ *
+ * Zero runtime dependencies, by design. Everything above this package is
+ * language-blind; everything below it is language-aware. `descry-adapters`
+ * depends on this package and nothing else in the engine, which makes the IR
+ * boundary a dependency-direction fact rather than a convention.
+ */
+export { NODE_TYPES, EDGE_TYPES, FILELESS_NODE_TYPES, TYPE_LIKE_NODE_TYPES, CALLABLE_NODE_TYPES, isNodeType, isEdgeType, isFilelessNodeType, isTypeLikeNodeType, isCallableNodeType, } from "./vocabulary.ts";
+export type { NodeType, EdgeType } from "./vocabulary.ts";
+export { RESOLUTION_LEVELS, UNRESOLVED_REF_CLASSES, SKIP_REASONS } from "./ir.ts";
+export type { ResolutionLevel, Range, IRNode, IREdge, IRBatch, UnresolvedRef, UnresolvedRefClass, ConfirmedFact, CrossLanguageDeclaration, SkippedFile, SkipReason, } from "./ir.ts";
+export { RELIABILITY_CLASSES, reliabilityCap, reliabilityNote } from "./reliability.ts";
+export type { ReliabilityClass } from "./reliability.ts";
+export { RESULT_STATES, TOOL_CLASSES, isResultState, isToolClass } from "./tool-surface.ts";
+export type { ResultState, ToolClass } from "./tool-surface.ts";
+export { ENVIRONMENT_LEVELS, EVIDENCE_CATEGORIES, FAULT_LAYER_CONFIDENCES, FAULT_LAYERS, FINDING_FIELDS, REPORT_CATEGORIES, RUNTIME_SIGNAL_TYPES, RederivationError, SIGNAL_TYPE_COUNTS, classifyFaultLayer, directMechanismEvidence, evidencePrecondition, faultLayerConfidence, humanAssertedOnPath, independentSignalTypes, minimumResolution, rederive, reportCategory, } from "./finding.ts";
+export type { DerivationBrand, Derived, EnvironmentLevel, EvidenceCategory, FaultLayer, FaultLayerConfidence, Finding, FindingField, FindingRecord, G4Inputs, G4Result, GraphPathHop, ReportCategory, RuntimeEvidence, RuntimeSignalType, SignalTypeCount, UntestedScope, VerificationStatus, } from "./finding.ts";
+export { detectGraphRuntimeContradiction, findGraphRuntimeContradictions, toGraphDefectRecord, } from "./contradiction.ts";
+export type { GraphDefectRecord, GraphRuntimeContradiction, RuntimeEdgeObservation, } from "./contradiction.ts";
+export { HYPOTHESIS_STATES, TERMINAL_HYPOTHESIS_STATES, UNCONFIRMED_REASONS, deriveHypothesisState, independentEvidenceSources, isTerminalHypothesisState, } from "./hypothesis.ts";
+export type { HypothesisState, HypothesisStateInput, HypothesisStateResult, UnconfirmedReason, } from "./hypothesis.ts";
+export { NODE_ID_PREFIX, EDGE_ID_PREFIX, NODE_SCOPE, WORKSPACE_SCOPED_NODE_TYPES, canonicalJson, nodeId, edgeId, promptVersion, findingFingerprint, scopeOf, normaliseEndpointPath, endpointQsp, tableQsp, testCaseQsp, symbolQsp, fileQsp, } from "./identity.ts";
+export type { IdentityScope, ScopeKind } from "./identity.ts";
+export { DEFAULT_MODEL_SCHEMA, databaseTableNodesFromModel } from "./model-tables.ts";
+export type { ModelFieldShape, ModelTableShape, ModelTableOrigin } from "./model-tables.ts";
+export { REJECTION_CODES, DEFAULT_CONFIDENCE_CEILINGS, normaliseBatch } from "./normalise.ts";
+export type { RejectionCode, Rejection, Clamp, NormaliseResult, NormaliseOptions, } from "./normalise.ts";
+export { ANY_TARGET, EDGE_TYPE_ALTERNATIVES, GoldenError, ManifestError, UNMAPPED_ATTR_NODE_TYPES, acceptedEdgeTypes, attrsSubset, bindRoles, conformanceCli, parseArgs, formatReport, formatSweepReport, goldenRoles, loadGolden, loadManifest, mapFieldNames, parseGolden, parseManifest, checkManifest, composeSources, patternRoles, runConformance, runConformanceSweep, samePath, } from "./conformance/index.ts";
+export type { BindFailure, BindResult, ConformanceFinding, ComposedSource, CompositionConflict, ConformanceInput, ConformanceResult, CorpusManifest, FindingKind, Golden, GoldenEdge, GoldenForbiddenEdge, GoldenNode, GoldenPattern, ManifestCheck, ManifestFinding, PatternResult, PatternVerdict, RoleBinding, SweepInput, SweepResult, } from "./conformance/index.ts";
+export type { RepoRoot, FileRef, AnalysisContext, DetectionResult, CapabilityMatrix, ParsedUnit, IRSource, LanguageAdapter, } from "./contracts.ts";
+export { CLIENT_BASE_EXTRACTOR, CLIENT_CALL_EXTRACTOR, FRAMEWORK_CAPABILITIES, ORM_EXTRACTOR, ROUTE_EXTRACTOR, capabilityList, isFrameworkCapability, } from "./capabilities.ts";
+export type { FrameworkCapability } from "./capabilities.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAClF,YAAY,EACV,eAAe,EACf,KAAK,EACL,MAAM,EACN,MAAM,EACN,OAAO,EACP,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,wBAAwB,EACxB,WAAW,EACX,UAAU,GACX,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxF,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5F,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEhE,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,OAAO,EACP,YAAY,EACZ,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,aAAa,EACb,kBAAkB,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,+BAA+B,EAC/B,8BAA8B,EAC9B,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,cAAc,EACd,UAAU,EACV,2BAA2B,EAC3B,aAAa,EACb,MAAM,EACN,MAAM,EACN,aAAa,EACb,kBAAkB,EAClB,OAAO,EACP,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACtF,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE5F,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EACV,aAAa,EACb,SAAS,EACT,KAAK,EACL,eAAe,EACf,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,aAAa,EACb,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,WAAW,EACX,MAAM,EACN,UAAU,EACV,mBAAmB,EACnB,UAAU,EACV,aAAa,EACb,aAAa,EACb,eAAe,EACf,aAAa,EACb,cAAc,EACd,WAAW,EACX,UAAU,EACV,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,QAAQ,EACR,OAAO,EACP,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,QAAQ,EACR,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -0,0 +1,21 @@
+/**
+ * @descryy/ir — the Canonical IR boundary.
+ *
+ * Zero runtime dependencies, by design. Everything above this package is
+ * language-blind; everything below it is language-aware. `descry-adapters`
+ * depends on this package and nothing else in the engine, which makes the IR
+ * boundary a dependency-direction fact rather than a convention.
+ */
+export { NODE_TYPES, EDGE_TYPES, FILELESS_NODE_TYPES, TYPE_LIKE_NODE_TYPES, CALLABLE_NODE_TYPES, isNodeType, isEdgeType, isFilelessNodeType, isTypeLikeNodeType, isCallableNodeType, } from "./vocabulary.js";
+export { RESOLUTION_LEVELS, UNRESOLVED_REF_CLASSES, SKIP_REASONS } from "./ir.js";
+export { RELIABILITY_CLASSES, reliabilityCap, reliabilityNote } from "./reliability.js";
+export { RESULT_STATES, TOOL_CLASSES, isResultState, isToolClass } from "./tool-surface.js";
+export { ENVIRONMENT_LEVELS, EVIDENCE_CATEGORIES, FAULT_LAYER_CONFIDENCES, FAULT_LAYERS, FINDING_FIELDS, REPORT_CATEGORIES, RUNTIME_SIGNAL_TYPES, RederivationError, SIGNAL_TYPE_COUNTS, classifyFaultLayer, directMechanismEvidence, evidencePrecondition, faultLayerConfidence, humanAssertedOnPath, independentSignalTypes, minimumResolution, rederive, reportCategory, } from "./finding.js";
+export { detectGraphRuntimeContradiction, findGraphRuntimeContradictions, toGraphDefectRecord, } from "./contradiction.js";
+export { HYPOTHESIS_STATES, TERMINAL_HYPOTHESIS_STATES, UNCONFIRMED_REASONS, deriveHypothesisState, independentEvidenceSources, isTerminalHypothesisState, } from "./hypothesis.js";
+export { NODE_ID_PREFIX, EDGE_ID_PREFIX, NODE_SCOPE, WORKSPACE_SCOPED_NODE_TYPES, canonicalJson, nodeId, edgeId, promptVersion, findingFingerprint, scopeOf, normaliseEndpointPath, endpointQsp, tableQsp, testCaseQsp, symbolQsp, fileQsp, } from "./identity.js";
+export { DEFAULT_MODEL_SCHEMA, databaseTableNodesFromModel } from "./model-tables.js";
+export { REJECTION_CODES, DEFAULT_CONFIDENCE_CEILINGS, normaliseBatch } from "./normalise.js";
+export { ANY_TARGET, EDGE_TYPE_ALTERNATIVES, GoldenError, ManifestError, UNMAPPED_ATTR_NODE_TYPES, acceptedEdgeTypes, attrsSubset, bindRoles, conformanceCli, parseArgs, formatReport, formatSweepReport, goldenRoles, loadGolden, loadManifest, mapFieldNames, parseGolden, parseManifest, checkManifest, composeSources, patternRoles, runConformance, runConformanceSweep, samePath, } from "./conformance/index.js";
+export { CLIENT_BASE_EXTRACTOR, CLIENT_CALL_EXTRACTOR, FRAMEWORK_CAPABILITIES, ORM_EXTRACTOR, ROUTE_EXTRACTOR, capabilityList, isFrameworkCapability, } from "./capabilities.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAelF,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGxF,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG5F,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AAsBtB,OAAO,EACL,+BAA+B,EAC/B,8BAA8B,EAC9B,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAO5B,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AAQzB,OAAO,EACL,cAAc,EACd,cAAc,EACd,UAAU,EACV,2BAA2B,EAC3B,aAAa,EACb,MAAM,EACN,MAAM,EACN,aAAa,EACb,kBAAkB,EAClB,OAAO,EACP,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAGtF,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAS9F,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,aAAa,EACb,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAoChC,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,mBAAmB,CAAC"}