@encore-os/eos-spec 0.3.1

package/dist/lib/session-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-state.js","sourceRoot":"","sources":["../../src/lib/session-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC,MAAM,OAAO,GAAG,4DAA4D,CAAC;AAC7E,MAAM,OAAO,GAAG,mCAAmC,CAAC;AAEpD,gGAAgG;AAChG,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;AACzE,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/lib/spec-debt.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Single-spec verification-debt flag (A7): true when the spec CLAIMS complete but has zero
+ * @verifies-backed requirements — the scorecard's `claimedCompleteButUnverified` column for
+ * one id. Reuses buildScorecardForCore + scanVerifies (the same machinery `eos-spec scorecard`
+ * runs) rather than re-deriving the predicate, so `next`/`status` and the scorecard never drift.
+ * Returns false for an unknown id (no row).
+ */
+export declare function isClaimedCompleteUnverified(repoRoot: string, specId: string): boolean;

package/dist/lib/spec-debt.js

@@ -0,0 +1,17 @@
+import { buildScorecardForCore } from './scorecard-run.js';
+import { scanVerifies } from './verifies-scan.js';
+/**
+ * Single-spec verification-debt flag (A7): true when the spec CLAIMS complete but has zero
+ * @verifies-backed requirements — the scorecard's `claimedCompleteButUnverified` column for
+ * one id. Reuses buildScorecardForCore + scanVerifies (the same machinery `eos-spec scorecard`
+ * runs) rather than re-deriving the predicate, so `next`/`status` and the scorecard never drift.
+ * Returns false for an unknown id (no row).
+ */
+export function isClaimedCompleteUnverified(repoRoot, specId) {
+    const core = specId.split('-')[0]?.toLowerCase();
+    const verifiedBySpec = scanVerifies(repoRoot);
+    const report = buildScorecardForCore(repoRoot, core, verifiedBySpec);
+    const row = report.rows.find((r) => r.id.toUpperCase() === specId.toUpperCase());
+    return row?.claimedCompleteButUnverified ?? false;
+}
+//# sourceMappingURL=spec-debt.js.map

package/dist/lib/spec-debt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-debt.js","sourceRoot":"","sources":["../../src/lib/spec-debt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,MAAc;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;IACjD,MAAM,cAAc,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACjF,OAAO,GAAG,EAAE,4BAA4B,IAAI,KAAK,CAAC;AACpD,CAAC"}

package/dist/lib/spec-pure.d.ts

