qfai 0.4.2 → 0.4.4

package/dist/index.d.cts

@@ -60,7 +60,6 @@ type QfaiValidationConfig = {
     };
     traceability: {
         brMustHaveSc: boolean;
-        scMustTouchContracts: boolean;
         scMustHaveTest: boolean;
         testFileGlobs: string[];
         testFileExcludeGlobs: string[];
@@ -88,7 +87,7 @@ declare function getConfigPath(root: string): string;
 declare function loadConfig(root: string): Promise<ConfigLoadResult>;
 declare function resolvePath(root: string, config: QfaiConfig, key: ConfigPathKey): string;
 
-type IdPrefix = "SPEC" | "BR" | "SC" | "UI" | "API" | "DATA";
+type IdPrefix = "SPEC" | "BR" | "SC" | "UI" | "API" | "DB";
 type IdFormatPrefix = IdPrefix | "ADR";
 declare function extractIds(text: string, prefix: IdPrefix): string[];
 declare function extractAllIds(text: string): string[];
@@ -110,7 +109,17 @@ type ReportIds = {
     sc: string[];
     ui: string[];
     api: string[];
-    data: string[];
+    db: string[];
+};
+type ReportContractCoverage = {
+    total: number;
+    referenced: number;
+    orphan: number;
+    idToSpecs: Record<string, string[]>;
+};
+type ReportSpecCoverage = {
+    contractRefMissing: number;
+    specToContractIds: Record<string, string[]>;
 };
 type ReportTraceability = {
     upstreamIdsFound: number;
@@ -118,6 +127,8 @@ type ReportTraceability = {
     sc: ScCoverage;
     scSources: Record<string, string[]>;
     testFiles: TestFileScan;
+    contracts: ReportContractCoverage;
+    specs: ReportSpecCoverage;
 };
 type ReportData = {
     tool: "qfai";
@@ -153,4 +164,4 @@ declare function validateSpecContent(text: string, file: string, requiredSection
 
 declare function validateTraceability(root: string, config: QfaiConfig): Promise<Issue[]>;
 
-export { type ConfigLoadResult, type ConfigPathKey, type FailOn, type IdFormatPrefix, type IdPrefix, type Issue, type IssueLocation, type IssueSeverity, type OutputFormat, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiValidationConfig, type ReportData, type ReportIds, type ReportSummary, type ReportTraceability, type TraceabilitySeverity, type ValidationCounts, type ValidationResult, type ValidationTraceability, createReportData, defaultConfig, extractAllIds, extractIds, extractInvalidIds, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, resolvePath, resolveToolVersion, validateContracts, validateDefinedIds, validateDeltas, validateProject, validateScenarioContent, validateScenarios, validateSpecContent, validateSpecs, validateTraceability };
+export { type ConfigLoadResult, type ConfigPathKey, type FailOn, type IdFormatPrefix, type IdPrefix, type Issue, type IssueLocation, type IssueSeverity, type OutputFormat, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiValidationConfig, type ReportContractCoverage, type ReportData, type ReportIds, type ReportSpecCoverage, type ReportSummary, type ReportTraceability, type TraceabilitySeverity, type ValidationCounts, type ValidationResult, type ValidationTraceability, createReportData, defaultConfig, extractAllIds, extractIds, extractInvalidIds, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, resolvePath, resolveToolVersion, validateContracts, validateDefinedIds, validateDeltas, validateProject, validateScenarioContent, validateScenarios, validateSpecContent, validateSpecs, validateTraceability };

package/dist/index.d.ts

@@ -1,156 +1,2 @@
-type ScCoverage = {
-    total: number;
-    covered: number;
-    missing: number;
-    missingIds: string[];
-    refs: Record<string, string[]>;
-};
-type TestFileScan = {
-    globs: string[];
-    excludeGlobs: string[];
-    matchedFileCount: number;
-};
-
-type IssueSeverity = "info" | "warning" | "error";
-type IssueLocation = {
-    line: number;
-    column?: number;
-};
-type Issue = {
-    code: string;
-    severity: IssueSeverity;
-    message: string;
-    file?: string;
-    refs?: string[];
-    rule?: string;
-    loc?: IssueLocation;
-};
-type ValidationCounts = {
-    info: number;
-    warning: number;
-    error: number;
-};
-type ValidationTraceability = {
-    sc: ScCoverage;
-    testFiles: TestFileScan;
-};
-type ValidationResult = {
-    toolVersion: string;
-    issues: Issue[];
-    counts: ValidationCounts;
-    traceability?: ValidationTraceability;
-};
-
-type FailOn = "never" | "warning" | "error";
-type OutputFormat = "text" | "github";
-type TraceabilitySeverity = "warning" | "error";
-type QfaiPaths = {
-    contractsDir: string;
-    specsDir: string;
-    rulesDir: string;
-    outDir: string;
-    promptsDir: string;
-    srcDir: string;
-    testsDir: string;
-};
-type QfaiValidationConfig = {
-    failOn: FailOn;
-    require: {
-        specSections: string[];
-    };
-    traceability: {
-        brMustHaveSc: boolean;
-        scMustTouchContracts: boolean;
-        scMustHaveTest: boolean;
-        testFileGlobs: string[];
-        testFileExcludeGlobs: string[];
-        scNoTestSeverity: TraceabilitySeverity;
-        allowOrphanContracts: boolean;
-        unknownContractIdSeverity: TraceabilitySeverity;
-    };
-};
-type QfaiOutputConfig = {
-    validateJsonPath: string;
-};
-type QfaiConfig = {
-    paths: QfaiPaths;
-    validation: QfaiValidationConfig;
-    output: QfaiOutputConfig;
-};
-type ConfigPathKey = keyof QfaiPaths;
-type ConfigLoadResult = {
-    config: QfaiConfig;
-    issues: Issue[];
-    configPath: string;
-};
-declare const defaultConfig: QfaiConfig;
-declare function getConfigPath(root: string): string;
-declare function loadConfig(root: string): Promise<ConfigLoadResult>;
-declare function resolvePath(root: string, config: QfaiConfig, key: ConfigPathKey): string;
-
-type IdPrefix = "SPEC" | "BR" | "SC" | "UI" | "API" | "DATA";
-type IdFormatPrefix = IdPrefix | "ADR";
-declare function extractIds(text: string, prefix: IdPrefix): string[];
-declare function extractAllIds(text: string): string[];
-declare function extractInvalidIds(text: string, prefixes: IdFormatPrefix[]): string[];
-
-type ReportSummary = {
-    specs: number;
-    scenarios: number;
-    contracts: {
-        api: number;
-        ui: number;
-        db: number;
-    };
-    counts: ValidationCounts;
-};
-type ReportIds = {
-    spec: string[];
-    br: string[];
-    sc: string[];
-    ui: string[];
-    api: string[];
-    data: string[];
-};
-type ReportTraceability = {
-    upstreamIdsFound: number;
-    referencedInCodeOrTests: boolean;
-    sc: ScCoverage;
-    scSources: Record<string, string[]>;
-    testFiles: TestFileScan;
-};
-type ReportData = {
-    tool: "qfai";
-    version: string;
-    generatedAt: string;
-    root: string;
-    configPath: string;
-    summary: ReportSummary;
-    ids: ReportIds;
-    traceability: ReportTraceability;
-    issues: Issue[];
-};
-declare function createReportData(root: string, validation?: ValidationResult, configResult?: ConfigLoadResult): Promise<ReportData>;
-declare function formatReportMarkdown(data: ReportData): string;
-declare function formatReportJson(data: ReportData): string;
-
-declare function validateProject(root: string, configResult?: ConfigLoadResult): Promise<ValidationResult>;
-
-declare function resolveToolVersion(): Promise<string>;
-
-declare function validateContracts(root: string, config: QfaiConfig): Promise<Issue[]>;
-declare function lintSql(text: string, file: string): Issue[];
-
-declare function validateDeltas(root: string, config: QfaiConfig): Promise<Issue[]>;
-
-declare function validateDefinedIds(root: string, config: QfaiConfig): Promise<Issue[]>;
-
-declare function validateScenarios(root: string, config: QfaiConfig): Promise<Issue[]>;
-declare function validateScenarioContent(text: string, file: string): Issue[];
-
-declare function validateSpecs(root: string, config: QfaiConfig): Promise<Issue[]>;
-declare function validateSpecContent(text: string, file: string, requiredSections: string[]): Issue[];
-
-declare function validateTraceability(root: string, config: QfaiConfig): Promise<Issue[]>;
-
-export { type ConfigLoadResult, type ConfigPathKey, type FailOn, type IdFormatPrefix, type IdPrefix, type Issue, type IssueLocation, type IssueSeverity, type OutputFormat, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiValidationConfig, type ReportData, type ReportIds, type ReportSummary, type ReportTraceability, type TraceabilitySeverity, type ValidationCounts, type ValidationResult, type ValidationTraceability, createReportData, defaultConfig, extractAllIds, extractIds, extractInvalidIds, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, resolvePath, resolveToolVersion, validateContracts, validateDefinedIds, validateDeltas, validateProject, validateScenarioContent, validateScenarios, validateSpecContent, validateSpecs, validateTraceability };
+export * from "./core/index.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}

package/dist/index.js

@@ -0,0 +1,2 @@
+export * from "./core/index.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}