@encore-os/eos-spec 0.3.1

package/dist/lib/pipeline-config.js

@@ -0,0 +1,208 @@
+/** The canonical encoreos-1 spec/test pipeline as config-driven data. This is a
+ *  faithful transcription of the imperative `PIPELINE`/`STATUS_ORDER`/`computeStage`
+ *  in pipeline-map.ts: every stage `id`, `actor`, `actorType`, `reason`,
+ *  `regulatedOnly`/`optional`, `completesStatus`, the exact `statusOrder`, and the
+ *  two honest caps are preserved verbatim. Each stage's `isDone` closure becomes a
+ *  named `gate` resolved against DEFAULT_PREDICATES; each `invocation: (id) => ...`
+ *  closure becomes a literal string with a `${id}` placeholder substituted at
+ *  interpret time. The Task 1.5 parity gate validates this against pipeline-map.ts. */
+export const ENCORE1_PIPELINE_SCHEMA = {
+    statusOrder: [
+        'stub',
+        'clarified',
+        'validated',
+        'regulatory_grounded',
+        'reviewed',
+        'compliance_reviewed',
+        'ux_reviewed',
+        'planned',
+        'tasks_generated',
+    ],
+    stages: [
+        {
+            id: 'clarify-spec',
+            gate: 'hasContext',
+            actor: 'clarify-spec command',
+            actorType: 'command',
+            invocation: 'clarify-spec --spec ${id}',
+            reason: 'Spec has unresolved placeholders — clarify before validating.',
+            completesStatus: 'clarified',
+            // Clarify is conditional remediation, not a required artifact — non-blocking.
+            optional: true,
+        },
+        {
+            id: 'validate-spec',
+            gate: 'hasValidationSignoff',
+            actor: 'validate-spec command',
+            actorType: 'command',
+            // The /validate-spec slash command (not `eos-spec validate`, the lint) writes
+            // the `<!-- validated: -->` marker this gate keys on.
+            invocation: 'the /validate-spec command on ${id} (writes the <!-- validated: --> marker; alt: `eos-spec signoff --type validated --spec ${id}`)',
+            reason: 'Spec not validated — run structure/constitution validation.',
+            completesStatus: 'validated',
+        },
+        {
+            id: 'ground-research',
+            gate: 'hasResearch',
+            actor: 'encore-spec-research skill',
+            actorType: 'skill',
+            invocation: 'the encore-spec-research skill on ${id}',
+            reason: 'Regulated spec needs a research appendix before review.',
+            regulatedOnly: true,
+            completesStatus: 'regulatory_grounded',
+        },
+        {
+            id: 'spec-review',
+            gate: 'hasSpecReview',
+            actor: 'spec-review skill',
+            actorType: 'skill',
+            invocation: 'the spec-review skill on ${id}',
+            reason: 'Spec is grounded — run the implementability/landscape review.',
+            completesStatus: 'reviewed',
+        },
+        {
+            id: 'compliance-review',
+            gate: 'hasComplianceSignoff',
+            actor: 'compliance-reviewer agent',
+            actorType: 'agent',
+            invocation: 'the compliance-reviewer agent on ${id}, then merge its review PR',
+            reason: 'Regulated spec needs compliance sign-off (human-gated PR).',
+            regulatedOnly: true,
+            completesStatus: 'compliance_reviewed',
+        },
+        {
+            id: 'draft-acs',
+            gate: 'acsDraftedOrNoStories',
+            actor: 'encore-spec-ac-draft skill',
+            actorType: 'skill',
+            invocation: 'the encore-spec-ac-draft skill on ${id}',
+            reason: 'Spec has user stories but no acceptance criteria — draft ACs before generating tests.',
+        },
+        {
+            id: 'generate-tests',
+            gate: 'testsGeneratedOrProven',
+            actor: 'encore-spec-to-test skill',
+            actorType: 'skill',
+            invocation: 'the encore-spec-to-test skill on ${id}',
+            reason: 'Acceptance criteria exist but no E2E tests are linked — generate them.',
+        },
+        {
+            id: 'a11y-audit',
+            gate: 'hasUxSignoff',
+            actor: 'encore-a11y-audit skill',
+            actorType: 'skill',
+            invocation: 'the encore-a11y-audit skill on ${id} (UI-bearing specs)',
+            reason: 'Optional: run a per-route accessibility audit for UI-bearing specs.',
+            optional: true,
+            completesStatus: 'ux_reviewed',
+        },
+        {
+            id: 'create-plan',
+            gate: 'hasPlan',
+            actor: 'create-plan / validate-plan command',
+            actorType: 'command',
+            invocation: 'validate-spec --spec ${id} --auto-plan (or create-plan), then validate-plan --spec ${id}',
+            reason: 'No implementation plan yet.',
+            completesStatus: 'planned',
+        },
+        {
+            id: 'generate-tasks',
+            gate: 'hasTasks',
+            actor: 'generate-tasks command',
+            actorType: 'command',
+            invocation: 'eos-spec tasks ${id}',
+            reason: 'Plan exists but no task breakdown.',
+            completesStatus: 'tasks_generated',
+        },
+    ],
+    caps: [
+        // Research cap: a regulated spec without a research appendix has not passed
+        // regulatory_grounded, so later artifacts cannot lift its stage to/beyond it.
+        { unless: 'hasResearch', whenRegulated: true, capBelow: 'regulatory_grounded' },
+        // Acceptance-criteria cap: a spec with a TASKS file but no ACs cannot honestly
+        // reach tasks_generated. Uses `hasAcceptanceCriteria` (NOT testsGeneratedOrProven,
+        // which has opposite polarity). Cap applies when `unless` returns FALSE.
+        { unless: 'hasAcceptanceCriteria', capBelow: 'tasks_generated' },
+    ],
+};
+/** The builder (encoreos-switchboard) 7-stage / 6-status layout as config-driven
+ *  data — a faithful transcription of the imperative PIPELINE/STATUS_ORDER in
+ *  encoreos-builder's `tools/eos-spec/src/lib/pipeline-map.ts`. Distinct from
+ *  encore1: a 6-value statusOrder (no regulatory_grounded/compliance_reviewed/
+ *  ux_reviewed), NO regulated-only stages, and NO caps — so builder's computeStage
+ *  is a pure "highest done completesStatus". The draft-acs/generate-tests gates
+ *  carry no `completesStatus` (they never advance the stage enum), so any drift in
+ *  their predicate polarity cannot affect stage parity. Proven against the captured
+ *  builder baseline by `pipeline-parity.builder.test.ts`. */
+export const BUILDER_PIPELINE_SCHEMA = {
+    statusOrder: ['stub', 'clarified', 'validated', 'reviewed', 'planned', 'tasks_generated'],
+    stages: [
+        {
+            id: 'clarify-spec',
+            gate: 'hasContext',
+            actor: 'spec author',
+            actorType: 'human-gate',
+            invocation: 'resolve open placeholders/ambiguities in ${id} and record the answers in a ${id}-CONTEXT.md next to the spec',
+            reason: 'Spec has unresolved placeholders — clarify before validating.',
+            completesStatus: 'clarified',
+            optional: true,
+        },
+        {
+            id: 'validate-spec',
+            gate: 'hasValidationSignoff',
+            actor: 'eos-spec CLI',
+            actorType: 'command',
+            invocation: 'check ${id} against the spec template structure, then `eos-spec signoff --type validated --spec ${id}` (writes the <!-- validated: --> marker)',
+            reason: 'Spec not validated — review structure against the template, then record the validation marker.',
+            completesStatus: 'validated',
+        },
+        {
+            id: 'spec-review',
+            gate: 'hasSpecReview',
+            actor: 'reviewer',
+            actorType: 'human-gate',
+            invocation: 'review ${id} for implementability and overlap with existing specs, then record a review marker: `eos-spec signoff --type spec-reviewed --spec ${id}`',
+            reason: 'Spec is validated — review it and record a review marker.',
+            completesStatus: 'reviewed',
+        },
+        {
+            id: 'draft-acs',
+            gate: 'acsDraftedOrNoStories',
+            actor: 'spec author',
+            actorType: 'human-gate',
+            invocation: "draft Given/When/Then acceptance criteria in ${id}'s frontmatter (acceptance_criteria:)",
+            reason: 'Spec has user stories but no acceptance criteria — draft ACs before writing tests.',
+        },
+        {
+            id: 'generate-tests',
+            // BUILDER layout keys on e2e_tests-LISTED (hasGeneratedTests), not the
+            // fs-verified active suite — matching the retired builder fork + read-economy
+            // consumers (Spec Studio). See predicate-registry `testsListedOrProven`.
+            gate: 'testsListedOrProven',
+            actor: 'test author',
+            actorType: 'human-gate',
+            invocation: "write Vitest coverage for ${id}'s acceptance criteria and link it — add a colocated `@verifies ${id} AC-N` backlink in the test (the repo convention, proven by `eos-spec verify-acs`), or list the test file under e2e_tests: in the frontmatter",
+            reason: 'Acceptance criteria exist but no tests are linked — write them and add a @verifies backlink (or list them under e2e_tests:).',
+        },
+        {
+            id: 'create-plan',
+            gate: 'hasPlan',
+            actor: 'spec author',
+            actorType: 'human-gate',
+            invocation: 'write specs/{core}/plans/${id}-PLAN.md from the plan template (specs/_templates/PLAN_TEMPLATE.md)',
+            reason: 'No implementation plan yet.',
+            completesStatus: 'planned',
+        },
+        {
+            id: 'generate-tasks',
+            gate: 'hasTasks',
+            actor: 'eos-spec CLI',
+            actorType: 'command',
+            invocation: 'eos-spec tasks ${id}',
+            reason: 'Plan exists but no task breakdown.',
+            completesStatus: 'tasks_generated',
+        },
+    ],
+    caps: [],
+};
+//# sourceMappingURL=pipeline-config.js.map

