@lwelliott/cortex-cli 1.0.3

package/dist/services/audit-check-service.js

@@ -0,0 +1,137 @@
+"use strict";
+// AuditCheckService: orchestrates the 11 audit checks (SAD-0037: expanded to 11)
+// SAD-0036: Four-Check Architecture with orphan-documents and inverse-consistency
+// SAD-0037: 7 Traceability Checks (us-to-fr-nfr through src-filesystem-only)
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FixEngine = exports.ALL_CHECK_NAMES = void 0;
+exports.runAudit = runAudit;
+const types_1 = require("./audit-checks/types");
+Object.defineProperty(exports, "ALL_CHECK_NAMES", { enumerable: true, get: function () { return types_1.ALL_CHECK_NAMES; } });
+const dangling_relations_check_1 = require("./audit-checks/dangling-relations-check");
+const duplicate_ids_check_1 = require("./audit-checks/duplicate-ids-check");
+const orphan_documents_check_1 = require("./audit-checks/orphan-documents-check");
+const inverse_consistency_check_1 = require("./audit-checks/inverse-consistency-check");
+const us_to_fr_nfr_check_1 = require("./audit-checks/us-to-fr-nfr-check");
+const fr_nfr_to_fs_nfs_check_1 = require("./audit-checks/fr-nfr-to-fs-nfs-check");
+const fs_nfs_to_sad_ad_qa_check_1 = require("./audit-checks/fs-nfs-to-sad-ad-qa-check");
+const fs_nfs_to_ts_check_1 = require("./audit-checks/fs-nfs-to-ts-check");
+const ts_to_tc_check_1 = require("./audit-checks/ts-to-tc-check");
+const sad_ad_qa_tc_to_src_check_1 = require("./audit-checks/sad-ad-qa-tc-to-src-check");
+const src_filesystem_only_check_1 = require("./audit-checks/src-filesystem-only-check");
+const fix_engine_1 = require("./audit-checks/fix-engine");
+Object.defineProperty(exports, "FixEngine", { enumerable: true, get: function () { return fix_engine_1.FixEngine; } });
+const errors_1 = require("../utils/errors");
+/** Map check names to their runner functions (SAD-0037: 11 entries) */
+const CHECK_RUNNERS = {
+    // Existing 4 integrity checks (SAD-0036):
+    'dangling-relations': dangling_relations_check_1.danglingRelationsCheck,
+    'duplicate-ids': duplicate_ids_check_1.duplicateIdsCheck,
+    'orphan-documents': orphan_documents_check_1.orphanDocumentsCheck,
+    'inverse-consistency': inverse_consistency_check_1.inverseConsistencyCheck,
+    // New 7 traceability checks (SAD-0037):
+    'us-to-fr-nfr': us_to_fr_nfr_check_1.usToFrNfrCheck,
+    'fr-nfr-to-fs-nfs': fr_nfr_to_fs_nfs_check_1.frNfrToFsNfsCheck,
+    'fs-nfs-to-sad-ad-qa': fs_nfs_to_sad_ad_qa_check_1.fsNfsToSadAdQaCheck,
+    'fs-nfs-to-ts': fs_nfs_to_ts_check_1.fsNfsToTsCheck,
+    'ts-to-tc': ts_to_tc_check_1.tsToTcCheck,
+    'sad-ad-qa-tc-to-src': sad_ad_qa_tc_to_src_check_1.sadAdQaTcToSrcCheck,
+    'src-filesystem-only': src_filesystem_only_check_1.srcFilesystemOnlyCheck,
+};
+/**
+ * Run a full audit with the given options.
+ *
+ * @param db - Database connection
+ * @param opts - Audit options (checks, sprintId, fix, fixDryRun)
+ * @returns AuditReport with results and exit code
+ * @throws AuditUnknownCheckError if unknown check name
+ * @throws AuditSprintNotFoundError if sprint not found
+ */
+function runAudit(db, opts) {
+    // Validate sprint exists if provided
+    if (opts.sprintId) {
+        const sprint = db.prepare('SELECT id FROM sprints WHERE id = ?').get(opts.sprintId);
+        if (!sprint) {
+            throw new errors_1.AuditSprintNotFoundError(opts.sprintId);
+        }
+    }
+    // Determine check list
+    let checkNames;
+    if (opts.checks && opts.checks.length > 0) {
+        checkNames = opts.checks.map(types_1.normalizeCheckName);
+        for (const name of checkNames) {
+            if (!CHECK_RUNNERS[name]) {
+                throw new errors_1.AuditUnknownCheckError(name, [...types_1.ALL_CHECK_NAMES]);
+            }
+        }
+    }
+    else {
+        checkNames = [...types_1.ALL_CHECK_NAMES];
+    }
+    // Resolve project folder for src-filesystem-only check (SAD-0037 §4)
+    const projectFolder = opts.projectFolder ?? process.cwd();
+    // Run checks in order
+    const results = [];
+    for (const name of checkNames) {
+        const runner = CHECK_RUNNERS[name];
+        let result;
+        if (name === 'src-filesystem-only') {
+            // Thread projectFolder for filesystem-only check (SAD-0037 §4.3)
+            result = runner(db, projectFolder, opts.sprintId);
+        }
+        else {
+            result = runner(db, opts.sprintId);
+        }
+        results.push(result);
+    }
+    // Apply fixes if requested
+    let fixApplied = false;
+    if (opts.fix || opts.fixDryRun) {
+        const failingResults = results.filter(r => r.status === 'FAIL');
+        if (failingResults.length > 0) {
+            const fixEngine = new fix_engine_1.FixEngine();
+            const fixResult = fixEngine.applyFixes(db, failingResults, opts.fixDryRun === true);
+            if (fixResult.count > 0) {
+                // Only mark fixes as applied for actual (non-dry-run) mode
+                if (!opts.fixDryRun) {
+                    fixApplied = true;
+                }
+                // Update results to reflect fixes
+                for (const result of failingResults) {
+                    const appliedForCheck = fixResult.applied.filter(f => f.check === result.checkName);
+                    if (appliedForCheck.length > 0) {
+                        result.fixApplied = `${appliedForCheck.length} fix(es) ${opts.fixDryRun ? 'would be ' : ''}applied`;
+                    }
+                }
+            }
+        }
+    }
+    // Populate fixCount on each CheckResult when fixDryRun is active (SAD-0036)
+    if (opts.fixDryRun) {
+        for (const result of results) {
+            if (result.status === 'FAIL') {
+                result.fixCount = result.issues.filter(i => i.fixable).length;
+            }
+        }
+    }
+    // Compute exit code
+    const failedCount = results.filter(r => r.status === 'FAIL').length;
+    let exitCode;
+    if (fixApplied) {
+        exitCode = 2;
+    }
+    else if (failedCount > 0) {
+        exitCode = 1;
+    }
+    else {
+        exitCode = 0;
+    }
+    return {
+        generatedAt: new Date().toISOString(),
+        sprintFilter: opts.sprintId ?? null,
+        checks: results,
+        exitCode,
+        fixApplied,
+    };
+}
+//# sourceMappingURL=audit-check-service.js.map

