@lwelliott/cortex-cli 1.0.3

package/dist/services/audit-checks/src-filesystem-only-check.js

@@ -0,0 +1,106 @@
+"use strict";
+// src-filesystem-only audit check: SRC filesystem existence
+// SAD-0037 §3.8: SRC documents without corresponding filesystem file
+// FS-SS-036-0007: SRC Filesystem-Only Check Implementation
+// MOD-023: CLI Audit Command
+//
+// This is the only audit check that requires filesystem access.
+// It uses the SrcCheckRunner signature: (db, projectFolder, sprintId?)
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.srcFilesystemOnlyCheck = srcFilesystemOnlyCheck;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+/**
+ * Verify every SRC document has a corresponding file on the filesystem.
+ * SRC documents with a path field are verified for existence; absolute paths
+ * are used directly, relative paths are resolved against projectFolder.
+ * Non-fixable — reports missing files only.
+ */
+function srcFilesystemOnlyCheck(db, projectFolder, sprintId) {
+    let sql = `
+    SELECT d.id, d.type, d.path
+    FROM documents d
+    WHERE d.type = 'SRC'
+  `;
+    const params = [];
+    if (sprintId) {
+        sql = `
+      SELECT d.id, d.type, d.path
+      FROM documents d
+      WHERE d.type = 'SRC'
+        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 = [];
+    for (const row of rows) {
+        if (!row.path) {
+            issues.push({
+                issueId: 'SRC_NOT_FOUND',
+                docId: row.id,
+                docType: row.type,
+                detail: `SRC document '${row.id}' has no path field (cannot verify filesystem existence)`,
+                severity: 'warning',
+                fixable: false,
+            });
+            continue;
+        }
+        // Resolve path: absolute path used directly; relative path resolved against project folder
+        const resolvedPath = path.isAbsolute(row.path)
+            ? row.path
+            : path.join(projectFolder, row.path);
+        const fileExists = fs.existsSync(resolvedPath);
+        if (!fileExists) {
+            issues.push({
+                issueId: 'SRC_NOT_FOUND',
+                docId: row.id,
+                docType: row.type,
+                detail: `SRC document '${row.id}' references path '${row.path}' which does not exist on the filesystem`,
+                severity: 'error',
+                fixable: false,
+            });
+        }
+    }
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const scope = sprintId ? ` in sprint ${sprintId}` : '';
+    const summary = status === 'PASS'
+        ? `All SRC documents have corresponding files on the filesystem${scope}`
+        : `${issues.length} SRC document(s) reference non-existent files${scope}`;
+    return { checkName: 'src-filesystem-only', status, summary, issues };
+}
+//# sourceMappingURL=src-filesystem-only-check.js.map

package/dist/services/audit-checks/src-filesystem-only-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"src-filesystem-only-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/src-filesystem-only-check.ts"],"names":[],"mappings":";AAAA,4DAA4D;AAC5D,qEAAqE;AACrE,2DAA2D;AAC3D,6BAA6B;AAC7B,EAAE;AACF,gEAAgE;AAChE,uEAAuE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAavE,wDAiEC;AA3ED,uCAAyB;AACzB,2CAA6B;AAG7B;;;;;GAKG;AACH,SAAgB,sBAAsB,CACpC,EAAqB,EACrB,aAAqB,EACrB,QAAiB;IAEjB,IAAI,GAAG,GAAG;;;;GAIT,CAAC;IAEF,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,QAAQ,EAAE,CAAC;QACb,GAAG,GAAG;;;;;KAKL,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,CAA6D,CAAC;IAExG,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC;gBACV,OAAO,EAAE,eAAe;gBACxB,KAAK,EAAE,GAAG,CAAC,EAAE;gBACb,OAAO,EAAE,GAAG,CAAC,IAAI;gBACjB,MAAM,EAAE,iBAAiB,GAAG,CAAC,EAAE,0DAA0D;gBACzF,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,2FAA2F;QAC3F,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAC5C,CAAC,CAAC,GAAG,CAAC,IAAI;YACV,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAEvC,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,OAAO,EAAE,eAAe;gBACxB,KAAK,EAAE,GAAG,CAAC,EAAE;gBACb,OAAO,EAAE,GAAG,CAAC,IAAI;gBACjB,MAAM,EAAE,iBAAiB,GAAG,CAAC,EAAE,sBAAsB,GAAG,CAAC,IAAI,0CAA0C;gBACvG,QAAQ,EAAE,OAAO;gBACjB,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,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,+DAA+D,KAAK,EAAE;QACxE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,gDAAgD,KAAK,EAAE,CAAC;IAE5E,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACvE,CAAC"}

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

@@ -0,0 +1,10 @@
+import type Database from 'better-sqlite3';
+import type { CheckResult } from './types';
+/**
+ * Verify every TS (Test Suite) document has at least one outgoing divided_into
+ * relation to a Test Case (TC) document.
+ * Non-fixable — reports missing traceability only.
+ * Severity: error (AD-0047) — a TS without TC is a critical traceability gap.
+ */
+export declare function tsToTcCheck(db: Database.Database, sprintId?: string): CheckResult;
+//# sourceMappingURL=ts-to-tc-check.d.ts.map

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

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

package/dist/services/audit-checks/ts-to-tc-check.js

@@ -0,0 +1,58 @@
+"use strict";
+// ts-to-tc audit check: TS→TC traceability
+// SAD-0037 §3.6: TS documents without divided_into relation to TC
+// FS-SS-036-0005: TS→TC Traceability Check Implementation
+// AD-0047: TS→TC missing TC is severity error
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.tsToTcCheck = tsToTcCheck;
+/**
+ * Verify every TS (Test Suite) document has at least one outgoing divided_into
+ * relation to a Test Case (TC) document.
+ * Non-fixable — reports missing traceability only.
+ * Severity: error (AD-0047) — a TS without TC is a critical traceability gap.
+ */
+function tsToTcCheck(db, sprintId) {
+    let sql = `
+    SELECT d.id, d.type, d.title
+    FROM documents d
+    WHERE d.type = 'TS'
+      AND NOT EXISTS (
+        SELECT 1 FROM relations r
+        WHERE r.from_id = d.id
+          AND r.rel_type = 'divided_into'
+      )
+  `;
+    const params = [];
+    if (sprintId) {
+        sql = `
+      SELECT d.id, d.type, d.title
+      FROM documents d
+      WHERE d.type = 'TS'
+        AND NOT EXISTS (
+          SELECT 1 FROM relations r
+          WHERE r.from_id = d.id
+            AND r.rel_type = 'divided_into'
+        )
+        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_TC',
+        docId: row.id,
+        docType: row.type,
+        detail: `Test Suite '${row.id}' has no divided_into relation to any Test Case`,
+        severity: 'error',
+        fixable: false,
+    }));
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const scope = sprintId ? ` in sprint ${sprintId}` : '';
+    const summary = status === 'PASS'
+        ? `All TS documents have TC traceability${scope}`
+        : `${issues.length} TS document(s) missing TC traceability${scope}`;
+    return { checkName: 'ts-to-tc', status, summary, issues };
+}
+//# sourceMappingURL=ts-to-tc-check.js.map

