@sdd-method/maintain-cli 0.11.0 → 0.12.0

package/dist/lib/catalogue/canonical-schema.yaml

@@ -7,7 +7,7 @@
 # Emitted by sdd-cli's YAML emitter with no line folding; the three header scalars are quoted for the
 # textual readers downstream. The one deliberate difference from the authored form is schema_status:
 # the authored form says canonical; a projection never does.
-schema_version: "4.2.0"
+schema_version: "5.0.0"
 schema_owner: "sdd-method"
 schema_status: "generated"
 enums:
@@ -620,6 +620,8 @@ enums:
       description: "In the living spec: shipped behaviour."
     - value: agreed
       description: Added by an open change whose agreement record is agreed; not yet shipped.
+    - value: retired
+      description: "Removed by an archived change's REMOVED delta: kept so its lineage shows the removal; no status."
     description: Where a catalogued requirement stands (M-ADR 0221 §4.4).
   requirement_change_kind:
     values:
@@ -633,7 +635,8 @@ enums:
     - value: ADDED
     - value: MODIFIED
     - value: RENAMED
-    description: How a change's delta treated a requirement that is current now (a removed requirement has no row).
+    - value: REMOVED
+    description: How a change's delta treated a requirement.
   requirement_status_value:
     values:
     - value: agreed
@@ -664,10 +667,33 @@ enums:
   work_order_status:
     values:
     - value: agreed
-      description: Agreed; the repository's work is not yet judged.
+      description: Agreed; the change has not yet archived on a passing judge.
     - value: completed
-      description: Marked completed by a passing judge.
+      description: "Completed: the change archived on a passing judge, after every repository merged its judged commit."
     description: A work order's status in its change's agreement record (M-ADR 0223 §4.2, §4.6).
+  feature_status:
+    values:
+    - value: active
+      description: The feature's behaviour is live or being built.
+    - value: retired
+      description: Its behaviour was retired by an archived change; kept so its retired requirements resolve.
+    description: A catalogued feature's status (M-ADR 0221 §4.5).
+  feature_kind:
+    values:
+    - value: feature
+      description: "A product or capability feature: the default."
+    - value: obligation
+      description: Behaviour every feature in a population depends on, owned as a feature of its own (M-ADR 0226, Proposed).
+    - value: journey
+      description: A user journey's joint behaviour, held in the behaviour store (M-ADR 0229 §4.2, option B; Proposed).
+    description: What a catalogued feature is (M-ADR 0226 and M-ADR 0229, both Proposed).
+  journey_requirement_basis:
+    values:
+    - value: tag
+      description: A @req tag in the journey's end-to-end test file (option A).
+    - value: citation
+      description: A citation in the journey feature's living spec (option B).
+    description: Where a journey's citation of a requirement was read (M-ADR 0229 §4.4, Proposed).
 catalogues:
   domains:
     primary_key: id
@@ -1454,7 +1480,7 @@ catalogues:
     - name: status
       type: string
       nullable: false
-      description: Default 'active'.
+      description: "Bound to feature_status: active, or retired when the feature spec says **Status:** retired (its behaviour retired by an archived change)."
     - name: source
       type: string
       nullable: false
@@ -1463,6 +1489,10 @@ catalogues:
       type: string
       nullable: true
       description: Optional adopter-owned lifecycle / migration marker. Free string at method level — the schema declares no enum and ships no controlled vocabulary. Adopters MAY declare a per-SDD `feature-runway-vocabulary.yaml` at their SDD root; when present, the canonical builder validates captured values against it and emits a `convention` finding for unknown values. Empty when the adopter does not track migration state. Comparability across SDDs requires ecosystem-level vocabulary alignment as an explicit pre-step. Added in schema 2.2.0.
+    - name: kind
+      type: string
+      nullable: false
+      description: "Bound to feature_kind: feature (the default), obligation (M-ADR 0226, Proposed) or journey (M-ADR 0229 §4.2, Proposed), from the feature spec's **Kind:** line."
     - name: source_sdd_id
       type: string
       nullable: true
@@ -1485,6 +1515,8 @@ catalogues:
       references: features.id
       nullable: true
     column_enums:
+      status: enums.feature_status
+      kind: enums.feature_kind
       source: enums.feature_source
       maturity: enums.artefact_maturity
   personas:
@@ -4188,7 +4220,7 @@ catalogues:
     - name: stage
       type: string
       nullable: false
