wingfoil 0.2.2 → 0.3.0

package/dist/memory/state-machine.js

@@ -5,6 +5,10 @@ exports.isArchivedStatus = isArchivedStatus;
 exports.resolveStateMachine = resolveStateMachine;
 exports.resolveTransitionTarget = resolveTransitionTarget;
 exports.resolveTypeTransition = resolveTypeTransition;
+exports.supersedesEdgeFrom = supersedesEdgeFrom;
+exports.resolveSupersedeTarget = resolveSupersedeTarget;
+exports.resolveWaitingTarget = resolveWaitingTarget;
+exports.isMachineEdge = isMachineEdge;
 exports.validateFrontmatterState = validateFrontmatterState;
 /**
  * State-machine transition-legality engine (REQ-SYS-04, task-005-per-type-state-machines).
@@ -20,7 +24,8 @@ exports.validateFrontmatterState = validateFrontmatterState;
  * This is spec-009-validation-strategy §1's Pass 2 (semantic / cross-file): the transition rule
  * needs the type's registered machine (loaded from `memory.yaml`) plus the document's own `status`
  * field — neither is decidable from the document's frontmatter schema alone, matching spec-009's own
- * worked example ("`wingfoil.status` must be a member of that type's `states.values`"). An illegal
+ * worked example ("`wingfoil.status` must be a state of that type's machine — a member of its
+ * `sequence`, a `gates` reject target, or `deprecated`"; {@link validateFrontmatterState}). An illegal
  * transition throws the shared `ValidationError` (exit code `1` — a business-rule failure, not an
  * integrity one, per spec-009 §3 as rewritten under `dl-032-illegal-transition-message-contract`)
  * and — critically — throws *before* returning any target, so a caller can never reach
@@ -42,6 +47,8 @@ exports.validateFrontmatterState = validateFrontmatterState;
  * - `reject`: legal only from a state that IS a `gates` key (regardless of `waiting` membership —
  *   spec-001: a gate+waiting state "still exposes a manual `reject`/decline path"). Target:
  *   `gates[<state>].reject`, always taken verbatim (it need not be a `sequence` member).
+ * - `park` (task-180, `dl-110` P1 (a)): legal only from a state that is a `returns` key. Target:
+ *   `returns[<state>]`, an earlier state of `sequence` (the schema guarantees it).
  * - `deprecate`: the implicit wildcard edge — always legal from any current state, target is the
  *   reserved `"deprecated"` state. Never declared in `sequence`/`gates`/`waiting` (enforced
  *   structurally by task-004's `.superRefine()`; this engine does not need to re-check it).
@@ -53,8 +60,8 @@ exports.validateFrontmatterState = validateFrontmatterState;
  * independent of any transition attempt. `resolveTransitionTarget` only answers "is verb `op` legal
  * FROM `currentState`"; it never asserts that an arbitrary `status` string read off a document's
  * frontmatter is itself a member of the type's declared state set at all — the check
- * spec-010-memory-frontmatter-schema's "Validation rules" table names ("`status` must be a value in
- * the type's `states.values`" → failure "invalid state for type") and BDD
+ * spec-010-memory-frontmatter-schema's "Validation rules" table names ("`status` must be a state of
+ * the type's machine" → failure "invalid state for type") and BDD
  * `P4.11-deliverables.feature`/`P4.13-state-deduction.feature` both exercise (`"invalid state
  * 'shipped' for type 'task'"`). A state is legal for a type iff it belongs to that machine's full
  * reachable set — `sequence` ∪ every `gates.<state>.reject` target (spec-001 permits those to be
@@ -79,10 +86,14 @@ const schema_1 = require("./schema");
 /** The reserved implicit-wildcard target state (spec-001) — never declared explicitly anywhere. */
 exports.DEPRECATED_STATE = 'deprecated';
 /**
- * The terminal state of the `adr` and `tech-spec` machines (`memory.yaml`): reached along the forward
- * `sequence` by `approve`, never by `memory deprecate`. A superseded decision is archived content — a
- * later element explicitly replaced it — which is why `dl-028-archived-states-excluded-from-context`
- * puts it in {@link ARCHIVED_STATUSES} alongside {@link DEPRECATED_STATE}.
+ * The terminal state of the `adr` and `tech-spec` machines (`memory.yaml`). The state before it is a
+ * `waiting` state, so no verb drives the edge into it — not `approve` and not `memory deprecate`
+ * (`spec-001`: "`submit`/`approve` on a `waiting` state is illegal"). It is reached only through the
+ * `supersedes:` engine trigger: approving an element whose `supersedes:` names another element of its
+ * type moves that element along this edge ({@link supersedesEdgeFrom}, `dl-065` Q1.1, task-162). A
+ * superseded decision is archived content — a later element explicitly replaced it — which is why
+ * `dl-028-archived-states-excluded-from-context` puts it in {@link ARCHIVED_STATUSES} alongside
+ * {@link DEPRECATED_STATE}.
  */
 exports.SUPERSEDED_STATE = 'superseded';
 /**
@@ -147,8 +158,9 @@ exports.E_INVALID_STATE = 'E_INVALID_STATE';
  * block", and its `Then` names the machine by value — so its title ("uses the defaults block")
  * describes the common case rather than a precondition.
  *
- * **Why this value.** It is `spec-001`'s own worked `defaults` example, verbatim — not REQ-STATE-08's
- * literal `draft → pending → approved/rejected → deprecated` wording, which `spec-001` §Consequences
+ * **Why this value.** It is `spec-001`'s own worked `defaults` example, verbatim, and the machine
+ * REQ-STATE-08 names since task-153 reconciled it (`bug-052`) — not the earlier
+ * `draft → pending → approved/rejected → deprecated` wording, which `spec-001` §Consequences
  * deliberately superseded: the default machine "loses its `rejected` state" ("no document ever records
  * `status: rejected` again" — a `reject` from the `pending` gate lands straight back on `draft`), and
  * `deprecated` is the reserved implicit wildcard reachable from any state, never declared in a
@@ -270,48 +282,35 @@ function resolveTransitionTarget(machine, currentState, op, filePath = '') {
             // `reject` target is taken verbatim — need not be a `sequence` member (spec-001).
             return gate.reject;
         }
+        case 'park': {
+            const target = (machine.returns ?? {})[currentState];
+            if (target === undefined) {
+                return illegal(currentState, op, 'not a `returns` state — `park` is only legal from a state that declares a return edge', filePath);
+            }
+            return target;
+        }
         default: {
             const exhaustive = op;
             return illegal(currentState, exhaustive, 'unknown operation', filePath);
         }
     }
 }
-/** What the contract message prints for `<to>` when a verb has no legal edge anywhere in the machine. */
-const NO_TARGET = '(none)';
 /**
- * The `<to>` of the illegal-transition contract message: the verb's **canonical edge** for this type —
- * the target `op` reaches from the first state, in `sequence` order, from which `op` is legal (for
- * `submit` on `task` or on the default machine: `pending`; on `release`: `planning`). A verb names no
- * target of its own, so the message needs a rule; this one reproduces the string BDD `P1.6` sc.2 and
- * `P5.2.3` sc.2 pin (`approved -> pending` for `task`) on both the default machine and the real `task`
- * machine, where the literal forward edge out of `approved` is `done`.
- *
- * What happens when that canonical target IS `currentState` — printing it would be a self-loop — is
- * ratified by `dl-053-illegal-transition-target-for-verbless-edges` (option 1): **keep walking
- * `sequence` for the next legal edge of the SAME verb**, and render {@link NO_TARGET} when the verb
- * has no other target. It must never name the next state in `sequence` regardless of verb — the
- * earlier fallback did, printing `draft -> pending` for a `reject` (a rejection shown as a forward
- * move) and `backlog -> in-progress` for an `approve` (a `waiting` edge no verb drives), misinforming
- * exactly the user who has just made an illegal call. Every `<to>` printed here is therefore a real
- * target of the verb the user typed, on this type's own machine.
+ * The `<to>` of the illegal-transition contract message — what the verb the user typed reaches from
+ * `<from>`. A transition verb names no target of its own, and {@link resolveTransitionTarget} refuses a
+ * call exactly when the verb has no edge from the current state (`deprecate` is never refused), so on a
+ * refusal that target is always nothing, rendered `(none)` (`dl-154` option A; `task-181`, `bug-165`,
+ * `bug-127`; REQ-STATE-01).
  *
- * A pure function of `(machine, currentState, op)` walked in `sequence` order (REQ-SYS-07).
+ * It replaces the verb's **canonical edge** (`dl-053` option 1, replaced by `dl-154`): the target the
+ * verb reaches from the first state in `sequence` where it is legal. That edge starts somewhere else in the machine, so it
+ * printed backward moves (`approve` on a `planned` bug → `planned -> triaged`; `submit` on the last
+ * state of the default machine → `approved -> pending`) and skips (`triaged -> resolved`), naming a move
+ * nobody attempted to exactly the user who has just made an illegal call. Why the verb has no edge is
+ * the issue's `detail` (`dl-032` option (c)), which reaches the operator under the message
+ * (`dl-055`, task-130).
  */
