opencode-telos 1.0.0

package/dist/sdd/validation/coverage-index.d.ts

@@ -0,0 +1,117 @@
+import type { KnowledgeGraph } from "../domain/types.js";
+import { type SmartValidationResult } from "./smart-validator.js";
+/**
+ * Represents the verification status of a single subsystem.
+ */
+export interface SubsystemCoverage {
+    subsystem: string;
+    verified: boolean;
+    nodes_checked: number;
+    errors_found: number;
+    warnings_found: number;
+    verified_at?: string;
+    duration_ms?: number;
+}
+/**
+ * Overall coverage report for the graph validation.
+ */
+export interface CoverageReport {
+    total_subsystems: number;
+    verified_count: number;
+    unverified_count: number;
+    coverage_percent: number;
+    subsystems: SubsystemCoverage[];
+    last_full_validation?: string;
+    last_incremental_validation?: string;
+}
+/**
+ * A request from the AI to verify a specific area.
+ */
+export interface VerificationRequest {
+    /** Subsystems to verify (empty = auto-detect from dirty nodes). */
+    subsystems?: string[];
+    /** Specific node IDs to include in verification. */
+    nodeIds?: string[];
+    /** If true, verify everything regardless of what was already checked. */
+    forceFull?: boolean;
+    /** If true, skip previously verified subsystems. */
+    skipVerified?: boolean;
+    /** Maximum nodes to verify in this request. */
+    maxNodes?: number;
+}
+/**
+ * ValidationIndex: tracks coverage across validation runs and allows
+ * the AI to request verification in specific areas.
+ *
+ * The AI can:
+ * 1. Query what was already verified (getCoverage)
+ * 2. Request verification in unchecked areas (requestVerification)
+ * 3. Skip previously verified areas (skipVerified option)
+ * 4. Get a full coverage report (getCoverageReport)
+ */
+export declare class ValidationIndex {
+    private coverage;
+    private lastFullValidation?;
+    private lastIncrementalValidation?;
+    private nodeVerificationHistory;
+    /**
+     * Record the result of a validation run.
+     */
+    recordValidation(result: SmartValidationResult, duration_ms?: number): void;
+    /**
+     * Record which specific nodes were verified in a subsystem.
+     */
+    recordNodesVerified(subsystem: string, nodeIds: string[]): void;
+    /**
+     * Get the current coverage report.
+     */
+    getCoverage(): CoverageReport;
+    /**
+     * Get subsystems that haven't been verified yet.
+     */
+    getUnverifiedSubsystems(): string[];
+    /**
+     * Get subsystems that have been verified.
+     */
+    getVerifiedSubsystems(): string[];
+    /**
+     * Check if a specific subsystem has been verified.
+     */
+    isVerified(subsystem: string): boolean;
+    /**
+     * Get the list of node IDs that were verified in a subsystem.
+     */
+    getVerifiedNodes(subsystem: string): string[];
+    /**
+     * Check if specific nodes have been verified in a subsystem.
+     */
+    areNodesVerified(subsystem: string, nodeIds: string[]): {
+        verified: string[];
+        unverified: string[];
+    };
+    /**
+     * Build a verification request for unchecked areas.
+     * The AI can call this to get a smart request for what to verify next.
+     */
+    buildVerificationRequest(graph: KnowledgeGraph, dirtyNodeIds?: Set<string>): VerificationRequest;
+    /**
+     * Process a verification request and return the subsystems to validate.
+     */
+    processVerificationRequest(request: VerificationRequest, graph: KnowledgeGraph, dirtyNodeIds: Set<string>): {
+        subsystems: string[];
+        nodeIds: Set<string>;
+    };
+    /**
+     * Reset coverage for a specific subsystem (force re-verification).
+     */
+    resetSubsystem(subsystem: string): void;
+    /**
+     * Reset all coverage (full re-verification needed).
+     */
+    resetAll(): void;
+    /**
+     * Format a human-readable coverage report.
+     */
+    formatCoverageReport(): string;
+}
+//# sourceMappingURL=coverage-index.d.ts.map

