mewkit 1.15.0 → 1.16.0

package/dist/visual-plan/application/rehash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rehash.d.ts","sourceRoot":"","sources":["../../../src/visual-plan/application/rehash.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAM3E,MAAM,WAAW,YAAY;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,eAAe,EAAE,OAAO,CAAC;CACzB;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CA4BxD"}

package/dist/visual-plan/application/rehash.js

@@ -0,0 +1,43 @@
+/**
+ * `rehash` — the ONLY sanctioned way to refresh pinned source hashes after an
+ * intentional Markdown edit (red-team M1).
+ *
+ * When a human deliberately edits `plan.md`/`phase-*.md`, the artifact's pinned
+ * hashes go stale and validation blocks. `rehash` recomputes them from disk and
+ * — critically — CLEARS any prior approval (an approval was tied to the old
+ * source bytes; refreshing the hash silently would let stale-reviewed content
+ * pass Gate 1). It changes nothing else. Re-review + re-`approve` must follow.
+ */
+import { err, ErrorCode } from "../domain/errors.js";
+import { VisualPlanSchema } from "../domain/schemas.js";
+import { computeSourceHashes } from "../infrastructure/hashing.js";
+import { readArtifactRaw, writeArtifact } from "../infrastructure/visual-plan-repository.js";
+import { buildVisualBlock, writeVisualBlock } from "../infrastructure/plan-state.js";
+/** Recompute `source.planHash`/`phaseHashes` from disk and clear any approval. */
+export function rehashPlan(planDir) {
+    const read = readArtifactRaw(planDir);
+    if (read.error)
+        return { ok: false, errors: [read.error], clearedApproval: false };
+    const parsed = VisualPlanSchema.safeParse(read.raw);
+    if (!parsed.success) {
+        return {
+            ok: false,
+            errors: [err("<root>", ErrorCode.SCHEMA, "artifact must be schema-valid before rehash")],
+            clearedApproval: false,
+        };
+    }
+    const plan = parsed.data;
+    const fresh = computeSourceHashes(planDir, plan.source.planPath);
+    plan.source.planHash = fresh.planHash;
+    plan.source.phaseHashes = fresh.phaseHashes;
+    const clearedApproval = plan.review.status === "approved" || plan.review.approvedRevision !== null;
+    if (plan.review.status === "approved" || plan.review.status === "stale") {
+        plan.review.status = "draft";
+    }
+    plan.review.approvedRevision = null;
+    plan.review.approvedAt = null;
+    writeArtifact(planDir, plan);
+    writeVisualBlock(planDir, buildVisualBlock(plan, planDir));
+    return { ok: true, errors: [], clearedApproval };
+}
+//# sourceMappingURL=rehash.js.map

package/dist/visual-plan/application/rehash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rehash.js","sourceRoot":"","sources":["../../../src/visual-plan/application/rehash.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,GAAG,EAAE,SAAS,EAAwB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAQrF,kFAAkF;AAClF,MAAM,UAAU,UAAU,CAAC,OAAe;IACzC,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAEnF,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO;YACN,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,6CAA6C,CAAC,CAAC;YACxF,eAAe,EAAE,KAAK;SACtB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IAEzB,MAAM,KAAK,GAAG,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IAE5C,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;IACnG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QACzE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC;IAE9B,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7B,gBAAgB,CAAC,OAAO,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC;AAClD,CAAC"}

package/dist/visual-plan/application/status.d.ts

@@ -0,0 +1,20 @@
+/**
+ * `status` — a read-only summary of the visual artifact's health.
+ *
+ * Reuses the validation pass so the reported coverage counts and validity are
+ * exactly what Gate 1 would see. Never mutates. Absent artifact is reported as
+ * `exists:false` (not an error) so `status` is safe to run on any plan dir.
+ */
+import type { CoverageSummary } from "../domain/coverage.js";
+export interface PlanStatus {
+    exists: boolean;
+    valid: boolean;
+    revision: number | null;
+    reviewStatus: string | null;
+    coverage: CoverageSummary | null;
+    pendingFeedback: string[];
+    errorCount: number;
+}
+/** Summarize the artifact at `planDir` without mutating anything. */
+export declare function planStatus(planDir: string): PlanStatus;
+//# sourceMappingURL=status.d.ts.map

package/dist/visual-plan/application/status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../../src/visual-plan/application/status.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,WAAW,UAAU;IAC1B,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IACjC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,qEAAqE;AACrE,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAetD"}

package/dist/visual-plan/application/status.js

