@gate-forge/core 0.1.0

package/dist/testing/gf19.js

@@ -0,0 +1,282 @@
+/**
+ * GF-19 harness rule (fixture harness, G7): a malformed source file must
+ * surface as a `PARSE_ERROR` finding with a line number, must never crash
+ * the run, and must never contribute silent resources.
+ *
+ * The rule is detector-agnostic: a detector hands the harness its output
+ * plus a per-file parse audit ({@link ParseAudit}); the rule guarantees
+ * the finding exists (synthesizing it when the detector failed to emit
+ * one), strips resources sourced from malformed files, and records every
+ * detector misbehavior as an explicit violation. G5's SQLAlchemy detector
+ * reuses this rule with its real audit.
+ */
+import { readdirSync, readFileSync, statSync } from 'node:fs';
+import { compareStrings } from '../graph/index.js';
+import { GATEFORGE_SCHEMA_VERSION } from '../schemas/common.js';
+/** The canonical finding code for malformed source files. */
+export const PARSE_ERROR_FINDING = 'PARSE_ERROR';
+/**
+ * Normalizes a detector-supplied path for audit comparisons: posix
+ * separators, no leading `./`.
+ *
+ * Args:
+ *   raw: detector-supplied path.
+ *
+ * Returns:
+ *   string: canonical comparison key.
+ */
+function normalizePath(raw) {
+    let path = raw.split('\\').join('/');
+    while (path.startsWith('./')) {
+        path = path.slice(2);
+    }
+    return path;
+}
+/**
+ * Applies the GF-19 rule to one detector contribution.
+ *
+ * Args:
+ *   input: detector identity, parse audit, and raw output.
+ *
+ * Returns:
+ *   ParseErrorRuleResult: guaranteed findings, vetted resources, and the
+ *   detector's violations (empty when the detector behaved).
+ */
+export function applyParseErrorRule(input) {
+    const violations = [];
+    const malformed = new Map();
+    for (const entry of input.audit) {
+        if (entry.ok)
+            continue;
+        let line = entry.line ?? 0;
+        if (!Number.isInteger(line) || line < 1) {
+            violations.push(`parse audit for '${entry.file}' lacks a valid 1-based line; failing closed at line 1`);
+            line = 1;
+        }
+        malformed.set(normalizePath(entry.file), {
+            line,
+            detail: entry.detail ?? `file failed to parse: ${entry.file}`,
+        });
+    }
+    const findings = input.output.findings.map((finding) => ({
+        ...finding,
+        detectorId: input.detectorId,
+    }));
+    const parseErrors = [];
+    for (const [file, malformedAt] of malformed) {
+        const existing = findings.find((finding) => finding.code === PARSE_ERROR_FINDING &&
+            finding.locations.some((location) => location.file === file && location.line === malformedAt.line));
+        if (existing !== undefined) {
+            parseErrors.push(existing);
+            continue;
+        }
+        const synthesized = {
+            code: PARSE_ERROR_FINDING,
+            detail: malformedAt.detail,
+            locations: [{ file, line: malformedAt.line, col: 0 }],
+            detectorId: input.detectorId,
+        };
+        findings.push(synthesized);
+        parseErrors.push(synthesized);
+        violations.push(`detector emitted no ${PARSE_ERROR_FINDING} finding for '${file}'; the harness rule synthesized it`);
+    }
+    const resources = [];
+    for (const resource of input.output.resources) {
+        if (malformed.has(normalizePath(resource.source))) {
+            violations.push(`dropped silent resource '${resource.id}' sourced from malformed file '${resource.source}'`);
+            continue;
+        }
+        resources.push(resource);
+    }
+    findings.sort((a, b) => {
+        const byCode = compareStrings(a.code, b.code);
+        if (byCode !== 0)
+            return byCode;
+        const firstA = a.locations[0];
+        const firstB = b.locations[0];
+        if (firstA === undefined)
+            return -1;
+        if (firstB === undefined)
+            return 1;
+        return compareStrings(`${firstA.file}:${firstA.line}`, `${firstB.file}:${firstB.line}`);
+    });
+    return { findings, parseErrors, resources, violations };
+}
+/**
+ * Whether a finding list contains at least one `PARSE_ERROR` — the
+ * fail-closed signal that a source file could not be read.
+ *
+ * Args:
+ *   findings: graph or rule findings.
+ *
+ * Returns:
+ *   boolean: true when malformed source is in play.
+ */
+export function hasParseErrors(findings) {
+    return findings.some((finding) => finding.code === PARSE_ERROR_FINDING);
+}
+/**
+ * The toy declaration grammar the stub detector parses: blank lines,
+ * `# comments`, and `name = value` declarations. Anything else is a
+ * syntax error at that line.
+ */
+const STUB_DECLARATION = /^([A-Za-z_][A-Za-z0-9_]*)\s*=\s*\S.*$/;
+/**
+ * Sorted directory entry names of a directory.
+ *
+ * Args:
+ *   absolute: absolute directory path.
+ *
+ * Returns:
+ *   string[]: entry names, codepoint-sorted.
+ */
+function readdirSorted(absolute) {
+    return readdirSync(absolute).sort(compareStrings);
+}
+/**
+ * Directory check that never throws on missing paths.
+ *
+ * Args:
+ *   absolute: candidate path.
+ *
+ * Returns:
+ *   boolean: true when the path is an existing directory.
+ */
+function isDirectory(absolute) {
+    try {
+        return statSync(absolute).isDirectory();
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Reads a UTF-8 file, failing loud with path context on error.
+ *
+ * Args:
+ *   absolute: file path.
+ *
+ * Returns:
+ *   string: file content.
+ */
+function readTextFile(absolute) {
+    return readFileSync(absolute, 'utf8');
+}
+/**
+ * Lists candidate source files under a repository root, deterministically
+ * sorted, skipping `.git` and `.gateforge` trees.
+ *
+ * Args:
+ *   root: absolute repository root.
+ *   suffixes: optional suffix filter.
+ *
+ * Returns:
+ *   string[]: repo-root-relative posix paths.
+ */
+function listSourceFiles(root, suffixes) {
+    const files = [];
+    const visit = (absolute, relative) => {
+        for (const entry of readdirSorted(absolute)) {
+            if (entry === '.git' || entry === '.gateforge')
+                continue;
+            const childRelative = relative === '' ? entry : `${relative}/${entry}`;
+            const childAbsolute = `${absolute}/${entry}`;
+            if (isDirectory(childAbsolute)) {
+                visit(childAbsolute, childRelative);
+                continue;
+            }
+            if (suffixes !== undefined && !suffixes.some((suffix) => entry.endsWith(suffix))) {
+                continue;
+            }
+            files.push(childRelative);
+        }
+    };
+    visit(root, '');
+    files.sort(compareStrings);
+    return files;
+}
+/**
+ * Detects resources in a fixture repository with a deliberately trivial
+ * in-process parser: every top-level `name = value` line becomes a
+ * resource (`kind: 'stub.declaration'`, `resourceName` attribute), any
+ * other non-comment/non-blank line is a syntax error, and a file with a
+ * syntax error yields a `PARSE_ERROR` finding at that line and no
+ * resources. Malformed files never crash the scan.
+ *
+ * Args:
+ *   repo: the fixture repository to scan.
+ *   options: detector identity and optional suffix filter.
+ *
+ * Returns:
+ *   StubDetectorResult: discovery output plus the parse audit for the
+ *   GF-19 rule.
+ */
+export function stubDetector(repo, options = {}) {
+    const detectorId = options.id ?? 'gateforge.stub-detector';
+    const detectorVersion = options.version ?? '0.0.0';
+    const resources = [];
+    const findings = [];
+    const audit = [];
+    for (const relative of listSourceFiles(repo.root, options.suffixes)) {
+        const text = readTextFile(`${repo.root}/${relative}`);
+        const lines = text.split(/\r?\n/);
+        // Resources are buffered per file: a file with ANY syntax error
+        // contributes zero resources (GF-19 — a partial parse can't be
+        // trusted, so nothing from a malformed file may leak through).
+        const fileResources = [];
+        let errorLine = 0;
+        let errorText = '';
+        for (let index = 0; index < lines.length; index += 1) {
+            const rawLine = lines[index] ?? '';
+            const trimmed = rawLine.trim();
+            if (trimmed === '' || trimmed.startsWith('#'))
+                continue;
+            const match = STUB_DECLARATION.exec(trimmed);
+            if (match === null) {
+                errorLine = index + 1;
+                errorText = trimmed;
+                break;
+            }
+            const name = match[1];
+            if (name === undefined) {
+                errorLine = index + 1;
+                errorText = trimmed;
+                break;
+            }
+            fileResources.push({
+                schemaVersion: GATEFORGE_SCHEMA_VERSION,
+                id: name,
+                kind: 'stub.declaration',
+                source: relative,
+                location: { file: relative, line: index + 1, col: 0 },
+                detectorVersion,
+                attributes: { resourceName: name },
+            });
+        }
+        if (errorLine === 0) {
+            resources.push(...fileResources);
+            audit.push({ file: relative, ok: true });
+        }
+        else {
+            const detail = `stub parse error in '${relative}' at line ${errorLine}: ${JSON.stringify(errorText)}`;
+            findings.push({
+                code: PARSE_ERROR_FINDING,
+                detail,
+                locations: [{ file: relative, line: errorLine, col: 0 }],
+            });
+            audit.push({ file: relative, ok: false, line: errorLine, detail });
+        }
+    }
+    return {
+        output: {
+            detectorId,
+            detectorVersion,
+            resources,
+            unresolved: [],
+            findings,
+            classificationSignals: [],
+        },
+        audit,
+    };
+}
+//# sourceMappingURL=gf19.js.map

package/dist/testing/gf19.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gf19.js","sourceRoot":"","sources":["../../src/testing/gf19.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAG9D,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAIhE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAAG,aAAa,CAAC;AAmDjD;;;;;;;;;GASG;AACH,SAAS,aAAa,CAAC,GAAW;IAChC,IAAI,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA0B;IAC5D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4C,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,EAAE;YAAE,SAAS;QACvB,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CACb,oBAAoB,KAAK,CAAC,IAAI,wDAAwD,CACvF,CAAC;YACF,IAAI,GAAG,CAAC,CAAC;QACX,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACvC,IAAI;YACJ,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,yBAAyB,KAAK,CAAC,IAAI,EAAE;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAmB,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACvE,GAAG,OAAO;QACV,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,IAAI,KAAK,mBAAmB;YACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAC3E,CACJ,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAiB;YAChC,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YACrD,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3B,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9B,UAAU,CAAC,IAAI,CACb,uBAAuB,mBAAmB,iBAAiB,IAAI,oCAAoC,CACpG,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAClD,UAAU,CAAC,IAAI,CACb,4BAA4B,QAAQ,CAAC,EAAE,kCAAkC,QAAQ,CAAC,MAAM,GAAG,CAC5F,CAAC;YACF,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrB,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACnC,OAAO,cAAc,CACnB,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,EAC/B,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAChC,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AAC1D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,QAAwB;IACrD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;AAC1E,CAAC;AAoBD;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,uCAAuC,CAAC;AAEjE;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,QAAgB;IACrC,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,QAAgB;IACnC,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,QAAgB;IACpC,OAAO,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,eAAe,CAAC,IAAY,EAAE,QAA8B;IACnE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAQ,EAAE;QACzD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,YAAY;gBAAE,SAAS;YACzD,MAAM,aAAa,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,KAAK,EAAE,CAAC;YACvE,MAAM,aAAa,GAAG,GAAG,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7C,IAAI,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC/B,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;gBACpC,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBACjF,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,YAAY,CAAC,IAAc,EAAE,UAA+B,EAAE;IAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,IAAI,yBAAyB,CAAC;IAC3D,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC;IACnD,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,QAAQ,GAA+B,EAAE,CAAC;IAChD,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAClC,gEAAgE;QAChE,+DAA+D;QAC/D,+DAA+D;QAC/D,MAAM,aAAa,GAAe,EAAE,CAAC;QACrC,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACxD,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;gBACtB,SAAS,GAAG,OAAO,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;gBACtB,SAAS,GAAG,OAAO,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,aAAa,EAAE,wBAAwB;gBACvC,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBACrD,eAAe;gBACf,UAAU,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE;aACnC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,wBAAwB,QAAQ,aAAa,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACtG,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,MAAM;gBACN,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;aACzD,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE;YACN,UAAU;YACV,eAAe;YACf,SAAS;YACT,UAAU,EAAE,EAAE;YACd,QAAQ;YACR,qBAAqB,EAAE,EAAE;SAC1B;QACD,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/testing/index.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Fixture harness (G7): deterministic temporary git repositories,
+ * injected clocks and environments, the gate-runner pipeline, the GF-19
+ * malformed-source rule, and the RED-PROBE discipline. Everything here is
+ * offline and wall-clock-free; the public surface is re-exported from
+ * `@gate-forge/core`.
+ */
+export { FIXED_GIT_DATE, TempRepo, withTempRepo, } from './temp-repo.js';
+export type { GitResult, TempRepoOptions } from './temp-repo.js';
+export { makeClock, toIso } from './clock.js';
+export type { ClockSpec, TestClock } from './clock.js';
+export { fakeProvider, localStagedProvider, normalizeChangedFiles, withEnv, } from './env.js';
+export type { ChangedFileProvider } from './env.js';
+export { PARSE_ERROR_FINDING, applyParseErrorRule, hasParseErrors, stubDetector, } from './gf19.js';
+export type { ParseAudit, ParseAuditEntry, ParseErrorRuleInput, ParseErrorRuleResult, StubDetectorOptions, StubDetectorResult, } from './gf19.js';
+export { runGates } from './gate-runner.js';
+export type { DetectorContribution, EvaluatorVerdict, GateRunResult, ObligationEvaluator, ObligationEvaluatorInput, GateRunVerdict, RunGatesInput, } from './gate-runner.js';
+export { RedProbeFailure, RedProbeSuiteError, cleanupProbeSuite, formatProbeRecords, runRedProbe, runRedProbes, spawnVitest, writeProbeRecords, writeProbeSuite, } from './red-probe.js';
+export type { RedProbe, RedProbeRecord, VitestRunOptions, VitestRunResult, } from './red-probe.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/testing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EACL,cAAc,EACd,QAAQ,EACR,YAAY,GACb,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC9C,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvD,OAAO,EACL,YAAY,EACZ,mBAAmB,EACnB,qBAAqB,EACrB,OAAO,GACR,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAEpD,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,cAAc,EACd,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,YAAY,EACV,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,wBAAwB,EACxB,cAAc,EACd,aAAa,GACd,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,QAAQ,EACR,cAAc,EACd,gBAAgB,EAChB,eAAe,GAChB,MAAM,gBAAgB,CAAC"}

package/dist/testing/index.js

@@ -0,0 +1,14 @@
+/**
+ * Fixture harness (G7): deterministic temporary git repositories,
+ * injected clocks and environments, the gate-runner pipeline, the GF-19
+ * malformed-source rule, and the RED-PROBE discipline. Everything here is
+ * offline and wall-clock-free; the public surface is re-exported from
+ * `@gate-forge/core`.
+ */
+export { FIXED_GIT_DATE, TempRepo, withTempRepo, } from './temp-repo.js';
+export { makeClock, toIso } from './clock.js';
+export { fakeProvider, localStagedProvider, normalizeChangedFiles, withEnv, } from './env.js';
+export { PARSE_ERROR_FINDING, applyParseErrorRule, hasParseErrors, stubDetector, } from './gf19.js';
+export { runGates } from './gate-runner.js';
+export { RedProbeFailure, RedProbeSuiteError, cleanupProbeSuite, formatProbeRecords, runRedProbe, runRedProbes, spawnVitest, writeProbeRecords, writeProbeSuite, } from './red-probe.js';
+//# sourceMappingURL=index.js.map

package/dist/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EACL,cAAc,EACd,QAAQ,EACR,YAAY,GACb,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAG9C,OAAO,EACL,YAAY,EACZ,mBAAmB,EACnB,qBAAqB,EACrB,OAAO,GACR,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,cAAc,EACd,YAAY,GACb,MAAM,WAAW,CAAC;AAUnB,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAW5C,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,eAAe,GAChB,MAAM,gBAAgB,CAAC"}

package/dist/testing/red-probe.d.ts

@@ -0,0 +1,138 @@
+/** One red-probe pair: the same guard, correct vs deliberately broken. */
+export interface RedProbe {
+    /** Stable probe name (appears in the run record). */
+    name: string;
+    /** Guard run against correct behavior — must pass. */
+    green: () => void | Promise<void>;
+    /** Identical guard run against deliberately broken behavior — must fail. */
+    broken: () => void | Promise<void>;
+}
+/** Outcome of one probe. `ok` is true only for an honest guard. */
+export interface RedProbeRecord {
+    /** Probe name. */
+    name: string;
+    /** The guard passed against correct behavior. */
+    greenPassed: boolean;
+    /** The guard failed against deliberately broken behavior. */
+    brokenFailed: boolean;
+    /** greenPassed && brokenFailed — the probe proved something. */
+    ok: boolean;
+    /** Human cause when not ok (fake green vs broken guard). */
+    failure?: string;
+}
+/** Thrown by {@link runRedProbe} when a probe is not honest. */
+export declare class RedProbeFailure extends Error {
+    /** The failing record. */
+    readonly record: RedProbeRecord;
+    constructor(record: RedProbeRecord);
+}
+/**
+ * Runs one probe pair and classifies the outcome.
+ *
+ * Args:
+ *   probe: the green/broken guard pair.
+ *
+ * Returns:
+ *   RedProbeRecord: the classified outcome (never throws).
+ */
+export declare function runRedProbe(probe: RedProbe): Promise<RedProbeRecord>;
+/** Thrown by {@link runRedProbes} when any probe is not honest. */
+export declare class RedProbeSuiteError extends Error {
+    /** All records, honest or not. */
+    readonly records: RedProbeRecord[];
+    constructor(records: RedProbeRecord[]);
+}
+/**
+ * Runs probes sequentially and throws {@link RedProbeSuiteError} when any
+ * is not honest (pass `{throwOnFailure: false}` to only collect).
+ *
+ * Args:
+ *   probes: probe pairs, run in order.
+ *   options: `throwOnFailure` default true.
+ *
+ * Returns:
+ *   RedProbeRecord[]: one record per probe, in order.
+ */
+export declare function runRedProbes(probes: RedProbe[], { throwOnFailure }?: {
+    throwOnFailure?: boolean;
+}): Promise<RedProbeRecord[]>;
+/**
+ * Renders probe records as a markdown table — the body of a run record.
+ *
+ * Args:
+ *   records: probe outcomes.
+ *
+ * Returns:
+ *   string: markdown table (probe / green passed / broken failed / verdict).
+ */
+export declare function formatProbeRecords(records: RedProbeRecord[]): string;
+/**
+ * Writes a red-probe run record (markdown) to an explicit file path,
+ * creating parent directories. The path is caller-owned so the harness
+ * never writes outside its permission.
+ *
+ * Args:
+ *   path: destination file path.
+ *   records: probe outcomes to record.
+ */
+export declare function writeProbeRecords(path: string, records: RedProbeRecord[]): void;
+/** Result of one spawned vitest run. */
+export interface VitestRunResult {
+    /** Process exit code (-1 when killed before exit). */
+    exitCode: number;
+    /** Captured stdout. */
+    stdout: string;
+    /** Captured stderr. */
+    stderr: string;
+    /** True when the child was terminated by a timeout signal. */
+    timedOut: boolean;
+}
+/** Options for {@link spawnVitest}. */
+export interface VitestRunOptions {
+    /** Working directory (defaults to process cwd). */
+    cwd?: string;
+    /** Extra environment variables layered over `process.env`. */
+    env?: Record<string, string | undefined>;
+    /** Kill timeout in milliseconds. Default 120000. */
+    timeoutMs?: number;
+}
+/**
+ * Runs the workspace's vitest suite as a child process (`vitest run`),
+ * fully offline. CI-proof mode runs a probe suite twice — normal vs
+ * deliberately-broken sources — and requires the broken run to exit
+ * non-zero.
+ *
+ * Args:
+ *   args: extra CLI arguments (file filters, --config, …).
+ *   options: cwd, env additions, timeout.
+ *
+ * Returns:
+ *   VitestRunResult: exit code and captured output.
+ */
+export declare function spawnVitest(args: string[], options?: VitestRunOptions): VitestRunResult;
+/**
+ * Materializes a probe suite in a directory and symlinks the workspace's
+ * `node_modules` into it, so probe files can `import ... from 'vitest'`
+ * even though the directory lives in the OS tmpdir. Clean up with
+ * `rmSync(dir, {recursive: true, force: true})` — removing the symlink
+ * never traverses into the real node_modules.
+ *
+ * Args:
+ *   dir: target directory (created recursively).
+ *   files: file-tree spec relative to `dir` (e.g. a `vitest.config.mjs`
+ *     exporting a plain object and one or more `*.test.mjs` probes).
+ *
+ * Returns:
+ *   string: the directory, ready for {@link spawnVitest} with `cwd: dir`.
+ */
+export declare function writeProbeSuite(dir: string, files: Record<string, string>): string;
+/** Test-only: drops the cached vitest CLI path (path resolution tests). */
+export declare function resetVitestCliCache(): void;
+/**
+ * Removes a probe-suite directory created by {@link writeProbeSuite}.
+ *
+ * Args:
+ *   dir: directory to remove.
+ */
+export declare function cleanupProbeSuite(dir: string): void;
+//# sourceMappingURL=red-probe.d.ts.map

package/dist/testing/red-probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"red-probe.d.ts","sourceRoot":"","sources":["../../src/testing/red-probe.ts"],"names":[],"mappings":"AAkBA,0EAA0E;AAC1E,MAAM,WAAW,QAAQ;IACvB,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,KAAK,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClC,4EAA4E;IAC5E,MAAM,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACpC;AAED,mEAAmE;AACnE,MAAM,WAAW,cAAc;IAC7B,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,WAAW,EAAE,OAAO,CAAC;IACrB,6DAA6D;IAC7D,YAAY,EAAE,OAAO,CAAC;IACtB,gEAAgE;IAChE,EAAE,EAAE,OAAO,CAAC;IACZ,4DAA4D;IAC5D,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,gEAAgE;AAChE,qBAAa,eAAgB,SAAQ,KAAK;IACxC,0BAA0B;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;gBAEpB,MAAM,EAAE,cAAc;CAKnC;AAED;;;;;;;;GAQG;AACH,wBAAsB,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,CAiC1E;AAiBD,mEAAmE;AACnE,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,kCAAkC;IAClC,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;gBAEvB,OAAO,EAAE,cAAc,EAAE;CAStC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,YAAY,CAChC,MAAM,EAAE,QAAQ,EAAE,EAClB,EAAE,cAAqB,EAAE,GAAE;IAAE,cAAc,CAAC,EAAE,OAAO,CAAA;CAAO,GAC3D,OAAO,CAAC,cAAc,EAAE,CAAC,CAS3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAUpE;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,IAAI,CAK/E;AA+BD,wCAAwC;AACxC,MAAM,WAAW,eAAe;IAC9B,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,uCAAuC;AACvC,MAAM,WAAW,gBAAgB;IAC/B,mDAAmD;IACnD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,oDAAoD;IACpD,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE,gBAAqB,GAAG,eAAe,CAc3F;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAYlF;AAED,2EAA2E;AAC3E,wBAAgB,mBAAmB,IAAI,IAAI,CAE1C;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAEnD"}