package/dist/services/audit-checks/ts-to-tc-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-to-tc-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/ts-to-tc-check.ts"],"names":[],"mappings":";AAAA,2CAA2C;AAC3C,kEAAkE;AAClE,0DAA0D;AAC1D,8CAA8C;AAC9C,6BAA6B;;AAW7B,kCAgDC;AAtDD;;;;;GAKG;AACH,SAAgB,WAAW,CAAC,EAAqB,EAAE,QAAiB;IAClE,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,YAAY;QACrB,KAAK,EAAE,GAAG,CAAC,EAAE;QACb,OAAO,EAAE,GAAG,CAAC,IAAI;QACjB,MAAM,EAAE,eAAe,GAAG,CAAC,EAAE,iDAAiD;QAC9E,QAAQ,EAAE,OAAO;QACjB,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,wCAAwC,KAAK,EAAE;QACjD,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,0CAA0C,KAAK,EAAE,CAAC;IAEtE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC5D,CAAC"}

package/dist/services/audit-checks/type-mismatch-check.d.ts

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

package/dist/services/audit-checks/type-mismatch-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-mismatch-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/type-mismatch-check.ts"],"names":[],"mappings":"AAIA,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,CAoDvF"}

package/dist/services/audit-checks/type-mismatch-check.js

@@ -0,0 +1,55 @@
+"use strict";
+// type-mismatch audit check: entity type_name vs document type mapping
+// FS-SS-023-0005: Verify entity type_name matches expected from document type
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.typeMismatchCheck = typeMismatchCheck;
+function typeMismatchCheck(db, sprintId) {
+    let rows;
+    if (sprintId) {
+        // Sprint scoping via task ID matching (URD-G001 removed documents.sprint_id)
+        const sprintDocIds = db.prepare(`
+      SELECT DISTINCT d.id FROM documents d
+      WHERE d.id IN (SELECT t.id FROM tasks t WHERE t.sprint_id = ?)
+    `).all(sprintId);
+        const sprintDocIdSet = new Set(sprintDocIds.map(r => r.id));
+        const allRows = db.prepare(`
+      SELECT e.id, e.type_name, d.type as doc_type
+      FROM entities e
+      JOIN documents d ON d.id = e.id
+    `).all();
+        rows = allRows.filter(r => sprintDocIdSet.has(r.id));
+    }
+    else {
+        rows = db.prepare(`
+      SELECT e.id, e.type_name, d.type as doc_type
+      FROM entities e
+      JOIN documents d ON d.id = e.id
+    `).all();
+    }
+    const issues = [];
+    for (const row of rows) {
+        const expectedType = row.doc_type;
+        // Graceful degradation: skip if no doc type
+        if (!expectedType)
+            continue;
+        if (row.type_name !== expectedType) {
+            issues.push({
+                issueId: 'ENTITY_TYPE_MISMATCH',
+                entityId: row.id,
+                docId: row.id,
+                docType: row.doc_type,
+                entityTypeFound: row.type_name,
+                entityTypeExpected: expectedType,
+                detail: `Entity "${row.id}" has type_name "${row.type_name}" but document type "${row.doc_type}" maps to "${expectedType}"`,
+                fixable: true,
+            });
+        }
+    }
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const summary = status === 'PASS'
+        ? 'All entities have correct type_name matching document type'
+        : `${issues.length} entities have mismatched type_name`;
+    return { checkName: 'type-mismatch', status, summary, issues };
+}
+//# sourceMappingURL=type-mismatch-check.js.map

