@tacuchi/agent-workflow-cli 22.0.0 → 22.1.0

package/dist/domain/decision-note.js

@@ -0,0 +1,235 @@
+import { CRITERION_GLOBAL, isDigest } from "./design/identity.js";
+import { sealedRecordDigest } from "./sealed-record.js";
+export const NOTE_SCHEMA = "workline.decision-note/v1";
+const NOTE_ID_RE = /^DEC-(?:[0-9]{3}|[1-9][0-9]{3,})$/;
+const CALENDAR_DATE_RE = /^\d{4}-\d{2}-\d{2}$/;
+const CRITERION_RE = new RegExp(`^${CRITERION_GLOBAL.source}$`);
+/** The note's own digest, by the SAME code every sealed record uses. */
+export function computeNoteDigest(note) {
+    return sealedRecordDigest(note);
+}
+/**
+ * Read a note, refusing anything incomplete under its own code.
+ *
+ * The codes are per-field on purpose. "La nota es inválida" sends whoever wrote
+ * it to re-read the whole record; `NOTE_RESUME_POINT_MISSING` sends them to the
+ * one line that is missing.
+ */
+export function validateDecisionNote(raw) {
+    const failures = [];
+    const fail = (code, message, action) => {
+        failures.push({ code, message, action });
+    };
+    if (!isRecord(raw)) {
+        fail("NOTE_NOT_OBJECT", "la nota de decisión no es un objeto JSON", "una nota es un record sellado con su propio digest");
+        return { ok: false, value: null, failures };
+    }
+    if (raw.schema !== NOTE_SCHEMA) {
+        // El gate de versión corre solo y primero: leer campos de un formato que no
+        // conocemos reporta sinsentidos derivados y manda a arreglar un campo cuando
+        // lo que falta es actualizar.
+        fail("NOTE_SCHEMA_UNKNOWN", `versión de formato no soportada: ${JSON.stringify(raw.schema)}`, `este Workline entiende ${NOTE_SCHEMA}`);
+        return { ok: false, value: null, failures };
+    }
+    if (typeof raw.id !== "string" || !NOTE_ID_RE.test(raw.id)) {
+        fail("NOTE_ID_INVALID", "'id' debe ser DEC-NNN", "numerá la nota como DEC-001");
+    }
+    const lineage = readLineage(raw.lineage, fail);
+    requireText(raw.decision, "decision", "NOTE_DECISION_MISSING", "qué se decidió, en una frase", fail);
+    requireText(raw.reason, "reason", "NOTE_REASON_MISSING", "por qué se decidió eso y no otra cosa", fail);
+    const assertions = readAssertions(raw.supersedes_assertions, fail);
+    const supersedesNote = readSupersedesNote(raw.supersedes_note, fail);
+    const scope = readScope(raw.scope, fail);
+    const consumers = requireList(raw.consumers, "consumers", "NOTE_CONSUMERS_MISSING", "enumerá los planes alcanzados; [] si no alcanza a ninguno", fail);
+    const preserved = requireList(raw.evidence_preserved, "evidence_preserved", "NOTE_EVIDENCE_PRESERVED_MISSING", "enumerá la evidencia que sigue valiendo; [] si ninguna", fail);
+    const invalidated = requireList(raw.evidence_invalidated, "evidence_invalidated", "NOTE_EVIDENCE_INVALIDATED_MISSING", "enumerá la evidencia que dejó de valer; [] si ninguna", fail);
+    const obligations = requireList(raw.obligations, "obligations", "NOTE_OBLIGATIONS_MISSING", "enumerá el trabajo compensatorio que nace; [] si ninguno", fail);
+    requireText(raw.resume_point, "resume_point", "NOTE_RESUME_POINT_MISSING", "decí desde dónde sigue la ejecución", fail);
+    if (typeof raw.date !== "string" || !CALENDAR_DATE_RE.test(raw.date)) {
+        fail("NOTE_DATE_INVALID", "'date' debe ser una fecha AAAA-MM-DD", "la cadena se ordena por fecha e id: sin fecha válida el orden es una opinión");
+    }
+    if (failures.length > 0)
+        return { ok: false, value: null, failures };
+    const value = {
+        schema: NOTE_SCHEMA,
+        id: raw.id,
+        lineage: lineage,
+        decision: raw.decision,
+        reason: raw.reason,
+        supersedes_assertions: assertions,
+        supersedes_note: supersedesNote,
+        scope: scope,
+        consumers: consumers,
+        evidence_preserved: preserved,
+        evidence_invalidated: invalidated,
+        obligations: obligations,
+        resume_point: raw.resume_point,
+        date: raw.date,
+        digest: "",
+    };
+    const expected = computeNoteDigest(stripDigest(value));
+    if (typeof raw.digest !== "string" || raw.digest.length === 0) {
+        fail("NOTE_DIGEST_MISSING", "'digest' es obligatorio", `sellá la nota con ${expected}`);
+        return { ok: false, value: null, failures };
+    }
+    if (raw.digest !== expected) {
+        fail("NOTE_DIGEST_MISMATCH", "el 'digest' no corresponde al contenido de la nota", `una nota publicada no se reescribe: el sello de este contenido es ${expected}`);
+        return { ok: false, value: null, failures };
+    }
+    return { ok: true, value: { ...value, digest: raw.digest }, failures };
+}
+function stripDigest(note) {
+    const { digest: _drop, ...rest } = note;
+    return rest;
+}
+/**
+ * The chain of notes for one lineage, in a deterministic order.
+ *
+ * Date first, id second. Two notes written the same day still have exactly one
+ * order, and it is the order they were minted in — which is what makes "apply
+ * them in order" a fact rather than whatever the filesystem returned.
+ */
+export function orderNotes(notes) {
+    return [...notes].sort((a, b) => a.date === b.date ? compareNoteIds(a.id, b.id) : a.date < b.date ? -1 : 1);
+}
+function compareNoteIds(a, b) {
+    const na = Number(a.slice(4));
+    const nb = Number(b.slice(4));
+    return na === nb ? (a < b ? -1 : a > b ? 1 : 0) : na - nb;
+}
+/**
+ * Whether appending this note to an existing chain keeps it append-only.
+ *
+ * Two refusals, and both are the same rule seen from different sides: an id
+ * already in the chain would REWRITE a published note, and a `supersedes_note`
+ * pointing at nothing would claim to correct a decision that was never taken.
+ */
+export function checkAppendOnly(chain, incoming) {
+    const failures = [];
+    const byId = new Map(chain.map((note) => [note.id, note]));
+    if (byId.has(incoming.id)) {
+        failures.push({
+            code: "NOTE_ALREADY_PUBLISHED",
+            message: `${incoming.id} ya está publicada en este linaje`,
+            action: "corregir una nota es publicar OTRA que la sustituya por referencia, nunca reescribirla",
+        });
+    }
+    if (incoming.supersedes_note !== null && !byId.has(incoming.supersedes_note)) {
+        failures.push({
+            code: "NOTE_SUPERSEDES_ABSENT",
+            message: `${incoming.id} dice sustituir a ${incoming.supersedes_note}, que no está en el linaje`,
+            action: "una sustitución nombra una nota publicada de la misma cadena",
+        });
+    }
+    return failures;
+}
+/**
+ * Whether two notes record the SAME decision, ignoring which correlative it got.
+ *
+ * This is what makes "an identical retry recovers the same result without
+ * deciding again" a property of content. The id cannot take part: a retry mints
+ * the next number off a chain that already holds the first attempt, so comparing
+ * sealed digests would call every retry a new decision and append a duplicate —
+ * the chain would grow one indistinguishable note per interrupted run, and the
+ * composition would then report an overlap nobody caused.
+ *
+ * Everything else does take part, including the fields that look like prose. Two
+ * notes that supersede the same assertions for different stated reasons are two
+ * decisions, and treating the second as a repeat of the first would drop the
+ * reason the chain exists to preserve.
+ */
+export function sameDecision(a, b) {
+    return canonicalDecision(a) === canonicalDecision(b);
+}
+function canonicalDecision(note) {
+    const { id: _id, digest: _digest, ...rest } = note;
+    return sealedRecordDigest(rest);
+}
+/** The notes still in force: every one nobody later superseded. */
+export function effectiveNotes(chain) {
+    const superseded = new Set(chain.map((note) => note.supersedes_note).filter((id) => id !== null));
+    return orderNotes(chain).filter((note) => !superseded.has(note.id));
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function requireText(value, field, code, action, fail) {
+    if (typeof value !== "string" || value.trim().length === 0) {
+        fail(code, `'${field}' es obligatorio y no puede estar vacío`, action);
+    }
+}
+function requireList(value, field, code, action, fail) {
+    if (!Array.isArray(value) || !value.every((v) => typeof v === "string" && v.length > 0)) {
+        fail(code, `'${field}' es obligatorio y debe ser una lista de strings`, action);
+        return null;
+    }
+    return value;
+}
+function readScope(value, fail) {
+    if (value !== "functional" && value !== "plan-only") {
+        fail("NOTE_SCOPE_INVALID", "'scope' debe ser 'functional' o 'plan-only'", "decí si la decisión cambia lo prometido o sólo el camino para llegar");
+        return null;
+    }
+    return value;
+}
+function readSupersedesNote(value, fail) {
+    if (value === null)
+        return null;
+    if (typeof value !== "string" || !NOTE_ID_RE.test(value)) {
+        fail("NOTE_SUPERSEDES_INVALID", "'supersedes_note' debe ser un DEC-NNN o null", "usá null si esta nota no corrige ninguna anterior");
+        return null;
+    }
+    return value;
+}
+function readAssertions(value, fail) {
+    const list = requireList(value, "supersedes_assertions", "NOTE_ASSERTIONS_MISSING", "enumerá las afirmaciones que sustituye como S033/AC-05; [] si no sustituye ninguna", fail);
+    if (list === null)
+        return null;
+    const wrong = list.filter((id) => !CRITERION_RE.test(id));
+    if (wrong.length > 0) {
+        fail("NOTE_ASSERTIONS_INVALID", `'supersedes_assertions' no usa la gramática de criterio en: ${wrong.join(", ")}`, "direccioná cada afirmación como S033/AC-05 — es la misma gramática que ya existe, no una segunda");
+        return null;
+    }
+    if (new Set(list).size !== list.length) {
+        fail("NOTE_ASSERTIONS_DUPLICATE", "'supersedes_assertions' repite una afirmación", "nombrar dos veces la misma afirmación no la sustituye dos veces");
+        return null;
+    }
+    return list;
+}
+function readAnchor(value, side, fail) {
+    if (!isRecord(value)) {
+        fail("NOTE_LINEAGE_MISSING", `'lineage.${side}' es obligatorio`, `anclá el ${side} con su ruta, su correlativo y su digest exacto`);
+        return null;
+    }
+    const { path, number, digest } = value;
+    if (typeof path !== "string" || path.length === 0 || typeof number !== "string") {
+        fail("NOTE_LINEAGE_INVALID", `'lineage.${side}' necesita 'path' y 'number'`, "el linaje nombra documentos reales del workspace");
+        return null;
+    }
+    if (!isDigest(digest)) {
+        fail("NOTE_LINEAGE_DIGEST_INVALID", `'lineage.${side}.digest' debe ser el sha256 exacto de ese documento`, "sin el digest la nota decide sobre un nombre, no sobre unos bytes");
+        return null;
+    }
+    return { path, number, digest };
+}
+function readLineage(value, fail) {
+    if (!isRecord(value)) {
+        fail("NOTE_LINEAGE_MISSING", "'lineage' es obligatorio", "una nota sin linaje no se puede componer sobre ningún baseline");
+        return null;
+    }
+    const spec = readAnchor(value.spec, "spec", fail);
+    const plan = readAnchor(value.plan, "plan", fail);
+    const execution = value.execution;
+    if (!isRecord(execution) ||
+        typeof execution.session !== "string" ||
+        execution.session.length === 0 ||
+        typeof execution.phase !== "string" ||
+        execution.phase.length === 0) {
+        fail("NOTE_EXECUTION_STATE_MISSING", "'lineage.execution' necesita 'session' y 'phase'", "registrá desde qué sesión y en qué fase apareció la divergencia");
+        return null;
+    }
+    if (spec === null || plan === null)
+        return null;
+    return { spec, plan, execution: { session: execution.session, phase: execution.phase } };
+}
+//# sourceMappingURL=decision-note.js.map

package/dist/domain/decision-note.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-note.js","sourceRoot":"","sources":["../../src/domain/decision-note.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AA8ExD,MAAM,CAAC,MAAM,WAAW,GAAG,2BAA2B,CAAC;AAEvD,MAAM,UAAU,GAAG,mCAAmC,CAAC;AACvD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;AAC/C,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;AAchE,wEAAwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,IAAkC;IAClE,OAAO,kBAAkB,CAAC,IAA0C,CAAC,CAAC;AACxE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAY;IAC/C,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,MAAc,EAAQ,EAAE;QACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,CACF,iBAAiB,EACjB,0CAA0C,EAC1C,oDAAoD,CACrD,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAC/B,4EAA4E;QAC5E,6EAA6E;QAC7E,8BAA8B;QAC9B,IAAI,CACF,qBAAqB,EACrB,oCAAoC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAChE,0BAA0B,WAAW,EAAE,CACxC,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,6BAA6B,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,WAAW,CACT,GAAG,CAAC,QAAQ,EACZ,UAAU,EACV,uBAAuB,EACvB,8BAA8B,EAC9B,IAAI,CACL,CAAC;IACF,WAAW,CACT,GAAG,CAAC,MAAM,EACV,QAAQ,EACR,qBAAqB,EACrB,uCAAuC,EACvC,IAAI,CACL,CAAC;IACF,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,cAAc,GAAG,kBAAkB,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,WAAW,CAC3B,GAAG,CAAC,SAAS,EACb,WAAW,EACX,wBAAwB,EACxB,2DAA2D,EAC3D,IAAI,CACL,CAAC;IACF,MAAM,SAAS,GAAG,WAAW,CAC3B,GAAG,CAAC,kBAAkB,EACtB,oBAAoB,EACpB,iCAAiC,EACjC,wDAAwD,EACxD,IAAI,CACL,CAAC;IACF,MAAM,WAAW,GAAG,WAAW,CAC7B,GAAG,CAAC,oBAAoB,EACxB,sBAAsB,EACtB,mCAAmC,EACnC,uDAAuD,EACvD,IAAI,CACL,CAAC;IACF,MAAM,WAAW,GAAG,WAAW,CAC7B,GAAG,CAAC,WAAW,EACf,aAAa,EACb,0BAA0B,EAC1B,0DAA0D,EAC1D,IAAI,CACL,CAAC;IACF,WAAW,CACT,GAAG,CAAC,YAAY,EAChB,cAAc,EACd,2BAA2B,EAC3B,qCAAqC,EACrC,IAAI,CACL,CAAC;IACF,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,IAAI,CACF,mBAAmB,EACnB,sCAAsC,EACtC,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAErE,MAAM,KAAK,GAAiB;QAC1B,MAAM,EAAE,WAAW;QACnB,EAAE,EAAE,GAAG,CAAC,EAAY;QACpB,OAAO,EAAE,OAAsB;QAC/B,QAAQ,EAAE,GAAG,CAAC,QAAkB;QAChC,MAAM,EAAE,GAAG,CAAC,MAAgB;QAC5B,qBAAqB,EAAE,UAAsB;QAC7C,eAAe,EAAE,cAAc;QAC/B,KAAK,EAAE,KAAkB;QACzB,SAAS,EAAE,SAAqB;QAChC,kBAAkB,EAAE,SAAqB;QACzC,oBAAoB,EAAE,WAAuB;QAC7C,WAAW,EAAE,WAAuB;QACpC,YAAY,EAAE,GAAG,CAAC,YAAsB;QACxC,IAAI,EAAE,GAAG,CAAC,IAAc;QACxB,MAAM,EAAE,EAAE;KACX,CAAC;IACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,qBAAqB,QAAQ,EAAE,CAAC,CAAC;QACxF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,CACF,sBAAsB,EACtB,oDAAoD,EACpD,qEAAqE,QAAQ,EAAE,CAChF,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,WAAW,CAAC,IAAkB;IACrC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAA8B;IACvD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9B,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,CAAS,EAAE,CAAS;IAC1C,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA8B,EAC9B,QAAsB;IAEtB,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,mCAAmC;YAC1D,MAAM,EACJ,wFAAwF;SAC3F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,qBAAqB,QAAQ,CAAC,eAAe,4BAA4B;YAChG,MAAM,EAAE,8DAA8D;SACvE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,YAAY,CAAC,CAAe,EAAE,CAAe;IAC3D,OAAO,iBAAiB,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACnD,OAAO,kBAAkB,CAAC,IAA0C,CAAC,CAAC;AACxE,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAAC,KAA8B;IAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CACpF,CAAC;IACF,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AAMD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,KAAa,EACb,IAAY,EACZ,MAAc,EACd,IAAU;IAEV,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,yCAAyC,EAAE,MAAM,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,KAAa,EACb,IAAY,EACZ,MAAc,EACd,IAAU;IAEV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACxF,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,kDAAkD,EAAE,MAAM,CAAC,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAU;IAC3C,IAAI,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QACpD,IAAI,CACF,oBAAoB,EACpB,6CAA6C,EAC7C,sEAAsE,CACvE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAU;IACpD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,IAAI,CACF,yBAAyB,EACzB,8CAA8C,EAC9C,mDAAmD,CACpD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAU;IAChD,MAAM,IAAI,GAAG,WAAW,CACtB,KAAK,EACL,uBAAuB,EACvB,yBAAyB,EACzB,oFAAoF,EACpF,IAAI,CACL,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,IAAI,CACF,yBAAyB,EACzB,+DAA+D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACjF,kGAAkG,CACnG,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CACF,2BAA2B,EAC3B,+CAA+C,EAC/C,iEAAiE,CAClE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAqB,EAAE,IAAU;IACnE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,CACF,sBAAsB,EACtB,YAAY,IAAI,kBAAkB,EAClC,YAAY,IAAI,iDAAiD,CAClE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,IAAI,CACF,sBAAsB,EACtB,YAAY,IAAI,8BAA8B,EAC9C,kDAAkD,CACnD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,IAAI,CACF,6BAA6B,EAC7B,YAAY,IAAI,qDAAqD,EACrE,mEAAmE,CACpE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,IAAU;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,CACF,sBAAsB,EACtB,0BAA0B,EAC1B,gEAAgE,CACjE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,IACE,CAAC,QAAQ,CAAC,SAAS,CAAC;QACpB,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ;QACrC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC9B,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ;QACnC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAC5B,CAAC;QACD,IAAI,CACF,8BAA8B,EAC9B,kDAAkD,EAClD,iEAAiE,CAClE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;AAC3F,CAAC"}

package/dist/domain/decision-preview.js

@@ -0,0 +1,159 @@
+import { SELF_AUTHORIZABLE_CLASSES } from "./capability/effects.js";
+import { destinationsOf, observedEffects, sealProposal } from "./proposal.js";
+/**
+ * WHAT THE PERSON SEES, once, before deciding — and the seal their single
+ * "yes" is given over.
+ *
+ * The eight sections are not a report format. They are the eight things somebody
+ * needs in order to be responsible for the answer: what is being decided over,
+ * what actually changes, who else is reached, how far it goes, which evidence
+ * survives and which stops counting, what work the decision creates, where
+ * execution comes back, and exactly which bytes land where. A preview missing
+ * any of them asks for consent to something that was not shown.
+ *
+ * Every one of them is DERIVED from the composed contract and the sealed note.
+ * That is the load-bearing part: a preview authored beside the change is a second
+ * description of it, and the moment the two disagree the person is approving the
+ * pleasant one. Here, changing anything material changes the proposal's digest,
+ * so the grant given over the old seal stops covering the new bytes by
+ * construction rather than by anybody remembering to re-check.
+ *
+ * And it is ONE authorization. Choosing an alternative registers the note and
+ * authorizes exactly the previewed effects; there is no second confirmation
+ * asking the same question in other words, because {@link grantFor} is derived
+ * from the very seal that was shown. What that grant can never carry is the two
+ * classes below — a decision note is a document, and a path that wanted to
+ * destroy something or leave the machine to register one is not this path.
+ */
+/**
+ * The classes registering a decision may ever exercise.
+ *
+ * Publishing a note writes a JSON document beside the spec it amends: it creates
+ * or it replaces, and nothing else. `destructive` and `network_external` are
+ * absent by intent and not by omission — no reachable combination of a note and
+ * an index produces them, so their appearance means the artifacts are not the
+ * ones this path is for, and the preview refuses instead of asking somebody to
+ * authorize them under a decision's name.
+ */
+export const DECISION_EFFECT_CLASSES = [
+    "local_additive",
+    "mutate_overwrite",
+];
+/**
+ * Build the preview, or refuse to show one.
+ *
+ * It blocks rather than trims. A preview that dropped a section it could not
+ * fill would be indistinguishable from one where that section was genuinely
+ * empty — "no compensatory work" and "we did not work out the compensatory work"
+ * look identical on screen and mean opposite things to whoever says yes.
+ */
+export function buildDecisionPreview(input) {
+    const failures = [];
+    if (input.artifacts.length === 0) {
+        failures.push({
+            code: "PREVIEW_NO_ARTIFACTS",
+            message: "la vista previa no tiene ningún destino que mostrar",
+            action: "una decisión sin efectos no se registra: prepará el índice de decisiones antes de previsualizar",
+        });
+    }
+    if (input.note.lineage.spec.digest !== input.contract.spec.digest) {
+        failures.push({
+            code: "PREVIEW_BASELINE_DRIFTED",
+            message: `la nota decide sobre ${input.note.lineage.spec.digest} y el contrato compone sobre ${input.contract.spec.digest}`,
+            action: "recomponé el contrato sobre la spec vigente y volvé a sellar la nota: previsualizar sobre dos baselines distintos muestra una decisión que nadie tomó",
+        });
+    }
+    if (!input.contract.applied.includes(input.note.id)) {
+        failures.push({
+            code: "PREVIEW_NOTE_NOT_COMPOSED",
+            message: `${input.note.id} no está entre las notas aplicadas del contrato que se muestra`,
+            action: "componé el contrato incluyendo esta nota: la vista previa enseña el efecto real, no el que tendría si compusiera",
+        });
+    }
+    // The seal has to cover the note that was SHOWN, and the note's own digest is
+    // what proves it does. Without this, six of the eight sections are read off a
+    // record the proposal never carries: a preview could show one resume point and
+    // seal bytes holding another, and the approval would be over the pleasant one.
+    // A substring is enough because the digest seals every field of the note — the
+    // published record can only carry it by being this record.
+    if (!input.artifacts.some((artifact) => artifact.content.includes(input.note.digest))) {
+        failures.push({
+            code: "PREVIEW_NOTE_NOT_SEALED",
+            message: `ningún destino de la propuesta contiene ${input.note.id}`,
+            action: "publicá la nota dentro de la propuesta que se aprueba: mostrar una decisión y sellar otros bytes es pedir consentimiento sobre algo que no se enseñó",
+        });
+    }
+    const classes = observedEffects(input.artifacts);
+    const beyond = classes.filter((effect) => !DECISION_EFFECT_CLASSES.includes(effect));
+    if (beyond.length > 0) {
+        failures.push({
+            code: "PREVIEW_EFFECT_FORBIDDEN",
+            message: `registrar una decisión ejercería ${beyond.join(", ")}`,
+            action: `una nota sólo escribe su índice: proponé sólo efectos de ${DECISION_EFFECT_CLASSES.join(", ")}`,
+        });
+    }
+    if (failures.length > 0)
+        return { status: "blocked", failures };
+    const proposal = sealProposal({
+        operation: input.operation,
+        artifacts: input.artifacts,
+        bases: input.bases,
+        effects: classes,
+        requiresApproval: classes.filter((effect) => !SELF_AUTHORIZABLE_CLASSES.includes(effect)),
+    });
+    return {
+        status: "previewed",
+        preview: {
+            baseline: input.contract.spec,
+            effective_change: changesOf(input.contract, input.note),
+            consumers: [...input.note.consumers],
+            impact: {
+                scope: input.note.scope,
+                assertions: input.note.supersedes_assertions.length,
+                consumers: input.note.consumers.length,
+            },
+            evidence: {
+                preserved: [...input.note.evidence_preserved],
+                invalidated: [...input.note.evidence_invalidated],
+            },
+            obligations: [...input.note.obligations],
+            resume_point: input.note.resume_point,
+            effects: { classes, entries: proposal.preview },
+            proposal,
+        },
+    };
+}
+/**
+ * The assertions THIS note moves, read off the composed contract.
+ *
+ * `from` comes from the contract's attribution rather than from the note: an
+ * assertion another note already amended is not going from `baseline`, and
+ * saying so would overstate what this decision costs.
+ */
+function changesOf(contract, note) {
+    const mine = new Set(note.supersedes_assertions);
+    return contract.assertions
+        .filter((assertion) => mine.has(assertion.id))
+        .map((assertion) => ({
+        assertion: assertion.id,
+        from: assertion.by === note.id ? "baseline" : "amended",
+        to: "amended",
+        by: note.id,
+    }));
+}
+/**
+ * The grant one explicit choice gives — over this seal, and nothing wider.
+ *
+ * Derived from the preview instead of assembled beside it, so "authorize exactly
+ * what was shown" is arithmetic. A grant naming a different digest covers
+ * nothing, which is what makes a material change between the preview and the
+ * write fail closed rather than sail through on a yes that was about other bytes.
+ */
+export function grantFor(preview) {
+    return {
+        digest: preview.proposal.digest,
+        destinations: destinationsOf(preview.proposal),
+        classes: [...preview.proposal.requires_approval],
+    };
+}
+//# sourceMappingURL=decision-preview.js.map

package/dist/domain/decision-preview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-preview.js","sourceRoot":"","sources":["../../src/domain/decision-preview.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAKpE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC7D,gBAAgB;IAChB,kBAAkB;CACnB,CAAC;AAsDF;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EACJ,iGAAiG;SACpG,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,wBAAwB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,gCAAgC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE;YAC3H,MAAM,EACJ,uJAAuJ;SAC1J,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,gEAAgE;YACzF,MAAM,EACJ,kHAAkH;SACrH,CAAC,CAAC;IACL,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,2DAA2D;IAC3D,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,2CAA2C,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE;YACnE,MAAM,EACJ,sJAAsJ;SACzJ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACrF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,oCAAoC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAChE,MAAM,EAAE,4DAA4D,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACzG,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAEhE,MAAM,QAAQ,GAAG,YAAY,CAAC;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,OAAO;QAChB,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;KAC1F,CAAC,CAAC;IAEH,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;YAC7B,gBAAgB,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;YACvD,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;YACpC,MAAM,EAAE;gBACN,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;gBACvB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM;gBACnD,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM;aACvC;YACD,QAAQ,EAAE;gBACR,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;gBAC7C,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC;aAClD;YACD,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;YACxC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY;YACrC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;YAC/C,QAAQ;SACT;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,QAA2B,EAAE,IAAkB;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC,UAAU;SACvB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;SAC7C,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,SAAS,EAAE,SAAS,CAAC,EAAE;QACvB,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAE,UAAoB,CAAC,CAAC,CAAE,SAAmB;QAC7E,EAAE,EAAE,SAAkB;QACtB,EAAE,EAAE,IAAI,CAAC,EAAE;KACZ,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAwB;IAC/C,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;QAC/B,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9C,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC;KACjD,CAAC;AACJ,CAAC"}

package/dist/domain/design/governance.js

@@ -1,5 +1,4 @@
-import { createHash } from "node:crypto";
-import { canonicalJson } from "../../application/semantic-operation/protocol.js";
+import { sealedRecordDigest } from "../sealed-record.js";
 import { isCalendarDate } from "./baseline.js";
 import { CANONICAL_SCHEMAS } from "./capability.js";
 import { isDigest, parseBaselineRef } from "./identity.js";
@@ -28,8 +27,7 @@ const DECISIONS = new Set(["proposed", "approved", "rejected"]);
  * unverifiable — you cannot hash a value that contains its own hash.
  */
 export function computeRecordDigest(record) {
-    const { digest: _drop, ...rest } = record;
-    return `sha256:${createHash("sha256").update(canonicalJson(rest), "utf8").digest("hex")}`;
+    return sealedRecordDigest(record);
 }
 export function validateDesignReview(raw, artifact) {
     const r = new Reader(REVIEW_ALLOWED_KEYS);

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

@@ -1 +1 @@
-{"version":3,"file":"governance.js","sourceRoot":"","sources":["../../../src/domain/design/governance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,kDAAkD,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAE3D,OAAO,EAGL,MAAM,EACN,gBAAgB,EAChB,QAAQ,GACT,MAAM,iBAAiB,CAAC;AAqDzB,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,EAAE,EAAE;QACF,QAAQ;QACR,IAAI;QACJ,QAAQ;QACR,eAAe;QACf,QAAQ;QACR,MAAM;QACN,UAAU;QACV,UAAU;QACV,QAAQ;KACT;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAgB;IAClD,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC;CACtF,CAAC;AAEF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAErF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAwC;IAC1E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,MAA0B,CAAC;IAC9D,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,GAAY,EACZ,QAAgB;IAEhB,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7E,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAEjG,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACjD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,yDAAyD,EACzD,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClE,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,0CAA0C,EAC1C,gFAAgF,CACjF,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtD,CAAC,CAAC,IAAI,CACJ,qBAAqB,EACrB,QAAQ,EACR,+BAA+B,EAC/B,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAE9E,MAAM,KAAK,GAAiB;QAC1B,GAAG,MAAM,CAAC,KAAK;QACf,MAAM,EAAE,iBAAiB,CAAC,MAAM;QAChC,QAAQ,EAAE,QAA0B;QACpC,QAAQ,EAAE,QAAoB;KAC/B,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,GAAY,EACZ,QAAgB;IAEhB,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACjF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAEjG,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,gDAAgD,EAChD,sCAAsC,CACvC,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,KAAK,GAAqB;QAC9B,GAAG,MAAM,CAAC,KAAK;QACf,MAAM,EAAE,iBAAiB,CAAC,UAAU;QACpC,MAAM;KACP,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACpC,CAAC;AAOD,SAAS,UAAU,CACjB,CAAS,EACT,GAAY,EACZ,QAAgB,EAChB,MAAqB,EACrB,MAAc;IAEd,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,0BAA0B,EAC1B,QAAQ,EACR,4CAA4C,EAC5C,qDAAqD,CACtD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CACJ,uBAAuB,EACvB,QAAQ,EACR,oCAAoC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAC9D,0BAA0B,MAAM,EAAE,CACnC,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE5B,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAErC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,+BAA+B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9F,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,iBAAiB,MAAM,MAAM,EAAE,yBAAyB,MAAM,MAAM,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACtC,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,iDAAiD,EACjD,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,2DAA2D,EAC3D,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,yBAAyB,EAAE,8CAA8C,CAAC,CAAC;IACjG,CAAC;IACD,8EAA8E;IAC9E,6EAA6E;IAC7E,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,wCAAwC,EAAE,mBAAmB,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,6BAA6B,EAAE,sCAAsC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvC,OAAO;QACL,IAAI,EAAE,GAAG;QACT,KAAK,EAAE;YACL,EAAE,EAAE,EAAY;YAChB,MAAM,EAAE,MAAgB;YACxB,aAAa,EAAE,YAAsB;YACrC,MAAM,EAAE,MAAgB;YACxB,IAAI,EAAE,IAAc;YACpB,MAAM,EAAE,MAAgB;SACzB;KACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,SAAS,MAAM,CACb,CAAS,EACT,KAAQ,EACR,QAAgB;IAEhB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9B,CAAC,CAAC,IAAI,CACJ,wBAAwB,EACxB,QAAQ,EACR,iBAAiB,KAAK,CAAC,MAAM,yBAAyB,QAAQ,EAAE,EAChE,kEAAkE,CACnE,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;AAC/D,CAAC;AAyBD,MAAM,UAAU,cAAc,CAC5B,QAAwB,EACxB,WAAmB,EACnB,OAA2B,EAC3B,MAAsB;IAEtB,MAAM,MAAM,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC;QACtD,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,OAAO;YACP,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,IAAI,WAAW,0BAA0B,QAAQ,CAAC,EAAE,EAAE;oBAC/D,MAAM,EAAE,sDAAsD;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,OAAO;YACP,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,4BAA4B,MAAM,CAAC,QAAQ,EAAE;oBACpE,MAAM,EAAE,0BAA0B,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAC/F;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAC7B,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CACrF,CAAC;IACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,GAAG,WAAW,mBAAoB,UAA+B,CAAC,MAAM,EAAE;YACnF,MAAM,EAAE,qEAAqE;SAC9E,CAAC,CAAC;QACH,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAClD,CAAC;IAED,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,CAAC,IAAI,CACV,GAAG,WAAW,wBAAwB,QAAQ,CAAC,EAAE,KAAK,OAAO,CAAC,QAAQ,oBAAoB,CAC3F,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,WAAmB,EACnB,MAAc,EACd,OAA2B;IAE3B,8EAA8E;IAC9E,2EAA2E;IAC3E,oEAAoE;IACpE,IAAI,UAAU,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACvE,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,kCAAkC,WAAW,gCAAgC;YACtF,MAAM,EAAE,wEAAwE;SACjF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAwB,EAAE,WAAmB,EAAE,MAAc;IAC9E,OAAO,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC;AAC1E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,QAAwB,EACxB,OAAsC,EACtC,WAAmB;IAEnB,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG;QACd,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAC;QAC9E,GAAG,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,CAAC,CAAC;KACvF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,+BAA+B;gBACrC,QAAQ;gBACR,OAAO,EAAE,sBAAsB,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,WAAW;gBACnE,MAAM,EAAE,0CAA0C;aACnD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,IAAI;YAC5C,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;YAC3B,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACvC,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;SAC/B,EAAE,CAAC;YACX,IAAI,YAAY,KAAK,SAAS;gBAAE,SAAS;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,QAAQ;gBACR,OAAO,EAAE,kBAAkB,IAAI,IAAI,YAAY,qBAAqB,SAAS,EAAE;gBAC/E,MAAM,EAAE,2DAA2D;aACpE,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,KAAK,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,QAAQ;gBACR,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,uBAAuB,KAAK,CAAC,IAAI,2BAA2B;gBAChF,MAAM,EAAE,wDAAwD;aACjE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAwB;IAC/C,OAAO,MAAM,CAAC,MAAM,KAAK,iBAAiB,CAAC,MAAM,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAwB;IACnD,OAAO,MAAM,CAAC,MAAM,KAAK,iBAAiB,CAAC,UAAU,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,WAAmB,EACnB,OAA2B,EAC3B,MAAe;IAEf,MAAM,OAAO,GAAG,OAAO;SACpB,MAAM,CAAC,QAAQ,CAAC;SAChB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACjB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,CAC9F;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,UAAU,CAAC;AAChD,CAAC"}
+{"version":3,"file":"governance.js","sourceRoot":"","sources":["../../../src/domain/design/governance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAE3D,OAAO,EAGL,MAAM,EACN,gBAAgB,EAChB,QAAQ,GACT,MAAM,iBAAiB,CAAC;AAqDzB,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,EAAE,EAAE;QACF,QAAQ;QACR,IAAI;QACJ,QAAQ;QACR,eAAe;QACf,QAAQ;QACR,MAAM;QACN,UAAU;QACV,UAAU;QACV,QAAQ;KACT;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAgB;IAClD,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC;CACtF,CAAC;AAEF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAErF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAwC;IAC1E,OAAO,kBAAkB,CAAC,MAA4C,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,GAAY,EACZ,QAAgB;IAEhB,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7E,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAEjG,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACjD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,yDAAyD,EACzD,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClE,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,0CAA0C,EAC1C,gFAAgF,CACjF,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtD,CAAC,CAAC,IAAI,CACJ,qBAAqB,EACrB,QAAQ,EACR,+BAA+B,EAC/B,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAE9E,MAAM,KAAK,GAAiB;QAC1B,GAAG,MAAM,CAAC,KAAK;QACf,MAAM,EAAE,iBAAiB,CAAC,MAAM;QAChC,QAAQ,EAAE,QAA0B;QACpC,QAAQ,EAAE,QAAoB;KAC/B,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,GAAY,EACZ,QAAgB;IAEhB,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACjF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAEjG,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,gDAAgD,EAChD,sCAAsC,CACvC,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,KAAK,GAAqB;QAC9B,GAAG,MAAM,CAAC,KAAK;QACf,MAAM,EAAE,iBAAiB,CAAC,UAAU;QACpC,MAAM;KACP,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACpC,CAAC;AAOD,SAAS,UAAU,CACjB,CAAS,EACT,GAAY,EACZ,QAAgB,EAChB,MAAqB,EACrB,MAAc;IAEd,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,0BAA0B,EAC1B,QAAQ,EACR,4CAA4C,EAC5C,qDAAqD,CACtD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CACJ,uBAAuB,EACvB,QAAQ,EACR,oCAAoC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAC9D,0BAA0B,MAAM,EAAE,CACnC,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE5B,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAErC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,+BAA+B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9F,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,iBAAiB,MAAM,MAAM,EAAE,yBAAyB,MAAM,MAAM,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACtC,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,iDAAiD,EACjD,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,CAAC,CAAC,OAAO,CACP,QAAQ,EACR,2DAA2D,EAC3D,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,yBAAyB,EAAE,8CAA8C,CAAC,CAAC;IACjG,CAAC;IACD,8EAA8E;IAC9E,6EAA6E;IAC7E,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,wCAAwC,EAAE,mBAAmB,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,6BAA6B,EAAE,sCAAsC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvC,OAAO;QACL,IAAI,EAAE,GAAG;QACT,KAAK,EAAE;YACL,EAAE,EAAE,EAAY;YAChB,MAAM,EAAE,MAAgB;YACxB,aAAa,EAAE,YAAsB;YACrC,MAAM,EAAE,MAAgB;YACxB,IAAI,EAAE,IAAc;YACpB,MAAM,EAAE,MAAgB;SACzB;KACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,SAAS,MAAM,CACb,CAAS,EACT,KAAQ,EACR,QAAgB;IAEhB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9B,CAAC,CAAC,IAAI,CACJ,wBAAwB,EACxB,QAAQ,EACR,iBAAiB,KAAK,CAAC,MAAM,yBAAyB,QAAQ,EAAE,EAChE,kEAAkE,CACnE,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;AAC/D,CAAC;AAyBD,MAAM,UAAU,cAAc,CAC5B,QAAwB,EACxB,WAAmB,EACnB,OAA2B,EAC3B,MAAsB;IAEtB,MAAM,MAAM,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC;QACtD,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,OAAO;YACP,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,IAAI,WAAW,0BAA0B,QAAQ,CAAC,EAAE,EAAE;oBAC/D,MAAM,EAAE,sDAAsD;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,OAAO;YACP,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,4BAA4B,MAAM,CAAC,QAAQ,EAAE;oBACpE,MAAM,EAAE,0BAA0B,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAC/F;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAC7B,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CACrF,CAAC;IACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,GAAG,WAAW,mBAAoB,UAA+B,CAAC,MAAM,EAAE;YACnF,MAAM,EAAE,qEAAqE;SAC9E,CAAC,CAAC;QACH,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAClD,CAAC;IAED,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,CAAC,IAAI,CACV,GAAG,WAAW,wBAAwB,QAAQ,CAAC,EAAE,KAAK,OAAO,CAAC,QAAQ,oBAAoB,CAC3F,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,WAAmB,EACnB,MAAc,EACd,OAA2B;IAE3B,8EAA8E;IAC9E,2EAA2E;IAC3E,oEAAoE;IACpE,IAAI,UAAU,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACvE,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,kCAAkC,WAAW,gCAAgC;YACtF,MAAM,EAAE,wEAAwE;SACjF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAwB,EAAE,WAAmB,EAAE,MAAc;IAC9E,OAAO,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC;AAC1E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,QAAwB,EACxB,OAAsC,EACtC,WAAmB;IAEnB,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG;QACd,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAC;QAC9E,GAAG,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,CAAC,CAAC;KACvF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,+BAA+B;gBACrC,QAAQ;gBACR,OAAO,EAAE,sBAAsB,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,WAAW;gBACnE,MAAM,EAAE,0CAA0C;aACnD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,IAAI;YAC5C,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;YAC3B,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACvC,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;SAC/B,EAAE,CAAC;YACX,IAAI,YAAY,KAAK,SAAS;gBAAE,SAAS;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,QAAQ;gBACR,OAAO,EAAE,kBAAkB,IAAI,IAAI,YAAY,qBAAqB,SAAS,EAAE;gBAC/E,MAAM,EAAE,2DAA2D;aACpE,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,KAAK,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,QAAQ;gBACR,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,uBAAuB,KAAK,CAAC,IAAI,2BAA2B;gBAChF,MAAM,EAAE,wDAAwD;aACjE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAwB;IAC/C,OAAO,MAAM,CAAC,MAAM,KAAK,iBAAiB,CAAC,MAAM,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAwB;IACnD,OAAO,MAAM,CAAC,MAAM,KAAK,iBAAiB,CAAC,UAAU,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,WAAmB,EACnB,OAA2B,EAC3B,MAAe;IAEf,MAAM,OAAO,GAAG,OAAO;SACpB,MAAM,CAAC,QAAQ,CAAC;SAChB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACjB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,CAC9F;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,UAAU,CAAC;AAChD,CAAC"}

package/dist/domain/effective-contract.js

@@ -0,0 +1,138 @@
+import { effectiveNotes } from "./decision-note.js";
+/**
+ * Compose the baseline with the chain, or block naming the correction.
+ *
+ * Ordering is the chain's (`effectiveNotes` → date, then correlative), so the
+ * result does not depend on the order the notes were handed over. Two callers
+ * reading the same lineage from different directions get the same contract or
+ * the same refusal.
+ */
+export function composeEffectiveContract(baseline, chain) {
+    const notes = effectiveNotes(chain);
+    const failures = [];
+    const known = new Set(baseline.criteria);
+    const amendedBy = new Map();
+    const obligations = [];
+    const preservedBy = new Map();
+    const invalidatedBy = new Map();
+    const applied = [];
+    for (const note of notes) {
+        failures.push(...checkBaseline(note, baseline));
+        failures.push(...checkAssertions(note, known, amendedBy));
+        failures.push(...checkContradiction(note));
+        for (const id of note.supersedes_assertions)
+            amendedBy.set(id, note.id);
+        for (const text of note.obligations)
+            obligations.push({ text, by: note.id });
+        // First note wins the attribution: the chain is applied in order, so the
+        // earliest one to say something about a piece of evidence is the one whose
+        // claim the conflict check has to name.
+        claimFirst(preservedBy, note.evidence_preserved, note.id);
+        claimFirst(invalidatedBy, note.evidence_invalidated, note.id);
+        applied.push(note.id);
+    }
+    failures.push(...checkEvidenceConflict(preservedBy, invalidatedBy));
+    if (failures.length > 0)
+        return { status: "blocked", failures };
+    return {
+        status: "composed",
+        contract: {
+            spec: { path: baseline.path, number: baseline.number, digest: baseline.digest },
+            assertions: baseline.criteria.map((id) => ({
+                id,
+                state: amendedBy.has(id) ? "amended" : "baseline",
+                by: amendedBy.get(id) ?? null,
+            })),
+            obligations,
+            evidence_preserved: [...preservedBy.keys()],
+            evidence_invalidated: [...invalidatedBy.keys()],
+            applied,
+        },
+    };
+}
+function claimFirst(into, items, noteId) {
+    for (const item of items) {
+        if (!into.has(item))
+            into.set(item, noteId);
+    }
+}
+/** A note that decided on other bytes is not stale trivia: it decided elsewhere. */
+function checkBaseline(note, baseline) {
+    if (note.lineage.spec.digest === baseline.digest)
+        return [];
+    return [
+        {
+            code: "CONTRACT_BASELINE_ABSENT",
+            message: `${note.id} decide sobre un baseline de ${note.lineage.spec.path} que ya no es el vigente`,
+            action: "revisá la nota contra la spec actual y publicá otra que la sustituya, o volvé la spec a su baseline sellado",
+        },
+    ];
+}
+/**
+ * An amendment must name something that exists, and only once.
+ *
+ * Two notes in force over the same assertion is an OVERLAP unless the later one
+ * explicitly supersedes the earlier: without that reference nobody can say which
+ * of the two the contract means, and choosing by recency would be inventing the
+ * answer.
+ */
+function checkAssertions(note, known, amendedBy) {
+    const failures = [];
+    for (const id of note.supersedes_assertions) {
+        if (!known.has(id)) {
+            failures.push({
+                code: "CONTRACT_ASSERTION_ABSENT",
+                message: `${note.id} sustituye ${id}, que la spec no enuncia`,
+                action: `direccioná una afirmación que exista en ${note.lineage.spec.path}, o corregí la nota con otra que la sustituya`,
+            });
+            continue;
+        }
+        const previous = amendedBy.get(id);
+        if (previous !== undefined && note.supersedes_note !== previous) {
+            failures.push({
+                code: "CONTRACT_OVERLAP",
+                message: `${note.id} y ${previous} están vigentes sobre ${id} y ninguna sustituye a la otra`,
+                action: `publicá una nota que sustituya explícitamente a ${previous}: la precedencia por fecha sería una respuesta inventada`,
+            });
+        }
+    }
+    return failures;
+}
+/** A note that both keeps and drops the same evidence contradicts itself. */
+function checkContradiction(note) {
+    const preserved = new Set(note.evidence_preserved);
+    const both = note.evidence_invalidated.filter((item) => preserved.has(item));
+    if (both.length === 0)
+        return [];
+    return [
+        {
+            code: "CONTRACT_CONTRADICTION",
+            message: `${note.id} conserva e invalida a la vez: ${both.join(", ")}`,
+            action: "una evidencia sigue valiendo o dejó de valer; decidí cuál y volvé a sellar la nota",
+        },
+    ];
+}
+/**
+ * Two DIFFERENT notes in force where one keeps exactly what another drops.
+ *
+ * Left unresolved this is the same ambiguity as an overlap, one level down: the
+ * contract would claim a piece of evidence is both usable and void. Attributing
+ * each side to its note is what keeps this distinct from a single note
+ * contradicting itself — that one is already reported against the note itself,
+ * and reporting it twice would send the reader to fix two things.
+ */
+function checkEvidenceConflict(preservedBy, invalidatedBy) {
+    const failures = [];
+    for (const [item, keeper] of preservedBy) {
+        const dropper = invalidatedBy.get(item);
+        if (dropper === undefined || dropper === keeper)
+            continue;
+        failures.push({
+            code: "CONTRACT_CONTRADICTION",
+            message: `${keeper} conserva '${item}' y ${dropper} la invalida, y las dos están vigentes`,
+            action: `publicá una nota que sustituya a ${keeper} o a ${dropper}: el contrato no puede afirmar las dos`,
+        });
+    }
+    return failures;
+}
+//# sourceMappingURL=effective-contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effective-contract.js","sourceRoot":"","sources":["../../src/domain/effective-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuC,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAyDzF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACtC,QAAuB,EACvB,KAA8B;IAE9B,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1D,QAAQ,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,qBAAqB;YAAE,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACxE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,yEAAyE;QACzE,2EAA2E;QAC3E,wCAAwC;QACxC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,oBAAoB,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;IAEpE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAEhE,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,QAAQ,EAAE;YACR,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;YAC/E,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACzC,EAAE;gBACF,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;gBACjD,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI;aAC9B,CAAC,CAAC;YACH,WAAW;YACX,kBAAkB,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;YAC3C,oBAAoB,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC;YAC/C,OAAO;SACR;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAyB,EAAE,KAAwB,EAAE,MAAc;IACrF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,IAAkB,EAAE,QAAuB;IAChE,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5D,OAAO;QACL;YACE,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,gCAAgC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,0BAA0B;YACnG,MAAM,EACJ,6GAA6G;SAChH;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CACtB,IAAkB,EAClB,KAA0B,EAC1B,SAAsC;IAEtC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,cAAc,EAAE,0BAA0B;gBAC7D,MAAM,EAAE,2CAA2C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,+CAA+C;aACzH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;YAChE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,MAAM,QAAQ,yBAAyB,EAAE,gCAAgC;gBAC5F,MAAM,EAAE,mDAAmD,QAAQ,0DAA0D;aAC9H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6EAA6E;AAC7E,SAAS,kBAAkB,CAAC,IAAkB;IAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO;QACL;YACE,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,kCAAkC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACtE,MAAM,EAAE,oFAAoF;SAC7F;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAC5B,WAAwC,EACxC,aAA0C;IAE1C,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM;YAAE,SAAS;QAC1D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,GAAG,MAAM,cAAc,IAAI,OAAO,OAAO,wCAAwC;YAC1F,MAAM,EAAE,oCAAoC,MAAM,QAAQ,OAAO,wCAAwC;SAC1G,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}