open-wiki-spec 0.1.0

package/dist/core/workflow/verify/correctness.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Correctness dimension checks.
+ * Operation validation matrix, stale detection, status transitions, schema match, drift.
+ */
+import type { VaultIndex, IndexRecord } from '../../../types/index.js';
+import type { VerifyIssue } from '../../../types/verify.js';
+/**
+ * Run the operation validation matrix for a Change's Delta Summary.
+ * Pre-apply: checks preconditions (requirement must/must not exist).
+ * Post-apply: checks postconditions (requirement state after apply).
+ */
+export declare function runOperationValidationMatrix(change: IndexRecord, index: VaultIndex): VerifyIssue[];
+/**
+ * Check for stale base_fingerprint values in Delta Summary entries.
+ * A stale base means another Change was applied since this Delta Summary was written.
+ */
+export declare function checkStaleBase(change: IndexRecord, index: VaultIndex): VerifyIssue[];
+/**
+ * Check status transition validity.
+ * Validates that prerequisites are met for the current status.
+ */
+export declare function checkStatusTransition(change: IndexRecord, index: VaultIndex): VerifyIssue[];
+/**
+ * Check that a note's schema_version matches the declared vault schema version.
+ */
+/**
+ * Check schema version consistency at the vault level.
+ * Note: The index build copies the vault's schema version onto every record,
+ * so per-record comparison is always a no-op. Instead, we surface index-level
+ * schema_mismatch warnings (e.g., missing schema.md).
+ */
+export declare function checkSchemaVersionMatch(_note: IndexRecord, _declaredVersion: string, index?: VaultIndex): VerifyIssue[];
+/**
+ * Check drift between Delta Summary and current Feature state based on Change status.
+ * Drift is acceptable during active work but is an error for applied Changes.
+ */
+export declare function checkDriftForStatus(change: IndexRecord, index: VaultIndex, coveredByMatrix?: Set<string>): VerifyIssue[];
+//# sourceMappingURL=correctness.d.ts.map

package/dist/core/workflow/verify/correctness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctness.d.ts","sourceRoot":"","sources":["../../../../src/core/workflow/verify/correctness.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAkKlG;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CA4CpF;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAoC3F;AAED;;GAEG;AACH;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,UAAU,GAAG,WAAW,EAAE,CAYvH;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,UAAU,EACjB,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC5B,WAAW,EAAE,CAiEf"}

package/dist/core/workflow/verify/correctness.js