package/dist/services/audit-checks/type-mismatch-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-mismatch-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/type-mismatch-check.ts"],"names":[],"mappings":";AAAA,uEAAuE;AACvE,8EAA8E;AAC9E,6BAA6B;;AAK7B,8CAoDC;AApDD,SAAgB,iBAAiB,CAAC,EAAqB,EAAE,QAAiB;IACxE,IAAI,IAAgE,CAAC;IAErE,IAAI,QAAQ,EAAE,CAAC;QACb,6EAA6E;QAC7E,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC;;;KAG/B,CAAC,CAAC,GAAG,CAAC,QAAQ,CAA0B,CAAC;QAC1C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;;;;KAI1B,CAAC,CAAC,GAAG,EAAgE,CAAC;QACvE,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;;;;KAIjB,CAAC,CAAC,GAAG,EAAgE,CAAC;IACzE,CAAC;IAED,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC;QAElC,4CAA4C;QAC5C,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,IAAI,GAAG,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACV,OAAO,EAAE,sBAAsB;gBAC/B,QAAQ,EAAE,GAAG,CAAC,EAAE;gBAChB,KAAK,EAAE,GAAG,CAAC,EAAE;gBACb,OAAO,EAAE,GAAG,CAAC,QAAQ;gBACrB,eAAe,EAAE,GAAG,CAAC,SAAS;gBAC9B,kBAAkB,EAAE,YAAY;gBAChC,MAAM,EAAE,WAAW,GAAG,CAAC,EAAE,oBAAoB,GAAG,CAAC,SAAS,wBAAwB,GAAG,CAAC,QAAQ,cAAc,YAAY,GAAG;gBAC3H,OAAO,EAAE,IAAI;aACd,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,4DAA4D;QAC9D,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,qCAAqC,CAAC;IAE1D,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACjE,CAAC"}