package/dist/services/audit-check-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-check-service.js","sourceRoot":"","sources":["../../src/services/audit-check-service.ts"],"names":[],"mappings":";AAAA,iFAAiF;AACjF,kFAAkF;AAClF,6EAA6E;AAC7E,6BAA6B;;;AAgD7B,4BA0FC;AAtID,gDAA2E;AAwIlE,gGAxIA,uBAAe,OAwIA;AAvIxB,sFAAiF;AACjF,4EAAuE;AACvE,kFAA6E;AAC7E,wFAAmF;AACnF,0EAAmE;AACnE,kFAA0E;AAC1E,wFAA+E;AAC/E,0EAAmE;AACnE,kEAA4D;AAC5D,wFAA+E;AAC/E,wFAAkF;AAClF,0DAAsD;AA4H5B,0FA5HjB,sBAAS,OA4HiB;AA3HnC,4CAGyB;AAEzB,uEAAuE;AACvE,MAAM,aAAa,GAA8E;IAC/F,0CAA0C;IAC1C,oBAAoB,EAAE,iDAAsB;IAC5C,eAAe,EAAE,uCAAiB;IAClC,kBAAkB,EAAE,6CAAoB;IACxC,qBAAqB,EAAE,mDAAuB;IAC9C,wCAAwC;IACxC,cAAc,EAAE,mCAAc;IAC9B,kBAAkB,EAAE,0CAAiB;IACrC,qBAAqB,EAAE,+CAAmB;IAC1C,cAAc,EAAE,mCAAc;IAC9B,UAAU,EAAE,4BAAW;IACvB,qBAAqB,EAAE,+CAAmB;IAC1C,qBAAqB,EAAE,kDAA8F;CACtH,CAAC;AAEF;;;;;;;;GAQG;AACH,SAAgB,QAAQ,CAAC,EAAqB,EAAE,IAAkB;IAChE,qCAAqC;IACrC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,iCAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,IAAI,UAAoB,CAAC;IACzB,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,0BAAkB,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,+BAAsB,CAAC,IAAI,EAAE,CAAC,GAAG,uBAAe,CAAC,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,CAAC,GAAG,uBAAe,CAAC,CAAC;IACpC,CAAC;IAED,qEAAqE;IACrE,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAE1D,sBAAsB;IACtB,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAmB,CAAC;QAExB,IAAI,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACnC,iEAAiE;YACjE,MAAM,GAAI,MAAoC,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnF,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IAED,2BAA2B;IAC3B,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAChE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,IAAI,sBAAS,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,cAAc,EAAE,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;YACpF,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBACxB,2DAA2D;gBAC3D,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;oBACpB,UAAU,GAAG,IAAI,CAAC;gBACpB,CAAC;gBACD,kCAAkC;gBAClC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;oBACpC,MAAM,eAAe,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC;oBACpF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC/B,MAAM,CAAC,UAAU,GAAG,GAAG,eAAe,CAAC,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;oBACtG,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC7B,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;YAChE,CAAC;QACH,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACpE,IAAI,QAAmB,CAAC;IACxB,IAAI,UAAU,EAAE,CAAC;QACf,QAAQ,GAAG,CAAC,CAAC;IACf,CAAC;SAAM,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QAC3B,QAAQ,GAAG,CAAC,CAAC;IACf,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,CAAC,CAAC;IACf,CAAC;IAED,OAAO;QACL,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,YAAY,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI;QACnC,MAAM,EAAE,OAAO;QACf,QAAQ;QACR,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/services/audit-checks/dangling-relations-check.d.ts

