@gate-forge/pack-playwright 0.1.0

package/dist/discovery/inference.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Kind/category inference rules (plan 2026-09-13 phase 2 item 5): pure
+ * functions over the facts a static scan collected. Every rule returns
+ * its id plus the source location that fired it — no opaque confidence
+ * scores, and no rule is allowed to silently become proof:
+ *
+ * - Strong kind rules (fixtures, request contexts, HTTP-client calls,
+ *   network-less bodies) propose a {@link TestKind}.
+ * - Agreeing proposals decide the kind; conflicting or absent proposals
+ *   resolve to `unknown` (visible, never promoted).
+ * - Title/folder keyword matches are WEAK signals only — recorded, but
+ *   never kind-deciding (§3.2: "a unit test named 'creates account' is
+ *   still a unit test").
+ * - Known mock patterns (`page.route`, `vi.mock`/`jest.mock`) become
+ *   suppression signals; they can disqualify later proof but do not
+ *   classify the test by themselves.
+ */
+import type { CategorySignal, KindSignal, RuleEvidence, SuppressionSignal, TestKind, WeakSignal } from '@gate-forge/core';
+import type { StaticTestFacts } from './static-discovery.js';
+/** Signature parameter names that prove a real API context is in play. */
+export declare const API_FIXTURE_PARAMS: readonly string[];
+/** The facts inference consumes (file-level facts shared by the scan). */
+export interface InferenceFacts {
+    /** Repo-relative file (weak path hints). */
+    file: string;
+    /** Test title (weak title hints, category keywords). */
+    title: string;
+    /** Full title path (weak title hints). */
+    titlePath: readonly string[];
+    /** The static facts of the call: fixtures + body/file patterns. */
+    facts: StaticTestFacts;
+}
+/** What inference concluded for one test. */
+export interface InferenceResult {
+    /** The concluded kind (`unknown` when nothing or a conflict). */
+    inferredKind: TestKind;
+    /** Strong kind rules that fired (kind + code evidence). */
+    kindSignals: KindSignal[];
+    /** Weak title/folder hints (never kind-deciding). */
+    weakSignals: WeakSignal[];
+    /** EVERY rule that fired, in stable rule-id order. */
+    rulesFired: RuleEvidence[];
+    /** Behavior-category hints (labels only). */
+    categorySignals: CategorySignal[];
+    /** Mock-pattern suppression signals observed for this test. */
+    mockSignals: SuppressionSignal[];
+}
+/**
+ * Runs every rule over one test's facts and resolves the kind.
+ *
+ * Combination rule: distinct PROPOSED kinds are computed first — exactly
+ * one distinct kind decides; zero or more-than-one resolve to
+ * `unknown` (recorded, visible, never silently promoted).
+ *
+ * Args:
+ *   input: the test's file/title/facts bundle.
+ *
+ * Returns:
+ *   InferenceResult: kind, all fired rules with evidence locations,
+ *   weak signals, category hints, and mock signals.
+ */
+export declare function inferTestKind(input: InferenceFacts): InferenceResult;
+//# sourceMappingURL=inference.d.ts.map

package/dist/discovery/inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference.d.ts","sourceRoot":"","sources":["../../src/discovery/inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EACV,cAAc,EACd,UAAU,EAEV,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAG7D,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAAgB,CAAC;AAEjE,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,mEAAmE;IACnE,KAAK,EAAE,eAAe,CAAC;CACxB;AAED,6CAA6C;AAC7C,MAAM,WAAW,eAAe;IAC9B,iEAAiE;IACjE,YAAY,EAAE,QAAQ,CAAC;IACvB,2DAA2D;IAC3D,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,qDAAqD;IACrD,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,sDAAsD;IACtD,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,6CAA6C;IAC7C,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,+DAA+D;IAC/D,WAAW,EAAE,iBAAiB,EAAE,CAAC;CAClC;AA+ED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CAqEpE"}

package/dist/discovery/inference.js

@@ -0,0 +1,173 @@
+import { BROWSER_FIXTURE_PARAMS } from './static-discovery.js';
+/** Signature parameter names that prove a real API context is in play. */
+export const API_FIXTURE_PARAMS = ['request'];
+/** Rules that propose a kind, strongest-first, with their evidence. */
+const KIND_RULES = [
+    {
+        ruleId: 'browser-fixture',
+        kind: 'browser-e2e',
+        applies: (input) => {
+            const browserParams = input.facts.signatureParams.filter((name) => BROWSER_FIXTURE_PARAMS.has(name));
+            if (browserParams.length === 0)
+                return null;
+            return {
+                evidence: `test signature declares browser fixture(s): ${browserParams.join(', ')}`,
+            };
+        },
+    },
+    {
+        ruleId: 'api-request-fixture',
+        kind: 'api-e2e',
+        applies: (input) => {
+            const apiParams = input.facts.signatureParams.filter((name) => API_FIXTURE_PARAMS.includes(name));
+            if (apiParams.length === 0)
+                return null;
+            return { evidence: `test signature declares API fixture(s): ${apiParams.join(', ')}` };
+        },
+    },
+    {
+        ruleId: 'http-client-call',
+        kind: 'api-e2e',
+        applies: (input) => {
+            const where = input.facts.httpClientCall ?? input.facts.fileHttpClientCall;
+            if (where === null)
+                return null;
+            return {
+                evidence: `HTTP client call at ${where.file}:${String(where.line)} reaches the application boundary`,
+            };
+        },
+    },
+    {
+        // Network-less pure-function probe: no fixtures at all and no
+        // app-boundary (HTTP) call anywhere in the file → unit hint.
+        ruleId: 'networkless-unit',
+        kind: 'unit',
+        applies: (input) => {
+            if (input.facts.signatureParams.length > 0)
+                return null;
+            if (input.facts.pageRoute !== null)
+                return null;
+            if (input.facts.httpClientCall !== null || input.facts.fileHttpClientCall !== null)
+                return null;
+            return { evidence: 'no fixtures and no application-boundary call: a network-less function probe' };
+        },
+    },
+];
+/** Weak keyword hints per title/path token. Never kind-deciding. */
+const TITLE_KEYWORD_RULES = [
+    { token: 'e2e', hint: 'title mentions e2e (weak)' },
+    { token: 'integration', hint: 'title mentions integration (weak)' },
+    { token: 'unit', hint: 'title mentions unit (weak)' },
+];
+/** Path segments treated as weak hints. */
+const PATH_KEYWORD_RULES = [
+    { token: 'e2e', hint: 'path segment mentions e2e (weak)' },
+    { token: 'integration', hint: 'path segment mentions integration (weak)' },
+    { token: 'unit', hint: 'path segment mentions unit (weak)' },
+];
+/** Category keyword → dotted label (hints only, never proof). */
+const CATEGORY_KEYWORDS = [
+    { pattern: /\bcreat|\badd/i, label: 'persistence.create' },
+    { pattern: /\bupdate|\bedit/i, label: 'persistence.update' },
+    { pattern: /\bdelet|\bremov|\bdestroy/i, label: 'persistence.delete' },
+    { pattern: /\bread|\bshow|\bview|\blist|\bdisplay/i, label: 'persistence.read' },
+    { pattern: /\blogin|\blogout|\bauth|\bsign[ -]?(in|up)/i, label: 'authentication' },
+    { pattern: /\bvalid|\binvalid/i, label: 'validation' },
+    { pattern: /\bnavigat|\bredirect/i, label: 'navigation' },
+    { pattern: /\bworkflow|\bjourney/i, label: 'workflow' },
+];
+/**
+ * Runs every rule over one test's facts and resolves the kind.
+ *
+ * Combination rule: distinct PROPOSED kinds are computed first — exactly
+ * one distinct kind decides; zero or more-than-one resolve to
+ * `unknown` (recorded, visible, never silently promoted).
+ *
+ * Args:
+ *   input: the test's file/title/facts bundle.
+ *
+ * Returns:
+ *   InferenceResult: kind, all fired rules with evidence locations,
+ *   weak signals, category hints, and mock signals.
+ */
+export function inferTestKind(input) {
+    const kindSignals = [];
+    const rulesFired = [];
+    const weakSignals = [];
+    const categorySignals = [];
+    const mockSignals = [];
+    for (const rule of KIND_RULES) {
+        const outcome = rule.applies(input);
+        if (outcome === null)
+            continue;
+        // The evidence location: prefer the exact body location when the
+        // rule observed one, else the first fixture param is located at the
+        // call (unknown here) — inference callers pass call-level facts, so
+        // the evidence points at what the rule saw.
+        rulesFired.push({ ruleId: rule.ruleId, evidence: outcome.evidence, location: evidenceLocation(rule.ruleId, input) });
+        kindSignals.push({ ruleId: rule.ruleId, kind: rule.kind, evidence: outcome.evidence, location: evidenceLocation(rule.ruleId, input) });
+    }
+    for (const rule of TITLE_KEYWORD_RULES) {
+        const haystack = [...input.titlePath, input.title].join(' ').toLowerCase();
+        if (haystack.includes(rule.token)) {
+            weakSignals.push({ ruleId: 'title-keywords', evidence: rule.hint, location: weakLocation(input) });
+            rulesFired.push({ ruleId: 'title-keywords', evidence: rule.hint, location: weakLocation(input) });
+            break; // one title hint is enough; keep the trace small
+        }
+    }
+    for (const rule of PATH_KEYWORD_RULES) {
+        const segments = input.file.toLowerCase().split('/');
+        if (segments.includes(rule.token)) {
+            weakSignals.push({ ruleId: 'path-keywords', evidence: rule.hint, location: weakLocation(input) });
+            rulesFired.push({ ruleId: 'path-keywords', evidence: rule.hint, location: weakLocation(input) });
+            break;
+        }
+    }
+    if (input.facts.pageRoute !== null) {
+        mockSignals.push({
+            kind: 'mock',
+            detail: 'page.route interception inside the test body',
+            location: input.facts.pageRoute,
+        });
+        rulesFired.push({ ruleId: 'mock-page-route', evidence: 'page.route call intercepts network', location: input.facts.pageRoute });
+    }
+    if (input.facts.fileMockImport !== null) {
+        mockSignals.push({
+            kind: 'mock',
+            detail: 'vi.mock/jest.mock module mock in the test file',
+            location: input.facts.fileMockImport,
+        });
+        rulesFired.push({ ruleId: 'mock-module-import', evidence: 'module-level mock call', location: input.facts.fileMockImport });
+    }
+    for (const rule of CATEGORY_KEYWORDS) {
+        if (rule.pattern.test(input.title)) {
+            categorySignals.push({ label: rule.label, ruleId: 'category-keywords', location: weakLocation(input) });
+        }
+    }
+    const distinct = [...new Set(kindSignals.map((signal) => signal.kind))];
+    const inferredKind = distinct.length === 1 ? distinct[0] : 'unknown';
+    if (distinct.length > 1) {
+        rulesFired.push({
+            ruleId: 'kind-conflict',
+            evidence: `rules propose conflicting kinds (${distinct.sort().join(', ')}): resolved to unknown`,
+            location: weakLocation(input),
+        });
+    }
+    return { inferredKind, kindSignals, weakSignals, rulesFired, categorySignals, mockSignals };
+}
+/** The location a strong rule's evidence points at. */
+function evidenceLocation(ruleId, input) {
+    if (ruleId === 'http-client-call') {
+        return input.facts.httpClientCall ?? input.facts.fileHttpClientCall ?? { file: input.file, line: 1, col: 0 };
+    }
+    if (ruleId === 'mock-page-route')
+        return input.facts.pageRoute ?? { file: input.file, line: 1, col: 0 };
+    // Fixture/unit rules have no sharper location than the file itself at
+    // line 1 — the catalog row carries the exact call location separately.
+    return { file: input.file, line: 1, col: 0 };
+}
+/** Stable placeholder location for file-level weak signals. */
+function weakLocation(input) {
+    return { file: input.file, line: 1, col: 0 };
+}
+//# sourceMappingURL=inference.js.map

package/dist/discovery/inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference.js","sourceRoot":"","sources":["../../src/discovery/inference.ts"],"names":[],"mappings":"AA2BA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAsB,CAAC,SAAS,CAAC,CAAC;AA8BjE,uEAAuE;AACvE,MAAM,UAAU,GAIX;IACH;QACE,MAAM,EAAE,iBAAiB;QACzB,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YACjB,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YACrG,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,OAAO;gBACL,QAAQ,EAAE,+CAA+C,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACpF,CAAC;QACJ,CAAC;KACF;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YACjB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YAClG,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxC,OAAO,EAAE,QAAQ,EAAE,2CAA2C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACzF,CAAC;KACF;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YACjB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC;YAC3E,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChC,OAAO;gBACL,QAAQ,EAAE,uBAAuB,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,mCAAmC;aACrG,CAAC;QACJ,CAAC;KACF;IACD;QACE,8DAA8D;QAC9D,6DAA6D;QAC7D,MAAM,EAAE,kBAAkB;QAC1B,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YACjB,IAAI,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxD,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChD,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,kBAAkB,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChG,OAAO,EAAE,QAAQ,EAAE,6EAA6E,EAAE,CAAC;QACrG,CAAC;KACF;CACF,CAAC;AAEF,oEAAoE;AACpE,MAAM,mBAAmB,GAAmD;IAC1E,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,2BAA2B,EAAE;IACnD,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,mCAAmC,EAAE;IACnE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,4BAA4B,EAAE;CACtD,CAAC;AAEF,2CAA2C;AAC3C,MAAM,kBAAkB,GAAmD;IACzE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,kCAAkC,EAAE;IAC1D,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,0CAA0C,EAAE;IAC1E,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,mCAAmC,EAAE;CAC7D,CAAC;AAEF,iEAAiE;AACjE,MAAM,iBAAiB,GAAsD;IAC3E,EAAE,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,oBAAoB,EAAE;IAC1D,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,oBAAoB,EAAE;IAC5D,EAAE,OAAO,EAAE,4BAA4B,EAAE,KAAK,EAAE,oBAAoB,EAAE;IACtE,EAAE,OAAO,EAAE,wCAAwC,EAAE,KAAK,EAAE,kBAAkB,EAAE;IAChF,EAAE,OAAO,EAAE,6CAA6C,EAAE,KAAK,EAAE,gBAAgB,EAAE;IACnF,EAAE,OAAO,EAAE,oBAAoB,EAAE,KAAK,EAAE,YAAY,EAAE;IACtD,EAAE,OAAO,EAAE,uBAAuB,EAAE,KAAK,EAAE,YAAY,EAAE;IACzD,EAAE,OAAO,EAAE,uBAAuB,EAAE,KAAK,EAAE,UAAU,EAAE;CACxD,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CAAC,KAAqB;IACjD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,eAAe,GAAqB,EAAE,CAAC;IAC7C,MAAM,WAAW,GAAwB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,iEAAiE;QACjE,oEAAoE;QACpE,oEAAoE;QACpE,4CAA4C;QAC5C,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACrH,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACzI,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3E,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACnG,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClG,MAAM,CAAC,iDAAiD;QAC1D,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClG,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjG,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,8CAA8C;YACtD,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS;SAChC,CAAC,CAAC;QACH,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oCAAoC,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IAClI,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,gDAAgD;YACxD,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc;SACrC,CAAC,CAAC;QACH,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,wBAAwB,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;IAC9H,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,eAAe,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1G,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,YAAY,GAAa,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,QAAQ,CAAC,CAAC,CAAc,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7F,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,UAAU,CAAC,IAAI,CAAC;YACd,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,oCAAoC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB;YAChG,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,CAAC;AAC9F,CAAC;AAED,uDAAuD;AACvD,SAAS,gBAAgB,CAAC,MAAc,EAAE,KAAqB;IAC7D,IAAI,MAAM,KAAK,kBAAkB,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,kBAAkB,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC/G,CAAC;IACD,IAAI,MAAM,KAAK,iBAAiB;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACxG,sEAAsE;IACtE,uEAAuE;IACvE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,+DAA+D;AAC/D,SAAS,YAAY,CAAC,KAAqB;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/C,CAAC"}

package/dist/discovery/pytest-adapter.d.ts

@@ -0,0 +1,205 @@
+import type { DiagnosticSuite } from '@gate-forge/core';
+import { TestDiscoveryError } from './reconcile.js';
+/** One collected pytest case, identity preserved (§3.5). */
+export interface PytestCollectedCase {
+    /** The exact pytest node id, parameters included. */
+    nodeId: string;
+    /** File part of the node id (posix, suite-cwd-relative). */
+    file: string;
+    /** Class/test segments after the file part. */
+    titlePath: string[];
+}
+/** Outcome of one collection run. */
+export interface PytestCollectionResult {
+    status: 'discovered' | 'unavailable';
+    /** Single-cause detail (errors verbatim, bounded). */
+    detail: string;
+    cases: PytestCollectedCase[];
+    /** Node ids pytest reported as collection errors, if any. */
+    collectionErrors: string[];
+    exitCode: number | null;
+}
+/**
+ * Composes the collection argv for a configured suite: the configured
+ * interpreter/args verbatim, then `--collect-only -q`, then the
+ * configured testPaths. Nothing else — no directory guessing, no extra
+ * commands beyond the configured argv + collection flags.
+ *
+ * Args:
+ *   suite: the configured diagnostic suite.
+ *
+ * Returns:
+ *   string[]: argv to spawn with cwd = repo root (the adapter passes the
+ *   suite's own testPaths, which are repo-root-relative and resolved by
+ *   the caller's cwd choice).
+ */
+export declare function pytestCollectArgv(suite: DiagnosticSuite): string[];
+/**
+ * Composes the Phase 4 diagnostic EXECUTION argv (junit XML into the
+ * EXCLUDED run-state dir). Exported now so the composition is tested;
+ * invoking it is Phase 4 work.
+ *
+ * Args:
+ *   suite: the configured diagnostic suite.
+ *   stateDir: absolute run-state directory (excluded from inputs).
+ *
+ * Returns:
+ *   string[]: argv running the suite with a junitxml report at
+ *   `<stateDir>/diagnostics/<suite.name>.xml`.
+ */
+export declare function pytestExecutionArgv(suite: DiagnosticSuite, stateDir: string): string[];
+/**
+ * Runs one bounded collection for a configured suite. The child runs as
+ * UNTRUSTED consumer code (all `GATEFORGE_*` env stripped — same trust
+ * boundary as playwright enumeration) with the suite's finite timeout.
+ *
+ * Args:
+ *   suite: the configured suite (argv, testPaths, timeoutMs).
+ *   cwd: absolute repo root the repo-relative testPaths resolve against.
+ *
+ * Returns:
+ *   Promise<PytestCollectionResult>: collected node ids or an
+ *   unavailable verdict — collection failure is data (§3.5: show
+ *   incomplete status), never a fabricated empty success.
+ */
+export declare function collectPytestSuite(suite: DiagnosticSuite, cwd: string): Promise<PytestCollectionResult>;
+/** One parsed junit-XML testcase (pytest diagnostics surface). */
+export interface JunitTestCase {
+    /** Classname (module path as pytest emitted it). */
+    classname: string;
+    /** Test name incl. parameters, e.g. `test_x[param-2]`. */
+    name: string;
+    /** passed | failed | error | skipped. */
+    outcome: 'passed' | 'failed' | 'error' | 'skipped';
+    /** The skip/xfail type attribute when skipped, e.g. `pytest.xfail`. */
+    skipType?: string;
+    /** First line of failure/error/skip message, when present. */
+    message?: string;
+    /** The file attribute pytest emits when present (node-id reconstruction). */
+    file?: string;
+}
+/** Parsed junit-XML document (one testsuite). */
+export interface JunitDocument {
+    suiteName: string;
+    tests: number;
+    failures: number;
+    errors: number;
+    skipped: number;
+    cases: JunitTestCase[];
+}
+/** Typed parser failure for malformed junit XML (fail closed). */
+export declare class JunitParseError extends Error {
+    constructor(message: string);
+}
+/**
+ * Parses a pytest junit-XML document into structured outcomes (plan
+ * phase 2 item 8: prefer structured results over parsing terminal
+ * colors). Bounded and strict: the parser understands the exact subset
+ * pytest emits (`<testsuite>` with `<testcase>` children carrying
+ * `<failure>`, `<error>`, or `<skipped type="...">` children) and THROWS
+ * (`JunitParseError`) on anything else — a malformed report is never
+ * silently read as a green run. xfail appears as `skipped` with
+ * `type="pytest.xfail"`; collection errors appear as testcases named
+ * `pytest_collection` with an `<error>` child.
+ *
+ * Args:
+ *   xml: the junit-XML document text.
+ *
+ * Returns:
+ *   JunitDocument: suite counters + one row per testcase.
+ *
+ * Throws:
+ *   JunitParseError: on missing/malformed structure (fail closed).
+ */
+export declare function parseJunitXml(xml: string): JunitDocument;
+/**
+ * Repo-relative form of `path` against `cwd` (absolute inputs only by
+ * contract; relative pass through normalized).
+ */
+export declare function repoRelative(cwd: string, path: string): string;
+/** Honest status of one diagnostic suite run (§3.5 — never E2E proof). */
+export type DiagnosticRunStatus = 
+/** Completed run, ≥1 passing test, no unexpected failures. */
+'completed'
+/** Completed run with ≥1 test failure. */
+ | 'failures'
+/** Unavailable/incomplete: collection error, timeout, missing
+ * interpreter, interruption, zero tests, or only skipped/xfail. */
+ | 'incomplete';
+/** Advisory diagnostic cause codes (plan §5.4 — report-only, never verdicts). */
+export type DiagnosticCause = 'DIAGNOSTIC_TEST_FAILURE' | 'DIAGNOSTIC_RUN_INCOMPLETE';
+/** One structured per-suite diagnostic result (plan §5.1 "Diagnostic result"). */
+export interface DiagnosticRunResult {
+    /** The configured suite name. */
+    suite: string;
+    /** Honest status: completed | failures | incomplete. */
+    status: DiagnosticRunStatus;
+    /** Suite process exit code (pytest exit codes, null on spawn failure). */
+    exitCode: number | null;
+    /** True when the finite timeout expired and the child was killed. */
+    timedOut: boolean;
+    /** Spawn failure detail (e.g. missing interpreter), or null. */
+    spawnError: string | null;
+    /** Collection/setup errors observed (from stderr scan + junit). */
+    collectionErrors: string[];
+    /** The selected scope (the configured testPaths, verbatim). */
+    selectedScope: string[];
+    /** Node ids the report covered (file::name, parameters included). */
+    nodeIds: string[];
+    /** Per-case outcomes from the junit report. */
+    cases: Array<{
+        nodeId: string;
+        outcome: 'passed' | 'failed' | 'error' | 'skipped';
+        skipType?: string;
+        message?: string;
+        /** Failure phase: collection/setup surface as 'error', others 'call'. */
+        phase: 'collection' | 'setup' | 'call' | 'teardown' | 'unknown';
+    }>;
+    /** Explicit counters — skips/xfail never become passes or proof. */
+    counts: {
+        passed: number;
+        failed: number;
+        errors: number;
+        skipped: number;
+        xfailed: number;
+    };
+    /** True only when the run was bounded and its report parsed. */
+    complete: boolean;
+    /** Single-cause detail when incomplete. */
+    incompleteDetail: string | null;
+    /** Advisory causes for this suite (report-only). */
+    causes: DiagnosticCause[];
+    /** Absolute junit-XML report path (inside the excluded run-state dir). */
+    reportPath: string;
+    /** Whether the report file exists on disk. */
+    reportExists: boolean;
+    /** True when the junit report existed but could not be parsed (fail closed). */
+    reportUnparsable: boolean;
+}
+/**
+ * Executes one configured diagnostic suite ONCE (plan Phase 4 item 9, §3.5):
+ * an isolated process (every `GATEFORGE_*` variable stripped), the
+ * configured argv + a junit-XML report into the EXCLUDED run-state dir,
+ * and a finite timeout. The result is advisory diagnostic data — it is
+ * never witness evidence and never satisfies an E2E obligation.
+ *
+ * Exit semantics (plan §3.5 / pytest exit codes):
+ * - `completed`: run finished, ≥1 passed, no unexpected failures;
+ * - `failures`: the run finished with test failures;
+ * - `incomplete`: collection/setup error, timeout, missing interpreter,
+ *   interruption, zero tests, or a run of ONLY skipped/xfail cases —
+ *   never displayed as a passing diagnostic run.
+ *
+ * Args:
+ *   suite: the configured suite (argv, testPaths, timeoutMs).
+ *   repoRoot: absolute repo root (suite.cwd resolves against it).
+ *   stateDir: absolute run-state directory (excluded from inputs); the
+ *     junit report lands at `<stateDir>/diagnostics/<suite.name>.xml`.
+ *
+ * Returns:
+ *   Promise<DiagnosticRunResult>: the structured diagnostic result.
+ */
+export declare function executePytestSuite(suite: DiagnosticSuite, repoRoot: string, stateDir: string): Promise<DiagnosticRunResult>;
+/** Re-export so the adapter module is the single pytest surface. */
+export { TestDiscoveryError };
+//# sourceMappingURL=pytest-adapter.d.ts.map

package/dist/discovery/pytest-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pytest-adapter.d.ts","sourceRoot":"","sources":["../../src/discovery/pytest-adapter.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAgB,MAAM,gBAAgB,CAAC;AAElE,4DAA4D;AAC5D,MAAM,WAAW,mBAAmB;IAClC,qDAAqD;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,+CAA+C;IAC/C,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,qCAAqC;AACrC,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAC;IACrC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,6DAA6D;IAC7D,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,EAAE,CAElE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtF;AAOD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,CA2F7G;AAED,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC;IAClB,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,yCAAyC;IACzC,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IACnD,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6EAA6E;IAC7E,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,iDAAiD;AACjD,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED,kEAAkE;AAClE,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAI5B;AAyCD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,aAAa,CAwExD;AAWD;;;GAGG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,0EAA0E;AAC1E,MAAM,MAAM,mBAAmB;AAC7B,8DAA8D;AAC5D,WAAW;AACb,0CAA0C;GACxC,UAAU;AACZ;mEACmE;GACjE,YAAY,CAAC;AAEjB,iFAAiF;AACjF,MAAM,MAAM,eAAe,GAAG,yBAAyB,GAAG,2BAA2B,CAAC;AAEtF,kFAAkF;AAClF,MAAM,WAAW,mBAAmB;IAClC,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,MAAM,EAAE,mBAAmB,CAAC;IAC5B,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAC;IAClB,gEAAgE;IAChE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,mEAAmE;IACnE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,+DAA+D;IAC/D,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,qEAAqE;IACrE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,+CAA+C;IAC/C,KAAK,EAAE,KAAK,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;QACnD,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,yEAAyE;QACzE,KAAK,EAAE,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;KACjE,CAAC,CAAC;IACH,oEAAoE;IACpE,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7F,gEAAgE;IAChE,QAAQ,EAAE,OAAO,CAAC;IAClB,2CAA2C;IAC3C,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,oDAAoD;IACpD,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,0EAA0E;IAC1E,UAAU,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,YAAY,EAAE,OAAO,CAAC;IACtB,gFAAgF;IAChF,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAsB,kBAAkB,CACtC,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,mBAAmB,CAAC,CA2J9B;AAuDD,oEAAoE;AACpE,OAAO,EAAE,kBAAkB,EAAE,CAAC"}