package/dist/services/audit-checks/types.d.ts

@@ -0,0 +1,66 @@
+import type Database from 'better-sqlite3';
+/** A single audit issue detected by a check */
+export interface AuditIssue {
+    issueId: string;
+    severity?: 'error' | 'warning' | 'info';
+    entityId?: string;
+    docId?: string;
+    docType?: string;
+    relationId?: number;
+    relationSide?: 'source' | 'target';
+    detail: string;
+    fixable?: boolean;
+    count?: number;
+    entityTypeFound?: string;
+    entityTypeExpected?: string;
+}
+/** Result from running a single audit check */
+export interface CheckResult {
+    checkName: string;
+    status: 'PASS' | 'FAIL' | 'SKIP';
+    summary: string;
+    issues: AuditIssue[];
+    fixApplied?: string;
+    /** Count of fixable issues for this check (populated during fixDryRun) */
+    fixCount?: number;
+}
+/** Applied fix record */
+export interface AppliedFix {
+    check: string;
+    issueId: string;
+    targetId: string;
+}
+/** Result from the fix engine */
+export interface FixResult {
+    applied: AppliedFix[];
+    count: number;
+}
+/** Full audit report */
+export interface AuditReport {
+    generatedAt: string;
+    sprintFilter: string | null;
+    checks: CheckResult[];
+    exitCode: 0 | 1 | 2;
+    fixApplied: boolean;
+}
+/** Audit options parsed from CLI or programmatic use */
+export interface AuditOptions {
+    checks?: string[];
+    sprintId?: string;
+    fix?: boolean;
+    fixDryRun?: boolean;
+    reportFile?: string;
+    format?: string;
+    dbPath?: string;
+    /** Project folder for src-filesystem-only check (SAD-0037 §4) */
+    projectFolder?: string;
+}
+/** Function signature for individual check runners (DB-only checks) */
+export type CheckRunner = (db: Database.Database, sprintId?: string) => CheckResult;
+/** Function signature for src-filesystem-only check (requires projectFolder) (SAD-0037 §4.2) */
+export type SrcCheckRunner = (db: Database.Database, projectFolder: string, sprintId?: string) => CheckResult;
+/** Known check names (SAD-0037: expanded to 11 checks) */
+export declare const ALL_CHECK_NAMES: readonly ["dangling-relations", "duplicate-ids", "orphan-documents", "inverse-consistency", "us-to-fr-nfr", "fr-nfr-to-fs-nfs", "fs-nfs-to-sad-ad-qa", "fs-nfs-to-ts", "ts-to-tc", "sad-ad-qa-tc-to-src", "src-filesystem-only"];
+export declare function isKnownCheck(name: string): boolean;
+export declare function normalizeCheckName(name: string): string;
+//# sourceMappingURL=types.d.ts.map

package/dist/services/audit-checks/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/types.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAE3C,+CAA+C;AAC/C,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,+CAA+C;AAC/C,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yBAAyB;AACzB,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,iCAAiC;AACjC,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAwB;AACxB,MAAM,WAAW,WAAW;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wDAAwD;AACxD,MAAM,WAAW,YAAY;IAC3B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iEAAiE;IACjE,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,uEAAuE;AACvE,MAAM,MAAM,WAAW,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,WAAW,CAAC;AAEpF,gGAAgG;AAChG,MAAM,MAAM,cAAc,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,WAAW,CAAC;AAE9G,0DAA0D;AAC1D,eAAO,MAAM,eAAe,kOAclB,CAAC;AAEX,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvD"}