-function contractTarget(machine, currentState, op) {
-    for (const state of machine.sequence) {
-        let target;
-        try {
-            target = resolveTransitionTarget(machine, state, op);
-        }
-        catch {
-            continue; // `op` is not legal from this state — keep walking the chain
-        }
-        // dl-053: a self-loop is not a transition; keep looking for a different target of this same verb.
-        if (target !== currentState)
-            return target;
-    }
-    return NO_TARGET;
-}
+const NO_TARGET = '(none)';
 /**
  * Resolve the legal target of verb `op` for a document of type `typeName` currently in `currentState`
  * — the entry point every Memory transition verb (`submit`, and `approve`/`reject`/`deprecate` after
@@ -322,7 +321,7 @@ function contractTarget(machine, currentState, op) {
  * `dl-032-illegal-transition-message-contract` (option (c)) — `message` is the pinned
  * `` illegal transition <from> -> <to> for type '<type>' `` (REQ-STATE-01 Fit Criterion; BDD `P1.6`
  * sc.2, `P5.2.3` sc.2), `detail` carries the engine's explanation of *why* the edge is illegal, and the
- * exit code is `1`. `<to>` is computed by {@link contractTarget}.
+ * exit code is `1`. `<to>` is always {@link NO_TARGET}: the verb reaches nothing from `<from>`.
  *
  * @throws {@link ../validation.ValidationError} `E_INVALID_TRANSITION` (exit `1`) as above.
  * @throws `Error` when `typeName` is not registered (see {@link resolveStateMachine}). A registered type
@@ -342,12 +341,100 @@ function resolveTypeTransition(memoryYaml, typeName, currentState, op, filePath
                 code: exports.E_INVALID_TRANSITION,
                 path: 'status',
                 file: filePath,
-                message: `illegal transition ${currentState} -> ${contractTarget(machine, currentState, op)} for type '${typeName}'`,
+                message: `illegal transition ${currentState} -> ${NO_TARGET} for type '${typeName}'`,
                 detail,
             },
         ]);
     }
 }
+/**
+ * True when `state`'s forward edge leads into {@link SUPERSEDED_STATE} and no verb drives it: `state`
+ * is a `waiting` state and the next `sequence` entry is `superseded` (`accepted` for `adr`, `approved`
+ * for `tech-spec`). This is the edge the `supersedes:` trigger fires (`dl-065` Q1.1, `spec-001`), read
+ * from the machine rather than from a type name, so a project type with the same shape gets the same
+ * trigger. Pure (REQ-SYS-07).
+ */
+function supersedesEdgeFrom(machine, state) {
+    const index = machine.sequence.indexOf(state);
+    return index !== -1 && (machine.waiting ?? []).includes(state) && machine.sequence[index + 1] === exports.SUPERSEDED_STATE;
+}
+/**
+ * The target of the `supersedes:` trigger on a document of type `typeName` in `currentState` —
+ * always {@link SUPERSEDED_STATE} — or a thrown `E_INVALID_TRANSITION` with `dl-032`'s contract
+ * message, `illegal transition <from> -> superseded for type '<type>'`, when the document is not in
+ * the state whose `waiting` edge leads there ({@link supersedesEdgeFrom}). The trigger is not a verb,
+ * so this is not a {@link TransitionOp}, and its `<to>` is the one state it can ever reach.
+ *
+ * @throws {@link ../validation.ValidationError} `E_INVALID_TRANSITION` as above.
+ * @throws `Error` when `typeName` is not registered (see {@link resolveStateMachine}).
+ */
+function resolveSupersedeTarget(memoryYaml, typeName, currentState, filePath) {
+    const machine = resolveStateMachine(memoryYaml, typeName);
+    if (supersedesEdgeFrom(machine, currentState))
+        return exports.SUPERSEDED_STATE;
+    throw new validation_1.ValidationError([
+        {
+            code: exports.E_INVALID_TRANSITION,
+            path: 'status',
+            file: filePath,
+            message: `illegal transition ${currentState} -> ${exports.SUPERSEDED_STATE} for type '${typeName}'`,
+            detail: `only an element in the \`waiting\` state whose forward edge leads to '${exports.SUPERSEDED_STATE}' can be superseded ` +
+                `(spec-001); '${currentState}' is not that state`,
+        },
+    ]);
+}
+/**
+ * The target of the forward `waiting` edge out of `currentState` for a document of type `typeName` — the
+ * next `sequence` entry after a state listed in `waiting`, which no verb drives and a workflow action fires
+ * (`spec-001`). `workflow end` takes it to close a plan, `active → done` (task-217, `spec-017` §7.2): the
+ * commit is `wf(plan): finalize <id> [active → done]` (`spec-008` §2's `finalize` row). A `superseded`
+ * target is not this edge's: it is the `supersedes:` trigger's ({@link resolveSupersedeTarget}).
+ *
+ * @throws {@link ../validation.ValidationError} `E_INVALID_TRANSITION` with `dl-032`'s contract message,
+ *   `illegal transition <from> -> (none) for type '<type>'` (`dl-154`), when `currentState` has no such edge.
+ * @throws `Error` when `typeName` is not registered (see {@link resolveStateMachine}).
+ */
+function resolveWaitingTarget(memoryYaml, typeName, currentState, filePath) {
+    const machine = resolveStateMachine(memoryYaml, typeName);
+    const index = machine.sequence.indexOf(currentState);
+    const next = index === -1 ? undefined : machine.sequence[index + 1];
+    if ((machine.waiting ?? []).includes(currentState) && next !== undefined && next !== exports.SUPERSEDED_STATE)
+        return next;
+    throw new validation_1.ValidationError([
+        {
+            code: exports.E_INVALID_TRANSITION,
+            path: 'status',
+            file: filePath,
+            message: `illegal transition ${currentState} -> ${NO_TARGET} for type '${typeName}'`,
+            detail: `only a \`waiting\` state followed by another \`sequence\` state can be finalized (spec-001); '${currentState}' is not one`,
+        },
+    ]);
+}
+/**
+ * True when `from → to` is an edge of `machine`, whichever verb or engine action drives it — the
+ * question a hop of a chained transition bracket asks (`[a → b → c]`, `task-126`, `bug-155`), where
+ * the commit names states and no verb per hop. The edges are exactly the targets
+ * {@link resolveTransitionTarget} can return, plus the verb-less forward edges it refuses to drive:
+ *
+ * 1. the **forward edge** `sequence[i] → sequence[i + 1]`, for every `i` — including out of a `gates`
+ *    or `waiting` state, whose forward edge is taken by `approve` or by a workflow action rather than
+ *    by `submit`, but is an edge all the same;
+ * 2. every **`gates.<from>.reject`** target;
+ * 3. every **`returns.<from>`** target, the edge `memory park` takes (task-180);
+ * 4. the implicit wildcard edge to {@link DEPRECATED_STATE}, from any state.
+ *
+ * A self-loop is not an edge. Pure; no ordering dependence (REQ-SYS-07).
+ */
+function isMachineEdge(machine, from, to) {
+    if (to === exports.DEPRECATED_STATE)
+        return true;
+    const index = machine.sequence.indexOf(from);
+    if (index !== -1 && machine.sequence[index + 1] === to)
+        return true;
+    if ((machine.returns ?? {})[from] === to)
+        return true;
+    return (machine.gates ?? {})[from]?.reject === to;
+}
 /**
  * True when `status` is a state a document of this type may legitimately carry — the **full**
  * reachable state set of `machine`, which is the union of three sources:
@@ -369,7 +456,8 @@ function resolveTypeTransition(memoryYaml, typeName, currentState, op, filePath
  *    any `sequence` (the `StateMachine` schema's own `.superRefine()` forbids declaring it).
  *
  * `machine.waiting` contributes nothing: every `waiting` entry is required to be a `sequence` member
- * already, so it is covered by (1).
+ * already, so it is covered by (1). Nor does `machine.returns`: the schema requires every `returns`
+ * target to be an earlier `sequence` state (task-180).
  *
  * Iteration over `gates` is sorted (REQ-SYS-07 — no unordered iteration in any output-affecting path);
  * the predicate's boolean result is order-independent, but keeping the traversal deterministic keeps
@@ -387,7 +475,7 @@ function isDeclaredState(machine, status) {
 /**
  * Assert that `status` — a value read straight off a document's frontmatter — is a legal state for
  * `typeName` under `machine` (REQ-STATE-01: state is derived from frontmatter; spec-010's "Validation
- * rules": *"`status` must be a value in the type's `states.values`"*). The legal set is exactly
+ * rules": *"`status` must be a state of the type's machine"*). The legal set is exactly
  * {@link isDeclaredState}'s: `sequence` ∪ every `gates.<state>.reject` target ∪ `deprecated`.
  *
  * This is a distinct check from {@link resolveTransitionTarget}: that function asks "is verb `op`

package/dist/memory/state-machine.js.map

@@ -1 +1 @@
-{"version":3,"file":"state-machine.js","sourceRoot":"","sources":["../../src/memory/state-machine.ts"],"names":[],"mappings":";;;AAqHA,4CAEC;AAmFD,kDAMC;AA0BD,0DAmEC;AAsDD,sDAuBC;AAsED,4DAiBC;AAjdD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AACH,8CAAgD;AAEhD,qCAA8D;AAG9D,mGAAmG;AACtF,QAAA,gBAAgB,GAAG,YAAY,CAAC;AAE7C;;;;;GAKG;AACU,QAAA,gBAAgB,GAAG,YAAY,CAAC;AAE7C;;;;;;;;;;GAUG;AACU,QAAA,iBAAiB,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,wBAAgB,EAAE,wBAAgB,CAAC,CAAC,CAAC;AAExG;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,gBAAgB,CAAC,MAA0B;IACzD,OAAO,MAAM,KAAK,SAAS,IAAI,yBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,sFAAsF;AACzE,QAAA,oBAAoB,GAAG,sBAAsB,CAAC;AAE3D;;;;;GAKG;AACU,QAAA,eAAe,GAAG,iBAAiB,CAAC;AAKjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACU,QAAA,qBAAqB,GAAiB,CAAC,GAAG,EAAE;IACvD,kGAAkG;IAClG,mGAAmG;IACnG,iGAAiG;IACjG,gEAAgE;IAChE,MAAM,OAAO,GAAG,qBAAkB,CAAC,KAAK,CAAC;QACvC,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC;QAC1C,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;KACxC,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC,CAAC,EAAE,CAAC;AAEL;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,mBAAmB,CAAC,UAAsB,EAAE,QAAgB;IAC1E,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,cAAc,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,IAAI,6BAAqB,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,SAAS,OAAO,CAAC,YAAoB,EAAE,EAAgB,EAAE,OAAe,EAAE,QAAgB;IACxF,MAAM,IAAI,4BAAe,CAAC;QACxB;YACE,IAAI,EAAE,4BAAoB;YAC1B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,aAAa,EAAE,YAAY,YAAY,MAAM,OAAO,EAAE;SAChE;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,uBAAuB,CACrC,OAAqB,EACrB,YAAoB,EACpB,EAAgB,EAChB,QAAQ,GAAG,EAAE;IAEb,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,8FAA8F;QAC9F,OAAO,wBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAEjE,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,wCAAwC,EAAE,QAAQ,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,qEAAqE,EAAE,QAAQ,CAAC,CAAC;YACpH,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,OAAO,CACZ,YAAY,EACZ,EAAE,EACF,qFAAqF,EACrF,QAAQ,CACT,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,yDAAyD,EAAE,QAAQ,CAAC,CAAC;YACxG,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,2DAA2D,EAAE,QAAQ,CAAC,CAAC;YAC1G,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,OAAO,CACZ,YAAY,EACZ,EAAE,EACF,sHAAsH,EACtH,QAAQ,CACT,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,+DAA+D,EAAE,QAAQ,CAAC,CAAC;YAC9G,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,0DAA0D,EAAE,QAAQ,CAAC,CAAC;YACzG,CAAC;YACD,kFAAkF;YAClF,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,EAAE,CAAC;YAC7B,OAAO,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,QAAQ,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,yGAAyG;AACzG,MAAM,SAAS,GAAG,QAAQ,CAAC;AAE3B;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,cAAc,CAAC,OAAqB,EAAE,YAAoB,EAAE,EAAgB;IACnF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,uBAAuB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS,CAAC,6DAA6D;QACzE,CAAC;QACD,kGAAkG;QAClG,IAAI,MAAM,KAAK,YAAY;YAAE,OAAO,MAAM,CAAC;IAC7C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,qBAAqB,CACnC,UAAsB,EACtB,QAAgB,EAChB,YAAoB,EACpB,EAAgB,EAChB,QAAQ,GAAG,EAAE;IAEb,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,uBAAuB,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,4BAAe,CAAC;YAAE,MAAM,KAAK,CAAC;QACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,IAAI,4BAAe,CAAC;YACxB;gBACE,IAAI,EAAE,4BAAoB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,sBAAsB,YAAY,OAAO,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,cAAc,QAAQ,GAAG;gBACpH,MAAM;aACP;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAS,eAAe,CAAC,OAAqB,EAAE,MAAc;IAC5D,IAAI,MAAM,KAAK,wBAAgB,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SACtB,IAAI,EAAE;SACN,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAgB,wBAAwB,CACtC,OAAqB,EACrB,QAAgB,EAChB,MAAc,EACd,QAAQ,GAAG,EAAE;IAEb,IAAI,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACrC,OAAO;IACT,CAAC;IACD,MAAM,IAAI,4BAAe,CAAC;QACxB;YACE,IAAI,EAAE,uBAAe;YACrB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,kBAAkB,MAAM,eAAe,QAAQ,GAAG;SAC5D;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"state-machine.js","sourceRoot":"","sources":["../../src/memory/state-machine.ts"],"names":[],"mappings":";;;AA4HA,4CAEC;AAuFD,kDAMC;AA0BD,0DA0EC;AAmCD,sDAuBC;AASD,gDAGC;AAYD,wDAmBC;AAaD,oDAmBC;AAiBD,sCAMC;AAuED,4DAiBC;AAnjBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsEG;AACH,8CAAgD;AAEhD,qCAA8D;AAG9D,mGAAmG;AACtF,QAAA,gBAAgB,GAAG,YAAY,CAAC;AAE7C;;;;;;;;;GASG;AACU,QAAA,gBAAgB,GAAG,YAAY,CAAC;AAE7C;;;;;;;;;;GAUG;AACU,QAAA,iBAAiB,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,wBAAgB,EAAE,wBAAgB,CAAC,CAAC,CAAC;AAExG;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,gBAAgB,CAAC,MAA0B;IACzD,OAAO,MAAM,KAAK,SAAS,IAAI,yBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,sFAAsF;AACzE,QAAA,oBAAoB,GAAG,sBAAsB,CAAC;AAE3D;;;;;GAKG;AACU,QAAA,eAAe,GAAG,iBAAiB,CAAC;AAQjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACU,QAAA,qBAAqB,GAAiB,CAAC,GAAG,EAAE;IACvD,kGAAkG;IAClG,mGAAmG;IACnG,iGAAiG;IACjG,gEAAgE;IAChE,MAAM,OAAO,GAAG,qBAAkB,CAAC,KAAK,CAAC;QACvC,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC;QAC1C,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;KACxC,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC,CAAC,EAAE,CAAC;AAEL;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,mBAAmB,CAAC,UAAsB,EAAE,QAAgB;IAC1E,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,cAAc,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,IAAI,6BAAqB,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,SAAS,OAAO,CAAC,YAAoB,EAAE,EAAgB,EAAE,OAAe,EAAE,QAAgB;IACxF,MAAM,IAAI,4BAAe,CAAC;QACxB;YACE,IAAI,EAAE,4BAAoB;YAC1B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,aAAa,EAAE,YAAY,YAAY,MAAM,OAAO,EAAE;SAChE;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,uBAAuB,CACrC,OAAqB,EACrB,YAAoB,EACpB,EAAgB,EAChB,QAAQ,GAAG,EAAE;IAEb,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,8FAA8F;QAC9F,OAAO,wBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAEjE,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,wCAAwC,EAAE,QAAQ,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,qEAAqE,EAAE,QAAQ,CAAC,CAAC;YACpH,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,OAAO,CACZ,YAAY,EACZ,EAAE,EACF,qFAAqF,EACrF,QAAQ,CACT,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,yDAAyD,EAAE,QAAQ,CAAC,CAAC;YACxG,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,2DAA2D,EAAE,QAAQ,CAAC,CAAC;YAC1G,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,OAAO,CACZ,YAAY,EACZ,EAAE,EACF,sHAAsH,EACtH,QAAQ,CACT,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,+DAA+D,EAAE,QAAQ,CAAC,CAAC;YAC9G,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,0DAA0D,EAAE,QAAQ,CAAC,CAAC;YACzG,CAAC;YACD,kFAAkF;YAClF,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;YACrD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,uFAAuF,EAAE,QAAQ,CAAC,CAAC;YACtI,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,EAAE,CAAC;YAC7B,OAAO,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,QAAQ,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,SAAS,GAAG,QAAQ,CAAC;AAE3B;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,qBAAqB,CACnC,UAAsB,EACtB,QAAgB,EAChB,YAAoB,EACpB,EAAgB,EAChB,QAAQ,GAAG,EAAE;IAEb,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,uBAAuB,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,4BAAe,CAAC;YAAE,MAAM,KAAK,CAAC;QACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,IAAI,4BAAe,CAAC;YACxB;gBACE,IAAI,EAAE,4BAAoB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,sBAAsB,YAAY,OAAO,SAAS,cAAc,QAAQ,GAAG;gBACpF,MAAM;aACP;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,kBAAkB,CAAC,OAAqB,EAAE,KAAa;IACrE,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9C,OAAO,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,wBAAgB,CAAC;AACrH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,sBAAsB,CACpC,UAAsB,EACtB,QAAgB,EAChB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,kBAAkB,CAAC,OAAO,EAAE,YAAY,CAAC;QAAE,OAAO,wBAAgB,CAAC;IACvE,MAAM,IAAI,4BAAe,CAAC;QACxB;YACE,IAAI,EAAE,4BAAoB;YAC1B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,sBAAsB,YAAY,OAAO,wBAAgB,cAAc,QAAQ,GAAG;YAC3F,MAAM,EACJ,yEAAyE,wBAAgB,sBAAsB;gBAC/G,gBAAgB,YAAY,qBAAqB;SACpD;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,oBAAoB,CAClC,UAAsB,EACtB,QAAgB,EAChB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,wBAAgB;QAAE,OAAO,IAAI,CAAC;IACnH,MAAM,IAAI,4BAAe,CAAC;QACxB;YACE,IAAI,EAAE,4BAAoB;YAC1B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,sBAAsB,YAAY,OAAO,SAAS,cAAc,QAAQ,GAAG;YACpF,MAAM,EAAE,iGAAiG,YAAY,cAAc;SACpI;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAgB,aAAa,CAAC,OAAqB,EAAE,IAAY,EAAE,EAAU;IAC3E,IAAI,EAAE,KAAK,wBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,SAAS,eAAe,CAAC,OAAqB,EAAE,MAAc;IAC5D,IAAI,MAAM,KAAK,wBAAgB,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SACtB,IAAI,EAAE;SACN,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAgB,wBAAwB,CACtC,OAAqB,EACrB,QAAgB,EAChB,MAAc,EACd,QAAQ,GAAG,EAAE;IAEb,IAAI,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACrC,OAAO;IACT,CAAC;IACD,MAAM,IAAI,4BAAe,CAAC;QACxB;YACE,IAAI,EAAE,uBAAe;YACrB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,kBAAkB,MAAM,eAAe,QAAQ,GAAG;SAC5D;KACF,CAAC,CAAC;AACL,CAAC"}

package/dist/memory/submit.d.ts

@@ -1,11 +1,60 @@
 /** The frontmatter key `memory.reject` sets and `memory.submit` removes (spec-010). */
 export declare const REJECTION_REASON_FIELD = "rejection_reason";