-      description: "Bound to requirement_stage: living (in the living spec) or agreed (added by an open change whose agreement record is agreed)."
+      description: "Bound to requirement_stage: living (in the living spec), agreed (added by an open change whose agreement record is agreed) or retired (removed by an archived change)."
     - name: spec_path
       type: string
       nullable: false
@@ -4225,7 +4257,7 @@ catalogues:
     - name: change_id
       type: string
       nullable: false
-      description: The archived change's directory name (its archive date prefix included); a changes.id.
+      description: "The archived change's id: <sdd_id>::<archive directory> (its archive date prefix included); a changes.id."
     - name: change_kind
       type: string
       nullable: false
@@ -4233,7 +4265,7 @@ catalogues:
     - name: operation
       type: string
       nullable: false
-      description: "Bound to requirement_operation: how the change's delta treated the requirement."
+      description: "Bound to requirement_operation: how the change's delta treated the requirement; REMOVED retires it."
     - name: archived_on
       type: string
       nullable: false
@@ -4278,7 +4310,7 @@ catalogues:
     - name: basis
       type: string
       nullable: false
-      description: "The change that produced the status: the open change's or the archived change's directory name."
+      description: "The change that produced the status: its changes.id, <sdd_id>::<directory>."
     - name: source_sdd_id
       type: string
       nullable: true
@@ -4287,7 +4319,7 @@ catalogues:
       type: string
       nullable: true
       description: The platform SDD the row belongs to (stamped at aggregation).
-    description: "Edge: a requirement's status in a repository that implements it (M-ADR 0221 §4.5; M-ADR 0223 §4.7). Derived, never authored: agreed from an open agreed change's work orders, declared-shipped from an archived change's PASS verdict and its work orders, observed from a baseline's evidence. The latest event in archive order wins."
+    description: "Edge: a requirement's status in a repository that implements it (M-ADR 0221 §4.5; M-ADR 0223 §4.7). Derived, never authored: agreed from an open agreed change's work orders, declared-shipped from an archived change's PASS verdict and its work orders, observed from a baseline's evidence. The latest event in archive order wins. Limitation: a requirement and repository hold one status. An agreed open change's status replaces the evidence about the revision that is live until the change archives, and evidence is not bound to the requirement revision it concerns."
     foreign_keys:
     - column: requirement_id
       references: requirements.id
@@ -4303,7 +4335,7 @@ catalogues:
     - name: id
       type: string
       nullable: false
-      description: "The change's directory name: the open change's name, or the archived change's directory (its archive date prefix included). requirement_lineage.change_id references it."
+      description: "<sdd_id>::<directory>: the SDD the store belongs to and the change's directory name there, the open change's name or the archived change's directory (its archive date prefix included). A change name is its store's own, so the SDD is part of its identity: two SDDs' changes of one name are two changes. requirement_lineage.change_id references it."
     - name: name
       type: string
       nullable: false
@@ -4354,7 +4386,7 @@ catalogues:
     - name: status
       type: string
       nullable: false
-      description: "Bound to work_order_status: the record's status for the work order; a judge PASS marks it completed (M-ADR 0223 §4.6)."
+      description: "Bound to work_order_status: the record's status for the work order; the change archiving on a judge PASS marks it completed (M-ADR 0223 §4.6)."
     - name: source_sdd_id
       type: string
       nullable: true
@@ -4379,11 +4411,11 @@ catalogues:
     - name: id
       type: string
       nullable: false
-      description: "<change_name>__<work_item_id>: keyed by the change's undated name, so the row is the same before and after archive."
+      description: "<sdd_id>::<change_name>__<work_item_id>: keyed by the SDD and the change's undated name, so the row is the same before and after archive."
     - name: change_id
       type: string
       nullable: false
-      description: "The change as it stands now: its open name, or its archive directory."
+      description: "The change as it stands now (a changes.id): <sdd_id>:: with its open name or its archive directory."
     - name: change_name
       type: string
       nullable: false
@@ -4405,3 +4437,38 @@ catalogues:
     - column: change_id
       references: changes.id
       nullable: false