package/dist/sdd/validation/coverage-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-index.d.ts","sourceRoot":"","sources":["../../../src/sdd/validation/coverage-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAY,MAAM,oBAAoB,CAAA;AAElE,OAAO,EAAyB,KAAK,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAExF;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAA;IACjB,QAAQ,EAAE,OAAO,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;IACrB,YAAY,EAAE,MAAM,CAAA;IACpB,cAAc,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,gBAAgB,EAAE,MAAM,CAAA;IACxB,cAAc,EAAE,MAAM,CAAA;IACtB,gBAAgB,EAAE,MAAM,CAAA;IACxB,gBAAgB,EAAE,MAAM,CAAA;IACxB,UAAU,EAAE,iBAAiB,EAAE,CAAA;IAC/B,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,2BAA2B,CAAC,EAAE,MAAM,CAAA;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,oDAAoD;IACpD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,yEAAyE;IACzE,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,oDAAoD;IACpD,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED;;;;;;;;;GASG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAA4C;IAC5D,OAAO,CAAC,kBAAkB,CAAC,CAAQ;IACnC,OAAO,CAAC,yBAAyB,CAAC,CAAQ;IAC1C,OAAO,CAAC,uBAAuB,CAAsC;IAErE;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,qBAAqB,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI;IAyB3E;;OAEG;IACH,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI;IAQ/D;;OAEG;IACH,WAAW,IAAI,cAAc;IA+B7B;;OAEG;IACH,uBAAuB,IAAI,MAAM,EAAE;IAanC;;OAEG;IACH,qBAAqB,IAAI,MAAM,EAAE;IAMjC;;OAEG;IACH,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAKtC;;OAEG;IACH,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAI7C;;OAEG;IACH,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG;QAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE;IAQpG;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,cAAc,EACrB,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,mBAAmB;IAyBtB;;OAEG;IACH,0BAA0B,CACxB,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,GACxB;QAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;KAAE;IAoDjD;;OAEG;IACH,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAKvC;;OAEG;IACH,QAAQ,IAAI,IAAI;IAOhB;;OAEG;IACH,oBAAoB,IAAI,MAAM;CAwC/B"}

package/dist/sdd/validation/coverage-index.js

