@organon-methodology/tools 0.3.0

package/dist/core/invariant-coverage.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Invariant coverage analysis.
+ *
+ * Extracts invariant IDs from ETHOS.md frontmatter (type: constraints)
+ * and scans test files for @organon-invariant annotations to compute
+ * coverage: which invariants have tests, which don't, and which are
+ * marked as judgment calls (requiring human review, not automated tests).
+ */
+import type { FileSystem, InvariantCoverageResult, InvariantEntry, OrganonConfig } from './types.js';
+export interface ExtractedInvariant extends InvariantEntry {
+    file: string;
+}
+/**
+ * Extract invariant entries from all type: constraints files.
+ */
+export declare function extractInvariants(files: Array<{
+    path: string;
+    frontmatter: {
+        type?: string;
+        invariants?: InvariantEntry[];
+    } | null;
+}>): ExtractedInvariant[];
+/**
+ * Scan test files for @organon-invariant annotations.
+ * Returns a map: invariant ID → list of "file:line" references.
+ */
+export declare function scanTestAnnotations(fs: FileSystem, projectRoot: string, config: OrganonConfig): Promise<Map<string, string[]>>;
+/**
+ * Compute coverage by joining invariants with test annotations.
+ */
+export declare function computeCoverage(invariants: ExtractedInvariant[], annotations: Map<string, string[]>): InvariantCoverageResult;
+/**
+ * Full coverage pipeline: discover organon files, extract invariants,
+ * scan tests, compute coverage.
+ */
+export declare function computeInvariantCoverage(options: {
+    projectRoot: string;
+    config: OrganonConfig;
+    fs: FileSystem;
+}): Promise<InvariantCoverageResult>;
+//# sourceMappingURL=invariant-coverage.d.ts.map

package/dist/core/invariant-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-coverage.d.ts","sourceRoot":"","sources":["../../src/core/invariant-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAEV,UAAU,EAEV,uBAAuB,EACvB,cAAc,EACd,aAAa,EACd,MAAM,YAAY,CAAC;AAuBpB,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACxD,IAAI,EAAE,MAAM,CAAC;CACd;AAMD;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,cAAc,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,CAAC,GACnG,kBAAkB,EAAE,CAUtB;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,EAAE,EAAE,UAAU,EACd,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAmChC;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GACjC,uBAAuB,CA6DzB;AAED;;;GAGG;AACH,wBAAsB,wBAAwB,CAAC,OAAO,EAAE;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;IACtB,EAAE,EAAE,UAAU,CAAC;CAChB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAgCnC"}

package/dist/core/invariant-coverage.js

