@tacuchi/agent-workflow-cli 20.26.0 → 21.1.0

package/dist/domain/contract-reader.js

@@ -0,0 +1,84 @@
+/**
+ * The shared machinery every hand-written contract validator is built on.
+ *
+ * Three properties hold across every published contract — the design formats and
+ * the capability descriptor alike — and they live here so no validator can
+ * quietly drop one:
+ *
+ * - **Every diagnostic names an artifact and a corrective action.** A rejection
+ *   that only says "invalid" is a dead end for whoever has to fix it.
+ * - **Objects are closed.** The published JSON Schemas declare
+ *   `additionalProperties: false`, so a key the contract does not declare is a
+ *   typo of a real one, never an extension.
+ * - **Coverage is measured, not promised.** Every property read is recorded, and
+ *   each drift guard compares that set against its published schema. A property
+ *   declared in the schema and forgotten in the validator cannot ship.
+ *
+ * The failure CODE prefix is a constructor argument rather than a literal: the
+ * design formats answer `DESIGN_*` and the capability descriptor `CAPABILITY_*`,
+ * and a caller reading a code should learn which contract rejected it. That one
+ * parameter is the whole reason this is shared instead of copied — a second copy
+ * of `closed()` is a second place for the closed-object rule to rot.
+ */
+export class ContractReader {
+    codePrefix;
+    allowedKeys;
+    touched = new Set();
+    failures = [];
+    constructor(codePrefix, allowedKeys) {
+        this.codePrefix = codePrefix;
+        this.allowedKeys = allowedKeys;
+    }
+    /** Read `path`'s last segment off `node`, recording the property as covered. */
+    read(node, path) {
+        this.touched.add(path);
+        const segments = path.split(".");
+        const key = segments[segments.length - 1].replace("[]", "");
+        return node[key];
+    }
+    fail(code, artifact, message, action) {
+        this.failures.push({ code, artifact, message, action });
+    }
+    invalid(artifact, message, action) {
+        this.fail(`${this.codePrefix}_FIELD_INVALID`, artifact, message, action);
+    }
+    /** Reject anything the contract does not declare at `path` (closed objects). */
+    closed(node, path, artifact) {
+        const allowed = this.allowedKeys[path];
+        if (allowed === undefined)
+            return;
+        for (const key of Object.keys(node)) {
+            if (allowed.includes(key))
+                continue;
+            this.fail(`${this.codePrefix}_KEY_UNKNOWN`, artifact, `${path === "" ? "el documento" : `'${path}'`} no admite la clave '${key}'`, `quitala o corregí el nombre; las claves válidas son: ${allowed.join(", ")}`);
+        }
+    }
+}
+/**
+ * Walk an array-of-objects field. Every list in every contract shares the same
+ * three failure modes — not an array, an item that is not an object, an item
+ * carrying a key the schema does not declare — so they are stated once here and
+ * each reader stays about ITS own fields.
+ */
+export function* eachRecord(r, node, path, artifact, emptyMeans = "") {
+    const list = r.read(node, path);
+    if (!Array.isArray(list)) {
+        r.invalid(artifact, `'${path}' debe ser un array${emptyMeans}`, `escribí '${path}': []`);
+        return;
+    }
+    for (const entry of list) {
+        if (!isRecord(entry)) {
+            r.invalid(artifact, `cada entrada de '${path}' debe ser un objeto`, `revisá el array '${path}'`);
+            continue;
+        }
+        r.closed(entry, `${path}[]`, artifact);
+        yield entry;
+    }
+}
+export function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+export function isNonEmptyString(value) {
+    return typeof value === "string" && value.trim().length > 0;
+}
+//# sourceMappingURL=contract-reader.js.map