@@ -0,0 +1,251 @@
+import { GraphIndices } from "../graph/index.js";
+import { getAffectedSubsystems } from "./smart-validator.js";
+/**
+ * ValidationIndex: tracks coverage across validation runs and allows
+ * the AI to request verification in specific areas.
+ *
+ * The AI can:
+ * 1. Query what was already verified (getCoverage)
+ * 2. Request verification in unchecked areas (requestVerification)
+ * 3. Skip previously verified areas (skipVerified option)
+ * 4. Get a full coverage report (getCoverageReport)
+ */
+export class ValidationIndex {
+    coverage = new Map();
+    lastFullValidation;
+    lastIncrementalValidation;
+    nodeVerificationHistory = new Map(); // subsystem → verified node IDs
+    /**
+     * Record the result of a validation run.
+     */
+    recordValidation(result, duration_ms) {
+        const now = new Date().toISOString();
+        for (const subsystem of result.subsystems_checked) {
+            const existing = this.coverage.get(subsystem);
+            const nodesInSubsystem = result.nodes_checked; // Approximate
+            this.coverage.set(subsystem, {
+                subsystem,
+                verified: true,
+                nodes_checked: nodesInSubsystem,
+                errors_found: result.errors.length,
+                warnings_found: result.warnings.length,
+                verified_at: now,
+                duration_ms,
+            });
+        }
+        if (result.subsystems_checked.length >= 14) {
+            this.lastFullValidation = now;
+        }
+        else {
+            this.lastIncrementalValidation = now;
+        }
+    }
+    /**
+     * Record which specific nodes were verified in a subsystem.
+     */
+    recordNodesVerified(subsystem, nodeIds) {
+        const existing = this.nodeVerificationHistory.get(subsystem) || new Set();
+        for (const id of nodeIds) {
+            existing.add(id);
+        }
+        this.nodeVerificationHistory.set(subsystem, existing);
+    }
+    /**
+     * Get the current coverage report.
+     */
+    getCoverage() {
+        const allSubsystems = [
+            "structural", "references", "requirements", "features", "entities",
+            "endpoints", "api", "architecture", "cross-layer", "persistence",
+            "files", "semantic", "constitution", "completeness",
+        ];
+        const subsystems = allSubsystems.map(sub => {
+            const existing = this.coverage.get(sub);
+            return existing || {
+                subsystem: sub,
+                verified: false,
+                nodes_checked: 0,
+                errors_found: 0,
+                warnings_found: 0,
+            };
+        });
+        const verifiedCount = subsystems.filter(s => s.verified).length;
+        return {
+            total_subsystems: allSubsystems.length,
+            verified_count: verifiedCount,
+            unverified_count: allSubsystems.length - verifiedCount,
+            coverage_percent: Math.round((verifiedCount / allSubsystems.length) * 100),
+            subsystems,
+            last_full_validation: this.lastFullValidation,
+            last_incremental_validation: this.lastIncrementalValidation,
+        };
+    }
+    /**
+     * Get subsystems that haven't been verified yet.
+     */
+    getUnverifiedSubsystems() {
+        const allSubsystems = [
+            "structural", "references", "requirements", "features", "entities",
+            "endpoints", "api", "architecture", "cross-layer", "persistence",
+            "files", "semantic", "constitution", "completeness",
+        ];
+        return allSubsystems.filter(sub => {
+            const coverage = this.coverage.get(sub);
+            return !coverage || !coverage.verified;
+        });
+    }
+    /**
+     * Get subsystems that have been verified.
+     */
+    getVerifiedSubsystems() {
+        return [...this.coverage.entries()]
+            .filter(([_, c]) => c.verified)
+            .map(([sub, _]) => sub);
+    }
+    /**
+     * Check if a specific subsystem has been verified.
+     */
+    isVerified(subsystem) {
+        const coverage = this.coverage.get(subsystem);
+        return coverage?.verified === true;
+    }
+    /**
+     * Get the list of node IDs that were verified in a subsystem.
+     */
+    getVerifiedNodes(subsystem) {
+        return [...(this.nodeVerificationHistory.get(subsystem) || [])];
+    }
+    /**
+     * Check if specific nodes have been verified in a subsystem.
+     */
+    areNodesVerified(subsystem, nodeIds) {
+        const verified = this.nodeVerificationHistory.get(subsystem) || new Set();
+        return {
+            verified: nodeIds.filter(id => verified.has(id)),
+            unverified: nodeIds.filter(id => !verified.has(id)),
+        };
+    }
+    /**
+     * Build a verification request for unchecked areas.
+     * The AI can call this to get a smart request for what to verify next.
+     */
+    buildVerificationRequest(graph, dirtyNodeIds) {
+        const unverified = this.getUnverifiedSubsystems();
+        if (unverified.length === 0) {
+            // Everything verified — suggest a full re-validation
+            return { forceFull: true };
+        }
+        if (dirtyNodeIds && dirtyNodeIds.size > 0) {
+            // Use smart detection to find affected subsystems
+            const indices = GraphIndices.from(graph);
+            const { subsystems: affected } = getAffectedSubsystems(dirtyNodeIds, indices);
+            // Filter to only unverified affected subsystems
+            const toVerify = [...affected].filter(sub => unverified.includes(sub));
+            if (toVerify.length > 0) {
+                return { subsystems: toVerify, nodeIds: [...dirtyNodeIds] };
+            }
+        }
+        // No dirty nodes specified — suggest verifying all unverified subsystems
+        return { subsystems: unverified, skipVerified: true };
+    }
+    /**
+     * Process a verification request and return the subsystems to validate.
+     */
+    processVerificationRequest(request, graph, dirtyNodeIds) {
+        const indices = GraphIndices.from(graph);
+        if (request.forceFull) {
+            const allSubsystems = [
+                "structural", "references", "requirements", "features", "entities",
+                "endpoints", "api", "architecture", "cross-layer", "persistence",
+                "files", "semantic", "constitution", "completeness",
+            ];
+            return { subsystems: allSubsystems, nodeIds: new Set(graph.nodes.map(n => n.id)) };
+        }
+        // Start with auto-detected subsystems
+        let targetSubsystems = new Set();
+        const { subsystems: autoDetected, nodeIds: autoNodeIds } = getAffectedSubsystems(dirtyNodeIds, indices);
+        for (const sub of autoDetected) {
+            targetSubsystems.add(sub);
+        }
+        // Add explicitly requested subsystems
+        if (request.subsystems) {
+            for (const sub of request.subsystems) {
+                targetSubsystems.add(sub);
+            }
+        }
+        // Skip verified subsystems if requested
+        if (request.skipVerified) {
+            for (const sub of this.getVerifiedSubsystems()) {
+                targetSubsystems.delete(sub);
+            }
+        }
+        // Add explicitly requested node IDs
+        const targetNodeIds = new Set(autoNodeIds);
+        if (request.nodeIds) {
+            for (const id of request.nodeIds) {
+                targetNodeIds.add(id);
+            }
+        }
+        // Apply max nodes limit
+        if (request.maxNodes && targetNodeIds.size > request.maxNodes) {
+            const arr = [...targetNodeIds].slice(0, request.maxNodes);
+            return { subsystems: [...targetSubsystems], nodeIds: new Set(arr) };
+        }
+        return { subsystems: [...targetSubsystems], nodeIds: targetNodeIds };
+    }
+    /**
+     * Reset coverage for a specific subsystem (force re-verification).
+     */
+    resetSubsystem(subsystem) {
+        this.coverage.delete(subsystem);
+        this.nodeVerificationHistory.delete(subsystem);
+    }
+    /**
+     * Reset all coverage (full re-verification needed).
+     */
+    resetAll() {
+        this.coverage.clear();
+        this.nodeVerificationHistory.clear();
+        this.lastFullValidation = undefined;
+        this.lastIncrementalValidation = undefined;
+    }
+    /**
+     * Format a human-readable coverage report.
+     */
+    formatCoverageReport() {
+        const report = this.getCoverage();
+        const lines = [];
+        lines.push(`## Validation Coverage: ${report.coverage_percent}%\n`);
+        lines.push(`**Verified:** ${report.verified_count}/${report.total_subsystems} subsystems`);
+        lines.push(`**Unverified:** ${report.unverified_count}/${report.total_subsystems} subsystems\n`);
+        if (report.last_full_validation) {
+            lines.push(`**Last full validation:** ${report.last_full_validation}`);
+        }
+        if (report.last_incremental_validation) {
+            lines.push(`**Last incremental validation:** ${report.last_incremental_validation}`);
+        }
+        lines.push("");
+        // Verified subsystems
+        const verified = report.subsystems.filter(s => s.verified);
+        if (verified.length > 0) {
+            lines.push("### ✅ Verified");
+            for (const s of verified) {
+                const time = s.verified_at ? ` (${s.verified_at})` : "";
+                const errs = s.errors_found > 0 ? ` ⚠️ ${s.errors_found} errors` : "";
+                lines.push(`- **${s.subsystem}**${time}${errs}`);
+            }
+            lines.push("");
+        }
+        // Unverified subsystems
+        const unverified = report.subsystems.filter(s => !s.verified);
+        if (unverified.length > 0) {
+            lines.push("### ❌ Unverified");
+            for (const s of unverified) {
+                lines.push(`- **${s.subsystem}** — not yet checked`);
+            }
+            lines.push("");
+        }
+        return lines.join("\n");
+    }
+}
+//# sourceMappingURL=coverage-index.js.map