+/**
+ * Why a required field's not-applicable value is refused: the type does not declare it, it gives no
+ * reason, or it separates the reason with something other than an em dash (`n/a - x`, `n/a: x`).
+ */
+export type NotApplicableProblem = 'undeclared' | 'no-reason' | 'bad-form';
+/** One refused not-applicable value, by field. */
+export interface NotApplicableRefusal {
+    readonly field: string;
+    readonly problem: NotApplicableProblem;
+}
 /**
  * The fields that must be filled before a submit but are not: `title` first (spec-010 requires it of
- * every type), then each of `required` in its declared order, without duplicates. `[]` means the
- * document may be submitted.
+ * every type), then each of `required` in its declared order, without duplicates. `[]` means no field
+ * is missing. `listFields` are the type's `template.frontmatter.lists`: on those alone a list, `[]`
+ * included, is filled; `title` is never one. A not-applicable value counts as present here — whether it is *accepted* is
+ * {@link notApplicableRefusals}'s question, so a field is reported by one of the two, never both.
  */
-export declare function missingRequiredFields(frontmatter: Readonly<Record<string, unknown>>, required: readonly string[]): string[];
+export declare function missingRequiredFields(frontmatter: Readonly<Record<string, unknown>>, required: readonly string[], listFields?: readonly string[]): string[];
+/**
+ * The required fields holding a not-applicable value that may not stand (`dl-124`, task-168), in the
+ * same order as {@link missingRequiredFields}:
+ * - `undeclared` — the type's `template.frontmatter.not_applicable_allowed` does not list the field
+ *   (`title` never counts as listed: spec-010 requires it of every type);
+ * - `no-reason` — the field is listed, but the value is bare `n/a` or `n/a —` with a blank reason;
+ * - `bad-form` — the field is listed, but the reason follows another separator than the em dash.
+ *
+ * Optional fields are not checked: what they hold is the type's own business.
+ */
+export declare function notApplicableRefusals(frontmatter: Readonly<Record<string, unknown>>, required: readonly string[], notApplicableAllowed?: readonly string[]): NotApplicableRefusal[];
 /** The submitted document: `status` set to `target` and `rejection_reason` removed; nothing else changes. */
 export declare function renderSubmitDocument(content: string, target: string): string;