package/dist/lib/pipeline-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline-config.js","sourceRoot":"","sources":["../../src/lib/pipeline-config.ts"],"names":[],"mappings":"AAEA;;;;;;;uFAOuF;AACvF,MAAM,CAAC,MAAM,uBAAuB,GAAmB;IACrD,WAAW,EAAE;QACX,MAAM;QACN,WAAW;QACX,WAAW;QACX,qBAAqB;QACrB,UAAU;QACV,qBAAqB;QACrB,aAAa;QACb,SAAS;QACT,iBAAiB;KAClB;IACD,MAAM,EAAE;QACN;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,sBAAsB;YAC7B,SAAS,EAAE,SAAS;YACpB,UAAU,EAAE,2BAA2B;YACvC,MAAM,EAAE,+DAA+D;YACvE,eAAe,EAAE,WAAW;YAC5B,8EAA8E;YAC9E,QAAQ,EAAE,IAAI;SACf;QACD;YACE,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,SAAS;YACpB,8EAA8E;YAC9E,sDAAsD;YACtD,UAAU,EACR,oIAAoI;YACtI,MAAM,EAAE,6DAA6D;YACrE,eAAe,EAAE,WAAW;SAC7B;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,4BAA4B;YACnC,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,yCAAyC;YACrD,MAAM,EAAE,yDAAyD;YACjE,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,qBAAqB;SACvC;QACD;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mBAAmB;YAC1B,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,gCAAgC;YAC5C,MAAM,EAAE,+DAA+D;YACvE,eAAe,EAAE,UAAU;SAC5B;QACD;YACE,EAAE,EAAE,mBAAmB;YACvB,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,2BAA2B;YAClC,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,kEAAkE;YAC9E,MAAM,EAAE,4DAA4D;YACpE,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,qBAAqB;SACvC;QACD;YACE,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE,4BAA4B;YACnC,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,yCAAyC;YACrD,MAAM,EAAE,uFAAuF;SAChG;QACD;YACE,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,2BAA2B;YAClC,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,wCAAwC;YACpD,MAAM,EAAE,wEAAwE;SACjF;QACD;YACE,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,yBAAyB;YAChC,SAAS,EAAE,OAAO;YAClB,UAAU,EAAE,yDAAyD;YACrE,MAAM,EAAE,qEAAqE;YAC7E,QAAQ,EAAE,IAAI;YACd,eAAe,EAAE,aAAa;SAC/B;QACD;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,qCAAqC;YAC5C,SAAS,EAAE,SAAS;YACpB,UAAU,EAAE,0FAA0F;YACtG,MAAM,EAAE,6BAA6B;YACrC,eAAe,EAAE,SAAS;SAC3B;QACD;YACE,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,wBAAwB;YAC/B,SAAS,EAAE,SAAS;YACpB,UAAU,EAAE,sBAAsB;YAClC,MAAM,EAAE,oCAAoC;YAC5C,eAAe,EAAE,iBAAiB;SACnC;KACF;IACD,IAAI,EAAE;QACJ,4EAA4E;QAC5E,8EAA8E;QAC9E,EAAE,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,qBAAqB,EAAE;QAC/E,+EAA+E;QAC/E,mFAAmF;QACnF,yEAAyE;QACzE,EAAE,MAAM,EAAE,uBAAuB,EAAE,QAAQ,EAAE,iBAAiB,EAAE;KACjE;CACF,CAAC;AAEF;;;;;;;;6DAQ6D;AAC7D,MAAM,CAAC,MAAM,uBAAuB,GAAmB;IACrD,WAAW,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB,CAAC;IACzF,MAAM,EAAE;QACN;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,aAAa;YACpB,SAAS,EAAE,YAAY;YACvB,UAAU,EACR,8GAA8G;YAChH,MAAM,EAAE,+DAA+D;YACvE,eAAe,EAAE,WAAW;YAC5B,QAAQ,EAAE,IAAI;SACf;QACD;YACE,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,cAAc;YACrB,SAAS,EAAE,SAAS;YACpB,UAAU,EACR,gJAAgJ;YAClJ,MAAM,EAAE,gGAAgG;YACxG,eAAe,EAAE,WAAW;SAC7B;QACD;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,UAAU;YACjB,SAAS,EAAE,YAAY;YACvB,UAAU,EACR,sJAAsJ;YACxJ,MAAM,EAAE,2DAA2D;YACnE,eAAe,EAAE,UAAU;SAC5B;QACD;YACE,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE,aAAa;YACpB,SAAS,EAAE,YAAY;YACvB,UAAU,EAAE,yFAAyF;YACrG,MAAM,EAAE,oFAAoF;SAC7F;QACD;YACE,EAAE,EAAE,gBAAgB;YACpB,uEAAuE;YACvE,8EAA8E;YAC9E,yEAAyE;YACzE,IAAI,EAAE,qBAAqB;YAC3B,KAAK,EAAE,aAAa;YACpB,SAAS,EAAE,YAAY;YACvB,UAAU,EACR,mPAAmP;YACrP,MAAM,EACJ,8HAA8H;SACjI;QACD;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,aAAa;YACpB,SAAS,EAAE,YAAY;YACvB,UAAU,EAAE,mGAAmG;YAC/G,MAAM,EAAE,6BAA6B;YACrC,eAAe,EAAE,SAAS;SAC3B;QACD;YACE,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,cAAc;YACrB,SAAS,EAAE,SAAS;YACpB,UAAU,EAAE,sBAAsB;YAClC,MAAM,EAAE,oCAAoC;YAC5C,eAAe,EAAE,iBAAiB;SACnC;KACF;IACD,IAAI,EAAE,EAAE;CACT,CAAC"}