package/dist/sdd/validation/coverage-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-index.js","sourceRoot":"","sources":["../../../src/sdd/validation/coverage-index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,qBAAqB,EAA8B,MAAM,sBAAsB,CAAA;AA4CxF;;;;;;;;;GASG;AACH,MAAM,OAAO,eAAe;IAClB,QAAQ,GAAmC,IAAI,GAAG,EAAE,CAAA;IACpD,kBAAkB,CAAS;IAC3B,yBAAyB,CAAS;IAClC,uBAAuB,GAA6B,IAAI,GAAG,EAAE,CAAA,CAAC,gCAAgC;IAEtG;;OAEG;IACH,gBAAgB,CAAC,MAA6B,EAAE,WAAoB;QAClE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;QAEpC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC7C,MAAM,gBAAgB,GAAG,MAAM,CAAC,aAAa,CAAA,CAAC,cAAc;YAE5D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,aAAa,EAAE,gBAAgB;gBAC/B,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;gBAClC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;gBACtC,WAAW,EAAE,GAAG;gBAChB,WAAW;aACZ,CAAC,CAAA;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,kBAAkB,GAAG,GAAG,CAAA;QAC/B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,yBAAyB,GAAG,GAAG,CAAA;QACtC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,SAAiB,EAAE,OAAiB;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAE,CAAA;QACzE,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;YACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IACvD,CAAC;IAED;;OAEG;IACH,WAAW;QACT,MAAM,aAAa,GAAG;YACpB,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU;YAClE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa;YAChE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc;SACpD,CAAA;QAED,MAAM,UAAU,GAAwB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACvC,OAAO,QAAQ,IAAI;gBACjB,SAAS,EAAE,GAAG;gBACd,QAAQ,EAAE,KAAK;gBACf,aAAa,EAAE,CAAC;gBAChB,YAAY,EAAE,CAAC;gBACf,cAAc,EAAE,CAAC;aAClB,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAA;QAE/D,OAAO;YACL,gBAAgB,EAAE,aAAa,CAAC,MAAM;YACtC,cAAc,EAAE,aAAa;YAC7B,gBAAgB,EAAE,aAAa,CAAC,MAAM,GAAG,aAAa;YACtD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;YAC1E,UAAU;YACV,oBAAoB,EAAE,IAAI,CAAC,kBAAkB;YAC7C,2BAA2B,EAAE,IAAI,CAAC,yBAAyB;SAC5D,CAAA;IACH,CAAC;IAED;;OAEG;IACH,uBAAuB;QACrB,MAAM,aAAa,GAAG;YACpB,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU;YAClE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa;YAChE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc;SACpD,CAAA;QAED,OAAO,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACvC,OAAO,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAA;QACxC,CAAC,CAAC,CAAA;IACJ,CAAC;IAED;;OAEG;IACH,qBAAqB;QACnB,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;aAChC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;aAC9B,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAA;IAC3B,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,SAAiB;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC7C,OAAO,QAAQ,EAAE,QAAQ,KAAK,IAAI,CAAA;IACpC,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,SAAiB;QAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACjE,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,SAAiB,EAAE,OAAiB;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAE,CAAA;QACzE,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChD,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SACpD,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,wBAAwB,CACtB,KAAqB,EACrB,YAA0B;QAE1B,MAAM,UAAU,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAA;QAEjD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,qDAAqD;YACrD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;QAC5B,CAAC;QAED,IAAI,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC1C,kDAAkD;YAClD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACxC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;YAE7E,gDAAgD;YAChD,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YAEtE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,CAAA;YAC7D,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;IACvD,CAAC;IAED;;OAEG;IACH,0BAA0B,CACxB,OAA4B,EAC5B,KAAqB,EACrB,YAAyB;QAEzB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAExC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACtB,MAAM,aAAa,GAAG;gBACpB,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU;gBAClE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa;gBAChE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc;aACpD,CAAA;YACD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;QACpF,CAAC;QAED,sCAAsC;QACtC,IAAI,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,GACtD,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAE9C,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QAED,sCAAsC;QACtC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACrC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC3B,CAAC;QACH,CAAC;QAED,wCAAwC;QACxC,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;gBAC/C,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAC9B,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;QAC1C,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACjC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,IAAI,OAAO,CAAC,QAAQ,IAAI,aAAa,CAAC,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC9D,MAAM,GAAG,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;YACzD,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,gBAAgB,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAA;QACrE,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,gBAAgB,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAA;IACtE,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,SAAiB;QAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QAC/B,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAChD,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;QACrB,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAA;QACpC,IAAI,CAAC,kBAAkB,GAAG,SAAS,CAAA;QACnC,IAAI,CAAC,yBAAyB,GAAG,SAAS,CAAA;IAC5C,CAAC;IAED;;OAEG;IACH,oBAAoB;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QACjC,MAAM,KAAK,GAAa,EAAE,CAAA;QAE1B,KAAK,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,gBAAgB,KAAK,CAAC,CAAA;QACnE,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,gBAAgB,aAAa,CAAC,CAAA;QAC1F,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,eAAe,CAAC,CAAA;QAEhG,IAAI,MAAM,CAAC,oBAAoB,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,MAAM,CAAC,2BAA2B,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,oCAAoC,MAAM,CAAC,2BAA2B,EAAE,CAAC,CAAA;QACtF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAEd,sBAAsB;QACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QAC1D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;YAC5B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;gBACvD,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;gBACrE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,KAAK,IAAI,GAAG,IAAI,EAAE,CAAC,CAAA;YAClD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChB,CAAC;QAED,wBAAwB;QACxB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QAC7D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;YAC9B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,sBAAsB,CAAC,CAAA;YACtD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChB,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;CACF"}