+/**
+ * What a submit carries besides its own edit (task-209, `dl-106` W1 (a)): every way the author's
+ * working-tree document differs from the one committed at `HEAD`, worded by `describeDocumentChanges`
+ * — "the body", a `frontmatter field '<name>'` per moved field, sorted by name — the function that
+ * already words the gated verbs' refusal of the same edits. Both copies are first rendered by the same
+ * transition ({@link renderSubmitDocument}), so the submit's own fields, `status` and a cleared
+ * `rejection_reason`, never count: a pure transition carries nothing (`[]`).
+ *
+ * `committed` is `null` when no commit holds the document; the verb refuses that case before asking.
+ * Pure and deterministic (REQ-SYS-07).
+ */
+export declare function describeSubmitContent(committed: string | null, content: string, target: string): string[];
+/**
+ * `text` rewritten in the line-ending style of `like`: CRLF when `like` holds any CRLF, LF otherwise
+ * (task-209 re-review 1). `memory submit` compares the blob git would store for its rendering with the
+ * blob of the same rendering in the committed document's style, which isolates a line-ending
+ * conversion from the content edits made with it. Pure.
+ */
+export declare function withLineEndingsOf(text: string, like: string): string;
+/**
+ * The item a submit declares, after every other item, when git — after its own line-ending filters —
+ * would store the rendered document with line endings other than the committed one's (`storesAsBlob`,
+ * `src/storage`): the one change {@link describeSubmitContent} cannot see, because it compares
+ * line-ending-normalized text.
+ */
+export declare const LINE_ENDINGS_ITEM = "the line endings";
 //# sourceMappingURL=submit.d.ts.map