package/dist/lib/pipeline-map.d.ts

@@ -0,0 +1,68 @@
+import type { ActorType, PipelineSchema, PredicateRegistry } from './pipeline-schema.js';
+import type { SpecFile } from './specs.js';
+export type { ActorType } from './pipeline-schema.js';
+export type Transition = {
+    /** Stable id; doubles as the emitted NextAction.type. */
+    id: string;
+    /** Who/what performs this transition. */
+    actor: string;
+    actorType: ActorType;
+    /** Exact thing to run/do, given a spec id. */
+    invocation: (specId: string) => string;
+    /** Human-readable reason shown when this is the next step. */
+    reason: string;
+    /** Only applies to regulated cores (cl/pm/hr/rh/gr). */
+    regulatedOnly?: boolean;
+    /** Advisory — surfaced as a hint but never blocks progression. */
+    optional?: boolean;
+    /** The pipeline_status enum value this transition completes (for schema-coverage + reconciliation). */
+    completesStatus?: string;
+    /** True when this transition's output already exists for the spec. */
+    isDone: (spec: SpecFile) => boolean;
+};
+/** Numeric rank of a pipeline_status value; unknown/undefined ranks below everything. */
+export declare function rank(status?: string): number;
+/** Legacy hand-written pipeline, preserved verbatim for parity + rollback. The
+ *  active {@link PIPELINE} export is the config-driven {@link buildPipeline} output
+ *  (selectable back to this via `EOS_PIPELINE=legacy`). */
+export declare const LEGACY_PIPELINE: Transition[];
+/** Derive a spec's furthest-reached pipeline stage from artifacts only.
+ *
+ *  Sign-off markers are treated as **cumulative**: the stage is the highest
+ *  `completesStatus` among *all* done transitions, regardless of whether an
+ *  earlier gate's marker happens to be missing (a later marker implies the
+ *  earlier stages were reached). This deliberately does NOT hard-cap at the
+ *  first incomplete gate — that older behavior collapsed any spec missing an
+ *  early marker (e.g. a `<!-- validated: -->` that was never written even though
+ *  the spec was later reviewed, compliance-signed, planned and tasked) down to
+ *  `clarified`/`stub`, which made `funnel`/`status` under-report the pipeline
+ *  (H5). Out-of-order gaps are not hidden — `next` still walks for the first
+ *  incomplete gate and surfaces the gap via its `outOfOrder` note.
+ *
+ *  Returns `'stub'` as the floor when no stage has been reached. Ignores
+ *  `pipeline_status` (that field is the cached output of this function,
+ *  materialized by `reconcile`). */
+export declare function legacyComputeStage(spec: SpecFile): string;
+/** Interpret a config-driven {@link PipelineSchema} into the runtime engine —
+ *  the `{ STATUS_ORDER, PIPELINE, rank, computeStage }` quartet the rest of the
+ *  CLI consumes. The built `PIPELINE` is structurally a {@link Transition}[]: each
+ *  stage's `invocation` template string is rendered into an `invocation(id)`
+ *  FUNCTION and its named `gate` resolved to an `isDone` closure via `registry`,
+ *  so callers (`next.ts`, `reconcile.ts`, scorecard/funnel) need ZERO changes.
+ *
+ *  `computeStage` reproduces {@link legacyComputeStage} EXACTLY: same per-cap
+ *  `whenRegulated` skip, same MIN-of-caps, the same regulatedOnly stage skip, and
+ *  the same `best ?? 'stub'` floor. The Task 1.5 parity gate proves byte-for-byte
+ *  equivalence against the captured encore1 baseline. */
+export declare function buildPipeline(schema: PipelineSchema, registry: PredicateRegistry): {
+    STATUS_ORDER: string[];
+    PIPELINE: Transition[];
+    rank: (status?: string) => number;
+    computeStage: (spec: SpecFile) => string;
+};
+/** Canonical, ordered spec/test pipeline. First not-done applicable transition is
+ *  the next step. Config-driven by default; `EOS_PIPELINE=legacy` selects {@link LEGACY_PIPELINE}. */
+export declare const PIPELINE: Transition[];
+/** Derive a spec's furthest-reached pipeline stage from artifacts only.
+ *  Config-driven by default; `EOS_PIPELINE=legacy` selects {@link legacyComputeStage}. */
+export declare const computeStage: (spec: SpecFile) => string;