@@ -0,0 +1,181 @@
+/**
+ * Invariant coverage analysis.
+ *
+ * Extracts invariant IDs from ETHOS.md frontmatter (type: constraints)
+ * and scans test files for @organon-invariant annotations to compute
+ * coverage: which invariants have tests, which don't, and which are
+ * marked as judgment calls (requiring human review, not automated tests).
+ */
+import { parseFrontmatter } from './frontmatter-parser.js';
+import { joinPath } from './config.js';
+// ---------------------------------------------------------------------------
+// Constants
+// ---------------------------------------------------------------------------
+const DEFAULT_TEST_GLOBS = [
+    '**/*.test.ts',
+    '**/*.test.js',
+    '**/*.test.tsx',
+    '**/*.test.jsx',
+    '**/*.spec.ts',
+    '**/*.spec.js',
+    '**/test_*.py',
+    '**/*_test.go',
+];
+const ANNOTATION_RE = /@organon-invariant\s+(INV-[\w-]+(?:\s+INV-[\w-]+)*)/g;
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Extract invariant entries from all type: constraints files.
+ */
+export function extractInvariants(files) {
+    const result = [];
+    for (const file of files) {
+        if (file.frontmatter?.type !== 'constraints')
+            continue;
+        if (!file.frontmatter.invariants)
+            continue;
+        for (const inv of file.frontmatter.invariants) {
+            result.push({ ...inv, file: file.path });
+        }
+    }
+    return result;
+}
+/**
+ * Scan test files for @organon-invariant annotations.
+ * Returns a map: invariant ID → list of "file:line" references.
+ */
+export async function scanTestAnnotations(fs, projectRoot, config) {
+    const testGlobs = config.testGlobs ?? DEFAULT_TEST_GLOBS;
+    const ignorePatterns = config.testIgnorePatterns ?? config.ignorePatterns;
+    const annotations = new Map();
+    for (const pattern of testGlobs) {
+        const files = await fs.glob(pattern, { cwd: projectRoot, ignore: ignorePatterns });
+        for (const file of files) {
+            const absPath = joinPath(projectRoot, file);
+            let content;
+            try {
+                content = await fs.readFile(absPath);
+            }
+            catch {
+                continue;
+            }
+            const lines = content.split('\n');
+            for (let i = 0; i < lines.length; i++) {
+                const line = lines[i];
+                let match;
+                // Reset regex state for each line
+                ANNOTATION_RE.lastIndex = 0;
+                while ((match = ANNOTATION_RE.exec(line)) !== null) {
+                    const ids = match[1].split(/\s+/);
+                    for (const id of ids) {
+                        const refs = annotations.get(id) ?? [];
+                        refs.push(`${file}:${i + 1}`);
+                        annotations.set(id, refs);
+                    }
+                }
+            }
+        }
+    }
+    return annotations;
+}
+/**
+ * Compute coverage by joining invariants with test annotations.
+ */
+export function computeCoverage(invariants, annotations) {
+    const errors = [];
+    const warnings = [];
+    const entries = [];
+    let covered = 0;
+    let uncovered = 0;
+    let judgmentCall = 0;
+    for (const inv of invariants) {
+        const tests = annotations.get(inv.id) ?? [];
+        if (inv.judgment_call) {
+            entries.push({
+                id: inv.id,
+                name: inv.name,
+                file: inv.file,
+                status: 'judgment_call',
+                tests,
+            });
+            judgmentCall++;
+        }
+        else if (tests.length > 0) {
+            entries.push({
+                id: inv.id,
+                name: inv.name,
+                file: inv.file,
+                status: 'covered',
+                tests,
+            });
+            covered++;
+        }
+        else {
+            entries.push({
+                id: inv.id,
+                name: inv.name,
+                file: inv.file,
+                status: 'uncovered',
+                tests: [],
+            });
+            uncovered++;
+            errors.push({
+                severity: 'error',
+                code: 'INVARIANT_UNCOVERED',
+                message: `Invariant ${inv.id} (${inv.name}) has no test with @organon-invariant annotation`,
+                file: inv.file,
+                suggestion: `Add a test with // @organon-invariant ${inv.id} comment`,
+            });
+        }
+    }
+    return {
+        success: uncovered === 0,
+        invariants: entries,
+        summary: {
+            total: invariants.length,
+            covered,
+            uncovered,
+            judgment_call: judgmentCall,
+        },
+        errors,
+        warnings,
+    };
+}
+/**
+ * Full coverage pipeline: discover organon files, extract invariants,
+ * scan tests, compute coverage.
+ */
+export async function computeInvariantCoverage(options) {
+    const { projectRoot, config, fs: fileSystem } = options;
+    // Discover organon files and parse frontmatter (deduplicate by path)
+    const seenPaths = new Set();
+    const parsedFiles = [];
+    for (const organonPath of config.organonPaths) {
+        for (const pattern of config.organonGlobs) {
+            const fullPattern = organonPath === '.' ? pattern : `${organonPath}/${pattern}`;
+            const matches = await fileSystem.glob(fullPattern, {
+                cwd: projectRoot,
+                ignore: config.ignorePatterns,
+            });
+            for (const file of matches) {
+                if (seenPaths.has(file))
+                    continue;
+                seenPaths.add(file);
+                const absPath = joinPath(projectRoot, file);
+                try {
+                    const content = await fileSystem.readFile(absPath);
+                    const { frontmatter } = parseFrontmatter(content);
+                    parsedFiles.push({ path: file, frontmatter });
+                }
+                catch {
+                    // Skip unreadable files
+                }
+            }
+        }
+    }
+    const invariants = extractInvariants(parsedFiles);
+    const annotations = await scanTestAnnotations(fileSystem, projectRoot, config);
+    return computeCoverage(invariants, annotations);
+}
+//# sourceMappingURL=invariant-coverage.js.map

