playwright-intelligence-engine 0.0.0-stage → 2.0.0

package/dist/repair/assertion-hasher.d.ts

@@ -0,0 +1,62 @@
+import { Node, CallExpression } from 'ts-morph';
+export interface CompositeIntentFingerprint {
+    assertionFingerprint: string;
+    testBodyFingerprint: string;
+    fixtureFingerprint: string;
+    compositeHash: string;
+}
+export declare class AssertionHasher {
+    /**
+     * Computes a canonical, whitespace-and-formatting-insensitive SHA-256 hash of all expect() assertions.
+     * Ensures that code repairs never mutate, delete, or weaken test assertions.
+     * Preserves exact whitespace and characters inside string literals.
+     */
+    static computeFingerprint(testFilePath: string): string;
+    /**
+     * Discovers assertion identifiers imported from @playwright/test (e.g. `expect`, or aliased `expect as verify`).
+     */
+    static discoverAssertionIdentifiers(sourceNode: Node): Set<string>;
+    /**
+     * Computes SHA-256 of all assertion expressions in the file.
+     * Identifies assertions semantically (calls to expect(), expect.soft(), expect.poll(), or aliased verify()).
+     * Preserves exact string literal contents and argument ordering.
+     */
+    static computeAssertionFingerprint(testFilePath: string): string;
+    /**
+     * Semantically identifies whether a CallExpression is an assertion API call (or part of an assertion chain).
+     */
+    static isAssertionCall(callExpr: CallExpression, knownIdentifiers?: Set<string>): boolean;
+    /**
+     * Determines whether a CallExpression is the outermost assertion call in a chain.
+     * Prevents recording duplicate partial assertion calls (e.g. both `expect(x)` and `expect(x).toBe(y)`).
+     */
+    static isOutermostAssertionCall(callExpr: CallExpression, knownIdentifiers?: Set<string>): boolean;
+    /**
+     * Computes SHA-256 structural fingerprint of test body statements, control flow, conditions and operators.
+     * Ensures statement sequence, logical operators, condition expressions, and argument structure remain invariant.
+     */
+    static computeTestBodyFingerprint(testFilePath: string): string;
+    /**
+     * Computes SHA-256 of test fixtures, parameters, and input literals.
+     * Preserves exact ordering and associations (e.g. object property key-value pairs).
+     * Does NOT sort away key-value associations.
+     */
+    static computeFixtureFingerprint(testFilePath: string): string;
+    /**
+     * Computes full composite intent fingerprint combining assertions, test structure, and fixtures.
+     */
+    static computeCompositeFingerprint(testFilePath: string): CompositeIntentFingerprint;
+    /**
+     * Extracts canonical assertion records from in-memory source.
+     */
+    static extractAssertionRecordsFromSource(sourceText: string, fileName?: string): any[];
+    /**
+     * Computes composite intent fingerprint directly from in-memory source code.
+     */
+    static computeCompositeFingerprintFromSource(sourceText: string, fileName?: string): CompositeIntentFingerprint;
+    /**
+     * Canonicalizes an assertion node while strictly preserving string literals exactly.
+     */
+    private static canonicalizeAssertion;
+}
+//# sourceMappingURL=assertion-hasher.d.ts.map

package/dist/repair/assertion-hasher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-hasher.d.ts","sourceRoot":"","sources":["../../src/repair/assertion-hasher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,IAAI,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAGzD,MAAM,WAAW,0BAA0B;IACzC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,qBAAa,eAAe;IAC1B;;;;OAIG;IACH,OAAc,kBAAkB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAE7D;IAED;;OAEG;IACH,OAAc,4BAA4B,CAAC,UAAU,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAmBxE;IAED;;;;OAIG;IACH,OAAc,2BAA2B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAgBtE;IAED;;OAEG;IACH,OAAc,eAAe,CAAC,QAAQ,EAAE,cAAc,EAAE,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAyB/F;IAED;;;OAGG;IACH,OAAc,wBAAwB,CAAC,QAAQ,EAAE,cAAc,EAAE,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAkBxG;IAED;;;OAGG;IACH,OAAc,0BAA0B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CA0DrE;IAED;;;;OAIG;IACH,OAAc,yBAAyB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CA6BpE;IAED;;OAEG;IACH,OAAc,2BAA2B,CAAC,YAAY,EAAE,MAAM,GAAG,0BAA0B,CAgB1F;IAED;;OAEG;IACH,OAAc,iCAAiC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAsB,GAAG,GAAG,EAAE,CAWzG;IAED;;OAEG;IACH,OAAc,qCAAqC,CACjD,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAsB,GAC7B,0BAA0B,CA4F5B;IAED;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,qBAAqB;CAwBrC"}

package/dist/repair/ast-patcher.d.ts