@@ -0,0 +1,7 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult } from './types';
+/** Shared SQL constants — identical to queries in graph-validation-service.ts */
+export declare const DANGLING_FROM_SQL = "\n  SELECT r.id, r.from_id, r.rel_type, r.to_id\n  FROM relations r\n  LEFT JOIN documents d ON r.from_id = d.id\n  WHERE d.id IS NULL\n";
+export declare const DANGLING_TO_SQL = "\n  SELECT r.id, r.from_id, r.rel_type, r.to_id\n  FROM relations r\n  LEFT JOIN documents d ON r.to_id = d.id\n  WHERE d.id IS NULL\n";
+export declare function danglingRelationsCheck(db: Database.Database, _sprintId?: string): CheckResult;
+//# sourceMappingURL=dangling-relations-check.d.ts.map

package/dist/services/audit-checks/dangling-relations-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dangling-relations-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/dangling-relations-check.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,SAAS,CAAC;AAEvD,iFAAiF;AACjF,eAAO,MAAM,iBAAiB,6IAK7B,CAAC;AAEF,eAAO,MAAM,eAAe,2IAK3B,CAAC;AASF,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,WAAW,CAiC7F"}

package/dist/services/audit-checks/dangling-relations-check.js

@@ -0,0 +1,52 @@
+"use strict";
+// dangling-relations audit check: relations referencing missing documents
+// FS-SS-023-0003: Detect relations where from_id or to_id points to non-existent document
+// SAD-0035: Updated to check documents(id) instead of entities(id)
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DANGLING_TO_SQL = exports.DANGLING_FROM_SQL = void 0;
+exports.danglingRelationsCheck = danglingRelationsCheck;
+/** Shared SQL constants — identical to queries in graph-validation-service.ts */
+exports.DANGLING_FROM_SQL = `
+  SELECT r.id, r.from_id, r.rel_type, r.to_id
+  FROM relations r
+  LEFT JOIN documents d ON r.from_id = d.id
+  WHERE d.id IS NULL
+`;
+exports.DANGLING_TO_SQL = `
+  SELECT r.id, r.from_id, r.rel_type, r.to_id
+  FROM relations r
+  LEFT JOIN documents d ON r.to_id = d.id
+  WHERE d.id IS NULL
+`;
+function danglingRelationsCheck(db, _sprintId) {
+    const issues = [];
+    const danglingFrom = db.prepare(exports.DANGLING_FROM_SQL).all();
+    for (const rel of danglingFrom) {
+        issues.push({
+            issueId: 'DANGLING_SOURCE',
+            relationId: rel.id,
+            relationSide: 'source',
+            entityId: rel.from_id,
+            detail: `Relation ${rel.id}: from_id "${rel.from_id}" (type: ${rel.rel_type}) references non-existent document`,
+            fixable: true,
+        });
+    }
+    const danglingTo = db.prepare(exports.DANGLING_TO_SQL).all();
+    for (const rel of danglingTo) {
+        issues.push({
+            issueId: 'DANGLING_TARGET',
+            relationId: rel.id,
+            relationSide: 'target',
+            entityId: rel.to_id,
+            detail: `Relation ${rel.id}: to_id "${rel.to_id}" (type: ${rel.rel_type}) references non-existent document`,
+            fixable: true,
+        });
+    }
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const summary = status === 'PASS'
+        ? 'No dangling relations found'
+        : `${issues.length} dangling relations found (${danglingFrom.length} source-side, ${danglingTo.length} target-side)`;
+    return { checkName: 'dangling-relations', status, summary, issues };
+}
+//# sourceMappingURL=dangling-relations-check.js.map

