mirror of
https://github.com/Fission-AI/OpenSpec.git
synced 2026-10-27 07:23:52 +08:00
* docs(openspec): propose resolution/validation parity bug bundle (#1182, #1202, #1156) Planning artifacts only (proposal/design/spec deltas/tasks) for a focused bug-fix bundle. Three read/validate paths silently diverge from the canonical logic a sibling command already gets right: - #1182 validate ignores workspace planning homes that status/instructions resolve - #1202 view counts only changes/<name>/tasks.md, ignoring the schema tasks glob - #1156 the SHALL/MUST body-keyword hint fires for deltas but not main specs Fix converges each divergent path onto the canonical one; parity is asserted by test. No new surface, no behavior change to the already-correct paths. Validates --strict. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(openspec): bulletproof the parity bundle after adversarial source review Hardened all three bugs after tracing each path to source with parallel verification agents. Material corrections: - #1182: reframed from "workspace planning home resolution" (planning homes are repo-only; the feature is now 'stores', and validate already accepts --store) to the real, reproducible-at-HEAD mechanism: validate's proposal.md membership gate (getActiveChangeIds) vs status/instructions' directory-existence rule (validateChangeExists). Pulled nested specs/<area>/<cap> delta discovery and bulk --all into scope; noted show.ts sibling. - #1202: widened from view-only to the shared helper's real blast radius — also the archive incomplete-task gate (silently archives unfinished glob-tasks changes: data safety) and a 2nd hardcoded copy in change.ts. Pinned apply.tracks as the source, change-dir scope containment, and the no-schema fallback. Added cli-archive delta for the gate. - #1156: the main-spec parser discards the requirement header before Zod runs, so the hint can't be "lifted" — fix needs header recovery (reuse requirement-blocks) + Zod de-dup, and the main-spec message can't be byte-identical to the delta's (no ADDED prefix). Pinned the actionable sentence + single-emission + regression scenarios across all main-spec surfaces. 4 deltas (cli-validate x2, cli-view, cli-archive). Validates --strict. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(openspec): deep-harden the parity bundle with empirical reproduction Round 2 of bulletproofing: 3 parallel agents reproduced every bug against the built (pre-fix) CLI and traced fix sites. This pass corrected two substantive errors in my own prior spec and closed several gaps. #1202 (two corrections to the prior draft): - apply.tracks is a FILENAME that selects the tracked artifact, NOT a glob; the glob is that artifact's `generates`. status resolves via resolveArtifactOutputs(changeDir, artifact.generates). Fixed all wording. - "view/archive counts equal status" is FALSE: status checks file EXISTENCE, not checkboxes (proven: status calls a 3/5 change isComplete:true). Deleted the two count-parity scenarios; reframed as resolution-mechanism parity (same files). - Added schema-resolution-failure fallback (resolveSchema throws; helper must catch or view/list/archive crash). Added projectRoot param + 6-site wiring. - Empirically PROVEN data-safety bug: archive moved a 3/5 unfinished change into changes/archive/. #1182: - Found a THIRD getActiveChangeIds site (interactive selector, validate.ts:97). - Proven: --all with a lone proposal-less change exits 0 silently. Added exit-code scenarios. Trimmed over-scope: getSpecIds spec-side is NOT a bug; no store-specific scenario needed; noun-form scoped out. #1156: - Refine-relaxation regression resolved: deltas don't use the Zod refine (validate imperatively), so REMOVE it (not relax) once applySpecRules owns both header-only and no-keyword cases. Added RENAMED (out-of-scope), lowercase, and the new no-body-line-valid-today scenarios; pinned exact message + prefix. Still 4 deltas; validates --strict; empirical evidence section added to design. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * fix: converge validate/view/archive onto canonical resolution (#1182, #1202, #1156) Implements the resolution/validation parity bug bundle planned in openspec/changes/fix-validate-view-resolution-parity. Each fix points a divergent read/validate path at the canonical implementation a sibling command already gets right, with parity tests guarding against re-forking. #1182 — validate resolves changes like status. validate now resolves a change by directory existence (shared getAvailableChanges) instead of requiring proposal.md, at all three sites (targeted, bulk, interactive selector). A scaffolded/still-authoring change is validated rather than reported Unknown item; a resolved-but-invalid change exits non-zero. show.ts and the deprecated noun-form change validate are scoped out. #1182b — validateChangeDeltaSpecs recurses the nested multi-area layout (specs/<area>/<capability>/spec.md) via a new findDeltaSpecFiles walker, so a resolved multi-area change validates its deltas instead of reporting "No delta sections found". #1202 — getTaskProgressForChange resolves task progress through the tracked-tasks artifact's generates glob (the same resolveArtifactOutputs status uses), aggregating checkboxes across every matched tasks.md scoped to the change dir, with a never-throw fallback to a single top-level tasks.md. Updates all four callers (view/list/archive x2) for the new projectRoot arg and folds the second copy in change.ts onto the helper. Fixes view's Draft misclassification and the archive incomplete-task gate that let an unfinished glob-tasks change archive (data safety). #1156 — the SHALL/MUST body-keyword hint applies to main specs. applySpecRules recovers the requirement header via extractRequirementsSection and emits the targeted hint (header-only) or generic message (no keyword), exactly once; the Zod refine is removed (deltas never used it). The actionable sentence is byte-identical to the change-delta path. Adds parity/regression tests (Decision 7): validate<->status resolution incl. exit code, view/archive resolve the same files as status, and the main-spec<->delta actionable-sentence parity. Full suite green (1791 passed; only the pre-existing, environment-specific zsh-installer failures remain). Change validates --strict; all 36 repo specs pass --specs --strict with no new false positives. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
201 lines
9.0 KiB
TypeScript
201 lines
9.0 KiB
TypeScript
import { describe, it, expect, beforeEach, afterEach } from 'vitest';
|
|
import { promises as fs } from 'fs';
|
|
import path from 'path';
|
|
import { runCLI } from '../helpers/run-cli.js';
|
|
|
|
describe('top-level validate command', () => {
|
|
const projectRoot = process.cwd();
|
|
const testDir = path.join(projectRoot, 'test-validate-command-tmp');
|
|
const changesDir = path.join(testDir, 'openspec', 'changes');
|
|
const specsDir = path.join(testDir, 'openspec', 'specs');
|
|
|
|
beforeEach(async () => {
|
|
await fs.mkdir(changesDir, { recursive: true });
|
|
await fs.mkdir(specsDir, { recursive: true });
|
|
|
|
// Create a valid spec
|
|
const specContent = [
|
|
'## Purpose',
|
|
'This spec ensures the validation harness exercises a deterministic alpha module for automated tests.',
|
|
'',
|
|
'## Requirements',
|
|
'',
|
|
'### Requirement: Alpha module SHALL produce deterministic output',
|
|
'The alpha module SHALL produce a deterministic response for validation.',
|
|
'',
|
|
'#### Scenario: Deterministic alpha run',
|
|
'- **GIVEN** a configured alpha module',
|
|
'- **WHEN** the module runs the default flow',
|
|
'- **THEN** the output matches the expected fixture result',
|
|
].join('\n');
|
|
await fs.mkdir(path.join(specsDir, 'alpha'), { recursive: true });
|
|
await fs.writeFile(path.join(specsDir, 'alpha', 'spec.md'), specContent, 'utf-8');
|
|
|
|
// Create a simple change with bullets (parser supports this)
|
|
const changeContent = `# Test Change\n\n## Why\nBecause reasons that are sufficiently long for validation.\n\n## What Changes\n- **alpha:** Add something`;
|
|
await fs.mkdir(path.join(changesDir, 'c1'), { recursive: true });
|
|
await fs.writeFile(path.join(changesDir, 'c1', 'proposal.md'), changeContent, 'utf-8');
|
|
const deltaContent = [
|
|
'## ADDED Requirements',
|
|
'### Requirement: Validator SHALL support alpha change deltas',
|
|
'The validator SHALL accept deltas provided by the test harness.',
|
|
'',
|
|
'#### Scenario: Apply alpha delta',
|
|
'- **GIVEN** the test change delta',
|
|
'- **WHEN** openspec validate runs',
|
|
'- **THEN** the validator reports the change as valid',
|
|
].join('\n');
|
|
const c1DeltaDir = path.join(changesDir, 'c1', 'specs', 'alpha');
|
|
await fs.mkdir(c1DeltaDir, { recursive: true });
|
|
await fs.writeFile(path.join(c1DeltaDir, 'spec.md'), deltaContent, 'utf-8');
|
|
|
|
// Duplicate name for ambiguity test
|
|
await fs.mkdir(path.join(changesDir, 'dup'), { recursive: true });
|
|
await fs.writeFile(path.join(changesDir, 'dup', 'proposal.md'), changeContent, 'utf-8');
|
|
const dupDeltaDir = path.join(changesDir, 'dup', 'specs', 'dup');
|
|
await fs.mkdir(dupDeltaDir, { recursive: true });
|
|
await fs.writeFile(path.join(dupDeltaDir, 'spec.md'), deltaContent, 'utf-8');
|
|
await fs.mkdir(path.join(specsDir, 'dup'), { recursive: true });
|
|
await fs.writeFile(path.join(specsDir, 'dup', 'spec.md'), specContent, 'utf-8');
|
|
});
|
|
|
|
afterEach(async () => {
|
|
await fs.rm(testDir, { recursive: true, force: true });
|
|
});
|
|
|
|
it('prints a helpful hint when no args in non-interactive mode', async () => {
|
|
const result = await runCLI(['validate'], { cwd: testDir });
|
|
expect(result.exitCode).toBe(1);
|
|
expect(result.stderr).toContain('Nothing to validate. Try one of:');
|
|
});
|
|
|
|
it('validates all with --all and outputs JSON summary', async () => {
|
|
const result = await runCLI(['validate', '--all', '--json'], { cwd: testDir });
|
|
expect(result.exitCode).toBe(0);
|
|
const output = result.stdout.trim();
|
|
expect(output).not.toBe('');
|
|
const json = JSON.parse(output);
|
|
expect(Array.isArray(json.items)).toBe(true);
|
|
expect(json.summary?.totals?.items).toBeDefined();
|
|
expect(json.version).toBe('1.0');
|
|
});
|
|
|
|
it('validates only specs with --specs and respects --concurrency', async () => {
|
|
const result = await runCLI(['validate', '--specs', '--json', '--concurrency', '1'], { cwd: testDir });
|
|
expect(result.exitCode).toBe(0);
|
|
const output = result.stdout.trim();
|
|
expect(output).not.toBe('');
|
|
const json = JSON.parse(output);
|
|
expect(json.items.every((i: any) => i.type === 'spec')).toBe(true);
|
|
});
|
|
|
|
it('errors on ambiguous item names and suggests type override', async () => {
|
|
const result = await runCLI(['validate', 'dup'], { cwd: testDir });
|
|
expect(result.exitCode).toBe(1);
|
|
expect(result.stderr).toContain('Ambiguous item');
|
|
});
|
|
|
|
it('accepts change proposals saved with CRLF line endings', async () => {
|
|
const changeId = 'crlf-change';
|
|
const toCrlf = (segments: string[]) => segments.join('\n').replace(/\n/g, '\r\n');
|
|
|
|
const crlfContent = toCrlf([
|
|
'# CRLF Proposal',
|
|
'',
|
|
'## Why',
|
|
'This change verifies validation works with Windows line endings.',
|
|
'',
|
|
'## What Changes',
|
|
'- **alpha:** Ensure validation passes on CRLF files',
|
|
]);
|
|
|
|
await fs.mkdir(path.join(changesDir, changeId), { recursive: true });
|
|
await fs.writeFile(path.join(changesDir, changeId, 'proposal.md'), crlfContent, 'utf-8');
|
|
|
|
const deltaContent = toCrlf([
|
|
'## ADDED Requirements',
|
|
'### Requirement: Parser SHALL accept CRLF change proposals',
|
|
'The parser SHALL accept CRLF change proposals without manual edits.',
|
|
'',
|
|
'#### Scenario: Validate CRLF change',
|
|
'- **GIVEN** a change proposal saved with CRLF line endings',
|
|
'- **WHEN** a developer runs openspec validate on the proposal',
|
|
'- **THEN** validation succeeds without section errors',
|
|
]);
|
|
|
|
const deltaDir = path.join(changesDir, changeId, 'specs', 'alpha');
|
|
await fs.mkdir(deltaDir, { recursive: true });
|
|
await fs.writeFile(path.join(deltaDir, 'spec.md'), deltaContent, 'utf-8');
|
|
|
|
const result = await runCLI(['validate', changeId], { cwd: testDir });
|
|
expect(result.exitCode).toBe(0);
|
|
});
|
|
|
|
// #1182 — validate resolves a change by directory existence (matching
|
|
// status/instructions), not by requiring proposal.md.
|
|
const validDelta = [
|
|
'## ADDED Requirements',
|
|
'### Requirement: Scaffolded change SHALL validate without a proposal',
|
|
'The change SHALL validate by directory existence without a proposal file.',
|
|
'',
|
|
'#### Scenario: Validate scaffolded change',
|
|
'- **GIVEN** a change directory with no proposal.md',
|
|
'- **WHEN** openspec validate runs',
|
|
'- **THEN** the change resolves and its deltas are validated',
|
|
].join('\n');
|
|
|
|
it('resolves and validates a scaffolded change without proposal.md (#1182)', async () => {
|
|
const changeDir = path.join(changesDir, 'scaffolded');
|
|
const deltaDir = path.join(changeDir, 'specs', 'alpha');
|
|
await fs.mkdir(deltaDir, { recursive: true });
|
|
await fs.writeFile(path.join(changeDir, '.openspec.yaml'), 'schema: spec-driven\n', 'utf-8');
|
|
await fs.writeFile(path.join(deltaDir, 'spec.md'), validDelta, 'utf-8');
|
|
|
|
const result = await runCLI(['validate', 'scaffolded'], { cwd: testDir });
|
|
expect(result.stderr).not.toContain('Unknown item');
|
|
expect(result.exitCode).toBe(0);
|
|
});
|
|
|
|
it('a resolved-but-invalid proposal-less change exits non-zero, not "Unknown item" (#1182)', async () => {
|
|
// Resolves by directory existence, then fails validation (no deltas).
|
|
const changeDir = path.join(changesDir, 'scaffolded-empty');
|
|
await fs.mkdir(changeDir, { recursive: true });
|
|
await fs.writeFile(path.join(changeDir, '.openspec.yaml'), 'schema: spec-driven\n', 'utf-8');
|
|
|
|
const result = await runCLI(['validate', 'scaffolded-empty'], { cwd: testDir });
|
|
expect(result.stderr).not.toContain('Unknown item');
|
|
expect(result.exitCode).toBe(1);
|
|
});
|
|
|
|
it('includes a sole proposal-less change in --all (not "No items found") (#1182)', async () => {
|
|
const isoRoot = path.join(projectRoot, 'test-validate-iso-tmp');
|
|
const isoChanges = path.join(isoRoot, 'openspec', 'changes');
|
|
const deltaDir = path.join(isoChanges, 'only', 'specs', 'alpha');
|
|
await fs.mkdir(deltaDir, { recursive: true });
|
|
try {
|
|
await fs.writeFile(path.join(isoChanges, 'only', '.openspec.yaml'), 'schema: spec-driven\n', 'utf-8');
|
|
await fs.writeFile(path.join(deltaDir, 'spec.md'), validDelta, 'utf-8');
|
|
|
|
const result = await runCLI(['validate', '--all'], { cwd: isoRoot });
|
|
expect(result.stdout + result.stderr).not.toContain('No items found to validate');
|
|
expect(result.exitCode).toBe(0);
|
|
} finally {
|
|
await fs.rm(isoRoot, { recursive: true, force: true });
|
|
}
|
|
});
|
|
|
|
it('respects --no-interactive flag passed via CLI', async () => {
|
|
// This test ensures Commander.js --no-interactive flag is correctly parsed
|
|
// and passed to the validate command. The flag sets options.interactive = false
|
|
// (not options.noInteractive = true) due to Commander.js convention.
|
|
const result = await runCLI(['validate', '--specs', '--no-interactive'], {
|
|
cwd: testDir,
|
|
// Don't set OPEN_SPEC_INTERACTIVE to ensure we're testing the flag itself
|
|
env: { ...process.env, OPEN_SPEC_INTERACTIVE: undefined },
|
|
});
|
|
expect(result.exitCode).toBe(0);
|
|
// Should complete without hanging and without prompts
|
|
expect(result.stderr).not.toContain('What would you like to validate?');
|
|
});
|
|
});
|