package/dist/core/invariant-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-coverage.js","sourceRoot":"","sources":["../../src/core/invariant-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAUvC,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG;IACzB,cAAc;IACd,cAAc;IACd,eAAe;IACf,eAAe;IACf,cAAc;IACd,cAAc;IACd,cAAc;IACd,cAAc;CACf,CAAC;AAEF,MAAM,aAAa,GAAG,sDAAsD,CAAC;AAU7E,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAoG;IAEpG,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,aAAa;YAAE,SAAS;QACvD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;YAAE,SAAS;QAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,EAAc,EACd,WAAmB,EACnB,MAAqB;IAErB,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,kBAAkB,CAAC;IACzD,MAAM,cAAc,GAAG,MAAM,CAAC,kBAAkB,IAAI,MAAM,CAAC,cAAc,CAAC;IAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEhD,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;QACnF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC5C,IAAI,OAAe,CAAC;YACpB,IAAI,CAAC;gBACH,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACvC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,KAA6B,CAAC;gBAClC,kCAAkC;gBAClC,aAAa,CAAC,SAAS,GAAG,CAAC,CAAC;gBAC5B,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBACnD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAClC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;wBACrB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;wBACvC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;wBAC9B,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;oBAC5B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAgC,EAChC,WAAkC;IAElC,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,OAAO,GAA6B,EAAE,CAAC;IAE7C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAE5C,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,eAAe;gBACvB,KAAK;aACN,CAAC,CAAC;YACH,YAAY,EAAE,CAAC;QACjB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,SAAS;gBACjB,KAAK;aACN,CAAC,CAAC;YACH,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,WAAW;gBACnB,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;YACH,SAAS,EAAE,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,aAAa,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,kDAAkD;gBAC3F,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,UAAU,EAAE,yCAAyC,GAAG,CAAC,EAAE,UAAU;aACtE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,SAAS,KAAK,CAAC;QACxB,UAAU,EAAE,OAAO;QACnB,OAAO,EAAE;YACP,KAAK,EAAE,UAAU,CAAC,MAAM;YACxB,OAAO;YACP,SAAS;YACT,aAAa,EAAE,YAAY;SAC5B;QACD,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,OAI9C;IACC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAExD,qEAAqE;IACrE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,WAAW,GAAkG,EAAE,CAAC;IAEtH,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QAC9C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,OAAO,EAAE,CAAC;YAChF,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE;gBACjD,GAAG,EAAE,WAAW;gBAChB,MAAM,EAAE,MAAM,CAAC,cAAc;aAC9B,CAAC,CAAC;YACH,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAClC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpB,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAC5C,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;oBACnD,MAAM,EAAE,WAAW,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;oBAClD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;gBAChD,CAAC;gBAAC,MAAM,CAAC;oBACP,wBAAwB;gBAC1B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,MAAM,mBAAmB,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAC/E,OAAO,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AAClD,CAAC"}

package/dist/core/invariant-coverage.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=invariant-coverage.test.d.ts.map

package/dist/core/invariant-coverage.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-coverage.test.d.ts","sourceRoot":"","sources":["../../src/core/invariant-coverage.test.ts"],"names":[],"mappings":""}

package/dist/core/invariant-coverage.test.js