package/dist/sdd/validation/executable.d.ts

@@ -0,0 +1,26 @@
+export interface ExecutableCheck {
+    name: string;
+    command: string[];
+    status: "passed" | "failed" | "skipped";
+    output: string;
+}
+export interface ExecutableValidationResult {
+    passed: boolean;
+    verified: boolean;
+    checks: ExecutableCheck[];
+    created_at: string;
+    /** Content fingerprint captured after verification, used to reject stale reports. */
+    project_fingerprint: string;
+}
+/**
+ * Hash source and manifest contents without including generated SDD reports or
+ * dependency trees. This makes a verification report invalid after code or
+ * configuration changes, while keeping completion checks reasonably cheap.
+ */
+export declare function computeProjectFingerprint(projectDir: string): string;
+/** Run only project-declared verification scripts; never invent a package manager command. */
+export declare function validateExecutableProject(projectDir: string): ExecutableValidationResult;
+export declare function isExecutableValidationCurrent(projectDir: string, result: ExecutableValidationResult): boolean;
+export declare function saveExecutableValidation(projectDir: string, changeId: string, result: ExecutableValidationResult): void;
+export declare function loadExecutableValidation(projectDir: string, changeId: string): ExecutableValidationResult | undefined;
+//# sourceMappingURL=executable.d.ts.map