package/dist/memory/submit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submit.d.ts","sourceRoot":"","sources":["../../src/memory/submit.ts"],"names":[],"mappings":"AAcA,uFAAuF;AACvF,eAAO,MAAM,sBAAsB,qBAAqB,CAAC;AAUzD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAG3H;AAED,6GAA6G;AAC7G,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAE5E"}
+{"version":3,"file":"submit.d.ts","sourceRoot":"","sources":["../../src/memory/submit.ts"],"names":[],"mappings":"AAgBA,uFAAuF;AACvF,eAAO,MAAM,sBAAsB,qBAAqB,CAAC;AA8CzD;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,WAAW,GAAG,UAAU,CAAC;AAE3E,kDAAkD;AAClD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;CACxC;AAOD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC9C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,UAAU,GAAE,SAAS,MAAM,EAAO,GACjC,MAAM,EAAE,CAGV;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC9C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,oBAAoB,GAAE,SAAS,MAAM,EAAO,GAC3C,oBAAoB,EAAE,CAWxB;AAED,6GAA6G;AAC7G,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAE5E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAIzG;AAOD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAGpE;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,qBAAqB,CAAC"}

package/dist/memory/submit.js

@@ -1,15 +1,20 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.REJECTION_REASON_FIELD = void 0;
+exports.LINE_ENDINGS_ITEM = exports.REJECTION_REASON_FIELD = void 0;
 exports.missingRequiredFields = missingRequiredFields;