+  journey_requirement:
+    primary_key: id
+    columns:
+    - name: id
+      type: string
+      nullable: false
+      description: <journey_id>__<requirement_id>.
+    - name: journey_id
+      type: string
+      nullable: false
+    - name: requirement_id
+      type: string
+      nullable: false
+    - name: basis
+      type: string
+      nullable: false
+      description: "Bound to journey_requirement_basis: where the citation was read."
+    - name: source_sdd_id
+      type: string
+      nullable: true
+      description: Originating SDD (stamped at aggregation; empty in a per-SDD build).
+    - name: platform_sdd_id
+      type: string
+      nullable: true
+      description: The platform SDD the row belongs to (stamped at aggregation).
+    description: "Edge: a requirement a user journey cites for one of its steps (M-ADR 0229 §4.4, Proposed). Derived, never authored: from the @req tags in the journey's end-to-end test file, or from the citations in its journey feature's living spec. A journey with no row is untraced."
+    foreign_keys:
+    - column: journey_id
+      references: user_journeys.id
+      nullable: false
+    - column: requirement_id
+      references: requirements.id
+      nullable: false
+    column_enums:
+      basis: enums.journey_requirement_basis

package/dist/lib/catalogue/manifest-loader.js

@@ -218,6 +218,16 @@ const ManifestSchema = z.object({
     // Shared-library trait (sdd-manifest-schema 1.12.0, M-ADR 0217 §4.4). Profile-agnostic,
     // like `exemplar`; absent is the unmarked norm, no finding.
     shared_library: z.boolean().optional(),
+    // Where this estate's journey behaviour is mastered (sdd-manifest-schema 1.13.0, M-ADR 0229 §4.2, Proposed).
+    // `master` is declared at the root, and journey-impact treats a member naming its platform as inheriting it.
+    // `test_paths` is never inherited: it is relative to this SDD, so an SDD that holds end-to-end files declares
+    // its own block, with the master and its paths. Unknown values fail at load.
+    journeys: z
+        .object({
+        master: z.enum(["test-file", "store"]),
+        test_paths: z.array(z.string()).optional(),
+    })
+        .optional(),
     // Application-product archetype trait (M-ADR 0191, sdd-manifest-schema
     // 1.2.0). RESOLVED enum, not fixed: the loader validates only the slug
     // shape here. Whether the value resolves against the active vocabulary
@@ -378,6 +388,9 @@ export async function loadSddManifest(sddPath, options) {
         ...(parsed.data.packaging !== undefined ? { packaging: parsed.data.packaging } : {}),
         ...(parsed.data.exemplar !== undefined ? { exemplar: parsed.data.exemplar } : {}),
         ...(parsed.data.shared_library !== undefined ? { sharedLibrary: parsed.data.shared_library } : {}),
+        ...(parsed.data.journeys !== undefined
+            ? { journeys: { master: parsed.data.journeys.master, testPaths: parsed.data.journeys.test_paths ?? [] } }
+            : {}),
         ...(parsed.data.application_archetype !== undefined
             ? { applicationArchetype: parsed.data.application_archetype }
             : {}),

package/dist/lib/catalogue/rubric-coverage-map.yaml

@@ -933,3 +933,21 @@ coverage:
     kind: enum
     scoring: not-applicable
     reason: closed vocabulary, not an artefact
+  feature_status:
+    kind: enum
+    scoring: not-applicable
+    reason: closed vocabulary, not an artefact
+  journey_requirement:
+    kind: edge
+    scoring: derived-edge
+    class: dependency
+    impact_flow: toward-source
+    reason: derived from end-to-end test tags or journey features' living specs
+  feature_kind:
+    kind: enum
+    scoring: not-applicable
+    reason: closed vocabulary, not an artefact
+  journey_requirement_basis:
+    kind: enum
+    scoring: not-applicable
+    reason: closed vocabulary, not an artefact

package/dist/lib/catalogue/schema-compat.js

@@ -27,7 +27,7 @@
  * M-ADR 0134 §4.6 (canonical builder + aggregator).
  */
 export const SCHEMA_COMPAT = {
-    catalogue_schema: "^4.0.0",
+    catalogue_schema: "^5.0.0",
     sdd_manifest: "^1.0.0",
     aggregation_manifest: "^1.0.0",
 };

package/dist/lib/metamodel/tql-subset-parser.js

@@ -174,7 +174,13 @@ export function parseTypes(text, fileLabel = "catalogue-schema.tql", options = {
                     throw new ParseError(`${where}: plays needs <relation>:<role>`);
                 if (decl.plays.has(w[1]))
                     throw new ParseError(`${where}: ${lab} plays ${w[1]} twice`);
-                decl.plays.set(w[1], parseAnnotations(w.slice(2), where));
+                const ann = parseAnnotations(w.slice(2), where);
+                // A plays clause's cardinality constrains participation, which the relational projection has no place for:
+                // refused, so a constraint the model gained can never be dropped by the projection with the gate green.
+                if (ann.key || ann.required || ann.multi || ann.optional) {
+                    throw new ParseError(`${where}: ${lab} plays ${w[1]} with a cardinality annotation; participation cardinality cannot be projected onto the catalogue schema, so it is not admitted`);
+                }
+                decl.plays.set(w[1], ann);
             }
             else if (head === "relates") {
                 if (kind !== "relation")
@@ -225,6 +231,16 @@ export function parseTypes(text, fileLabel = "catalogue-schema.tql", options = {
 }
 const ROW_RE = /^insert \$m isa ([a-z][a-z0-9-]*), (.*);$/;
 const TOK_RE = /has ([a-z][a-z0-9-]*) ("(?:[^"\\]|\\.)*"|-?\d+|true|false)/y;
+function valueFamily(v) {
+    return typeof v === "boolean" ? "boolean" : typeof v === "number" ? "integer" : "string";
+}
+function attrFamily(valueType) {
+    if (valueType === undefined)
+        return undefined;
+    if (valueType === "long" || valueType === "integer")
+        return "integer";
+    return valueType;
+}
 export function parseMeta(text, fileLabel = "catalogue-schema-meta.tql", options = {}) {
     const metaTypes = options.metaTypes ?? META_TYPES;
     const rows = new Map();
@@ -268,9 +284,26 @@ export function parseMeta(text, fileLabel = "catalogue-schema-meta.tql", options
             else
                 throw new ParseError(`${where}: expected ', has ...' at offset ${i}: ${JSON.stringify(body.slice(i, i + 40))}`);
         }
+        const decl = options.types?.entities.get(typ);
+        if (options.types && !decl)
+            throw new ParseError(`${where}: meta type ${typ} is not declared in the type file`);
+        if (decl) {
+            for (const [k, vs] of acc) {
+                const own = decl.owns.get(k);
+                if (!own)
+                    throw new ParseError(`${where}: ${typ} does not own ${k}; an undeclared meta property is refused, not ignored`);
+                if (!own.multi && vs.length > 1)
+                    throw new ParseError(`${where}: ${typ}.${k} is a single value and appears ${vs.length} times; a repeated scalar is refused, not reduced to its first value`);
+                const fam = attrFamily(options.types.attrs.get(k));
+                for (const v of vs) {
+                    if (fam !== undefined && valueFamily(v) !== fam)
+                        throw new ParseError(`${where}: ${typ}.${k} holds ${JSON.stringify(v)}, but ${k} is of value type ${options.types.attrs.get(k)}`);
+                }
+            }
+        }
         const row = {};
         for (const [k, vs] of acc)
-            row[k] = LIST_KEYS.has(k) ? vs : vs[0];
+            row[k] = (decl ? decl.owns.get(k).multi : LIST_KEYS.has(k)) ? vs : vs[0];
         const list = rows.get(typ) ?? [];
         list.push(row);
         rows.set(typ, list);

package/dist/lib/validate/agreement-evidence.js

@@ -0,0 +1,204 @@
+// What an agreement binds and what a verdict must show (M-ADR 0222 §4.6, M-ADR 0223 §4.4-§4.6).
+// Pure text helpers; behaviour-store.ts runs them against git.
+//
+//   agreed content   the change's proposal, deltas, Gate 0, design, tasks (checkboxes ignored) and the test plan's
+//                    scenario-to-test rows (its Before and After cells ignored) are what was approved. Each is compared
+//                    with its state at the record's pinned commit: the latest amendment's commit, else sdd.commit.
+//   requirement      a requirement's block in a spec: its heading to the next requirement or section heading. The
+//                    stale check compares the blocks a change targets, not the whole file.
+//   scenario kind    changed (a scenario of an ADDED requirement, or one of a MODIFIED requirement that is new or
+//                    differs from the living spec's scenario of the same title) goes red then green; carried (identical
+//                    to the living spec's) is regression and stays green.
+//   verdict line     verdict.md's own verdict: `Verdict: PASS|FAIL` or a leading `**PASS**`/`**FAIL**`.
+/** The files under a change directory that agreement binds, relative to the change directory. */
+export function boundFile(rel) {
+    return /^(proposal|design|gate-0|tasks|test-plan)\.md$/.test(rel) || /^specs\/.+\/spec\.md$/.test(rel);
+}
+/** A bound file's content as agreement compares it: all of it, with only the fields execution fills in masked. */
+export function normaliseBound(rel, text) {
+    if (rel === "tasks.md")
+        return text.replace(/^(\s*-\s*\[)\s*[xX~]?\s*(\])/gm, "$1 $2").trimEnd();
+    if (rel === "test-plan.md")
+        return normaliseTestPlan(text);
+    return text.trimEnd();
+}
+/**
+ * The test plan as agreed. Masked, because execution fills them in: the last two cells (Before and After) of each
+ * row of the scenario table, the whole Ledger section, and the last two cells (Killed by and Result) of each row of
+ * the Mutants table. Everything else, the stand-ins and any strategy or limitation stated, stays bound.
+ */
+export function normaliseTestPlan(text) {
+    const out = [];
+    let section = "";
+    for (const line of text.split("\n")) {
+        const h = /^##\s+(.+?)\s*$/.exec(line);
+        if (h) {
+            section = h[1].toLowerCase();
+            out.push(line);
+            continue;
+        }
+        if (section === "ledger")
+            continue;
+        if ((section === "" || section === "mutants") && /^\s*\|/.test(line)) {
+            const cells = line.trim().replace(/^\||\|$/g, "").split("|").map((c) => c.trim());
+            out.push(cells.slice(0, Math.max(0, cells.length - 2)).join(" | "));
+            continue;
+        }
+        out.push(line);
+    }
+    return out.join("\n").trimEnd();
+}
+/** A tasks file's repository groups (`## <n>. <repository>`) and the requirements each says it implements. */
+export function taskGroups(tasks) {
+    const out = [];
+    let current = null;
+    for (const line of tasks.split("\n")) {
+        const g = /^##\s+\d+\.\s+`?([A-Za-z0-9][A-Za-z0-9._-]*)`?\s*$/.exec(line);
+        if (g) {
+            current = { repo: g[1], implements: [] };
+            out.push(current);
+            continue;
+        }
+        if (/^##\s/.test(line)) {
+            current = null;
+            continue;
+        }
+        const m = /^\s*(?:[-*]\s+)?\**Implements:?\**:?\s*(.+)$/i.exec(line);
+        if (current && m)
+            current.implements.push(...m[1].split(",").map((x) => x.trim().replace(/^`|`$/g, "")).filter((x) => x && !/^none$/i.test(x)));
+    }
+    return out;
+}
+/** A pinned commit: 7 to 40 hex characters. */
+export function isCommit(v) {
+    return typeof v === "string" && /^[0-9a-f]{7,40}$/i.test(v);
+}
+/** a >= b, for x.y.z versions; a missing or malformed version is lowest. */
+export function versionAtLeast(a, b) {
+    const p = (v) => (v && /^\d+\.\d+\.\d+$/.test(v) ? v.split(".").map(Number) : [-1, -1, -1]);
+    const [x, y] = [p(a), p(b)];
+    for (let i = 0; i < 3; i++)
+        if (x[i] !== y[i])
+            return x[i] > y[i];
+    return true;
+}
+/** The test plan's scenario-to-test rows: every table row before `## Ledger`, as trimmed cells, with the first row (the header) and separator rows dropped. The template holds one table there; a second would be read as more rows. */
+export function testPlanMapping(text) {
+    const head = text.split(/^##\s+Ledger\b/m)[0] ?? "";
+    const rows = head.split("\n").filter((l) => /^\s*\|/.test(l)).map((l) => l.trim().replace(/^\||\|$/g, "").split("|").map((c) => c.trim()));
+    return rows.filter((r, i) => i > 0 && !r.every((c) => /^:?-{3,}:?$/.test(c) || c === ""));
+}
+/** The test plan table's header cells, lower-cased. */
+export function testPlanHeader(text) {
+    const head = text.split(/^##\s+Ledger\b/m)[0] ?? "";
+    const first = head.split("\n").find((l) => /^\s*\|/.test(l));
+    return first ? first.trim().replace(/^\||\|$/g, "").split("|").map((c) => c.trim().toLowerCase()) : [];
+}
+/** A requirement's block: `### Requirement: <name>` to the next requirement or `##` heading. Null when absent. */
+export function requirementBlock(spec, name) {
+    const lines = spec.split("\n");
+    const start = lines.findIndex((l) => new RegExp(`^###\\s+Requirement:\\s*${name.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\s*$`).test(l));
+    if (start < 0)
+        return null;
+    let end = lines.length;
+    for (let i = start + 1; i < lines.length; i++) {
+        if (/^###\s+Requirement:/.test(lines[i]) || /^##\s/.test(lines[i])) {
+            end = i;
+            break;
+        }
+    }
+    return lines.slice(start, end).join("\n").trimEnd();
+}
+/** Scenario title -> its block text, within one requirement block. */
+export function scenarios(block) {
+    const out = new Map();
+    let title = null;
+    let buf = [];
+    const flush = () => {
+        if (title !== null)
+            out.set(title, buf.join("\n").trim());
+    };
+    for (const line of block.split("\n")) {
+        const m = /^####\s+Scenario:\s*(.+?)\s*$/.exec(line);
+        if (m) {
+            flush();
+            title = m[1];
+            buf = [];
+            continue;
+        }
+        if (title !== null)
+            buf.push(line);
+    }
+    flush();
+    return out;
+}
+/** The section a requirement sits under in a delta: ADDED, MODIFIED, REMOVED or RENAMED. */
+export function deltaOperation(delta, name) {
+    let op = null;
+    for (const line of delta.split("\n")) {
+        const s = /^##\s+(ADDED|MODIFIED|REMOVED|RENAMED)\s+Requirements\b/.exec(line);
+        if (s)
+            op = s[1];
+        else if (/^##\s/.test(line))
+            op = null;
+        if (new RegExp(`^###\\s+Requirement:\\s*${name.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\s*$`).test(line))
+            return op;
+    }
+    return null;
+}
+/** changed or carried, for one scenario of a requirement in a delta, against the living spec (null when the delta has no such scenario). */
+export function scenarioKind(delta, living, requirement, scenario) {
+    const op = deltaOperation(delta, requirement);
+    const block = requirementBlock(delta, requirement);
+    if (!op || !block)
+        return null;
+    const mine = scenarios(block).get(scenario);
+    if (mine === undefined)
+        return null;
+    if (op !== "MODIFIED")
+        return "changed";
+    const theirs = living === null ? null : requirementBlock(living, requirement);
+    const before = theirs === null ? undefined : scenarios(theirs).get(scenario);
+    return before !== undefined && before === mine ? "carried" : "changed";
+}
+/** verdict.md's own verdict, or null when it states none in a form this reads. */
+export function verdictLine(text) {
+    const m = /^\s*(?:#+\s*)?Verdict:\s*\**\s*(PASS|FAIL)\b/im.exec(text) ?? /^\s*\*\*(PASS|FAIL)\*\*/m.exec(text);
+    return m?.[1] ?? null;
+}
+/** Two pins name one commit when one abbreviates the other. */
+export function sameCommit(a, b) {
+    const [x, y] = [a.toLowerCase(), b.toLowerCase()];
+    return x.length >= 7 && y.length >= 7 && (x.startsWith(y) || y.startsWith(x));
+}
+function isoDate(v) {
+    if (v instanceof Date && !Number.isNaN(v.getTime()))
+        return v.toISOString().slice(0, 10);
+    if (typeof v === "string" && /^\d{4}-\d{2}-\d{2}$/.test(v))
+        return v;
+    return null;
+}
+/**
+ * Problems with one agreement condition (M-ADR 0222 §4.6 as amended); `today` is YYYY-MM-DD. A withdrawn or
+ * superseded change has closed its obligations: its conditions are not overdue.
+ */
+export function conditionProblems(c, today, recordStatus = "agreed") {
+    const out = [];
+    for (const k of ["assumption", "owner", "how", "release_limit"]) {
+        if (typeof c[k] !== "string" || c[k].trim() === "")
+            out.push(`no ${k}`);
+    }
+    const by = isoDate(c.validate_by);
+    if (by === null)
+        out.push("validate_by is not a YYYY-MM-DD date");
+    const status = typeof c.status === "string" ? c.status : "";
+    if (!["open", "validated", "failed"].includes(status))
+        out.push(`status ${JSON.stringify(c.status)} is not open | validated | failed`);
+    if ((status === "validated" || status === "failed") && (typeof c.evidence !== "string" || c.evidence.trim() === ""))
+        out.push(`${status} without evidence`);
+    if (status === "open" && by !== null && by < today && recordStatus !== "withdrawn" && recordStatus !== "superseded")
+        out.push(`OVERDUE: open past its validate_by ${by}; validate it, extend it by a ruling, or withdraw the change`);
+    return out;
+}
+export { isoDate };
+//# sourceMappingURL=agreement-evidence.js.map