@@ -0,0 +1,36 @@
+export interface PatchTarget {
+    filePath: string;
+    className: string;
+    memberName: string;
+    replacementExpression: string;
+}
+export type SupportedPOMPattern = 'property-initializer' | 'getter-return' | 'constructor-assignment' | 'parameterless-factory' | 'locator-constant';
+export interface PatchResult {
+    success: boolean;
+    pattern: SupportedPOMPattern;
+    originalExpression: string;
+    replacementExpression: string;
+    patchedSource?: string;
+}
+export declare class AstPatcher {
+    private project;
+    constructor(tsConfigFilePath?: string);
+    static generateDiff(originalText: string, patchedText: string, fileName?: string): string;
+    /**
+     * Surgical AST modification targeting Page Object locator definitions in-memory.
+     * Does NOT write to disk, enabling sandboxed validation and atomic diff checking.
+     */
+    patchPageObjectInMemory(sourceText: string, target: Omit<PatchTarget, 'filePath'>): {
+        patchedSource: string;
+        pattern: SupportedPOMPattern;
+        originalExpression: string;
+        diff: string;
+    };
+    /**
+     * Surgical AST modification targeting Page Object locator definitions.
+     * Performs in-memory patch validation, then atomically writes to disk
+     * using a temporary file and atomic rename to guarantee transactional consistency.
+     */
+    patchPageObject(target: PatchTarget): PatchResult;
+}
+//# sourceMappingURL=ast-patcher.d.ts.map

package/dist/repair/ast-patcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-patcher.d.ts","sourceRoot":"","sources":["../../src/repair/ast-patcher.ts"],"names":[],"mappings":"AAMA,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,MAAM,mBAAmB,GAC3B,sBAAsB,GACtB,eAAe,GACf,wBAAwB,GACxB,uBAAuB,GACvB,kBAAkB,CAAC;AAEvB,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,mBAAmB,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,qBAAa,UAAU;IACrB,OAAO,CAAC,OAAO,CAAU;IAEzB,YAAY,gBAAgB,CAAC,EAAE,MAAM,EAWpC;IAED,OAAc,YAAY,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,SAAc,GAAG,MAAM,CAapG;IAED;;;OAGG;IACI,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG;QACzF,aAAa,EAAE,MAAM,CAAC;QACtB,OAAO,EAAE,mBAAmB,CAAC;QAC7B,kBAAkB,EAAE,MAAM,CAAC;QAC3B,IAAI,EAAE,MAAM,CAAC;KACd,CA0GA;IAED;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAwCvD;CACF"}

package/dist/repair/browser-operation-executor.d.ts

@@ -0,0 +1,27 @@
+import { LocatorPlan } from '../selector/candidate-extractor.js';
+import { LiveVerificationResult } from '../selector/live-locator-verifier.js';
+import { RepairOperation } from './repair-operations.js';
+export type BrowserOperationStatus = 'VERIFIED' | 'FAILED' | 'ABSTAINED';
+export interface BrowserOperationExecutionInput {
+    pageOrFrame: any;
+    operation: unknown;
+    targetPlan?: LocatorPlan | undefined;
+    replacementPlan?: LocatorPlan | undefined;
+    overlayPlan?: LocatorPlan | undefined;
+    allowInteraction?: boolean | undefined;
+}
+export interface BrowserOperationExecutionResult {
+    status: BrowserOperationStatus;
+    kind: RepairOperation['kind'];
+    action: 'verify' | 'click' | 'none';
+    verification?: LiveVerificationResult | undefined;
+    evidence: string[];
+    reason?: string | undefined;
+}
+/**
+ * Executes only the browser-safe subset of allowlisted repair operations.
+ * It accepts typed LocatorPlans rather than evaluating model-generated strings.
+ * Source mutation remains a separate AST/worktree/approval lifecycle.
+ */
+export declare function executeBrowserOperation(input: BrowserOperationExecutionInput): Promise<BrowserOperationExecutionResult>;
+//# sourceMappingURL=browser-operation-executor.d.ts.map

package/dist/repair/browser-operation-executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"browser-operation-executor.d.ts","sourceRoot":"","sources":["../../src/repair/browser-operation-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACjE,OAAO,EAAuB,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AACnG,OAAO,EAAE,eAAe,EAA2B,MAAM,wBAAwB,CAAC;AAGlF,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,QAAQ,GAAG,WAAW,CAAC;AAEzE,MAAM,WAAW,8BAA8B;IAC7C,WAAW,EAAE,GAAG,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACrC,eAAe,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAC1C,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACtC,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACxC;AAED,MAAM,WAAW,+BAA+B;IAC9C,MAAM,EAAE,sBAAsB,CAAC;IAC/B,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;IACpC,YAAY,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC;IAClD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAyJD;;;;GAIG;AACH,wBAAsB,uBAAuB,CAAC,KAAK,EAAE,8BAA8B,GAAG,OAAO,CAAC,+BAA+B,CAAC,CAiF7H"}