package/dist/services/audit-checks/dangling-relations-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dangling-relations-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/dangling-relations-check.ts"],"names":[],"mappings":";AAAA,0EAA0E;AAC1E,0FAA0F;AAC1F,mEAAmE;AACnE,6BAA6B;;;AA2B7B,wDAiCC;AAvDD,iFAAiF;AACpE,QAAA,iBAAiB,GAAG;;;;;CAKhC,CAAC;AAEW,QAAA,eAAe,GAAG;;;;;CAK9B,CAAC;AASF,SAAgB,sBAAsB,CAAC,EAAqB,EAAE,SAAkB;IAC9E,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,yBAAiB,CAAC,CAAC,GAAG,EAAmB,CAAC;IAC1E,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC;YACV,OAAO,EAAE,iBAAiB;YAC1B,UAAU,EAAE,GAAG,CAAC,EAAE;YAClB,YAAY,EAAE,QAAQ;YACtB,QAAQ,EAAE,GAAG,CAAC,OAAO;YACrB,MAAM,EAAE,YAAY,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,OAAO,YAAY,GAAG,CAAC,QAAQ,oCAAoC;YAC/G,OAAO,EAAE,IAAI;SACd,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAe,CAAC,CAAC,GAAG,EAAmB,CAAC;IACtE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACV,OAAO,EAAE,iBAAiB;YAC1B,UAAU,EAAE,GAAG,CAAC,EAAE;YAClB,YAAY,EAAE,QAAQ;YACtB,QAAQ,EAAE,GAAG,CAAC,KAAK;YACnB,MAAM,EAAE,YAAY,GAAG,CAAC,EAAE,YAAY,GAAG,CAAC,KAAK,YAAY,GAAG,CAAC,QAAQ,oCAAoC;YAC3G,OAAO,EAAE,IAAI;SACd,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM;QAC/B,CAAC,CAAC,6BAA6B;QAC/B,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,8BAA8B,YAAY,CAAC,MAAM,iBAAiB,UAAU,CAAC,MAAM,eAAe,CAAC;IAEvH,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACtE,CAAC"}

package/dist/services/audit-checks/duplicate-ids-check.d.ts

@@ -0,0 +1,4 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult } from './types';
+export declare function duplicateIdsCheck(db: Database.Database, sprintId?: string): CheckResult;
+//# sourceMappingURL=duplicate-ids-check.d.ts.map

package/dist/services/audit-checks/duplicate-ids-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicate-ids-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/duplicate-ids-check.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,SAAS,CAAC;AAEvD,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW,CA4CvF"}

package/dist/services/audit-checks/duplicate-ids-check.js

@@ -0,0 +1,49 @@
+"use strict";
+// duplicate-ids audit check: duplicate document IDs
+// FS-SS-023-0006: Detect duplicate IDs within sprint-scoped subset or full database
+// SAD-0035: Entity duplicate IDs check removed — entities table dropped
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.duplicateIdsCheck = duplicateIdsCheck;
+function duplicateIdsCheck(db, sprintId) {
+    const issues = [];
+    // Duplicate document IDs
+    if (sprintId) {
+        // Sprint scoping via task ID matching (URD-G001 removed documents.sprint_id)
+        const dupDocs = db.prepare(`
+      SELECT d.id, COUNT(*) as cnt
+      FROM documents d
+      WHERE d.id IN (SELECT t.id FROM tasks t WHERE t.sprint_id = ?)
+      GROUP BY d.id HAVING cnt > 1
+    `).all(sprintId);
+        for (const row of dupDocs) {
+            issues.push({
+                issueId: 'DUPLICATE_DOC_ID',
+                docId: row.id,
+                detail: `Duplicate document ID "${row.id}" (appears ${row.cnt} times)`,
+                count: row.cnt,
+                fixable: false,
+            });
+        }
+    }
+    else {
+        const dupDocs = db.prepare(`
+      SELECT id, COUNT(*) as cnt FROM documents GROUP BY id HAVING cnt > 1
+    `).all();
+        for (const row of dupDocs) {
+            issues.push({
+                issueId: 'DUPLICATE_DOC_ID',
+                docId: row.id,
+                detail: `Duplicate document ID "${row.id}" (appears ${row.cnt} times)`,
+                count: row.cnt,
+                fixable: false,
+            });
+        }
+    }
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const summary = status === 'PASS'
+        ? 'No duplicate IDs found'
+        : `${issues.length} duplicate document IDs found`;
+    return { checkName: 'duplicate-ids', status, summary, issues };
+}
+//# sourceMappingURL=duplicate-ids-check.js.map

package/dist/services/audit-checks/duplicate-ids-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicate-ids-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/duplicate-ids-check.ts"],"names":[],"mappings":";AAAA,oDAAoD;AACpD,oFAAoF;AACpF,wEAAwE;AACxE,6BAA6B;;AAK7B,8CA4CC;AA5CD,SAAgB,iBAAiB,CAAC,EAAqB,EAAE,QAAiB;IACxE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,yBAAyB;IACzB,IAAI,QAAQ,EAAE,CAAC;QACb,6EAA6E;QAC7E,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;KAK1B,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAuC,CAAC;QAEvD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,OAAO,EAAE,kBAAkB;gBAC3B,KAAK,EAAE,GAAG,CAAC,EAAE;gBACb,MAAM,EAAE,0BAA0B,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,GAAG,SAAS;gBACtE,KAAK,EAAE,GAAG,CAAC,GAAG;gBACd,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;;KAE1B,CAAC,CAAC,GAAG,EAAwC,CAAC;QAE/C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,OAAO,EAAE,kBAAkB;gBAC3B,KAAK,EAAE,GAAG,CAAC,EAAE;gBACb,MAAM,EAAE,0BAA0B,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,GAAG,SAAS;gBACtE,KAAK,EAAE,GAAG,CAAC,GAAG;gBACd,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM;QAC/B,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,+BAA+B,CAAC;IAEpD,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACjE,CAAC"}