@@ -0,0 +1,27 @@
+/**
+ * `status` — a read-only summary of the visual artifact's health.
+ *
+ * Reuses the validation pass so the reported coverage counts and validity are
+ * exactly what Gate 1 would see. Never mutates. Absent artifact is reported as
+ * `exists:false` (not an error) so `status` is safe to run on any plan dir.
+ */
+import { validatePlan } from "./validate-plan.js";
+import { ErrorCode } from "../domain/errors.js";
+/** Summarize the artifact at `planDir` without mutating anything. */
+export function planStatus(planDir) {
+    const result = validatePlan(planDir);
+    const missing = result.errors.some((e) => e.code === ErrorCode.ARTIFACT_MISSING);
+    if (missing) {
+        return { exists: false, valid: false, revision: null, reviewStatus: null, coverage: null, pendingFeedback: [], errorCount: 0 };
+    }
+    return {
+        exists: true,
+        valid: result.ok,
+        revision: result.plan?.revision ?? null,
+        reviewStatus: result.plan?.review.status ?? null,
+        coverage: result.coverage ?? null,
+        pendingFeedback: result.plan?.review.pendingFeedbackBatchIds ?? [],
+        errorCount: result.errors.length,
+    };
+}
+//# sourceMappingURL=status.js.map

package/dist/visual-plan/application/status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/visual-plan/application/status.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAahD,qEAAqE;AACrE,MAAM,UAAU,UAAU,CAAC,OAAe;IACzC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACjF,IAAI,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAChI,CAAC;IACD,OAAO;QACN,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,MAAM,CAAC,EAAE;QAChB,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,IAAI,IAAI;QACvC,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,IAAI,IAAI;QAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;QACjC,eAAe,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,uBAAuB,IAAI,EAAE;QAClE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;KAChC,CAAC;AACH,CAAC"}

package/dist/visual-plan/application/validate-plan.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Validation orchestration — the single deterministic pass Gate 1 depends on.
+ *
+ * Order: read → schema → cross-refs → coverage → HTML safety → source freshness.
+ * Schema failure short-circuits (cross-checks need a well-typed object); every
+ * later pass is additive so one artifact can surface many findings at once,
+ * each with an exact JSON path and a stable code for agent self-repair.
+ */
+import { type ValidationError } from "../domain/errors.js";
+import { type VisualPlan } from "../domain/schemas.js";
+import { type CoverageSummary } from "../domain/coverage.js";
+export interface ValidatePlanResult {
+    ok: boolean;
+    errors: ValidationError[];
+    plan?: VisualPlan;
+    coverage?: CoverageSummary;
+}
+/**
+ * Run the deterministic passes on an ALREADY-PARSED plan (cross-refs, coverage,
+ * HTML safety, source freshness). Used by `validatePlan` and by the patch
+ * pipeline (Phase 5) to re-validate a mutated plan in memory before writing —
+ * so a patch can never persist a structurally-invalid or unsafe artifact.
+ */
+export declare function validateParsed(plan: VisualPlan, planDir: string): {
+    errors: ValidationError[];
+    coverage: CoverageSummary;
+};
+/** Run every deterministic pass against the artifact in `planDir`. */
+export declare function validatePlan(planDir: string): ValidatePlanResult;
+//# sourceMappingURL=validate-plan.d.ts.map

package/dist/visual-plan/application/validate-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-plan.d.ts","sourceRoot":"","sources":["../../../src/visual-plan/application/validate-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAK9E,MAAM,WAAW,kBAAkB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,QAAQ,CAAC,EAAE,eAAe,CAAC;CAC3B;AAeD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,CAa1H;AAED,sEAAsE;AACtE,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAUhE"}

package/dist/visual-plan/application/validate-plan.js