package/dist/repair/diff-allowlist.d.ts

@@ -0,0 +1,74 @@
+export interface DiffAllowlistTarget {
+    originalSource: string;
+    patchedSource: string;
+    targetClassName: string;
+    targetMemberName: string;
+}
+export interface DiffAllowlistResult {
+    isAllowed: boolean;
+    reason?: string | undefined;
+    modifiedMember?: string | undefined;
+}
+export declare class DiffAllowlistValidator {
+    private static readonly APPROVED_LOCATOR_METHODS;
+    /**
+     * Validates that ONLY the authorized locator member within the specified Page Object was modified.
+     * Compares the COMPLETE AST of the source file:
+     * - Prohibits modifying or adding imports.
+     * - Prohibits adding, removing, or modifying top-level functions, variables, interfaces, enums, type aliases.
+     * - Prohibits adding or removing class members (properties, methods, getters, setters, constructors).
+     * - Prohibits modifying class inheritance, decorators, or modifiers.
+     * - Validates that the replacement expression conforms strictly to the approved Playwright locator grammar.
+     */
+    static validate(target: DiffAllowlistTarget): DiffAllowlistResult;
+    private static readonly APPROVED_OPTION_KEYS;
+    private static isLiteralValue;
+    /**
+     * Recursively validates an argument node passed into a locator method call.
+     * Strictly disallows identifiers (process.env), arbitrary function calls,
+     * arrow functions, dynamic property accesses, and executable code.
+     */
+    private static validateArgumentNode;
+    /**
+     * Validates a locator call chain expression recursively, including all arguments.
+     */
+    private static validateLocatorCallChain;
+    /**
+     * Validates that a replacement expression is strictly a safe Playwright locator call AST.
+     * Rejects arbitrary statements, process calls, functions, or unapproved methods.
+     */
+    static validateLocatorGrammar(expressionText: string): {
+        isValid: boolean;
+        reason?: string;
+    };
+    /**
+     * Asserts diff allowlist compliance, throwing UnauthorizedAstModificationError if violated.
+     */
+    static assertAllowed(target: DiffAllowlistTarget): void;
+}
+export interface StatementDiffAllowlistTarget {
+    originalSource: string;
+    patchedSource: string;
+    operation?: string | undefined;
+    targetLine?: number | undefined;
+}
+export interface StatementDiffAllowlistResult {
+    isAllowed: boolean;
+    reason?: string | undefined;
+}
+export declare class StatementDiffAllowlistValidator {
+    private static readonly DISALLOWED_SECURITY_TOKENS;
+    /**
+     * Validates that ONLY approved statement-level modifications (timing synchronizations,
+     * event-driven wait replacements, readiness checks, or inline locator repairs) were applied to the test spec AST.
+     *
+     * Guarantees:
+     * - No arbitrary code execution or dangerous APIs.
+     * - No unauthorized third-party module imports.
+     * - Top-level declarations (functions, classes, interfaces, types) remain invariant.
+     * - Test block structure and test descriptions remain invariant.
+     */
+    static validate(target: StatementDiffAllowlistTarget): StatementDiffAllowlistResult;
+    static assertAllowed(target: StatementDiffAllowlistTarget): void;
+}
+//# sourceMappingURL=diff-allowlist.d.ts.map

package/dist/repair/diff-allowlist.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-allowlist.d.ts","sourceRoot":"","sources":["../../src/repair/diff-allowlist.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED,qBAAa,sBAAsB;IACjC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAc7C;IAEH;;;;;;;;OAQG;IACH,OAAc,QAAQ,CAAC,MAAM,EAAE,mBAAmB,GAAG,mBAAmB,CA4NvE;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAezC;IAEH,OAAO,CAAC,MAAM,CAAC,cAAc;IAU7B;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,oBAAoB;IAwDnC;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,wBAAwB;IA0CvC;;;OAGG;IACH,OAAc,sBAAsB,CAAC,cAAc,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAsDlG;IAED;;OAEG;IACH,OAAc,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAK7D;CACF;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC;AAED,MAAM,WAAW,4BAA4B;IAC3C,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,qBAAa,+BAA+B;IAC1C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAUhD;IAEF;;;;;;;;;OASG;IACH,OAAc,QAAQ,CAAC,MAAM,EAAE,4BAA4B,GAAG,4BAA4B,CAoGzF;IAED,OAAc,aAAa,CAAC,MAAM,EAAE,4BAA4B,GAAG,IAAI,CAKtE;CACF"}

package/dist/repair/intent-validator.d.ts