package/dist/services/audit-checks/fix-engine.d.ts

@@ -0,0 +1,24 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult, FixResult } from './types';
+export declare class FixEngine {
+    /**
+     * Apply fixes for all fixable issues in the given check results.
+     * All fixes run inside a single transaction (db.transaction).
+     *
+     * @param db - Database connection
+     * @param results - Check results containing fixable issues
+     * @param dryRun - If true, simulate fixes without writing
+     * @returns FixResult with list of applied fixes
+     */
+    applyFixes(db: Database.Database, results: CheckResult[], dryRun: boolean): FixResult;
+    /**
+     * Simulate fixes without applying them.
+     * Returns what would be done in a FixResult.
+     */
+    private simulateFixes;
+    /**
+     * Apply a single fix. Uses raw DML within the caller's transaction scope.
+     */
+    private applyFix;
+}
+//# sourceMappingURL=fix-engine.d.ts.map

package/dist/services/audit-checks/fix-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-engine.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/fix-engine.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAc,SAAS,EAAE,MAAM,SAAS,CAAC;AAGlE,qBAAa,SAAS;IACpB;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS;IAkCrF;;;OAGG;IACH,OAAO,CAAC,aAAa;IAoBrB;;OAEG;IACH,OAAO,CAAC,QAAQ;CAwCjB"}

package/dist/services/audit-checks/fix-engine.js

@@ -0,0 +1,114 @@
+"use strict";
+// FixEngine: atomic fix application for audit check results
+// FS-SS-023-0011: Transaction-safe batch fixes with --fix and --fix-dry-run
+// NFS-SS-023-0005: All fixes run in a single transaction; any failure rolls back
+// MOD-023: CLI Audit Command
+//
+// Implementation note (REVIEW-0051 m-1): SAD-023 §3.8 references deleteEntity()
+// and deleteRelation() helper functions for fix actions. The actual implementation
+// uses raw DML (DELETE FROM entities/relations WHERE id = ?) because these helpers
+// do not accept an optional `db` parameter to participate in the caller's transaction
+// scope. Per SAD-023 §3.8 design note: "If a helper does not support transaction
+// participation, use raw db.prepare() DML within the transaction block instead."
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FixEngine = void 0;
+const errors_1 = require("../../utils/errors");
+class FixEngine {
+    /**
+     * Apply fixes for all fixable issues in the given check results.
+     * All fixes run inside a single transaction (db.transaction).
+     *
+     * @param db - Database connection
+     * @param results - Check results containing fixable issues
+     * @param dryRun - If true, simulate fixes without writing
+     * @returns FixResult with list of applied fixes
+     */
+    applyFixes(db, results, dryRun) {
+        if (dryRun) {
+            return this.simulateFixes(results);
+        }
+        try {
+            const fixFn = db.transaction(() => {
+                const applied = [];
+                for (const result of results) {
+                    if (result.status !== 'FAIL')
+                        continue;
+                    for (const issue of result.issues) {
+                        if (!issue.fixable)
+                            continue;
+                        this.applyFix(db, result.checkName, issue);
+                        applied.push({
+                            check: result.checkName,
+                            issueId: issue.issueId,
+                            targetId: issue.entityId ?? issue.docId ?? String(issue.relationId ?? ''),
+                        });
+                    }
+                }
+                return { applied, count: applied.length };
+            });
+            return fixFn();
+        }
+        catch (err) {
+            const message = err instanceof Error ? err.message : String(err);
+            throw new errors_1.AuditFixError(message);
+        }
+    }
+    /**
+     * Simulate fixes without applying them.
+     * Returns what would be done in a FixResult.
+     */
+    simulateFixes(results) {
+        const applied = [];
+        for (const result of results) {
+            if (result.status !== 'FAIL')
+                continue;
+            for (const issue of result.issues) {
+                if (!issue.fixable)
+                    continue;
+                applied.push({
+                    check: result.checkName,
+                    issueId: issue.issueId,
+                    targetId: issue.entityId ?? issue.docId ?? String(issue.relationId ?? ''),
+                });
+            }
+        }
+        return { applied, count: applied.length };
+    }
+    /**
+     * Apply a single fix. Uses raw DML within the caller's transaction scope.
+     */
+    applyFix(db, _checkName, issue) {
+        switch (issue.issueId) {
+            case 'DANGLING_SOURCE':
+            case 'DANGLING_TARGET': {
+                // Delete the dangling relation
+                if (issue.relationId !== undefined) {
+                    db.prepare('DELETE FROM relations WHERE id = ?').run(issue.relationId);
+                }
+                break;
+            }
+            case 'MISSING_INVERSE': {
+                // Create the missing inverse relation.
+                // entityTypeExpected holds the original to_id (→ new from_id)
+                // entityId holds the original from_id (→ new to_id)
+                // entityTypeFound holds the inverse relation type name
+                if (issue.entityTypeExpected && issue.entityId && issue.entityTypeFound) {
+                    const newFromId = issue.entityTypeExpected;
+                    const newToId = issue.entityId;
+                    const inverseRelType = issue.entityTypeFound;
+                    // Idempotency guard: only insert if the inverse doesn't already exist
+                    const existing = db.prepare('SELECT id FROM relations WHERE from_id = ? AND rel_type = ? AND to_id = ?').get(newFromId, inverseRelType, newToId);
+                    if (!existing) {
+                        db.prepare('INSERT INTO relations (from_id, rel_type, to_id, properties, created_at, updated_at) VALUES (?, ?, ?, ?, datetime(\'now\'), datetime(\'now\'))').run(newFromId, inverseRelType, newToId, '{}');
+                    }
+                }
+                break;
+            }
+            default:
+                // Unknown fixable issue — skip safely
+                break;
+        }
+    }
+}
+exports.FixEngine = FixEngine;
+//# sourceMappingURL=fix-engine.js.map