@@ -0,0 +1,59 @@
+import type { SpecSignals } from './specs.js';
+/** Cores requiring regulatory grounding + compliance review. */
+export declare const REGULATED_CORES: Set<string>;
+/** True when a generated test source has ≥1 ACTIVE `test(` block (not `test.fixme`/
+ *  `test.describe`) and is not an AC-less placeholder. Pure (operates on source text). */
+export declare function hasActiveGeneratedTestSource(source: string): boolean;
+/** File-existence + fs-derived flags `deriveSignalsFromText` cannot compute from
+ *  content alone; the fs-bound `deriveSignals` (specs.ts) supplies them, a browser
+ *  consumer passes what it knows (e.g. `reviewFileExists`) and the rest default false. */
+export type SpecSignalFlags = {
+    researchFileExists?: boolean;
+    reviewFileExists?: boolean;
+    generatedTestExists?: boolean;
+    complianceSignoffFileExists?: boolean;
+    docshotImageExists?: boolean;
+    activeGeneratedTests?: boolean;
+    isCreateWizardSpec?: boolean;
+    submitE2eProvesPersist?: boolean;
+    linkedLocalTestExists?: boolean;
+};
+/**
+ * Derive a spec's pipeline signals from its core + raw markdown text, using only
+ * content (frontmatter + body regexes) plus the caller-supplied file-existence
+ * flags. The single source of truth for signal derivation: the fs-bound
+ * `deriveSignals` in specs.ts is a thin positional-args adapter over this.
+ */
+export declare function deriveSignalsFromText(core: string, text: string, flags?: SpecSignalFlags): SpecSignals;
+/**
+ * The spec id parsed from `filename`, anchored to the EXACT `core` (any length).
+ * The id grammar is `{core}[-{SUB}]-{num}[.{minor}][-{EN-n|En|Pn[.n][-EN-n]}]`,
+ * matched case-insensitively. Anchoring to the literal core (instead of a generic
+ * `[A-Z]{2,N}` class + `startsWith`) is what lets the same helper serve encoreos's
+ * 2-char cores (PF/CE) AND builder's longer cores (RUNNER, tool) without
+ * over-crediting a foreign id (e.g. `FARM-12` is never read as core `fa`). Proven
+ * zero-diff against all 1287 encoreos spec files and 50/50 on the builder corpus
+ * (epic #300, Wave-1 G3).
+ */
+export declare function extractSpecId(filename: string, core: string): string | null;
+/** A `{ID}-PHASE…` lifecycle file. `[A-Z]{2,6}` so it skips builder phase files
+ *  (e.g. `RUNNER-…-PHASE2-…`) as well as encoreos's 2–3-char cores. */
+export declare function isPhaseLifecycleFile(filename: string): boolean;
+export declare function isLifecycleArtifact(filename: string): boolean;
+/** True when a filename + its containing dir indicate a derivative artifact, not a primary spec. */
+export declare function isDerivativeArtifact(dirName: string, filename: string): boolean;
+/** The skip rules `collectSpecsFromDirectory` applies to one filename. */
+export declare function isPrimarySpecFile(filename: string): boolean;
+/** True when a repo-relative path is a primary spec directly under specs/{core}/specs|ux/. */
+export declare function isPrimarySpecPath(path: string): boolean;
+/** The spec id for a primary spec path, or null if the path isn't a primary spec. */
+export declare function specIdForPath(path: string): string | null;
+/** Deterministic winner (path-sorted, mirroring the CLI's findSpec) for a spec id among `allPaths`. */
+export declare function findSpecPath(specId: string, allPaths: string[]): string | null;
+/**
+ * Path-Set equivalent of specs.ts's `hasArtifact`/`resolveArtifactPath`: is there a
+ * `specs/{core}/{folder}/{id}-{suffix}.md` (flat dir only) in `paths`? A child
+ * sub-spec's artifact (`{id}-EN-01-TASKS.md`, `{id}-P2-TASKS.md`) must not credit
+ * the parent id — same boundary rule the fs walker uses.
+ */
+export declare function hasArtifactInPaths(paths: Set<string>, core: string, folder: 'plans' | 'tasks', id: string, suffix: string): boolean;

package/dist/lib/spec-pure.js