@@ -0,0 +1,157 @@
+import { CompositeIntentFingerprint } from './assertion-hasher.js';
+import { ResolvedElement } from '../trace/snapshot-resolver.js';
+export interface ValidationTarget {
+    testFilePath: string;
+    originalFingerprint: string;
+    candidateElement: ResolvedElement;
+    intendedAction: string;
+    originalSelector?: string | undefined;
+    businessOracleStatus?: 'verified' | 'contradicted' | 'unavailable' | undefined;
+}
+export interface VerifiedExecutionProof {
+    proposalId?: string | undefined;
+    worktreeId: string;
+    repositoryIdentity?: string | undefined;
+    originalSourceHash?: string | undefined;
+    modifiedSourceHash?: string | undefined;
+    diffHash?: string | undefined;
+    targetTestIdentity?: string | undefined;
+    testFilePath: string;
+    command: string;
+    exitCode: number;
+    stdout: string;
+    stderr: string;
+    passed: boolean;
+    executionOutcome?: 'PASS' | 'FAIL' | undefined;
+    durationMs: number;
+    targetTestEvidence?: string[] | undefined;
+    regressionEvidence?: string[] | undefined;
+    assertionIntegrityValid?: boolean | undefined;
+    timestamp: number;
+    proofVersion?: string | undefined;
+}
+export interface PreflightProposalTarget {
+    testFilePath: string;
+    originalCompositeFingerprint: CompositeIntentFingerprint;
+    candidateElement: ResolvedElement;
+    intendedAction: string;
+    originalSelector?: string | undefined;
+    businessOracleStatus?: 'verified' | 'contradicted' | 'unavailable' | undefined;
+}
+export interface PreflightProposalResult {
+    isValid: boolean;
+    assertionsPreserved: boolean;
+    testBodyPreserved: boolean;
+    fixturesPreserved: boolean;
+    identityAndActionPreserved: boolean;
+    summary: string;
+    reason?: string | undefined;
+}
+export interface VerifiedAuthorizationTarget {
+    testFilePath: string;
+    originalCompositeFingerprint: CompositeIntentFingerprint;
+    pageObjectOriginalSource: string;
+    pageObjectPatchedSource: string;
+    pageObjectClassName: string;
+    targetMemberName: string;
+    candidateElement: ResolvedElement;
+    intendedAction: string;
+    originalSelector?: string | undefined;
+    executionProof: VerifiedExecutionProof;
+    businessOracleStatus?: 'verified' | 'contradicted' | 'unavailable' | undefined;
+}
+export interface VerifiedAuthorizationResult {
+    isAuthorized: boolean;
+    assertionsPreserved: boolean;
+    testBodyPreserved: boolean;
+    fixturesPreserved: boolean;
+    identityAndActionPreserved: boolean;
+    diffAllowlistPassed: boolean;
+    executionVerified: boolean;
+    summary: string;
+    reason?: string | undefined;
+}
+export interface IntentV2ValidationTarget {
+    testFilePath: string;
+    originalCompositeFingerprint: CompositeIntentFingerprint;
+    pageObjectOriginalSource?: string | undefined;
+    pageObjectPatchedSource?: string | undefined;
+    pageObjectClassName?: string | undefined;
+    targetMemberName?: string | undefined;
+    candidateElement: ResolvedElement;
+    intendedAction: string;
+    originalSelector?: string | undefined;
+    executionPassed?: boolean | undefined;
+    executionProof?: VerifiedExecutionProof | undefined;
+    mode?: 'pre-flight' | 'authorization' | undefined;
+    strict?: boolean | undefined;
+    businessOracleStatus?: 'verified' | 'contradicted' | 'unavailable' | undefined;
+    pattern?: string | undefined;
+}
+export interface IntentValidationResult {
+    isValid: boolean;
+    assertionPreserved: boolean;
+    actionSemanticsValid: boolean;
+    identityPreserved: boolean;
+    reason?: string | undefined;
+}
+export interface IntentV2ValidationResult {
+    isValid: boolean;
+    assertionsPreserved: boolean;
+    testBodyPreserved: boolean;
+    fixturesPreserved: boolean;
+    identityAndActionPreserved: boolean;
+    diffAllowlistPassed: boolean;
+    executionVerified: boolean;
+    reason?: string | undefined;
+    summary: string;
+}
+export declare class IntentValidator {
+    private static readonly CONFLICTING_ACTION_PAIRS;
+    /**
+     * Validates whether candidate element preserves genuine business identity
+     * without substituting contradictory actions (e.g. replacing 'Submit' with 'Cancel').
+     */
+    static verifyTargetIdentity(originalSelector: string | undefined, candidate: ResolvedElement): {
+        isPreserved: boolean;
+        reason?: string;
+    };
+    /**
+     * Backward-compatible validation for simple assertion and identity checks.
+     */
+    static validate(target: ValidationTarget): IntentValidationResult;
+    /**
+     * Evaluates proposal pre-flight invariant: V_pre = A ∧ T ∧ F ∧ I
+     * Used strictly for in-memory planning without claiming mutation authorization.
+     */
+    static validateProposal(target: PreflightProposalTarget): PreflightProposalResult;
+    /**
+     * Evaluates strict production authorization invariant: V = A ∧ T ∧ F ∧ I ∧ D ∧ E
+     * Unconditionally fails closed if any evidence is missing or execution proof fails.
+     */
+    static authorizeVerifiedRepair(target: VerifiedAuthorizationTarget): VerifiedAuthorizationResult;
+    /**
+     * INVARIANT: Input Data Integrity.
+     * Tests are executable business specifications. Repairing a broken locator or timing
+     * issue MUST NOT mutate business input parameters (quantities, credentials, search queries, prices).
+     */
+    static validateInputDataIntegrity(originalSource: string, patchedSource: string): {
+        isValid: boolean;
+        reason?: string;
+    };
+    /**
+     * INVARIANT: Workflow Step Integrity.
+     * Repairs must not delete, add, or reorder intermediate workflow steps (e.g. swapping or skipping checkout steps).
+     */
+    static validateWorkflowStepIntegrity(originalSource: string, patchedSource: string): {
+        isValid: boolean;
+        reason?: string;
+    };
+    /**
+     * Unified v2 entry point. Preserves backward compatibility while enforcing fail-closed
+     * authorization when mode !== 'pre-flight'.
+     */
+    static validateV2(target: IntentV2ValidationTarget): IntentV2ValidationResult;
+    private static checkActionSemantics;
+}
+//# sourceMappingURL=intent-validator.d.ts.map

