@wairon/cli 5.1.1-dev.35 → 5.1.1-dev.37

package/dist/index.js

@@ -1113,7 +1113,7 @@ var init_defaults = __esm({
       copilot: ".github/prompts",
       codex: ".codex/agents"
     };
-    WAIRON_VERSION = "5.1.1-dev.35";
+    WAIRON_VERSION = "5.1.1-dev.37";
     GITHUB_REPO = "SYW-Apps/Waffle-AIron";
     ARCHITECT_AGENT_ID = "agent-architect";
     ARCHITECT_TEMPLATE_ID = "architect";
@@ -2530,13 +2530,34 @@ var init_step_graph = __esm({
 });
 
 // src/models/step-config.ts
+function stepFieldsFor(type) {
+  const own = STEP_TYPE_FIELDS[type] ?? [];
+  const allowed = /* @__PURE__ */ new Set([...STEP_COMMON_FIELDS, ...own]);
+  for (const field of own) {
+    const twin = STEP_LABEL_TWINS[field];
+    if (twin) allowed.add(twin);
+  }
+  return allowed;
+}
+function isSet(step, field) {
+  const v = step[field];
+  if (v === void 0 || v === null) return false;
+  if (Array.isArray(v) && v.length === 0) return false;
+  return true;
+}
 function flowConfigOn(step) {
-  return FLOW_FIELDS.filter((f) => {
-    const v = step[f];
-    if (v === void 0) return false;
-    if (Array.isArray(v) && v.length === 0) return false;
-    return true;
-  });
+  return FLOW_FIELDS.filter((f) => isSet(step, f));
+}
+function narrativeStepForeignFields(step) {
+  const type = step.type;
+  if (!Object.prototype.hasOwnProperty.call(STEP_TYPE_FIELDS, type)) return [];
+  const allowed = stepFieldsFor(type);
+  return Object.keys(step).filter((f) => !allowed.has(f) && isSet(step, f));
+}
+function listFields(fields) {
+  const quoted = fields.map((f) => `"${f}"`);
+  if (quoted.length === 1) return quoted[0];
+  return `${quoted.slice(0, -1).join(", ")} and ${quoted[quoted.length - 1]}`;
 }
 function stepConfigVerdict(method) {
   const steps = method.narrative ?? [];
@@ -2573,8 +2594,10 @@ function stepConfigVerdict(method) {
     return i !== void 0 && i + 1 < nums.length ? nums[i + 1] : void 0;
   };
   for (const s of steps) {
+    const alreadyNamed = /* @__PURE__ */ new Set();
     if (s.detach && s.type !== "call" && s.type !== "dispatch") {
       malformed(s.stepNumber, `step ${s.stepNumber} (${s.type}) carries "detach" \u2014 fire-and-forget applies to call/dispatch steps only.`);
+      alreadyNamed.add("detach");
     }
     switch (s.type) {
       case "local":
@@ -2582,7 +2605,10 @@ function stepConfigVerdict(method) {
       case "register":
       case "dispatch": {
         const extra = flowConfigOn(s);
-        if (extra.length) malformed(s.stepNumber, `step ${s.stepNumber} (${s.type}) carries flow config (${extra.join(", ")}) \u2014 use a flow step type instead.`);
+        if (extra.length) {
+          malformed(s.stepNumber, `step ${s.stepNumber} (${s.type}) carries flow config (${extra.join(", ")}) \u2014 use a flow step type instead.`);
+          for (const f of extra) alreadyNamed.add(f);
+        }
         break;
       }
       case "branch":
@@ -2625,6 +2651,14 @@ function stepConfigVerdict(method) {
         if (s.toStep === void 0) malformed(s.stepNumber, `jump step ${s.stepNumber} requires "toStep".`);
         break;
     }
+    const foreign = narrativeStepForeignFields(s).filter((f) => !alreadyNamed.has(f));
+    if (foreign.length) {
+      problems.push({
+        stepNumber: s.stepNumber,
+        code: "FOREIGN_STEP_FIELD",
+        detail: `step ${s.stepNumber} (${s.type}) carries ${listFields(foreign)}, which a ${s.type} step cannot \u2014 left over from an edit that changed the step's type, configuring nothing. \`wairon doctor --fix\` drops them; give the step the type that carries them instead if that is what it does.`
+      });
+    }
     for (const [field, target] of jumpFieldsOf(s)) {
       if (byNum.has(target)) continue;
       sound = false;
@@ -2650,24 +2684,43 @@ function jumpFieldsOf(s) {
   (s.branches ?? []).forEach((b, i) => fields.push([`branches[${i}].step`, b.step]));
   return fields;
 }
-var FLOW_FIELDS;
+var STEP_TYPE_FIELDS, STEP_COMMON_FIELDS, STEP_LABEL_TWINS, FLOW_STEP_TYPES, FLOW_FIELDS;
 var init_step_config = __esm({
   "src/models/step-config.ts"() {
     "use strict";
+    STEP_TYPE_FIELDS = {
+      local: [],
+      call: ["targetComponent", "targetMethod", "auth", "detach"],
+      register: ["targetComponent", "targetMethod"],
+      dispatch: ["targetComponent", "capability", "auth", "detach"],
+      branch: ["condition", "onTrueStep", "onFalseStep"],
+      switch: ["on", "cases", "defaultStep"],
+      loop: ["loopKind", "over", "condition", "endStep"],
+      try: ["endStep", "catches", "finallyStep"],
+      parallel: ["endStep", "branches"],
+      jump: ["toStep"],
+      return: ["outcome"],
+      throw: ["error"]
+    };
+    STEP_COMMON_FIELDS = [
+      "stepNumber",
+      "label",
+      "description",
+      "type",
+      "assertsGuarantees",
+      "assertsInvariants"
+    ];
+    STEP_LABEL_TWINS = {
+      onTrueStep: "onTrueLabel",
+      onFalseStep: "onFalseLabel",
+      defaultStep: "defaultLabel",
+      endStep: "endLabel",
+      finallyStep: "finallyLabel",
+      toStep: "toLabel"
+    };
+    FLOW_STEP_TYPES = ["branch", "switch", "loop", "try", "parallel", "jump"];
     FLOW_FIELDS = [
-      "condition",
-      "onTrueStep",
-      "onFalseStep",
-      "on",
-      "cases",
-      "defaultStep",
-      "loopKind",
-      "over",
-      "endStep",
-      "catches",
-      "finallyStep",
-      "branches",
-      "toStep"
+      ...new Set(FLOW_STEP_TYPES.flatMap((t) => [...STEP_TYPE_FIELDS[t]]))
     ];
   }
 });
@@ -9744,20 +9797,22 @@ var init_narrative_step_config = __esm({
     init_models();
     narrativeStepConfigRule = {
       name: "narrative-step-config",
-      description: 'The step configuration of L5 narratives: every flow step (branch, switch, loop, try, parallel, jump) carries the config its type requires and no simple step carries flow config, "detach" (fire-and-forget) is legal on call/dispatch steps only, a parallel body is covered by contiguous, ordered arms (>= 2), no two steps share a step number or a label, and every jump field targets an existing step number in the same narrative.',
+      description: 'The step configuration of L5 narratives: every flow step (branch, switch, loop, try, parallel, jump) carries the config its type requires and no simple step carries flow config, "detach" (fire-and-forget) is legal on call/dispatch steps only, no step carries a field foreign to its type, a parallel body is covered by contiguous, ordered arms (>= 2), no two steps share a step number or a label, and every jump field targets an existing step number in the same narrative.',
       codes: [
         { code: "MALFORMED_FLOW_STEP", defaultSeverity: "error", summary: "Flow step missing required config (or flow config on a local/call step)" },
         { code: "INVALID_STEP_JUMP", defaultSeverity: "error", summary: "Jump field targets a step number that does not exist in the narrative" },
-        { code: "DUPLICATE_STEP_LABEL", defaultSeverity: "error", summary: "Two steps in one narrative share a label \u2014 the symbolic anchor later deltas address by" }
+        { code: "DUPLICATE_STEP_LABEL", defaultSeverity: "error", summary: "Two steps in one narrative share a label \u2014 the symbolic anchor later deltas address by" },
+        { code: "FOREIGN_STEP_FIELD", defaultSeverity: "warning", summary: "Step carries a field its own type cannot have \u2014 a leftover of an edit, meaning nothing" }
       ],
       check(ctx) {
+        const severityOf = new Map(narrativeStepConfigRule.codes.map((c) => [c.code, c.defaultSeverity]));
         for (const impl of ctx.implementations) {
           const isDraftCtx = ctx.isImplementationDraft(impl);
           for (const implMethod of impl.methods) {
             if (!implMethod.narrative.length) continue;
             const where = `Method "${implMethod.name}" in implementation "${impl.id}": `;
             for (const problem of stepConfigVerdict(implMethod).problems) {
-              ctx.addIssue("error", problem.code, where + problem.detail, impl.id, isDraftCtx);
+              ctx.addIssue(severityOf.get(problem.code) ?? "error", problem.code, where + problem.detail, impl.id, isDraftCtx);
             }
           }
         }
@@ -12348,15 +12403,16 @@ var init_unused_types = __esm({
     init_models();
     unusedTypesRule = {
       name: "unused-types",
-      description: "Flags types no field of any type and no interface method signature references. References are matched through the type-reference grammar (generic arguments, collections, qualified ids), and the declaring type's own generic parameters are left out \u2014 a type parameter is not a reference to a type.",
+      description: "Flags types no field of any type, no interface method signature and no other type's method signature references. References are matched through the type-reference grammar (generic arguments, collections, qualified ids), and the declaring type's own generic parameters are left out \u2014 a type parameter is not a reference to a type. A type named only by its OWN methods stays unused, the way a function that only calls itself is.",
       codes: [
-        { code: "UNUSED_TYPE", defaultSeverity: "warning", summary: "Type never referenced by fields or signatures" }
+        { code: "UNUSED_TYPE", defaultSeverity: "warning", summary: "Type never referenced by fields, signatures or type methods" }
       ],
       check(ctx) {
         const referencedTypes = /* @__PURE__ */ new Set();
-        const markTypeReferenced = (ref) => {
+        const markTypeReferenced = (ref, exceptId) => {
           if (ctx.isBuiltinType(ref)) return;
           for (const spec of ctx.types) {
+            if (spec.id === exceptId) continue;
             if (typeMatchesRef(spec, ref)) {
               referencedTypes.add(spec.id);
             }
@@ -12378,6 +12434,14 @@ var init_unused_types = __esm({
             }
           }
         }
+        for (const t of ctx.types) {
+          for (const m of t.methods) {
+            const refs = methodTypeRefs(m);
+            for (const ref of refs) {
+              markTypeReferenced(ref, t.id);
+            }
+          }
+        }
         for (const t of ctx.types) {
           if (!ctx.isSpecInScope(t.id)) continue;
           if (!referencedTypes.has(t.id)) {
@@ -12386,7 +12450,7 @@ var init_unused_types = __esm({
             ctx.addIssue(
               "warning",
               "UNUSED_TYPE",
-              `Type "${t.id}" is defined but never referenced by any type fields or interface methods.`,
+              `Type "${t.id}" is defined but never referenced by any type field, interface method or other type's method.`,
               t.id,
               isDraftCtx
             );
@@ -18360,15 +18424,6 @@ function identityKeyOf(field, item) {
       return str(o.name) ?? str(o.id);
   }
 }
-function stepFieldsFor(type) {
-  const own = STEP_TYPE_FIELDS[type] ?? [];
-  const allowed = /* @__PURE__ */ new Set([...STEP_COMMON_FIELDS, ...own]);
-  for (const field of own) {
-    const twin = STEP_LABEL_TWINS[field];
-    if (twin) allowed.add(twin);
-  }
-  return allowed;
-}
 function reportIdentityOf(field, item) {
   if (item !== null && typeof item === "object") {
     const step = item.stepNumber;
@@ -18416,6 +18471,117 @@ function specChanges(before, after, prefix = "") {
   if (JSON.stringify(before) === JSON.stringify(after)) return [];
   return [{ path: prefix, change: "set", before: summarizeValue(before), after: summarizeValue(after) }];
 }
+function identityFieldsOf(field) {
+  switch (field) {
+    case "dispatch":
+      return ["capability"];
+    case "lifecycle":
+      return ["phase", "component", "method"];
+    case "emits":
+    case "subscribesTo":
+      return ["topic", "event"];
+    case "trustedLinks":
+      return ["subsystem"];
+    case "allow":
+    case "findings":
+      return ["code"];
+    case "invariants":
+    case "patterns":
+      return ["id"];
+    case "boundaries":
+      return ["name"];
+    case "globalRequirements":
+      return ["description"];
+    case "databases":
+      return ["id", "name"];
+    case "cases":
+      return ["value"];
+    case "catches":
+      return ["error"];
+    case "narrative":
+      return ["stepNumber"];
+    default:
+      return ["name", "id"];
+  }
+}
+function carriesEditMarker(item) {
+  if (item === null || typeof item !== "object") return false;
+  const o = item;
+  return o.action !== void 0 || o.remove !== void 0;
+}
+function ineffectiveDeltaPaths(delta, merged, stored) {
+  const out = [];
+  const isPlain = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+  const same = (a, b) => JSON.stringify(a) === JSON.stringify(b);
+  const at = (prefix, key) => prefix ? `${prefix}.${key}` : key;
+  const say = (path27, why) => {
+    out.push(`${path27} \u2014 ${why}`);
+  };
+  const walkValue = (d, m, s, path27, field) => {
+    if (Array.isArray(d)) {
+      if (!Array.isArray(m)) {
+        say(path27, "the level does not have this field, so the write dropped it");
+        return;
+      }
+      if (field === "narrative" && d.some(carriesEditMarker)) return;
+      for (const element of d) {
+        if (carriesEditMarker(element)) continue;
+        const key = reportIdentityOf(field, element);
+        if (key === null) {
+          if (!same(m, d)) say(path27, "the level does not keep this value, so the write dropped it");
+          else if (same(s, d)) say(path27, "the stored spec already held this value");
+          return;
+        }
+        const mMatch = m.find((i) => reportIdentityOf(field, i) === key);
+        const sMatch = Array.isArray(s) ? s.find((i) => reportIdentityOf(field, i) === key) : void 0;
+        if (mMatch === void 0) {
+          say(at(path27, key), "the write did not store this element");
+          continue;
+        }
+        walk2(element, mMatch, sMatch, at(path27, key), field);
+      }
+      return;
+    }
+    if (isPlain(d)) {
+      if (!isPlain(m)) {
+        say(path27, "the level does not have this field, so the write dropped it");
+        return;
+      }
+      walk2(d, m, s, path27, field);
+      return;
+    }
+    if (!same(m, d)) say(path27, "the write did not store it \u2014 the level's schema does not keep this value");
+    else if (same(s, d)) say(path27, "the stored spec already held this value");
+  };
+  function walk2(d, m, s, path27, container) {
+    for (const [key, value] of Object.entries(d)) {
+      if (DELTA_VERBS.has(key) || JUMP_LABEL_TWINS.has(key)) continue;
+      if (key === "label" && LABEL_TWIN_CONTAINERS.has(container)) continue;
+      if (identityFieldsOf(container).includes(key)) continue;
+      if (key === "unset") {
+        for (const name of Array.isArray(value) ? value : []) {
+          if (typeof name !== "string") continue;
+          const had = isPlain(s) && s[name] !== void 0;
+          const still = isPlain(m) && m[name] !== void 0;
+          if (!had) say(at(path27, name), "unset named a field the stored spec did not have");
+          else if (still) say(at(path27, name), "unset did not remove it");
+        }
+        continue;
+      }
+      if (value === void 0 || value === null) continue;
+      const here = at(path27, key);
+      const mValue = isPlain(m) ? m[key] : void 0;
+      const sValue = isPlain(s) ? s[key] : void 0;
+      if (mValue === void 0) {
+        say(here, "the level does not have this field, so the write dropped it");
+        continue;
+      }
+      walkValue(value, mValue, sValue, here, key);
+    }
+  }
+  walk2(delta, merged, stored, "", "");
+  return out;
+}
 function workspaceFor(rootDir) {
   const key = path16.resolve(rootDir);
   let ws = workspaces.get(key);
@@ -18641,10 +18807,10 @@ function restoreSpecFiles(snapshot) {
 function findLegacySpecFiles() {
   return current().findLegacySpecFiles();
 }
-function updateSpec(kind, id, delta, hooks) {
-  return current().updateSpec(kind, id, delta, hooks);
+function updateSpec(kind, id, delta, hooks, dryRun) {
+  return current().updateSpec(kind, id, delta, hooks, dryRun);
 }
-var fs11, path16, NO_ROOT_SUBSYSTEMS, SIGNATURE_TTL_MS, STEP_TYPE_FIELDS, STEP_COMMON_FIELDS, STEP_LABEL_TWINS, SpecWorkspace, workspaces;
+var fs11, path16, NO_ROOT_SUBSYSTEMS, SIGNATURE_TTL_MS, DELTA_VERBS, JUMP_LABEL_TWINS, LABEL_TWIN_CONTAINERS, SpecWorkspace, workspaces;
 var init_specs2 = __esm({
   "src/core/specs.ts"() {
     "use strict";
@@ -18662,36 +18828,16 @@ var init_specs2 = __esm({
     init_diagram();
     NO_ROOT_SUBSYSTEMS = /* @__PURE__ */ new Set();
     SIGNATURE_TTL_MS = 2e3;
-    STEP_TYPE_FIELDS = {
-      local: [],
-      call: ["targetComponent", "targetMethod", "auth", "detach"],
-      register: ["targetComponent", "targetMethod"],
-      dispatch: ["targetComponent", "capability", "auth", "detach"],
-      branch: ["condition", "onTrueStep", "onFalseStep"],
-      switch: ["on", "cases", "defaultStep"],
-      loop: ["loopKind", "over", "condition", "endStep"],
-      try: ["endStep", "catches", "finallyStep"],
-      parallel: ["endStep", "branches"],
-      jump: ["toStep"],
-      return: ["outcome"],
-      throw: ["error"]
-    };
-    STEP_COMMON_FIELDS = [
-      "stepNumber",
-      "label",
-      "description",
-      "type",
-      "assertsGuarantees",
-      "assertsInvariants"
-    ];
-    STEP_LABEL_TWINS = {
-      onTrueStep: "onTrueLabel",
-      onFalseStep: "onFalseLabel",
-      defaultStep: "defaultLabel",
-      endStep: "endLabel",
-      finallyStep: "finallyLabel",
-      toStep: "toLabel"
-    };
+    DELTA_VERBS = /* @__PURE__ */ new Set(["action", "remove", "captureJumps"]);
+    JUMP_LABEL_TWINS = /* @__PURE__ */ new Set([
+      "onTrueLabel",
+      "onFalseLabel",
+      "defaultLabel",
+      "endLabel",
+      "finallyLabel",
+      "toLabel"
+    ]);
+    LABEL_TWIN_CONTAINERS = /* @__PURE__ */ new Set(["cases", "catches", "branches"]);
     SpecWorkspace = class {
       constructor(rootDir) {
         this.cachedIndex = null;
@@ -19407,6 +19553,9 @@ var init_specs2 = __esm({
         const existing = this.loadSubsystemSpec(spec.id);
         if (existing) {
           specToWrite.createdAt = existing.createdAt;
+          if (!opts?.allowStatusDemotion && existing.status && (!spec.status || spec.status === "draft")) {
+            specToWrite.status = existing.status;
+          }
         }
         specToWrite.updatedAt = opts?.preserveUpdatedAt && existing?.updatedAt ? existing.updatedAt : (/* @__PURE__ */ new Date()).toISOString();
         writeYamlFile(p, parseOrThrow(SubsystemSpecSchema, specToWrite, "subsystem", spec.id));
@@ -19955,15 +20104,22 @@ var init_specs2 = __esm({
        *     carry, and a label in the delta retargets the stored numeric jump it
        *     twins. An unresolved reference aborts the whole update.
        *  7. COMPARE with what is stored, both read through the level's canonical
-       *     schema. Equal means nothing is written and `written` is false.
-       *  8. GATE the merged spec through the caller's hook, then SAVE.
+       *     schema. Equal means nothing is written and `written` is false. The same
+       *     comparison names every delta path the write did NOT act on — one the
+       *     schema drops at a depth the permissive delta cannot refuse, one the
+       *     stored spec already held, an `unset` that removed nothing.
+       *  8. GATE the merged spec through the caller's hook. A DRY RUN stops here
+       *     and answers with the report it would have produced — after the gate, so
+       *     it accounts for a write that would really be accepted, and before the
+       *     stamp, so not one byte of the stored file moves.
+       *  9. STAMP updatedAt and SAVE.
        *
        * Returns the change report, whose `notices` carry the non-fatal effects (an
        * insert whose position was a jump target, so the relocated jumps now bypass
        * the inserted step; the fields a retype dropped) — empty when the merge had
        * nothing to say.
        */
-      updateSpec(kind, id, delta, hooks) {
+      updateSpec(kind, id, delta, hooks, dryRun = false) {
         const notices = [];
         const result = (() => {
           switch (kind) {
@@ -20442,7 +20598,8 @@ var init_specs2 = __esm({
         const unsetFields = Array.isArray(delta.unset) ? delta.unset.filter((f) => typeof f === "string") : [];
         const { unset: _unset, ...mergeableDelta } = delta;
         const storedBefore = JSON.parse(JSON.stringify(result));
-        const mergedResult = mergeDelta(result, qualifyDeltaRefs(mergeableDelta));
+        const qualifiedDelta = qualifyDeltaRefs(mergeableDelta);
+        const mergedResult = mergeDelta(result, qualifiedDelta);
         for (const field of unsetFields) delete mergedResult[field];
         if (kind === "implementation" && Array.isArray(mergedResult.methods)) {
           const labelErrors = [];
@@ -20460,20 +20617,41 @@ var init_specs2 = __esm({
           delete value.updatedAt;
           return value;
         };
-        const changes = specChanges(canonical(storedBefore), canonical(mergedResult));
+        const canonicalStored = canonical(storedBefore);
+        const canonicalMerged = canonical(mergedResult);
+        const changes = specChanges(canonicalStored, canonicalMerged);
+        const ineffective = ineffectiveDeltaPaths(
+          { ...qualifiedDelta, ...unsetFields.length ? { unset: unsetFields } : {} },
+          canonicalMerged,
+          canonicalStored
+        );
         if (changes.length === 0) {
           return {
             kind,
             id,
             written: false,
+            dryRun,
             changes,
+            ineffective,
             notices,
-            summary: `No change to ${kind} "${id}" \u2014 the delta matches what is stored, so nothing was written.`
+            summary: `No change to ${kind} "${id}" \u2014 the delta matches what is stored, so nothing ${dryRun ? "would be" : "was"} written.`
           };
         }
-        mergedResult.updatedAt = (/* @__PURE__ */ new Date()).toISOString();
         const gateNotices = hooks?.gate?.(kind, mergedResult);
         if (gateNotices?.length) notices.push(...gateNotices);
+        if (dryRun) {
+          return {
+            kind,
+            id,
+            written: false,
+            dryRun: true,
+            changes,
+            ineffective,
+            notices,
+            summary: `Dry run on ${kind} "${id}": ${changes.length} change${changes.length === 1 ? "" : "s"} would be made. Nothing was written.`
+          };
+        }
+        mergedResult.updatedAt = (/* @__PURE__ */ new Date()).toISOString();
         const opts = {
           allowStatusDemotion: Object.prototype.hasOwnProperty.call(delta, "status")
         };
@@ -20482,7 +20660,7 @@ var init_specs2 = __esm({
             this.saveSystemSpec(mergedResult);
             break;
           case "subsystem":
-            this.saveSubsystemSpec(mergedResult);
+            this.saveSubsystemSpec(mergedResult, opts);
             break;
           case "component":
             notices.push(...this.saveComponentSpec(mergedResult, opts));
@@ -20501,7 +20679,9 @@ var init_specs2 = __esm({
           kind,
           id,
           written: true,
+          dryRun: false,
           changes,
+          ineffective,
           notices,
           summary: `Updated ${kind} "${id}": ${changes.length} change${changes.length === 1 ? "" : "s"}.`
         };
@@ -25872,6 +26052,44 @@ var init_stereotype_migration = __esm({
   }
 });
 
+// src/core/narrative-repair.ts
+function repairForeignStepFields(apply) {
+  const implementations = loadImplementationSpecs();
+  const repairs = [];
+  const changed = [];
+  for (const impl of implementations) {
+    let touched = false;
+    for (const method of impl.methods) {
+      for (const step of method.narrative) {
+        const fields = narrativeStepForeignFields(step);
+        if (!fields.length) continue;
+        repairs.push({
+          implementation: impl.id,
+          method: method.name,
+          stepNumber: step.stepNumber,
+          stepType: step.type,
+          fields
+        });
+        for (const field of fields) delete step[field];
+        touched = true;
+      }
+    }
+    if (touched) changed.push(impl);
+  }
+  if (apply && changed.length) {
+    for (const impl of changed) saveImplementationSpec(impl);
+    invalidateSpecCache();
+  }
+  return repairs;
+}
+var init_narrative_repair = __esm({
+  "src/core/narrative-repair.ts"() {
+    "use strict";
+    init_specs2();
+    init_models();
+  }
+});
+
 // src/core/approver.ts
 function gitConfig(key) {
   try {
@@ -25952,6 +26170,7 @@ var init_core = __esm({
     init_treetransfer();
     init_provision();
     init_stereotype_migration();
+    init_narrative_repair();
     init_approval();
     init_approver();
     init_specs2();
@@ -26056,6 +26275,9 @@ __export(src_exports, {
   SCAN_EXCLUDE_DIRS: () => SCAN_EXCLUDE_DIRS,
   SDD_RULES: () => SDD_RULES,
   SEMANTIC_GUARANTEES: () => SEMANTIC_GUARANTEES,
+  STEP_COMMON_FIELDS: () => STEP_COMMON_FIELDS,
+  STEP_LABEL_TWINS: () => STEP_LABEL_TWINS,
+  STEP_TYPE_FIELDS: () => STEP_TYPE_FIELDS,
   SUPPORTED_ALIASES: () => SUPPORTED_ALIASES,
   SURFACE_AUDIENCES: () => SURFACE_AUDIENCES,
   SkillResourceNotFoundError: () => SkillResourceNotFoundError,
@@ -26207,6 +26429,7 @@ __export(src_exports, {
   implementationSourceFiles: () => implementationSourceFiles,
   importSpecTree: () => importSpecTree,
   importSurface: () => importSurface,
+  ineffectiveDeltaPaths: () => ineffectiveDeltaPaths,
   inspectChainedRoots: () => inspectChainedRoots,
   inspectTreeArchive: () => inspectTreeArchive2,
   installPackFromDirectory: () => installPackFromDirectory,
@@ -26269,6 +26492,7 @@ __export(src_exports, {
   methodSourceFile: () => methodSourceFile,
   methodTypeRefs: () => methodTypeRefs,
   moveSubsystemProject: () => moveSubsystemProject,
+  narrativeStepForeignFields: () => narrativeStepForeignFields,
   normalizeApprover: () => normalizeApprover,
   normalizeComponentLayout: () => normalizeComponentLayout,
   packDirEntry: () => packDirEntry,
@@ -26313,6 +26537,7 @@ __export(src_exports, {
   renderDomainsDoc: () => renderDomainsDoc,
   renderTemplateInstructions: () => renderTemplateInstructions,
   renderWaironGuide: () => renderWaironGuide,
+  repairForeignStepFields: () => repairForeignStepFields,
   resolveAgentTopology: () => resolveAgentTopology,
   resolveChainingParent: () => resolveChainingParent,
   resolveDomains: () => resolveDomains,
@@ -26351,6 +26576,7 @@ __export(src_exports, {
   stateIdEquals: () => stateIdEquals,
   stateIdString: () => stateIdString,
   stepConfigVerdict: () => stepConfigVerdict,
+  stepFieldsFor: () => stepFieldsFor,
   stepGraph: () => stepGraph,
   syncContextFiles: () => syncContextFiles,
   toMarkdown: () => toMarkdown,
@@ -26777,6 +27003,9 @@ function loadProjectConfig4() {
   SCAN_EXCLUDE_DIRS,
   SDD_RULES,
   SEMANTIC_GUARANTEES,
+  STEP_COMMON_FIELDS,
+  STEP_LABEL_TWINS,
+  STEP_TYPE_FIELDS,
   SUPPORTED_ALIASES,
   SURFACE_AUDIENCES,
   SkillResourceNotFoundError,
@@ -26928,6 +27157,7 @@ function loadProjectConfig4() {
   implementationSourceFiles,
   importSpecTree,
   importSurface,
+  ineffectiveDeltaPaths,
   inspectChainedRoots,
   inspectTreeArchive,
   installPackFromDirectory,
@@ -26990,6 +27220,7 @@ function loadProjectConfig4() {
   methodSourceFile,
   methodTypeRefs,
   moveSubsystemProject,
+  narrativeStepForeignFields,
   normalizeApprover,
   normalizeComponentLayout,
   packDirEntry,
@@ -27034,6 +27265,7 @@ function loadProjectConfig4() {
   renderDomainsDoc,
   renderTemplateInstructions,
   renderWaironGuide,
+  repairForeignStepFields,
   resolveAgentTopology,
   resolveChainingParent,
   resolveDomains,
@@ -27072,6 +27304,7 @@ function loadProjectConfig4() {
   stateIdEquals,
   stateIdString,
   stepConfigVerdict,
+  stepFieldsFor,
   stepGraph,
   syncContextFiles,
   toMarkdown,