package/dist/services/audit-checks/fix-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-engine.js","sourceRoot":"","sources":["../../../src/services/audit-checks/fix-engine.ts"],"names":[],"mappings":";AAAA,4DAA4D;AAC5D,4EAA4E;AAC5E,iFAAiF;AACjF,6BAA6B;AAC7B,EAAE;AACF,gFAAgF;AAChF,mFAAmF;AACnF,mFAAmF;AACnF,sFAAsF;AACtF,iFAAiF;AACjF,iFAAiF;;;AAIjF,+CAAmD;AAEnD,MAAa,SAAS;IACpB;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAqB,EAAE,OAAsB,EAAE,MAAe;QACvE,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;QAED,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;gBAChC,MAAM,OAAO,GAAiB,EAAE,CAAC;gBAEjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;wBAAE,SAAS;oBAEvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAClC,IAAI,CAAC,KAAK,CAAC,OAAO;4BAAE,SAAS;wBAE7B,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;wBAC3C,OAAO,CAAC,IAAI,CAAC;4BACX,KAAK,EAAE,MAAM,CAAC,SAAS;4BACvB,OAAO,EAAE,KAAK,CAAC,OAAO;4BACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;yBAC1E,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,OAAO,KAAK,EAAE,CAAC;QACjB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjE,MAAM,IAAI,sBAAa,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,aAAa,CAAC,OAAsB;QAC1C,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;gBAAE,SAAS;YAEvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,CAAC,KAAK,CAAC,OAAO;oBAAE,SAAS;gBAE7B,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,MAAM,CAAC,SAAS;oBACvB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;iBAC1E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IAC5C,CAAC;IAED;;OAEG;IACK,QAAQ,CAAC,EAAqB,EAAE,UAAkB,EAAE,KAAyH;QACnL,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;YACtB,KAAK,iBAAiB,CAAC;YACvB,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,+BAA+B;gBAC/B,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACnC,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBACzE,CAAC;gBACD,MAAM;YACR,CAAC;YAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,uCAAuC;gBACvC,8DAA8D;gBAC9D,oDAAoD;gBACpD,uDAAuD;gBACvD,IAAI,KAAK,CAAC,kBAAkB,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;oBACxE,MAAM,SAAS,GAAG,KAAK,CAAC,kBAAkB,CAAC;oBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC;oBAC/B,MAAM,cAAc,GAAG,KAAK,CAAC,eAAe,CAAC;oBAE7C,sEAAsE;oBACtE,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CACzB,2EAA2E,CAC5E,CAAC,GAAG,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;oBAE1C,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,EAAE,CAAC,OAAO,CACR,gJAAgJ,CACjJ,CAAC,GAAG,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;oBAClD,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YAED;gBACE,sCAAsC;gBACtC,MAAM;QACV,CAAC;IACH,CAAC;CACF;AA/GD,8BA+GC"}

package/dist/services/audit-checks/fr-nfr-to-fs-nfs-check.d.ts

@@ -0,0 +1,9 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult } from './types';
+/**
+ * Verify every FR or NFR document has at least one outgoing realized_by relation
+ * to a Functional Specification (FS) or Non-Functional Specification (NFS).
+ * Non-fixable — reports missing traceability only.
+ */
+export declare function frNfrToFsNfsCheck(db: Database.Database, sprintId?: string): CheckResult;
+//# sourceMappingURL=fr-nfr-to-fs-nfs-check.d.ts.map