package/dist/domain/contract-reader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-reader.js","sourceRoot":"","sources":["../../src/domain/contract-reader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAcH,MAAM,OAAO,cAAc;IAKN;IACA;IALV,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,QAAQ,GAAsB,EAAE,CAAC;IAE1C,YACmB,UAAkB,EAClB,WAAwB;QADxB,eAAU,GAAV,UAAU,CAAQ;QAClB,gBAAW,GAAX,WAAW,CAAa;IACxC,CAAC;IAEJ,gFAAgF;IAChF,IAAI,CAAC,IAA6B,EAAE,IAAY;QAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,GAAG,GAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAY,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,QAAgB,EAAE,OAAe,EAAE,MAAc;QAClE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,CAAC,QAAgB,EAAE,OAAe,EAAE,MAAc;QACvD,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3E,CAAC;IAED,gFAAgF;IAChF,MAAM,CAAC,IAA6B,EAAE,IAAY,EAAE,QAAgB;QAClE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO;QAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpC,IAAI,CAAC,IAAI,CACP,GAAG,IAAI,CAAC,UAAU,cAAc,EAChC,QAAQ,EACR,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,wBAAwB,GAAG,GAAG,EAC3E,wDAAwD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,SAAS,CAAC,CAAC,UAAU,CACzB,CAAiB,EACjB,IAA6B,EAC7B,IAAY,EACZ,QAAgB,EAChB,UAAU,GAAG,EAAE;IAEf,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,IAAI,sBAAsB,UAAU,EAAE,EAAE,YAAY,IAAI,OAAO,CAAC,CAAC;QACzF,OAAO;IACT,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,oBAAoB,IAAI,sBAAsB,EAC9C,oBAAoB,IAAI,GAAG,CAC5B,CAAC;YACF,SAAS;QACX,CAAC;QACD,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC"}

package/dist/domain/design/adapter.js

