@specatlas/core 0.1.20 → 0.1.22

package/dist/index.d.ts

@@ -802,6 +802,43 @@ declare function parseApprovals(raw: string, filePath: string): {
     diagnostics: Diagnostic[];
 };
 
+interface GlossaryTerm {
+    term: string;
+    definition: string;
+    synonyms: string[];
+}
+interface ParsedGlossary {
+    terms: GlossaryTerm[];
+    diagnostics: Diagnostic[];
+}
+declare function parseGlossary(md: string, filePath?: string): ParsedGlossary;
+
+interface ImpactTask {
+    id: string;
+    change: string;
+    text: string;
+    files: string[];
+    covers: string[];
+}
+interface ImpactEvidence {
+    scenario: string;
+    result: string;
+    change: string;
+}
+interface ImpactReport {
+    target: string;
+    kind: 'requirement' | 'file';
+    exists: boolean;
+    scenarios: string[];
+    tasks: ImpactTask[];
+    requirements: string[];
+    changes: string[];
+    files: string[];
+    evidence: ImpactEvidence[];
+}
+declare function impactOfRequirement(workspace: Workspace, reqId: string): ImpactReport;
+declare function impactOfFile(workspace: Workspace, file: string): ImpactReport;
+
 interface LintOptions {
     language?: 'es' | 'en';
     businessOnly?: boolean;
@@ -1710,4 +1747,4 @@ declare function livingRequirementsMap(specs: Array<{
 }>): Map<string, Requirement>;
 declare function runCiGate(opts: CiOptions): Promise<CiResult>;
 
-export { type AdoptDomain, type AdoptOptions, type AdoptResult, type AgingBucket, type AnalyzeOptions, type AnalyzePackSummary, type AnalyzeResult, type Approval, type ApprovalStatus, type ApprovalsFile, type ApprovalsIndex, type ApproveFromGithubOptions, type ApproveFromGithubResult, type ArchiveOptions, type ArchiveResult, type AtlasConfig, type AttentionItem, BLOCK_HEAD_RE, BUILTIN_PACKS, type BlockWavePlan, CONFIG_FILE, CORE_VERSION, type CaptureResult, type Change, type ChangeMeta, type ChangeMetrics, type ChangeState, type CiCheck, type CiExtraCheck, type CiOptions, type CiResult, type Delta, type DeltaOp, type DeriveInput, type DerivedState, type DetectionResult, type Diagnostic, type DoctorReport, type Domain, type Evidence, type EvidenceMethod, type EvidenceResult, type ExecOptions, type ExecResult, type FoldOutcome, type FrontmatterResult, type GhRunner, type GitHubRepo, type InitOptions, type InitResult, type IssueBodyInput, type Lane, type Language, type LinkedIssue, type LintOptions, type LoadedConfig, type MockupCheckResult, type MockupManifest, type MockupPlan, type MockupPlanScreen, type MockupScreen, type MoveOps, type NewChangeOptions, type NewChangeResult, type NextAction, type Override, type Pack, type PackCheck, type PackCheckResult, type PackCheckType, type PackEvaluation, type PresentOptions, type PresentResult, type ProfileMatch, REQ_HEAD_RE, REQ_ID_RE, RULE_ID_RE, RULE_RE, RUN_EVENT_TYPES, type RecordEvidenceOptions, type RecordEvidenceResult, type Rename, type Requirement, type RiskLevel, type Rule, type RunEvent, type RunEventType, type RunRecord, type RunState, type RunStatus, SCENARIO_HEAD_RE, SCENARIO_ID_RE, SDD_DIR, SLUG_RE, type Scenario, type Severity, type SignApprovalOptions, type SignApprovalResult, type SpecFile, type SpecRef, type StackProfile, type SyncGithubOptions, type SyncGithubResult, TASK_ID_RE, TASK_LINE_RE, type Task, type TaskBlock, type TasksFile, type TemplateSet, type TraceEdge, type TraceFinding, type TraceGraph, type TraceInput, type TraceNode, type TraceResult, type VerifyFile, type WalkEntry, type WavePlan, type Workspace, type WorkspaceMetrics, adoptWorkspace, appendRunEvent, approvalsSchema, approveFromGithub, archiveChange, artifactHash, atlasConfigSchema, buildTraceGraph, canonicalizeMarkdown, captureMockups, changeMarker, changeMetaSchema, changeMetaYaml, checkMockups, checkTrace, collectMetrics, commentIssue, compareTaskIds, computeInputsHash, configToYaml, copyFile, countBySeverity, createChange, createIssue, createRun, defaultConfig, deriveState, detectProfiles, detectRepo, detectionToYaml, diag, editIssue, emitFrontmatter, ensureDir, ensureSddDirs, esc, evaluatePacks, evidenceSummary, exists, findLinkedIssue, findWorkspaceRoot, firstToken, foldDelta, generatePresentation, generateRunId, getNumber, getString, ghAuthStatus, ghAvailable, hasErrors, hasShellMetacharacters, indexMarkdown, initWorkspace, inline, isCommandAllowed, isDirectory, issueBody, issueLabels, laneOrDefault, lintDelta, lintMockupHtml, lintMockupManifest, lintPlan, lintRequirement, lintSpec, lintTasks, lintVerify, listChangeSlugs, listDir, listDirs, listRuns, livingRequirementsMap, loadActiveProfile, loadApprovals, loadChange, loadConfig, loadDetectedBest, loadProfileFile, loadProfilesFromDir, loadProjectPacks, loadSpecs, loadWorkspace, localCompact, localDate, localMonth, localOffset, localStamp, matchGlob, mockupManifestSchema, mockupsDir, mockupsReady, moveDirectory, packFindings, parseApprovals, parseChangeMeta, parseConfig, parseDelta, parseFrontmatter, parseGitHubRemote, parseIssueUrl, parseRequirementBlocks, parseSpecFile, parseTasksFile, parseVerifyFile, patchChangeMeta, planBlock, planMockups, planWaves, profileSchema, readMockupManifest, readRun, readText, readTextIfExists, recordEvidence, regenerateIndex, renderMarkdown, renderRequirement, renderTemplate, requiresMockups, resolvePacks, runAnalyze, runCiGate, runDoctor, runProcess, setMockupRequirement, sha256, shortHash, signApproval, specHashOf, splitCommand, stateLabel, syncGithubIssue, templatesFor, toPosix, tokensFile, updateMockupScreenshots, updateRunStatus, verifyApproval, walkFiles, writeConfig, writeMockupManifest, writeMockupPlan, writeText };
+export { type AdoptDomain, type AdoptOptions, type AdoptResult, type AgingBucket, type AnalyzeOptions, type AnalyzePackSummary, type AnalyzeResult, type Approval, type ApprovalStatus, type ApprovalsFile, type ApprovalsIndex, type ApproveFromGithubOptions, type ApproveFromGithubResult, type ArchiveOptions, type ArchiveResult, type AtlasConfig, type AttentionItem, BLOCK_HEAD_RE, BUILTIN_PACKS, type BlockWavePlan, CONFIG_FILE, CORE_VERSION, type CaptureResult, type Change, type ChangeMeta, type ChangeMetrics, type ChangeState, type CiCheck, type CiExtraCheck, type CiOptions, type CiResult, type Delta, type DeltaOp, type DeriveInput, type DerivedState, type DetectionResult, type Diagnostic, type DoctorReport, type Domain, type Evidence, type EvidenceMethod, type EvidenceResult, type ExecOptions, type ExecResult, type FoldOutcome, type FrontmatterResult, type GhRunner, type GitHubRepo, type GlossaryTerm, type ImpactEvidence, type ImpactReport, type ImpactTask, type InitOptions, type InitResult, type IssueBodyInput, type Lane, type Language, type LinkedIssue, type LintOptions, type LoadedConfig, type MockupCheckResult, type MockupManifest, type MockupPlan, type MockupPlanScreen, type MockupScreen, type MoveOps, type NewChangeOptions, type NewChangeResult, type NextAction, type Override, type Pack, type PackCheck, type PackCheckResult, type PackCheckType, type PackEvaluation, type ParsedGlossary, type PresentOptions, type PresentResult, type ProfileMatch, REQ_HEAD_RE, REQ_ID_RE, RULE_ID_RE, RULE_RE, RUN_EVENT_TYPES, type RecordEvidenceOptions, type RecordEvidenceResult, type Rename, type Requirement, type RiskLevel, type Rule, type RunEvent, type RunEventType, type RunRecord, type RunState, type RunStatus, SCENARIO_HEAD_RE, SCENARIO_ID_RE, SDD_DIR, SLUG_RE, type Scenario, type Severity, type SignApprovalOptions, type SignApprovalResult, type SpecFile, type SpecRef, type StackProfile, type SyncGithubOptions, type SyncGithubResult, TASK_ID_RE, TASK_LINE_RE, type Task, type TaskBlock, type TasksFile, type TemplateSet, type TraceEdge, type TraceFinding, type TraceGraph, type TraceInput, type TraceNode, type TraceResult, type VerifyFile, type WalkEntry, type WavePlan, type Workspace, type WorkspaceMetrics, adoptWorkspace, appendRunEvent, approvalsSchema, approveFromGithub, archiveChange, artifactHash, atlasConfigSchema, buildTraceGraph, canonicalizeMarkdown, captureMockups, changeMarker, changeMetaSchema, changeMetaYaml, checkMockups, checkTrace, collectMetrics, commentIssue, compareTaskIds, computeInputsHash, configToYaml, copyFile, countBySeverity, createChange, createIssue, createRun, defaultConfig, deriveState, detectProfiles, detectRepo, detectionToYaml, diag, editIssue, emitFrontmatter, ensureDir, ensureSddDirs, esc, evaluatePacks, evidenceSummary, exists, findLinkedIssue, findWorkspaceRoot, firstToken, foldDelta, generatePresentation, generateRunId, getNumber, getString, ghAuthStatus, ghAvailable, hasErrors, hasShellMetacharacters, impactOfFile, impactOfRequirement, indexMarkdown, initWorkspace, inline, isCommandAllowed, isDirectory, issueBody, issueLabels, laneOrDefault, lintDelta, lintMockupHtml, lintMockupManifest, lintPlan, lintRequirement, lintSpec, lintTasks, lintVerify, listChangeSlugs, listDir, listDirs, listRuns, livingRequirementsMap, loadActiveProfile, loadApprovals, loadChange, loadConfig, loadDetectedBest, loadProfileFile, loadProfilesFromDir, loadProjectPacks, loadSpecs, loadWorkspace, localCompact, localDate, localMonth, localOffset, localStamp, matchGlob, mockupManifestSchema, mockupsDir, mockupsReady, moveDirectory, packFindings, parseApprovals, parseChangeMeta, parseConfig, parseDelta, parseFrontmatter, parseGitHubRemote, parseGlossary, parseIssueUrl, parseRequirementBlocks, parseSpecFile, parseTasksFile, parseVerifyFile, patchChangeMeta, planBlock, planMockups, planWaves, profileSchema, readMockupManifest, readRun, readText, readTextIfExists, recordEvidence, regenerateIndex, renderMarkdown, renderRequirement, renderTemplate, requiresMockups, resolvePacks, runAnalyze, runCiGate, runDoctor, runProcess, setMockupRequirement, sha256, shortHash, signApproval, specHashOf, splitCommand, stateLabel, syncGithubIssue, templatesFor, toPosix, tokensFile, updateMockupScreenshots, updateRunStatus, verifyApproval, walkFiles, writeConfig, writeMockupManifest, writeMockupPlan, writeText };

package/dist/index.js

@@ -640,6 +640,150 @@ function findScenarioHeading(lines, blockLineIndex) {
   return void 0;
 }
 
+// src/parse/glossary.ts
+var HEADER_KEYS = /* @__PURE__ */ new Set(["t\xE9rmino", "termino", "term", "definici\xF3n", "definicion", "definition", "sin\xF3nimos", "sinonimos", "synonyms"]);
+var SEPARATOR_RE = /^:?-{2,}:?$/;
+function parseGlossary(md, filePath) {
+  const diagnostics = [];
+  const terms = [];
+  const lines = md.replace(/\r\n?/g, "\n").split("\n");
+  for (let i = 0; i < lines.length; i += 1) {
+    const raw = lines[i] ?? "";
+    if (!raw.trim().startsWith("|")) continue;
+    const inner = raw.trim().replace(/^\|/, "").replace(/\|$/, "");
+    const cells = inner.split("|").map((c) => c.trim());
+    if (cells.length < 2) {
+      diagnostics.push(diag("LINT-GLO-001", "warning", "Fila del glosario sin columnas suficientes", { path: filePath, line: i + 1 }));
+      continue;
+    }
+    const first = cells[0] ?? "";
+    if (HEADER_KEYS.has(first.toLowerCase()) || SEPARATOR_RE.test(first)) continue;
+    const term = first;
+    const definition = cells[1] ?? "";
+    if (term === "" || definition === "") {
+      diagnostics.push(diag("LINT-GLO-002", "warning", "T\xE9rmino o definici\xF3n vac\xEDos en el glosario", { path: filePath, line: i + 1 }));
+      continue;
+    }
+    const synonyms = (cells[2] ?? "").split(",").map((s) => s.trim()).filter((s) => s.length > 0);
+    terms.push({ term, definition, synonyms });
+  }
+  return { terms, diagnostics };
+}
+
+// src/impact.ts
+function normalizePath(p) {
+  return toPosix(p.trim()).replace(/^\.\//, "").replace(/\/+$/, "").toLowerCase();
+}
+function fileMatches(query, candidate) {
+  if (query === candidate) return true;
+  return candidate.endsWith(`/${query}`);
+}
+function scenarioToReq(workspace) {
+  const map = /* @__PURE__ */ new Map();
+  for (const spec of workspace.specs) {
+    for (const req of spec.spec.requirements) {
+      for (const sc of req.scenarios) map.set(sc.id, req.id);
+    }
+  }
+  for (const change of workspace.changes) {
+    for (const req of [...change.delta?.added ?? [], ...change.delta?.modified ?? []]) {
+      for (const sc of req.scenarios) map.set(sc.id, req.id);
+    }
+  }
+  return map;
+}
+function emptyReport(target, kind) {
+  return { target, kind, exists: false, scenarios: [], tasks: [], requirements: [], changes: [], files: [], evidence: [] };
+}
+function collect(workspace, report, covers, reqOf) {
+  const requirements = /* @__PURE__ */ new Set();
+  for (const change of workspace.changes) {
+    let changeMatches = false;
+    for (const block of change.tasks?.blocks ?? []) {
+      for (const task of block.tasks) {
+        const hit = task.covers.some((c) => covers.has(c.toUpperCase()));
+        if (!hit) continue;
+        changeMatches = true;
+        report.tasks.push({ id: task.id, change: change.slug, text: task.text, files: task.files, covers: task.covers });
+        for (const c of task.covers) {
+          const upper = c.toUpperCase();
+          if (covers.has(upper)) {
+            const req = reqOf.get(upper) ?? upper;
+            requirements.add(req);
+          }
+        }
+        for (const f of task.files) report.files.push(f);
+      }
+    }
+    if (changeMatches) report.changes.push(change.slug);
+    for (const ev of change.verify?.evidence ?? []) {
+      if (covers.has(ev.scenario.toUpperCase())) {
+        report.evidence.push({ scenario: ev.scenario, result: ev.result, change: change.slug });
+      }
+    }
+  }
+  report.requirements = [...requirements].sort();
+  report.changes = [...new Set(report.changes)].sort();
+  report.files = [...new Set(report.files)].sort();
+  report.evidence.sort((a, b) => a.scenario.localeCompare(b.scenario));
+}
+function impactOfRequirement(workspace, reqId) {
+  const id = reqId.toUpperCase();
+  const scenarios = /* @__PURE__ */ new Set();
+  let exists2 = false;
+  for (const spec of workspace.specs) {
+    for (const req of spec.spec.requirements) {
+      if (req.id !== id) continue;
+      exists2 = true;
+      for (const sc of req.scenarios) scenarios.add(sc.id);
+    }
+  }
+  for (const change of workspace.changes) {
+    for (const req of [...change.delta?.added ?? [], ...change.delta?.modified ?? []]) {
+      if (req.id !== id) continue;
+      exists2 = true;
+      for (const sc of req.scenarios) scenarios.add(sc.id);
+    }
+    if ((change.delta?.removed ?? []).some((r) => r.id === id)) exists2 = true;
+    if ((change.delta?.renamed ?? []).some((r) => r.from.id === id || r.to.id === id)) exists2 = true;
+  }
+  const report = emptyReport(id, "requirement");
+  if (!exists2) return report;
+  report.exists = true;
+  report.scenarios = [...scenarios].sort();
+  const reqOf = scenarioToReq(workspace);
+  collect(workspace, report, /* @__PURE__ */ new Set([id, ...scenarios]), reqOf);
+  if (!report.requirements.includes(id)) report.requirements.unshift(id);
+  return report;
+}
+function impactOfFile(workspace, file) {
+  const query = normalizePath(file);
+  const report = emptyReport(file, "file");
+  const covers = /* @__PURE__ */ new Set();
+  const matched = /* @__PURE__ */ new Set();
+  const changes = /* @__PURE__ */ new Set();
+  for (const change of workspace.changes) {
+    for (const block of change.tasks?.blocks ?? []) {
+      for (const task of block.tasks) {
+        if (!task.files.some((f) => fileMatches(query, normalizePath(f)))) continue;
+        changes.add(change.slug);
+        for (const f of task.files) matched.add(f);
+        for (const c of task.covers) covers.add(c.toUpperCase());
+        report.tasks.push({ id: task.id, change: change.slug, text: task.text, files: task.files, covers: task.covers });
+      }
+    }
+  }
+  if (matched.size === 0) return report;
+  report.exists = true;
+  report.files = [...matched].sort();
+  report.changes = [...changes].sort();
+  const reqOf = scenarioToReq(workspace);
+  const requirements = /* @__PURE__ */ new Set();
+  for (const c of covers) requirements.add(reqOf.get(c) ?? c);
+  report.requirements = [...requirements].sort();
+  return report;
+}
+
 // src/lint.ts
 var VAGUE_ES = ["r\xE1pido", "r\xE1pida", "r\xE1pidos", "r\xE1pidas", "f\xE1cil", "f\xE1ciles", "varios", "varias", "\xF3ptimo", "\xF3ptima", "robusto", "robusta", "adecuado", "adecuada", "eficiente", "amigable", "moderno", "moderna", "mejor", "mejores", "simple", "sencillo", "intuitivo", "intuitiva", "apropiado", "apropiada", "suficiente", "razonable"];
 var VAGUE_EN = ["fast", "quick", "easy", "several", "optimal", "robust", "adequate", "efficient", "friendly", "modern", "better", "best", "simple", "intuitive", "appropriate", "sufficient", "reasonable", "nice", "clean"];
@@ -1116,6 +1260,17 @@ function deriveState(input) {
   }
   if (blockingFindings > 0) {
     blockedBy.push(`${blockingFindings} hallazgo(s) bloqueante(s)`);
+    if (tasksTotal > 0 && tasksDone < tasksTotal) {
+      return {
+        state: "building",
+        blockedBy,
+        nextAction: next(`/satlas.build ${change.slug}`, `Construir en olas (${tasksDone}/${tasksTotal} tareas) \xB7 ${blockingFindings} hallazgo(s) pendientes`, true),
+        progress
+      };
+    }
+    if (tasksTotal > 0) {
+      return { state: "built", blockedBy, nextAction: next(`satlas verify ${change.slug}`, "Registrar evidencia por escenario"), progress };
+    }
     return { state: "spec_draft", blockedBy, nextAction: next(`satlas validate --change ${change.slug}`, "Corregir los hallazgos de la especificaci\xF3n"), progress };
   }
   if ((approval.status === "missing" || approval.status === "stale") && requiresMockups(change.meta, cfg) && input.mockupsReady !== true && !mockupOverride(change)) {
@@ -4189,6 +4344,8 @@ export {
   ghAvailable,
   hasErrors,
   hasShellMetacharacters,
+  impactOfFile,
+  impactOfRequirement,
   indexMarkdown,
   initWorkspace,
   inline,
@@ -4237,6 +4394,7 @@ export {
   parseDelta,
   parseFrontmatter,
   parseGitHubRemote,
+  parseGlossary,
   parseIssueUrl,
   parseRequirementBlocks,
   parseSpecFile,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@specatlas/core",
-  "version": "0.1.20",
+  "version": "0.1.22",
   "description": "Kernel determinista de SpecAtlas: parsing, validación, trazabilidad, olas y ciclo de vida",
   "license": "MIT",
   "type": "module",
@@ -34,7 +34,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@specatlas/render": "0.1.9",
+    "@specatlas/render": "0.1.10",
     "yaml": "^2.6.1",
     "zod": "^3.24.1"
   },