package/dist/sdd/validation/executable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executable.d.ts","sourceRoot":"","sources":["../../../src/sdd/validation/executable.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAA;IACvC,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,OAAO,CAAA;IACf,QAAQ,EAAE,OAAO,CAAA;IACjB,MAAM,EAAE,eAAe,EAAE,CAAA;IACzB,UAAU,EAAE,MAAM,CAAA;IAClB,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAA;CAC5B;AAUD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAyBpE;AAED,8FAA8F;AAC9F,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,0BAA0B,CAiDxF;AAED,wBAAgB,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,0BAA0B,GAAG,OAAO,CAE7G;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,0BAA0B,GAAG,IAAI,CAIvH;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,0BAA0B,GAAG,SAAS,CAIrH"}

package/dist/sdd/validation/executable.js

@@ -0,0 +1,122 @@
+import { createHash } from "crypto";
+import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync } from "fs";
+import { join } from "path";
+function outputOf(value) {
+    return value ? new TextDecoder().decode(value).slice(-6000) : "";
+}
+const IGNORED_DIRECTORIES = new Set([
+    ".git", ".sdd", "node_modules", "dist", "build", "coverage", ".turbo",
+]);
+/**
+ * Hash source and manifest contents without including generated SDD reports or
+ * dependency trees. This makes a verification report invalid after code or
+ * configuration changes, while keeping completion checks reasonably cheap.
+ */
+export function computeProjectFingerprint(projectDir) {
+    const hash = createHash("sha256");
+    const files = [];
+    const visit = (directory) => {
+        let entries;
+        try {
+            entries = readdirSync(directory, { withFileTypes: true, encoding: "utf8" });
+        }
+        catch {
+            return;
+        }
+        for (const entry of entries) {
+            if (entry.name.startsWith(".") && entry.name !== ".env.example")
+                continue;
+            if (entry.isDirectory()) {
+                if (!IGNORED_DIRECTORIES.has(entry.name))
+                    visit(join(directory, entry.name));
+                continue;
+            }
+            if (entry.isFile())
+                files.push(join(directory, entry.name));
+        }
+    };
+    visit(projectDir);
+    files.sort();
+    for (const file of files) {
+        const relative = file.slice(projectDir.length + 1);
+        hash.update(relative);
+        try {
+            hash.update(readFileSync(file));
+        }
+        catch {
+            hash.update("<unreadable>");
+        }
+    }
+    return hash.digest("hex");
+}
+/** Run only project-declared verification scripts; never invent a package manager command. */
+export function validateExecutableProject(projectDir) {
+    const checks = [];
+    const packagePath = join(projectDir, "package.json");
+    if (!existsSync(packagePath)) {
+        return { passed: true, verified: false, checks: [{ name: "project scripts", command: [], status: "skipped", output: "package.json not found" }], created_at: new Date().toISOString(), project_fingerprint: computeProjectFingerprint(projectDir) };
+    }
+    let scripts = {};
+    try {
+        scripts = JSON.parse(readFileSync(packagePath, "utf-8")).scripts || {};
+    }
+    catch {
+        return { passed: false, verified: false, checks: [{ name: "package.json", command: [], status: "failed", output: "Invalid package.json" }], created_at: new Date().toISOString(), project_fingerprint: computeProjectFingerprint(projectDir) };
+    }
+    for (const name of ["format:check", "lint", "typecheck", "test"]) {
+        if (!scripts[name]) {
+            checks.push({ name, command: [], status: "skipped", output: "Script not declared" });
+            continue;
+        }
+        const command = ["bun", "run", name];
+        try {
+            const result = Bun.spawnSync({ cmd: command, cwd: projectDir, stdout: "pipe", stderr: "pipe" });
+            const output = [outputOf(result.stdout), outputOf(result.stderr)].filter(Boolean).join("\n");
+            checks.push({ name, command, status: result.exitCode === 0 ? "passed" : "failed", output });
+        }
+        catch (error) {
+            checks.push({ name, command, status: "failed", output: error instanceof Error ? error.message : String(error) });
+        }
+    }
+    // A whitespace-only diff catches malformed patches without requiring Git history.
+    if (existsSync(join(projectDir, ".git"))) {
+        const command = ["git", "diff", "--check"];
+        try {
+            const result = Bun.spawnSync({ cmd: command, cwd: projectDir, stdout: "pipe", stderr: "pipe" });
+            checks.push({ name: "diff", command, status: result.exitCode === 0 ? "passed" : "failed", output: [outputOf(result.stdout), outputOf(result.stderr)].filter(Boolean).join("\n") });
+        }
+        catch (error) {
+            checks.push({ name: "diff", command, status: "failed", output: error instanceof Error ? error.message : String(error) });
+        }
+    }
+    const declaredChecks = checks.filter((check) => check.command.length > 0);
+    const verified = declaredChecks.length > 0 && declaredChecks.every((check) => check.status === "passed");
+    return {
+        passed: checks.every((check) => check.status !== "failed"),
+        verified,
+        checks,
+        created_at: new Date().toISOString(),
+        project_fingerprint: computeProjectFingerprint(projectDir),
+    };
+}
+export function isExecutableValidationCurrent(projectDir, result) {
+    return Boolean(result.project_fingerprint) && result.project_fingerprint === computeProjectFingerprint(projectDir);
+}
+export function saveExecutableValidation(projectDir, changeId, result) {
+    const dir = join(projectDir, ".sdd", "verification");
+    if (!existsSync(dir))
+        mkdirSync(dir, { recursive: true });
+    writeFileSync(join(dir, `${changeId}.json`), JSON.stringify(result, null, 2), "utf-8");
+}
+export function loadExecutableValidation(projectDir, changeId) {
+    const file = join(projectDir, ".sdd", "verification", `${changeId}.json`);
+    if (!existsSync(file))
+        return undefined;
+    try {
+        return JSON.parse(readFileSync(file, "utf-8"));
+    }
+    catch {
+        return undefined;
+    }
+}
+//# sourceMappingURL=executable.js.map