package/dist/repair/intent-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-validator.d.ts","sourceRoot":"","sources":["../../src/repair/intent-validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAOpF,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,eAAe,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,oBAAoB,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,SAAS,CAAC;CAChF;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,kBAAkB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,kBAAkB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,gBAAgB,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC1C,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC1C,uBAAuB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,4BAA4B,EAAE,0BAA0B,CAAC;IACzD,gBAAgB,EAAE,eAAe,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,oBAAoB,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,SAAS,CAAC;CAChF;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,0BAA0B,EAAE,OAAO,CAAC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,2BAA2B;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,4BAA4B,EAAE,0BAA0B,CAAC;IACzD,wBAAwB,EAAE,MAAM,CAAC;IACjC,uBAAuB,EAAE,MAAM,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,eAAe,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,cAAc,EAAE,sBAAsB,CAAC;IACvC,oBAAoB,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,SAAS,CAAC;CAChF;AAED,MAAM,WAAW,2BAA2B;IAC1C,YAAY,EAAE,OAAO,CAAC;IACtB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,0BAA0B,EAAE,OAAO,CAAC;IACpC,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,4BAA4B,EAAE,0BAA0B,CAAC;IACzD,wBAAwB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9C,uBAAuB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7C,mBAAmB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,gBAAgB,EAAE,eAAe,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACtC,cAAc,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC;IACpD,IAAI,CAAC,EAAE,YAAY,GAAG,eAAe,GAAG,SAAS,CAAC;IAClD,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,oBAAoB,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,SAAS,CAAC;IAC/E,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,0BAA0B,EAAE,OAAO,CAAC;IACpC,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,eAAe;IAC1B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAS9C;IAEF;;;OAGG;IACH,OAAc,oBAAoB,CAChC,gBAAgB,EAAE,MAAM,GAAG,SAAS,EACpC,SAAS,EAAE,eAAe,GACzB;QAAE,WAAW,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CA+C3C;IAED;;OAEG;IACH,OAAc,QAAQ,CAAC,MAAM,EAAE,gBAAgB,GAAG,sBAAsB,CAgBvE;IAED;;;OAGG;IACH,OAAc,gBAAgB,CAAC,MAAM,EAAE,uBAAuB,GAAG,uBAAuB,CA2DvF;IAED;;;OAGG;IACH,OAAc,uBAAuB,CAAC,MAAM,EAAE,2BAA2B,GAAG,2BAA2B,CA8DtG;IAED;;;;OAIG;IACH,OAAc,0BAA0B,CACtC,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,GACpB;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CA2DvC;IAED;;;OAGG;IACH,OAAc,6BAA6B,CACzC,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,GACpB;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAqDvC;IAED;;;OAGG;IACH,OAAc,UAAU,CAAC,MAAM,EAAE,wBAAwB,GAAG,wBAAwB,CAyPnF;IAED,OAAO,CAAC,MAAM,CAAC,oBAAoB;CA2BpC"}

package/dist/repair/repair-operations.d.ts