package/dist/services/audit-checks/fr-nfr-to-fs-nfs-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fr-nfr-to-fs-nfs-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/fr-nfr-to-fs-nfs-check.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,SAAS,CAAC;AAEvD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW,CAgDvF"}

package/dist/services/audit-checks/fr-nfr-to-fs-nfs-check.js

@@ -0,0 +1,56 @@
+"use strict";
+// fr-nfr-to-fs-nfs audit check: FR/NFR→FS/NFS traceability
+// SAD-0037 §3.3: FR/NFR documents without realized_by relation to FS/NFS
+// FS-SS-036-0002: FR/NFR→FS/NFS Traceability Check Implementation
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.frNfrToFsNfsCheck = frNfrToFsNfsCheck;
+/**
+ * Verify every FR or NFR document has at least one outgoing realized_by relation
+ * to a Functional Specification (FS) or Non-Functional Specification (NFS).
+ * Non-fixable — reports missing traceability only.
+ */
+function frNfrToFsNfsCheck(db, sprintId) {
+    let sql = `
+    SELECT d.id, d.type, d.title
+    FROM documents d
+    WHERE d.type IN ('FR', 'NFR')
+      AND NOT EXISTS (
+        SELECT 1 FROM relations r
+        WHERE r.from_id = d.id
+          AND r.rel_type = 'realized_by'
+      )
+  `;
+    const params = [];
+    if (sprintId) {
+        sql = `
+      SELECT d.id, d.type, d.title
+      FROM documents d
+      WHERE d.type IN ('FR', 'NFR')
+        AND NOT EXISTS (
+          SELECT 1 FROM relations r
+          WHERE r.from_id = d.id
+            AND r.rel_type = 'realized_by'
+        )
+        AND d.id IN (SELECT id FROM tasks WHERE sprint_id = ?)
+    `;
+        params.push(sprintId);
+    }
+    sql += ' ORDER BY d.id';
+    const rows = db.prepare(sql).all(...params);
+    const issues = rows.map(row => ({
+        issueId: 'MISSING_FS_NFS',
+        docId: row.id,
+        docType: row.type,
+        detail: `FR/NFR document '${row.id}' has no realized_by relation to any FS or NFS`,
+        severity: 'warning',
+        fixable: false,
+    }));
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const scope = sprintId ? ` in sprint ${sprintId}` : '';
+    const summary = status === 'PASS'
+        ? `All FR/NFR documents have FS/NFS traceability${scope}`
+        : `${issues.length} FR/NFR document(s) missing FS/NFS traceability${scope}`;
+    return { checkName: 'fr-nfr-to-fs-nfs', status, summary, issues };
+}
+//# sourceMappingURL=fr-nfr-to-fs-nfs-check.js.map

package/dist/services/audit-checks/fr-nfr-to-fs-nfs-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fr-nfr-to-fs-nfs-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/fr-nfr-to-fs-nfs-check.ts"],"names":[],"mappings":";AAAA,2DAA2D;AAC3D,yEAAyE;AACzE,kEAAkE;AAClE,6BAA6B;;AAU7B,8CAgDC;AArDD;;;;GAIG;AACH,SAAgB,iBAAiB,CAAC,EAAqB,EAAE,QAAiB;IACxE,IAAI,GAAG,GAAG;;;;;;;;;GAST,CAAC;IAEF,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,QAAQ,EAAE,CAAC;QACb,GAAG,GAAG;;;;;;;;;;KAUL,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAED,GAAG,IAAI,gBAAgB,CAAC;IAExB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAuD,CAAC;IAElG,MAAM,MAAM,GAAiB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,OAAO,EAAE,gBAAgB;QACzB,KAAK,EAAE,GAAG,CAAC,EAAE;QACb,OAAO,EAAE,GAAG,CAAC,IAAI;QACjB,MAAM,EAAE,oBAAoB,GAAG,CAAC,EAAE,gDAAgD;QAClF,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,KAAK;KACf,CAAC,CAAC,CAAC;IAEJ,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM;QAC/B,CAAC,CAAC,gDAAgD,KAAK,EAAE;QACzD,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,kDAAkD,KAAK,EAAE,CAAC;IAE9E,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACpE,CAAC"}

package/dist/services/audit-checks/fs-nfs-to-sad-ad-qa-check.d.ts

@@ -0,0 +1,10 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult } from './types';
+/**
+ * Verify every FS or NFS document has at least one outgoing covered_by relation
+ * to a Software Architecture Document (SAD), Architecture Decision (AD),
+ * or Quality Assurance (QA) artifact.
+ * Non-fixable — reports missing traceability only.
+ */
+export declare function fsNfsToSadAdQaCheck(db: Database.Database, sprintId?: string): CheckResult;
+//# sourceMappingURL=fs-nfs-to-sad-ad-qa-check.d.ts.map