package/dist/sdd/validation/executable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executable.js","sourceRoot":"","sources":["../../../src/sdd/validation/executable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;AACnC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,IAAI,CAAA;AACpF,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AAkB3B,SAAS,QAAQ,CAAC,KAA6B;IAC7C,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAClE,CAAC;AAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ;CACtE,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,UAAkB;IAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;IACjC,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAQ,EAAE;QACxC,IAAI,OAA2E,CAAA;QAC/E,IAAI,CAAC;YAAC,OAAO,GAAG,WAAW,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAM;QAAC,CAAC;QACpG,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;gBAAE,SAAQ;YACzE,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC5E,SAAQ;YACV,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QAC7D,CAAC;IACH,CAAC,CAAA;IAED,KAAK,CAAC,UAAU,CAAC,CAAA;IACjB,KAAK,CAAC,IAAI,EAAE,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QACrB,IAAI,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAA;QAAC,CAAC;IAC/E,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC3B,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,yBAAyB,CAAC,UAAkB;IAC1D,MAAM,MAAM,GAAsB,EAAE,CAAA;IACpC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IACpD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,mBAAmB,EAAE,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAA;IACrP,CAAC;IAED,IAAI,OAAO,GAA2B,EAAE,CAAA;IACxC,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAA;IACxE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,mBAAmB,EAAE,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAA;IAChP,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAA;YACpF,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACpC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;YAC/F,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC5F,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAA;QAC7F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAClH,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;QAC1C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;YAC/F,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACpL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC1H,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACzE,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAA;IACxG,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC1D,QAAQ;QACR,MAAM;QACN,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,mBAAmB,EAAE,yBAAyB,CAAC,UAAU,CAAC;KAC3D,CAAA;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,UAAkB,EAAE,MAAkC;IAClG,OAAO,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,MAAM,CAAC,mBAAmB,KAAK,yBAAyB,CAAC,UAAU,CAAC,CAAA;AACpH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,UAAkB,EAAE,QAAgB,EAAE,MAAkC;IAC/G,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,CAAA;IACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AACxF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,UAAkB,EAAE,QAAgB;IAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,OAAO,CAAC,CAAA;IACzE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAA;IACvC,IAAI,CAAC;QAAC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAA+B,CAAA;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,SAAS,CAAA;IAAC,CAAC;AACjH,CAAC"}