@@ -0,0 +1,161 @@
+/**
+ * What a renderer or adapter says it can do — and the refusal to infer the rest.
+ *
+ * Every integration declares a COMPLETE matrix. That is the whole content of
+ * this module: an absent capability is never "probably fine", never "try it and
+ * see", never a call that silently does half the job. Asking for one that was
+ * not declared comes back as an explicit degradation naming what is missing and
+ * what does exist instead — or, when the caller cannot continue without it, as a
+ * failure. Never as silence.
+ *
+ * The matrix is a TYPE, not a document: `Record<RenderCapability, boolean>` is
+ * exhaustive, so a profile that forgets to answer for `compare` does not
+ * compile. There is no JSON schema here on purpose — a profile is code shipped
+ * with the CLI, and validating it at runtime would be checking a fact the
+ * compiler already proved.
+ *
+ * A one-way adapter is perfectly valid. `handoff + record` — prepare the context,
+ * register where the result ended up — is the whole Figma conformance profile of
+ * v1, and it is honest precisely because it declares the other five as absent.
+ */
+/**
+ * The seven capabilities, in decreasing order of how local they are.
+ *
+ * - `handoff` — hand the bundle over. The floor: no account, no network.
+ * - `record` — register where a result lives, as a rendition.
+ * - `snapshot` — keep a local, consultable copy of the result.
+ * - `generate` — create the visual result in the tool, automatically.
+ * - `push` — write Workline's semantics into the tool.
+ * - `pull` — bring the tool's state back.
+ * - `compare` — diff the tool's state against a revision.
+ */
+export const RENDER_CAPABILITIES = [
+    "handoff",
+    "record",
+    "snapshot",
+    "generate",
+    "push",
+    "pull",
+    "compare",
+];
+/**
+ * The three v1 conformance is defined in terms of. Optional means "may be
+ * declared false", never "may be left out of the matrix": the difference between
+ * those two is exactly what this contract exists to remove.
+ */
+export const CONFORMANCE_CAPABILITIES = ["handoff", "record", "snapshot"];
+/** The four that no v1 profile implements, and that all of them must declare. */
+export const OPTIONAL_CAPABILITIES = ["generate", "push", "pull", "compare"];
+/**
+ * The nearest declared capability that answers the SAME need, so a degradation
+ * can offer a way forward instead of just a refusal. `handoff` has none below
+ * it: it is the floor, and a profile that cannot even hand the bundle over has
+ * nothing to fall back to.
+ */
+const FALLBACK = {
+    handoff: null,
+    record: "handoff",
+    snapshot: "record",
+    generate: "handoff",
+    push: "handoff",
+    pull: "record",
+    compare: "snapshot",
+};
+const HOW_TO_INSTEAD = {
+    handoff: "entregá el bundle y operá la herramienta a mano",
+    record: "registrá el resultado como rendition con su locator",
+    snapshot: "conservá una copia local del resultado y sellala con su source_digest",
+    generate: "creá el diseño en la herramienta a partir del bundle",
+    push: "aplicá los cambios en la herramienta a mano",
+    pull: "traé el resultado a mano y registralo como propuesta",
+    compare: "compará contra el snapshot local",
+};
+/**
+ * Resolve a request against the matrix.
+ *
+ * The two outcomes are the contract: a declared capability is exercised, an
+ * undeclared one degrades. There is no third branch where the caller guesses,
+ * and no branch at all where the answer is nothing.
+ */
+export function resolveCapability(adapter, capability) {
+    if (adapter.capabilities[capability])
+        return { ok: true, capability };
+    const fallback = FALLBACK[capability];
+    const alternative = fallback !== null && adapter.capabilities[fallback]
+        ? fallback
+        : (RENDER_CAPABILITIES.find((c) => adapter.capabilities[c]) ?? null);
+    return {
+        ok: false,
+        degradation: {
+            adapter: adapter.id,
+            capability,
+            message: `el perfil '${adapter.id}' no declara '${capability}'`,
+            alternative,
+            action: alternative === null
+                ? "este perfil no declara ninguna capacidad: elegí otro adapter, o hacé el handoff neutral local"
+                : `usá '${alternative}': ${HOW_TO_INSTEAD[alternative]}`,
+        },
+    };
+}
+/** The same degradation as a failure, for a caller that cannot continue without it. */
+export function degradationFailure(degradation, artifact) {
+    return {
+        code: "DESIGN_CAPABILITY_UNDECLARED",
+        artifact,
+        message: degradation.message,
+        action: degradation.action,
+    };
+}
+/** Look an adapter up. Null — never a guess — when the registry does not have it. */
+export function findAdapter(id, registry) {
+    return registry[id] ?? null;
+}
+/**
+ * Ask for an adapter that has to be there. Separate from `findAdapter` so the
+ * diagnostic can list what IS registered: "no existe 'figma-api'" is a dead end
+ * when the answer the caller needed was "hay 'figma' y 'portable-html'".
+ */
+export function requireAdapter(id, registry, artifact) {
+    const found = findAdapter(id, registry);
+    if (found !== null)
+        return { ok: true, value: found };
+    const known = Object.keys(registry).sort();
+    return {
+        ok: false,
+        failure: {
+            code: "DESIGN_ADAPTER_UNKNOWN",
+            artifact,
+            message: `no hay ningún perfil de renderer/adapter '${id}'`,
+            action: known.length === 0
+                ? "no hay perfiles registrados: el camino local (validar, leer y handoff neutral) no necesita ninguno"
+                : `los perfiles registrados son: ${known.join(", ")}`,
+        },
+    };
+}
+/** The adapter facet a bundle records. */
+export function bundleAdapterOf(adapter) {
+    return { profile: adapter.id, version: adapter.version };
+}
+/**
+ * Everything this profile cannot represent, as a bundle's loss report.
+ *
+ * Its own declared losses PLUS one entry per undeclared capability. The second
+ * half is what makes the report answer "what can this not do with my design"
+ * rather than only "what does this renderer draw badly".
+ */
+export function declaredLosses(adapter) {
+    return [
+        ...adapter.losses,
+        ...RENDER_CAPABILITIES.filter((c) => !adapter.capabilities[c]).map((c) => ({
+            subject: `capability:${c}`,
+            why: `el perfil '${adapter.id}' no declara '${c}'${FALLBACK[c] !== null && adapter.capabilities[FALLBACK[c]]
+                ? `; lo más cercano que declara es '${FALLBACK[c]}'`
+                : ""}`,
+        })),
+    ];
+}
+/** Does this profile satisfy v1 conformance for the capabilities it claims? */
+export function conformanceOf(adapter) {
+    return CONFORMANCE_CAPABILITIES.filter((c) => adapter.capabilities[c]);
+}
+//# sourceMappingURL=adapter.js.map