+exports.notApplicableRefusals = notApplicableRefusals;
 exports.renderSubmitDocument = renderSubmitDocument;
+exports.describeSubmitContent = describeSubmitContent;
+exports.withLineEndingsOf = withLineEndingsOf;
 /**
  * Pure helpers behind `wingfoil memory submit` (P1.6, task-045-memory-submit), kept out of the
  * `CoreResult`-wrapped operation in `src/core` the same way `./add.ts` serves `memory add`.
  *
  * Both implement `spec-010-memory-frontmatter-schema`:
  * - "Validation rules": `title`, and every field in the type's `template.frontmatter.required`, must
- *   be non-empty once `status` is anything other than `draft` — so a submit checks them first.
+ *   be non-empty once `status` is anything other than `draft` — so a submit checks them first. A field
+ *   the type lists in `template.frontmatter.not_applicable_allowed` may instead hold
+ *   `"n/a — <reason>"` (`dl-124`, task-168); no other field may hold a not-applicable value.
  * - "Field-write ownership": `memory.submit` moves `status` to the next state and clears
  *   `rejection_reason` by removing the key (it mirrors only the most recent reject).
  *
@@ -18,27 +23,129 @@ exports.renderSubmitDocument = renderSubmitDocument;
 const frontmatter_edit_1 = require("./frontmatter-edit");
 /** The frontmatter key `memory.reject` sets and `memory.submit` removes (spec-010). */
 exports.REJECTION_REASON_FIELD = 'rejection_reason';