package/dist/lib/pipeline-map.js

@@ -0,0 +1,256 @@
+import { ENCORE1_PIPELINE_SCHEMA } from './pipeline-config.js';
+import { validateSchema } from './pipeline-schema.js';
+import { DEFAULT_PREDICATES } from './predicate-registry.js';
+const STATUS_ORDER = [
+    'stub',
+    'clarified',
+    'validated',
+    'regulatory_grounded',
+    'reviewed',
+    'compliance_reviewed',
+    'ux_reviewed',
+    'planned',
+    'tasks_generated',
+];
+/** Numeric rank of a pipeline_status value; unknown/undefined ranks below everything. */
+export function rank(status) {
+    if (!status)
+        return -1;
+    const i = STATUS_ORDER.indexOf(status);
+    return i === -1 ? -1 : i;
+}
+// TODO(post-cutover): once the schema pipeline bakes, delete LEGACY_PIPELINE,
+// legacyComputeStage, and the EOS_PIPELINE ternary selector below.
+/** Legacy hand-written pipeline, preserved verbatim for parity + rollback. The
+ *  active {@link PIPELINE} export is the config-driven {@link buildPipeline} output
+ *  (selectable back to this via `EOS_PIPELINE=legacy`). */
+export const LEGACY_PIPELINE = [
+    {
+        id: 'clarify-spec',
+        actor: 'clarify-spec command',
+        actorType: 'command',
+        invocation: (id) => `clarify-spec --spec ${id}`,
+        reason: 'Spec has unresolved placeholders — clarify before validating.',
+        completesStatus: 'clarified',
+        // Clarify is conditional remediation, not a required artifact (CONTEXT.md exists
+        // for only ~30% of specs in practice). `optional: true` means non-blocking for
+        // derivation and skipped by the navigator unless explicitly run.
+        optional: true,
+        isDone: (s) => s.hasContext, // CONTEXT.md is the clarify artifact when present
+    },
+    {
+        id: 'validate-spec',
+        actor: 'validate-spec command',
+        actorType: 'command',
+        // The /validate-spec slash command (not `eos-spec validate`, the lint) is
+        // what writes the `<!-- validated: -->` marker this gate keys on. Name it
+        // explicitly so agents don't run the look-alike CLI lint and loop here.
+        invocation: (id) => `the /validate-spec command on ${id} (writes the <!-- validated: --> marker; alt: \`eos-spec signoff --type validated --spec ${id}\`)`,
+        reason: 'Spec not validated — run structure/constitution validation.',
+        completesStatus: 'validated',
+        isDone: (s) => s.signals.hasValidationSignoff,
+    },
+    {
+        id: 'ground-research',
+        actor: 'encore-spec-research skill',
+        actorType: 'skill',
+        invocation: (id) => `the encore-spec-research skill on ${id}`,
+        reason: 'Regulated spec needs a research appendix before review.',
+        regulatedOnly: true,
+        completesStatus: 'regulatory_grounded',
+        isDone: (s) => s.signals.hasResearch,
+    },
+    {
+        id: 'spec-review',
+        actor: 'spec-review skill',
+        actorType: 'skill',
+        invocation: (id) => `the spec-review skill on ${id}`,
+        reason: 'Spec is grounded — run the implementability/landscape review.',
+        completesStatus: 'reviewed',
+        isDone: (s) => s.signals.hasSpecReview,
+    },
+    {
+        id: 'compliance-review',
+        actor: 'compliance-reviewer agent',
+        actorType: 'agent',
+        invocation: (id) => `the compliance-reviewer agent on ${id}, then merge its review PR`,
+        reason: 'Regulated spec needs compliance sign-off (human-gated PR).',
+        regulatedOnly: true,
+        completesStatus: 'compliance_reviewed',
+        isDone: (s) => s.signals.hasComplianceSignoff,
+    },
+    {
+        id: 'draft-acs',
+        actor: 'encore-spec-ac-draft skill',
+        actorType: 'skill',
+        invocation: (id) => `the encore-spec-ac-draft skill on ${id}`,
+        reason: 'Spec has user stories but no acceptance criteria — draft ACs before generating tests.',
+        isDone: (s) => !s.signals.hasUserStories || s.signals.hasAcceptanceCriteria,
+    },
+    {
+        id: 'generate-tests',
+        actor: 'encore-spec-to-test skill',
+        actorType: 'skill',
+        invocation: (id) => `the encore-spec-to-test skill on ${id}`,
+        reason: 'Acceptance criteria exist but no E2E tests are linked — generate them.',
+        // B5: a generated suite counts as done only when it has ≥1 ACTIVE test()
+        // (hasActiveGeneratedTests) — a stub-only test.fixme scaffold is tests-STUBBED,
+        // not tests-generated, so the navigator keeps surfacing the implement step.
+        // (Funnel/scorecard are unaffected: requirementsVerified already ignores fixme.)
+        // C1: hand-authored proof — all-ACs-verified (and, after Task 2, a linked
+        // `@verifies` local spec) — also satisfies this gate; a stub-only test.fixme
+        // scaffold still does not (B5).
+        isDone: (s) => !s.signals.hasAcceptanceCriteria ||
+            s.signals.hasActiveGeneratedTests ||
+            s.signals.hasVerifiedAcceptanceCriteria ||
+            s.signals.hasLinkedLocalTest,
+    },
+    {
+        id: 'a11y-audit',
+        actor: 'encore-a11y-audit skill',
+        actorType: 'skill',
+        invocation: (id) => `the encore-a11y-audit skill on ${id} (UI-bearing specs)`,
+        reason: 'Optional: run a per-route accessibility audit for UI-bearing specs.',
+        optional: true,
+        completesStatus: 'ux_reviewed',
+        isDone: (s) => s.signals.hasUxSignoff,
+    },
+    {
+        id: 'create-plan',
+        actor: 'create-plan / validate-plan command',
+        actorType: 'command',
+        invocation: (id) => `validate-spec --spec ${id} --auto-plan (or create-plan), then validate-plan --spec ${id}`,
+        reason: 'No implementation plan yet.',
+        completesStatus: 'planned',
+        isDone: (s) => s.hasPlan,
+    },
+    {
+        id: 'generate-tasks',
+        actor: 'generate-tasks command',
+        actorType: 'command',
+        invocation: (id) => `eos-spec tasks ${id}`,
+        reason: 'Plan exists but no task breakdown.',
+        completesStatus: 'tasks_generated',
+        isDone: (s) => s.hasTasks,
+    },
+];
+/** Derive a spec's furthest-reached pipeline stage from artifacts only.
+ *
+ *  Sign-off markers are treated as **cumulative**: the stage is the highest
+ *  `completesStatus` among *all* done transitions, regardless of whether an
+ *  earlier gate's marker happens to be missing (a later marker implies the
+ *  earlier stages were reached). This deliberately does NOT hard-cap at the
+ *  first incomplete gate — that older behavior collapsed any spec missing an
+ *  early marker (e.g. a `<!-- validated: -->` that was never written even though
+ *  the spec was later reviewed, compliance-signed, planned and tasked) down to
+ *  `clarified`/`stub`, which made `funnel`/`status` under-report the pipeline
+ *  (H5). Out-of-order gaps are not hidden — `next` still walks for the first
+ *  incomplete gate and surfaces the gap via its `outOfOrder` note.
+ *
+ *  Returns `'stub'` as the floor when no stage has been reached. Ignores
+ *  `pipeline_status` (that field is the cached output of this function,
+ *  materialized by `reconcile`). */
+export function legacyComputeStage(spec) {
+    // Honest caps: some downstream artifacts exist on disk yet the spec has not
+    // actually cleared the evidence gate the corresponding pipeline_status keys on.
+    // Each unmet prerequisite caps the computed stage *below* the status it would
+    // otherwise claim, surfacing the latent overclaim instead of masking it — and
+    // avoids the drift catch-22 where written pipeline_status can't honestly drop
+    // below a computed value reached out-of-order. We take the MINIMUM (tightest)
+    // of the applicable caps so all of them apply.
+    //
+    //  • Research cap: a regulated spec without a research appendix has not passed
+    //    regulatory_grounded, so later-stage artifacts (plan/tasks/compliance)
+    //    cannot lift its stage to or beyond regulatory_grounded.
+    //  • Acceptance-criteria cap: the generate-tasks transition is "done" merely
+    //    because a TASKS file exists, but the evidence gate
+    //    (scripts/specs/validate-pipeline-status.ts) requires acceptance_criteria
+    //    at tasks_generated. A spec with a tasks file but no ACs therefore cannot
+    //    honestly reach tasks_generated.
+    const caps = [];
+    if (spec.signals.isRegulated && !spec.signals.hasResearch)
+        caps.push(rank('regulatory_grounded'));
+    if (!spec.signals.hasAcceptanceCriteria)
+        caps.push(rank('tasks_generated'));
+    const capRank = caps.length ? Math.min(...caps) : Number.POSITIVE_INFINITY;
+    let best;
+    for (const t of LEGACY_PIPELINE) {
+        if (t.regulatedOnly && !spec.signals.isRegulated)
+            continue;
+        if (!t.isDone(spec) || !t.completesStatus)
+            continue;
+        if (rank(t.completesStatus) >= capRank)
+            continue; // honest cap
+        if (rank(t.completesStatus) > rank(best))
+            best = t.completesStatus;
+    }
+    return best ?? 'stub';
+}
+/** Interpret a config-driven {@link PipelineSchema} into the runtime engine —
+ *  the `{ STATUS_ORDER, PIPELINE, rank, computeStage }` quartet the rest of the
+ *  CLI consumes. The built `PIPELINE` is structurally a {@link Transition}[]: each
+ *  stage's `invocation` template string is rendered into an `invocation(id)`
+ *  FUNCTION and its named `gate` resolved to an `isDone` closure via `registry`,
+ *  so callers (`next.ts`, `reconcile.ts`, scorecard/funnel) need ZERO changes.
+ *
+ *  `computeStage` reproduces {@link legacyComputeStage} EXACTLY: same per-cap
+ *  `whenRegulated` skip, same MIN-of-caps, the same regulatedOnly stage skip, and
+ *  the same `best ?? 'stub'` floor. The Task 1.5 parity gate proves byte-for-byte
+ *  equivalence against the captured encore1 baseline. */
+export function buildPipeline(schema, registry) {
+    validateSchema(schema, registry);
+    const order = schema.statusOrder;
+    const rankFn = (status) => {
+        if (!status)
+            return -1;
+        const i = order.indexOf(status);
+        return i === -1 ? -1 : i;
+    };
+    const pipeline = schema.stages.map((st) => ({
+        id: st.id,
+        actor: st.actor,
+        actorType: st.actorType,
+        // Render the `${id}` template literal into the legacy `invocation` FUNCTION shape.
+        invocation: (id) => st.invocation.replaceAll('${id}', id),
+        reason: st.reason,
+        regulatedOnly: st.regulatedOnly,
+        optional: st.optional,
+        completesStatus: st.completesStatus,
+        isDone: registry[st.gate],
+    }));
+    const computeStageFn = (spec) => {
+        const caps = [];
+        for (const cap of schema.caps) {
+            if (cap.whenRegulated && !spec.signals.isRegulated)
+                continue;
+            if (!registry[cap.unless](spec))
+                caps.push(rankFn(cap.capBelow));
+        }
+        const capRank = caps.length ? Math.min(...caps) : Number.POSITIVE_INFINITY;
+        let best;
+        for (const t of pipeline) {
+            if (t.regulatedOnly && !spec.signals.isRegulated)
+                continue;
+            if (!t.isDone(spec) || !t.completesStatus)
+                continue;
+            if (rankFn(t.completesStatus) >= capRank)
+                continue; // honest cap
+            if (rankFn(t.completesStatus) > rankFn(best))
+                best = t.completesStatus;
+        }
+        return best ?? 'stub';
+    };
+    return { STATUS_ORDER: order, PIPELINE: pipeline, rank: rankFn, computeStage: computeStageFn };
+}
+// Active selection — config-driven by default; `EOS_PIPELINE=legacy` rolls back
+// to the hand-written engine. STATUS_ORDER/rank are identical in both
+// (schema.statusOrder === legacy STATUS_ORDER), so the existing exports stand.
+const _built = buildPipeline(ENCORE1_PIPELINE_SCHEMA, DEFAULT_PREDICATES);
+// NOTE: EOS_PIPELINE is read once at module load — set it before import, not mid-test.
+/** Canonical, ordered spec/test pipeline. First not-done applicable transition is
+ *  the next step. Config-driven by default; `EOS_PIPELINE=legacy` selects {@link LEGACY_PIPELINE}. */
+export const PIPELINE = process.env.EOS_PIPELINE === 'legacy' ? LEGACY_PIPELINE : _built.PIPELINE;
+/** Derive a spec's furthest-reached pipeline stage from artifacts only.
+ *  Config-driven by default; `EOS_PIPELINE=legacy` selects {@link legacyComputeStage}. */
+export const computeStage = process.env.EOS_PIPELINE === 'legacy' ? legacyComputeStage : _built.computeStage;
+//# sourceMappingURL=pipeline-map.js.map