@@ -0,0 +1,59 @@
+/**
+ * Validation orchestration — the single deterministic pass Gate 1 depends on.
+ *
+ * Order: read → schema → cross-refs → coverage → HTML safety → source freshness.
+ * Schema failure short-circuits (cross-checks need a well-typed object); every
+ * later pass is additive so one artifact can surface many findings at once,
+ * each with an exact JSON path and a stable code for agent self-repair.
+ */
+import { err, ErrorCode } from "../domain/errors.js";
+import { VisualPlanSchema } from "../domain/schemas.js";
+import { checkCrossReferences } from "../domain/cross-refs.js";
+import { computeCoverage } from "../domain/coverage.js";
+import { checkWireframeHtml } from "../infrastructure/wireframe-sanitizer.js";
+import { checkSourceFreshness } from "../infrastructure/hashing.js";
+import { readArtifactRaw } from "../infrastructure/visual-plan-repository.js";
+/** Render a Zod issue path (`["canvas","frames",0,"id"]`) as `canvas.frames[0].id`. */
+function jsonPath(segments) {
+    return segments
+        .map((s) => (typeof s === "number" ? `[${s}]` : s))
+        .join(".")
+        .replace(/\.\[/g, "[");
+}
+/** Map a Zod error into deterministic `SCHEMA` findings. */
+function fromZod(error) {
+    return error.issues.map((i) => err(jsonPath(i.path) || "<root>", ErrorCode.SCHEMA, i.message));
+}
+/**
+ * Run the deterministic passes on an ALREADY-PARSED plan (cross-refs, coverage,
+ * HTML safety, source freshness). Used by `validatePlan` and by the patch
+ * pipeline (Phase 5) to re-validate a mutated plan in memory before writing —
+ * so a patch can never persist a structurally-invalid or unsafe artifact.
+ */
+export function validateParsed(plan, planDir) {
+    const errors = [];
+    errors.push(...checkCrossReferences(plan));
+    const coverage = computeCoverage(plan);
+    errors.push(...coverage.errors);
+    plan.canvas.frames.forEach((frame, i) => {
+        const check = checkWireframeHtml(frame.wireframe.html);
+        if (!check.safe) {
+            errors.push(err(`canvas.frames[${i}].wireframe.html`, ErrorCode.UNSAFE_HTML, check.reason ?? "unsafe HTML"));
+        }
+    });
+    errors.push(...checkSourceFreshness(plan, planDir));
+    return { errors, coverage: coverage.summary };
+}
+/** Run every deterministic pass against the artifact in `planDir`. */
+export function validatePlan(planDir) {
+    const read = readArtifactRaw(planDir);
+    if (read.error)
+        return { ok: false, errors: [read.error] };
+    const parsed = VisualPlanSchema.safeParse(read.raw);
+    if (!parsed.success)
+        return { ok: false, errors: fromZod(parsed.error) };
+    const plan = parsed.data;
+    const { errors, coverage } = validateParsed(plan, planDir);
+    return { ok: errors.length === 0, errors, plan, coverage };
+}
+//# sourceMappingURL=validate-plan.js.map

package/dist/visual-plan/application/validate-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-plan.js","sourceRoot":"","sources":["../../../src/visual-plan/application/validate-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,GAAG,EAAE,SAAS,EAAwB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAmB,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAwB,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,0CAA0C,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAS9E,uFAAuF;AACvF,SAAS,QAAQ,CAAC,QAA6B;IAC9C,OAAO,QAAQ;SACb,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAClD,IAAI,CAAC,GAAG,CAAC;SACT,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,4DAA4D;AAC5D,SAAS,OAAO,CAAC,KAAiB;IACjC,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAgB,EAAE,OAAe;IAC/D,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC;QAC9G,CAAC;IACF,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,YAAY,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAE3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACzE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IAEzB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5D,CAAC"}

package/dist/visual-plan/domain/coverage.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Deterministic coverage-closure algorithm.
+ *
+ * Every `uiCoverage.surfaces[*].states[*]` MUST close via exactly one mode:
+ *   - framed   — non-empty `frameIds`
+ *   - omitted  — a typed `omitted` block (equivalent-layout needs a valid
+ *                `representedBy`; accepted-risk needs a `riskId`)
+ * Zero modes OR both modes ⇒ unresolved (a hard gate: `unresolved > 0` blocks
+ * Gate 1). Framed states are further split into `resolved` (backed by ≥1 code
+ * source ref — existing UI proven in code) and `planned` (framed net-new UI
+ * with no code evidence yet).
+ *
+ * The summary is COMPUTED here and never trusted from the author (red-team M6:
+ * the validator guarantees "no structurally-unaccounted state"; whether a
+ * `planned`/`omitted` tag is HONEST is the Step-5 red-team's job, not this).
+ *
+ * `representedBy` forms an equivalence graph; cycles and self-reference are
+ * rejected (the chain must terminate, it cannot close by pointing in a loop).
+ */
+import { type ValidationError } from "./errors.js";
+import type { VisualPlan } from "./schemas.js";
+export interface CoverageSummary {
+    total: number;
+    resolved: number;
+    planned: number;
+    omitted: number;
+    unresolved: number;
+}
+export interface CoverageResult {
+    summary: CoverageSummary;
+    errors: ValidationError[];
+}
+/** Compute the coverage summary and every closure error for the whole artifact. */
+export declare function computeCoverage(plan: VisualPlan): CoverageResult;
+//# sourceMappingURL=coverage.d.ts.map

package/dist/visual-plan/domain/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../../src/visual-plan/domain/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAiB,UAAU,EAAE,MAAM,cAAc,CAAC;AAE9D,MAAM,WAAW,eAAe;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC9B,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,eAAe,EAAE,CAAC;CAC1B;AAwDD,mFAAmF;AACnF,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,cAAc,CA+BhE"}

package/dist/visual-plan/domain/coverage.js

@@ -0,0 +1,99 @@
+/**
+ * Deterministic coverage-closure algorithm.
+ *
+ * Every `uiCoverage.surfaces[*].states[*]` MUST close via exactly one mode:
+ *   - framed   — non-empty `frameIds`
+ *   - omitted  — a typed `omitted` block (equivalent-layout needs a valid
+ *                `representedBy`; accepted-risk needs a `riskId`)
+ * Zero modes OR both modes ⇒ unresolved (a hard gate: `unresolved > 0` blocks
+ * Gate 1). Framed states are further split into `resolved` (backed by ≥1 code
+ * source ref — existing UI proven in code) and `planned` (framed net-new UI
+ * with no code evidence yet).
+ *
+ * The summary is COMPUTED here and never trusted from the author (red-team M6:
+ * the validator guarantees "no structurally-unaccounted state"; whether a
+ * `planned`/`omitted` tag is HONEST is the Step-5 red-team's job, not this).
+ *
+ * `representedBy` forms an equivalence graph; cycles and self-reference are
+ * rejected (the chain must terminate, it cannot close by pointing in a loop).
+ */
+import { err, ErrorCode } from "./errors.js";
+/** Which closure mode a state uses, or `unresolved` for zero/both. */
+function closureMode(state) {
+    const framed = state.frameIds.length > 0;
+    const omitted = state.omitted !== undefined;
+    if (framed === omitted)
+        return "unresolved"; // neither or both
+    return framed ? "framed" : "omitted";
+}
+/** A framed state is `resolved` if any of its source refs is code-backed, else `planned`. */
+function framedBucket(state, codeRefIds) {
+    return state.sourceRefIds.some((id) => codeRefIds.has(id)) ? "resolved" : "planned";
+}
+/**
+ * Walk the `representedBy` chain from an equivalent-layout omission. The chain
+ * MUST resolve, be acyclic/non-self-referential, AND terminate at a framed
+ * state — a state is only "covered by equivalence" if the layout it claims to
+ * equal is actually rendered somewhere. Terminating at a frameless state (an
+ * omission of any kind) defeats the closure guarantee and is rejected. Emits at
+ * most one error per starting state.
+ */
+function checkEquivalence(stateId, byId, path, errors) {
+    const visited = new Set([stateId]);
+    let current = byId.get(stateId);
+    while (current?.omitted?.reason === "equivalent-layout") {
+        const target = current.omitted.representedBy;
+        if (target === undefined) {
+            errors.push(err(`${path}.omitted`, ErrorCode.COVERAGE_MISSING_REPRESENTED_BY, "equivalent-layout omission requires representedBy"));
+            return;
+        }
+        if (!byId.has(target)) {
+            errors.push(err(`${path}.omitted.representedBy`, ErrorCode.DANGLING_REPRESENTED_BY, `references unknown coverage state "${target}"`));
+            return;
+        }
+        if (visited.has(target)) {
+            errors.push(err(`${path}.omitted.representedBy`, ErrorCode.COVERAGE_EQUIVALENCE_CYCLE, `equivalence cycle through "${target}"`));
+            return;
+        }
+        visited.add(target);
+        current = byId.get(target);
+    }
+    // Terminal reached (a non-equivalent-layout state). It must render a frame.
+    if (current === undefined || current.frameIds.length === 0) {
+        errors.push(err(`${path}.omitted.representedBy`, ErrorCode.COVERAGE_EQUIVALENCE_UNBACKED, "equivalent-layout chain must terminate at a framed state (it resolves to no rendered layout)"));
+    }
+}
+/** Compute the coverage summary and every closure error for the whole artifact. */
+export function computeCoverage(plan) {
+    const errors = [];
+    const summary = { total: 0, resolved: 0, planned: 0, omitted: 0, unresolved: 0 };
+    const codeRefIds = new Set(plan.sourceRefs.filter((r) => r.kind === "code").map((r) => r.id));
+    const byId = new Map();
+    for (const s of plan.uiCoverage.surfaces)
+        for (const st of s.states)
+            byId.set(st.id, st);
+    plan.uiCoverage.surfaces.forEach((surface, si) => surface.states.forEach((state, ti) => {
+        summary.total += 1;
+        const path = `uiCoverage.surfaces[${si}].states[${ti}]`;
+        const mode = closureMode(state);
+        if (mode === "unresolved") {
+            summary.unresolved += 1;
+            errors.push(err(path, ErrorCode.COVERAGE_UNRESOLVED, "state closes via zero or multiple modes (need exactly one of frameIds / omitted)"));
+            return;
+        }
+        if (mode === "framed") {
+            summary[framedBucket(state, codeRefIds)] += 1;
+            return;
+        }
+        // omitted
+        summary.omitted += 1;
+        const o = state.omitted;
+        if (o.reason === "accepted-risk" && (o.riskId === undefined || o.riskId.length === 0)) {
+            errors.push(err(`${path}.omitted`, ErrorCode.COVERAGE_MISSING_RISK_ID, "accepted-risk omission requires a riskId"));
+        }
+        if (o.reason === "equivalent-layout")
+            checkEquivalence(state.id, byId, path, errors);
+    }));
+    return { summary, errors };
+}
+//# sourceMappingURL=coverage.js.map

package/dist/visual-plan/domain/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/visual-plan/domain/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,GAAG,EAAE,SAAS,EAAwB,MAAM,aAAa,CAAC;AAkBnE,sEAAsE;AACtE,SAAS,WAAW,CAAC,KAAoB;IACxC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;IAC5C,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,YAAY,CAAC,CAAC,kBAAkB;IAC/D,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACtC,CAAC;AAED,6FAA6F;AAC7F,SAAS,YAAY,CAAC,KAAoB,EAAE,UAAuB;IAClE,OAAO,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CACxB,OAAe,EACf,IAAgC,EAChC,IAAY,EACZ,MAAyB;IAEzB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,OAAO,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,UAAU,EAAE,SAAS,CAAC,+BAA+B,EAAE,mDAAmD,CAAC,CAAC,CAAC;YACpI,OAAO;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,wBAAwB,EAAE,SAAS,CAAC,uBAAuB,EAAE,sCAAsC,MAAM,GAAG,CAAC,CAAC,CAAC;YACtI,OAAO;QACR,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,wBAAwB,EAAE,SAAS,CAAC,0BAA0B,EAAE,8BAA8B,MAAM,GAAG,CAAC,CAAC,CAAC;YACjI,OAAO;QACR,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IACD,4EAA4E;IAC5E,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,wBAAwB,EAAE,SAAS,CAAC,6BAA6B,EAAE,8FAA8F,CAAC,CAAC,CAAC;IAC5L,CAAC;AACF,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAC,IAAgB;IAC/C,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAClG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ;QAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAEzF,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAChD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;QACpC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,uBAAuB,EAAE,YAAY,EAAE,GAAG,CAAC;QACxD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;YAC3B,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,mBAAmB,EAAE,kFAAkF,CAAC,CAAC,CAAC;YAC1I,OAAO;QACR,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvB,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,OAAO;QACR,CAAC;QACD,UAAU;QACV,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,OAAQ,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACvF,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,UAAU,EAAE,SAAS,CAAC,wBAAwB,EAAE,0CAA0C,CAAC,CAAC,CAAC;QACrH,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,KAAK,mBAAmB;YAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtF,CAAC,CAAC,CACF,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC"}

package/dist/visual-plan/domain/cross-refs.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Cross-reference integrity for a schema-valid `visual-plan/v1` artifact.
+ *
+ * Agent-native only checks id uniqueness + `frame.blockId`, and its renderer
+ * silently SKIPS dangling connector endpoints, annotation targets, and section
+ * artboard ids (verified gap). MeowKit rejects every dangling reference with an
+ * exact JSON path so nothing renders-by-omission.
+ *
+ * Two passes: (1) every id is unique across ALL entity kinds; (2) every
+ * reference resolves to a declared id. Equivalence-cycle detection lives in
+ * `coverage.ts` (it needs the closure walk).
+ */
+import { type ValidationError } from "./errors.js";
+import type { VisualPlan } from "./schemas.js";
+/**
+ * Validate uniqueness + reference resolution. Returns every finding; an empty
+ * array means the artifact is referentially sound.
+ */
+export declare function checkCrossReferences(plan: VisualPlan): ValidationError[];
+//# sourceMappingURL=cross-refs.d.ts.map

package/dist/visual-plan/domain/cross-refs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-refs.d.ts","sourceRoot":"","sources":["../../../src/visual-plan/domain/cross-refs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AA0C/C;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,EAAE,CA0CxE"}

package/dist/visual-plan/domain/cross-refs.js

@@ -0,0 +1,92 @@
+/**
+ * Cross-reference integrity for a schema-valid `visual-plan/v1` artifact.
+ *
+ * Agent-native only checks id uniqueness + `frame.blockId`, and its renderer
+ * silently SKIPS dangling connector endpoints, annotation targets, and section
+ * artboard ids (verified gap). MeowKit rejects every dangling reference with an
+ * exact JSON path so nothing renders-by-omission.
+ *
+ * Two passes: (1) every id is unique across ALL entity kinds; (2) every
+ * reference resolves to a declared id. Equivalence-cycle detection lives in
+ * `coverage.ts` (it needs the closure walk).
+ */
+import { err, ErrorCode } from "./errors.js";
+/** Collect every declared id with the JSON path where it was declared. */
+function collectIds(plan) {
+    const seen = new Map();
+    const errors = [];
+    const add = (id, path) => {
+        const prior = seen.get(id);
+        if (prior !== undefined) {
+            errors.push(err(path, ErrorCode.DUPLICATE_ID, `id "${id}" already declared at ${prior}`));
+            return;
+        }
+        seen.set(id, path);
+    };
+    plan.canvas.lanes.forEach((l, i) => add(l.id, `canvas.lanes[${i}].id`));
+    plan.canvas.frames.forEach((f, i) => add(f.id, `canvas.frames[${i}].id`));
+    plan.canvas.connectors.forEach((c, i) => add(c.id, `canvas.connectors[${i}].id`));
+    plan.canvas.annotations.forEach((a, i) => add(a.id, `canvas.annotations[${i}].id`));
+    plan.documentBlocks.forEach((b, i) => add(b.id, `documentBlocks[${i}].id`));
+    plan.sourceRefs.forEach((s, i) => add(s.id, `sourceRefs[${i}].id`));
+    plan.uiCoverage.surfaces.forEach((s, si) => {
+        add(s.id, `uiCoverage.surfaces[${si}].id`);
+        s.states.forEach((st, ti) => add(st.id, `uiCoverage.surfaces[${si}].states[${ti}].id`));
+    });
+    return { seen, errors };
+}
+/** Build the typed id sets used to resolve references. */
+function idSets(plan) {
+    return {
+        frames: new Set(plan.canvas.frames.map((f) => f.id)),
+        lanes: new Set(plan.canvas.lanes.map((l) => l.id)),
+        sourceRefs: new Set(plan.sourceRefs.map((s) => s.id)),
+        states: new Set(plan.uiCoverage.surfaces.flatMap((s) => s.states.map((st) => st.id))),
+    };
+}
+/**
+ * Validate uniqueness + reference resolution. Returns every finding; an empty
+ * array means the artifact is referentially sound.
+ */
+export function checkCrossReferences(plan) {
+    const { errors } = collectIds(plan);
+    const ids = idSets(plan);
+    const need = (id, set, path, code, kind) => {
+        if (!set.has(id))
+            errors.push(err(path, code, `references unknown ${kind} "${id}"`));
+    };
+    plan.canvas.connectors.forEach((c, i) => {
+        need(c.from, ids.frames, `canvas.connectors[${i}].from`, ErrorCode.DANGLING_CONNECTOR_ENDPOINT, "frame");
+        need(c.to, ids.frames, `canvas.connectors[${i}].to`, ErrorCode.DANGLING_CONNECTOR_ENDPOINT, "frame");
+    });
+    plan.canvas.frames.forEach((f, i) => {
+        need(f.laneId, ids.lanes, `canvas.frames[${i}].laneId`, ErrorCode.DANGLING_LANE, "lane");
+        f.coverageStateIds.forEach((sid, j) => need(sid, ids.states, `canvas.frames[${i}].coverageStateIds[${j}]`, ErrorCode.DANGLING_COVERAGE_FRAME, "coverage state"));
+        f.sourceRefIds.forEach((sid, j) => need(sid, ids.sourceRefs, `canvas.frames[${i}].sourceRefIds[${j}]`, ErrorCode.DANGLING_SOURCE_REF, "source ref"));
+    });
+    plan.uiCoverage.surfaces.forEach((s, si) => s.states.forEach((st, ti) => {
+        const base = `uiCoverage.surfaces[${si}].states[${ti}]`;
+        st.frameIds.forEach((fid, j) => need(fid, ids.frames, `${base}.frameIds[${j}]`, ErrorCode.DANGLING_COVERAGE_FRAME, "frame"));
+        st.sourceRefIds.forEach((sid, j) => need(sid, ids.sourceRefs, `${base}.sourceRefIds[${j}]`, ErrorCode.DANGLING_SOURCE_REF, "source ref"));
+    }));
+    checkAnnotations(plan, ids.frames, errors);
+    return errors;
+}
+/** Annotation shape + target resolution: `note` is anchored, `markup` is free. */
+function checkAnnotations(plan, frames, errors) {
+    plan.canvas.annotations.forEach((a, i) => {
+        const base = `canvas.annotations[${i}]`;
+        if (a.kind === "note") {
+            if (a.targetId === undefined || a.placement === undefined) {
+                errors.push(err(`${base}`, ErrorCode.DANGLING_ANNOTATION_TARGET, "note annotation requires targetId + placement"));
+            }
+            else if (!frames.has(a.targetId)) {
+                errors.push(err(`${base}.targetId`, ErrorCode.DANGLING_ANNOTATION_TARGET, `references unknown frame "${a.targetId}"`));
+            }
+        }
+        else if (a.points === undefined || a.points.length === 0) {
+            errors.push(err(`${base}.points`, ErrorCode.DANGLING_ANNOTATION_TARGET, "markup annotation requires at least one point"));
+        }
+    });
+}
+//# sourceMappingURL=cross-refs.js.map

package/dist/visual-plan/domain/cross-refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-refs.js","sourceRoot":"","sources":["../../../src/visual-plan/domain/cross-refs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,GAAG,EAAE,SAAS,EAAwB,MAAM,aAAa,CAAC;AAGnE,0EAA0E;AAC1E,SAAS,UAAU,CAAC,IAAgB;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAY,EAAQ,EAAE;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,YAAY,EAAE,OAAO,EAAE,yBAAyB,KAAK,EAAE,CAAC,CAAC,CAAC;YAC1F,OAAO;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;QAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzB,CAAC;AAED,0DAA0D;AAC1D,SAAS,MAAM,CAAC,IAAgB;IAM/B,OAAO;QACN,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClD,UAAU,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;KACrF,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAgB;IACpD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,CACZ,EAAU,EACV,GAAgB,EAChB,IAAY,EACZ,IAAgD,EAChD,IAAY,EACL,EAAE;QACT,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,sBAAsB,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC;QACzG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,MAAM,EAAE,SAAS,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACzF,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACrC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CACxH,CAAC;QACF,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACjC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAChH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAC1C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAG,uBAAuB,EAAE,YAAY,EAAE,GAAG,CAAC;QACxD,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC9B,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,uBAAuB,EAAE,OAAO,CAAC,CAC3F,CAAC;QACF,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAClC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,IAAI,iBAAiB,CAAC,GAAG,EAAE,SAAS,CAAC,mBAAmB,EAAE,YAAY,CAAC,CACpG,CAAC;IACH,CAAC,CAAC,CACF,CAAC;IAEF,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,OAAO,MAAM,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,SAAS,gBAAgB,CAAC,IAAgB,EAAE,MAAmB,EAAE,MAAyB;IACzF,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxC,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC3D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,SAAS,CAAC,0BAA0B,EAAE,+CAA+C,CAAC,CAAC,CAAC;YACpH,CAAC;iBAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,WAAW,EAAE,SAAS,CAAC,0BAA0B,EAAE,6BAA6B,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YACxH,CAAC;QACF,CAAC;aAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,SAAS,EAAE,SAAS,CAAC,0BAA0B,EAAE,+CAA+C,CAAC,CAAC,CAAC;QAC3H,CAAC;IACF,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/dist/visual-plan/domain/errors.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Validation error vocabulary for the visual-plan contracts.
+ *
+ * Every deterministic check emits a `ValidationError` carrying an exact JSON
+ * path into the artifact, a stable machine code, and a human message. The
+ * `--json` reporter surfaces these verbatim so a fresh agent session can
+ * self-repair a rejected artifact from the path alone.
+ */
+/** Stable, machine-readable error codes. Never renumber — consumers match on these. */
+export declare const ErrorCode: {
+    readonly ARTIFACT_MISSING: "ARTIFACT_MISSING";
+    readonly ARTIFACT_INVALID_JSON: "ARTIFACT_INVALID_JSON";
+    readonly SCHEMA: "SCHEMA";
+    readonly DUPLICATE_ID: "DUPLICATE_ID";
+    readonly DANGLING_CONNECTOR_ENDPOINT: "DANGLING_CONNECTOR_ENDPOINT";
+    readonly DANGLING_ANNOTATION_TARGET: "DANGLING_ANNOTATION_TARGET";
+    readonly DANGLING_LANE: "DANGLING_LANE";
+    readonly DANGLING_COVERAGE_FRAME: "DANGLING_COVERAGE_FRAME";
+    readonly DANGLING_SOURCE_REF: "DANGLING_SOURCE_REF";
+    readonly DANGLING_REPRESENTED_BY: "DANGLING_REPRESENTED_BY";
+    readonly COVERAGE_UNRESOLVED: "COVERAGE_UNRESOLVED";
+    readonly COVERAGE_EQUIVALENCE_CYCLE: "COVERAGE_EQUIVALENCE_CYCLE";
+    readonly COVERAGE_EQUIVALENCE_UNBACKED: "COVERAGE_EQUIVALENCE_UNBACKED";
+    readonly COVERAGE_MISSING_RISK_ID: "COVERAGE_MISSING_RISK_ID";
+    readonly COVERAGE_MISSING_REPRESENTED_BY: "COVERAGE_MISSING_REPRESENTED_BY";
+    readonly UNSAFE_HTML: "UNSAFE_HTML";
+    readonly STALE_SOURCE_HASH: "STALE_SOURCE_HASH";
+};
+export type ErrorCodeValue = (typeof ErrorCode)[keyof typeof ErrorCode];
+/** One deterministic finding. `path` is a dotted/bracketed JSON path into the artifact. */
+export interface ValidationError {
+    path: string;
+    code: ErrorCodeValue;
+    message: string;
+}
+/** Machine-readable result of any validation pass. `ok` is derived from `errors`. */
+export interface ValidationResult {
+    ok: boolean;
+    errors: ValidationError[];
+}
+/** Build a `ValidationError` (thin helper to keep call sites terse and consistent). */
+export declare function err(path: string, code: ErrorCodeValue, message: string): ValidationError;
+//# sourceMappingURL=errors.d.ts.map

package/dist/visual-plan/domain/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/visual-plan/domain/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,uFAAuF;AACvF,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;CAkBZ,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAExE,2FAA2F;AAC3F,MAAM,WAAW,eAAe;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;CAChB;AAED,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAChC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,eAAe,EAAE,CAAC;CAC1B;AAED,uFAAuF;AACvF,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAExF"}

package/dist/visual-plan/domain/errors.js

@@ -0,0 +1,33 @@
+/**
+ * Validation error vocabulary for the visual-plan contracts.
+ *
+ * Every deterministic check emits a `ValidationError` carrying an exact JSON
+ * path into the artifact, a stable machine code, and a human message. The
+ * `--json` reporter surfaces these verbatim so a fresh agent session can
+ * self-repair a rejected artifact from the path alone.
+ */
+/** Stable, machine-readable error codes. Never renumber — consumers match on these. */
+export const ErrorCode = {
+    ARTIFACT_MISSING: "ARTIFACT_MISSING",
+    ARTIFACT_INVALID_JSON: "ARTIFACT_INVALID_JSON",
+    SCHEMA: "SCHEMA",
+    DUPLICATE_ID: "DUPLICATE_ID",
+    DANGLING_CONNECTOR_ENDPOINT: "DANGLING_CONNECTOR_ENDPOINT",
+    DANGLING_ANNOTATION_TARGET: "DANGLING_ANNOTATION_TARGET",
+    DANGLING_LANE: "DANGLING_LANE",
+    DANGLING_COVERAGE_FRAME: "DANGLING_COVERAGE_FRAME",
+    DANGLING_SOURCE_REF: "DANGLING_SOURCE_REF",
+    DANGLING_REPRESENTED_BY: "DANGLING_REPRESENTED_BY",
+    COVERAGE_UNRESOLVED: "COVERAGE_UNRESOLVED",
+    COVERAGE_EQUIVALENCE_CYCLE: "COVERAGE_EQUIVALENCE_CYCLE",
+    COVERAGE_EQUIVALENCE_UNBACKED: "COVERAGE_EQUIVALENCE_UNBACKED",
+    COVERAGE_MISSING_RISK_ID: "COVERAGE_MISSING_RISK_ID",
+    COVERAGE_MISSING_REPRESENTED_BY: "COVERAGE_MISSING_REPRESENTED_BY",
+    UNSAFE_HTML: "UNSAFE_HTML",
+    STALE_SOURCE_HASH: "STALE_SOURCE_HASH",
+};
+/** Build a `ValidationError` (thin helper to keep call sites terse and consistent). */
+export function err(path, code, message) {
+    return { path, code, message };
+}
+//# sourceMappingURL=errors.js.map

package/dist/visual-plan/domain/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/visual-plan/domain/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,uFAAuF;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG;IACxB,gBAAgB,EAAE,kBAAkB;IACpC,qBAAqB,EAAE,uBAAuB;IAC9C,MAAM,EAAE,QAAQ;IAChB,YAAY,EAAE,cAAc;IAC5B,2BAA2B,EAAE,6BAA6B;IAC1D,0BAA0B,EAAE,4BAA4B;IACxD,aAAa,EAAE,eAAe;IAC9B,uBAAuB,EAAE,yBAAyB;IAClD,mBAAmB,EAAE,qBAAqB;IAC1C,uBAAuB,EAAE,yBAAyB;IAClD,mBAAmB,EAAE,qBAAqB;IAC1C,0BAA0B,EAAE,4BAA4B;IACxD,6BAA6B,EAAE,+BAA+B;IAC9D,wBAAwB,EAAE,0BAA0B;IACpD,+BAA+B,EAAE,iCAAiC;IAClE,WAAW,EAAE,aAAa;IAC1B,iBAAiB,EAAE,mBAAmB;CAC7B,CAAC;AAiBX,uFAAuF;AACvF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAoB,EAAE,OAAe;IACtE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAChC,CAAC"}