@@ -0,0 +1,188 @@
+import { describe, it, expect } from 'vitest';
+import { extractInvariants, scanTestAnnotations, computeCoverage, computeInvariantCoverage } from './invariant-coverage.js';
+import { MemoryFileSystem, makeEthos } from './test-helpers.js';
+function makeConfig(projectRoot) {
+    return {
+        projectRoot,
+        organonPaths: ['.'],
+        organonGlobs: ['**/ETHOS.md'],
+        ignorePatterns: ['node_modules/**'],
+        workflowPaths: {},
+        freshnessThresholdHours: 24,
+    };
+}
+describe('extractInvariants', () => {
+    it('extracts invariants from constraints files', () => {
+        const files = [
+            {
+                path: 'ETHOS.md',
+                frontmatter: {
+                    type: 'constraints',
+                    invariants: [
+                        { id: 'INV-META-1', name: 'ethos-required' },
+                        { id: 'INV-META-2', name: 'identity-first', judgment_call: true },
+                    ],
+                },
+            },
+        ];
+        const result = extractInvariants(files);
+        expect(result).toHaveLength(2);
+        expect(result[0]).toEqual({ id: 'INV-META-1', name: 'ethos-required', file: 'ETHOS.md' });
+        expect(result[1]).toEqual({ id: 'INV-META-2', name: 'identity-first', judgment_call: true, file: 'ETHOS.md' });
+    });
+    it('ignores non-constraints files', () => {
+        const files = [
+            {
+                path: 'PHILOSOPHY.md',
+                frontmatter: {
+                    type: 'rationale',
+                    invariants: [{ id: 'INV-X-1', name: 'should-not-appear' }],
+                },
+            },
+        ];
+        const result = extractInvariants(files);
+        expect(result).toHaveLength(0);
+    });
+    it('handles files with no invariants array', () => {
+        const files = [
+            {
+                path: 'ETHOS.md',
+                frontmatter: { type: 'constraints' },
+            },
+        ];
+        const result = extractInvariants(files);
+        expect(result).toHaveLength(0);
+    });
+    it('handles files with null frontmatter', () => {
+        const files = [{ path: 'ETHOS.md', frontmatter: null }];
+        const result = extractInvariants(files);
+        expect(result).toHaveLength(0);
+    });
+});
+describe('scanTestAnnotations', () => {
+    it('finds annotations in test files', async () => {
+        const fs = new MemoryFileSystem({
+            '/project/src/core/verify.test.ts': `import { describe, it } from 'vitest';
+// @organon-invariant INV-META-1
+it('ethos is required', () => {
+  expect(true).toBe(true);
+});`,
+        });
+        const config = makeConfig('/project');
+        const result = await scanTestAnnotations(fs, '/project', config);
+        expect(result.get('INV-META-1')).toEqual(['src/core/verify.test.ts:2']);
+    });
+    it('handles multiple IDs on one line', async () => {
+        const fs = new MemoryFileSystem({
+            '/project/src/test.test.ts': `// @organon-invariant INV-META-1 INV-META-2
+it('tests both', () => {});`,
+        });
+        const config = makeConfig('/project');
+        const result = await scanTestAnnotations(fs, '/project', config);
+        expect(result.get('INV-META-1')).toEqual(['src/test.test.ts:1']);
+        expect(result.get('INV-META-2')).toEqual(['src/test.test.ts:1']);
+    });
+    it('finds annotations across multiple files', async () => {
+        const fs = new MemoryFileSystem({
+            '/project/src/a.test.ts': `// @organon-invariant INV-META-1
+it('test a', () => {});`,
+            '/project/src/b.test.ts': `// @organon-invariant INV-META-1
+it('test b', () => {});`,
+        });
+        const config = makeConfig('/project');
+        const result = await scanTestAnnotations(fs, '/project', config);
+        expect(result.get('INV-META-1')).toHaveLength(2);
+    });
+    it('returns empty map when no test files exist', async () => {
+        const fs = new MemoryFileSystem({});
+        const config = makeConfig('/project');
+        const result = await scanTestAnnotations(fs, '/project', config);
+        expect(result.size).toBe(0);
+    });
+});
+describe('computeCoverage', () => {
+    it('classifies covered invariants', () => {
+        const invariants = [
+            { id: 'INV-META-1', name: 'ethos-required', file: 'ETHOS.md' },
+        ];
+        const annotations = new Map([['INV-META-1', ['test.ts:5']]]);
+        const result = computeCoverage(invariants, annotations);
+        expect(result.success).toBe(true);
+        expect(result.invariants[0].status).toBe('covered');
+        expect(result.summary.covered).toBe(1);
+        expect(result.summary.uncovered).toBe(0);
+    });
+    it('classifies uncovered invariants', () => {
+        const invariants = [
+            { id: 'INV-META-1', name: 'ethos-required', file: 'ETHOS.md' },
+        ];
+        const annotations = new Map();
+        const result = computeCoverage(invariants, annotations);
+        expect(result.success).toBe(false);
+        expect(result.invariants[0].status).toBe('uncovered');
+        expect(result.summary.uncovered).toBe(1);
+        expect(result.errors).toContainEqual(expect.objectContaining({ code: 'INVARIANT_UNCOVERED' }));
+    });
+    it('classifies judgment_call invariants', () => {
+        const invariants = [
+            { id: 'INV-META-2', name: 'identity-first', judgment_call: true, file: 'ETHOS.md' },
+        ];
+        const annotations = new Map();
+        const result = computeCoverage(invariants, annotations);
+        expect(result.success).toBe(true);
+        expect(result.invariants[0].status).toBe('judgment_call');
+        expect(result.summary.judgment_call).toBe(1);
+        expect(result.summary.uncovered).toBe(0);
+    });
+    it('reports success when all non-judgment invariants are covered', () => {
+        const invariants = [
+            { id: 'INV-META-1', name: 'ethos-required', file: 'ETHOS.md' },
+            { id: 'INV-META-2', name: 'identity-first', judgment_call: true, file: 'ETHOS.md' },
+            { id: 'INV-META-3', name: 'principles-prioritized', file: 'ETHOS.md' },
+        ];
+        const annotations = new Map([
+            ['INV-META-1', ['a.test.ts:1']],
+            ['INV-META-3', ['b.test.ts:2']],
+        ]);
+        const result = computeCoverage(invariants, annotations);
+        expect(result.success).toBe(true);
+        expect(result.summary).toEqual({ total: 3, covered: 2, uncovered: 0, judgment_call: 1 });
+    });
+    it('reports failure when any non-judgment invariant is uncovered', () => {
+        const invariants = [
+            { id: 'INV-META-1', name: 'ethos-required', file: 'ETHOS.md' },
+            { id: 'INV-META-2', name: 'identity-first', judgment_call: true, file: 'ETHOS.md' },
+            { id: 'INV-META-3', name: 'uncovered-one', file: 'ETHOS.md' },
+        ];
+        const annotations = new Map([
+            ['INV-META-1', ['a.test.ts:1']],
+        ]);
+        const result = computeCoverage(invariants, annotations);
+        expect(result.success).toBe(false);
+        expect(result.summary.uncovered).toBe(1);
+    });
+});
+describe('computeInvariantCoverage (integration)', () => {
+    it('runs the full pipeline', async () => {
+        const ethosContent = makeEthos({
+            name: 'test',
+            scope: 'meta',
+            extra: {
+                invariants: `\n  - id: INV-TEST-1\n    name: rule-one\n  - id: INV-TEST-2\n    name: rule-two\n    judgment_call: true`,
+            },
+        });
+        const fs = new MemoryFileSystem({
+            '/project/ETHOS.md': ethosContent,
+            '/project/src/core/check.test.ts': `// @organon-invariant INV-TEST-1
+it('tests rule one', () => {});`,
+        });
+        const config = makeConfig('/project');
+        const result = await computeInvariantCoverage({ projectRoot: '/project', config, fs });
+        expect(result.success).toBe(true);
+        expect(result.summary.total).toBe(2);
+        expect(result.summary.covered).toBe(1);
+        expect(result.summary.judgment_call).toBe(1);
+        expect(result.summary.uncovered).toBe(0);
+    });
+});
+//# sourceMappingURL=invariant-coverage.test.js.map