package/dist/lib/pipeline-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline-map.js","sourceRoot":"","sources":["../../src/lib/pipeline-map.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAyB7D,MAAM,YAAY,GAAG;IACnB,MAAM;IACN,WAAW;IACX,WAAW;IACX,qBAAqB;IACrB,UAAU;IACV,qBAAqB;IACrB,aAAa;IACb,SAAS;IACT,iBAAiB;CAClB,CAAC;AAEF,yFAAyF;AACzF,MAAM,UAAU,IAAI,CAAC,MAAe;IAClC,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,8EAA8E;AAC9E,mEAAmE;AAEnE;;2DAE2D;AAC3D,MAAM,CAAC,MAAM,eAAe,GAAiB;IAC3C;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,sBAAsB;QAC7B,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,uBAAuB,EAAE,EAAE;QAC/C,MAAM,EAAE,+DAA+D;QACvE,eAAe,EAAE,WAAW;QAC5B,iFAAiF;QACjF,+EAA+E;QAC/E,iEAAiE;QACjE,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,kDAAkD;KAChF;IACD;QACE,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,uBAAuB;QAC9B,SAAS,EAAE,SAAS;QACpB,0EAA0E;QAC1E,0EAA0E;QAC1E,wEAAwE;QACxE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CACjB,iCAAiC,EAAE,4FAA4F,EAAE,KAAK;QACxI,MAAM,EAAE,6DAA6D;QACrE,eAAe,EAAE,WAAW;QAC5B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB;KAC9C;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,KAAK,EAAE,4BAA4B;QACnC,SAAS,EAAE,OAAO;QAClB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,qCAAqC,EAAE,EAAE;QAC7D,MAAM,EAAE,yDAAyD;QACjE,aAAa,EAAE,IAAI;QACnB,eAAe,EAAE,qBAAqB;QACtC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW;KACrC;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,OAAO;QAClB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,4BAA4B,EAAE,EAAE;QACpD,MAAM,EAAE,+DAA+D;QACvE,eAAe,EAAE,UAAU;QAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa;KACvC;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,2BAA2B;QAClC,SAAS,EAAE,OAAO;QAClB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,oCAAoC,EAAE,4BAA4B;QACtF,MAAM,EAAE,4DAA4D;QACpE,aAAa,EAAE,IAAI;QACnB,eAAe,EAAE,qBAAqB;QACtC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB;KAC9C;IACD;QACE,EAAE,EAAE,WAAW;QACf,KAAK,EAAE,4BAA4B;QACnC,SAAS,EAAE,OAAO;QAClB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,qCAAqC,EAAE,EAAE;QAC7D,MAAM,EAAE,uFAAuF;QAC/F,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,IAAI,CAAC,CAAC,OAAO,CAAC,qBAAqB;KAC5E;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,2BAA2B;QAClC,SAAS,EAAE,OAAO;QAClB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,oCAAoC,EAAE,EAAE;QAC5D,MAAM,EAAE,wEAAwE;QAChF,yEAAyE;QACzE,gFAAgF;QAChF,4EAA4E;QAC5E,iFAAiF;QACjF,0EAA0E;QAC1E,6EAA6E;QAC7E,gCAAgC;QAChC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB;YAChC,CAAC,CAAC,OAAO,CAAC,uBAAuB;YACjC,CAAC,CAAC,OAAO,CAAC,6BAA6B;YACvC,CAAC,CAAC,OAAO,CAAC,kBAAkB;KAC/B;IACD;QACE,EAAE,EAAE,YAAY;QAChB,KAAK,EAAE,yBAAyB;QAChC,SAAS,EAAE,OAAO;QAClB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,kCAAkC,EAAE,qBAAqB;QAC7E,MAAM,EAAE,qEAAqE;QAC7E,QAAQ,EAAE,IAAI;QACd,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY;KACtC;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,qCAAqC;QAC5C,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,wBAAwB,EAAE,4DAA4D,EAAE,EAAE;QAC9G,MAAM,EAAE,6BAA6B;QACrC,eAAe,EAAE,SAAS;QAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO;KACzB;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,wBAAwB;QAC/B,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,kBAAkB,EAAE,EAAE;QAC1C,MAAM,EAAE,oCAAoC;QAC5C,eAAe,EAAE,iBAAiB;QAClC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ;KAC1B;CACF,CAAC;AAEF;;;;;;;;;;;;;;;oCAeoC;AACpC,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,4EAA4E;IAC5E,gFAAgF;IAChF,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,+CAA+C;IAC/C,EAAE;IACF,+EAA+E;IAC/E,2EAA2E;IAC3E,6DAA6D;IAC7D,6EAA6E;IAC7E,wDAAwD;IACxD,8EAA8E;IAC9E,8EAA8E;IAC9E,qCAAqC;IACrC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAClG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;IAC3E,IAAI,IAAwB,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;YAAE,SAAS;QAC3D,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe;YAAE,SAAS;QACpD,IAAI,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,OAAO;YAAE,SAAS,CAAC,aAAa;QAC/D,IAAI,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,IAAI,MAAM,CAAC;AACxB,CAAC;AAED;;;;;;;;;;yDAUyD;AACzD,MAAM,UAAU,aAAa,CAAC,MAAsB,EAAE,QAA2B;IAC/E,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC;IACjC,MAAM,MAAM,GAAG,CAAC,MAAe,EAAU,EAAE;QACzC,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,MAAM,QAAQ,GAAiB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxD,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,SAAS,EAAE,EAAE,CAAC,SAAS;QACvB,mFAAmF;QACnF,UAAU,EAAE,CAAC,EAAU,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACjE,MAAM,EAAE,EAAE,CAAC,MAAM;QACjB,aAAa,EAAE,EAAE,CAAC,aAAa;QAC/B,QAAQ,EAAE,EAAE,CAAC,QAAQ;QACrB,eAAe,EAAE,EAAE,CAAC,eAAe;QACnC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAE;KAC3B,CAAC,CAAC,CAAC;IACJ,MAAM,cAAc,GAAG,CAAC,IAAc,EAAU,EAAE;QAChD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;gBAAE,SAAS;YAC7D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC3E,IAAI,IAAwB,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;gBAAE,SAAS;YAC3D,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe;gBAAE,SAAS;YACpD,IAAI,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,OAAO;gBAAE,SAAS,CAAC,aAAa;YACjE,IAAI,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBAAE,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC;QACzE,CAAC;QACD,OAAO,IAAI,IAAI,MAAM,CAAC;IACxB,CAAC,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AACjG,CAAC;AAED,gFAAgF;AAChF,sEAAsE;AACtE,+EAA+E;AAC/E,MAAM,MAAM,GAAG,aAAa,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAC;AAE1E,uFAAuF;AAEvF;sGACsG;AACtG,MAAM,CAAC,MAAM,QAAQ,GAAiB,OAAO,CAAC,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;AAEhH;0FAC0F;AAC1F,MAAM,CAAC,MAAM,YAAY,GACvB,OAAO,CAAC,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC"}