package/dist/domain/design/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../../src/domain/design/adapter.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,SAAS;IACT,QAAQ;IACR,UAAU;IACV,UAAU;IACV,MAAM;IACN,MAAM;IACN,SAAS;CACD,CAAC;AAIX;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAEnF,iFAAiF;AACjF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAU,CAAC;AAqBtF;;;;;GAKG;AACH,MAAM,QAAQ,GAAgE;IAC5E,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,SAAS;IACjB,QAAQ,EAAE,QAAQ;IAClB,QAAQ,EAAE,SAAS;IACnB,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,UAAU;CACpB,CAAC;AAEF,MAAM,cAAc,GAA+C;IACjE,OAAO,EAAE,iDAAiD;IAC1D,MAAM,EAAE,qDAAqD;IAC7D,QAAQ,EAAE,uEAAuE;IACjF,QAAQ,EAAE,sDAAsD;IAChE,IAAI,EAAE,6CAA6C;IACnD,IAAI,EAAE,sDAAsD;IAC5D,OAAO,EAAE,kCAAkC;CAC5C,CAAC;AAgBF;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAuB,EACvB,UAA4B;IAE5B,IAAI,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAEtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,WAAW,GACf,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC;QACjD,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IAEzE,OAAO;QACL,EAAE,EAAE,KAAK;QACT,WAAW,EAAE;YACX,OAAO,EAAE,OAAO,CAAC,EAAE;YACnB,UAAU;YACV,OAAO,EAAE,cAAc,OAAO,CAAC,EAAE,iBAAiB,UAAU,GAAG;YAC/D,WAAW;YACX,MAAM,EACJ,WAAW,KAAK,IAAI;gBAClB,CAAC,CAAC,+FAA+F;gBACjG,CAAC,CAAC,QAAQ,WAAW,MAAM,cAAc,CAAC,WAAW,CAAC,EAAE;SAC7D;KACF,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,kBAAkB,CAChC,WAAkC,EAClC,QAAgB;IAEhB,OAAO;QACL,IAAI,EAAE,8BAA8B;QACpC,QAAQ;QACR,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,MAAM,EAAE,WAAW,CAAC,MAAM;KAC3B,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,EAAU,EAAE,QAAyB;IAC/D,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,EAAU,EACV,QAAyB,EACzB,QAAgB;IAEhB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,OAAO;QACL,EAAE,EAAE,KAAK;QACT,OAAO,EAAE;YACP,IAAI,EAAE,wBAAwB;YAC9B,QAAQ;YACR,OAAO,EAAE,6CAA6C,EAAE,GAAG;YAC3D,MAAM,EACJ,KAAK,CAAC,MAAM,KAAK,CAAC;gBAChB,CAAC,CAAC,oGAAoG;gBACtG,CAAC,CAAC,iCAAiC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAC1D;KACF,CAAC;AACJ,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,eAAe,CAAC,OAAuB;IACrD,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAuB;IACpD,OAAO;QACL,GAAG,OAAO,CAAC,MAAM;QACjB,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzE,OAAO,EAAE,cAAc,CAAC,EAAE;YAC1B,GAAG,EAAE,cAAc,OAAO,CAAC,EAAE,iBAAiB,CAAC,IAC7C,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAqB,CAAC;gBAC3E,CAAC,CAAC,oCAAoC,QAAQ,CAAC,CAAC,CAAW,GAAG;gBAC9D,CAAC,CAAC,EACN,EAAE;SACH,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,OAAuB;IACnD,OAAO,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC"}

package/dist/domain/design/artifact-body.js