-/** Absent, `null`, a blank string or an empty list count as "not filled in". */
-function isEmptyValue(value) {
+/**
+ * Whether a required field's value counts as "not filled in" (`spec-010` § Validation rules,
+ * `bug-147`, approver rulings 2026-10-02 at `task-168`'s review): absent, `null` (an empty YAML value,
+ * `features:`), a blank string, or a mapping. A list is a value only on a field the type declares in
+ * `template.frontmatter.lists`, and there any list is, `[]` included (the author declared "none"); on
+ * every other field a list is missing. A date (YAML timestamp) is a value.
+ */
+/**
+ * The frontmatter's own value for `field`, or `undefined`: a field named like an `Object.prototype`
+ * member (`constructor`, `toString`) is an ordinary field, never the prototype's function (task-279
+ * review F1).
+ */
+function ownValue(frontmatter, field) {
+    return Object.hasOwn(frontmatter, field) ? frontmatter[field] : undefined;
+}
+function isEmptyValue(value, isListField) {
     if (value === undefined || value === null)
         return true;
     if (typeof value === 'string')
         return value.trim().length === 0;
     if (Array.isArray(value))
-        return value.length === 0;
-    return false;
+        return !isListField;
+    if (value instanceof Date)
+        return false;
+    return typeof value === 'object';
+}
+/**
+ * A value that says "this field does not apply" (`dl-124` Q1 (A)): a string whose text starts with
+ * `n/a`, in any case, not followed by a letter, digit or `_` — so `n/a`, `N/A` and
+ * `n/a — patch release` are, while `n/available` or `P1 (n/a for docs)` are ordinary data.
+ */
+const NOT_APPLICABLE_SHAPE = /^n\/a(?![\w])/i;
+/**
+ * The one accepted form (`dl-124` Q3 (ii)): `n/a`, an em dash, then a non-blank reason. Case, and
+ * whitespace around the em dash, do not matter (task-168 review fix 3): `N/A — x` and `n/a—x` pass.
+ */
+const NOT_APPLICABLE_WITH_REASON = /^n\/a\s*—\s*\S/i;
+/** Bare `n/a`, or `n/a —` with nothing after it: the form is right, the reason is missing. */
+const NOT_APPLICABLE_WITHOUT_REASON = /^n\/a\s*(—\s*)?$/i;
+function isNotApplicableShaped(value) {
+    return typeof value === 'string' && NOT_APPLICABLE_SHAPE.test(value.trim());
+}
+/** `title` first (spec-010 requires it of every type), then `required` in declared order, deduplicated. */
+function requiredFieldOrder(required) {
+    return [...new Set(['title', ...required])];
 }
 /**
  * The fields that must be filled before a submit but are not: `title` first (spec-010 requires it of
- * every type), then each of `required` in its declared order, without duplicates. `[]` means the
- * document may be submitted.
+ * every type), then each of `required` in its declared order, without duplicates. `[]` means no field
+ * is missing. `listFields` are the type's `template.frontmatter.lists`: on those alone a list, `[]`
+ * included, is filled; `title` is never one. A not-applicable value counts as present here — whether it is *accepted* is
+ * {@link notApplicableRefusals}'s question, so a field is reported by one of the two, never both.
  */
-function missingRequiredFields(frontmatter, required) {
-    const fields = [...new Set(['title', ...required])];
-    return fields.filter((field) => isEmptyValue(frontmatter[field]));
+function missingRequiredFields(frontmatter, required, listFields = []) {
+    const lists = new Set(listFields.filter((field) => field !== 'title'));
+    return requiredFieldOrder(required).filter((field) => isEmptyValue(ownValue(frontmatter, field), lists.has(field)));
+}
+/**
+ * The required fields holding a not-applicable value that may not stand (`dl-124`, task-168), in the
+ * same order as {@link missingRequiredFields}:
+ * - `undeclared` — the type's `template.frontmatter.not_applicable_allowed` does not list the field
+ *   (`title` never counts as listed: spec-010 requires it of every type);
+ * - `no-reason` — the field is listed, but the value is bare `n/a` or `n/a —` with a blank reason;
+ * - `bad-form` — the field is listed, but the reason follows another separator than the em dash.
+ *
+ * Optional fields are not checked: what they hold is the type's own business.
+ */
+function notApplicableRefusals(frontmatter, required, notApplicableAllowed = []) {
+    const allowed = new Set(notApplicableAllowed.filter((field) => field !== 'title'));
+    const refusals = [];
+    for (const field of requiredFieldOrder(required)) {
+        const value = ownValue(frontmatter, field);
+        if (!isNotApplicableShaped(value))
+            continue;
+        if (!allowed.has(field))
+            refusals.push({ field, problem: 'undeclared' });
+        else if (NOT_APPLICABLE_WITHOUT_REASON.test(value.trim()))
+            refusals.push({ field, problem: 'no-reason' });
+        else if (!NOT_APPLICABLE_WITH_REASON.test(value.trim()))
+            refusals.push({ field, problem: 'bad-form' });
+    }
+    return refusals;
 }
 /** The submitted document: `status` set to `target` and `rejection_reason` removed; nothing else changes. */
 function renderSubmitDocument(content, target) {
     return (0, frontmatter_edit_1.removeFrontmatterField)((0, frontmatter_edit_1.setFrontmatterField)(content, 'status', target), exports.REJECTION_REASON_FIELD);
 }
+/**
+ * What a submit carries besides its own edit (task-209, `dl-106` W1 (a)): every way the author's
+ * working-tree document differs from the one committed at `HEAD`, worded by `describeDocumentChanges`
+ * — "the body", a `frontmatter field '<name>'` per moved field, sorted by name — the function that
+ * already words the gated verbs' refusal of the same edits. Both copies are first rendered by the same
+ * transition ({@link renderSubmitDocument}), so the submit's own fields, `status` and a cleared
+ * `rejection_reason`, never count: a pure transition carries nothing (`[]`).
+ *
+ * `committed` is `null` when no commit holds the document; the verb refuses that case before asking.
+ * Pure and deterministic (REQ-SYS-07).
+ */
+function describeSubmitContent(committed, content, target) {
+    const after = renderSubmitDocument(toLf(content), target);
+    if (committed === null)
+        return (0, frontmatter_edit_1.describeDocumentChanges)(null, after);
+    return (0, frontmatter_edit_1.describeDocumentChanges)(renderSubmitDocument(toLf(committed), target), after);
+}
+/** CRLF → LF: the comparison is of content, so line endings are compared separately (task-209 review F1). */
+function toLf(text) {
+    return text.replace(/\r\n/g, '\n');
+}
+/**
+ * `text` rewritten in the line-ending style of `like`: CRLF when `like` holds any CRLF, LF otherwise
+ * (task-209 re-review 1). `memory submit` compares the blob git would store for its rendering with the
+ * blob of the same rendering in the committed document's style, which isolates a line-ending
+ * conversion from the content edits made with it. Pure.
+ */
+function withLineEndingsOf(text, like) {
+    const lf = toLf(text);
+    return like.includes('\r\n') ? lf.replace(/\n/g, '\r\n') : lf;
+}
+/**
+ * The item a submit declares, after every other item, when git — after its own line-ending filters —
+ * would store the rendered document with line endings other than the committed one's (`storesAsBlob`,
+ * `src/storage`): the one change {@link describeSubmitContent} cannot see, because it compares
+ * line-ending-normalized text.
+ */
+exports.LINE_ENDINGS_ITEM = 'the line endings';
 //# sourceMappingURL=submit.js.map

package/dist/memory/submit.js.map

@@ -1 +1 @@
-{"version":3,"file":"submit.js","sourceRoot":"","sources":["../../src/memory/submit.ts"],"names":[],"mappings":";;;AA8BA,sDAGC;AAGD,oDAEC;AAtCD;;;;;;;;;;;GAWG;AACH,yDAAiF;AAEjF,uFAAuF;AAC1E,QAAA,sBAAsB,GAAG,kBAAkB,CAAC;AAEzD,gFAAgF;AAChF,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAgB,qBAAqB,CAAC,WAA8C,EAAE,QAA2B;IAC/G,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,6GAA6G;AAC7G,SAAgB,oBAAoB,CAAC,OAAe,EAAE,MAAc;IAClE,OAAO,IAAA,yCAAsB,EAAC,IAAA,sCAAmB,EAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,8BAAsB,CAAC,CAAC;AACxG,CAAC"}
+{"version":3,"file":"submit.js","sourceRoot":"","sources":["../../src/memory/submit.ts"],"names":[],"mappings":";;;AAuFA,sDAOC;AAYD,sDAeC;AAGD,oDAEC;AAaD,sDAIC;AAaD,8CAGC;AA/JD;;;;;;;;;;;;;GAaG;AACH,yDAA0G;AAE1G,uFAAuF;AAC1E,QAAA,sBAAsB,GAAG,kBAAkB,CAAC;AAEzD;;;;;;GAMG;AACH;;;;GAIG;AACH,SAAS,QAAQ,CAAC,WAA8C,EAAE,KAAa;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5E,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,WAAoB;IACxD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,WAAW,CAAC;IAC9C,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,oBAAoB,GAAG,gBAAgB,CAAC;AAE9C;;;GAGG;AACH,MAAM,0BAA0B,GAAG,iBAAiB,CAAC;AAErD,8FAA8F;AAC9F,MAAM,6BAA6B,GAAG,mBAAmB,CAAC;AAE1D,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AAC9E,CAAC;AAcD,2GAA2G;AAC3G,SAAS,kBAAkB,CAAC,QAA2B;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,qBAAqB,CACnC,WAA8C,EAC9C,QAA2B,EAC3B,aAAgC,EAAE;IAElC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC;IACvE,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,qBAAqB,CACnC,WAA8C,EAC9C,QAA2B,EAC3B,uBAA0C,EAAE;IAE5C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC;IACnF,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,KAAK,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;aACpE,IAAI,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;aACrG,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6GAA6G;AAC7G,SAAgB,oBAAoB,CAAC,OAAe,EAAE,MAAc;IAClE,OAAO,IAAA,yCAAsB,EAAC,IAAA,sCAAmB,EAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,8BAAsB,CAAC,CAAC;AACxG,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,qBAAqB,CAAC,SAAwB,EAAE,OAAe,EAAE,MAAc;IAC7F,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAA,0CAAuB,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpE,OAAO,IAAA,0CAAuB,EAAC,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,6GAA6G;AAC7G,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC;AAED;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,IAAY,EAAE,IAAY;IAC1D,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACU,QAAA,iBAAiB,GAAG,kBAAkB,CAAC"}

package/dist/storage/build-stamp.d.ts

@@ -0,0 +1,18 @@
+/** The trailer key `dl-111` reserves for the build signature (refused in a `--reason`, `dl-067` clause 4). */
+export declare const WINGFOIL_VERSION_TRAILER_KEY = "WingFoil-Version";
+/**
+ * The running build's stamp, `<semver> (<sha>)` — `<semver>` from `package.json`, `<sha>` from the
+ * build record, or `unknown`.
+ *
+ * Both files are located from `moduleDir`, the directory of a module one level below the compiled
+ * root: `build-info.json` one level up (`dist/build-info.json` from `dist/storage/`), `package.json`
+ * two levels up, which is the package root in the `src/` and the `dist/` layout alike and where npm
+ * installs the manifest. The version is the manifest's, never the record's: `package.json` is what
+ * npm installed, and the record only adds the commit.
+ *
+ * @param moduleDir - Defaults to this module's own directory; a test passes a fixture's.
+ */
+export declare function readBuildStamp(moduleDir?: string): string;
+/** The trailer line for `stamp`: `WingFoil-Version: <stamp>`. */
+export declare function formatVersionTrailer(stamp: string): string;
+//# sourceMappingURL=build-stamp.d.ts.map

package/dist/storage/build-stamp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-stamp.d.ts","sourceRoot":"","sources":["../../src/storage/build-stamp.ts"],"names":[],"mappings":"AAoBA,8GAA8G;AAC9G,eAAO,MAAM,4BAA4B,qBAAqB,CAAC;AAwB/D;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,SAAS,GAAE,MAAkB,GAAG,MAAM,CAIpE;AAED,iEAAiE;AACjE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE1D"}