package/dist/lib/pipeline-schema.d.ts

@@ -0,0 +1,48 @@
+import type { SpecFile } from './specs.js';
+/** Who/what performs a pipeline stage transition. */
+export type ActorType = 'command' | 'skill' | 'agent' | 'human-gate';
+/** A named gate/cap predicate over a spec's artifacts/signals. */
+export type StagePredicate = (spec: SpecFile) => boolean;
+/** Registry of named predicates referenced by a {@link PipelineSchema}. */
+export type PredicateRegistry = Record<string, StagePredicate>;
+/** A single pipeline stage, as pure data (the runtime `isDone` closure is
+ *  supplied by name via the {@link PredicateRegistry} `gate`). */
+export type StageDef = {
+    /** Stable id; doubles as the emitted NextAction.type. */
+    id: string;
+    /** Name of the predicate in the registry that determines whether this stage is done. */
+    gate: string;
+    /** Who/what performs this transition. */
+    actor: string;
+    actorType: ActorType;
+    /** Exact thing to run/do; a `${id}` literal placeholder is substituted at interpret time. */
+    invocation: string;
+    /** Human-readable reason shown when this is the next step. */
+    reason: string;
+    /** Only applies to regulated cores (cl/pm/hr/rh/gr). */
+    regulatedOnly?: boolean;
+    /** Advisory — surfaced as a hint but never blocks progression. */
+    optional?: boolean;
+    /** The pipeline_status enum value this transition completes (for schema-coverage + reconciliation). */
+    completesStatus?: string;
+};
+/** An honest-cap rule: when the `unless` predicate returns FALSE, the computed
+ *  stage is capped below `capBelow`. `whenRegulated` scopes the cap to regulated specs. */
+export type CapDef = {
+    /** Name of the registry predicate; the cap applies when it returns FALSE. */
+    unless: string;
+    /** Scope the cap to regulated specs only. */
+    whenRegulated?: boolean;
+    /** The pipeline_status the computed stage is capped below when the cap applies. */
+    capBelow: string;
+};
+/** The full config-driven pipeline definition. */
+export type PipelineSchema = {
+    statusOrder: string[];
+    stages: StageDef[];
+    caps: CapDef[];
+};
+/** Validate a {@link PipelineSchema} against its {@link PredicateRegistry}: every
+ *  stage gate and cap predicate must be registered, and every `completesStatus`/
+ *  `capBelow` must be a known status. Throws on the first violation. */
+export declare function validateSchema(schema: PipelineSchema, registry: PredicateRegistry): void;

