qfai 2.1.0 → 2.1.1

package/dist/index.d.cts

@@ -180,6 +180,12 @@ type QfaiPaths = {
 };
 type QfaiValidationConfig = {
     failOn: FailOn;
+    /**
+     * Terms the specs must no longer state, such as an option a decision rejected.
+     * `qfai validate` warns on each line of a spec document that still holds one
+     * (QFAI-STORY-016). Unset means no term is checked.
+     */
+    staleTerms?: string[];
     testStrategy: {
         /**
          * When true (default), `qfai validate` reports the silent-placeholder
@@ -382,6 +388,13 @@ type WorkflowMode = (typeof WORKFLOW_MODES)[number];
  * none of the three, and no mode is guessed in its place.
  */
 declare function readWorkflowMode(document: unknown): WorkflowMode | null;
+/** The config issue an invalid `workflow.skipShipped` raises. */
+declare const SKIPPED_WORKFLOWS_MESSAGE: string;
+/**
+ * The shipped workflow names `workflow.skipShipped` lists, read from the parsed config document.
+ * `null` means the value is not a list of shipped names, and no entry is guessed in its place.
+ */
+declare function readSkippedWorkflows(document: unknown): ReadonlySet<string> | null;
 declare function resolvePath(root: string, config: QfaiConfig, key: ConfigPathKey): string;
 /**
  * Why the file's `prototyping.primaryUiContract` was rejected, or `undefined` when the file sets
@@ -1170,7 +1183,7 @@ declare function locateToolAgainstProject(root: string): Promise<{
  * top-level `node_modules` is linked to another checkout's is covered by the
  * second.
  */
-declare function reachedThroughLinkedNodeModules(root: string, packageDir: string): Promise<boolean>;
+declare function reachedThroughLinkedNodeModules(root: string, packageDir: string, walkFrom?: string): Promise<boolean>;
 /**
  * Whether `packageDir` sits under what `<dir>/node_modules` really points at.
  *
@@ -1202,7 +1215,8 @@ declare function resolvesThroughOwnNodeModules(dir: string, packageDir: string):
 declare function classifyAgainstDeclaration(declaringDir: string, packageDir: string): boolean;
 /**
  * The nearest directory at or above `root` whose `package.json` declares
- * `qfai`, or `null` when none does.
+ * `qfai`, or `null` when none does. The walk follows `root` as given, and the
+ * directory returned is a real path.
  *
  * Every dependency field counts. A tool named in `devDependencies` is as
  * declared as one in `dependencies` — the project said which copy it wants
@@ -1241,8 +1255,9 @@ declare function classifyToolLocation(root: string, packageDir: string, link?: {
  * and Node reports the link's target. Only the nearest entry counts, because it
  * is the one `npx` runs; a farther link to the same checkout means the checkout
  * was run by its path. The `node_modules` directory's own real path is returned
- * because it can be a link as well, to another checkout's. Both operands must
- * already be real paths.
+ * because it can be a link as well, to another checkout's. `root` is walked as
+ * given, so a junction on the way up is followed the way `npx` follows it;
+ * `packageDir` must already be a real path.
  */
 declare function findLinkingNodeModules(root: string, packageDir: string): Promise<string | null>;
 /**
@@ -1442,9 +1457,8 @@ type DesignMd = {
          * The published theme the token values were taken from, named so a
          * reader can install it.
          *
-         * Everything downstream is exact about those values — the prototyping loop hashes
-         * them, `certify` re-scans them, every literal in every capture is
-         * checked against them — and until this field existed there was nothing
+         * Everything downstream is exact about those values — `certify` re-scans them,
+         * every literal in every capture is checked against them — and until this field existed there was nothing
          * under the exactness: twelve colours, three families, four radii and
          * three shadows were written from a sentence of prose about the
          * archetype.
@@ -1517,7 +1531,7 @@ declare function validateDesignMd(d: DesignMd): ValidationIssue[];
 declare const DESIGN_MD_SAMPLE_MARKER = "QFAI-SAMPLE-DESIGN-MD";
 /**
  * True when `text` is still (or is derived from) a DESIGN.md the package
- * ships as a sample. Used to stop `/qfai-sdd` Phase 0 from sha256-freezing
+ * ships as a sample. Used to stop `/qfai-sdd` Phase 0 from adopting
  * an unauthored brand as the project's brand contract, and to surface the
  * same condition from `qfai validate` (QFAI-DCON-034).
  *
@@ -1540,4 +1554,4 @@ declare function isUnreplacedDesignMdSample(text: unknown): boolean;
 /** Run one ordered spec-to-story migration step from the current project root. */
 declare function runMigrationStep(step: number, argv: string[]): Promise<number>;
 
-export { AC_GHERKIN_SECTION, ARCHETYPES, ATDD_TEST_KIND_DIRS, type Archetype, type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddObligationRefs, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, BROWSER_QA_PHASES, COLOR_KEYS, type ColorKey, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, DESIGN_MD_SAMPLE_MARKER, DISCUSSION_NON_UI_SURFACES, DISCUSSION_UI_BEARING_SURFACES, type DeferredTc, type DesignMd, type DesignMdColors, type DesignMdFonts, type DesignMdRadius, type DesignMdShadow, FONT_KEYS, type FailOn, type FenceMaskOptions, type FontKey, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type InvalidIdOccurrence, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, PLANNED_CONTRACT_KEY, PROTOTYPING_SUPPORTED_SURFACES, type ParseError, type ParseResult, type PrototypingBrowserTool, type PrototypingSurface, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiPrototypingConfig, type QfaiPrototypingExecutionConfig, type QfaiReportConfig, type QfaiReviewProfile, type QfaiRoutingEntry, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RADIUS_KEYS, type RadiusKey, type ReportData, type RunSddPreflightOptions, SHADOW_KEYS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type ShadowKey, TC_VERIFIED_BY_KEY, type TcStatusDeclaration, type TcVerificationStatus, type TestFileExtensions, type TestLayerRoots, type TraceabilitySeverity, VISUAL_BROWSER_SURFACES, type ValidationCounts, type ValidationIssue, type ValidationOptions, type ValidationProfile, type ValidationResult, type ValidationTimings, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, WORKFLOW_MODE_MESSAGE, type WorkflowMode, atddAcceptanceLayerFilter, atddAcceptanceTestGlobs, atddTestKindDirs, atddTestOwnerProbe, classifyAgainstDeclaration, classifyToolLocation, collectDeclaredTcIds, collectDeclaredUsIds, collectHeadingTcIdsFrom, collectPlannedUsIds, collectTcLevels, collectTcStatuses, countIssues, createReportData, createTestLayerRoots, defaultConfig, deriveAtddFilePattern, deriveTestFileExtensions, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractIds, extractInvalidIdOccurrences, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, findConfigRoot, findDeclaringDir, findLinkingNodeModules, findPackageJsonUpward, formatReportJson, formatReportMarkdown, getConfigPath, isDiscussionUiBearingSurfaceType, isNonUiDiscussionSurface, isPlannedApiContract, isPlannedDbContract, isSupportedPrototypingSurface, isUnreplacedDesignMdSample, isValidPrototypingSurface, lintSql, loadConfig, locateToolAgainstProject, maskFencedCodeBlocks, packageRootProbe, parseDesignMd, reachedThroughLinkedNodeModules, readRejectedPrimaryUiContract, readTestFileExtensions, readWorkflowMode, requiresVisualBrowserEvidence, resolveAtddHomeKind, resolvePath, resolveTestKind, resolveToolPackageDir, resolveToolVersion, resolvesThroughOwnNodeModules, routingEntryName, runBrowserQaOrchestrated, runMigrationStep, runRenderCapture, runSddPreflight, summarizeBrowserQaResult, suspendsObligation, validateContracts, validateDesignMd, validateProject, validateUiContractParse };
+export { AC_GHERKIN_SECTION, ARCHETYPES, ATDD_TEST_KIND_DIRS, type Archetype, type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddObligationRefs, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, BROWSER_QA_PHASES, COLOR_KEYS, type ColorKey, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, DESIGN_MD_SAMPLE_MARKER, DISCUSSION_NON_UI_SURFACES, DISCUSSION_UI_BEARING_SURFACES, type DeferredTc, type DesignMd, type DesignMdColors, type DesignMdFonts, type DesignMdRadius, type DesignMdShadow, FONT_KEYS, type FailOn, type FenceMaskOptions, type FontKey, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type InvalidIdOccurrence, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, PLANNED_CONTRACT_KEY, PROTOTYPING_SUPPORTED_SURFACES, type ParseError, type ParseResult, type PrototypingBrowserTool, type PrototypingSurface, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiPrototypingConfig, type QfaiPrototypingExecutionConfig, type QfaiReportConfig, type QfaiReviewProfile, type QfaiRoutingEntry, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RADIUS_KEYS, type RadiusKey, type ReportData, type RunSddPreflightOptions, SHADOW_KEYS, SKIPPED_WORKFLOWS_MESSAGE, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type ShadowKey, TC_VERIFIED_BY_KEY, type TcStatusDeclaration, type TcVerificationStatus, type TestFileExtensions, type TestLayerRoots, type TraceabilitySeverity, VISUAL_BROWSER_SURFACES, type ValidationCounts, type ValidationIssue, type ValidationOptions, type ValidationProfile, type ValidationResult, type ValidationTimings, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, WORKFLOW_MODE_MESSAGE, type WorkflowMode, atddAcceptanceLayerFilter, atddAcceptanceTestGlobs, atddTestKindDirs, atddTestOwnerProbe, classifyAgainstDeclaration, classifyToolLocation, collectDeclaredTcIds, collectDeclaredUsIds, collectHeadingTcIdsFrom, collectPlannedUsIds, collectTcLevels, collectTcStatuses, countIssues, createReportData, createTestLayerRoots, defaultConfig, deriveAtddFilePattern, deriveTestFileExtensions, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractIds, extractInvalidIdOccurrences, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, findConfigRoot, findDeclaringDir, findLinkingNodeModules, findPackageJsonUpward, formatReportJson, formatReportMarkdown, getConfigPath, isDiscussionUiBearingSurfaceType, isNonUiDiscussionSurface, isPlannedApiContract, isPlannedDbContract, isSupportedPrototypingSurface, isUnreplacedDesignMdSample, isValidPrototypingSurface, lintSql, loadConfig, locateToolAgainstProject, maskFencedCodeBlocks, packageRootProbe, parseDesignMd, reachedThroughLinkedNodeModules, readRejectedPrimaryUiContract, readSkippedWorkflows, readTestFileExtensions, readWorkflowMode, requiresVisualBrowserEvidence, resolveAtddHomeKind, resolvePath, resolveTestKind, resolveToolPackageDir, resolveToolVersion, resolvesThroughOwnNodeModules, routingEntryName, runBrowserQaOrchestrated, runMigrationStep, runRenderCapture, runSddPreflight, summarizeBrowserQaResult, suspendsObligation, validateContracts, validateDesignMd, validateProject, validateUiContractParse };

package/dist/index.d.ts

@@ -180,6 +180,12 @@ type QfaiPaths = {
 };
 type QfaiValidationConfig = {
     failOn: FailOn;
+    /**
+     * Terms the specs must no longer state, such as an option a decision rejected.
+     * `qfai validate` warns on each line of a spec document that still holds one
+     * (QFAI-STORY-016). Unset means no term is checked.
+     */
+    staleTerms?: string[];
     testStrategy: {
         /**
          * When true (default), `qfai validate` reports the silent-placeholder
@@ -382,6 +388,13 @@ type WorkflowMode = (typeof WORKFLOW_MODES)[number];
  * none of the three, and no mode is guessed in its place.
  */
 declare function readWorkflowMode(document: unknown): WorkflowMode | null;
+/** The config issue an invalid `workflow.skipShipped` raises. */
+declare const SKIPPED_WORKFLOWS_MESSAGE: string;
+/**
+ * The shipped workflow names `workflow.skipShipped` lists, read from the parsed config document.
+ * `null` means the value is not a list of shipped names, and no entry is guessed in its place.
+ */
+declare function readSkippedWorkflows(document: unknown): ReadonlySet<string> | null;
 declare function resolvePath(root: string, config: QfaiConfig, key: ConfigPathKey): string;
 /**
  * Why the file's `prototyping.primaryUiContract` was rejected, or `undefined` when the file sets
@@ -1170,7 +1183,7 @@ declare function locateToolAgainstProject(root: string): Promise<{
  * top-level `node_modules` is linked to another checkout's is covered by the
  * second.
  */
-declare function reachedThroughLinkedNodeModules(root: string, packageDir: string): Promise<boolean>;
+declare function reachedThroughLinkedNodeModules(root: string, packageDir: string, walkFrom?: string): Promise<boolean>;
 /**
  * Whether `packageDir` sits under what `<dir>/node_modules` really points at.
  *
@@ -1202,7 +1215,8 @@ declare function resolvesThroughOwnNodeModules(dir: string, packageDir: string):
 declare function classifyAgainstDeclaration(declaringDir: string, packageDir: string): boolean;
 /**
  * The nearest directory at or above `root` whose `package.json` declares
- * `qfai`, or `null` when none does.
+ * `qfai`, or `null` when none does. The walk follows `root` as given, and the
+ * directory returned is a real path.
  *
  * Every dependency field counts. A tool named in `devDependencies` is as
  * declared as one in `dependencies` — the project said which copy it wants
@@ -1241,8 +1255,9 @@ declare function classifyToolLocation(root: string, packageDir: string, link?: {
  * and Node reports the link's target. Only the nearest entry counts, because it
  * is the one `npx` runs; a farther link to the same checkout means the checkout
  * was run by its path. The `node_modules` directory's own real path is returned
- * because it can be a link as well, to another checkout's. Both operands must
- * already be real paths.
+ * because it can be a link as well, to another checkout's. `root` is walked as
+ * given, so a junction on the way up is followed the way `npx` follows it;
+ * `packageDir` must already be a real path.
  */
 declare function findLinkingNodeModules(root: string, packageDir: string): Promise<string | null>;
 /**
@@ -1442,9 +1457,8 @@ type DesignMd = {
          * The published theme the token values were taken from, named so a
          * reader can install it.
          *
-         * Everything downstream is exact about those values — the prototyping loop hashes
-         * them, `certify` re-scans them, every literal in every capture is
-         * checked against them — and until this field existed there was nothing
+         * Everything downstream is exact about those values — `certify` re-scans them,
+         * every literal in every capture is checked against them — and until this field existed there was nothing
          * under the exactness: twelve colours, three families, four radii and
          * three shadows were written from a sentence of prose about the
          * archetype.
@@ -1517,7 +1531,7 @@ declare function validateDesignMd(d: DesignMd): ValidationIssue[];
 declare const DESIGN_MD_SAMPLE_MARKER = "QFAI-SAMPLE-DESIGN-MD";
 /**
  * True when `text` is still (or is derived from) a DESIGN.md the package
- * ships as a sample. Used to stop `/qfai-sdd` Phase 0 from sha256-freezing
+ * ships as a sample. Used to stop `/qfai-sdd` Phase 0 from adopting
  * an unauthored brand as the project's brand contract, and to surface the
  * same condition from `qfai validate` (QFAI-DCON-034).
  *
@@ -1540,4 +1554,4 @@ declare function isUnreplacedDesignMdSample(text: unknown): boolean;
 /** Run one ordered spec-to-story migration step from the current project root. */
 declare function runMigrationStep(step: number, argv: string[]): Promise<number>;
 
-export { AC_GHERKIN_SECTION, ARCHETYPES, ATDD_TEST_KIND_DIRS, type Archetype, type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddObligationRefs, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, BROWSER_QA_PHASES, COLOR_KEYS, type ColorKey, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, DESIGN_MD_SAMPLE_MARKER, DISCUSSION_NON_UI_SURFACES, DISCUSSION_UI_BEARING_SURFACES, type DeferredTc, type DesignMd, type DesignMdColors, type DesignMdFonts, type DesignMdRadius, type DesignMdShadow, FONT_KEYS, type FailOn, type FenceMaskOptions, type FontKey, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type InvalidIdOccurrence, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, PLANNED_CONTRACT_KEY, PROTOTYPING_SUPPORTED_SURFACES, type ParseError, type ParseResult, type PrototypingBrowserTool, type PrototypingSurface, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiPrototypingConfig, type QfaiPrototypingExecutionConfig, type QfaiReportConfig, type QfaiReviewProfile, type QfaiRoutingEntry, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RADIUS_KEYS, type RadiusKey, type ReportData, type RunSddPreflightOptions, SHADOW_KEYS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type ShadowKey, TC_VERIFIED_BY_KEY, type TcStatusDeclaration, type TcVerificationStatus, type TestFileExtensions, type TestLayerRoots, type TraceabilitySeverity, VISUAL_BROWSER_SURFACES, type ValidationCounts, type ValidationIssue, type ValidationOptions, type ValidationProfile, type ValidationResult, type ValidationTimings, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, WORKFLOW_MODE_MESSAGE, type WorkflowMode, atddAcceptanceLayerFilter, atddAcceptanceTestGlobs, atddTestKindDirs, atddTestOwnerProbe, classifyAgainstDeclaration, classifyToolLocation, collectDeclaredTcIds, collectDeclaredUsIds, collectHeadingTcIdsFrom, collectPlannedUsIds, collectTcLevels, collectTcStatuses, countIssues, createReportData, createTestLayerRoots, defaultConfig, deriveAtddFilePattern, deriveTestFileExtensions, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractIds, extractInvalidIdOccurrences, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, findConfigRoot, findDeclaringDir, findLinkingNodeModules, findPackageJsonUpward, formatReportJson, formatReportMarkdown, getConfigPath, isDiscussionUiBearingSurfaceType, isNonUiDiscussionSurface, isPlannedApiContract, isPlannedDbContract, isSupportedPrototypingSurface, isUnreplacedDesignMdSample, isValidPrototypingSurface, lintSql, loadConfig, locateToolAgainstProject, maskFencedCodeBlocks, packageRootProbe, parseDesignMd, reachedThroughLinkedNodeModules, readRejectedPrimaryUiContract, readTestFileExtensions, readWorkflowMode, requiresVisualBrowserEvidence, resolveAtddHomeKind, resolvePath, resolveTestKind, resolveToolPackageDir, resolveToolVersion, resolvesThroughOwnNodeModules, routingEntryName, runBrowserQaOrchestrated, runMigrationStep, runRenderCapture, runSddPreflight, summarizeBrowserQaResult, suspendsObligation, validateContracts, validateDesignMd, validateProject, validateUiContractParse };
+export { AC_GHERKIN_SECTION, ARCHETYPES, ATDD_TEST_KIND_DIRS, type Archetype, type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddObligationRefs, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, BROWSER_QA_PHASES, COLOR_KEYS, type ColorKey, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, DESIGN_MD_SAMPLE_MARKER, DISCUSSION_NON_UI_SURFACES, DISCUSSION_UI_BEARING_SURFACES, type DeferredTc, type DesignMd, type DesignMdColors, type DesignMdFonts, type DesignMdRadius, type DesignMdShadow, FONT_KEYS, type FailOn, type FenceMaskOptions, type FontKey, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type InvalidIdOccurrence, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, PLANNED_CONTRACT_KEY, PROTOTYPING_SUPPORTED_SURFACES, type ParseError, type ParseResult, type PrototypingBrowserTool, type PrototypingSurface, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiPrototypingConfig, type QfaiPrototypingExecutionConfig, type QfaiReportConfig, type QfaiReviewProfile, type QfaiRoutingEntry, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RADIUS_KEYS, type RadiusKey, type ReportData, type RunSddPreflightOptions, SHADOW_KEYS, SKIPPED_WORKFLOWS_MESSAGE, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type ShadowKey, TC_VERIFIED_BY_KEY, type TcStatusDeclaration, type TcVerificationStatus, type TestFileExtensions, type TestLayerRoots, type TraceabilitySeverity, VISUAL_BROWSER_SURFACES, type ValidationCounts, type ValidationIssue, type ValidationOptions, type ValidationProfile, type ValidationResult, type ValidationTimings, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, WORKFLOW_MODE_MESSAGE, type WorkflowMode, atddAcceptanceLayerFilter, atddAcceptanceTestGlobs, atddTestKindDirs, atddTestOwnerProbe, classifyAgainstDeclaration, classifyToolLocation, collectDeclaredTcIds, collectDeclaredUsIds, collectHeadingTcIdsFrom, collectPlannedUsIds, collectTcLevels, collectTcStatuses, countIssues, createReportData, createTestLayerRoots, defaultConfig, deriveAtddFilePattern, deriveTestFileExtensions, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractIds, extractInvalidIdOccurrences, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, findConfigRoot, findDeclaringDir, findLinkingNodeModules, findPackageJsonUpward, formatReportJson, formatReportMarkdown, getConfigPath, isDiscussionUiBearingSurfaceType, isNonUiDiscussionSurface, isPlannedApiContract, isPlannedDbContract, isSupportedPrototypingSurface, isUnreplacedDesignMdSample, isValidPrototypingSurface, lintSql, loadConfig, locateToolAgainstProject, maskFencedCodeBlocks, packageRootProbe, parseDesignMd, reachedThroughLinkedNodeModules, readRejectedPrimaryUiContract, readSkippedWorkflows, readTestFileExtensions, readWorkflowMode, requiresVisualBrowserEvidence, resolveAtddHomeKind, resolvePath, resolveTestKind, resolveToolPackageDir, resolveToolVersion, resolvesThroughOwnNodeModules, routingEntryName, runBrowserQaOrchestrated, runMigrationStep, runRenderCapture, runSddPreflight, summarizeBrowserQaResult, suspendsObligation, validateContracts, validateDesignMd, validateProject, validateUiContractParse };