playwright-intelligence-engine 0.0.0-stage → 2.0.0

package/dist/intelligence/workflow-planner.d.ts

@@ -0,0 +1,278 @@
+import { z } from 'zod';
+import { ExistingTestInput, RequirementInput } from './test-intelligence.js';
+export declare const WorkflowProvenanceSchema: z.ZodEnum<{
+    assumption: "assumption";
+    "diff-derived": "diff-derived";
+    "explicit-requirement": "explicit-requirement";
+    "source-derived": "source-derived";
+}>;
+export type WorkflowProvenance = z.infer<typeof WorkflowProvenanceSchema>;
+export declare const WorkflowScenarioCategorySchema: z.ZodEnum<{
+    authentication: "authentication";
+    authorization: "authorization";
+    boundary: "boundary";
+    "error-handling": "error-handling";
+    "happy-path": "happy-path";
+    negative: "negative";
+    persistence: "persistence";
+    recovery: "recovery";
+    "required-fields": "required-fields";
+    "state-transition": "state-transition";
+    "ui-api-consistency": "ui-api-consistency";
+    validation: "validation";
+}>;
+export type WorkflowScenarioCategory = z.infer<typeof WorkflowScenarioCategorySchema>;
+export declare const WorkflowStepSchema: z.ZodObject<{
+    keyword: z.ZodEnum<{
+        And: "And";
+        But: "But";
+        Given: "Given";
+        Then: "Then";
+        When: "When";
+    }>;
+    text: z.ZodString;
+    actionHint: z.ZodOptional<z.ZodString>;
+    targetHint: z.ZodOptional<z.ZodString>;
+    valueHint: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type WorkflowStep = z.infer<typeof WorkflowStepSchema>;
+export declare const NormalizedRequirementSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    acceptanceCriteria: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    provenance: z.ZodEnum<{
+        assumption: "assumption";
+        "diff-derived": "diff-derived";
+        "explicit-requirement": "explicit-requirement";
+        "source-derived": "source-derived";
+    }>;
+    risk: z.ZodEnum<{
+        critical: "critical";
+        high: "high";
+        low: "low";
+        medium: "medium";
+        unknown: "unknown";
+    }>;
+    ambiguous: z.ZodDefault<z.ZodBoolean>;
+    clarificationsNeeded: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    sourceRef: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type NormalizedRequirement = z.infer<typeof NormalizedRequirementSchema>;
+export declare const PlannedWorkflowScenarioSchema: z.ZodObject<{
+    id: z.ZodString;
+    requirementRefs: z.ZodArray<z.ZodString>;
+    title: z.ZodString;
+    category: z.ZodEnum<{
+        authentication: "authentication";
+        authorization: "authorization";
+        boundary: "boundary";
+        "error-handling": "error-handling";
+        "happy-path": "happy-path";
+        negative: "negative";
+        persistence: "persistence";
+        recovery: "recovery";
+        "required-fields": "required-fields";
+        "state-transition": "state-transition";
+        "ui-api-consistency": "ui-api-consistency";
+        validation: "validation";
+    }>;
+    priority: z.ZodEnum<{
+        P0: "P0";
+        P1: "P1";
+        P2: "P2";
+        P3: "P3";
+    }>;
+    tags: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    provenance: z.ZodEnum<{
+        assumption: "assumption";
+        "diff-derived": "diff-derived";
+        "explicit-requirement": "explicit-requirement";
+        "source-derived": "source-derived";
+    }>;
+    applicability: z.ZodEnum<{
+        applicable: "applicable";
+        covered: "covered";
+        needs_clarification: "needs_clarification";
+        not_applicable: "not_applicable";
+    }>;
+    preconditions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    steps: z.ZodArray<z.ZodObject<{
+        keyword: z.ZodEnum<{
+            And: "And";
+            But: "But";
+            Given: "Given";
+            Then: "Then";
+            When: "When";
+        }>;
+        text: z.ZodString;
+        actionHint: z.ZodOptional<z.ZodString>;
+        targetHint: z.ZodOptional<z.ZodString>;
+        valueHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    expectedOutcomes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    evidenceRequirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    confidence: z.ZodNumber;
+    assumptions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type PlannedWorkflowScenario = z.infer<typeof PlannedWorkflowScenarioSchema>;
+export declare const GenerationWorkflowPlanSchema: z.ZodObject<{
+    planVersion: z.ZodDefault<z.ZodLiteral<"1.0">>;
+    featureName: z.ZodString;
+    slug: z.ZodString;
+    createdAt: z.ZodString;
+    planHash: z.ZodString;
+    background: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    inputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            feature: "feature";
+            "git-diff": "git-diff";
+            jira: "jira";
+            json: "json";
+            markdown: "markdown";
+            prompt: "prompt";
+            source: "source";
+            text: "text";
+        }>;
+        reference: z.ZodString;
+    }, z.core.$strip>>>;
+    requirements: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        description: z.ZodString;
+        acceptanceCriteria: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        provenance: z.ZodEnum<{
+            assumption: "assumption";
+            "diff-derived": "diff-derived";
+            "explicit-requirement": "explicit-requirement";
+            "source-derived": "source-derived";
+        }>;
+        risk: z.ZodEnum<{
+            critical: "critical";
+            high: "high";
+            low: "low";
+            medium: "medium";
+            unknown: "unknown";
+        }>;
+        ambiguous: z.ZodDefault<z.ZodBoolean>;
+        clarificationsNeeded: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        sourceRef: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    scenarios: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        requirementRefs: z.ZodArray<z.ZodString>;
+        title: z.ZodString;
+        category: z.ZodEnum<{
+            authentication: "authentication";
+            authorization: "authorization";
+            boundary: "boundary";
+            "error-handling": "error-handling";
+            "happy-path": "happy-path";
+            negative: "negative";
+            persistence: "persistence";
+            recovery: "recovery";
+            "required-fields": "required-fields";
+            "state-transition": "state-transition";
+            "ui-api-consistency": "ui-api-consistency";
+            validation: "validation";
+        }>;
+        priority: z.ZodEnum<{
+            P0: "P0";
+            P1: "P1";
+            P2: "P2";
+            P3: "P3";
+        }>;
+        tags: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        provenance: z.ZodEnum<{
+            assumption: "assumption";
+            "diff-derived": "diff-derived";
+            "explicit-requirement": "explicit-requirement";
+            "source-derived": "source-derived";
+        }>;
+        applicability: z.ZodEnum<{
+            applicable: "applicable";
+            covered: "covered";
+            needs_clarification: "needs_clarification";
+            not_applicable: "not_applicable";
+        }>;
+        preconditions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        steps: z.ZodArray<z.ZodObject<{
+            keyword: z.ZodEnum<{
+                And: "And";
+                But: "But";
+                Given: "Given";
+                Then: "Then";
+                When: "When";
+            }>;
+            text: z.ZodString;
+            actionHint: z.ZodOptional<z.ZodString>;
+            targetHint: z.ZodOptional<z.ZodString>;
+            valueHint: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        expectedOutcomes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        evidenceRequirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        confidence: z.ZodNumber;
+        assumptions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    unresolvedQuestions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    diffSummary: z.ZodOptional<z.ZodObject<{
+        changedFiles: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        changedRoutes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        apiEndpoints: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        validationHints: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type GenerationWorkflowPlan = z.infer<typeof GenerationWorkflowPlanSchema>;
+export interface SourceAnalysisHints {
+    routes?: string[] | undefined;
+    validationRules?: string[] | undefined;
+    apiEndpoints?: string[] | undefined;
+    authRequired?: boolean | undefined;
+    persistenceDetected?: boolean | undefined;
+}
+export interface GitDiffHintsInput {
+    changedFiles?: string[] | undefined;
+    changedRoutes?: string[] | undefined;
+    changedSymbols?: string[] | undefined;
+    apiEndpoints?: string[] | undefined;
+    validationHints?: string[] | undefined;
+    recentCommits?: Array<{
+        hash: string;
+        subject: string;
+    }> | undefined;
+}
+export interface WorkflowPlanInput {
+    featureName?: string | undefined;
+    prompt?: string | undefined;
+    markdown?: string | undefined;
+    text?: string | undefined;
+    jsonRequirements?: unknown;
+    featureText?: string | undefined;
+    jiraIssue?: {
+        key?: string | undefined;
+        summary: string;
+        description?: string | undefined;
+        acceptanceCriteria?: string[] | undefined;
+    } | undefined;
+    requirements?: RequirementInput[] | undefined;
+    existingTests?: ExistingTestInput[] | undefined;
+    gitDiff?: GitDiffHintsInput | undefined;
+    sourceHints?: SourceAnalysisHints | undefined;
+    baseUrl?: string | undefined;
+    now?: Date | undefined;
+}
+export interface GherkinImportResult {
+    success: boolean;
+    plan?: GenerationWorkflowPlan | undefined;
+    edited: boolean;
+    addedScenarioIds: string[];
+    removedScenarioIds: string[];
+    modifiedScenarioIds: string[];
+    errors: string[];
+}
+export declare function computeWorkflowPlanHash(plan: Omit<GenerationWorkflowPlan, 'planHash' | 'createdAt'>): string;
+export declare function buildWorkflowPlan(input: WorkflowPlanInput): GenerationWorkflowPlan;
+export declare function exportWorkflowToGherkin(plan: GenerationWorkflowPlan): string;
+export declare function isStaleWorkflowPlan(featureText: string, canonicalPlan: GenerationWorkflowPlan): boolean;
+export declare function importGherkinToWorkflowPlan(featureText: string, canonicalPlan: GenerationWorkflowPlan): GherkinImportResult;
+//# sourceMappingURL=workflow-planner.d.ts.map

package/dist/intelligence/workflow-planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-planner.d.ts","sourceRoot":"","sources":["../../src/intelligence/workflow-planner.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE7E,eAAO,MAAM,wBAAwB;;;;;EAKnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;EAazC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAC;AAEtF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;iBAM7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;iBAUtC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAexC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAEpF,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoBvC,CAAC;AACH,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAElF,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACvC,YAAY,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACpC,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,mBAAmB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAC3C;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACpC,aAAa,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACrC,cAAc,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACpC,eAAe,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACvC,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,SAAS,CAAC;CACtE;AAED,MAAM,WAAW,iBAAiB;IAChC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,SAAS,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;KAAE,GAAG,SAAS,CAAC;IACnJ,YAAY,CAAC,EAAE,gBAAgB,EAAE,GAAG,SAAS,CAAC;IAC9C,aAAa,CAAC,EAAE,iBAAiB,EAAE,GAAG,SAAS,CAAC;IAChD,OAAO,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACxC,WAAW,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAC9C,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC;IAC1C,MAAM,EAAE,OAAO,CAAC;IAChB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAMD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,sBAAsB,EAAE,UAAU,GAAG,WAAW,CAAC,GAAG,MAAM,CAO5G;AAySD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,GAAG,sBAAsB,CA4NlF;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,sBAAsB,GAAG,MAAM,CA2B5E;AAyBD,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,sBAAsB,GAAG,OAAO,CAOvG;AAED,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,sBAAsB,GACpC,mBAAmB,CA2OrB"}

package/dist/mcp/server.d.ts

@@ -0,0 +1,32 @@
+export interface JsonRpcRequest {
+    jsonrpc: '2.0';
+    id?: number | string | null | undefined;
+    method: string;
+    params?: any;
+}
+export interface JsonRpcResponse {
+    jsonrpc: '2.0';
+    id: number | string | null;
+    result?: any;
+    error?: {
+        code: number;
+        message: string;
+        data?: any;
+    };
+}
+export declare class McpServer {
+    private readonly rl;
+    private readonly workspaceRoot;
+    constructor(workspaceRoot?: string);
+    /**
+     * Asserts that a file path resolves within the authorized workspace boundary.
+     * Uses canonical filesystem resolution (fs.realpathSync) to prevent symlink,
+     * junction, or reparse point bypasses outside the workspace boundary (AUDIT-05).
+     * Unconditionally fails closed if canonical realpath resolution fails.
+     */
+    assertPathInWorkspace(targetPath: string): string;
+    start(): void;
+    handleRequest(req: JsonRpcRequest): Promise<JsonRpcResponse>;
+    private handleToolCall;
+}
+//# sourceMappingURL=server.d.ts.map

package/dist/mcp/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/mcp/server.ts"],"names":[],"mappings":"AAmCA,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,KAAK,CAAC;IACf,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,KAAK,CAAC;IACf,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,CAAC,EAAE,GAAG,CAAC;IACb,KAAK,CAAC,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,GAAG,CAAC;KACZ,CAAC;CACH;AAED,qBAAa,SAAS;IACpB,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAqB;IACxC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IAEvC,YAAY,aAAa,SAAgB,EAOxC;IAED;;;;;OAKG;IACI,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CA6CvD;IAEM,KAAK,IAAI,IAAI,CAsBnB;IAEY,aAAa,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAqPxE;YAEa,cAAc;CAmkB7B"}

package/dist/memory/stability-ledger.d.ts

@@ -0,0 +1,46 @@
+export interface SelectorHistoryRecord {
+    selector: string;
+    successes: number;
+    failures: number;
+    semanticVerifications: number;
+    repairsAccepted: number;
+    falseRepairIncidents: number;
+    lastSuccess?: number | undefined;
+    lastFailure?: number | undefined;
+    failureCategories: string[];
+    reliabilityScore: number;
+    historicalExecutionReliability: number;
+}
+export interface StabilityLedgerData {
+    version: number;
+    updatedAt: number;
+    scope: {
+        projectRoot: string;
+        repositoryName: string;
+    };
+    selectors: Record<string, SelectorHistoryRecord>;
+}
+export type RepairFeedbackOutcome = 'accepted' | 'rejected';
+/** Applies bounded time decay toward the neutral prior without mutating history. */
+export declare function effectiveReliabilityScore(record: SelectorHistoryRecord, now?: number, halfLifeMs?: number): number;
+export declare class StabilityLedger {
+    private readonly ledgerPath;
+    private data;
+    constructor(baseDir?: string);
+    init(): Promise<void>;
+    getScore(selector: string): number;
+    getEffectiveScore(selector: string, now?: number, halfLifeMs?: number): number;
+    recordSuccess(selector: string): Promise<void>;
+    recordFailure(selector: string, category: string): Promise<void>;
+    recordSemanticVerification(selector: string): Promise<void>;
+    recordRepairAccepted(selector: string): Promise<void>;
+    getSnapshot(): StabilityLedgerData;
+    recordFalseRepairIncident(selector: string): Promise<void>;
+    /** Records operator review feedback without erasing the underlying history. */
+    recordRepairFeedback(selector: string, outcome: RepairFeedbackOutcome): Promise<void>;
+    private computeScore;
+    private createRecord;
+    private ensureLoaded;
+    private save;
+}
+//# sourceMappingURL=stability-ledger.d.ts.map

package/dist/memory/stability-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stability-ledger.d.ts","sourceRoot":"","sources":["../../src/memory/stability-ledger.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,8BAA8B,EAAE,MAAM,CAAC;CACxC;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE;QACL,WAAW,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;CAClD;AAED,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,CAAC;AAE5D,oFAAoF;AACpF,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,qBAAqB,EAC7B,GAAG,SAAa,EAChB,UAAU,SAA2B,GACpC,MAAM,CAQR;AAED,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,IAAI,CAAoC;IAEhD,YAAY,OAAO,SAAM,EAExB;IAEY,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CA2BjC;IAEM,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKxC;IAEM,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,SAAa,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAIxF;IAEY,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAoB1D;IAEY,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAuB5E;IAEY,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAcvE;IAEY,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAMjE;IAEM,WAAW,IAAI,mBAAmB,CAaxC;IAEY,yBAAyB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAmBtE;IAED,+EAA+E;IAClE,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjG;IAED,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,YAAY;YAcN,YAAY;YAIZ,IAAI;CAKnB"}

package/dist/perception/app-model.d.ts

@@ -0,0 +1,55 @@
+import { z } from 'zod';
+export declare const AppElementSchema: z.ZodObject<{
+    tag: z.ZodString;
+    role: z.ZodOptional<z.ZodString>;
+    accessibleName: z.ZodOptional<z.ZodString>;
+    label: z.ZodOptional<z.ZodString>;
+    testId: z.ZodOptional<z.ZodString>;
+    placeholder: z.ZodOptional<z.ZodString>;
+    type: z.ZodOptional<z.ZodString>;
+    frameSelector: z.ZodOptional<z.ZodString>;
+    count: z.ZodDefault<z.ZodNumber>;
+    visible: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+export type AppElement = z.infer<typeof AppElementSchema>;
+export declare const AppRouteSchema: z.ZodObject<{
+    route: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    elements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        tag: z.ZodString;
+        role: z.ZodOptional<z.ZodString>;
+        accessibleName: z.ZodOptional<z.ZodString>;
+        label: z.ZodOptional<z.ZodString>;
+        testId: z.ZodOptional<z.ZodString>;
+        placeholder: z.ZodOptional<z.ZodString>;
+        type: z.ZodOptional<z.ZodString>;
+        frameSelector: z.ZodOptional<z.ZodString>;
+        count: z.ZodDefault<z.ZodNumber>;
+        visible: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type AppRoute = z.infer<typeof AppRouteSchema>;
+export declare const AppModelSchema: z.ZodObject<{
+    version: z.ZodDefault<z.ZodLiteral<"1">>;
+    baseUrl: z.ZodString;
+    fingerprint: z.ZodString;
+    capturedAt: z.ZodString;
+    routes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        route: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        elements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            tag: z.ZodString;
+            role: z.ZodOptional<z.ZodString>;
+            accessibleName: z.ZodOptional<z.ZodString>;
+            label: z.ZodOptional<z.ZodString>;
+            testId: z.ZodOptional<z.ZodString>;
+            placeholder: z.ZodOptional<z.ZodString>;
+            type: z.ZodOptional<z.ZodString>;
+            frameSelector: z.ZodOptional<z.ZodString>;
+            count: z.ZodDefault<z.ZodNumber>;
+            visible: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type AppModel = z.infer<typeof AppModelSchema>;
+//# sourceMappingURL=app-model.d.ts.map

package/dist/perception/app-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"app-model.d.ts","sourceRoot":"","sources":["../../src/perception/app-model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,gBAAgB;;;;;;;;;;;iBAW3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;iBAIzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;iBAMzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC"}

package/dist/perception/crawler.d.ts

@@ -0,0 +1,18 @@
+import { AppModel } from './app-model.js';
+export interface CrawlerOptions {
+    baseUrl: string;
+    fingerprint?: string;
+    maxRoutes?: number;
+    maxDepth?: number;
+    storageStatePath?: string;
+    cacheDir?: string;
+    browser?: any;
+    page?: any;
+}
+export declare function computeCacheKey(baseUrl: string, fingerprint?: string): string;
+export declare function getCachedAppModel(cacheDir: string, baseUrl: string, fingerprint?: string): Promise<AppModel | null>;
+export declare function saveCachedAppModel(cacheDir: string, model: AppModel): Promise<void>;
+export declare class AppCrawler {
+    static crawl(options: CrawlerOptions): Promise<AppModel>;
+}
+//# sourceMappingURL=crawler.d.ts.map

package/dist/perception/crawler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"crawler.d.ts","sourceRoot":"","sources":["../../src/perception/crawler.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,QAAQ,EAAwC,MAAM,gBAAgB,CAAC;AAEhF,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,GAAG,CAAC;IACd,IAAI,CAAC,EAAE,GAAG,CAAC;CACZ;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAI7E;AAED,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,CAczH;AAED,wBAAsB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CASzF;AAqFD,qBAAa,UAAU;IACrB,OAAoB,KAAK,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,CAgIpE;CACF"}

package/dist/perception/index.d.ts

@@ -0,0 +1,3 @@
+export * from './app-model.js';
+export * from './crawler.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/perception/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC"}

package/dist/repair/approval-service.d.ts

@@ -0,0 +1,139 @@
+import { VerifiedExecutionProof } from './intent-validator.js';
+export interface ApprovalTokenPayload {
+    tokenId: string;
+    proposalId: string;
+    targetFilePath: string;
+    targetClassName: string;
+    targetMemberName: string;
+    originalSourceHash: string;
+    replacementSelector: string;
+    replacementAstHash: string;
+    fullDiffHash: string;
+    patchedSourceHash: string;
+    testFilePath: string;
+    testFileHash: string;
+    executionVerified: boolean;
+    issuedAt: number;
+    expiresAt: number;
+    used: boolean;
+    nonce: string;
+}
+export interface StagedProposal {
+    proposalId: string;
+    targetFilePath: string;
+    targetClassName: string;
+    targetMemberName: string;
+    originalSourceHash: string;
+    replacementSelector: string;
+    replacementAstHash: string;
+    fullDiff: string;
+    fullDiffHash: string;
+    patchedSource: string;
+    patchedSourceHash: string;
+    testFilePath: string;
+    testFileHash: string;
+    worktreeId: string;
+    worktreeExecutionVerified: boolean;
+    executionProof?: VerifiedExecutionProof | undefined;
+    createdAt: number;
+    expiresAt: number;
+}
+export interface TokenValidationResult {
+    isValid: boolean;
+    reason?: string;
+    payload?: ApprovalTokenPayload;
+}
+/**
+ * Centralized cryptographic approval service for all source modifications.
+ * Guarantees that no repair can be applied without an explicit, unexpired,
+ * one-time approval token bound cryptographically to:
+ * - Proposal ID & Nonce
+ * - Canonical target file path & Original source SHA-256
+ * - Target Class Name & Member Name
+ * - Replacement Selector & AST Hash
+ * - Full Diff SHA-256 & Patched Source SHA-256
+ * - Test File Canonical Path & Test File SHA-256
+ * - Isolated Worktree Execution Verification Proof
+ */
+export declare class ApprovalService {
+    private static instance;
+    private proposals;
+    private tokens;
+    private readonly defaultTtlMs;
+    private storageDir;
+    private proposalsDir;
+    private tokensDir;
+    constructor(customStorageDir?: string);
+    static getInstance(customStorageDir?: string): ApprovalService;
+    /**
+     * Computes SHA-256 hash of a string.
+     */
+    static hashContent(content: string): string;
+    /**
+     * Stages a verified repair proposal in memory.
+     * Note: Staging a proposal does NOT generate an approval token.
+     * An approval token is generated only via an explicit, trusted authorization call.
+     */
+    stageProposal(params: {
+        proposalId?: string;
+        targetFilePath: string;
+        targetClassName: string;
+        targetMemberName: string;
+        originalSourceContent: string;
+        replacementSelector: string;
+        fullDiff: string;
+        patchedSource: string;
+        testFilePath: string;
+        testFileContent: string;
+        worktreeId: string;
+        worktreeExecutionVerified?: boolean;
+        proof?: VerifiedExecutionProof;
+        ttlMs?: number;
+    }): StagedProposal;
+    getTokenPayload(tokenId: string): ApprovalTokenPayload | undefined;
+    getProposal(proposalId: string): StagedProposal | undefined;
+    /**
+     * Authorizes a staged proposal and issues an unforgeable single-use approval token.
+     * Must be called explicitly by a human CLI action or a verified authorization hook.
+     */
+    authorizeProposal(params: {
+        proposalId: string;
+        ttlMs?: number;
+    }): ApprovalTokenPayload;
+    /**
+     * Legacy generator helper retained for compatibility, now strictly requires explicit execution verification.
+     */
+    generateToken(params: {
+        proposalId: string;
+        patchHash: string;
+        targetFilePath: string;
+        originalSourceHash: string;
+        targetClassName?: string;
+        targetMemberName?: string;
+        replacementSelector?: string;
+        fullDiffHash?: string;
+        patchedSourceHash?: string;
+        testFilePath?: string;
+        testFileHash?: string;
+        executionVerified?: boolean;
+        ttlMs?: number;
+    }): ApprovalTokenPayload;
+    /**
+     * Verifies an approval token against the current file state, target member, diff hash,
+     * and test file hash, then atomically consumes the token on success.
+     */
+    verifyAndConsumeToken(params: {
+        tokenId: string;
+        targetFilePath: string;
+        currentSourceContent: string;
+        targetClassName?: string;
+        targetMemberName?: string;
+        patchHash?: string;
+        fullDiffHash?: string;
+        currentTestFileContent?: string;
+    }): TokenValidationResult;
+    revokeToken(tokenId: string): boolean;
+    clearAllTokens(): void;
+    private cleanupExpired;
+}
+//# sourceMappingURL=approval-service.d.ts.map

package/dist/repair/approval-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"approval-service.d.ts","sourceRoot":"","sources":["../../src/repair/approval-service.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,yBAAyB,EAAE,OAAO,CAAC;IACnC,cAAc,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC;IACpD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,oBAAoB,CAAC;CAChC;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAA8B;IACrD,OAAO,CAAC,SAAS,CAAqC;IACtD,OAAO,CAAC,MAAM,CAA2C;IACzD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAkB;IAC/C,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,YAAY,CAAS;IAC7B,OAAO,CAAC,SAAS,CAAS;IAE1B,YAAmB,gBAAgB,CAAC,EAAE,MAAM,EAU3C;IAED,OAAc,WAAW,CAAC,gBAAgB,CAAC,EAAE,MAAM,GAAG,eAAe,CAKpE;IAED;;OAEG;IACH,OAAc,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEjD;IAED;;;;OAIG;IACI,aAAa,CAAC,MAAM,EAAE;QAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE,MAAM,CAAC;QACvB,eAAe,EAAE,MAAM,CAAC;QACxB,gBAAgB,EAAE,MAAM,CAAC;QACzB,qBAAqB,EAAE,MAAM,CAAC;QAC9B,mBAAmB,EAAE,MAAM,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,eAAe,EAAE,MAAM,CAAC;QACxB,UAAU,EAAE,MAAM,CAAC;QACnB,yBAAyB,CAAC,EAAE,OAAO,CAAC;QACpC,KAAK,CAAC,EAAE,sBAAsB,CAAC;QAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,cAAc,CA0DjB;IAEM,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAqBxE;IAEM,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAqBjE;IAED;;;OAGG;IACI,iBAAiB,CAAC,MAAM,EAAE;QAC/B,UAAU,EAAE,MAAM,CAAC;QACnB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,oBAAoB,CAkDvB;IAED;;OAEG;IACI,aAAa,CAAC,MAAM,EAAE;QAC3B,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,MAAM,CAAC;QACvB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,mBAAmB,CAAC,EAAE,MAAM,CAAC;QAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,iBAAiB,CAAC,EAAE,OAAO,CAAC;QAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,oBAAoB,CAyDvB;IAED;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE;QACnC,OAAO,EAAE,MAAM,CAAC;QAChB,cAAc,EAAE,MAAM,CAAC;QACvB,oBAAoB,EAAE,MAAM,CAAC;QAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,sBAAsB,CAAC,EAAE,MAAM,CAAC;KACjC,GAAG,qBAAqB,CAmHxB;IAEM,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAU3C;IAEM,cAAc,IAAI,IAAI,CAe5B;IAED,OAAO,CAAC,cAAc;CAqBvB"}