package/dist/services/audit-checks/types.js

@@ -0,0 +1,30 @@
+"use strict";
+// Shared audit types for check modules
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ALL_CHECK_NAMES = void 0;
+exports.isKnownCheck = isKnownCheck;
+exports.normalizeCheckName = normalizeCheckName;
+/** Known check names (SAD-0037: expanded to 11 checks) */
+exports.ALL_CHECK_NAMES = [
+    // Existing 4 integrity checks (SAD-0036):
+    'dangling-relations',
+    'duplicate-ids',
+    'orphan-documents',
+    'inverse-consistency',
+    // New 7 traceability checks (SAD-0037):
+    'us-to-fr-nfr',
+    'fr-nfr-to-fs-nfs',
+    'fs-nfs-to-sad-ad-qa',
+    'fs-nfs-to-ts',
+    'ts-to-tc',
+    'sad-ad-qa-tc-to-src',
+    'src-filesystem-only',
+];
+function isKnownCheck(name) {
+    return exports.ALL_CHECK_NAMES.includes(name.toLowerCase());
+}
+function normalizeCheckName(name) {
+    return name.toLowerCase().trim();
+}
+//# sourceMappingURL=types.js.map

package/dist/services/audit-checks/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/services/audit-checks/types.ts"],"names":[],"mappings":";AAAA,uCAAuC;AACvC,6BAA6B;;;AAyF7B,oCAEC;AAED,gDAEC;AAvBD,0DAA0D;AAC7C,QAAA,eAAe,GAAG;IAC7B,0CAA0C;IAC1C,oBAAoB;IACpB,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,wCAAwC;IACxC,cAAc;IACd,kBAAkB;IAClB,qBAAqB;IACrB,cAAc;IACd,UAAU;IACV,qBAAqB;IACrB,qBAAqB;CACb,CAAC;AAEX,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,uBAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAoC,CAAC,CAAC;AACxF,CAAC;AAED,SAAgB,kBAAkB,CAAC,IAAY;IAC7C,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;AACnC,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"us-to-fr-nfr-check.d.ts","sourceRoot":"","sources":["../../../src/services/audit-checks/us-to-fr-nfr-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"}

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