package/dist/core/invariant-coverage.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-coverage.test.js","sourceRoot":"","sources":["../../src/core/invariant-coverage.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAC5H,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGhE,SAAS,UAAU,CAAC,WAAmB;IACrC,OAAO;QACL,WAAW;QACX,YAAY,EAAE,CAAC,GAAG,CAAC;QACnB,YAAY,EAAE,CAAC,aAAa,CAAC;QAC7B,cAAc,EAAE,CAAC,iBAAiB,CAAC;QACnC,aAAa,EAAE,EAAE;QACjB,uBAAuB,EAAE,EAAE;KAC5B,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG;YACZ;gBACE,IAAI,EAAE,UAAU;gBAChB,WAAW,EAAE;oBACX,IAAI,EAAE,aAAsB;oBAC5B,UAAU,EAAE;wBACV,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE;wBAC5C,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,EAAE;qBAClE;iBACF;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG;YACZ;gBACE,IAAI,EAAE,eAAe;gBACrB,WAAW,EAAE;oBACX,IAAI,EAAE,WAAoB;oBAC1B,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;iBAC3D;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG;YACZ;gBACE,IAAI,EAAE,UAAU;gBAChB,WAAW,EAAE,EAAE,IAAI,EAAE,aAAsB,EAAE;aAC9C;SACF,CAAC;QACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC;YAC9B,kCAAkC,EAAE;;;;IAItC;SACC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC;YAC9B,2BAA2B,EAAE;4BACP;SACvB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC;YAC9B,wBAAwB,EAAE;wBACR;YAClB,wBAAwB,EAAE;wBACR;SACnB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,UAAU,GAAG;YACjB,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE;SAC/D,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,UAAU,GAAG;YACjB,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE;SAC/D,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAChD,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,cAAc,CAClC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC,CACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,UAAU,GAAG;YACjB,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;SACpF,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAChD,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,UAAU,GAAG;YACjB,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE;YAC9D,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACnF,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,UAAU,EAAE;SACvE,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;YAC1B,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,CAAC;YAC/B,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,CAAC;SAChC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,UAAU,GAAG;YACjB,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE;YAC9D,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACnF,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE;SAC9D,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;YAC1B,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,CAAC;SAChC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,YAAY,GAAG,SAAS,CAAC;YAC7B,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,MAAM;YACb,KAAK,EAAE;gBACL,UAAU,EAAE,2GAA2G;aACxH;SACF,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC;YAC9B,mBAAmB,EAAE,YAAY;YACjC,iCAAiC,EAAE;gCACT;SAC3B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACvF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/meta-invariants.test.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Structural invariant tests for META-organon and project-level (ORG) invariants.
+ *
+ * These scan the actual repository to verify structural constraints hold.
+ *
+ * @organon-invariant INV-META-3 principles-prioritized
+ * @organon-invariant INV-META-6 every-file-has-frontmatter
+ * @organon-invariant INV-META-7 standardized-section-headings
+ * @organon-invariant INV-META-9 enforcement-loop-closable
+ * @organon-invariant INV-ORG-1 dogfood-methodology
+ * @organon-invariant INV-ORG-2 code-is-source-of-truth
+ * @organon-invariant INV-ORG-3 every-file-has-frontmatter
+ * @organon-invariant INV-ORG-4 three-artifact-separation
+ * @organon-invariant INV-ORG-6 bidirectional-references
+ */
+export {};
+//# sourceMappingURL=meta-invariants.test.d.ts.map