@@ -0,0 +1,40 @@
+import { z } from 'zod';
+export declare const RepairOperationKindSchema: z.ZodEnum<{
+    abstain: "abstain";
+    add_frame_scope: "add_frame_scope";
+    add_shadow_scope: "add_shadow_scope";
+    dismiss_overlay: "dismiss_overlay";
+    replace_locator: "replace_locator";
+    replace_select_with_combobox_flow: "replace_select_with_combobox_flow";
+    replace_unstable_wait_with_state_wait: "replace_unstable_wait_with_state_wait";
+    satisfy_prerequisite: "satisfy_prerequisite";
+}>;
+export type RepairOperationKind = z.infer<typeof RepairOperationKindSchema>;
+export declare const RepairOperationSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        abstain: "abstain";
+        add_frame_scope: "add_frame_scope";
+        add_shadow_scope: "add_shadow_scope";
+        dismiss_overlay: "dismiss_overlay";
+        replace_locator: "replace_locator";
+        replace_select_with_combobox_flow: "replace_select_with_combobox_flow";
+        replace_unstable_wait_with_state_wait: "replace_unstable_wait_with_state_wait";
+        satisfy_prerequisite: "satisfy_prerequisite";
+    }>;
+    target: z.ZodOptional<z.ZodString>;
+    locator: z.ZodOptional<z.ZodString>;
+    frameLocator: z.ZodOptional<z.ZodString>;
+    shadowPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    prerequisite: z.ZodOptional<z.ZodString>;
+    steps: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type RepairOperation = z.infer<typeof RepairOperationSchema>;
+export interface RepairOperationValidation {
+    isValid: boolean;
+    reason?: string;
+    operation?: RepairOperation;
+}
+export declare function validateRepairOperation(input: unknown): RepairOperationValidation;
+export declare function isSourceMutationOperation(operation: RepairOperation): boolean;
+//# sourceMappingURL=repair-operations.d.ts.map

package/dist/repair/repair-operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair-operations.d.ts","sourceRoot":"","sources":["../../src/repair/repair-operations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,yBAAyB;;;;;;;;;EASpC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;kBASvB,CAAC;AAEZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,eAAe,CAAC;CAC7B;AAaD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CAcjF;AAED,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,eAAe,GAAG,OAAO,CAE7E"}

package/dist/repair/repair-planner.d.ts

@@ -0,0 +1,98 @@
+import { StatementPatchPlan } from './statement-patcher.js';
+import { CompositeIntentFingerprint } from './assertion-hasher.js';
+import { IntentV2ValidationResult, VerifiedExecutionProof } from './intent-validator.js';
+import { RepairEvidence } from '../core/types/repair-evidence.js';
+import { ResolvedElement } from '../trace/snapshot-resolver.js';
+import { ExecutionResult } from '../sandbox/execution-runner.js';
+import { BusinessIntent, BusinessOracleResult } from '../intelligence/business-intent.js';
+export type RepairLifecycleState = 'ANALYZED' | 'PROPOSED' | 'PATCHED_IN_ISOLATION' | 'INTENT_VALIDATED' | 'TARGET_TEST_PASSED' | 'AFFECTED_TESTS_PASSED' | 'FULL_SUITE_PASSED' | 'READY_FOR_APPROVAL' | 'REJECTED';
+export interface RepairProposal {
+    state: RepairLifecycleState;
+    originalActionId: string;
+    originalSelector: string;
+    replacementSelector: string;
+    candidateElement: ResolvedElement;
+    candidateScore: number;
+    testFilePath: string;
+    pomFilePath: string;
+    className: string;
+    memberName: string;
+    intendedAction: string;
+    originalCompositeFingerprint: CompositeIntentFingerprint;
+    proposedPatchedSource: string;
+    originalSource: string;
+    pattern: string;
+    fullDiff?: string | undefined;
+    diffAllowlistPassed: boolean;
+    businessIntent?: BusinessIntent | undefined;
+}
+export interface RepairVerificationInput {
+    proposal: RepairProposal;
+    worktreePath: string;
+    worktreeId: string;
+    workspaceRoot?: string | undefined;
+    configPath?: string | undefined;
+    project?: string | undefined;
+    businessOracleStatus?: 'verified' | 'contradicted' | 'unavailable' | undefined;
+}
+export interface VerifiedRepairResult {
+    state: RepairLifecycleState;
+    evidence: RepairEvidence;
+    executionResult: ExecutionResult;
+    intentValidation: IntentV2ValidationResult;
+    executionProof: VerifiedExecutionProof;
+    isReadyForApproval: boolean;
+    businessOracleResults?: BusinessOracleResult[] | undefined;
+}
+export interface RepairPlanInput {
+    originalActionId: string;
+    originalSelector: string;
+    candidateElement: ResolvedElement;
+    candidateScore: number;
+    testFilePath: string;
+    pomFilePath: string;
+    className: string;
+    memberName: string;
+    intendedAction: string;
+    replacementSelector?: string | undefined;
+    worktreeId?: string | undefined;
+}
+export interface StatementRepairPlanInput {
+    originalActionId: string;
+    originalSelector?: string | undefined;
+    testFilePath: string;
+    plan: StatementPatchPlan;
+    candidateElement?: ResolvedElement | undefined;
+    candidateScore?: number | undefined;
+    intendedAction?: string | undefined;
+    worktreeId?: string | undefined;
+}
+export declare class RepairPlanner {
+    /**
+     * Generates a modern, user-centric Playwright locator expression prioritizing getByRole and getByTestId.
+     * Employs robust string escaping; avoids bare tag fallbacks.
+     */
+    static generateSelectorExpression(el: ResolvedElement, pageProperty?: string): string;
+    /**
+     * Generates a verified in-memory statement patch proposal using StatementPatcher.
+     * Enables healing of inline test statements, timing synchronization, and sleep elimination.
+     */
+    static planStatementRepair(input: StatementRepairPlanInput): RepairProposal;
+    /**
+     * Stage 1 & 2: Analyzes candidate and generates an in-memory repair proposal.
+     * Does NOT modify source files on disk. Does NOT claim repair success.
+     */
+    static planRepair(input: RepairPlanInput): RepairProposal;
+    /**
+     * Stages 3-8: Applies patch strictly inside the isolated Git worktree, runs test execution,
+     * validates Intent Invariant v2 with actual execution proof, and derives verified evidence.
+     */
+    static executeAndVerifyInWorktree(input: RepairVerificationInput): Promise<VerifiedRepairResult>;
+    /**
+     * Backward-compatible planAndExecute wrapper.
+     * Generates in-memory repair proposal and validates intent in-memory.
+     * Strictly PROHIBITS direct disk mutation without isolated worktree execution.
+     */
+    static planAndExecute(input: RepairPlanInput): RepairEvidence;
+}
+//# sourceMappingURL=repair-planner.d.ts.map