@@ -0,0 +1,223 @@
+import { ARTIFACT_REF_GLOBAL, CRITERION_GLOBAL } from "./identity.js";
+/** Flow v1 — once each, in this order. */
+export const FLOW_HEADINGS = [
+    "Goal and outcome",
+    "Preconditions and entry",
+    "Main journey",
+    "Alternatives and recovery",
+    "Permissions and privacy",
+    "Traceability",
+];
+/** Screen v1 — once each, in this order. */
+export const SCREEN_HEADINGS = [
+    "Purpose and context",
+    "Structure and content",
+    "Components and design-system deltas",
+    "Data, permissions and validation",
+    "States and transitions",
+    "Interaction and navigation",
+    "Responsive and adaptation",
+    "Localization",
+    "Accessibility",
+    "Edge cases and degradation",
+    "Traceability",
+];
+/**
+ * The sections that never accept a non-applicability claim. They carry what the
+ * artifact IS: drop them and there is nothing left to implement against.
+ */
+export const ESSENTIAL_HEADINGS = {
+    flow: ["Goal and outcome", "Main journey", "Traceability"],
+    screen: [
+        "Purpose and context",
+        "Structure and content",
+        "States and transitions",
+        "Interaction and navigation",
+        "Accessibility",
+        "Traceability",
+    ],
+};
+export const HEADINGS = {
+    flow: FLOW_HEADINGS,
+    screen: SCREEN_HEADINGS,
+};
+/** `Data, permissions and validation` → `data_permissions_and_validation`. */
+export function headingKey(heading) {
+    return heading
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "_")
+        .replace(/^_|_$/g, "");
+}
+/** The `not_applicable` keys each kind admits — derived from its own headings. */
+export function conditionalKeys(kind) {
+    const essential = new Set(ESSENTIAL_HEADINGS[kind]);
+    return HEADINGS[kind].filter((h) => !essential.has(h)).map(headingKey);
+}
+/**
+ * Placeholders that look like an answer and are not. A section may legitimately
+ * say "ninguno" or "none" — that is a statement about the design. `N/A`, `TBD`
+ * and a lone dash are refusals to answer, and the contract has a proper place
+ * for those: `not_applicable` with a reason.
+ */
+export const PLACEHOLDER = /^(n\/?a\.?|n\.a\.|tbd|todo|pendiente|\?+|[-–—*]+)$/i;
+/** Split the body into its `##` sections. `#`/`###` are content, not structure. */
+export function parseBody(body, firstLine) {
+    const lines = body.split(/\r?\n/);
+    const sections = [];
+    const order = [];
+    const preamble = [];
+    let current = null;
+    let fence = null;
+    const close = () => {
+        if (current === null)
+            return;
+        const text = current.text.join("\n").trim();
+        sections.push({
+            heading: current.heading,
+            key: headingKey(current.heading),
+            text,
+            prose: stripFences(current.text).join("\n").trim(),
+            line: current.line,
+        });
+    };
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        fence = trackFence(line, fence);
+        const match = fence === null ? /^##\s+(.+?)\s*$/.exec(line) : null;
+        if (match === null) {
+            if (current !== null)
+                current.text.push(line);
+            else if (line.trim().length > 0 && !/^#\s+/.test(line))
+                preamble.push(line.trim());
+            continue;
+        }
+        close();
+        const heading = match[1];
+        order.push(heading);
+        current = { heading, line: firstLine + i, text: [] };
+    }
+    close();
+    return { sections, order, preamble: preamble.join("\n") };
+}
+/** Track ``` and ~~~ fences. Returns the open fence marker, or null outside one. */
+function trackFence(line, open) {
+    const match = /^\s*(```+|~~~+)/.exec(line);
+    if (match === null)
+        return open;
+    const marker = match[1].slice(0, 3);
+    if (open === null)
+        return marker;
+    return marker === open ? null : open;
+}
+function stripFences(lines) {
+    const out = [];
+    let fence = null;
+    for (const line of lines) {
+        const next = trackFence(line, fence);
+        if (fence === null && next !== null) {
+            fence = next;
+            continue;
+        }
+        if (fence !== null) {
+            if (next === null)
+                fence = null;
+            continue;
+        }
+        out.push(line);
+    }
+    return out;
+}
+/**
+ * The heading contract: the expected list, once each, in order, non-empty, with
+ * no placeholder standing in for content and no heading nobody declared.
+ */
+export function checkHeadings(r, parsed, kind, artifact) {
+    checkPresence(r, parsed, kind, artifact);
+    checkOrder(r, parsed, kind, artifact);
+    checkContent(r, parsed, kind, artifact);
+}
+/** Every expected heading exactly once, and nothing the contract does not name. */
+function checkPresence(r, parsed, kind, artifact) {
+    const expected = HEADINGS[kind];
+    const expectedSet = new Set(expected);
+    const seen = new Map();
+    for (const heading of parsed.order) {
+        seen.set(heading, (seen.get(heading) ?? 0) + 1);
+        if (expectedSet.has(heading))
+            continue;
+        r.fail("DESIGN_HEADING_UNKNOWN", artifact, `'## ${heading}' no es una sección de ${kind} v1`, `usá solo las ${expected.length} secciones del contrato: ${expected.join(" · ")}`);
+    }
+    for (const heading of expected) {
+        const count = seen.get(heading) ?? 0;
+        if (count === 0) {
+            r.fail("DESIGN_HEADING_MISSING", artifact, `falta la sección '## ${heading}'`, "escribila con texto propio; omitirla no la vuelve no aplicable");
+        }
+        else if (count > 1) {
+            r.fail("DESIGN_HEADING_DUPLICATE", artifact, `'## ${heading}' aparece ${count} veces`, "dejá una sola y fusioná su contenido");
+        }
+    }
+}
+/**
+ * Order is only meaningful over the headings actually present and expected —
+ * reporting it on top of a missing heading would be noise on top of noise.
+ */
+function checkOrder(r, parsed, kind, artifact) {
+    const expected = HEADINGS[kind];
+    const expectedSet = new Set(expected);
+    const present = parsed.order.filter((h) => expectedSet.has(h));
+    const canonical = expected.filter((h) => present.includes(h));
+    if (present.length !== canonical.length)
+        return;
+    if (present.join("\n") === canonical.join("\n"))
+        return;
+    r.fail("DESIGN_HEADING_ORDER", artifact, `las secciones están fuera de orden: ${present.join(" · ")}`, `el orden de ${kind} v1 es: ${canonical.join(" · ")}`);
+}
+/** Each section carries real text — never empty, never a placeholder. */
+function checkContent(r, parsed, kind, artifact) {
+    const expectedSet = new Set(HEADINGS[kind]);
+    for (const section of parsed.sections) {
+        if (!expectedSet.has(section.heading))
+            continue;
+        if (section.text.length === 0) {
+            r.fail("DESIGN_SECTION_EMPTY", artifact, `'## ${section.heading}' (línea ${section.line}) no tiene texto`, "cada sección lleva texto propio coherente con el frontmatter");
+            continue;
+        }
+        if (!PLACEHOLDER.test(section.text))
+            continue;
+        r.fail("DESIGN_SECTION_PLACEHOLDER", artifact, `'## ${section.heading}' (línea ${section.line}) dice solo '${section.text}'`, isEssential(kind, section.heading)
+            ? "esta sección es esencial y no admite no-aplicabilidad: escribí su contenido"
+            : `si de verdad no aplica, declaralo en 'not_applicable.${section.key}' con una razón, y explicalo acá`);
+    }
+}
+export function isEssential(kind, heading) {
+    return ESSENTIAL_HEADINGS[kind].includes(heading);
+}
+/**
+ * Canonical references the body cites, in document order and deduplicated.
+ *
+ * Only the exact `DES-NNN/XXX-NNN@rN[#anchor]` form is extracted — never prose.
+ * That is the whole point: cross-validation may not depend on reading a
+ * sentence, so anything the author writes informally is simply not a reference.
+ */
+export function bodyReferences(parsed) {
+    return harvest(parsed, ARTIFACT_REF_GLOBAL);
+}
+/** Acceptance criteria the body cites, in document order and deduplicated. */
+export function bodyCriteria(parsed) {
+    return harvest(parsed, CRITERION_GLOBAL);
+}
+/** Asset digests the body cites. Same closed grammar as everywhere else. */
+export function bodyDigests(parsed) {
+    return harvest(parsed, /sha256:[0-9a-f]{64}/g);
+}
+function harvest(parsed, pattern) {
+    const out = [];
+    for (const prose of [parsed.preamble, ...parsed.sections.map((s) => s.prose)]) {
+        for (const match of prose.matchAll(pattern)) {
+            if (!out.includes(match[0]))
+                out.push(match[0]);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=artifact-body.js.map

package/dist/domain/design/artifact-body.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-body.js","sourceRoot":"","sources":["../../../src/domain/design/artifact-body.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAoBtE,0CAA0C;AAC1C,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,kBAAkB;IAClB,yBAAyB;IACzB,cAAc;IACd,2BAA2B;IAC3B,yBAAyB;IACzB,cAAc;CACN,CAAC;AAEX,4CAA4C;AAC5C,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,qBAAqB;IACrB,uBAAuB;IACvB,qCAAqC;IACrC,kCAAkC;IAClC,wBAAwB;IACxB,4BAA4B;IAC5B,2BAA2B;IAC3B,cAAc;IACd,eAAe;IACf,4BAA4B;IAC5B,cAAc;CACN,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA6C;IAC1E,IAAI,EAAE,CAAC,kBAAkB,EAAE,cAAc,EAAE,cAAc,CAAC;IAC1D,MAAM,EAAE;QACN,qBAAqB;QACrB,uBAAuB;QACvB,wBAAwB;QACxB,4BAA4B;QAC5B,eAAe;QACf,cAAc;KACf;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAA6C;IAChE,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,eAAe;CACxB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,UAAU,UAAU,CAAC,OAAe;IACxC,OAAO,OAAO;SACX,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAAC,IAAmB;IACjD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,qDAAqD,CAAC;AA8BjF,mFAAmF;AACnF,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,SAAiB;IACvD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,OAAO,GAA6D,IAAI,CAAC;IAC7E,IAAI,KAAK,GAAkB,IAAI,CAAC;IAEhC,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,GAAG,EAAE,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI;YACJ,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;YAClD,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAChC,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACzC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACnF,SAAS;QACX,CAAC;QACD,KAAK,EAAE,CAAC;QACR,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACvD,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,IAAY,EAAE,IAAmB;IACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,SAAS,WAAW,CAAC,KAAe;IAClC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACpC,KAAK,GAAG,IAAI,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,KAAK,IAAI;gBAAE,KAAK,GAAG,IAAI,CAAC;YAChC,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAS,EACT,MAAkB,EAClB,IAAmB,EACnB,QAAgB;IAEhB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,CAAS,EAAE,MAAkB,EAAE,IAAmB,EAAE,QAAgB;IACzF,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACvC,CAAC,CAAC,IAAI,CACJ,wBAAwB,EACxB,QAAQ,EACR,OAAO,OAAO,0BAA0B,IAAI,KAAK,EACjD,gBAAgB,QAAQ,CAAC,MAAM,4BAA4B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAClF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,CAAC,CAAC,IAAI,CACJ,wBAAwB,EACxB,QAAQ,EACR,wBAAwB,OAAO,GAAG,EAClC,gEAAgE,CACjE,CAAC;QACJ,CAAC;aAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CACJ,0BAA0B,EAC1B,QAAQ,EACR,OAAO,OAAO,aAAa,KAAK,QAAQ,EACxC,sCAAsC,CACvC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,CAAS,EAAE,MAAkB,EAAE,IAAmB,EAAE,QAAgB;IACtF,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QAAE,OAAO;IAChD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO;IACxD,CAAC,CAAC,IAAI,CACJ,sBAAsB,EACtB,QAAQ,EACR,uCAAuC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAC5D,eAAe,IAAI,WAAW,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACtD,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,CAAS,EAAE,MAAkB,EAAE,IAAmB,EAAE,QAAgB;IACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QAChD,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,CAAC,CAAC,IAAI,CACJ,sBAAsB,EACtB,QAAQ,EACR,OAAO,OAAO,CAAC,OAAO,YAAY,OAAO,CAAC,IAAI,kBAAkB,EAChE,8DAA8D,CAC/D,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9C,CAAC,CAAC,IAAI,CACJ,4BAA4B,EAC5B,QAAQ,EACR,OAAO,OAAO,CAAC,OAAO,YAAY,OAAO,CAAC,IAAI,gBAAgB,OAAO,CAAC,IAAI,GAAG,EAC7E,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;YAChC,CAAC,CAAC,6EAA6E;YAC/E,CAAC,CAAC,wDAAwD,OAAO,CAAC,GAAG,kCAAkC,CAC1G,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAmB,EAAE,OAAe;IAC9D,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,MAAkB;IAC/C,OAAO,OAAO,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAC9C,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,OAAO,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;AAC3C,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,MAAkB;IAC5C,OAAO,OAAO,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,OAAO,CAAC,MAAkB,EAAE,OAAe;IAClD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}