package/dist/services/audit-checks/fs-nfs-to-sad-ad-qa-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs-nfs-to-sad-ad-qa-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/fs-nfs-to-sad-ad-qa-check.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,SAAS,CAAC;AAEvD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW,CAgDzF"}

package/dist/services/audit-checks/fs-nfs-to-sad-ad-qa-check.js

@@ -0,0 +1,57 @@
+"use strict";
+// fs-nfs-to-sad-ad-qa audit check: FS/NFS→SAD/AD/QA traceability
+// SAD-0037 §3.4: FS/NFS documents without covered_by relation to SAD/AD/QA
+// FS-SS-036-0003: FS/NFS→SAD/AD/QA Traceability Check Implementation
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fsNfsToSadAdQaCheck = fsNfsToSadAdQaCheck;
+/**
+ * Verify every FS or NFS document has at least one outgoing covered_by relation
+ * to a Software Architecture Document (SAD), Architecture Decision (AD),
+ * or Quality Assurance (QA) artifact.
+ * Non-fixable — reports missing traceability only.
+ */
+function fsNfsToSadAdQaCheck(db, sprintId) {
+    let sql = `
+    SELECT d.id, d.type, d.title
+    FROM documents d
+    WHERE d.type IN ('FS', 'NFS')
+      AND NOT EXISTS (
+        SELECT 1 FROM relations r
+        WHERE r.from_id = d.id
+          AND r.rel_type = 'covered_by'
+      )
+  `;
+    const params = [];
+    if (sprintId) {
+        sql = `
+      SELECT d.id, d.type, d.title
+      FROM documents d
+      WHERE d.type IN ('FS', 'NFS')
+        AND NOT EXISTS (
+          SELECT 1 FROM relations r
+          WHERE r.from_id = d.id
+            AND r.rel_type = 'covered_by'
+        )
+        AND d.id IN (SELECT id FROM tasks WHERE sprint_id = ?)
+    `;
+        params.push(sprintId);
+    }
+    sql += ' ORDER BY d.id';
+    const rows = db.prepare(sql).all(...params);
+    const issues = rows.map(row => ({
+        issueId: 'MISSING_SAD_AD_QA',
+        docId: row.id,
+        docType: row.type,
+        detail: `FS/NFS document '${row.id}' has no covered_by relation to any SAD, AD, or QA artifact`,
+        severity: 'warning',
+        fixable: false,
+    }));
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const scope = sprintId ? ` in sprint ${sprintId}` : '';
+    const summary = status === 'PASS'
+        ? `All FS/NFS documents have SAD/AD/QA traceability${scope}`
+        : `${issues.length} FS/NFS document(s) missing SAD/AD/QA traceability${scope}`;
+    return { checkName: 'fs-nfs-to-sad-ad-qa', status, summary, issues };
+}
+//# sourceMappingURL=fs-nfs-to-sad-ad-qa-check.js.map

package/dist/services/audit-checks/fs-nfs-to-sad-ad-qa-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs-nfs-to-sad-ad-qa-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/fs-nfs-to-sad-ad-qa-check.ts"],"names":[],"mappings":";AAAA,iEAAiE;AACjE,2EAA2E;AAC3E,qEAAqE;AACrE,6BAA6B;;AAW7B,kDAgDC;AAtDD;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,EAAqB,EAAE,QAAiB;IAC1E,IAAI,GAAG,GAAG;;;;;;;;;GAST,CAAC;IAEF,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,QAAQ,EAAE,CAAC;QACb,GAAG,GAAG;;;;;;;;;;KAUL,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAED,GAAG,IAAI,gBAAgB,CAAC;IAExB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAuD,CAAC;IAElG,MAAM,MAAM,GAAiB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,GAAG,CAAC,EAAE;QACb,OAAO,EAAE,GAAG,CAAC,IAAI;QACjB,MAAM,EAAE,oBAAoB,GAAG,CAAC,EAAE,6DAA6D;QAC/F,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,KAAK;KACf,CAAC,CAAC,CAAC;IAEJ,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM;QAC/B,CAAC,CAAC,mDAAmD,KAAK,EAAE;QAC5D,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,qDAAqD,KAAK,EAAE,CAAC;IAEjF,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACvE,CAAC"}

package/dist/services/audit-checks/fs-nfs-to-ts-check.d.ts

@@ -0,0 +1,9 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult } from './types';
+/**
+ * Verify every FS or NFS document has at least one outgoing verified_by relation
+ * to a Test Suite (TS) document.
+ * Non-fixable — reports missing traceability only.
+ */
+export declare function fsNfsToTsCheck(db: Database.Database, sprintId?: string): CheckResult;
+//# sourceMappingURL=fs-nfs-to-ts-check.d.ts.map

package/dist/services/audit-checks/fs-nfs-to-ts-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs-nfs-to-ts-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/fs-nfs-to-ts-check.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,SAAS,CAAC;AAEvD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW,CAgDpF"}