@milehimikey/em 1.13.0 → 1.14.0

package/dist/cli/skillSync.js

@@ -81,4 +81,27 @@ export function applySkillSyncBundle(bundlePlan, packagedRoot, vendoredRoot) {
         applySkillSync(plan, join(packagedRoot, dirName), join(vendoredRoot, dirName));
     }
 }
+// ---- Agent files (MIL-269, R32) — `.claude/agents/` is shared with the consumer's own agents, so
+// unlike planSkillSync these walk a FIXED list of file names and never report anything as
+// `removed`: a file that is not on the list is not em's to list, touch or delete.
+/** Pure: per listed file, `added` (absent in vendoredDir), `modified` (hash differs) or unchanged.
+ *  A listed file missing from packagedDir is skipped. Never lists, reads or removes anything else
+ *  in vendoredDir. Apply with `applySkillSync(plan, packagedDir, vendoredDir)`. */
+export function planAgentSync(packagedDir, vendoredDir, fileNames) {
+    const changes = [];
+    let unchangedCount = 0;
+    for (const relPath of [...fileNames].sort()) {
+        const src = join(packagedDir, relPath);
+        if (!existsSync(src))
+            continue;
+        const dest = join(vendoredDir, relPath);
+        if (!existsSync(dest))
+            changes.push({ relPath, kind: "added" });
+        else if (sha256(src) !== sha256(dest))
+            changes.push({ relPath, kind: "modified" });
+        else
+            unchangedCount++;
+    }
+    return { changes, unchangedCount };
+}
 //# sourceMappingURL=skillSync.js.map

package/dist/cli/skillSync.js.map