package/dist/sdd/validation/smart-validator.d.ts

@@ -0,0 +1,53 @@
+import type { KnowledgeGraph } from "../domain/types.js";
+import { GraphIndices } from "../graph/index.js";
+import { type ValidationResult, type ValidationPolicy } from "./validator.js";
+import { ValidationIndex } from "./coverage-index.js";
+/**
+ * Which validation subsystems exist and what they check.
+ */
+type ValidationSubsystem = "requirements" | "features" | "entities" | "endpoints" | "api" | "architecture" | "cross-layer" | "persistence" | "files" | "semantic" | "constitution" | "completeness" | "structural" | "references";
+/**
+ * Smart validation result with subsystem breakdown.
+ */
+export interface SmartValidationResult extends ValidationResult {
+    subsystems_checked: string[];
+    subsystems_skipped: string[];
+    nodes_checked: number;
+    nodes_skipped: number;
+}
+/**
+ * Options for controlling smart validation scope.
+ * The AI can use these to request additional subsystems or exclude specific ones.
+ */
+export interface SmartValidationOptions {
+    /** Additional subsystems to validate beyond what was automatically detected. */
+    additionalSubsystems?: ValidationSubsystem[];
+    /** Subsystems to skip even if they were automatically detected. */
+    excludeSubsystems?: ValidationSubsystem[];
+    /** If true, validate ALL subsystems (ignore auto-detection). */
+    validateAll?: boolean;
+    /** Maximum number of subsystems to validate (safety limit). */
+    maxSubsystems?: number;
+    /** Shared validation index for coverage tracking across runs. */
+    coverageIndex?: ValidationIndex;
+    /** Skip subsystems already verified in the coverage index. */
+    skipVerified?: boolean;
+    /** Project-level severity policy for semantic validation. */
+    policy?: ValidationPolicy;
+}
+/**
+ * Determine which subsystems are affected by a set of changed nodes.
+ */
+export declare function getAffectedSubsystems(dirtyNodeIds: Set<string>, indices: GraphIndices): {
+    subsystems: Set<ValidationSubsystem>;
+    nodeIds: Set<string>;
+};
+/**
+ * Smart validation: only checks subsystems affected by the changed nodes.
+ * Falls back to full validation if >50% of subsystems are affected.
+ *
+ * Uses GraphIndices for O(1) node lookups instead of O(n) array scans.
+ */
+export declare function validateSmart(graph: KnowledgeGraph, dirtyNodeIds: Set<string>, options?: SmartValidationOptions): SmartValidationResult;
+export {};
+//# sourceMappingURL=smart-validator.d.ts.map

package/dist/sdd/validation/smart-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-validator.d.ts","sourceRoot":"","sources":["../../../src/sdd/validation/smart-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAmC,MAAM,oBAAoB,CAAA;AACzF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAEL,KAAK,gBAAgB,EAGrB,KAAK,gBAAgB,EACtB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AA0BrD;;GAEG;AACH,KAAK,mBAAmB,GACpB,cAAc,GACd,UAAU,GACV,UAAU,GACV,WAAW,GACX,KAAK,GACL,cAAc,GACd,aAAa,GACb,aAAa,GACb,OAAO,GACP,UAAU,GACV,cAAc,GACd,cAAc,GACd,YAAY,GACZ,YAAY,CAAA;AAsBhB;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,gBAAgB;IAC7D,kBAAkB,EAAE,MAAM,EAAE,CAAA;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAA;IAC5B,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,gFAAgF;IAChF,oBAAoB,CAAC,EAAE,mBAAmB,EAAE,CAAA;IAC5C,mEAAmE;IACnE,iBAAiB,CAAC,EAAE,mBAAmB,EAAE,CAAA;IACzC,gEAAgE;IAChE,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,+DAA+D;IAC/D,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,iEAAiE;IACjE,aAAa,CAAC,EAAE,eAAe,CAAA;IAC/B,8DAA8D;IAC9D,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,6DAA6D;IAC7D,MAAM,CAAC,EAAE,gBAAgB,CAAA;CAC1B;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EACzB,OAAO,EAAE,YAAY,GACpB;IAAE,UAAU,EAAE,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE,CA4BhE;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EACzB,OAAO,CAAC,EAAE,sBAAsB,GAC/B,qBAAqB,CAsIvB"}