@primmel/primmel 1.11.0 → 1.12.0

package/dist-cli/primmel.mjs

@@ -195,6 +195,8 @@ function parse(mmelString, parsers, options = {}) {
     approvals: {},
     roles: {},
     processes: {},
+    // The abstract-process models (smart TODO.roadmap/40 batch 2)
+    processModels: {},
     pages: {},
     gateways: {},
     regs: {},
@@ -223,6 +225,9 @@ function parse(mmelString, parsers, options = {}) {
     referenceMaterials: {},
     testPointSets: {},
     competenceKinds: {},
+    // The ISO/IEC 17067 scheme-type register (smart TODO.roadmap/40 batch 2)
+    schemeActivityKinds: {},
+    schemeTypes: {},
     predicates: {},
     constraints: {},
     discrepancyRecords: {},
@@ -261,6 +266,9 @@ function parse(mmelString, parsers, options = {}) {
     documentPrecedences: {},
     autoInclusions: {},
     decisionRules: {},
+    // The document modules + informative annexes (smart TODO.roadmap/40 batch 2)
+    documentModules: {},
+    informativeAnnexes: {},
     // Primmel v3 twin interface (TODO.roadmap/32)
     connectorProfiles: {},
     // Primmel v3 continuous compliance (TODO.roadmap/34)
@@ -2364,15 +2372,18 @@ function parseParamList(block, allowInitial = false) {
   const t = tokenize(block);
   let i = 0;
   while (i < t.length) {
-    const name = stripColon(t[i++]);
+    const head = t[i++];
+    const name = stripColon(head);
     if (!name) {
       break;
     }
-    let type = "";
+    let typed = head.endsWith(":");
     if (i < t.length && t[i] === ":") {
+      typed = true;
       i++;
     }
-    if (i < t.length) {
+    let type = "";
+    if (typed && i < t.length) {
       type = stripWrapping(t[i++]);
     }
     const param = { name, type };
@@ -2532,6 +2543,131 @@ function parseSegregation(block) {
   }
   return out;
 }
+function parseProcessEvidence(block) {
+  const out = [];
+  const t = tokenize(block);
+  let i = 0;
+  while (i < t.length) {
+    const eid = stripWrapping(t[i++]);
+    if (!eid) {
+      break;
+    }
+    const entry = { id: eid, description: "", required: false };
+    if (i < t.length && t[i].startsWith("{")) {
+      forEachEntry(
+        unwrapBlock(t[i++]),
+        (keyword, value) => {
+          if (keyword === "description") {
+            entry.description = stripWrapping(value());
+          } else if (keyword === "required") {
+            entry.required = stripWrapping(value()) === "true";
+          } else {
+            return false;
+          }
+          return true;
+        },
+        { construct: "process evidence", id: eid }
+      );
+    }
+    out.push(entry);
+  }
+  return out;
+}
+function parseProcessDecision(block) {
+  const decision = { rule: "", clause: "" };
+  forEachEntry(
+    block,
+    (keyword, value) => {
+      if (keyword === "rule") {
+        decision.rule = stripWrapping(value());
+      } else if (keyword === "clause") {
+        decision.clause = stripWrapping(value());
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "process decision", id: "" }
+  );
+  return decision;
+}
+function parseProcessDeclaration(block) {
+  const declaration = { kind: "", action: "" };
+  forEachEntry(
+    block,
+    (keyword, value) => {
+      if (keyword === "kind") {
+        declaration.kind = stripWrapping(value());
+      } else if (keyword === "action") {
+        declaration.action = stripWrapping(value());
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "process declaration", id: "" }
+  );
+  return declaration;
+}
+function parseProcessWindows(block) {
+  const out = [];
+  const t = tokenize(block);
+  let i = 0;
+  while (i < t.length) {
+    const cmd = t[i++];
+    if (cmd !== "window") {
+      i = skipUnknownEntry(t, i);
+      continue;
+    }
+    const wid = stripWrapping(t[i++]);
+    const entry = {
+      id: wid,
+      kind: "",
+      clause: "",
+      anchor: "",
+      applies_to: "",
+      windowYears: 0,
+      windowMonths: 0,
+      breach: "",
+      description: ""
+    };
+    if (i < t.length && t[i].startsWith("{")) {
+      forEachEntry(
+        unwrapBlock(t[i++]),
+        (keyword, value) => {
+          if (keyword === "kind") {
+            entry.kind = stripWrapping(value());
+          } else if (keyword === "clause") {
+            entry.clause = stripWrapping(value());
+          } else if (keyword === "anchor") {
+            entry.anchor = stripWrapping(value());
+          } else if (keyword === "applies_to") {
+            entry.applies_to = stripWrapping(value());
+          } else if (keyword === "window") {
+            const wt = tokenizePackage(unwrapBlock(value()));
+            for (let k = 0; k + 1 < wt.length; k += 2) {
+              if (wt[k] === "years") {
+                entry.windowYears = parseInt(stripWrapping(wt[k + 1]), 10) || 0;
+              } else if (wt[k] === "months") {
+                entry.windowMonths = parseInt(stripWrapping(wt[k + 1]), 10) || 0;
+              }
+            }
+          } else if (keyword === "breach") {
+            entry.breach = stripWrapping(value());
+          } else if (keyword === "description") {
+            entry.description = stripWrapping(value());
+          } else {
+            return false;
+          }
+          return true;
+        },
+        { construct: "process window", id: wid }
+      );
+    }
+    out.push(entry);
+  }
+  return out;
+}
 function parseProcessInstances(block) {
   const out = { by: "", values: {} };
   const t = tokenize(block);
@@ -2783,6 +2919,18 @@ var parseProcess = function(id, data) {
     instances: null,
     childComposition: "all",
     does: null,
+    // The abstract-process model (smart TODO.roadmap/40 batch 2)
+    summary: "",
+    roles: [],
+    organs: [],
+    participantKinds: [],
+    evidence: [],
+    decision: null,
+    declaration: null,
+    dischargesGate: "",
+    realizedBy: [],
+    approvedBy: [],
+    windows: [],
     source: null,
     provisionRefs: [],
     _relations: {
@@ -2863,6 +3011,28 @@ var parseProcess = function(id, data) {
         result.invariants = parseOclList(unwrapBlock(value()));
       } else if (keyword === "activity_kind") {
         result.activityKinds = tokenize(stripWrapping(value())).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "summary") {
+        result.summary = unwrapped(value);
+      } else if (keyword === "roles") {
+        result.roles = tokenize(stripWrapping(value())).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "organs") {
+        result.organs = tokenize(stripWrapping(value())).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "participant_kinds") {
+        result.participantKinds = tokenize(stripWrapping(value())).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "evidence") {
+        result.evidence = parseProcessEvidence(unwrapBlock(value()));
+      } else if (keyword === "decision") {
+        result.decision = parseProcessDecision(unwrapBlock(value()));
+      } else if (keyword === "declaration") {
+        result.declaration = parseProcessDeclaration(unwrapBlock(value()));
+      } else if (keyword === "discharges_gate") {
+        result.dischargesGate = stripWrapping(value());
+      } else if (keyword === "realized_by") {
+        result.realizedBy = tokenize(stripWrapping(value())).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "approved_by") {
+        result.approvedBy = tokenize(stripWrapping(value())).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "windows") {
+        result.windows = parseProcessWindows(unwrapBlock(value()));
       } else if (keyword === "segregation") {
         result.segregation = parseSegregation(unwrapBlock(value()));
       } else if (keyword === "preconditions") {
@@ -3046,6 +3216,9 @@ function dumpDoes(flow) {
 var dumpProcess = function(process2, ctx) {
   let out = "process " + process2.id + " {\n";
   out += '  name "' + escapeString(process2.name) + '"\n';
+  if (process2.summary) {
+    out += '  summary "' + escapeString(process2.summary) + '"\n';
+  }
   if (process2.actor !== null) {
     out += "  actor " + process2.actor.id + "\n";
   }
@@ -3096,6 +3269,94 @@ var dumpProcess = function(process2, ctx) {
   if (process2.activityKinds && process2.activityKinds.length > 0) {
     out += "  activity_kind { " + process2.activityKinds.map(dumpBareSafe).join(" ") + " }\n";
   }
+  if (process2.roles && process2.roles.length > 0) {
+    out += "  roles { " + process2.roles.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (process2.organs && process2.organs.length > 0) {
+    out += "  organs { " + process2.organs.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (process2.participantKinds && process2.participantKinds.length > 0) {
+    out += "  participant_kinds { " + process2.participantKinds.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (process2.evidence && process2.evidence.length > 0) {
+    out += "  evidence {\n";
+    for (const e of process2.evidence) {
+      out += "    " + dumpBareSafe(e.id) + " {";
+      if (e.description) {
+        out += ' description "' + escapeString(e.description) + '"';
+      }
+      if (e.required) {
+        out += " required true";
+      }
+      out += " }\n";
+    }
+    out += "  }\n";
+  }
+  if (process2.decision) {
+    out += "  decision {";
+    if (process2.decision.rule) {
+      out += " rule " + dumpBareSafe(process2.decision.rule);
+    }
+    if (process2.decision.clause) {
+      out += ' clause "' + escapeString(process2.decision.clause) + '"';
+    }
+    out += " }\n";
+  }
+  if (process2.declaration) {
+    out += "  declaration {";
+    if (process2.declaration.kind) {
+      out += " kind " + dumpBareSafe(process2.declaration.kind);
+    }
+    if (process2.declaration.action) {
+      out += " action " + dumpBareSafe(process2.declaration.action);
+    }
+    out += " }\n";
+  }
+  if (process2.dischargesGate) {
+    out += "  discharges_gate " + dumpBareSafe(process2.dischargesGate) + "\n";
+  }
+  if (process2.realizedBy && process2.realizedBy.length > 0) {
+    out += "  realized_by { " + process2.realizedBy.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (process2.approvedBy && process2.approvedBy.length > 0) {
+    out += "  approved_by { " + process2.approvedBy.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (process2.windows && process2.windows.length > 0) {
+    out += "  windows {\n";
+    for (const w of process2.windows) {
+      out += "    window " + dumpBareSafe(w.id) + " {\n";
+      if (w.kind) {
+        out += "      kind " + dumpBareSafe(w.kind) + "\n";
+      }
+      if (w.clause) {
+        out += '      clause "' + escapeString(w.clause) + '"\n';
+      }
+      if (w.anchor) {
+        out += "      anchor " + dumpBareSafe(w.anchor) + "\n";
+      }
+      if (w.applies_to) {
+        out += "      applies_to " + dumpBareSafe(w.applies_to) + "\n";
+      }
+      if (w.windowYears > 0 || w.windowMonths > 0) {
+        out += "      window {";
+        if (w.windowYears > 0) {
+          out += " years " + w.windowYears;
+        }
+        if (w.windowMonths > 0) {
+          out += " months " + w.windowMonths;
+        }
+        out += " }\n";
+      }
+      if (w.breach) {
+        out += "      breach " + dumpBareSafe(w.breach) + "\n";
+      }
+      if (w.description) {
+        out += '      description "' + escapeString(w.description) + '"\n';
+      }
+      out += "    }\n";
+    }
+    out += "  }\n";
+  }
   if (process2.segregation && process2.segregation.length > 0) {
     out += "  segregation {\n";
     for (const s of process2.segregation) {
@@ -3180,6 +3441,125 @@ var dumpProcess = function(process2, ctx) {
   return out;
 };
 
+// src/ser-des/config/processModel.ts
+function parseProcessSequence(block) {
+  return tokenizePackage(block).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+}
+function parseProcessRegister(id, block) {
+  const register = {
+    id,
+    label: "",
+    clause: "",
+    maintainer: "",
+    published: "",
+    entries: ""
+  };
+  forEachEntry(
+    block,
+    (keyword, value) => {
+      if (keyword === "label") {
+        register.label = stripWrapping(value());
+      } else if (keyword === "clause") {
+        register.clause = stripWrapping(value());
+      } else if (keyword === "maintainer") {
+        register.maintainer = stripWrapping(value());
+      } else if (keyword === "published") {
+        register.published = stripWrapping(value());
+      } else if (keyword === "entries") {
+        register.entries = stripWrapping(value());
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "process_model register", id }
+  );
+  return register;
+}
+var parseProcessModel = (id, data) => {
+  const model = {
+    id,
+    sequence: [],
+    registers: [],
+    source: { doc: "", clause: "" }
+  };
+  forEachEntry(
+    data,
+    (keyword, value, peek) => {
+      if (keyword === "sequence") {
+        model.sequence = parseProcessSequence(unwrapBlock(value()));
+      } else if (keyword === "register") {
+        const regId = stripWrapping(value());
+        const head = peek();
+        if (head === void 0 || !head.startsWith("{")) {
+          throw new Error(
+            `Parsing error: process_model. ID ${id}: register ${regId} is missing its block`
+          );
+        }
+        model.registers.push(parseProcessRegister(regId, unwrapBlock(value())));
+      } else if (keyword === "source") {
+        model.source = readSource(unwrapBlock(value()));
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "process_model", id }
+  );
+  return (ctx) => {
+    ctx.processModels[id] = model;
+    return ctx;
+  };
+};
+function dumpProcessSequence(sequence) {
+  if (sequence.length === 0) {
+    return "";
+  }
+  return "sequence { " + sequence.map(dumpBareSafe).join(" ") + " }";
+}
+function dumpProcessRegister(r, indent) {
+  let out = indent + "register " + dumpBareSafe(r.id) + " {\n";
+  if (r.label) {
+    out += indent + '  label "' + escapeString(r.label) + '"\n';
+  }
+  if (r.clause) {
+    out += indent + '  clause "' + escapeString(r.clause) + '"\n';
+  }
+  if (r.maintainer) {
+    out += indent + "  maintainer " + dumpBareSafe(r.maintainer) + "\n";
+  }
+  if (r.published) {
+    out += indent + '  published "' + escapeString(r.published) + '"\n';
+  }
+  if (r.entries) {
+    out += indent + '  entries "' + escapeString(r.entries) + '"\n';
+  }
+  out += indent + "}\n";
+  return out;
+}
+var dumpProcessModel = function(m) {
+  let out = "process_model " + m.id + " {\n";
+  const seq = dumpProcessSequence(m.sequence);
+  if (seq) {
+    out += "  " + seq + "\n";
+  }
+  for (const r of m.registers) {
+    out += dumpProcessRegister(r, "  ");
+  }
+  if (m.source.doc || m.source.clause) {
+    out += "  source {\n";
+    if (m.source.doc) {
+      out += '    doc "' + escapeString(m.source.doc) + '"\n';
+    }
+    if (m.source.clause) {
+      out += '    clause "' + escapeString(m.source.clause) + '"\n';
+    }
+    out += "  }\n";
+  }
+  out += "}\n";
+  return out;
+};
+
 // src/ser-des/config/provision.ts
 var parseProvision = function(id, data) {
   const result = {
@@ -8457,6 +8837,202 @@ var dumpReferenceMaterial = function(m) {
   return out;
 };
 
+// src/ser-des/config/schemeType.ts
+var SCHEME_ACTIVITY_FAMILIES = [
+  "common",
+  "determination",
+  "attestation",
+  "surveillance"
+];
+var ATTESTATION_OBJECTS = [
+  "product_type",
+  "batch",
+  "ongoing_production",
+  "service_or_process"
+];
+function parseKindList(value) {
+  return tokenizePackage(unwrapBlock(value)).map(stripColon).map(stripWrapping).filter((s) => s.length > 0);
+}
+var parseSchemeActivityKind = (id, data) => {
+  const kind = {
+    id,
+    family: "common",
+    row: "",
+    label: "",
+    source: { doc: "", clause: "" }
+  };
+  forEachEntry(
+    data,
+    (keyword, value) => {
+      if (keyword === "family") {
+        const family = stripWrapping(value());
+        if (!SCHEME_ACTIVITY_FAMILIES.includes(family)) {
+          throw new Error(
+            `Parsing error: scheme_activity_kind. ID ${id}: Unknown family "${family}" (valid: ${SCHEME_ACTIVITY_FAMILIES.join(", ")})`
+          );
+        }
+        kind.family = family;
+      } else if (keyword === "row") {
+        kind.row = stripWrapping(value());
+      } else if (keyword === "label") {
+        kind.label = stripWrapping(value());
+      } else if (keyword === "source") {
+        kind.source = readSource(unwrapBlock(value()));
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "scheme_activity_kind", id }
+  );
+  return (ctx) => {
+    ctx.schemeActivityKinds[id] = kind;
+    return ctx;
+  };
+};
+function parseSchemeSurveillance(block) {
+  const surveillance = { required: false, activities: [] };
+  forEachEntry(
+    block,
+    (keyword, value) => {
+      if (keyword === "required") {
+        surveillance.required = stripWrapping(value()) === "true";
+      } else if (keyword === "activities") {
+        surveillance.activities = parseKindList(value());
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "scheme_type surveillance", id: "" }
+  );
+  return surveillance;
+}
+var parseSchemeType = (id, data) => {
+  const type = {
+    id,
+    label: "",
+    clause: "",
+    description: "",
+    sampling: "",
+    attestationObject: "",
+    determination: [],
+    attestation: [],
+    surveillance: null,
+    notes: [],
+    source: { doc: "", clause: "" }
+  };
+  forEachEntry(
+    data,
+    (keyword, value) => {
+      if (keyword === "label") {
+        type.label = stripWrapping(value());
+      } else if (keyword === "clause") {
+        type.clause = stripWrapping(value());
+      } else if (keyword === "description") {
+        type.description = stripWrapping(value());
+      } else if (keyword === "sampling") {
+        type.sampling = stripWrapping(value());
+      } else if (keyword === "attestation_object") {
+        const object = stripWrapping(value());
+        if (!ATTESTATION_OBJECTS.includes(object)) {
+          throw new Error(
+            `Parsing error: scheme_type. ID ${id}: Unknown attestation_object "${object}" (valid: ${ATTESTATION_OBJECTS.join(", ")})`
+          );
+        }
+        type.attestationObject = object;
+      } else if (keyword === "determination") {
+        type.determination = parseKindList(value());
+      } else if (keyword === "attestation") {
+        type.attestation = parseKindList(value());
+      } else if (keyword === "surveillance") {
+        type.surveillance = parseSchemeSurveillance(unwrapBlock(value()));
+      } else if (keyword === "notes") {
+        type.notes = tokenizePackage(unwrapBlock(value())).map(stripWrapping).filter((s) => s.length > 0);
+      } else if (keyword === "source") {
+        type.source = readSource(unwrapBlock(value()));
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "scheme_type", id }
+  );
+  return (ctx) => {
+    ctx.schemeTypes[id] = type;
+    return ctx;
+  };
+};
+function dumpSource(source, indent) {
+  if (!source.doc && !source.clause) {
+    return "";
+  }
+  let out = indent + "source {\n";
+  if (source.doc) {
+    out += indent + '  doc "' + escapeString(source.doc) + '"\n';
+  }
+  if (source.clause) {
+    out += indent + '  clause "' + escapeString(source.clause) + '"\n';
+  }
+  out += indent + "}\n";
+  return out;
+}
+var dumpSchemeActivityKind = function(k) {
+  let out = "scheme_activity_kind " + k.id + " {\n";
+  out += "  family " + k.family + "\n";
+  if (k.row) {
+    out += '  row "' + escapeString(k.row) + '"\n';
+  }
+  if (k.label) {
+    out += '  label "' + escapeString(k.label) + '"\n';
+  }
+  out += dumpSource(k.source, "  ");
+  out += "}\n";
+  return out;
+};
+var dumpSchemeType = function(t) {
+  let out = "scheme_type " + t.id + " {\n";
+  if (t.label) {
+    out += '  label "' + escapeString(t.label) + '"\n';
+  }
+  if (t.clause) {
+    out += '  clause "' + escapeString(t.clause) + '"\n';
+  }
+  if (t.description) {
+    out += '  description "' + escapeString(t.description) + '"\n';
+  }
+  if (t.sampling) {
+    out += '  sampling "' + escapeString(t.sampling) + '"\n';
+  }
+  if (t.attestationObject) {
+    out += "  attestation_object " + t.attestationObject + "\n";
+  }
+  if (t.determination.length > 0) {
+    out += "  determination { " + t.determination.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (t.attestation.length > 0) {
+    out += "  attestation { " + t.attestation.map(dumpBareSafe).join(" ") + " }\n";
+  }
+  if (t.surveillance) {
+    out += "  surveillance {\n";
+    out += "    required " + (t.surveillance.required ? "true" : "false") + "\n";
+    if (t.surveillance.activities.length > 0) {
+      out += "    activities { " + t.surveillance.activities.map(dumpBareSafe).join(" ") + " }\n";
+    }
+    out += "  }\n";
+  }
+  if (t.notes.length > 0) {
+    out += "  notes {\n";
+    for (const n of t.notes) {
+      out += '    "' + escapeString(n) + '"\n';
+    }
+    out += "  }\n";
+  }
+  out += dumpSource(t.source, "  ");
+  out += "}\n";
+  return out;
+};
+
 // src/ser-des/config/predicate.ts
 var parsePredicate = function(id, data) {
   const result = {
@@ -10074,7 +10650,7 @@ function dumpComposedOf(decl, indent) {
 }
 
 // src/ser-des/config/subject.ts
-function dumpSource(keyword, src, indent) {
+function dumpSource2(keyword, src, indent) {
   if (!src || !src.doc && !src.clause) {
     return "";
   }
@@ -10509,7 +11085,7 @@ function dumpDimension(d, indent) {
   if (d.description) {
     out += inner + 'description "' + escapeString(d.description) + '"\n';
   }
-  out += dumpSource("reference", d.source, inner);
+  out += dumpSource2("reference", d.source, inner);
   if (d.valuesOf) {
     out += inner + "values_of " + d.valuesOf + "\n";
   }
@@ -10631,7 +11207,7 @@ var dumpInstrument = function(inst) {
       }
       out += " }\n";
     }
-    out += dumpSource("source", m.source, "    ");
+    out += dumpSource2("source", m.source, "    ");
     out += "  }\n";
   }
   for (const c of inst.components ?? []) {
@@ -10671,7 +11247,7 @@ var dumpInstrument = function(inst) {
     if (s.note) {
       out += '    note "' + escapeString(s.note) + '"\n';
     }
-    out += dumpSource("source", s.source, "    ");
+    out += dumpSource2("source", s.source, "    ");
     out += "  }\n";
   }
   if (inst.definition) {
@@ -10751,7 +11327,7 @@ var dumpInstrument = function(inst) {
       out += dumpSourceRefAsRef(s, "    ", escapeString);
     }
     for (const s of inst.modelGroup.sampleSelection ?? []) {
-      out += dumpSource("sample_selection", s, "    ");
+      out += dumpSource2("sample_selection", s, "    ");
     }
     out += "  }\n";
   }
@@ -11763,7 +12339,7 @@ function dumpSubjectPromises(promises) {
       out += '        statement "' + escapeString(p.statement) + '"\n';
     }
     out += dumpIdList("verified_by", p.verifiedBy, "        ");
-    out += dumpSource("source", p.source ?? null, "        ");
+    out += dumpSource2("source", p.source ?? null, "        ");
     out += "      }\n";
   }
   out += "    }\n";
@@ -11795,7 +12371,7 @@ function dumpSubjectCharacteristics(map) {
       if (c.unit) {
         out += '        unit "' + escapeString(c.unit) + '"\n';
       }
-      out += dumpSource("source", c.source ?? null, "        ");
+      out += dumpSource2("source", c.source ?? null, "        ");
       out += "      }\n";
       continue;
     }
@@ -15106,140 +15682,398 @@ var parseDecisionRule = (id, data) => {
         const head = peek();
         if (head === void 0 || !head.startsWith("{")) {
           throw new Error(
-            `Parsing error: decision_rule. ID ${id}: legacy_kind ${kindId} is missing its block`
+            `Parsing error: decision_rule. ID ${id}: legacy_kind ${kindId} is missing its block`
+          );
+        }
+        rule.legacy_kinds.push(parseLegacyKind(kindId, unwrapBlock(value())));
+      } else if (keyword === "income") {
+        rule.income = stripWrapping(value());
+      } else if (keyword === "no_entrance_fees_for") {
+        rule.no_entrance_fees_for = parseIdList(value());
+      } else if (keyword === "source") {
+        rule.source = readSource(unwrapBlock(value()));
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "decision_rule", id }
+  );
+  return (ctx) => {
+    ctx.decisionRules[id] = rule;
+    return ctx;
+  };
+};
+function dumpVoteRule(label, rule) {
+  let out = "    " + label + " {\n";
+  if (rule.threshold > 0) {
+    out += "      threshold " + rule.threshold + "\n";
+  }
+  if (rule.base) {
+    out += "      base " + dumpBareSafe(rule.base) + "\n";
+  }
+  if (rule.clause) {
+    out += '      clause "' + escapeString(rule.clause) + '"\n';
+  }
+  if (rule.description) {
+    out += '      description "' + escapeString(rule.description) + '"\n';
+  }
+  out += "    }\n";
+  return out;
+}
+function dumpVoting(v) {
+  let out = "  voting {\n";
+  if (v.in_meeting) {
+    out += dumpVoteRule("in_meeting", v.in_meeting);
+  }
+  if (v.by_correspondence) {
+    out += dumpVoteRule("by_correspondence", v.by_correspondence);
+  }
+  if (v.other_proposals) {
+    const o = v.other_proposals;
+    out += "    other_proposals {\n";
+    if (o.in_meeting > 0) {
+      out += "      in_meeting " + o.in_meeting + "\n";
+    }
+    if (o.by_correspondence) {
+      out += "      by_correspondence " + dumpBareSafe(o.by_correspondence) + "\n";
+    }
+    if (o.description) {
+      out += '      description "' + escapeString(o.description) + '"\n';
+    }
+    out += "    }\n";
+  }
+  if (v.proxies_max > 0) {
+    out += "    proxies_max " + v.proxies_max + "\n";
+  }
+  if (v.abstentions) {
+    out += "    abstentions " + dumpBareSafe(v.abstentions) + "\n";
+  }
+  if (v.reason_on_against_or_abstain) {
+    out += "    reason_on_against_or_abstain true\n";
+  }
+  out += "  }\n";
+  return out;
+}
+function dumpIdList3(label, ids, indent) {
+  return indent + label + " { " + ids.map(dumpBareSafe).join(" ") + " }\n";
+}
+var dumpDecisionRule = function(r) {
+  let out = "decision_rule " + r.id + " {\n";
+  if (r.organ) {
+    out += "  organ " + dumpBareSafe(r.organ) + "\n";
+  }
+  if (r.kind) {
+    out += "  kind " + dumpBareSafe(r.kind) + "\n";
+  }
+  if (r.clause) {
+    out += '  clause "' + escapeString(r.clause) + '"\n';
+  }
+  if (r.description) {
+    out += '  description "' + escapeString(r.description) + '"\n';
+  }
+  if (r.on_recommendation_of) {
+    out += "  on_recommendation_of " + dumpBareSafe(r.on_recommendation_of) + "\n";
+  }
+  if (r.independent_of) {
+    out += "  independent_of " + dumpBareSafe(r.independent_of) + "\n";
+  }
+  if (r.decides.length > 0) {
+    out += dumpIdList3("decides", r.decides, "  ");
+  }
+  if (r.voting) {
+    out += dumpVoting(r.voting);
+  }
+  if (r.tasks.length > 0) {
+    out += dumpIdList3("tasks", r.tasks, "  ");
+  }
+  if (r.scope.length > 0) {
+    out += dumpIdList3("scope", r.scope, "  ");
+  }
+  if (r.principle) {
+    out += "  principle " + dumpBareSafe(r.principle) + "\n";
+  }
+  for (const k of r.legacy_kinds) {
+    out += "  legacy_kind " + dumpBareSafe(k.id) + " {\n";
+    if (k.clause) {
+      out += '    clause "' + escapeString(k.clause) + '"\n';
+    }
+    if (k.description) {
+      out += '    description "' + escapeString(k.description) + '"\n';
+    }
+    out += "  }\n";
+  }
+  if (r.income) {
+    out += "  income " + dumpBareSafe(r.income) + "\n";
+  }
+  if (r.no_entrance_fees_for.length > 0) {
+    out += dumpIdList3("no_entrance_fees_for", r.no_entrance_fees_for, "  ");
+  }
+  if (r.source.doc || r.source.clause) {
+    out += "  source {\n";
+    if (r.source.doc) {
+      out += '    doc "' + escapeString(r.source.doc) + '"\n';
+    }
+    if (r.source.clause) {
+      out += '    clause "' + escapeString(r.source.clause) + '"\n';
+    }
+    out += "  }\n";
+  }
+  out += "}\n";
+  return out;
+};
+
+// src/ser-des/config/documentModule.ts
+var parseDocumentModule = (id, data) => {
+  const module = {
+    id,
+    document: "",
+    title: "",
+    edition: "",
+    year: 0,
+    namespace: "",
+    sequence: [],
+    registers: [],
+    source: { doc: "", clause: "" }
+  };
+  forEachEntry(
+    data,
+    (keyword, value, peek) => {
+      if (keyword === "document") {
+        module.document = stripWrapping(value());
+      } else if (keyword === "title") {
+        module.title = stripWrapping(value());
+      } else if (keyword === "edition") {
+        module.edition = stripWrapping(value());
+      } else if (keyword === "year") {
+        module.year = parseInt(stripWrapping(value()), 10) || 0;
+      } else if (keyword === "namespace") {
+        module.namespace = stripWrapping(value());
+      } else if (keyword === "sequence") {
+        module.sequence = parseProcessSequence(unwrapBlock(value()));
+      } else if (keyword === "register") {
+        const regId = stripWrapping(value());
+        const head = peek();
+        if (head === void 0 || !head.startsWith("{")) {
+          throw new Error(
+            `Parsing error: document_module. ID ${id}: register ${regId} is missing its block`
+          );
+        }
+        module.registers.push(
+          parseProcessRegister(regId, unwrapBlock(value()))
+        );
+      } else if (keyword === "source") {
+        module.source = readSource(unwrapBlock(value()));
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "document_module", id }
+  );
+  return (ctx) => {
+    ctx.documentModules[id] = module;
+    return ctx;
+  };
+};
+var dumpDocumentModule = function(m) {
+  let out = "document_module " + m.id + " {\n";
+  if (m.document) {
+    out += '  document "' + escapeString(m.document) + '"\n';
+  }
+  if (m.title) {
+    out += '  title "' + escapeString(m.title) + '"\n';
+  }
+  if (m.edition) {
+    out += '  edition "' + escapeString(m.edition) + '"\n';
+  }
+  if (m.year) {
+    out += "  year " + m.year + "\n";
+  }
+  if (m.namespace) {
+    out += "  namespace " + dumpBareSafe(m.namespace) + "\n";
+  }
+  const seq = dumpProcessSequence(m.sequence);
+  if (seq) {
+    out += "  " + seq + "\n";
+  }
+  for (const r of m.registers) {
+    out += dumpProcessRegister(r, "  ");
+  }
+  if (m.source.doc || m.source.clause) {
+    out += "  source {\n";
+    if (m.source.doc) {
+      out += '    doc "' + escapeString(m.source.doc) + '"\n';
+    }
+    if (m.source.clause) {
+      out += '    clause "' + escapeString(m.source.clause) + '"\n';
+    }
+    out += "  }\n";
+  }
+  out += "}\n";
+  return out;
+};
+
+// src/ser-des/config/informativeAnnex.ts
+var ANNEX_DOCUMENT_ROLES = ["informative"];
+function parseAnnexDocument(block, annexId) {
+  const doc = {
+    id: "",
+    title: "",
+    edition: 0,
+    year: 0,
+    role: "",
+    source: ""
+  };
+  forEachEntry(
+    block,
+    (keyword, value) => {
+      if (keyword === "id") {
+        doc.id = stripWrapping(value());
+      } else if (keyword === "title") {
+        doc.title = stripWrapping(value());
+      } else if (keyword === "edition") {
+        doc.edition = parseInt(stripWrapping(value()), 10) || 0;
+      } else if (keyword === "year") {
+        doc.year = parseInt(stripWrapping(value()), 10) || 0;
+      } else if (keyword === "role") {
+        const role = stripWrapping(value());
+        if (!ANNEX_DOCUMENT_ROLES.includes(role)) {
+          throw new Error(
+            `Parsing error: informative_annex. ID ${annexId}: Unknown document role "${role}" (valid: ${ANNEX_DOCUMENT_ROLES.join(", ")})`
+          );
+        }
+        doc.role = role;
+      } else if (keyword === "source") {
+        doc.source = stripWrapping(value());
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "informative_annex document", id: annexId }
+  );
+  return doc;
+}
+function parseAnnexHighlight(id, block) {
+  const highlight = {
+    id,
+    clause: "",
+    title: "",
+    statement: "",
+    dischargedBy: ""
+  };
+  forEachEntry(
+    block,
+    (keyword, value) => {
+      if (keyword === "clause") {
+        highlight.clause = stripWrapping(value());
+      } else if (keyword === "title") {
+        highlight.title = stripWrapping(value());
+      } else if (keyword === "statement") {
+        highlight.statement = stripWrapping(value());
+      } else if (keyword === "discharged_by") {
+        highlight.dischargedBy = stripWrapping(value());
+      } else {
+        return false;
+      }
+      return true;
+    },
+    { construct: "informative_annex highlight", id }
+  );
+  return highlight;
+}
+var parseInformativeAnnex = (id, data) => {
+  const annex = {
+    id,
+    document: { id: "", title: "", edition: 0, year: 0, role: "", source: "" },
+    appliesTo: "",
+    appliedBy: "",
+    scope: "",
+    numberingCaution: "",
+    highlights: []
+  };
+  forEachEntry(
+    data,
+    (keyword, value, peek) => {
+      if (keyword === "document") {
+        annex.document = parseAnnexDocument(unwrapBlock(value()), id);
+      } else if (keyword === "applies_to") {
+        annex.appliesTo = stripWrapping(value());
+      } else if (keyword === "applied_by") {
+        annex.appliedBy = stripWrapping(value());
+      } else if (keyword === "scope") {
+        annex.scope = stripWrapping(value());
+      } else if (keyword === "numbering_caution") {
+        annex.numberingCaution = stripWrapping(value());
+      } else if (keyword === "highlight") {
+        const hlId = stripWrapping(value());
+        const head = peek();
+        if (head === void 0 || !head.startsWith("{")) {
+          throw new Error(
+            `Parsing error: informative_annex. ID ${id}: highlight ${hlId} is missing its block`
           );
         }
-        rule.legacy_kinds.push(parseLegacyKind(kindId, unwrapBlock(value())));
-      } else if (keyword === "income") {
-        rule.income = stripWrapping(value());
-      } else if (keyword === "no_entrance_fees_for") {
-        rule.no_entrance_fees_for = parseIdList(value());
-      } else if (keyword === "source") {
-        rule.source = readSource(unwrapBlock(value()));
+        annex.highlights.push(parseAnnexHighlight(hlId, unwrapBlock(value())));
       } else {
         return false;
       }
       return true;
     },
-    { construct: "decision_rule", id }
+    { construct: "informative_annex", id }
   );
   return (ctx) => {
-    ctx.decisionRules[id] = rule;
+    ctx.informativeAnnexes[id] = annex;
     return ctx;
   };
 };
-function dumpVoteRule(label, rule) {
-  let out = "    " + label + " {\n";
-  if (rule.threshold > 0) {
-    out += "      threshold " + rule.threshold + "\n";
-  }
-  if (rule.base) {
-    out += "      base " + dumpBareSafe(rule.base) + "\n";
-  }
-  if (rule.clause) {
-    out += '      clause "' + escapeString(rule.clause) + '"\n';
-  }
-  if (rule.description) {
-    out += '      description "' + escapeString(rule.description) + '"\n';
-  }
-  out += "    }\n";
-  return out;
-}
-function dumpVoting(v) {
-  let out = "  voting {\n";
-  if (v.in_meeting) {
-    out += dumpVoteRule("in_meeting", v.in_meeting);
+var dumpInformativeAnnex = function(a) {
+  let out = "informative_annex " + a.id + " {\n";
+  out += "  document {\n";
+  if (a.document.id) {
+    out += '    id "' + escapeString(a.document.id) + '"\n';
   }
-  if (v.by_correspondence) {
-    out += dumpVoteRule("by_correspondence", v.by_correspondence);
+  if (a.document.title) {
+    out += '    title "' + escapeString(a.document.title) + '"\n';
   }
-  if (v.other_proposals) {
-    const o = v.other_proposals;
-    out += "    other_proposals {\n";
-    if (o.in_meeting > 0) {
-      out += "      in_meeting " + o.in_meeting + "\n";
-    }
-    if (o.by_correspondence) {
-      out += "      by_correspondence " + dumpBareSafe(o.by_correspondence) + "\n";
-    }
-    if (o.description) {
-      out += '      description "' + escapeString(o.description) + '"\n';
-    }
-    out += "    }\n";
+  if (a.document.edition) {
+    out += "    edition " + a.document.edition + "\n";
   }
-  if (v.proxies_max > 0) {
-    out += "    proxies_max " + v.proxies_max + "\n";
+  if (a.document.year) {
+    out += "    year " + a.document.year + "\n";
   }
-  if (v.abstentions) {
-    out += "    abstentions " + dumpBareSafe(v.abstentions) + "\n";
+  if (a.document.role) {
+    out += "    role " + dumpBareSafe(a.document.role) + "\n";
   }
-  if (v.reason_on_against_or_abstain) {
-    out += "    reason_on_against_or_abstain true\n";
+  if (a.document.source) {
+    out += '    source "' + escapeString(a.document.source) + '"\n';
   }
   out += "  }\n";
-  return out;
-}
-function dumpIdList3(label, ids, indent) {
-  return indent + label + " { " + ids.map(dumpBareSafe).join(" ") + " }\n";
-}
-var dumpDecisionRule = function(r) {
-  let out = "decision_rule " + r.id + " {\n";
-  if (r.organ) {
-    out += "  organ " + dumpBareSafe(r.organ) + "\n";
-  }
-  if (r.kind) {
-    out += "  kind " + dumpBareSafe(r.kind) + "\n";
-  }
-  if (r.clause) {
-    out += '  clause "' + escapeString(r.clause) + '"\n';
-  }
-  if (r.description) {
-    out += '  description "' + escapeString(r.description) + '"\n';
-  }
-  if (r.on_recommendation_of) {
-    out += "  on_recommendation_of " + dumpBareSafe(r.on_recommendation_of) + "\n";
-  }
-  if (r.independent_of) {
-    out += "  independent_of " + dumpBareSafe(r.independent_of) + "\n";
+  if (a.appliesTo) {
+    out += "  applies_to " + dumpBareSafe(a.appliesTo) + "\n";
   }
-  if (r.decides.length > 0) {
-    out += dumpIdList3("decides", r.decides, "  ");
-  }
-  if (r.voting) {
-    out += dumpVoting(r.voting);
-  }
-  if (r.tasks.length > 0) {
-    out += dumpIdList3("tasks", r.tasks, "  ");
+  if (a.appliedBy) {
+    out += '  applied_by "' + escapeString(a.appliedBy) + '"\n';
   }
-  if (r.scope.length > 0) {
-    out += dumpIdList3("scope", r.scope, "  ");
+  if (a.scope) {
+    out += '  scope "' + escapeString(a.scope) + '"\n';
   }
-  if (r.principle) {
-    out += "  principle " + dumpBareSafe(r.principle) + "\n";
+  if (a.numberingCaution) {
+    out += '  numbering_caution "' + escapeString(a.numberingCaution) + '"\n';
   }
-  for (const k of r.legacy_kinds) {
-    out += "  legacy_kind " + dumpBareSafe(k.id) + " {\n";
-    if (k.clause) {
-      out += '    clause "' + escapeString(k.clause) + '"\n';
+  for (const h of a.highlights) {
+    out += "  highlight " + dumpBareSafe(h.id) + " {\n";
+    if (h.clause) {
+      out += '    clause "' + escapeString(h.clause) + '"\n';
     }
-    if (k.description) {
-      out += '    description "' + escapeString(k.description) + '"\n';
+    if (h.title) {
+      out += '    title "' + escapeString(h.title) + '"\n';
     }
-    out += "  }\n";
-  }
-  if (r.income) {
-    out += "  income " + dumpBareSafe(r.income) + "\n";
-  }
-  if (r.no_entrance_fees_for.length > 0) {
-    out += dumpIdList3("no_entrance_fees_for", r.no_entrance_fees_for, "  ");
-  }
-  if (r.source.doc || r.source.clause) {
-    out += "  source {\n";
-    if (r.source.doc) {
-      out += '    doc "' + escapeString(r.source.doc) + '"\n';
+    if (h.statement) {
+      out += '    statement "' + escapeString(h.statement) + '"\n';
     }
-    if (r.source.clause) {
-      out += '    clause "' + escapeString(r.source.clause) + '"\n';
+    if (h.dischargedBy) {
+      out += '    discharged_by "' + escapeString(h.dischargedBy) + '"\n';
     }
     out += "  }\n";
   }
@@ -15275,6 +16109,15 @@ var CONSTRUCTS = [
     resolve: resolveProcess,
     dump: dumpProcess
   }),
+  // The abstract-process model's file-level home (smart TODO.roadmap/40
+  // batch 2): the pipeline sequence + the participant/expert registers.
+  defineConstruct({
+    keyword: "process_model",
+    field: "processModels",
+    takesID: true,
+    parse: parseProcessModel,
+    dump: dumpProcessModel
+  }),
   defineConstruct({
     keyword: "approval",
     field: "approvals",
@@ -15498,6 +16341,22 @@ var CONSTRUCTS = [
     parse: parseCompetenceKind,
     dump: dumpCompetenceKind
   }),
+  // The ISO/IEC 17067 scheme-type register (smart TODO.roadmap/40 batch
+  // 2): the Table-1 activity menus + the scheme types.
+  defineConstruct({
+    keyword: "scheme_activity_kind",
+    field: "schemeActivityKinds",
+    takesID: true,
+    parse: parseSchemeActivityKind,
+    dump: dumpSchemeActivityKind
+  }),
+  defineConstruct({
+    keyword: "scheme_type",
+    field: "schemeTypes",
+    takesID: true,
+    parse: parseSchemeType,
+    dump: dumpSchemeType
+  }),
   // The relation registry (docs/primmel/18): declared ref predicates.
   defineConstruct({
     keyword: "predicate",
@@ -15650,6 +16509,23 @@ var CONSTRUCTS = [
     parse: parseDecisionRule,
     dump: dumpDecisionRule
   }),
+  // The per-document content modules + the informative annexes (smart
+  // TODO.roadmap/40 batch 2) — first-class what the directory convention
+  // carried; the declared namespace pin C119 prefers.
+  defineConstruct({
+    keyword: "document_module",
+    field: "documentModules",
+    takesID: true,
+    parse: parseDocumentModule,
+    dump: dumpDocumentModule
+  }),
+  defineConstruct({
+    keyword: "informative_annex",
+    field: "informativeAnnexes",
+    takesID: true,
+    parse: parseInformativeAnnex,
+    dump: dumpInformativeAnnex
+  }),
   // Primmel v3 twin interface (TODO.roadmap/32 — doctrine ch. 14 §14.4):
   // the connector-profile registry. Endpoints and serve bindings are NOT
   // top-level constructs — they are subject anatomy slots (is.endpoints /
@@ -15809,7 +16685,8 @@ var CONVENTION_DIRS = [
   "entities",
   "specification",
   "execution",
-  "evaluation"
+  "evaluation",
+  "framework"
 ];
 function collectPrlFiles(dir) {
   const out = [];
@@ -15991,6 +16868,9 @@ var MERGE_FIELDS = [
   "approvals",
   "roles",
   "processes",
+  // The abstract-process models (smart TODO.roadmap/40 batch 2) compose
+  // like the processes they sequence, with uses-no-redefine semantics.
+  "processModels",
   "pages",
   "gateways",
   "regs",
@@ -16015,6 +16895,11 @@ var MERGE_FIELDS = [
   "referenceMaterials",
   "testPointSets",
   "competenceKinds",
+  // The ISO/IEC 17067 scheme-type register (smart TODO.roadmap/40 batch
+  // 2) composes like every register — the scheme-side packages resolve
+  // their manifest `scheme_type` against it through `uses` (C122).
+  "schemeActivityKinds",
+  "schemeTypes",
   "constraints",
   "discrepancyRecords",
   "stateMachines",
@@ -16061,6 +16946,10 @@ var MERGE_FIELDS = [
   "documentPrecedences",
   "autoInclusions",
   "decisionRules",
+  // The document modules + informative annexes (smart TODO.roadmap/40
+  // batch 2) compose like the framework registers they sit beside.
+  "documentModules",
+  "informativeAnnexes",
   // The pre-existing drift closed (the packages-as-SSOT epic): these
   // collections existed as constructs but were never merged, so `uses`
   // composition silently dropped them — comments, predicates, the
@@ -16155,6 +17044,11 @@ function composePackage(rootDir, options, rootManifest, withProvenance = false)
   }
   const ownedScopes = /* @__PURE__ */ new Map();
   const harvestScopes = (id, ctx) => {
+    for (const m of Object.values(ctx.documentModules)) {
+      if (m.namespace !== "" && !ownedScopes.has(m.namespace)) {
+        ownedScopes.set(m.namespace, id);
+      }
+    }
     for (const key of Object.keys(ctx.requirementClasses)) {
       if (!ownedScopes.has(key)) {
         ownedScopes.set(key, id);
@@ -16906,6 +17800,11 @@ var TIER_BY_FIELD = {
   variables: "foundations",
   figures: "foundations",
   activityArchetypes: "foundations",
+  // The ISO/IEC 17067 scheme-type register (smart TODO.roadmap/40 batch
+  // 2) is foundations beside the activity archetypes: a vocabulary other
+  // content classifies against.
+  schemeActivityKinds: "foundations",
+  schemeTypes: "foundations",
   connectorProfiles: "foundations",
   subjects: "primary",
   instruments: "primary",
@@ -16930,6 +17829,13 @@ var TIER_BY_FIELD = {
   testPointSets: "secondary",
   referenceMaterials: "secondary",
   processes: "tertiary",
+  // Process models (smart TODO.roadmap/40 batch 2) are tertiary beside
+  // processes: the pipeline sequence/registers are the abstract-process
+  // model's file-level furniture.
+  processModels: "tertiary",
+  // Document modules (smart TODO.roadmap/40 batch 2) are tertiary beside
+  // processes: the module is the pipeline's document-level furniture.
+  documentModules: "tertiary",
   pages: "tertiary",
   dataclasses: "tertiary",
   regs: "tertiary",
@@ -16946,6 +17852,11 @@ var TIER_BY_FIELD = {
   viewProfiles: "tertiary",
   provisions: "tertiary",
   notes: "cross-cutting",
+  // Informative annexes (smart TODO.roadmap/40 batch 2) are
+  // cross-cutting beside notes: an annex binds cited guidance into the
+  // module — annotation about the document set, not machinery inside
+  // the model.
+  informativeAnnexes: "cross-cutting",
   // Invariants (smart gap-close E9) are cross-cutting beside notes: the
   // typed replacement for the note-family encoding — doctrine about the
   // model, not machinery inside it (the enforcement claims point at the
@@ -18030,6 +18941,56 @@ var CHECK_RULES = [
     "normal",
     "smart TODO.roadmap/40 (the packages-as-SSOT epic)"
   ),
+  // C121 (smart TODO.roadmap/40 batch 2; the packages-as-SSOT epic): the
+  // abstract-process model's framework bindings resolve — the process's
+  // roles / organs / participant_kinds lists, the decision rule, the
+  // declaration kind + the sign|update action vocabulary, the discharged
+  // declaration gate, realized_by → process, approved_by → approval, and
+  // the calendar windows' shape (kind vocabulary; exactly one of
+  // years/months); the process_model's sequence members and register
+  // maintainers ride the same rule. Per-register gating (the C58
+  // doctrine): an edge is checked only when its target register is in
+  // composition scope.
+  R(
+    "C121",
+    "abstract-process-references-resolve",
+    "process",
+    "error",
+    "normal",
+    "smart TODO.roadmap/40 batch 2 (the packages-as-SSOT epic)"
+  ),
+  // C122 (smart TODO.roadmap/40 batch 2; the packages-as-SSOT epic): the
+  // ISO/IEC 17067 register is composable — a manifest's scheme_type
+  // token resolves against the composed scheme_type register when one is
+  // in scope, and a scheme_type's determination / attestation /
+  // surveillance.activities entries resolve against the composed
+  // scheme_activity_kind menus. Per-register gating (the C58 doctrine);
+  // the register-free fallback stays (the C89 spelling precedent), and
+  // C98's hard-coded no-surveillance set defers to the register's
+  // surveillance.required when the register is in scope.
+  R(
+    "C122",
+    "scheme-type-resolves",
+    "composition",
+    "error",
+    "normal",
+    "smart TODO.roadmap/40 batch 2 (the packages-as-SSOT epic)"
+  ),
+  // C123 (smart TODO.roadmap/40 batch 2; the packages-as-SSOT epic): the
+  // document module's edges resolve — sequence members → process,
+  // register maintainers → governance_organ (per-register gated, the C58
+  // doctrine), the declared namespace is an absolute requirement-
+  // namespace path (the pin C119 now prefers over the requirement_class-
+  // id derivation), and the informative annex's applies_to names a known
+  // package (locator-gated, the C97-class resolution discipline).
+  R(
+    "C123",
+    "document-module-references-resolve",
+    "composition",
+    "error",
+    "normal",
+    "smart TODO.roadmap/40 batch 2 (the packages-as-SSOT epic)"
+  ),
   // ── quantities / time / duality (TODO.roadmap/06) ─────────────────
   R(
     "C32",
@@ -20756,6 +21717,12 @@ function checkPackage(dir, options = {}) {
             );
             continue;
           }
+          if (s.period !== "" || s.barred.length > 0) {
+            err(
+              "C59",
+              `process ${p.id}: segregation constraint "${s.id}" is case_personnel_disjoint but declares ${s.period !== "" ? `period "${s.period}"` : "barred relations"} \u2014 a disjoint constraint is ONLY a pair; the period/barred facets belong to consultancy_bar (segregation-members-resolve)`
+            );
+          }
           const [a, b] = s.pair;
           if (a === b) {
             err(
@@ -20777,8 +21744,150 @@ function checkPackage(dir, options = {}) {
               `process ${p.id}: segregation constraint "${s.id}" is declared on process "${p.id}" but neither pair member is "${p.id}" \u2014 the constrained process owns its segregation constraints (segregation-members-resolve)`
             );
           }
+        } else {
+          if (s.barred.length === 0) {
+            err(
+              "C59",
+              `process ${p.id}: segregation constraint "${s.id}" is consultancy_bar but bars no client relation \u2014 the barred list is required (segregation-members-resolve)`
+            );
+          }
+          if (s.pair.length > 0) {
+            err(
+              "C59",
+              `process ${p.id}: segregation constraint "${s.id}" is consultancy_bar but declares a pair \u2014 the pair is the case_personnel_disjoint shape; a bar carries barred relations and an optional period only (segregation-members-resolve)`
+            );
+          }
+        }
+      }
+    }
+  }
+  {
+    const apRoleIds = new Set((standard.roles ?? []).map((r) => r.id));
+    const apGateIds = new Set((standard.declarationGates ?? []).map((g) => g.id));
+    const apRuleIds = new Set((standard.decisionRules ?? []).map((r) => r.id));
+    const apApprovalIds = new Set((standard.approvals ?? []).map((a) => a.id));
+    const resolveOrganAp = (where, facet, id) => {
+      if (organIds.size > 0 && id !== "" && !organIds.has(id)) {
+        err(
+          "C121",
+          `${where}: ${facet} "${id}" is not a declared governance organ (abstract-process-references-resolve)`
+        );
+      }
+    };
+    const resolveKindAp = (where, facet, id) => {
+      if (kindIds.size > 0 && id !== "" && !kindIds.has(id)) {
+        err(
+          "C121",
+          `${where}: ${facet} "${id}" is not a declared participant kind (abstract-process-references-resolve)`
+        );
+      }
+    };
+    const resolveDeclarationAp = (where, facet, id) => {
+      if (declIds.size > 0 && id !== "" && !declIds.has(id)) {
+        err(
+          "C121",
+          `${where}: ${facet} "${id}" is not a declared declaration kind (abstract-process-references-resolve)`
+        );
+      }
+    };
+    const resolveProcessRef = (where, facet, id) => {
+      if (frameworkProcessIds.size > 0 && !frameworkProcessIds.has(id)) {
+        err(
+          "C121",
+          `${where}: ${facet} "${id}" is not a declared process (abstract-process-references-resolve)`
+        );
+      }
+    };
+    for (const p of standard.processes ?? []) {
+      const where = `process ${p.id}`;
+      if (apRoleIds.size > 0) {
+        for (const r of p.roles ?? []) {
+          if (!apRoleIds.has(r)) {
+            err(
+              "C121",
+              `${where}: roles "${r}" is not a declared role (abstract-process-references-resolve)`
+            );
+          }
+        }
+      }
+      for (const o of p.organs ?? []) {
+        resolveOrganAp(where, "organs", o);
+      }
+      for (const k of p.participantKinds ?? []) {
+        resolveKindAp(where, "participant_kinds", k);
+      }
+      if (p.decision) {
+        if (p.decision.rule === "") {
+          err(
+            "C121",
+            `${where}: the decision facet declares no rule \u2014 a decision names the decision_rule it applies (abstract-process-references-resolve)`
+          );
+        } else if (apRuleIds.size > 0 && !apRuleIds.has(p.decision.rule)) {
+          err(
+            "C121",
+            `${where}: decision.rule "${p.decision.rule}" is not a declared decision rule (abstract-process-references-resolve)`
+          );
+        }
+      }
+      if (p.declaration) {
+        if (p.declaration.kind === "") {
+          err(
+            "C121",
+            `${where}: the declaration facet declares no kind \u2014 a declaration names the declaration_kind it signs or updates (abstract-process-references-resolve)`
+          );
+        } else {
+          resolveDeclarationAp(where, "declaration.kind", p.declaration.kind);
+        }
+        if (p.declaration.action !== "sign" && p.declaration.action !== "update") {
+          err(
+            "C121",
+            `${where}: declaration action "${p.declaration.action || "(none)"}" \u2014 a declaration is signed or updated (valid: sign, update) (abstract-process-references-resolve)`
+          );
+        }
+      }
+      if (p.dischargesGate !== "" && apGateIds.size > 0 && !apGateIds.has(p.dischargesGate)) {
+        err(
+          "C121",
+          `${where}: discharges_gate "${p.dischargesGate}" is not a declared declaration gate (abstract-process-references-resolve)`
+        );
+      }
+      for (const r of p.realizedBy ?? []) {
+        resolveProcessRef(where, "realized_by", r);
+      }
+      if (apApprovalIds.size > 0) {
+        for (const a of p.approvedBy ?? []) {
+          if (!apApprovalIds.has(a)) {
+            err(
+              "C121",
+              `${where}: approved_by "${a}" is not a declared approval (abstract-process-references-resolve)`
+            );
+          }
         }
       }
+      for (const w of p.windows ?? []) {
+        const wwhere = `${where} window ${w.id}`;
+        if (w.kind !== "max_elapsed" && w.kind !== "min_elapsed") {
+          err(
+            "C121",
+            `${wwhere}: kind "${w.kind || "(none)"}" \u2014 a calendar window is a deadline or a cooling-off (valid: max_elapsed, min_elapsed) (abstract-process-references-resolve)`
+          );
+        }
+        if (w.windowYears > 0 === w.windowMonths > 0) {
+          err(
+            "C121",
+            `${wwhere}: the window duration declares ${w.windowYears > 0 ? "both years and months" : "neither years nor months"} \u2014 exactly one is required (the scheme_lifecycle window sub-grammar) (abstract-process-references-resolve)`
+          );
+        }
+      }
+    }
+    for (const m of standard.processModels ?? []) {
+      const where = `process_model ${m.id}`;
+      for (const s of m.sequence ?? []) {
+        resolveProcessRef(where, "sequence", s);
+      }
+      for (const r of m.registers ?? []) {
+        resolveOrganAp(`${where} register ${r.id}`, "maintainer", r.maintainer);
+      }
     }
   }
   {
@@ -21851,6 +22960,86 @@ function checkPackage(dir, options = {}) {
       }
     }
   }
+  {
+    const schemeTypeIds = new Set((standard.schemeTypes ?? []).map((t) => t.id));
+    const menuIds = new Set(
+      (standard.schemeActivityKinds ?? []).map((k) => k.id)
+    );
+    const manifestSchemeType = standard.packageManifest?.schemeType;
+    if (schemeTypeIds.size > 0 && manifestSchemeType && !schemeTypeIds.has(manifestSchemeType)) {
+      err(
+        "C122",
+        `package "${standard.packageManifest.id}": scheme_type "${manifestSchemeType}" is not a declared scheme type of the in-scope ISO/IEC 17067 register (scheme-type-resolves)`
+      );
+    }
+    if (menuIds.size > 0) {
+      const resolveMenuEntry = (where, facet, id) => {
+        if (!menuIds.has(id)) {
+          err(
+            "C122",
+            `${where}: ${facet} "${id}" is not a declared scheme activity kind (scheme-type-resolves)`
+          );
+        }
+      };
+      for (const t of standard.schemeTypes ?? []) {
+        const where = `scheme_type ${t.id}`;
+        for (const d of t.determination) {
+          resolveMenuEntry(where, "determination", d);
+        }
+        for (const a of t.attestation) {
+          resolveMenuEntry(where, "attestation", a);
+        }
+        for (const s of t.surveillance?.activities ?? []) {
+          resolveMenuEntry(where, "surveillance.activities", s);
+        }
+      }
+    }
+  }
+  {
+    const dmOrganIds = new Set(
+      (standard.governanceOrgans ?? []).map((o) => o.id)
+    );
+    const dmProcessIds = new Set((standard.processes ?? []).map((p) => p.id));
+    for (const m of standard.documentModules ?? []) {
+      const where = `document_module ${m.id}`;
+      if (m.namespace !== "" && !m.namespace.startsWith("/")) {
+        err(
+          "C123",
+          `${where}: namespace "${m.namespace}" is not an absolute requirement-namespace path (e.g. /req/cs/${m.id}) \u2014 the declared pin C119 guards must be a path (document-module-references-resolve)`
+        );
+      }
+      if (dmProcessIds.size > 0) {
+        for (const s of m.sequence ?? []) {
+          if (!dmProcessIds.has(s)) {
+            err(
+              "C123",
+              `${where}: sequence "${s}" is not a declared process (document-module-references-resolve)`
+            );
+          }
+        }
+      }
+      if (dmOrganIds.size > 0) {
+        for (const r of m.registers ?? []) {
+          if (r.maintainer !== "" && !dmOrganIds.has(r.maintainer)) {
+            err(
+              "C123",
+              `${where} register ${r.id}: maintainer "${r.maintainer}" is not a declared governance organ (document-module-references-resolve)`
+            );
+          }
+        }
+      }
+    }
+    if (options.resolvePackage) {
+      for (const a of standard.informativeAnnexes ?? []) {
+        if (a.appliesTo !== "" && !resolveDepManifest(a.appliesTo)) {
+          err(
+            "C123",
+            `informative_annex ${a.id}: applies_to "${a.appliesTo}" does not resolve to a known package \u2014 the CASCO layer the annex applies to must resolve (document-module-references-resolve)`
+          );
+        }
+      }
+    }
+  }
   if (productManifest?.kind === "certification_program") {
     const mapsTo = productManifest.mapsTo ?? [];
     if (mapsTo.length === 0) {
@@ -21879,7 +23068,11 @@ function checkPackage(dir, options = {}) {
       }
     }
     const SCHEME_TYPES_WITHOUT_SURVEILLANCE = /* @__PURE__ */ new Set(["type_1a", "type_1b"]);
-    if (productManifest.schemeType && SCHEME_TYPES_WITHOUT_SURVEILLANCE.has(productManifest.schemeType)) {
+    const registerEntry = (standard.schemeTypes ?? []).find(
+      (t) => t.id === productManifest.schemeType
+    );
+    const noSurveillance = registerEntry ? !registerEntry.surveillance?.required : SCHEME_TYPES_WITHOUT_SURVEILLANCE.has(productManifest.schemeType ?? "");
+    if (productManifest.schemeType && noSurveillance) {
       const claims = [];
       if ((standard.monitors ?? []).length > 0) {
         claims.push(