qfai 1.7.4 → 1.7.6

package/dist/index.d.cts

@@ -402,6 +402,35 @@ declare function emitUiFidelity(input: {
 }): Record<string, unknown>;
 declare function extractDomMarkers(html: string): string[];
 
+/**
+ * Mode resolver for prototyping obligations.
+ *
+ * Separates static-first obligations (default) from runtime-heavy checks (opt-in).
+ * Static-first default ensures prototyping completes without browser/backend installed.
+ *
+ * NOTE: v1.7.5 scope is foundation-only. This module defines the obligation
+ * vocabulary and resolution logic. Wiring into the prototyping command/validator
+ * evaluation path is deferred to v1.7.6 when the full mode-switching UX is added.
+ */
+type PrototypingMode = "default" | "standard" | "low-cost" | "full-harness";
+/** Static obligations that require no runtime infrastructure. */
+declare const STATIC_OBLIGATIONS: readonly ["source", "route", "state", "contract-level"];
+/** Runtime-heavy checks that require external infrastructure (opt-in only). */
+declare const RUNTIME_HEAVY_CHECKS: readonly ["api-non-404", "db-existence", "ui-route-reachability"];
+/**
+ * Resolve the active obligation set for a given prototyping mode.
+ *
+ * - `"default"` / `"standard"`: static obligations only
+ * - `"low-cost"`: static obligations (runtime-heavy excluded)
+ * - `"full-harness"`: static + runtime-heavy obligations
+ */
+declare function resolveObligations(mode: PrototypingMode): string[];
+/**
+ * Resolve obligations with explicit opt-in for runtime-heavy checks.
+ * Only checks listed in RUNTIME_HEAVY_CHECKS are accepted as opt-ins.
+ */
+declare function resolveObligationsWithOptIn(mode: PrototypingMode, optIn: string[]): string[];
+
 type ReportSummary = {
     specs: number;
     scenarios: number;
@@ -603,4 +632,4 @@ declare function validateSpecSplitByCapability(root: string, config: QfaiConfig)
 
 declare function validateTraceability(root: string, config: QfaiConfig, phase: ValidationPhase): Promise<Issue[]>;
 
-export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, resolvePath, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };
+export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, type PrototypingMode, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RUNTIME_HEAVY_CHECKS, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, STATIC_OBLIGATIONS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, resolveObligations, resolveObligationsWithOptIn, resolvePath, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };

package/dist/index.d.ts

@@ -402,6 +402,35 @@ declare function emitUiFidelity(input: {
 }): Record<string, unknown>;
 declare function extractDomMarkers(html: string): string[];
 
+/**
+ * Mode resolver for prototyping obligations.
+ *
+ * Separates static-first obligations (default) from runtime-heavy checks (opt-in).
+ * Static-first default ensures prototyping completes without browser/backend installed.
+ *
+ * NOTE: v1.7.5 scope is foundation-only. This module defines the obligation
+ * vocabulary and resolution logic. Wiring into the prototyping command/validator
+ * evaluation path is deferred to v1.7.6 when the full mode-switching UX is added.
+ */
+type PrototypingMode = "default" | "standard" | "low-cost" | "full-harness";
+/** Static obligations that require no runtime infrastructure. */
+declare const STATIC_OBLIGATIONS: readonly ["source", "route", "state", "contract-level"];
+/** Runtime-heavy checks that require external infrastructure (opt-in only). */
+declare const RUNTIME_HEAVY_CHECKS: readonly ["api-non-404", "db-existence", "ui-route-reachability"];
+/**
+ * Resolve the active obligation set for a given prototyping mode.
+ *
+ * - `"default"` / `"standard"`: static obligations only
+ * - `"low-cost"`: static obligations (runtime-heavy excluded)
+ * - `"full-harness"`: static + runtime-heavy obligations
+ */
+declare function resolveObligations(mode: PrototypingMode): string[];
+/**
+ * Resolve obligations with explicit opt-in for runtime-heavy checks.
+ * Only checks listed in RUNTIME_HEAVY_CHECKS are accepted as opt-ins.
+ */
+declare function resolveObligationsWithOptIn(mode: PrototypingMode, optIn: string[]): string[];
+
 type ReportSummary = {
     specs: number;
     scenarios: number;
@@ -603,4 +632,4 @@ declare function validateSpecSplitByCapability(root: string, config: QfaiConfig)
 
 declare function validateTraceability(root: string, config: QfaiConfig, phase: ValidationPhase): Promise<Issue[]>;
 
-export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, resolvePath, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };
+export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, type PrototypingMode, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RUNTIME_HEAVY_CHECKS, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, STATIC_OBLIGATIONS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, resolveObligations, resolveObligationsWithOptIn, resolvePath, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };

package/dist/index.mjs

@@ -3566,6 +3566,35 @@ function formatError4(error) {
   return String(error);
 }
 
+// src/core/prototyping/modeResolver.ts
+var STATIC_OBLIGATIONS = ["source", "route", "state", "contract-level"];
+var RUNTIME_HEAVY_CHECKS = [
+  "api-non-404",
+  "db-existence",
+  "ui-route-reachability"
+];
+var FULL_HARNESS_OBLIGATIONS = [...STATIC_OBLIGATIONS, ...RUNTIME_HEAVY_CHECKS];
+function resolveObligations(mode) {
+  switch (mode) {
+    case "default":
+    case "standard":
+      return [...STATIC_OBLIGATIONS];
+    case "low-cost":
+      return [...STATIC_OBLIGATIONS];
+    case "full-harness":
+      return [...FULL_HARNESS_OBLIGATIONS];
+    default: {
+      const _exhaustive = mode;
+      throw new Error(`Unknown prototyping mode: ${String(_exhaustive)}`);
+    }
+  }
+}
+function resolveObligationsWithOptIn(mode, optIn) {
+  const base = resolveObligations(mode);
+  const validOptIns = optIn.filter((o) => RUNTIME_HEAVY_CHECKS.includes(o));
+  return [.../* @__PURE__ */ new Set([...base, ...validOptIns])];
+}
+
 // src/core/report.ts
 import { readFile as readFile42 } from "fs/promises";
 import path54 from "path";
@@ -4326,8 +4355,8 @@ import { readFile as readFile11 } from "fs/promises";
 import path14 from "path";
 import { fileURLToPath } from "url";
 async function resolveToolVersion() {
-  if ("1.7.4".length > 0) {
-    return "1.7.4";
+  if ("1.7.6".length > 0) {
+    return "1.7.6";
   }
   try {
     const packagePath = resolvePackageJsonPath();
@@ -17323,6 +17352,8 @@ async function collectTddCoverage(entries) {
 }
 export {
   ID_PREFIXES,
+  RUNTIME_HEAVY_CHECKS,
+  STATIC_OBLIGATIONS,
   autogenerateUiFidelity,
   buildUiFidelityScreens,
   checkDecisionGuardrails,
@@ -17355,6 +17386,8 @@ export {
   loadConfig,
   loadDecisionGuardrails,
   normalizeDecisionGuardrails,
+  resolveObligations,
+  resolveObligationsWithOptIn,
   resolvePath,
   resolveToolVersion,
   runMockPaths,