@@ -0,0 +1,215 @@
+/**
+ * Pure, fs-free spec helpers — the browser-safe core a client (e.g. Spec Studio)
+ * can import without pulling node:fs / child_process. Everything here takes spec
+ * CONTENT and PATH STRINGS (or a Set of paths), never reads the filesystem, so it
+ * is re-exported from `/pure` and guarded by `pure-purity.test.ts`.
+ *
+ * `specs.ts` (the fs-bound corpus walker) DELEGATES to these: `deriveSignals`
+ * calls `deriveSignalsFromText`, and the path classifiers / artifact-existence
+ * checks are the single source of truth re-exported from there. That keeps the
+ * fs and browser code paths from drifting — the whole reason this module exists.
+ *
+ * The `import type` of `SpecSignals` from the fs-bound `specs.ts` is erased by
+ * tsc, so it does NOT pull specs.ts into the `/pure` runtime closure (asserted by
+ * pure-purity.test.ts).
+ */
+import { collectSpecIds } from './blockers.js';
+import { readFrontmatter } from './frontmatter.js';
+import { acStatusCounts, allAcceptanceCriteriaTerminal } from './requirements.js';
+/** Cores requiring regulatory grounding + compliance review. */
+export const REGULATED_CORES = new Set(['cl', 'pm', 'hr', 'rh', 'gr']);
+/** The marker the generator emits for an AC-less spec. */
+const GENERATED_NO_AC_MARKER = 'no acceptance_criteria — run encore-spec-ac-draft first';
+/** True when a generated test source has ≥1 ACTIVE `test(` block (not `test.fixme`/
+ *  `test.describe`) and is not an AC-less placeholder. Pure (operates on source text). */
+export function hasActiveGeneratedTestSource(source) {
+    if (source.includes(GENERATED_NO_AC_MARKER))
+        return false;
+    const withoutLineComments = source.replace(/\/\/[^\n]*/g, '');
+    return /(?<![.\w])test\s*\(/.test(withoutLineComments);
+}
+/**
+ * Derive a spec's pipeline signals from its core + raw markdown text, using only
+ * content (frontmatter + body regexes) plus the caller-supplied file-existence
+ * flags. The single source of truth for signal derivation: the fs-bound
+ * `deriveSignals` in specs.ts is a thin positional-args adapter over this.
+ */
+export function deriveSignalsFromText(core, text, flags = {}) {
+    const { researchFileExists = false, reviewFileExists = false, generatedTestExists = false, complianceSignoffFileExists = false, docshotImageExists = false, activeGeneratedTests = false, isCreateWizardSpec = false, submitE2eProvesPersist = false, linkedLocalTestExists = false, } = flags;
+    const fm = readFrontmatter(text);
+    const nonEmptyArray = (v) => Array.isArray(v) && v.length > 0;
+    const hasUserStoriesSection = /^#{1,3}\s+User Stories\b/im.test(text);
+    const affectedFiles = Array.isArray(fm.affected_files) ? fm.affected_files.map(String) : [];
+    const uiAffectedFiles = affectedFiles.some((f) => /\/(components|pages|wizards)\//.test(f) || f.endsWith('.tsx'));
+    return {
+        isRegulated: REGULATED_CORES.has(core.toLowerCase()),
+        pipelineStatus: typeof fm.pipeline_status === 'string' ? fm.pipeline_status : undefined,
+        hasResearch: researchFileExists || typeof fm.research_appendix === 'string',
+        hasAcceptanceCriteria: nonEmptyArray(fm.acceptance_criteria),
+        hasVerifiedAcceptanceCriteria: allAcceptanceCriteriaTerminal(fm.acceptance_criteria),
+        hasLinkedLocalTest: nonEmptyArray(fm.e2e_tests) && linkedLocalTestExists,
+        hasUserStories: nonEmptyArray(fm.user_stories) || hasUserStoriesSection,
+        hasGeneratedTests: nonEmptyArray(fm.e2e_tests) || generatedTestExists,
+        hasActiveGeneratedTests: activeGeneratedTests,
+        hasSeedFixture: /tests\/fixtures\/[a-z0-9-]+\/[A-Za-z0-9]+Seed\.ts/.test(text),
+        hasSpecReview: reviewFileExists || /<!--\s*spec-reviewed:/i.test(text),
+        hasValidationSignoff: /<!--\s*validated:/i.test(text),
+        hasComplianceSignoff: complianceSignoffFileExists || /<!--\s*compliance-reviewed:/i.test(text),
+        hasUxSignoff: /<!--\s*ux-reviewed:/i.test(text),
+        isUiBearing: uiAffectedFiles || /^#{1,3}\s*UI\s*\/?\s*UX\b/im.test(text),
+        hasDocshots: docshotImageExists || /-docs-shots\.spec\.ts/.test(text) || /<!--\s*docshots:/i.test(text),
+        hasHealSignoff: /<!--\s*heal-verified:/i.test(text),
+        hasUiGateWaiver: /<!--\s*ui-gate-waived:/i.test(text),
+        isCreateWizardSpec,
+        hasSubmitE2e: submitE2eProvesPersist || /<!--\s*submit-e2e-waived:/i.test(text),
+        blockedBy: collectSpecIds(fm.blocked_by),
+        hasVerificationSection: /^#{1,3}\s+Verification\b/im.test(text),
+        acStatus: acStatusCounts(fm.acceptance_criteria),
+    };
+}
+// ── pure path classification (the fs-free half of specs.ts's directory walk) ──
+/** Escape a core for use inside a RegExp. */
+function escapeForRegExp(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+const LIFECYCLE_ARTIFACTS = [
+    'CLARIFICATION',
+    'REVIEW',
+    'COMPLIANCE-REPORT',
+    'IMPLEMENTATION_PLAN',
+    'IMPLEMENTATION-PLAN',
+    '-ENHANCEMENT-',
+    '-ANALYSIS',
+];
+/** Subdirectories that hold derivative docs, not primary specs. */
+const NON_PRIMARY_DIRS = new Set([
+    'analysis',
+    'decisions',
+    'contexts',
+    'navigation',
+    'recommendations',
+    'enhancements',
+    'reviews',
+    'reports',
+    'research',
+    'summaries',
+    'plans',
+    'tasks',
+]);
+/** Filename without directory or trailing `.md`. */
+function specBasename(path) {
+    const file = path.split('/').pop() ?? path;
+    return file.endsWith('.md') ? file.slice(0, -3) : file;
+}
+/**
+ * The spec id parsed from `filename`, anchored to the EXACT `core` (any length).
+ * The id grammar is `{core}[-{SUB}]-{num}[.{minor}][-{EN-n|En|Pn[.n][-EN-n]}]`,
+ * matched case-insensitively. Anchoring to the literal core (instead of a generic
+ * `[A-Z]{2,N}` class + `startsWith`) is what lets the same helper serve encoreos's
+ * 2-char cores (PF/CE) AND builder's longer cores (RUNNER, tool) without
+ * over-crediting a foreign id (e.g. `FARM-12` is never read as core `fa`). Proven
+ * zero-diff against all 1287 encoreos spec files and 50/50 on the builder corpus
+ * (epic #300, Wave-1 G3).
+ */
+export function extractSpecId(filename, core) {
+    const re = new RegExp(`^(${escapeForRegExp(core)}(?:-[A-Z]{1,4})?-\\d+(?:\\.\\d+)?(?:-(?:EN-\\d+|E\\d+|P\\d+(?:\\.\\d+)?(?:-EN-\\d+)?))?)`, 'i');
+    const match = re.exec(specBasename(filename));
+    return match ? match[1] : null;
+}
+/** A `{ID}-PHASE…` lifecycle file. `[A-Z]{2,6}` so it skips builder phase files
+ *  (e.g. `RUNNER-…-PHASE2-…`) as well as encoreos's 2–3-char cores. */
+export function isPhaseLifecycleFile(filename) {
+    return /^[A-Z]{2,6}-\d+(?:\.\d+)?-(?:[A-Z]+-)?PHASE\d?-/i.test(specBasename(filename).toUpperCase());
+}
+export function isLifecycleArtifact(filename) {
+    const upper = specBasename(filename).toUpperCase();
+    // Match each token at DASH boundaries, preserving the token's own leading/trailing
+    // '-'. Plain `includes` over-excluded valid primary specs: 'REVIEW' matched
+    // `WEB-3-REVIEWED`/`...-PREVIEW-...`, 'COMPLIANCE-REPORT' matched
+    // `...-COMPLIANCE-REPORTING`, and stripping the dashes off '-ENHANCEMENT-' wrongly
+    // caught a `...-enhancement` SUFFIX. The token's own dashes are the boundary; the
+    // other side anchors on a dash or the string end.
+    return LIFECYCLE_ARTIFACTS.some((token) => {
+        const esc = token.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+        const left = token.startsWith('-') ? '' : '(?:^|-)';
+        const right = token.endsWith('-') ? '' : '(?:-|$)';
+        return new RegExp(`${left}${esc}${right}`).test(upper);
+    });
+}
+/** True when a filename + its containing dir indicate a derivative artifact, not a primary spec. */
+export function isDerivativeArtifact(dirName, filename) {
+    if (NON_PRIMARY_DIRS.has(dirName))
+        return true;
+    if (isLifecycleArtifact(filename) || isPhaseLifecycleFile(filename))
+        return true;
+    return /-(TASKS|PLAN|CONTEXT|RESEARCH|NAVIGATION|RECOMMENDATION|RECOMMENDATIONS|DECISION|DECISIONS|SUMMARY|IMPLEMENTATION|WORKSTREAM|AUDIT|REPORT|SIGNOFF|READINESS|EXPANSION|WORKSHEET|PATTERNS)/i.test(specBasename(filename).toUpperCase());
+}
+/** The skip rules `collectSpecsFromDirectory` applies to one filename. */
+export function isPrimarySpecFile(filename) {
+    if (!filename.endsWith('.md'))
+        return false;
+    if (filename.includes('CONTEXT'))
+        return false;
+    if (filename.startsWith('SPEC_INDEX'))
+        return false;
+    if (filename.startsWith('README'))
+        return false;
+    if (filename.includes('ENHANCEMENTS'))
+        return false;
+    if (filename.includes('EXPANSION'))
+        return false;
+    if (isPhaseLifecycleFile(filename))
+        return false;
+    if (isLifecycleArtifact(filename))
+        return false;
+    return true;
+}
+/** True when a repo-relative path is a primary spec directly under specs/{core}/specs|ux/. */
+export function isPrimarySpecPath(path) {
+    const parts = path.split('/');
+    if (parts.length !== 4 || parts[0] !== 'specs')
+        return false;
+    if (parts[2] !== 'specs' && parts[2] !== 'ux')
+        return false;
+    if (!isPrimarySpecFile(parts[3]))
+        return false;
+    return extractSpecId(parts[3], parts[1]) != null;
+}
+/** The spec id for a primary spec path, or null if the path isn't a primary spec. */
+export function specIdForPath(path) {
+    if (!isPrimarySpecPath(path))
+        return null;
+    const parts = path.split('/');
+    return extractSpecId(parts[3], parts[1]);
+}
+/** Deterministic winner (path-sorted, mirroring the CLI's findSpec) for a spec id among `allPaths`. */
+export function findSpecPath(specId, allPaths) {
+    const up = specId.toUpperCase();
+    const matches = allPaths.filter((p) => specIdForPath(p)?.toUpperCase() === up).sort((a, b) => a.localeCompare(b));
+    return matches[0] ?? null;
+}
+/**
+ * Path-Set equivalent of specs.ts's `hasArtifact`/`resolveArtifactPath`: is there a
+ * `specs/{core}/{folder}/{id}-{suffix}.md` (flat dir only) in `paths`? A child
+ * sub-spec's artifact (`{id}-EN-01-TASKS.md`, `{id}-P2-TASKS.md`) must not credit
+ * the parent id — same boundary rule the fs walker uses.
+ */
+export function hasArtifactInPaths(paths, core, folder, id, suffix) {
+    const prefix = `specs/${core}/${folder}/`;
+    for (const p of paths) {
+        if (!p.startsWith(prefix))
+            continue;
+        const file = p.slice(prefix.length);
+        if (file.includes('/'))
+            continue; // flat readdir parity with the CLI
+        if (file === `${id}-${suffix}.md`)
+            return true;
+        if (!file.startsWith(`${id}-`) || !file.endsWith(`-${suffix}.md`))
+            continue;
+        const middle = file.slice(id.length + 1, file.length - `-${suffix}.md`.length);
+        if (!/^(EN-\d+|P\d+)(-|$)/i.test(middle))
+            return true;
+    }
+    return false;
+}
+//# sourceMappingURL=spec-pure.js.map

package/dist/lib/spec-pure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-pure.js","sourceRoot":"","sources":["../../src/lib/spec-pure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAGlF,gEAAgE;AAChE,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEvE,0DAA0D;AAC1D,MAAM,sBAAsB,GAAG,yDAAyD,CAAC;AAEzF;0FAC0F;AAC1F,MAAM,UAAU,4BAA4B,CAAC,MAAc;IACzD,IAAI,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1D,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC9D,OAAO,qBAAqB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;AACzD,CAAC;AAiBD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,IAAY,EAAE,QAAyB,EAAE;IAC3F,MAAM,EACJ,kBAAkB,GAAG,KAAK,EAC1B,gBAAgB,GAAG,KAAK,EACxB,mBAAmB,GAAG,KAAK,EAC3B,2BAA2B,GAAG,KAAK,EACnC,kBAAkB,GAAG,KAAK,EAC1B,oBAAoB,GAAG,KAAK,EAC5B,kBAAkB,GAAG,KAAK,EAC1B,sBAAsB,GAAG,KAAK,EAC9B,qBAAqB,GAAG,KAAK,GAC9B,GAAG,KAAK,CAAC;IACV,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAChF,MAAM,qBAAqB,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5F,MAAM,eAAe,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAClH,OAAO;QACL,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACpD,cAAc,EAAE,OAAO,EAAE,CAAC,eAAe,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;QACvF,WAAW,EAAE,kBAAkB,IAAI,OAAO,EAAE,CAAC,iBAAiB,KAAK,QAAQ;QAC3E,qBAAqB,EAAE,aAAa,CAAC,EAAE,CAAC,mBAAmB,CAAC;QAC5D,6BAA6B,EAAE,6BAA6B,CAAC,EAAE,CAAC,mBAAmB,CAAC;QACpF,kBAAkB,EAAE,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,qBAAqB;QACxE,cAAc,EAAE,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,qBAAqB;QACvE,iBAAiB,EAAE,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,mBAAmB;QACrE,uBAAuB,EAAE,oBAAoB;QAC7C,cAAc,EAAE,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9E,aAAa,EAAE,gBAAgB,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC;QACtE,oBAAoB,EAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;QACrD,oBAAoB,EAAE,2BAA2B,IAAI,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9F,YAAY,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/C,WAAW,EAAE,eAAe,IAAI,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC;QACxE,WAAW,EAAE,kBAAkB,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;QACvG,cAAc,EAAE,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC;QACnD,eAAe,EAAE,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;QACrD,kBAAkB;QAClB,YAAY,EAAE,sBAAsB,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/E,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC,UAAU,CAAC;QACxC,sBAAsB,EAAE,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF,6CAA6C;AAC7C,SAAS,eAAe,CAAC,CAAS;IAChC,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,mBAAmB,GAAG;IAC1B,eAAe;IACf,QAAQ;IACR,mBAAmB;IACnB,qBAAqB;IACrB,qBAAqB;IACrB,eAAe;IACf,WAAW;CACZ,CAAC;AAEF,mEAAmE;AACnE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,UAAU;IACV,WAAW;IACX,UAAU;IACV,YAAY;IACZ,iBAAiB;IACjB,cAAc;IACd,SAAS;IACT,SAAS;IACT,UAAU;IACV,WAAW;IACX,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH,oDAAoD;AACpD,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC3C,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACzD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAY;IAC1D,MAAM,EAAE,GAAG,IAAI,MAAM,CACnB,KAAK,eAAe,CAAC,IAAI,CAAC,0FAA0F,EACpH,GAAG,CACJ,CAAC;IACF,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClC,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACnD,OAAO,kDAAkD,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACvG,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IACnD,mFAAmF;IACnF,4EAA4E;IAC5E,kEAAkE;IAClE,mFAAmF;IACnF,kFAAkF;IAClF,kDAAkD;IAClD,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACpD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACnD,OAAO,IAAI,MAAM,CAAC,GAAG,IAAI,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,oBAAoB,CAAC,OAAe,EAAE,QAAgB;IACpE,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,mBAAmB,CAAC,QAAQ,CAAC,IAAI,oBAAoB,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,OAAO,4LAA4L,CAAC,IAAI,CACtM,YAAY,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CACrC,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,oBAAoB,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC5D,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,CAAC;AACrD,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;AAC7C,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,QAAkB;IAC7D,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAClH,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAkB,EAClB,IAAY,EACZ,MAAyB,EACzB,EAAU,EACV,MAAc;IAEd,MAAM,MAAM,GAAG,SAAS,IAAI,IAAI,MAAM,GAAG,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,mCAAmC;QACrE,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,MAAM,KAAK;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,KAAK,CAAC;YAAE,SAAS;QAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/E,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/lib/specs.d.ts

@@ -0,0 +1,148 @@
+import type { AcStatusCounts } from './requirements.js';
+import { extractSpecId, isDerivativeArtifact } from './spec-pure.js';
+export { extractSpecId, isDerivativeArtifact };
+/** True when a generated test source has ≥1 ACTIVE `test(` block (not `test.fixme`/
+ *  `test.describe`) and is not an AC-less placeholder. Mirrors the active-test regex
+ *  in scripts/specs/check-generated-tests.ts (flagWeakTest): the negative lookbehind
+ *  rejects `test.fixme(`, `test.describe(`, and `/re/.test(`. Line comments are stripped
+ *  first so a `test(` mentioned in a `//` comment is not a false positive (the canonical
+ *  regex runs on real generated files, which never carry such comments). */
+export declare function hasActiveGeneratedTestSource(source: string): boolean;
+/** Cores requiring regulatory grounding + compliance review (matches scripts/specs/validate-compliance-gate.ts). */
+export declare const REGULATED_CORES: Set<string>;
+export type SpecSignals = {
+    isRegulated: boolean;
+    pipelineStatus?: string;
+    hasResearch: boolean;
+    hasAcceptanceCriteria: boolean;
+    hasUserStories: boolean;
+    hasGeneratedTests: boolean;
+    /** A generated suite exists AND has ≥1 active test() block (not stub-only
+     *  test.fixme scaffolds, and not an AC-less placeholder). Distinguishes
+     *  tests-generated from tests-stubbed in the navigator funnel (B5). */
+    hasActiveGeneratedTests: boolean;
+    /** Every acceptance_criteria entry is in a TERMINAL status (`verified` |
+     *  `hand_closed` | `deferred`) and there is ≥1 — i.e. none remain `planned`.
+     *  Proof the ACs are terminally resolved (a `verified` AC is backed by a passing
+     *  test set by verify-acs; `hand_closed`/`deferred` are the ADR-0015 audit-closed
+     *  statuses, issue #174), so the generate-tests gate is satisfied even without a
+     *  generated scaffold (C1). Computed via the typed model's
+     *  `allAcceptanceCriteriaTerminal`. The name is retained for signal-shape
+     *  stability across consumers; "verified" here means "terminally resolved". */
+    hasVerifiedAcceptanceCriteria: boolean;
+    /** A hand-authored `tests/e2e/<core>/<id>(-slug)?-local.spec.ts` carries a
+     *  `@verifies <ID>` backlink AND the spec declares `e2e_tests` — the
+     *  superpowers / non-generated test path (C1). */
+    hasLinkedLocalTest: boolean;
+    /** Advisory (Phase 3 canonical seed-fixture): the spec declares a Lane-4 seed
+     * fixture — a `tests/fixtures/<core>/<spec>Seed.ts` reference in its body, per the
+     * "### Seed Fixtures / Test Data" template section. Not a pipeline gate. */
+    hasSeedFixture?: boolean;
+    hasSpecReview: boolean;
+    hasValidationSignoff: boolean;
+    hasComplianceSignoff: boolean;
+    hasUxSignoff: boolean;
+    /** The spec ships user-facing UI (a populated "UI / UX" template section, or
+     * affected_files reaching into components/pages/wizards). Gates the verification
+     * tail (docshots + browser auto-heal) — data/backend-only specs skip both. */
+    isUiBearing: boolean;
+    /** Docshot evidence exists: a `docs/images/<area>/<spec-id>-*.png` on disk, a
+     * `*-docs-shots.spec.ts` referenced by the spec, or an explicit
+     * `<!-- docshots: -->` marker (legacy shot naming / not-applicable escape hatch,
+     * written via `eos-spec signoff --type docshots`). */
+    hasDocshots: boolean;
+    /** Browser auto-heal verdict recorded: `<!-- heal-verified: -->` marker, written
+     * via `eos-spec signoff --type heal-verified` after the browser-autoheal skill
+     * reaches HEAL_VERDICT=green. */
+    hasHealSignoff: boolean;
+    /** A `<!-- ui-gate-waived: <date> reason -->` marker exists, written via
+     *  `eos-spec signoff --type ui-gate-waived`. Documented escape for the C1
+     *  UI-evidence gate (e.g. a backend spec that `isUiBearing` false-positives on). */
+    hasUiGateWaiver: boolean;
+    /** Phase 3 (#1185): the spec is a kind:'create' wizard per the generated
+     *  wizard-create-specs bridge. Gates the submit→DB E2E completion check. */
+    isCreateWizardSpec?: boolean;
+    /** Phase 3 (#1185): a tests/e2e/<core>/<id>-local.spec.ts proves a persisted row
+     *  (imports createClient + a `.from('<table>') ... .select(` read-back of the target
+     *  table — the post-submit verification read, not a bare cleanup `.delete()`, #1327),
+     *  OR a `<!-- submit-e2e-waived: -->` marker is present. */
+    hasSubmitE2e?: boolean;
+    /** Canonical cross-spec blockers, parsed from `blocked_by` frontmatter (upper-cased spec ids). */
+    blockedBy: string[];
+    /** A `## Verification` section/heading is present in the spec body. A `hand_closed`
+     *  AC (proven by a CI suite the src-lane prover can't reach) REQUIRES this backlink;
+     *  the audit flags a hand_closed AC with no Verification section as a violation (#174).
+     *  Optional on the type for signal-shape stability; always populated by deriveSignals. */
+    hasVerificationSection?: boolean;
+    /** Per-AC status tally (planned vs verified vs hand_closed vs deferred) read from
+     *  frontmatter — the typed AC model the `audit` command consumes (#174). Optional on
+     *  the type for signal-shape stability; always populated by deriveSignals. */
+    acStatus?: AcStatusCounts;
+};
+export type SpecFile = {
+    id: string;
+    core: string;
+    path: string;
+    title?: string;
+    status?: string;
+    /** The id of the spec that supersedes this one (frontmatter `superseded_by`). Present ⇒ terminal. */
+    supersededBy?: string;
+    hasPlan: boolean;
+    hasTasks: boolean;
+    hasContext: boolean;
+    signals: SpecSignals;
+    archived: boolean;
+};
+/**
+ * Derive pipeline signals from a spec's core + raw text. File-existence flags are
+ * supplied by the caller. Thin positional-args adapter over the pure
+ * {@link deriveSignalsFromText} (spec-pure.ts) — the single source of signal
+ * derivation, shared with browser consumers via `/pure`. Keep this signature
+ * stable; route new signal logic through `deriveSignalsFromText`.
+ */
+export declare function deriveSignals(core: string, text: string, researchFileExists: boolean, reviewFileExists?: boolean, generatedTestExists?: boolean, complianceSignoffFileExists?: boolean, docshotImageExists?: boolean, activeGeneratedTests?: boolean, isCreateWizardSpec?: boolean, submitE2eProvesPersist?: boolean, linkedLocalTestExists?: boolean): SpecSignals;
+export declare function listSpecs(repoRoot: string, coreFilter?: string, options?: {
+    includeArchived?: boolean;
+}): SpecFile[];
+/**
+ * Resolve the on-disk path of a spec artifact (plan/tasks) for `id`, or null when none exists.
+ * Folder-agnostic: the artifact dir is `specs/{core}/{folder}/`, independent of whether the
+ * spec itself lives under `specs/{core}/specs/` or `specs/{core}/ux/` — which is exactly why
+ * the old `/\/specs\/[^/]+\.md$/` path-derivation regex in next.ts silently failed for UX specs.
+ */
+export declare function resolveArtifactPath(repoRoot: string, core: string, folder: 'plans' | 'tasks', id: string, suffix: string): string | null;
+/** True when a tests/e2e/<core>/<id-lower>(-<slug>)?-local.spec.ts exists AND
+ *  proves a persisted row was *read back* after submit: it imports createClient AND
+ *  contains a `.from('<targetTable>')` chained to a `.select(` — the post-submit
+ *  verification read — not merely a `.from('<targetTable>')` that could be a
+ *  setup/cleanup `.delete()` (#1327). Quote style is free (`'`, `"`, or backtick),
+ *  and arbitrary whitespace/newlines/chaining is allowed between the `.from(...)`
+ *  and the `.select(` (the Supabase builder is fluent, so the read-back commonly
+ *  spans lines: `db\n  .from('t')\n  .select(...)`). The submit→DB completion signal.
+ *  The repo convention is `<id>-<slug>-local.spec.ts` (e.g.
+ *  gr-ux-10-contract-creation-local.spec.ts), so the file is matched by prefix —
+ *  the same prefix-glob `generatedTestExistsFor` uses — not an exact filename. */
+export declare function submitE2eProvesPersistFor(repoRoot: string, core: string, id: string, targetTable: string): boolean;
+/**
+ * All specs whose ID matches `specId` (case-insensitive) across `specs/` and
+ * `ux/` — plus `archive/` when `options.includeArchived` is set. Duplicate spec
+ * IDs are live in the corpus today (e.g. PF-76, PF-77); callers that
+ * gate on identity (create/archive collision checks, the navigator) must use
+ * this instead of `findSpec` so collisions are visible, never silently resolved.
+ */
+export declare function findSpecsById(repoRoot: string, specId: string, options?: {
+    includeArchived?: boolean;
+}): SpecFile[];
+export declare function findSpec(repoRoot: string, specId: string, options?: {
+    includeArchived?: boolean;
+}): SpecFile | null;
+export type MissingSpecDiagnosis = {
+    foundPath?: string;
+    reason: string;
+};
+/**
+ * When findSpec returns null, look for a markdown file on disk whose name starts
+ * with the id so we can give honest advice instead of always suggesting
+ * create-spec. Walks `specs/{core}/` recursively.
+ */
+export declare function diagnoseMissingSpec(repoRoot: string, specId: string): MissingSpecDiagnosis;