@@ -0,0 +1,352 @@
+/**
+ * Run the operation validation matrix for a Change's Delta Summary.
+ * Pre-apply: checks preconditions (requirement must/must not exist).
+ * Post-apply: checks postconditions (requirement state after apply).
+ */
+export function runOperationValidationMatrix(change, index) {
+    const issues = [];
+    for (const entry of change.delta_summary) {
+        if (entry.target_type !== 'requirement')
+            continue;
+        const featureRecord = index.records.get(entry.target_note_id);
+        if (!featureRecord) {
+            issues.push({
+                dimension: 'correctness',
+                severity: 'error',
+                code: 'INVALID_FRONTMATTER_REF',
+                message: `Delta references non-existent Feature "${entry.target_note_id}"`,
+                note_id: change.id,
+                note_path: change.path,
+                suggestion: 'Check the target_note_id in the Delta Summary entry.',
+            });
+            continue;
+        }
+        const existingReqs = new Map(featureRecord.requirements.map((r) => [r.name, r]));
+        if (change.status === 'applied') {
+            // Post-apply validation
+            switch (entry.op) {
+                case 'ADDED':
+                    if (!existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_ADDED',
+                            message: `ADDED requirement "${entry.target_name}" not found in Feature after apply`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+                case 'MODIFIED': {
+                    const req = existingReqs.get(entry.target_name);
+                    if (!req) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_MODIFIED',
+                            message: `MODIFIED requirement "${entry.target_name}" not found in Feature after apply`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    else if (entry.base_fingerprint && req.content_hash === entry.base_fingerprint) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'warning',
+                            code: 'MODIFIED_NO_CHANGE',
+                            message: `MODIFIED requirement "${entry.target_name}" content_hash unchanged after apply`,
+                            note_id: change.id,
+                            note_path: change.path,
+                            suggestion: 'The requirement content was not actually changed. Consider removing this MODIFIED entry.',
+                        });
+                    }
+                    break;
+                }
+                case 'REMOVED':
+                    if (existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_REMOVED',
+                            message: `REMOVED requirement "${entry.target_name}" still exists in Feature after apply`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+                case 'RENAMED':
+                    if (existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_RENAMED',
+                            message: `RENAMED old name "${entry.target_name}" still exists in Feature`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    if (entry.new_name && !existingReqs.has(entry.new_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_RENAMED',
+                            message: `RENAMED new name "${entry.new_name}" not found in Feature`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+            }
+        }
+        else {
+            // Pre-apply validation (proposed/planned/in_progress)
+            switch (entry.op) {
+                case 'ADDED':
+                    if (existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_ADDED',
+                            message: `ADDED requirement "${entry.target_name}" already exists in Feature (pre-apply)`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+                case 'MODIFIED':
+                    if (!existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_MODIFIED',
+                            message: `MODIFIED requirement "${entry.target_name}" does not exist in Feature (pre-apply)`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+                case 'REMOVED':
+                    if (!existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_REMOVED',
+                            message: `REMOVED requirement "${entry.target_name}" does not exist in Feature (pre-apply)`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+                case 'RENAMED':
+                    if (!existingReqs.has(entry.target_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_RENAMED',
+                            message: `RENAMED old name "${entry.target_name}" does not exist in Feature`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    if (entry.new_name && existingReqs.has(entry.new_name)) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'DELTA_MISMATCH_RENAMED',
+                            message: `RENAMED new name "${entry.new_name}" already exists in Feature`,
+                            note_id: change.id,
+                            note_path: change.path,
+                        });
+                    }
+                    break;
+            }
+        }
+    }
+    return issues;
+}
+/**
+ * Check for stale base_fingerprint values in Delta Summary entries.
+ * A stale base means another Change was applied since this Delta Summary was written.
+ */
+export function checkStaleBase(change, index) {
+    const issues = [];
+    for (const entry of change.delta_summary) {
+        if (entry.op === 'ADDED')
+            continue;
+        if (entry.base_fingerprint === null) {
+            issues.push({
+                dimension: 'correctness',
+                severity: 'warning',
+                code: 'STALE_BASE',
+                message: `${entry.op} entry for "${entry.target_name}" has no base_fingerprint`,
+                note_id: change.id,
+                note_path: change.path,
+                suggestion: 'Add a base_fingerprint to track requirement content at the time of writing.',
+            });
+            continue;
+        }
+        // Migrated entries skip stale check (original base unknown)
+        if (entry.base_fingerprint === 'migrated') {
+            continue;
+        }
+        const featureRecord = index.records.get(entry.target_note_id);
+        if (!featureRecord)
+            continue; // Caught by ref resolution
+        const currentReq = featureRecord.requirements.find((r) => r.name === entry.target_name);
+        if (!currentReq)
+            continue; // Caught by operation validation
+        if (currentReq.content_hash !== entry.base_fingerprint) {
+            issues.push({
+                dimension: 'correctness',
+                severity: 'error',
+                code: 'STALE_BASE',
+                message: `${entry.op} "${entry.target_name}": base_fingerprint mismatch. Expected ${entry.base_fingerprint}, current is ${currentReq.content_hash}. Another Change may have been applied since this Delta Summary was written.`,
+                note_id: change.id,
+                note_path: change.path,
+                suggestion: 'Re-read the current Feature requirement and update the Delta Summary base_fingerprint.',
+            });
+        }
+    }
+    return issues;
+}
+/**
+ * Check status transition validity.
+ * Validates that prerequisites are met for the current status.
+ */
+export function checkStatusTransition(change, index) {
+    const issues = [];
+    if (change.status === 'planned') {
+        const missing = checkPlannedPrerequisites(change);
+        if (missing.length > 0) {
+            issues.push({
+                dimension: 'correctness',
+                severity: 'error',
+                code: 'INVALID_STATUS_TRANSITION',
+                message: `Change "${change.id}" is "planned" but missing prerequisites: ${missing.join(', ')}`,
+                note_id: change.id,
+                note_path: change.path,
+                suggestion: 'Fill in the missing sections before transitioning to planned.',
+            });
+        }
+    }
+    if (change.status === 'in_progress') {
+        for (const dep of change.depends_on) {
+            const depRecord = index.records.get(dep);
+            if (depRecord && depRecord.status !== 'applied') {
+                issues.push({
+                    dimension: 'correctness',
+                    severity: 'error',
+                    code: 'BROKEN_DEPENDS_ON',
+                    message: `Change "${change.id}" is "in_progress" but depends_on "${dep}" is "${depRecord.status}"`,
+                    note_id: change.id,
+                    note_path: change.path,
+                    suggestion: `Wait for "${dep}" to be applied before starting implementation.`,
+                });
+            }
+        }
+    }
+    return issues;
+}
+/**
+ * Check that a note's schema_version matches the declared vault schema version.
+ */
+/**
+ * Check schema version consistency at the vault level.
+ * Note: The index build copies the vault's schema version onto every record,
+ * so per-record comparison is always a no-op. Instead, we surface index-level
+ * schema_mismatch warnings (e.g., missing schema.md).
+ */
+export function checkSchemaVersionMatch(_note, _declaredVersion, index) {
+    if (!index)
+        return [];
+    return index.warnings
+        .filter((w) => w.type === 'schema_mismatch')
+        .map((w) => ({
+        dimension: 'correctness',
+        severity: 'error',
+        code: 'SCHEMA_MISMATCH',
+        message: w.message,
+        note_path: w.note_path,
+        suggestion: 'Create or fix wiki/00-meta/schema.md with a valid schema_version field.',
+    }));
+}
+/**
+ * Check drift between Delta Summary and current Feature state based on Change status.
+ * Drift is acceptable during active work but is an error for applied Changes.
+ */
+export function checkDriftForStatus(change, index, coveredByMatrix) {
+    const issues = [];
+    if (change.delta_summary.length === 0)
+        return issues;
+    for (const entry of change.delta_summary) {
+        if (entry.target_type !== 'requirement')
+            continue;
+        // Skip entries already covered by operation validation matrix
+        const entryKey = `${entry.target_note_id}::${entry.target_name}`;
+        if (coveredByMatrix?.has(entryKey))
+            continue;
+        const featureRecord = index.records.get(entry.target_note_id);
+        if (!featureRecord)
+            continue;
+        const existingReq = featureRecord.requirements.find((r) => r.name === entry.target_name);
+        switch (change.status) {
+            case 'proposed':
+            case 'planned':
+            case 'in_progress':
+                // Drift is expected/tolerated during active work
+                break;
+            case 'applied':
+                if (entry.op === 'ADDED' && !existingReq) {
+                    issues.push({
+                        dimension: 'correctness',
+                        severity: 'error',
+                        code: 'EXCESSIVE_DRIFT',
+                        message: `Change "${change.id}" is applied but ADDED requirement "${entry.target_name}" is missing from Feature "${entry.target_note_id}"`,
+                        note_id: change.id,
+                        note_path: change.path,
+                        suggestion: 'Either the Feature was not updated during apply, or the requirement was subsequently removed.',
+                    });
+                }
+                if (entry.op === 'REMOVED' && existingReq) {
+                    issues.push({
+                        dimension: 'correctness',
+                        severity: 'error',
+                        code: 'EXCESSIVE_DRIFT',
+                        message: `Change "${change.id}" is applied but REMOVED requirement "${entry.target_name}" still exists in Feature "${entry.target_note_id}"`,
+                        note_id: change.id,
+                        note_path: change.path,
+                        suggestion: 'The Feature was not updated during apply. Re-run apply or update manually.',
+                    });
+                }
+                if (entry.op === 'MODIFIED' && existingReq) {
+                    if (entry.base_fingerprint && existingReq.content_hash === entry.base_fingerprint) {
+                        issues.push({
+                            dimension: 'correctness',
+                            severity: 'error',
+                            code: 'EXCESSIVE_DRIFT',
+                            message: `Change "${change.id}" is applied but MODIFIED requirement "${entry.target_name}" content_hash is unchanged in Feature "${entry.target_note_id}"`,
+                            note_id: change.id,
+                            note_path: change.path,
+                            suggestion: 'The requirement was not actually modified during apply.',
+                        });
+                    }
+                }
+                break;
+        }
+    }
+    return issues;
+}
+/** Check hard prerequisites for planned status */
+function checkPlannedPrerequisites(change) {
+    const missing = [];
+    if (!change.headings.includes('Why'))
+        missing.push('Why section');
+    if (change.delta_summary.length === 0)
+        missing.push('Delta Summary');
+    if (change.tasks.length === 0)
+        missing.push('Tasks');
+    if (!change.headings.includes('Validation'))
+        missing.push('Validation section');
+    return missing;
+}
+//# sourceMappingURL=correctness.js.map

package/dist/core/workflow/verify/correctness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctness.js","sourceRoot":"","sources":["../../../../src/core/workflow/verify/correctness.ts"],"names":[],"mappings":"AAOA;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAmB,EAAE,KAAiB;IACjF,MAAM,MAAM,GAAkB,EAAE,CAAC;IAEjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,WAAW,KAAK,aAAa;YAAE,SAAS;QAElD,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC9D,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,aAAa;gBACxB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,0CAA0C,KAAK,CAAC,cAAc,GAAG;gBAC1E,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,UAAU,EAAE,sDAAsD;aACnE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjF,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,wBAAwB;YACxB,QAAQ,KAAK,CAAC,EAAE,EAAE,CAAC;gBACjB,KAAK,OAAO;oBACV,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACzC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,sBAAsB;4BAC5B,OAAO,EAAE,sBAAsB,KAAK,CAAC,WAAW,oCAAoC;4BACpF,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;oBAChD,IAAI,CAAC,GAAG,EAAE,CAAC;wBACT,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,yBAAyB;4BAC/B,OAAO,EAAE,yBAAyB,KAAK,CAAC,WAAW,oCAAoC;4BACvF,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,GAAG,CAAC,YAAY,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;wBACjF,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,SAAS;4BACnB,IAAI,EAAE,oBAAoB;4BAC1B,OAAO,EAAE,yBAAyB,KAAK,CAAC,WAAW,sCAAsC;4BACzF,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;4BACtB,UAAU,EAAE,0FAA0F;yBACvG,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,SAAS;oBACZ,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,wBAAwB,KAAK,CAAC,WAAW,uCAAuC;4BACzF,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,SAAS;oBACZ,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,qBAAqB,KAAK,CAAC,WAAW,2BAA2B;4BAC1E,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACxD,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,qBAAqB,KAAK,CAAC,QAAQ,wBAAwB;4BACpE,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;YACV,CAAC;QACH,CAAC;aAAM,CAAC;YACN,sDAAsD;YACtD,QAAQ,KAAK,CAAC,EAAE,EAAE,CAAC;gBACjB,KAAK,OAAO;oBACV,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,sBAAsB;4BAC5B,OAAO,EAAE,sBAAsB,KAAK,CAAC,WAAW,yCAAyC;4BACzF,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACzC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,yBAAyB;4BAC/B,OAAO,EAAE,yBAAyB,KAAK,CAAC,WAAW,yCAAyC;4BAC5F,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,SAAS;oBACZ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACzC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,wBAAwB,KAAK,CAAC,WAAW,yCAAyC;4BAC3F,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,SAAS;oBACZ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACzC,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,qBAAqB,KAAK,CAAC,WAAW,6BAA6B;4BAC5E,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,IAAI,KAAK,CAAC,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACvD,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,qBAAqB,KAAK,CAAC,QAAQ,6BAA6B;4BACzE,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;yBACvB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAmB,EAAE,KAAiB;IACnE,MAAM,MAAM,GAAkB,EAAE,CAAC;IAEjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,EAAE,KAAK,OAAO;YAAE,SAAS;QAEnC,IAAI,KAAK,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,aAAa;gBACxB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,eAAe,KAAK,CAAC,WAAW,2BAA2B;gBAC/E,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,UAAU,EAAE,6EAA6E;aAC1F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,4DAA4D;QAC5D,IAAI,KAAK,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC9D,IAAI,CAAC,aAAa;YAAE,SAAS,CAAC,2BAA2B;QAEzD,MAAM,UAAU,GAAG,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC;QACxF,IAAI,CAAC,UAAU;YAAE,SAAS,CAAC,iCAAiC;QAE5D,IAAI,UAAU,CAAC,YAAY,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,aAAa;gBACxB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,WAAW,0CAA0C,KAAK,CAAC,gBAAgB,gBAAgB,UAAU,CAAC,YAAY,8EAA8E;gBAC/N,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,UAAU,EAAE,wFAAwF;aACrG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAmB,EAAE,KAAiB;IAC1E,MAAM,MAAM,GAAkB,EAAE,CAAC;IAEjC,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,aAAa;gBACxB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,6CAA6C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC9F,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,UAAU,EAAE,+DAA+D;aAC5E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzC,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,CAAC;oBACV,SAAS,EAAE,aAAa;oBACxB,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,sCAAsC,GAAG,SAAS,SAAS,CAAC,MAAM,GAAG;oBAClG,OAAO,EAAE,MAAM,CAAC,EAAE;oBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;oBACtB,UAAU,EAAE,aAAa,GAAG,iDAAiD;iBAC9E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAkB,EAAE,gBAAwB,EAAE,KAAkB;IACtG,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,KAAK,CAAC,QAAQ;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,aAAsB;QACjC,QAAQ,EAAE,OAAgB;QAC1B,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,UAAU,EAAE,yEAAyE;KACtF,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAmB,EACnB,KAAiB,EACjB,eAA6B;IAE7B,MAAM,MAAM,GAAkB,EAAE,CAAC;IAEjC,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAErD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,WAAW,KAAK,aAAa;YAAE,SAAS;QAElD,8DAA8D;QAC9D,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;QACjE,IAAI,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAE7C,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC9D,IAAI,CAAC,aAAa;YAAE,SAAS;QAE7B,MAAM,WAAW,GAAG,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC;QAEzF,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;YACtB,KAAK,UAAU,CAAC;YAChB,KAAK,SAAS,CAAC;YACf,KAAK,aAAa;gBAChB,iDAAiD;gBACjD,MAAM;YAER,KAAK,SAAS;gBACZ,IAAI,KAAK,CAAC,EAAE,KAAK,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC;oBACzC,MAAM,CAAC,IAAI,CAAC;wBACV,SAAS,EAAE,aAAa;wBACxB,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,iBAAiB;wBACvB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,uCAAuC,KAAK,CAAC,WAAW,8BAA8B,KAAK,CAAC,cAAc,GAAG;wBAC1I,OAAO,EAAE,MAAM,CAAC,EAAE;wBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;wBACtB,UAAU,EAAE,+FAA+F;qBAC5G,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,IAAI,WAAW,EAAE,CAAC;oBAC1C,MAAM,CAAC,IAAI,CAAC;wBACV,SAAS,EAAE,aAAa;wBACxB,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,iBAAiB;wBACvB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,yCAAyC,KAAK,CAAC,WAAW,8BAA8B,KAAK,CAAC,cAAc,GAAG;wBAC5I,OAAO,EAAE,MAAM,CAAC,EAAE;wBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;wBACtB,UAAU,EAAE,4EAA4E;qBACzF,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,KAAK,CAAC,EAAE,KAAK,UAAU,IAAI,WAAW,EAAE,CAAC;oBAC3C,IAAI,KAAK,CAAC,gBAAgB,IAAI,WAAW,CAAC,YAAY,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;wBAClF,MAAM,CAAC,IAAI,CAAC;4BACV,SAAS,EAAE,aAAa;4BACxB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,iBAAiB;4BACvB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,0CAA0C,KAAK,CAAC,WAAW,2CAA2C,KAAK,CAAC,cAAc,GAAG;4BAC1J,OAAO,EAAE,MAAM,CAAC,EAAE;4BAClB,SAAS,EAAE,MAAM,CAAC,IAAI;4BACtB,UAAU,EAAE,yDAAyD;yBACtE,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kDAAkD;AAClD,SAAS,yBAAyB,CAAC,MAAmB;IACpD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAChF,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/core/workflow/verify/index.d.ts

@@ -0,0 +1,7 @@
+export { verify } from './verify.js';
+export type { VerifyOptions } from './verify.js';
+export { checkFeatureCompleteness, checkChangeCompleteness, checkMinimumSections, } from './completeness.js';
+export { runOperationValidationMatrix, checkStaleBase, checkStatusTransition, checkSchemaVersionMatch, checkDriftForStatus, } from './correctness.js';
+export { checkConflictsViaSequencing, checkDescriptionConsistency, checkDecisionConsistency, checkDependsOnConsistency, } from './coherence.js';
+export { duplicateIdCheck, missingIdCheck, unresolvedWikilinkCheck, ambiguousAliasCheck, orphanNoteCheck, archivePlacementCheck, invalidFrontmatterTypeCheck, resolveLink, } from './vault-integrity.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/workflow/verify/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/workflow/verify/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,4BAA4B,EAC5B,cAAc,EACd,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,mBAAmB,EACnB,eAAe,EACf,qBAAqB,EACrB,2BAA2B,EAC3B,WAAW,GACZ,MAAM,sBAAsB,CAAC"}

package/dist/core/workflow/verify/index.js

@@ -0,0 +1,6 @@
+export { verify } from './verify.js';
+export { checkFeatureCompleteness, checkChangeCompleteness, checkMinimumSections, } from './completeness.js';
+export { runOperationValidationMatrix, checkStaleBase, checkStatusTransition, checkSchemaVersionMatch, checkDriftForStatus, } from './correctness.js';
+export { checkConflictsViaSequencing, checkDescriptionConsistency, checkDecisionConsistency, checkDependsOnConsistency, } from './coherence.js';
+export { duplicateIdCheck, missingIdCheck, unresolvedWikilinkCheck, ambiguousAliasCheck, orphanNoteCheck, archivePlacementCheck, invalidFrontmatterTypeCheck, resolveLink, } from './vault-integrity.js';
+//# sourceMappingURL=index.js.map

package/dist/core/workflow/verify/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/workflow/verify/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,4BAA4B,EAC5B,cAAc,EACd,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,mBAAmB,EACnB,eAAe,EACf,qBAAqB,EACrB,2BAA2B,EAC3B,WAAW,GACZ,MAAM,sBAAsB,CAAC"}

package/dist/core/workflow/verify/vault-integrity.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Vault-wide structural integrity checks.
+ * These checks detect fundamental problems with vault structure
+ * that may affect other verification dimensions.
+ */
+import type { VaultIndex, IndexRecord } from '../../../types/index.js';
+import type { VerifyIssue } from '../../../types/verify.js';
+/**
+ * Convert index warnings of type 'duplicate_id' to VerifyIssues.
+ * Duplicate ids are already detected during index build.
+ */
+export declare function duplicateIdCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Convert index warnings of type 'missing_id' to VerifyIssues.
+ */
+export declare function missingIdCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Check for unresolved wikilinks in all notes.
+ * Wikilinks are resolved during index build; unresolved ones are recorded
+ * as index warnings of type 'unresolved_wikilink'. We surface those here.
+ */
+export declare function unresolvedWikilinkCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Convert index warnings of type 'ambiguous_alias' to VerifyIssues.
+ */
+export declare function ambiguousAliasCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Check for orphan notes (notes with no incoming or outgoing links).
+ * Meta files are excluded from this check.
+ */
+export declare function orphanNoteCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Check for notes in 99-archive/ that don't have 'applied' status.
+ */
+export declare function archivePlacementCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Convert index warnings of type 'invalid_frontmatter' to VerifyIssues.
+ */
+export declare function invalidFrontmatterTypeCheck(index: VaultIndex): VerifyIssue[];
+/**
+ * Resolve a wikilink target against the vault index.
+ * Checks id, title, and aliases.
+ */
+export declare function resolveLink(index: VaultIndex, link: string): IndexRecord | undefined;
+//# sourceMappingURL=vault-integrity.d.ts.map

package/dist/core/workflow/verify/vault-integrity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vault-integrity.d.ts","sourceRoot":"","sources":["../../../../src/core/workflow/verify/vault-integrity.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAWjE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAW/D;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAWxE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAWpE;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAiBhE;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAiBtE;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,EAAE,CAW5E;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAYpF"}

package/dist/core/workflow/verify/vault-integrity.js

@@ -0,0 +1,141 @@
+/**
+ * Convert index warnings of type 'duplicate_id' to VerifyIssues.
+ * Duplicate ids are already detected during index build.
+ */
+export function duplicateIdCheck(index) {
+    return index.warnings
+        .filter((w) => w.type === 'duplicate_id')
+        .map((w) => ({
+        dimension: 'vault_integrity',
+        severity: 'error',
+        code: 'DUPLICATE_ID',
+        message: w.message,
+        note_path: w.note_path,
+        suggestion: 'Each note must have a unique id. Rename one of the duplicates.',
+    }));
+}
+/**
+ * Convert index warnings of type 'missing_id' to VerifyIssues.
+ */
+export function missingIdCheck(index) {
+    return index.warnings
+        .filter((w) => w.type === 'missing_id')
+        .map((w) => ({
+        dimension: 'vault_integrity',
+        severity: 'error',
+        code: 'MISSING_ID',
+        message: w.message,
+        note_path: w.note_path,
+        suggestion: 'Every note must have a unique id field in its frontmatter.',
+    }));
+}
+/**
+ * Check for unresolved wikilinks in all notes.
+ * Wikilinks are resolved during index build; unresolved ones are recorded
+ * as index warnings of type 'unresolved_wikilink'. We surface those here.
+ */
+export function unresolvedWikilinkCheck(index) {
+    return index.warnings
+        .filter((w) => w.type === 'unresolved_wikilink')
+        .map((w) => ({
+        dimension: 'vault_integrity',
+        severity: 'error',
+        code: 'UNRESOLVED_WIKILINK',
+        message: w.message,
+        note_path: w.note_path,
+        suggestion: 'Create the missing note or fix the wikilink target.',
+    }));
+}
+/**
+ * Convert index warnings of type 'ambiguous_alias' to VerifyIssues.
+ */
+export function ambiguousAliasCheck(index) {
+    return index.warnings
+        .filter((w) => w.type === 'ambiguous_alias')
+        .map((w) => ({
+        dimension: 'vault_integrity',
+        severity: 'error',
+        code: 'AMBIGUOUS_ALIAS',
+        message: w.message,
+        note_path: w.note_path,
+        suggestion: 'Each alias must resolve to exactly one note. Remove or rename the duplicate alias.',
+    }));
+}
+/**
+ * Check for orphan notes (notes with no incoming or outgoing links).
+ * Meta files are excluded from this check.
+ */
+export function orphanNoteCheck(index) {
+    const issues = [];
+    for (const record of index.records.values()) {
+        if (record.path.startsWith('wiki/00-meta/'))
+            continue;
+        if (record.links_in.length === 0 && record.links_out.length === 0) {
+            issues.push({
+                dimension: 'vault_integrity',
+                severity: 'warning',
+                code: 'ORPHAN_NOTE',
+                message: `Note "${record.title}" (${record.path}) has no incoming or outgoing links`,
+                note_id: record.id,
+                note_path: record.path,
+                suggestion: 'Add wikilinks to connect this note to the vault graph.',
+            });
+        }
+    }
+    return issues;
+}
+/**
+ * Check for notes in 99-archive/ that don't have 'applied' status.
+ */
+export function archivePlacementCheck(index) {
+    const issues = [];
+    for (const record of index.records.values()) {
+        const isInArchive = record.path.startsWith('wiki/99-archive/');
+        if (isInArchive && record.status !== 'applied') {
+            issues.push({
+                dimension: 'vault_integrity',
+                severity: 'error',
+                code: 'ARCHIVE_PLACEMENT_ERROR',
+                message: `Note "${record.id}" in 99-archive/ has status "${record.status}" (expected "applied")`,
+                note_id: record.id,
+                note_path: record.path,
+                suggestion: 'Only applied changes should be in the archive. Move the note back or update its status.',
+            });
+        }
+    }
+    return issues;
+}
+/**
+ * Convert index warnings of type 'invalid_frontmatter' to VerifyIssues.
+ */
+export function invalidFrontmatterTypeCheck(index) {
+    return index.warnings
+        .filter((w) => w.type === 'invalid_frontmatter')
+        .map((w) => ({
+        dimension: 'vault_integrity',
+        severity: 'error',
+        code: 'INVALID_FRONTMATTER_TYPE',
+        message: w.message,
+        note_path: w.note_path,
+        suggestion: 'Fix the frontmatter YAML syntax or add missing required fields.',
+    }));
+}
+/**
+ * Resolve a wikilink target against the vault index.
+ * Checks id, title, and aliases.
+ */
+export function resolveLink(index, link) {
+    // Direct id match
+    const byId = index.records.get(link);
+    if (byId)
+        return byId;
+    // Title or alias match
+    for (const record of index.records.values()) {
+        if (record.title === link)
+            return record;
+        if (record.aliases.includes(link))
+            return record;
+    }
+    return undefined;
+}
+//# sourceMappingURL=vault-integrity.js.map

package/dist/core/workflow/verify/vault-integrity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vault-integrity.js","sourceRoot":"","sources":["../../../../src/core/workflow/verify/vault-integrity.ts"],"names":[],"mappings":"AAQA;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAiB;IAChD,OAAO,KAAK,CAAC,QAAQ;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;SACxC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,iBAA0B;QACrC,QAAQ,EAAE,OAAgB;QAC1B,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,UAAU,EAAE,gEAAgE;KAC7E,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAiB;IAC9C,OAAO,KAAK,CAAC,QAAQ;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,iBAA0B;QACrC,QAAQ,EAAE,OAAgB;QAC1B,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,UAAU,EAAE,4DAA4D;KACzE,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAiB;IACvD,OAAO,KAAK,CAAC,QAAQ;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,iBAA0B;QACrC,QAAQ,EAAE,OAAgB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,UAAU,EAAE,qDAAqD;KAClE,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAiB;IACnD,OAAO,KAAK,CAAC,QAAQ;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,iBAA0B;QACrC,QAAQ,EAAE,OAAgB;QAC1B,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,UAAU,EAAE,oFAAoF;KACjG,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAiB;IAC/C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,SAAS;QACtD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,iBAAiB;gBAC5B,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,SAAS,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,IAAI,qCAAqC;gBACpF,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,UAAU,EAAE,wDAAwD;aACrE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAiB;IACrD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC/D,IAAI,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,iBAAiB;gBAC5B,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,SAAS,MAAM,CAAC,EAAE,gCAAgC,MAAM,CAAC,MAAM,wBAAwB;gBAChG,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,UAAU,EAAE,yFAAyF;aACtG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAiB;IAC3D,OAAO,KAAK,CAAC,QAAQ;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,iBAA0B;QACrC,QAAQ,EAAE,OAAgB;QAC1B,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,UAAU,EAAE,iEAAiE;KAC9E,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,KAAiB,EAAE,IAAY;IACzD,kBAAkB;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtB,uBAAuB;IACvB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QACzC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;IACnD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}