package/dist/repair/repair-planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair-planner.d.ts","sourceRoot":"","sources":["../../src/repair/repair-planner.ts"],"names":[],"mappings":"AAGA,OAAO,EAAoB,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,EAAmB,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAmB,wBAAwB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAG1G,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAmB,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAElF,OAAO,EACL,cAAc,EACd,oBAAoB,EAGrB,MAAM,oCAAoC,CAAC;AAE5C,MAAM,MAAM,oBAAoB,GAC5B,UAAU,GACV,UAAU,GACV,sBAAsB,GACtB,kBAAkB,GAClB,oBAAoB,GACpB,uBAAuB,GACvB,mBAAmB,GACnB,oBAAoB,GACpB,UAAU,CAAC;AAEf,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,eAAe,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,4BAA4B,EAAE,0BAA0B,CAAC;IACzD,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,cAAc,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;CAC7C;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,cAAc,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,oBAAoB,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,SAAS,CAAC;CAChF;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,oBAAoB,CAAC;IAC5B,QAAQ,EAAE,cAAc,CAAC;IACzB,eAAe,EAAE,eAAe,CAAC;IACjC,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,cAAc,EAAE,sBAAsB,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;IAC5B,qBAAqB,CAAC,EAAE,oBAAoB,EAAE,GAAG,SAAS,CAAC;CAC5D;AAED,MAAM,WAAW,eAAe;IAC9B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,eAAe,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,mBAAmB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,gBAAgB,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAC/C,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC;AAED,qBAAa,aAAa;IACxB;;;OAGG;IACH,OAAc,0BAA0B,CAAC,EAAE,EAAE,eAAe,EAAE,YAAY,SAAc,GAAG,MAAM,CAEhG;IAED;;;OAGG;IACH,OAAc,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,GAAG,cAAc,CAgDjF;IAED;;;OAGG;IACH,OAAc,UAAU,CAAC,KAAK,EAAE,eAAe,GAAG,cAAc,CA6D/D;IAED;;;OAGG;IACH,OAAoB,0BAA0B,CAC5C,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,oBAAoB,CAAC,CAuL/B;IAED;;;;OAIG;IACH,OAAc,cAAc,CAAC,KAAK,EAAE,eAAe,GAAG,cAAc,CA0CnE;CACF"}

package/dist/repair/repair-workflow.d.ts