package/dist/core/meta-invariants.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-invariants.test.d.ts","sourceRoot":"","sources":["../../src/core/meta-invariants.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG"}

package/dist/core/meta-invariants.test.js

@@ -0,0 +1,191 @@
+/**
+ * Structural invariant tests for META-organon and project-level (ORG) invariants.
+ *
+ * These scan the actual repository to verify structural constraints hold.
+ *
+ * @organon-invariant INV-META-3 principles-prioritized
+ * @organon-invariant INV-META-6 every-file-has-frontmatter
+ * @organon-invariant INV-META-7 standardized-section-headings
+ * @organon-invariant INV-META-9 enforcement-loop-closable
+ * @organon-invariant INV-ORG-1 dogfood-methodology
+ * @organon-invariant INV-ORG-2 code-is-source-of-truth
+ * @organon-invariant INV-ORG-3 every-file-has-frontmatter
+ * @organon-invariant INV-ORG-4 three-artifact-separation
+ * @organon-invariant INV-ORG-6 bidirectional-references
+ */
+import { describe, expect } from 'vitest';
+import { testInvariant } from '@organon-methodology/testing/vitest';
+import { resolve } from 'node:path';
+import { readFile, readdir, access } from 'node:fs/promises';
+import { parseFrontmatter, extractSection } from './frontmatter-parser.js';
+const repoRoot = resolve(import.meta.dirname, '../../../..');
+async function readOrganonFile(relPath) {
+    return readFile(resolve(repoRoot, relPath), 'utf-8');
+}
+async function exists(relPath) {
+    try {
+        await access(resolve(repoRoot, relPath));
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+// ---------------------------------------------------------------------------
+// INV-META-3: principles-prioritized
+// ---------------------------------------------------------------------------
+describe('INV-META-3: principles-prioritized', () => {
+    testInvariant('INV-META-3', 'ETHOS.md files have numbered principles', async () => {
+        const ethosFiles = [
+            'book-llms/ETHOS.md',
+            'organon/ETHOS.md',
+            'organon/domains/tools/ETHOS.md',
+            'organon/domains/testing/ETHOS.md',
+        ];
+        for (const file of ethosFiles) {
+            const content = await readOrganonFile(file);
+            const { body } = parseFrontmatter(content);
+            const principles = extractSection(body, 'Principles (Prioritized)')
+                ?? extractSection(body, 'Principles');
+            expect(principles, `${file} must have a ## Principles section`).toBeTruthy();
+            // Principles must have numbered entries (1., 2., etc.)
+            const numbered = principles.match(/^\d+\.\s/gm);
+            expect(numbered, `${file} principles must be numbered`).toBeTruthy();
+            expect(numbered.length).toBeGreaterThanOrEqual(1);
+        }
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-META-6 / INV-ORG-3: every-file-has-frontmatter
+// ---------------------------------------------------------------------------
+describe('INV-META-6 / INV-ORG-3: every-file-has-frontmatter', () => {
+    testInvariant('INV-META-6', 'all organon files have YAML frontmatter', async () => {
+        const organonFiles = [
+            'book-llms/ETHOS.md',
+            'book-llms/PHILOSOPHY.md',
+            'organon/ETHOS.md',
+            'organon/README.md',
+            'organon/domains/tools/ETHOS.md',
+            'organon/domains/tools/PHILOSOPHY.md',
+            'organon/domains/testing/ETHOS.md',
+            'organon/domains/testing/PHILOSOPHY.md',
+            'organon/protocols/PROTOCOLS.md',
+        ];
+        for (const file of organonFiles) {
+            const content = await readOrganonFile(file);
+            const { frontmatter } = parseFrontmatter(content);
+            expect(frontmatter, `${file} must have YAML frontmatter`).toBeTruthy();
+            expect(frontmatter.type, `${file} frontmatter must have type`).toBeTruthy();
+            expect(frontmatter.scope, `${file} frontmatter must have scope`).toBeTruthy();
+        }
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-META-7: standardized-section-headings
+// ---------------------------------------------------------------------------
+describe('INV-META-7: standardized-section-headings', () => {
+    testInvariant('INV-META-7', 'ETHOS.md files have required sections', async () => {
+        const ethosFiles = [
+            'organon/ETHOS.md',
+            'organon/domains/tools/ETHOS.md',
+            'organon/domains/testing/ETHOS.md',
+        ];
+        const requiredSections = ['Identity', 'Invariants'];
+        for (const file of ethosFiles) {
+            const content = await readOrganonFile(file);
+            const { body } = parseFrontmatter(content);
+            for (const section of requiredSections) {
+                const found = extractSection(body, section);
+                expect(found, `${file} must have ## ${section} section`).toBeTruthy();
+            }
+        }
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-META-9: enforcement-loop-closable
+// ---------------------------------------------------------------------------
+describe('INV-META-9: enforcement-loop-closable', () => {
+    testInvariant('INV-META-9', 'automated protocols have workflow bindings', async () => {
+        const content = await readOrganonFile('organon/protocols/PROTOCOLS.md');
+        const { frontmatter } = parseFrontmatter(content);
+        const protocols = frontmatter?.protocols;
+        expect(protocols, 'PROTOCOLS.md must have protocols array').toBeTruthy();
+        for (const proto of protocols) {
+            if (proto.automation_tier === 'automated') {
+                expect(proto.workflow, `Protocol ${proto.id} is automated but has no workflow binding`).toBeTruthy();
+            }
+        }
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-ORG-1: dogfood-methodology
+// ---------------------------------------------------------------------------
+describe('INV-ORG-1: dogfood-methodology', () => {
+    testInvariant('INV-ORG-1', 'organon/ directory exists with ETHOS.md', async () => {
+        expect(await exists('organon/ETHOS.md')).toBe(true);
+    });
+    testInvariant('INV-ORG-1', 'organon/protocols/PROTOCOLS.md exists', async () => {
+        expect(await exists('organon/protocols/PROTOCOLS.md')).toBe(true);
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-ORG-2: code-is-source-of-truth
+// ---------------------------------------------------------------------------
+describe('INV-ORG-2: code-is-source-of-truth', () => {
+    testInvariant('INV-ORG-2', 'packages/tools/src/ exists with implementation code', async () => {
+        expect(await exists('packages/tools/src/core')).toBe(true);
+        const entries = await readdir(resolve(repoRoot, 'packages/tools/src/core'));
+        const tsFiles = entries.filter((f) => f.endsWith('.ts') && !f.endsWith('.test.ts'));
+        expect(tsFiles.length).toBeGreaterThanOrEqual(5);
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-ORG-4: three-artifact-separation
+// ---------------------------------------------------------------------------
+describe('INV-ORG-4: three-artifact-separation', () => {
+    testInvariant('INV-ORG-4', 'ETHOS.md files have type: constraints', async () => {
+        const ethosFiles = [
+            'organon/ETHOS.md',
+            'organon/domains/tools/ETHOS.md',
+            'organon/domains/testing/ETHOS.md',
+        ];
+        for (const file of ethosFiles) {
+            const content = await readOrganonFile(file);
+            const { frontmatter } = parseFrontmatter(content);
+            expect(frontmatter?.type, `${file} must be type: constraints`).toBe('constraints');
+        }
+    });
+    testInvariant('INV-ORG-4', 'PHILOSOPHY.md files have type: rationale', async () => {
+        const philosophyFiles = [
+            'organon/domains/tools/PHILOSOPHY.md',
+            'organon/domains/testing/PHILOSOPHY.md',
+        ];
+        for (const file of philosophyFiles) {
+            const content = await readOrganonFile(file);
+            const { frontmatter } = parseFrontmatter(content);
+            expect(frontmatter?.type, `${file} must be type: rationale`).toBe('rationale');
+        }
+    });
+    testInvariant('INV-ORG-4', 'PROTOCOLS.md files have type: procedures', async () => {
+        const content = await readOrganonFile('organon/protocols/PROTOCOLS.md');
+        const { frontmatter } = parseFrontmatter(content);
+        expect(frontmatter?.type).toBe('procedures');
+    });
+});
+// ---------------------------------------------------------------------------
+// INV-ORG-6: bidirectional-references
+// ---------------------------------------------------------------------------
+describe('INV-ORG-6: bidirectional-references', () => {
+    testInvariant('INV-ORG-6', 'automated protocols reference workflows that exist as skills', async () => {
+        const content = await readOrganonFile('organon/protocols/PROTOCOLS.md');
+        const { frontmatter } = parseFrontmatter(content);
+        const protocols = frontmatter?.protocols;
+        for (const proto of protocols ?? []) {
+            if (proto.automation_tier === 'automated' && proto.workflow) {
+                const skillPath = `.claude/skills/${proto.workflow}/SKILL.md`;
+                expect(await exists(skillPath), `Workflow "${proto.workflow}" for protocol ${proto.id} must exist at ${skillPath}`).toBe(true);
+            }
+        }
+    });
+});
+//# sourceMappingURL=meta-invariants.test.js.map