@@ -0,0 +1,56 @@
+"use strict";
+// us-to-fr-nfr audit check: US→FR/NFR traceability
+// SAD-0037 §3.2: US documents without fulfilled_by relation to FR/NFR
+// FS-SS-036-0001: US→FR/NFR Traceability Check Implementation
+// MOD-023: CLI Audit Command
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.usToFrNfrCheck = usToFrNfrCheck;
+/**
+ * Verify every US document has at least one outgoing fulfilled_by relation
+ * to a Functional Requirement (FR) or Non-Functional Requirement (NFR).
+ * Non-fixable — reports missing traceability only.
+ */
+function usToFrNfrCheck(db, sprintId) {
+    let sql = `
+    SELECT d.id, d.type, d.title
+    FROM documents d
+    WHERE d.type = 'US'
+      AND NOT EXISTS (
+        SELECT 1 FROM relations r
+        WHERE r.from_id = d.id
+          AND r.rel_type = 'fulfilled_by'
+      )
+  `;
+    const params = [];
+    if (sprintId) {
+        sql = `
+      SELECT d.id, d.type, d.title
+      FROM documents d
+      WHERE d.type = 'US'
+        AND NOT EXISTS (
+          SELECT 1 FROM relations r
+          WHERE r.from_id = d.id
+            AND r.rel_type = 'fulfilled_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_FR_NFR',
+        docId: row.id,
+        docType: row.type,
+        detail: `User Story '${row.id}' has no fulfilled_by relation to any FR or NFR`,
+        severity: 'warning',
+        fixable: false,
+    }));
+    const status = issues.length === 0 ? 'PASS' : 'FAIL';
+    const scope = sprintId ? ` in sprint ${sprintId}` : '';
+    const summary = status === 'PASS'
+        ? `All US documents have FR/NFR traceability${scope}`
+        : `${issues.length} US document(s) missing FR/NFR traceability${scope}`;
+    return { checkName: 'us-to-fr-nfr', status, summary, issues };
+}
+//# sourceMappingURL=us-to-fr-nfr-check.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"us-to-fr-nfr-check.js","sourceRoot":"","sources":["../../../src/services/audit-checks/us-to-fr-nfr-check.ts"],"names":[],"mappings":";AAAA,mDAAmD;AACnD,sEAAsE;AACtE,8DAA8D;AAC9D,6BAA6B;;AAU7B,wCAgDC;AArDD;;;;GAIG;AACH,SAAgB,cAAc,CAAC,EAAqB,EAAE,QAAiB;IACrE,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,eAAe,GAAG,CAAC,EAAE,iDAAiD;QAC9E,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,4CAA4C,KAAK,EAAE;QACrD,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,8CAA8C,KAAK,EAAE,CAAC;IAE1E,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAChE,CAAC"}

package/dist/services/doc-entity-mapping.d.ts

@@ -0,0 +1,19 @@
+/**
+ * @deprecated Removed in builtin:3.0 (Sprint 31).
+ * Entity types are now derived directly from documents.type.
+ * Doc types serve as entity type names 1:1.
+ * Returns an empty immutable record.
+ */
+export declare const DOC_TYPE_TO_ENTITY_TYPE: Readonly<Record<string, string>>;
+/**
+ * @deprecated Removed in builtin:3.0 (Sprint 31).
+ * The doc type IS the entity type name post-migration.
+ * This returns the input unchanged for backward compatibility.
+ *
+ * @param docType - The document type string
+ * @returns The same string, or undefined if docType is empty
+ */
+export declare function resolveEntityType(docType: string): string | undefined;
+/** @deprecated Type alias removed in builtin:3.0 */
+export type DocType = string;
+//# sourceMappingURL=doc-entity-mapping.d.ts.map

package/dist/services/doc-entity-mapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc-entity-mapping.d.ts","sourceRoot":"","sources":["../../src/services/doc-entity-mapping.ts"],"names":[],"mappings":"AAQA;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,kCAA8C,CAAC;AAEnF;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAMrE;AAED,oDAAoD;AACpD,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC"}

package/dist/services/doc-entity-mapping.js

@@ -0,0 +1,35 @@
+"use strict";
+// Doc-Entity Type Mapping — REMOVED in builtin:3.0 (Sprint 31 Phase 1)
+// SAD-0033 §4 Phase 1: DROP entity_types table; remove DOC_TYPE_TO_ENTITY_TYPE constant
+// SAD-0006 §2: Entity classification derived from documents.type (no static mapping)
+//
+// Post-Sprint-31: Entity types are derived directly from document types.
+// `documents.type` is the sole source of truth. No mapping table exists.
+// This file exists as a no-op placeholder for backward compat during transition.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DOC_TYPE_TO_ENTITY_TYPE = void 0;
+exports.resolveEntityType = resolveEntityType;
+/**
+ * @deprecated Removed in builtin:3.0 (Sprint 31).
+ * Entity types are now derived directly from documents.type.
+ * Doc types serve as entity type names 1:1.
+ * Returns an empty immutable record.
+ */
+exports.DOC_TYPE_TO_ENTITY_TYPE = Object.freeze({});
+/**
+ * @deprecated Removed in builtin:3.0 (Sprint 31).
+ * The doc type IS the entity type name post-migration.
+ * This returns the input unchanged for backward compatibility.
+ *
+ * @param docType - The document type string
+ * @returns The same string, or undefined if docType is empty
+ */
+function resolveEntityType(docType) {
+    if (!docType)
+        return undefined;
+    // Post-Sprint-31: Document types ARE entity type names.
+    // All 13 canonical types (AD, FR, FS, MDL, NFR, NFS, QA, SAD, SRC, TC, TR, TS, US)
+    // map 1:1 to entity type names.
+    return docType;
+}
+//# sourceMappingURL=doc-entity-mapping.js.map

package/dist/services/doc-entity-mapping.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc-entity-mapping.js","sourceRoot":"","sources":["../../src/services/doc-entity-mapping.ts"],"names":[],"mappings":";AAAA,uEAAuE;AACvE,wFAAwF;AACxF,qFAAqF;AACrF,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,iFAAiF;;;AAkBjF,8CAMC;AAtBD;;;;;GAKG;AACU,QAAA,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC,EAA4B,CAAC,CAAC;AAEnF;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,OAAe;IAC/C,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,wDAAwD;IACxD,mFAAmF;IACnF,gCAAgC;IAChC,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/services/document-service.d.ts

@@ -0,0 +1,58 @@
+import type Database from 'better-sqlite3';
+import type { Document, DocumentDetail, DocumentRegisterOptions, DocumentUpdateFields, SearchResult, ListOptions, SearchOptions } from '../models/document';
+/**
+ * Register a new document.
+ */
+export declare function registerDocument(db: Database.Database, id: string, type: string, title: string, opts?: DocumentRegisterOptions): Document;
+/**
+ * List documents with optional filters, pagination, sorting, and count-only support.
+ * Default ordering: ascending by id.
+ *
+ * When countOnly is true, returns { count: number } instead of Document[].
+ */
+export declare function listDocuments(db: Database.Database, opts?: ListOptions): Document[] | {
+    count: number;
+};
+/**
+ * Get a single document by ID.
+ */
+export declare function getDocument(db: Database.Database, id: string): Document;
+/**
+ * Show document detail (with content if stored).
+ * Content is fetched from document_contents (primary) or doc.path (fallback for
+ * legacy documents registered before this fix).
+ */
+export declare function showDocument(db: Database.Database, id: string): DocumentDetail;
+/**
+ * Update document metadata.
+ * --meta replaces entirely (not merge), per spec.
+ *
+ * MOD-021: When fields.type changes the document type, the old entity is deleted
+ * (with relation cascade) and a new entity is created with the updated type mapping.
+ * All operations (content upsert, entity sync, document update) run within a single
+ * atomic transaction per FS-SS-021-0004.
+ */
+export declare function updateDocument(db: Database.Database, id: string, fields: DocumentUpdateFields): Document;
+/**
+ * Remove a document registration.
+ *
+ * Deletion ordering per SAD-0035 (3-step sequence after entities table drop):
+ *   Step 1: Delete relations (outgoing and incoming) referencing the document
+ *   Step 2: Delete document_contents row (UNCONDITIONAL per AD-0028 — FK constraint
+ *           requires content deletion before the document row is removed)
+ *   Step 3: Delete document row
+ *
+ * Content is always deleted unconditionally per AD-0028 — there is no soft-delete option.
+ */
+export declare function removeDocument(db: Database.Database, id: string): void;
+/**
+ * Full-text search across document contents with pagination, sorting, count-only support, and type filtering.
+ * Default ordering: FTS5 BM25 relevance ranking (descending).
+ * When --order-by is specified, results are sorted by the given column via SQL subquery instead of by rank.
+ *
+ * When countOnly is true, returns { count: number } instead of SearchResult[].
+ */
+export declare function searchDocuments(db: Database.Database, query: string, opts?: SearchOptions): SearchResult[] | {
+    count: number;
+};
+//# sourceMappingURL=document-service.d.ts.map

package/dist/services/document-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-service.d.ts","sourceRoot":"","sources":["../../src/services/document-service.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAG3C,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAmC5J;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,uBAAuB,GAC7B,QAAQ,CAmEV;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,IAAI,CAAC,EAAE,WAAW,GACjB,QAAQ,EAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAkDhC;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,GAAG,QAAQ,CAIvE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,GAAG,cAAc,CAkB9E;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,oBAAoB,GAC3B,QAAQ,CAmEV;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAetE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,aAAa,GACnB,YAAY,EAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAgIpC"}