@@ -0,0 +1,42 @@
+import { CorrelatedEvidence } from '../diagnostics/evidence-correlator.js';
+import { StagedProposal } from './approval-service.js';
+import { RepairProposal, VerifiedRepairResult } from './repair-planner.js';
+import { WorktreeInfo } from '../sandbox/worktree-manager.js';
+export type RepairWorkflowStatus = 'ABSTAINED' | 'INPUT_REQUIRED' | 'OPERATION_PROPOSAL_ONLY' | 'PROPOSAL_READY' | 'VERIFIED_READY_FOR_APPROVAL' | 'REJECTED';
+export interface RepairWorkflowInput {
+    tracePath: string;
+    workspaceRoot?: string | undefined;
+    errorContextPath?: string | undefined;
+    testFilePath?: string | undefined;
+    pomFilePath?: string | undefined;
+    className?: string | undefined;
+    memberName?: string | undefined;
+    configPath?: string | undefined;
+    project?: string | undefined;
+    execute?: boolean | undefined;
+    worktreeId?: string | undefined;
+    operation?: unknown;
+    requireOperationTargetMatch?: boolean | undefined;
+}
+export interface RepairWorkflowResult {
+    status: RepairWorkflowStatus;
+    correlated: CorrelatedEvidence;
+    proposedLocator?: string | undefined;
+    candidate?: {
+        locatorExpression: string;
+        score: number;
+        element: RepairProposal['candidateElement'];
+    } | undefined;
+    proposal?: RepairProposal | undefined;
+    stagedProposal?: StagedProposal | undefined;
+    worktree?: WorktreeInfo | undefined;
+    verification?: VerifiedRepairResult | undefined;
+    reason?: string | undefined;
+}
+/**
+ * Trace-to-repair bridge. It is proposal-only by default. `execute: true`
+ * creates a dedicated worktree and runs the existing verification lifecycle;
+ * it never writes the active workspace or issues an approval token.
+ */
+export declare function runRepairWorkflow(input: RepairWorkflowInput): Promise<RepairWorkflowResult>;
+//# sourceMappingURL=repair-workflow.d.ts.map

package/dist/repair/repair-workflow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair-workflow.d.ts","sourceRoot":"","sources":["../../src/repair/repair-workflow.ts"],"names":[],"mappings":"AAKA,OAAO,EAAsB,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAI/F,OAAO,EAAmB,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAiB,cAAc,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAmB,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAK/E,MAAM,MAAM,oBAAoB,GAAG,WAAW,GAAG,gBAAgB,GAAG,yBAAyB,GAAG,gBAAgB,GAAG,6BAA6B,GAAG,UAAU,CAAC;AAE9J,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,2BAA2B,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACnD;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,oBAAoB,CAAC;IAC7B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,SAAS,CAAC,EAAE;QACV,iBAAiB,EAAE,MAAM,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,cAAc,CAAC,kBAAkB,CAAC,CAAC;KAC7C,GAAG,SAAS,CAAC;IACd,QAAQ,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IACtC,cAAc,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC;IACpC,YAAY,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IAChD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAkDD;;;;GAIG;AACH,wBAAsB,iBAAiB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAyIjG"}

package/dist/repair/safe-operation-compiler.d.ts

@@ -0,0 +1,15 @@
+import { RepairOperation } from './repair-operations.js';
+export type SafeOperationReadiness = 'READY_FOR_ISOLATED_VERIFICATION' | 'PROPOSAL_ONLY' | 'ABSTAIN';
+export interface CompiledSafeOperation {
+    readiness: SafeOperationReadiness;
+    kind: RepairOperation['kind'];
+    target?: string | undefined;
+    replacementLocator?: string | undefined;
+    reason: string;
+}
+/**
+ * Converts allowlisted workflow operations into immutable locator proposals.
+ * It never writes source files and never claims browser execution succeeded.
+ */
+export declare function compileSafeRepairOperation(input: unknown): CompiledSafeOperation;
+//# sourceMappingURL=safe-operation-compiler.d.ts.map

package/dist/repair/safe-operation-compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"safe-operation-compiler.d.ts","sourceRoot":"","sources":["../../src/repair/safe-operation-compiler.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAA2B,MAAM,wBAAwB,CAAC;AAElF,MAAM,MAAM,sBAAsB,GAAG,iCAAiC,GAAG,eAAe,GAAG,SAAS,CAAC;AAErG,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,sBAAsB,CAAC;IAClC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;CAChB;AAgBD;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAoChF"}

package/dist/repair/source-mapper.d.ts

@@ -0,0 +1,19 @@
+import { FailedAction } from '../core/types/diagnostic-context.js';
+export interface RepairSourceMapping {
+    testFilePath: string;
+    pomFilePath: string;
+    className: string;
+    memberName: string;
+    confidence: number;
+    evidence: string[];
+}
+/**
+ * Finds a unique Page Object locator for a failed trace action. This is
+ * intentionally selector-based and fail-closed; it does not infer a class or
+ * member from naming conventions when the selector evidence is absent.
+ */
+export declare function discoverRepairSourceMapping(input: {
+    workspaceRoot: string;
+    failedAction: FailedAction;
+}): Promise<RepairSourceMapping | undefined>;
+//# sourceMappingURL=source-mapper.d.ts.map

package/dist/repair/source-mapper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-mapper.d.ts","sourceRoot":"","sources":["../../src/repair/source-mapper.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAGnE,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAqFD;;;;GAIG;AACH,wBAAsB,2BAA2B,CAAC,KAAK,EAAE;IACvD,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,YAAY,CAAC;CAC5B,GAAG,OAAO,CAAC,mBAAmB,GAAG,SAAS,CAAC,CAkD3C"}