@@ -1 +1 @@
-{"version":3,"file":"skillSync.js","sourceRoot":"","sources":["../../src/cli/skillSync.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,yFAAyF;AACzF,mFAAmF;AACnF,yFAAyF;AACzF,0FAA0F;AAC1F,0EAA0E;AAC1E,EAAE;AACF,0FAA0F;AAC1F,4FAA4F;AAC5F,uFAAuF;AACvF,2FAA2F;AAC3F,yCAAyC;AACzC,EAAE;AACF,+FAA+F;AAC/F,sFAAsF;AACtF,yDAAyD;AAEzD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAgB7C,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,WAAmB,EAAE,WAAmB;IACpE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAE3E,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,CAAC,UAAU,IAAI,UAAU,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,cAAc,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmB,EAAE,WAAmB,EAAE,WAAmB;IAC1F,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAaD;2DAC2D;AAC3D,MAAM,UAAU,mBAAmB,CACjC,YAAoB,EACpB,YAAoB,EACpB,QAA2B;IAE3B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChC,OAAO;QACP,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;KAC9E,CAAC,CAAC,CAAC;AACN,CAAC;AAED;+CAC+C;AAC/C,MAAM,UAAU,oBAAoB,CAAC,UAAoC,EAAE,YAAoB,EAAE,YAAoB;IACnH,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;QAC3C,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;IACjF,CAAC;AACH,CAAC"}
+{"version":3,"file":"skillSync.js","sourceRoot":"","sources":["../../src/cli/skillSync.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,yFAAyF;AACzF,mFAAmF;AACnF,yFAAyF;AACzF,0FAA0F;AAC1F,0EAA0E;AAC1E,EAAE;AACF,0FAA0F;AAC1F,4FAA4F;AAC5F,uFAAuF;AACvF,2FAA2F;AAC3F,yCAAyC;AACzC,EAAE;AACF,+FAA+F;AAC/F,sFAAsF;AACtF,yDAAyD;AAEzD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAgB7C,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,WAAmB,EAAE,WAAmB;IACpE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAE3E,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,CAAC,UAAU,IAAI,UAAU,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,cAAc,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmB,EAAE,WAAmB,EAAE,WAAmB;IAC1F,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAaD;2DAC2D;AAC3D,MAAM,UAAU,mBAAmB,CACjC,YAAoB,EACpB,YAAoB,EACpB,QAA2B;IAE3B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChC,OAAO;QACP,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;KAC9E,CAAC,CAAC,CAAC;AACN,CAAC;AAED;+CAC+C;AAC/C,MAAM,UAAU,oBAAoB,CAAC,UAAoC,EAAE,YAAoB,EAAE,YAAoB;IACnH,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;QAC3C,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,0FAA0F;AAC1F,kFAAkF;AAElF;;mFAEmF;AACnF,MAAM,UAAU,aAAa,CAAC,WAAmB,EAAE,WAAmB,EAAE,SAA4B;IAClG,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;aAC3D,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;;YAC9E,cAAc,EAAE,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AACrC,CAAC"}

package/dist/cli/sliceNew.d.ts

@@ -1,3 +1,4 @@
+import { GeneratedRegion } from "../catalog/sliceSections.js";
 /** `pattern`'s exact 4-value enum — docs/slice-doc-schema.md's "Canonical keys" table. */
 export declare const SLICE_PATTERNS: readonly ["state-change", "state-view", "automation", "translation"];
 export type SlicePattern = (typeof SLICE_PATTERNS)[number];
@@ -8,14 +9,17 @@ export declare function isSlicePattern(value: string): value is SlicePattern;
  *  pass a pre-slugged key of their own, so the two can never drift apart. */
 export declare function sliceDocKey(displayName: string): string;
 /**
- * Build the full contents of a fresh `slices/<key>.md`. Frontmatter: exactly the 5 keys
- * required at `status: draft`, in the same order templates/slice.md's own frontmatter block
- * uses. Body: the `# Slice: <name>` heading and the diagram-image stub the skill's `slice`
- * phase step 3 fills the actual image in for (`em render ... --slice ... -o
- * slices/<key>.svg`) — every judgment section (Intent, Command, Scenarios, Open Questions,
- * ...) is deliberately left out, staying hand-authored per templates/slice.md.
+ * Build the full contents of a fresh `slices/<key>.md` (MIL-266: the whole template skeleton).
+ * Frontmatter: exactly the 5 keys required at `status: draft`, in the same order
+ * templates/slice.md's own frontmatter block uses. Body: the `# Slice: <name>` heading, the
+ * diagram-image stub, then every template section in template order (`## Delta` excepted — a
+ * version-1 doc has no delta yet). The GENERATED regions (command/event/view field tables, the
+ * Invariants list — catalog/sliceSections.ts) are filled from `regions`: the model's own regions
+ * when `em slice new --wire` compiled one, else the template's placeholder regions, which
+ * `em slice sync` fills once the doc is bound. Authored sections carry the template's
+ * placeholder bullets and stay hand-written.
  */
-export declare function buildSliceDocContent(displayName: string, key: string, pattern: SlicePattern, swimlane: string): string;
+export declare function buildSliceDocContent(displayName: string, key: string, pattern: SlicePattern, swimlane: string, regions?: GeneratedRegion[]): string;
 /**
  * Build the full contents of a fresh, near-free `slices/<key>.md` STUB (MIL-184: `em slice new
  * --stub` / `em slice stub-all`) — the same 5 frontmatter keys `buildSliceDocContent` writes

package/dist/cli/sliceNew.js

@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // `em slice new` (MIL-97 item 3): scaffolds a fresh slices/<key>.md doc's mechanical
-// frontmatter + heading — exactly the 5 keys docs/slice-doc-schema.md's required-vs-optional
+// frontmatter + heading (MIL-266: plus the full template skeleton — see buildSliceDocContent;
+// the paragraph below describes the frontmatter, which is unchanged) — exactly the 5 keys docs/slice-doc-schema.md's required-vs-optional
 // table requires at `status: draft` (schemaVersion/pattern/swimlane/status/version), nothing
 // else — no `implementedIn` (only required once a slice has ever reached `implemented`), no
 // lineage keys (`split-from`/`merged-from`/`superseded-by` only apply to a split/merge/rename
@@ -13,6 +14,7 @@
 // the printed `note` reminder, same split as sliceIndex.ts (buildSliceIndexTable vs
 // runSliceIndex/CLI wiring).
 import { kebabSlug } from "../util/slug.js";
+import { INVARIANTS_ELABORATE_COMMENT, placeholderRegions, regionEndLine, regionStartLine, } from "../catalog/sliceSections.js";
 /** `pattern`'s exact 4-value enum — docs/slice-doc-schema.md's "Canonical keys" table. */
 export const SLICE_PATTERNS = ["state-change", "state-view", "automation", "translation"];
 export function isSlicePattern(value) {
@@ -31,24 +33,95 @@ export function sliceDocKey(displayName) {
     return kebabSlug(displayName);
 }
 /**
- * Build the full contents of a fresh `slices/<key>.md`. Frontmatter: exactly the 5 keys
- * required at `status: draft`, in the same order templates/slice.md's own frontmatter block
- * uses. Body: the `# Slice: <name>` heading and the diagram-image stub the skill's `slice`
- * phase step 3 fills the actual image in for (`em render ... --slice ... -o
- * slices/<key>.svg`) — every judgment section (Intent, Command, Scenarios, Open Questions,
- * ...) is deliberately left out, staying hand-authored per templates/slice.md.
+ * Build the full contents of a fresh `slices/<key>.md` (MIL-266: the whole template skeleton).
+ * Frontmatter: exactly the 5 keys required at `status: draft`, in the same order
+ * templates/slice.md's own frontmatter block uses. Body: the `# Slice: <name>` heading, the
+ * diagram-image stub, then every template section in template order (`## Delta` excepted — a
+ * version-1 doc has no delta yet). The GENERATED regions (command/event/view field tables, the
+ * Invariants list — catalog/sliceSections.ts) are filled from `regions`: the model's own regions
+ * when `em slice new --wire` compiled one, else the template's placeholder regions, which
+ * `em slice sync` fills once the doc is bound. Authored sections carry the template's
+ * placeholder bullets and stay hand-written.
  */
-export function buildSliceDocContent(displayName, key, pattern, swimlane) {
-    return (`---\n` +
-        `schemaVersion: ${SCHEMA_VERSION}\n` +
-        `pattern: ${pattern}\n` +
-        `swimlane: ${swimlane}\n` +
-        `status: draft\n` +
-        `version: 1\n` +
-        `---\n` +
-        `# Slice: ${displayName}\n` +
-        `\n` +
-        `![Diagram](./${key}.svg)\n`);
+export function buildSliceDocContent(displayName, key, pattern, swimlane, regions = placeholderRegions()) {
+    const block = (kind) => {
+        const out = [];
+        for (const r of regions) {
+            if (r.kind !== kind)
+                continue;
+            out.push(regionStartLine(r.name), ...r.body, regionEndLine(r.name));
+        }
+        return out;
+    };
+    const lines = [
+        `---`,
+        `schemaVersion: ${SCHEMA_VERSION}`,
+        `pattern: ${pattern}`,
+        `swimlane: ${swimlane}`,
+        `status: draft`,
+        `version: 1`,
+        `---`,
+        `# Slice: ${displayName}`,
+        ``,
+        `![Diagram](./${key}.svg)`,
+        ``,
+        `## Intent`,
+        `{{Why this slice exists — the user or business goal it serves, in one or two sentences. Note the`,
+        `originating ticket/conversation link here if one exists.}}`,
+        ``,
+        `## Trigger & Actor`,
+        `{{Who or what initiates this slice and under what circumstances. For automations, the watched`,
+        `read model and the triggering condition. For translations, state the trigger form: externally`,
+        `triggered (the external system/source feeding us) or internally triggered (the read model whose`,
+        `state we react to). Either way, name the command this reaction triggers — reactions never record`,
+        `an event directly.}}`,
+        ``,
+        `## Command / Input`,
+        ...block("command"),
+        ``,
+        `## Trigger`,
+        "**Triggered by:** {{screen `X` @Persona | processor `Y`, also in this slice}}",
+        ``,
+        `## Event(s) Emitted`,
+        ...block("event"),
+        `**Read by:** {{which read model projects this event, and in which slice}}`,
+        ``,
+        `## Read Model / View`,
+        ...block("view"),
+        `- **Consumed by:** {{which UI screen (or API-caller persona), or reaction}}`,
+        `- **Freshness / consistency expectation:** {{real-time | eventual | on-demand}}`,
+        ``,
+        `## Invariants / Business Rules`,
+        ...block("invariants"),
+        INVARIANTS_ELABORATE_COMMENT,
+        ``,
+        `## Scenarios (Given / When / Then)`,
+        `### Scenario: Happy path`,
+        `- **Given:**`,
+        `  - {{starting state / prior events}}`,
+        `- **When:**`,
+        `  - {{command/trigger}}`,
+        `- **Then:**`,
+        `  - {{event(s) recorded}}`,
+        `  - {{resulting read-model change}}`,
+        ``,
+        `## Alternate & Error Flows`,
+        `- {{e.g. external call fails → retry policy / compensating event}}`,
+        `- {{idempotency: what happens if the command/event arrives twice?}}`,
+        ``,
+        `## Non-Functional Requirements`,
+        `- **Security / authz:** {{who may invoke this; role/permission checks — or "none"}}`,
+        `- **PII & compliance:** {{personal data touched, retention/consent constraints — or "none"}}`,
+        `- **Performance / SLA:** {{latency/throughput expectation — or "none"}}`,
+        ``,
+        `## Dependencies & Read Models Affected`,
+        `- **Upstream events this slice relies on:** {{...}}`,
+        `- **Downstream read models / slices affected:** {{...}}`,
+        ``,
+        `## Open Questions`,
+        `- [ ] {{question}}`,
+    ];
+    return lines.join("\n") + "\n";
 }
 /**
  * Build the full contents of a fresh, near-free `slices/<key>.md` STUB (MIL-184: `em slice new

package/dist/cli/sliceNew.js.map

@@ -1 +1 @@
-{"version":3,"file":"sliceNew.js","sourceRoot":"","sources":["../../src/cli/sliceNew.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,qFAAqF;AACrF,6FAA6F;AAC7F,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,+FAA+F;AAC/F,8FAA8F;AAC9F,+FAA+F;AAC/F,6FAA6F;AAC7F,EAAE;AACF,8FAA8F;AAC9F,oFAAoF;AACpF,6BAA6B;AAE7B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,0FAA0F;AAC1F,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,CAAU,CAAC;AAGnG,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAQ,cAAoC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB;;;6EAG6E;AAC7E,MAAM,UAAU,WAAW,CAAC,WAAmB;IAC7C,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAmB,EAAE,GAAW,EAAE,OAAqB,EAAE,QAAgB;IAC5G,OAAO,CACL,OAAO;QACP,kBAAkB,cAAc,IAAI;QACpC,YAAY,OAAO,IAAI;QACvB,aAAa,QAAQ,IAAI;QACzB,iBAAiB;QACjB,cAAc;QACd,OAAO;QACP,YAAY,WAAW,IAAI;QAC3B,IAAI;QACJ,gBAAgB,GAAG,SAAS,CAC7B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB,EAAE,OAAqB,EAAE,QAAgB;IAC9F,OAAO,CACL,OAAO;QACP,kBAAkB,cAAc,IAAI;QACpC,YAAY,OAAO,IAAI;QACvB,aAAa,QAAQ,IAAI;QACzB,iBAAiB;QACjB,cAAc;QACd,OAAO;QACP,YAAY,WAAW,IAAI;QAC3B,IAAI;QACJ,mEAAmE,CACpE,CAAC;AACJ,CAAC"}
+{"version":3,"file":"sliceNew.js","sourceRoot":"","sources":["../../src/cli/sliceNew.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,qFAAqF;AACrF,8FAA8F;AAC9F,0IAA0I;AAC1I,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,+FAA+F;AAC/F,8FAA8F;AAC9F,+FAA+F;AAC/F,6FAA6F;AAC7F,EAAE;AACF,8FAA8F;AAC9F,oFAAoF;AACpF,6BAA6B;AAE7B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAEL,4BAA4B,EAC5B,kBAAkB,EAClB,aAAa,EAEb,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,0FAA0F;AAC1F,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,CAAU,CAAC;AAGnG,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAQ,cAAoC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB;;;6EAG6E;AAC7E,MAAM,UAAU,WAAW,CAAC,WAAmB;IAC7C,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAmB,EACnB,GAAW,EACX,OAAqB,EACrB,QAAgB,EAChB,UAA6B,kBAAkB,EAAE;IAEjD,MAAM,KAAK,GAAG,CAAC,IAAgB,EAAY,EAAE;QAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YAC9B,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,KAAK;QACL,kBAAkB,cAAc,EAAE;QAClC,YAAY,OAAO,EAAE;QACrB,aAAa,QAAQ,EAAE;QACvB,eAAe;QACf,YAAY;QACZ,KAAK;QACL,YAAY,WAAW,EAAE;QACzB,EAAE;QACF,gBAAgB,GAAG,OAAO;QAC1B,EAAE;QACF,WAAW;QACX,kGAAkG;QAClG,4DAA4D;QAC5D,EAAE;QACF,oBAAoB;QACpB,+FAA+F;QAC/F,+FAA+F;QAC/F,iGAAiG;QACjG,kGAAkG;QAClG,sBAAsB;QACtB,EAAE;QACF,oBAAoB;QACpB,GAAG,KAAK,CAAC,SAAS,CAAC;QACnB,EAAE;QACF,YAAY;QACZ,+EAA+E;QAC/E,EAAE;QACF,qBAAqB;QACrB,GAAG,KAAK,CAAC,OAAO,CAAC;QACjB,2EAA2E;QAC3E,EAAE;QACF,sBAAsB;QACtB,GAAG,KAAK,CAAC,MAAM,CAAC;QAChB,6EAA6E;QAC7E,iFAAiF;QACjF,EAAE;QACF,gCAAgC;QAChC,GAAG,KAAK,CAAC,YAAY,CAAC;QACtB,4BAA4B;QAC5B,EAAE;QACF,oCAAoC;QACpC,0BAA0B;QAC1B,cAAc;QACd,uCAAuC;QACvC,aAAa;QACb,yBAAyB;QACzB,aAAa;QACb,2BAA2B;QAC3B,qCAAqC;QACrC,EAAE;QACF,4BAA4B;QAC5B,oEAAoE;QACpE,qEAAqE;QACrE,EAAE;QACF,gCAAgC;QAChC,qFAAqF;QACrF,8FAA8F;QAC9F,yEAAyE;QACzE,EAAE;QACF,wCAAwC;QACxC,qDAAqD;QACrD,yDAAyD;QACzD,EAAE;QACF,mBAAmB;QACnB,oBAAoB;KACrB,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB,EAAE,OAAqB,EAAE,QAAgB;IAC9F,OAAO,CACL,OAAO;QACP,kBAAkB,cAAc,IAAI;QACpC,YAAY,OAAO,IAAI;QACvB,aAAa,QAAQ,IAAI;QACzB,iBAAiB;QACjB,cAAc;QACd,OAAO;QACP,YAAY,WAAW,IAAI;QAC3B,IAAI;QACJ,mEAAmE,CACpE,CAAC;AACJ,CAAC"}

package/dist/cli/sliceSync.d.ts

@@ -0,0 +1,50 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { GeneratedRegion } from "../catalog/sliceSections.js";
+export declare const SLICE_SYNC_SCHEMA_VERSION = "1.0";
+export type RegionSyncStatus = "ok" | "stale" | "synced" | "missing" | "orphan";
+export type DocSyncStatus = "ok" | "stale" | "synced" | "no-regions" | "malformed";
+export interface RegionSyncEntry {
+    name: string;
+    status: RegionSyncStatus;
+}
+export interface DocTextSync {
+    status: Exclude<DocSyncStatus, "synced">;
+    regions: RegionSyncEntry[];
+    /** Marker-balance problems (status `malformed`). */
+    problems: string[];
+    /** The doc text with every expected, present region regenerated — equal to the input when
+     *  nothing is stale or the doc is malformed / has no regions. */
+    next: string;
+}
+/** Regenerate `raw`'s regions against `expected`. Pure. Statuses are check-mode (`stale`, never
+ *  `synced`); the runner relabels after writing. */
+export declare function syncDocText(raw: string, expected: GeneratedRegion[]): DocTextSync;
+export interface DocSyncResult {
+    key: string;
+    path: string;
+    status: DocSyncStatus;
+    regions: RegionSyncEntry[];
+    problems: string[];
+}
+export type SliceSyncOutcome = {
+    ok: true;
+    docs: DocSyncResult[];
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * Sync every bound doc of `model` (or only the doc `sliceKey` resolves to). `check` never
+ * writes. `baseDir` is the `.em` file's directory (doc paths are relative to it).
+ */
+export declare function runSliceSync(model: NormalizedModel, refs: RefsResult, baseDir: string, sliceKey: string | undefined, check: boolean): SliceSyncOutcome;
+/** `em slice sync … --json` (and the MCP `slice_sync` tool, check mode only). */
+export declare function buildSliceSyncJson(file: string, docs: DocSyncResult[]): string;
+/** The exit-1 condition shared by the CLI: a malformed doc always, a stale doc under --check. */
+export declare function sliceSyncFailed(docs: DocSyncResult[], check: boolean): boolean;
+/** Text-mode report: `{ out, err }` lines (status lines on stdout, notes and problems on stderr). */
+export declare function formatSliceSync(docs: DocSyncResult[], check: boolean): {
+    out: string[];
+    err: string[];
+};

package/dist/cli/sliceSync.js

@@ -0,0 +1,170 @@
+// SPDX-License-Identifier: MIT
+// `em slice sync <model> [<key>] [--check] [--json]` (MIL-266): regenerate the GENERATED regions
+// of existing slice docs in place from the model — the command/event/view field tables and the
+// Invariants list catalog/sliceSections.ts defines — so a model edit never leaves a doc's tables
+// quietly wrong. Authored bytes are never touched: only the text strictly between a region's two
+// marker lines is replaced, edits are spliced in by offset (never parse-and-reserialize), and the
+// doc's own line ending (LF or CRLF) is used for every generated line.
+//
+// Region set per doc: catalog/sliceSections.ts `buildSliceRegions` over every slice whose doc join
+// (catalog/docJoin.ts `resolveSliceDocJoin` — the same binding `em export` uses) resolves to that
+// doc: its own slice, plus any MIL-121 cross-covered slice or MIL-208 continuation.
+//   - a region the doc has and the model expects  → regenerated (`ok` when already current,
+//     `stale` under --check, `synced` once rewritten);
+//   - a region the doc has and the model doesn't  → `orphan`, left untouched, a `note:`;
+//   - a region the model expects and the doc lacks → `missing`, NOT inserted (that would be an
+//     edit outside the markers), a `note:`;
+//   - a doc with no `em-slice-*` marker at all     → `no-regions`, skipped with a note (a 1.13
+//     doc stays exactly as written until someone adopts regions);
+//   - unbalanced markers                            → `malformed`, nothing in that doc is
+//     rewritten, exit 1.
+// `--check` never writes; it exits 1 when any doc is stale (or malformed).
+//
+// Pure core (`syncDocText`) + fs-aware runner (`runSliceSync`); the CLI and the MCP `slice_sync`
+// tool (check-only) share `buildSliceSyncJson`.
+import { readFileSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { resolveSliceDocJoin } from "../catalog/docJoin.js";
+import { buildSliceRegions, scanSliceRegions } from "../catalog/sliceSections.js";
+import { GENERATOR_NAME, GENERATOR_VERSION } from "../emit/json.js";
+// 1.0 (MIL-266): initial shape.
+export const SLICE_SYNC_SCHEMA_VERSION = "1.0";
+/** Regenerate `raw`'s regions against `expected`. Pure. Statuses are check-mode (`stale`, never
+ *  `synced`); the runner relabels after writing. */
+export function syncDocText(raw, expected) {
+    const scan = scanSliceRegions(raw);
+    if (scan.problems.length > 0)
+        return { status: "malformed", regions: [], problems: scan.problems, next: raw };
+    if (scan.regions.length === 0)
+        return { status: "no-regions", regions: [], problems: [], next: raw };
+    const eol = raw.includes("\r\n") ? "\r\n" : "\n";
+    const byName = new Map(expected.map((r) => [r.name, r]));
+    const present = new Set(scan.regions.map((r) => r.name));
+    const regions = [];
+    const edits = [];
+    for (const span of scan.regions) {
+        const want = byName.get(span.name);
+        if (!want) {
+            regions.push({ name: span.name, status: "orphan" });
+            continue;
+        }
+        const inner = eol + want.body.join(eol) + eol;
+        if (raw.slice(span.innerStart, span.innerEnd) === inner) {
+            regions.push({ name: span.name, status: "ok" });
+        }
+        else {
+            regions.push({ name: span.name, status: "stale" });
+            edits.push({ start: span.innerStart, end: span.innerEnd, text: inner });
+        }
+    }
+    for (const r of expected)
+        if (!present.has(r.name))
+            regions.push({ name: r.name, status: "missing" });
+    let next = raw;
+    for (const e of [...edits].sort((a, b) => b.start - a.start))
+        next = next.slice(0, e.start) + e.text + next.slice(e.end);
+    return { status: edits.length > 0 ? "stale" : "ok", regions, problems: [], next };
+}
+/**
+ * Sync every bound doc of `model` (or only the doc `sliceKey` resolves to). `check` never
+ * writes. `baseDir` is the `.em` file's directory (doc paths are relative to it).
+ */
+export function runSliceSync(model, refs, baseDir, sliceKey, check) {
+    const groups = new Map();
+    const refOf = (id) => refs.refById.get(id);
+    model.slices.forEach((slice, i) => {
+        const { doc } = resolveSliceDocJoin(model, refs, slice, refs.sliceKeys[i], baseDir, refOf);
+        if (!doc.found || doc.reason !== null)
+            return;
+        const list = groups.get(doc.path);
+        if (list)
+            list.push(i);
+        else
+            groups.set(doc.path, [i]);
+    });
+    let only = null;
+    if (sliceKey !== undefined) {
+        const idx = refs.sliceKeys.indexOf(sliceKey);
+        if (idx === -1)
+            return { ok: false, message: `no slice with export key "${sliceKey}" in this model` };
+        const { doc } = resolveSliceDocJoin(model, refs, model.slices[idx], sliceKey, baseDir, refOf);
+        if (doc.reason === "no-doc-bound") {
+            return { ok: false, message: `slice "${sliceKey}" has no doc bound via \`note "slices/${sliceKey}.md"\` — nothing to sync` };
+        }
+        if (doc.reason === "binding-missing-file")
+            return { ok: false, message: `slice "${sliceKey}"'s bound doc ${doc.path} does not exist` };
+        if (doc.reason === "frontmatter-invalid") {
+            return { ok: false, message: `slice "${sliceKey}"'s doc ${doc.path} has unusable frontmatter — run em validate and fix it first` };
+        }
+        only = doc.path;
+    }
+    const docs = [];
+    for (const [path, indices] of groups) {
+        if (only !== null && path !== only)
+            continue;
+        const docKey = path.replace(/^slices\//, "").replace(/\.md$/, "");
+        const ownerIdx = indices.find((i) => refs.sliceKeys[i] === docKey) ?? Math.min(...indices);
+        const abs = join(baseDir, path);
+        const raw = readFileSync(abs, "utf8");
+        const result = syncDocText(raw, buildSliceRegions(model, indices));
+        let status = result.status;
+        let regions = result.regions;
+        if (!check && result.status === "stale") {
+            writeFileSync(abs, result.next);
+            status = "synced";
+            regions = regions.map((r) => (r.status === "stale" ? { name: r.name, status: "synced" } : r));
+        }
+        docs.push({ key: refs.sliceKeys[ownerIdx], path, status, regions, problems: result.problems });
+    }
+    return { ok: true, docs };
+}
+/** `em slice sync … --json` (and the MCP `slice_sync` tool, check mode only). */
+export function buildSliceSyncJson(file, docs) {
+    return JSON.stringify({
+        sliceSyncSchemaVersion: SLICE_SYNC_SCHEMA_VERSION,
+        generator: { name: GENERATOR_NAME, version: GENERATOR_VERSION },
+        file,
+        docs: docs.map((d) => ({ key: d.key, path: d.path, status: d.status, regions: d.regions })),
+    }, null, 2);
+}
+/** The exit-1 condition shared by the CLI: a malformed doc always, a stale doc under --check. */
+export function sliceSyncFailed(docs, check) {
+    return docs.some((d) => d.status === "malformed" || (check && d.status === "stale"));
+}
+/** Text-mode report: `{ out, err }` lines (status lines on stdout, notes and problems on stderr). */
+export function formatSliceSync(docs, check) {
+    const out = [];
+    const err = [];
+    for (const d of docs) {
+        const changed = d.regions.filter((r) => r.status === "stale" || r.status === "synced").map((r) => r.name);
+        switch (d.status) {
+            case "ok":
+                out.push(`ok: ${d.path}`);
+                break;
+            case "stale":
+                out.push(`stale: ${d.path} (${changed.join(", ")})`);
+                break;
+            case "synced":
+                out.push(`synced: ${d.path} (${changed.join(", ")})`);
+                break;
+            case "no-regions":
+                if (check)
+                    out.push(`no-regions: ${d.path}`);
+                else
+                    err.push(`note: ${d.path} has no generated regions — re-create with em slice new --force to adopt them`);
+                break;
+            case "malformed":
+                err.push(`malformed: ${d.path} (${d.problems.join("; ")}) — nothing in it was rewritten`);
+                break;
+        }
+        for (const r of d.regions) {
+            if (r.status === "orphan")
+                err.push(`note: ${d.path}: region "${r.name}" matches nothing in the model — left untouched`);
+            if (r.status === "missing") {
+                err.push(`note: ${d.path}: the model expects region "${r.name}", which the doc lacks — add its marker pair, or re-create with em slice new --force`);
+            }
+        }
+    }
+    return { out, err };
+}
+//# sourceMappingURL=sliceSync.js.map

package/dist/cli/sliceSync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sliceSync.js","sourceRoot":"","sources":["../../src/cli/sliceSync.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,iGAAiG;AACjG,+FAA+F;AAC/F,iGAAiG;AACjG,iGAAiG;AACjG,kGAAkG;AAClG,uEAAuE;AACvE,EAAE;AACF,mGAAmG;AACnG,kGAAkG;AAClG,oFAAoF;AACpF,4FAA4F;AAC5F,uDAAuD;AACvD,yFAAyF;AACzF,+FAA+F;AAC/F,4CAA4C;AAC5C,+FAA+F;AAC/F,kEAAkE;AAClE,0FAA0F;AAC1F,yBAAyB;AACzB,2EAA2E;AAC3E,EAAE;AACF,iGAAiG;AACjG,gDAAgD;AAEhD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAmB,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACnG,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpE,gCAAgC;AAChC,MAAM,CAAC,MAAM,yBAAyB,GAAG,KAAK,CAAC;AAoB/C;oDACoD;AACpD,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,QAA2B;IAClE,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC9G,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAErG,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAwD,EAAE,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QAC9C,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAEtG,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACzH,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACpF,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAsB,EACtB,IAAgB,EAChB,OAAe,EACf,QAA4B,EAC5B,KAAc;IAEd,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;IACpD,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3F,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAClB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6BAA6B,QAAQ,iBAAiB,EAAE,CAAC;QACtG,MAAM,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC9F,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAClC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,QAAQ,yCAAyC,QAAQ,0BAA0B,EAAE,CAAC;QAC/H,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,QAAQ,iBAAiB,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;QACvI,IAAI,GAAG,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;YACzC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,QAAQ,WAAW,GAAG,CAAC,IAAI,8DAA8D,EAAE,CAAC;QACrI,CAAC;QACD,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC3F,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACnE,IAAI,MAAM,GAAkB,MAAM,CAAC,MAAM,CAAC;QAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YACxC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,GAAG,QAAQ,CAAC;YAClB,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzG,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,IAAqB;IACpE,OAAO,IAAI,CAAC,SAAS,CACnB;QACE,sBAAsB,EAAE,yBAAyB;QACjD,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,EAAE;QAC/D,IAAI;QACJ,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;KAC5F,EACD,IAAI,EACJ,CAAC,CACF,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,eAAe,CAAC,IAAqB,EAAE,KAAc;IACnE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,eAAe,CAAC,IAAqB,EAAE,KAAc;IACnE,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1G,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;YACjB,KAAK,IAAI;gBACP,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,OAAO;gBACV,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrD,MAAM;YACR,KAAK,QAAQ;gBACX,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtD,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;;oBACxC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,+EAA+E,CAAC,CAAC;gBAC9G,MAAM;YACR,KAAK,WAAW;gBACd,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;gBAC1F,MAAM;QACV,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,IAAI,iDAAiD,CAAC,CAAC;YACzH,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC3B,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,+BAA+B,CAAC,CAAC,IAAI,sFAAsF,CAAC,CAAC;YACvJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACtB,CAAC"}

package/dist/cli/status.d.ts

@@ -54,6 +54,11 @@ export interface SliceStatusFact {
      *  fact already counts that status/drift once) and tallies it in `StatusReport.continuations`
      *  instead. */
     continuationOf: string | null;
+    /** MIL-238: the slice owns at least one `public` command/event/view (catalog/apiFirst.ts). */
+    publicTouching: boolean;
+    /** MIL-238: the bound doc records an API-first meaning confirmation — `meaningConfirmed: true`
+     *  or a `contractChange:` reason. False when neither (or no doc). */
+    meaningConfirmationRecorded: boolean;
 }
 export interface SliceStatusFactsResult {
     facts: SliceStatusFact[];
@@ -342,11 +347,29 @@ export interface StatusReport {
     /** MIL-171: per-slice owner facts, one entry per slice across every input file — see
      *  `StatusOwnerEntry`. */
     owners: StatusOwnerEntry[];
+    /** MIL-239 (R11): the nearest `system.yaml` above the first input file and how many of its
+     *  `consumes` bindings failed the consumer-adaptation check; `null` when no manifest was found
+     *  (or it could not be loaded). `manifest` is the path as reached from the first input. */
+    system: {
+        manifest: string;
+        consumerNotAdapted: number;
+    } | null;
+    /** MIL-238: count of public-touching slices (owning a `public` command/event/view) at
+     *  `ready-to-implement` or `implemented` whose doc records neither `meaningConfirmed: true` nor
+     *  a `contractChange:` — ratified before the API-first gate, or hand-edited. Continuations are
+     *  skipped (the originating slice's own fact counts its doc once). */
+    publicSlicesUnconfirmed: number;
+    /** MIL-268: open engagements (`engagements/<slug>.md` with `status: open`) beside the input
+     *  models — one scan per distinct model directory, slugs sorted. */
+    engagements: {
+        open: number;
+        slugs: string[];
+    };
 }
 /** Aggregate everything `em status` reports into one `StatusReport` — pure, no I/O. Callers
  *  (the CLI action, the MCP tool) resolve every input first (compile each model, join every
  *  slice's doc, scan the test tree once, resolve conformance) and hand the results here. */
-export declare function buildStatusReport(files: string[], sliceFacts: SliceStatusFact[], openIssuesCount: number, invariants: StatusInvariantTotals | null, conformance: ConformanceEntry[], diagnostics: StatusDiagnostic[], modelVersion?: ModelVersionStatusEntry[], emVersion?: EmVersionStatusEntry[]): StatusReport;
+export declare function buildStatusReport(files: string[], sliceFacts: SliceStatusFact[], openIssuesCount: number, invariants: StatusInvariantTotals | null, conformance: ConformanceEntry[], diagnostics: StatusDiagnostic[], modelVersion?: ModelVersionStatusEntry[], emVersion?: EmVersionStatusEntry[], system?: StatusReport["system"], engagements?: StatusReport["engagements"]): StatusReport;
 /** Sum per-model `CoverageReport`s (see `./coverage.ts`) into one `StatusInvariantTotals` —
  *  `em status` doesn't need the per-slice/per-ID detail `em coverage --json` carries, just the
  *  totals, across however many models `--tests <dir>` was scanned against. */

package/dist/cli/status.js

@@ -31,6 +31,7 @@ import { changedPathsSince, buildConformScope } from "./conformScope.js";
 import { lookupFindingsBesideReport, unruledFindingsInScope } from "./findings.js";
 import { findCertifiedVersion, latestModelVersionNumber, modelVersionDrift } from "./modelVersion.js";
 import { isOlder } from "../util/semver.js";
+import { slicePublicTouching } from "../catalog/apiFirst.js";
 /** The 4 canonical slice-doc lifecycle statuses (docs/slice-doc-schema.md) — the same enum
  *  `em catalog`'s header coloring and `em render`'s status legend already recognize. */
 export const CANONICAL_STATUSES = ["draft", "reviewed", "ready-to-implement", "implemented"];
@@ -83,6 +84,8 @@ export function resolveSliceStatusFacts(file, model, refs, baseDir) {
             openQuestionsTotal,
             openQuestionsUnchecked,
             continuationOf: continuationOfKey,
+            publicTouching: slicePublicTouching(slice),
+            meaningConfirmationRecorded: doc.meaningConfirmed || doc.contractChange !== null,
         };
     });
     return { facts, diagnostics };
@@ -307,7 +310,7 @@ export function resolveEmVersionStatusEntry(file, installedVersion) {
 /** Aggregate everything `em status` reports into one `StatusReport` — pure, no I/O. Callers
  *  (the CLI action, the MCP tool) resolve every input first (compile each model, join every
  *  slice's doc, scan the test tree once, resolve conformance) and hand the results here. */
-export function buildStatusReport(files, sliceFacts, openIssuesCount, invariants, conformance, diagnostics, modelVersion = [], emVersion = []) {
+export function buildStatusReport(files, sliceFacts, openIssuesCount, invariants, conformance, diagnostics, modelVersion = [], emVersion = [], system = null, engagements = { open: 0, slugs: [] }) {
     const byStatus = { draft: 0, reviewed: 0, readyToImplement: 0, implemented: 0, noDoc: 0, frontmatterInvalid: 0, unknown: 0 };
     const drift = {
         inSync: 0,
@@ -327,6 +330,7 @@ export function buildStatusReport(files, sliceFacts, openIssuesCount, invariants
     // relative path string without actually being the same file).
     const countedDocPaths = new Set();
     let continuations = 0;
+    let publicSlicesUnconfirmed = 0;
     for (const f of sliceFacts) {
         // MIL-208: a continuation slice has no status/drift of its own — the originating slice's
         // own fact (elsewhere in `sliceFacts`) already counts that status/drift once. Tally it
@@ -382,6 +386,11 @@ export function buildStatusReport(files, sliceFacts, openIssuesCount, invariants
                     drift.notApplicable++;
                 break;
         }
+        if (f.publicTouching &&
+            (f.bucket === "ready-to-implement" || f.bucket === "implemented") &&
+            !f.meaningConfirmationRecorded) {
+            publicSlicesUnconfirmed++;
+        }
         const alreadyCounted = f.docPath !== null && countedDocPaths.has(f.docPath);
         if (f.docPath !== null)
             countedDocPaths.add(f.docPath);
@@ -402,6 +411,9 @@ export function buildStatusReport(files, sliceFacts, openIssuesCount, invariants
         emVersion,
         diagnostics,
         owners: sliceFacts.map((f) => ({ file: f.file, key: f.key, owner: f.owner })),
+        system,
+        publicSlicesUnconfirmed,
+        engagements,
     };
 }
 /** Sum per-model `CoverageReport`s (see `./coverage.ts`) into one `StatusInvariantTotals` —
@@ -535,6 +547,9 @@ export function formatStatusDetail(report) {
         : "invariants: not checked — pass --tests <dir> to enable");
     lines.push(`issues: ${pluralize(report.issues.openIssues, "open issue")}, ` +
         `${report.issues.openQuestionsUnchecked}/${report.issues.openQuestionsTotal} open question(s) unchecked`);
+    // MIL-238: the API-first gate's backlog — ratified/shipped public-touching slices with no
+    // recorded meaning confirmation.
+    lines.push(`public-touching slices without a meaning confirmation: ${report.publicSlicesUnconfirmed}`);
     const multi = report.conformance.length > 1;
     for (const entry of report.conformance) {
         const label = multi ? `conformance (${entry.file}): ` : "conformance: ";
@@ -560,6 +575,10 @@ export function formatStatusDetail(report) {
         const label = multiEmVersion ? `em version (${entry.file}): ` : "em version: ";
         lines.push(`${label}${formatEmVersionPart(entry)}`);
     }
+    // MIL-268: the open engagements line (always present; slugs only when there are any).
+    lines.push(`open engagements: ${report.engagements.open}${report.engagements.open > 0 ? ` (${report.engagements.slugs.join(", ")})` : ""}`);
+    if (report.system)
+        lines.push(`consumer adaptation: ${report.system.consumerNotAdapted} not adapted (${report.system.manifest})`);
     if (report.diagnostics.length > 0) {
         lines.push(`doc issues: ${pluralize(report.diagnostics.length, "warning")} — see diagnostics (${report.diagnostics.map((d) => d.code).join(", ")})`);
     }