package/dist/lib/pipeline-schema.js

@@ -0,0 +1,22 @@
+/** Validate a {@link PipelineSchema} against its {@link PredicateRegistry}: every
+ *  stage gate and cap predicate must be registered, and every `completesStatus`/
+ *  `capBelow` must be a known status. Throws on the first violation. */
+export function validateSchema(schema, registry) {
+    for (const st of schema.stages) {
+        if (!registry[st.gate]) {
+            throw new Error(`pipeline schema: unknown gate predicate '${st.gate}' for stage '${st.id}'`);
+        }
+        if (st.completesStatus && !schema.statusOrder.includes(st.completesStatus)) {
+            throw new Error(`pipeline schema: stage '${st.id}' completesStatus '${st.completesStatus}' not in statusOrder`);
+        }
+    }
+    for (const cap of schema.caps) {
+        if (!registry[cap.unless]) {
+            throw new Error(`pipeline schema: unknown cap predicate '${cap.unless}'`);
+        }
+        if (!schema.statusOrder.includes(cap.capBelow)) {
+            throw new Error(`pipeline schema: cap capBelow '${cap.capBelow}' not in statusOrder`);
+        }
+    }
+}
+//# sourceMappingURL=pipeline-schema.js.map

package/dist/lib/pipeline-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline-schema.js","sourceRoot":"","sources":["../../src/lib/pipeline-schema.ts"],"names":[],"mappings":"AAmDA;;wEAEwE;AACxE,MAAM,UAAU,cAAc,CAAC,MAAsB,EAAE,QAA2B;IAChF,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,4CAA4C,EAAE,CAAC,IAAI,gBAAgB,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,CAAC,EAAE,sBAAsB,EAAE,CAAC,eAAe,sBAAsB,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,kCAAkC,GAAG,CAAC,QAAQ,sBAAsB,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/lib/placement.d.ts

@@ -0,0 +1,6 @@
+export type Misplaced = {
+    id: string;
+    path: string;
+    expectedDir: string;
+};
+export declare function findMisplacedSpecs(repoRoot: string): Misplaced[];