playwright-intelligence-engine 0.0.0-stage → 2.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +191 -0
- package/README.md +229 -3
- package/bin/pw-intel.js +37 -0
- package/dist/authoring/author.d.ts +83 -0
- package/dist/authoring/author.d.ts.map +1 -0
- package/dist/authoring/generation-contract.d.ts +90 -0
- package/dist/authoring/generation-contract.d.ts.map +1 -0
- package/dist/authoring/hybrid-author.d.ts +6 -0
- package/dist/authoring/hybrid-author.d.ts.map +1 -0
- package/dist/authoring/index.d.ts +7 -0
- package/dist/authoring/index.d.ts.map +1 -0
- package/dist/authoring/llm-author.d.ts +28 -0
- package/dist/authoring/llm-author.d.ts.map +1 -0
- package/dist/authoring/naming/index.d.ts +4 -0
- package/dist/authoring/naming/index.d.ts.map +1 -0
- package/dist/authoring/naming/name-plan.d.ts +45 -0
- package/dist/authoring/naming/name-plan.d.ts.map +1 -0
- package/dist/authoring/naming/name-planner.d.ts +25 -0
- package/dist/authoring/naming/name-planner.d.ts.map +1 -0
- package/dist/authoring/naming/naming-linter.d.ts +20 -0
- package/dist/authoring/naming/naming-linter.d.ts.map +1 -0
- package/dist/authoring/template-author.d.ts +6 -0
- package/dist/authoring/template-author.d.ts.map +1 -0
- package/dist/cli/index.d.ts +2 -0
- package/dist/cli/index.d.ts.map +1 -0
- package/dist/collectors/collector-interface.d.ts +7 -0
- package/dist/collectors/collector-interface.d.ts.map +1 -0
- package/dist/collectors/environment-collector.d.ts +12 -0
- package/dist/collectors/environment-collector.d.ts.map +1 -0
- package/dist/collectors/error-collector.d.ts +18 -0
- package/dist/collectors/error-collector.d.ts.map +1 -0
- package/dist/collectors/git-diff-collector.d.ts +20 -0
- package/dist/collectors/git-diff-collector.d.ts.map +1 -0
- package/dist/collectors/live-browser-collector.d.ts +45 -0
- package/dist/collectors/live-browser-collector.d.ts.map +1 -0
- package/dist/collectors/network-collector.d.ts +28 -0
- package/dist/collectors/network-collector.d.ts.map +1 -0
- package/dist/collectors/static-ast-collector.d.ts +32 -0
- package/dist/collectors/static-ast-collector.d.ts.map +1 -0
- package/dist/collectors/trace-collector.d.ts +12 -0
- package/dist/collectors/trace-collector.d.ts.map +1 -0
- package/dist/config/project-config.d.ts +33 -0
- package/dist/config/project-config.d.ts.map +1 -0
- package/dist/core/errors/engine-errors.d.ts +34 -0
- package/dist/core/errors/engine-errors.d.ts.map +1 -0
- package/dist/core/types/diagnostic-context.d.ts +151 -0
- package/dist/core/types/diagnostic-context.d.ts.map +1 -0
- package/dist/core/types/repair-evidence.d.ts +56 -0
- package/dist/core/types/repair-evidence.d.ts.map +1 -0
- package/dist/core/version.d.ts +13 -0
- package/dist/core/version.d.ts.map +1 -0
- package/dist/diagnostics/diagnostic-contract.d.ts +52 -0
- package/dist/diagnostics/diagnostic-contract.d.ts.map +1 -0
- package/dist/diagnostics/diagnostic-report.d.ts +11 -0
- package/dist/diagnostics/diagnostic-report.d.ts.map +1 -0
- package/dist/diagnostics/evidence-correlator.d.ts +22 -0
- package/dist/diagnostics/evidence-correlator.d.ts.map +1 -0
- package/dist/diagnostics/external-failure-evidence.d.ts +18 -0
- package/dist/diagnostics/external-failure-evidence.d.ts.map +1 -0
- package/dist/diagnostics/failure-category.d.ts +4 -0
- package/dist/diagnostics/failure-category.d.ts.map +1 -0
- package/dist/diagnostics/failure-classifier.d.ts +58 -0
- package/dist/diagnostics/failure-classifier.d.ts.map +1 -0
- package/dist/evaluation/evaluation-scorecard.d.ts +72 -0
- package/dist/evaluation/evaluation-scorecard.d.ts.map +1 -0
- package/dist/evaluation/repository-inspector.d.ts +21 -0
- package/dist/evaluation/repository-inspector.d.ts.map +1 -0
- package/dist/evaluation/repository-runner.d.ts +24 -0
- package/dist/evaluation/repository-runner.d.ts.map +1 -0
- package/dist/evidence/evidence-model.d.ts +88 -0
- package/dist/evidence/evidence-model.d.ts.map +1 -0
- package/dist/evidence/evidence-normalizer.d.ts +19 -0
- package/dist/evidence/evidence-normalizer.d.ts.map +1 -0
- package/dist/evidence/evidence-redactor.d.ts +37 -0
- package/dist/evidence/evidence-redactor.d.ts.map +1 -0
- package/dist/framework/config-adapter.d.ts +28 -0
- package/dist/framework/config-adapter.d.ts.map +1 -0
- package/dist/gate/index.d.ts +21 -0
- package/dist/gate/index.d.ts.map +1 -0
- package/dist/gate/oracle.d.ts +26 -0
- package/dist/gate/oracle.d.ts.map +1 -0
- package/dist/gate/quality.d.ts +27 -0
- package/dist/gate/quality.d.ts.map +1 -0
- package/dist/gate/safety.d.ts +28 -0
- package/dist/gate/safety.d.ts.map +1 -0
- package/dist/generator/architecture-generator.d.ts +55 -0
- package/dist/generator/architecture-generator.d.ts.map +1 -0
- package/dist/generator/assertion-quality-gate.d.ts +18 -0
- package/dist/generator/assertion-quality-gate.d.ts.map +1 -0
- package/dist/generator/candidate-writer.d.ts +34 -0
- package/dist/generator/candidate-writer.d.ts.map +1 -0
- package/dist/generator/test-generator.d.ts +26 -0
- package/dist/generator/test-generator.d.ts.map +1 -0
- package/dist/governance/audit-log.d.ts +23 -0
- package/dist/governance/audit-log.d.ts.map +1 -0
- package/dist/governance/governance-policy.d.ts +24 -0
- package/dist/governance/governance-policy.d.ts.map +1 -0
- package/dist/governance/team-dashboard.d.ts +51 -0
- package/dist/governance/team-dashboard.d.ts.map +1 -0
- package/dist/governance/workflow-audit.d.ts +13 -0
- package/dist/governance/workflow-audit.d.ts.map +1 -0
- package/dist/index.d.ts +90 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +20318 -0
- package/dist/integrations/ci-summary.d.ts +14 -0
- package/dist/integrations/ci-summary.d.ts.map +1 -0
- package/dist/integrations/playwright-report-adapter.d.ts +22 -0
- package/dist/integrations/playwright-report-adapter.d.ts.map +1 -0
- package/dist/integrations/quality-gate.d.ts +35 -0
- package/dist/integrations/quality-gate.d.ts.map +1 -0
- package/dist/integrations/sarif-report.d.ts +48 -0
- package/dist/integrations/sarif-report.d.ts.map +1 -0
- package/dist/intelligence/autonomous-repair-workflow.d.ts +31 -0
- package/dist/intelligence/autonomous-repair-workflow.d.ts.map +1 -0
- package/dist/intelligence/business-intent.d.ts +58 -0
- package/dist/intelligence/business-intent.d.ts.map +1 -0
- package/dist/intelligence/evidence-bundle.d.ts +364 -0
- package/dist/intelligence/evidence-bundle.d.ts.map +1 -0
- package/dist/intelligence/failure-clustering.d.ts +38 -0
- package/dist/intelligence/failure-clustering.d.ts.map +1 -0
- package/dist/intelligence/generation-agent.d.ts +120 -0
- package/dist/intelligence/generation-agent.d.ts.map +1 -0
- package/dist/intelligence/generation-verifier.d.ts +151 -0
- package/dist/intelligence/generation-verifier.d.ts.map +1 -0
- package/dist/intelligence/llm-proposal.d.ts +377 -0
- package/dist/intelligence/llm-proposal.d.ts.map +1 -0
- package/dist/intelligence/locator-disambiguation-engine.d.ts +38 -0
- package/dist/intelligence/locator-disambiguation-engine.d.ts.map +1 -0
- package/dist/intelligence/model-contract.d.ts +86 -0
- package/dist/intelligence/model-contract.d.ts.map +1 -0
- package/dist/intelligence/model-provider.d.ts +75 -0
- package/dist/intelligence/model-provider.d.ts.map +1 -0
- package/dist/intelligence/project-intelligence.d.ts +22 -0
- package/dist/intelligence/project-intelligence.d.ts.map +1 -0
- package/dist/intelligence/repair-agent.d.ts +46 -0
- package/dist/intelligence/repair-agent.d.ts.map +1 -0
- package/dist/intelligence/repository-profile.d.ts +131 -0
- package/dist/intelligence/repository-profile.d.ts.map +1 -0
- package/dist/intelligence/suite-intelligence.d.ts +59 -0
- package/dist/intelligence/suite-intelligence.d.ts.map +1 -0
- package/dist/intelligence/test-intelligence.d.ts +44 -0
- package/dist/intelligence/test-intelligence.d.ts.map +1 -0
- package/dist/intelligence/trace-proposal-workflow.d.ts +30 -0
- package/dist/intelligence/trace-proposal-workflow.d.ts.map +1 -0
- package/dist/intelligence/verified-llm-repair-workflow.d.ts +21 -0
- package/dist/intelligence/verified-llm-repair-workflow.d.ts.map +1 -0
- package/dist/intelligence/workflow-planner.d.ts +278 -0
- package/dist/intelligence/workflow-planner.d.ts.map +1 -0
- package/dist/mcp/server.d.ts +32 -0
- package/dist/mcp/server.d.ts.map +1 -0
- package/dist/memory/stability-ledger.d.ts +46 -0
- package/dist/memory/stability-ledger.d.ts.map +1 -0
- package/dist/perception/app-model.d.ts +55 -0
- package/dist/perception/app-model.d.ts.map +1 -0
- package/dist/perception/crawler.d.ts +18 -0
- package/dist/perception/crawler.d.ts.map +1 -0
- package/dist/perception/index.d.ts +3 -0
- package/dist/perception/index.d.ts.map +1 -0
- package/dist/repair/approval-service.d.ts +139 -0
- package/dist/repair/approval-service.d.ts.map +1 -0
- package/dist/repair/assertion-hasher.d.ts +62 -0
- package/dist/repair/assertion-hasher.d.ts.map +1 -0
- package/dist/repair/ast-patcher.d.ts +36 -0
- package/dist/repair/ast-patcher.d.ts.map +1 -0
- package/dist/repair/browser-operation-executor.d.ts +27 -0
- package/dist/repair/browser-operation-executor.d.ts.map +1 -0
- package/dist/repair/diff-allowlist.d.ts +74 -0
- package/dist/repair/diff-allowlist.d.ts.map +1 -0
- package/dist/repair/intent-validator.d.ts +157 -0
- package/dist/repair/intent-validator.d.ts.map +1 -0
- package/dist/repair/repair-operations.d.ts +40 -0
- package/dist/repair/repair-operations.d.ts.map +1 -0
- package/dist/repair/repair-planner.d.ts +98 -0
- package/dist/repair/repair-planner.d.ts.map +1 -0
- package/dist/repair/repair-workflow.d.ts +42 -0
- package/dist/repair/repair-workflow.d.ts.map +1 -0
- package/dist/repair/safe-operation-compiler.d.ts +15 -0
- package/dist/repair/safe-operation-compiler.d.ts.map +1 -0
- package/dist/repair/source-mapper.d.ts +19 -0
- package/dist/repair/source-mapper.d.ts.map +1 -0
- package/dist/repair/statement-patcher.d.ts +75 -0
- package/dist/repair/statement-patcher.d.ts.map +1 -0
- package/dist/repair/verification-gates.d.ts +25 -0
- package/dist/repair/verification-gates.d.ts.map +1 -0
- package/dist/repair/workflow-plan.d.ts +35 -0
- package/dist/repair/workflow-plan.d.ts.map +1 -0
- package/dist/repair/workspace-promoter.d.ts +43 -0
- package/dist/repair/workspace-promoter.d.ts.map +1 -0
- package/dist/reproduce/diagnostic-rerunner.d.ts +40 -0
- package/dist/reproduce/diagnostic-rerunner.d.ts.map +1 -0
- package/dist/reproduce/direct-browser-investigator.d.ts +41 -0
- package/dist/reproduce/direct-browser-investigator.d.ts.map +1 -0
- package/dist/reproduce/interactive-workflow-runner.d.ts +43 -0
- package/dist/reproduce/interactive-workflow-runner.d.ts.map +1 -0
- package/dist/sandbox/dependency-strategy.d.ts +45 -0
- package/dist/sandbox/dependency-strategy.d.ts.map +1 -0
- package/dist/sandbox/execution-runner.d.ts +81 -0
- package/dist/sandbox/execution-runner.d.ts.map +1 -0
- package/dist/sandbox/worktree-manager.d.ts +51 -0
- package/dist/sandbox/worktree-manager.d.ts.map +1 -0
- package/dist/selector/abstention-policy.d.ts +34 -0
- package/dist/selector/abstention-policy.d.ts.map +1 -0
- package/dist/selector/candidate-extractor.d.ts +71 -0
- package/dist/selector/candidate-extractor.d.ts.map +1 -0
- package/dist/selector/live-locator-verifier.d.ts +28 -0
- package/dist/selector/live-locator-verifier.d.ts.map +1 -0
- package/dist/selector/repair-candidate-ranker.d.ts +10 -0
- package/dist/selector/repair-candidate-ranker.d.ts.map +1 -0
- package/dist/selector/selector-scorer.d.ts +43 -0
- package/dist/selector/selector-scorer.d.ts.map +1 -0
- package/dist/trace/adapters/adapter-registry.d.ts +18 -0
- package/dist/trace/adapters/adapter-registry.d.ts.map +1 -0
- package/dist/trace/adapters/trace-adapter.d.ts +21 -0
- package/dist/trace/adapters/trace-adapter.d.ts.map +1 -0
- package/dist/trace/adapters/unknown-adapter.d.ts +10 -0
- package/dist/trace/adapters/unknown-adapter.d.ts.map +1 -0
- package/dist/trace/adapters/v10-adapter.d.ts +10 -0
- package/dist/trace/adapters/v10-adapter.d.ts.map +1 -0
- package/dist/trace/adapters/v4-adapter.d.ts +11 -0
- package/dist/trace/adapters/v4-adapter.d.ts.map +1 -0
- package/dist/trace/adapters/v8-adapter.d.ts +10 -0
- package/dist/trace/adapters/v8-adapter.d.ts.map +1 -0
- package/dist/trace/adapters/v9-adapter.d.ts +10 -0
- package/dist/trace/adapters/v9-adapter.d.ts.map +1 -0
- package/dist/trace/archive-reader.d.ts +44 -0
- package/dist/trace/archive-reader.d.ts.map +1 -0
- package/dist/trace/snapshot-resolver.d.ts +55 -0
- package/dist/trace/snapshot-resolver.d.ts.map +1 -0
- package/dist/trace/trace-parser.d.ts +50 -0
- package/dist/trace/trace-parser.d.ts.map +1 -0
- package/dist/trace/version-detector.d.ts +20 -0
- package/dist/trace/version-detector.d.ts.map +1 -0
- package/package.json +76 -6
- package/skills/README.md +20 -0
- package/skills/pie-failure-investigation/SKILL.md +16 -0
- package/skills/pie-quality-engineer/SKILL.md +66 -0
- package/skills/pie-release-readiness/SKILL.md +22 -0
- package/skills/pie-repair-review/SKILL.md +21 -0
- package/skills/pie-trace-to-repair/SKILL.md +35 -0
- package/src/authoring/author.ts +81 -0
- package/src/authoring/generation-contract.ts +283 -0
- package/src/authoring/hybrid-author.ts +115 -0
- package/src/authoring/index.ts +7 -0
- package/src/authoring/llm-author.ts +282 -0
- package/src/authoring/naming/index.ts +4 -0
- package/src/authoring/naming/name-plan.ts +28 -0
- package/src/authoring/naming/name-planner.ts +339 -0
- package/src/authoring/naming/naming-linter.ts +292 -0
- package/src/authoring/template-author.ts +39 -0
- package/src/cli/index.ts +1172 -0
- package/src/collectors/collector-interface.ts +8 -0
- package/src/collectors/environment-collector.ts +103 -0
- package/src/collectors/error-collector.ts +177 -0
- package/src/collectors/git-diff-collector.ts +190 -0
- package/src/collectors/live-browser-collector.ts +412 -0
- package/src/collectors/network-collector.ts +90 -0
- package/src/collectors/static-ast-collector.ts +226 -0
- package/src/collectors/trace-collector.ts +66 -0
- package/src/config/project-config.ts +114 -0
- package/src/core/errors/engine-errors.ts +90 -0
- package/src/core/types/diagnostic-context.ts +94 -0
- package/src/core/types/repair-evidence.ts +45 -0
- package/src/core/version.ts +25 -0
- package/src/diagnostics/diagnostic-contract.ts +79 -0
- package/src/diagnostics/diagnostic-report.ts +204 -0
- package/src/diagnostics/evidence-correlator.ts +117 -0
- package/src/diagnostics/external-failure-evidence.ts +72 -0
- package/src/diagnostics/failure-category.ts +40 -0
- package/src/diagnostics/failure-classifier.ts +701 -0
- package/src/evaluation/evaluation-scorecard.ts +198 -0
- package/src/evaluation/repository-inspector.ts +143 -0
- package/src/evaluation/repository-runner.ts +197 -0
- package/src/evidence/evidence-model.ts +76 -0
- package/src/evidence/evidence-normalizer.ts +322 -0
- package/src/evidence/evidence-redactor.ts +218 -0
- package/src/framework/config-adapter.ts +131 -0
- package/src/gate/index.ts +43 -0
- package/src/gate/oracle.ts +69 -0
- package/src/gate/quality.ts +101 -0
- package/src/gate/safety.ts +94 -0
- package/src/generator/architecture-generator.ts +582 -0
- package/src/generator/assertion-quality-gate.ts +88 -0
- package/src/generator/candidate-writer.ts +288 -0
- package/src/generator/test-generator.ts +52 -0
- package/src/governance/audit-log.ts +115 -0
- package/src/governance/governance-policy.ts +72 -0
- package/src/governance/team-dashboard.ts +189 -0
- package/src/governance/workflow-audit.ts +72 -0
- package/src/index.ts +107 -0
- package/src/integrations/ci-summary.ts +37 -0
- package/src/integrations/playwright-report-adapter.ts +173 -0
- package/src/integrations/quality-gate.ts +95 -0
- package/src/integrations/sarif-report.ts +110 -0
- package/src/intelligence/autonomous-repair-workflow.ts +139 -0
- package/src/intelligence/business-intent.ts +163 -0
- package/src/intelligence/evidence-bundle.ts +300 -0
- package/src/intelligence/failure-clustering.ts +134 -0
- package/src/intelligence/generation-agent.ts +561 -0
- package/src/intelligence/generation-verifier.ts +1115 -0
- package/src/intelligence/llm-proposal.ts +519 -0
- package/src/intelligence/locator-disambiguation-engine.ts +331 -0
- package/src/intelligence/model-contract.ts +205 -0
- package/src/intelligence/model-provider.ts +348 -0
- package/src/intelligence/project-intelligence.ts +140 -0
- package/src/intelligence/repair-agent.ts +297 -0
- package/src/intelligence/repository-profile.ts +796 -0
- package/src/intelligence/suite-intelligence.ts +305 -0
- package/src/intelligence/test-intelligence.ts +136 -0
- package/src/intelligence/trace-proposal-workflow.ts +318 -0
- package/src/intelligence/verified-llm-repair-workflow.ts +48 -0
- package/src/intelligence/workflow-planner.ts +966 -0
- package/src/mcp/server.ts +970 -0
- package/src/memory/stability-ledger.ts +243 -0
- package/src/perception/app-model.ts +32 -0
- package/src/perception/crawler.ts +263 -0
- package/src/perception/index.ts +3 -0
- package/src/repair/approval-service.ts +541 -0
- package/src/repair/assertion-hasher.ts +386 -0
- package/src/repair/ast-patcher.ts +223 -0
- package/src/repair/browser-operation-executor.ts +263 -0
- package/src/repair/diff-allowlist.ts +612 -0
- package/src/repair/intent-validator.ts +761 -0
- package/src/repair/repair-operations.ts +65 -0
- package/src/repair/repair-planner.ts +467 -0
- package/src/repair/repair-workflow.ts +241 -0
- package/src/repair/safe-operation-compiler.ts +68 -0
- package/src/repair/source-mapper.ts +156 -0
- package/src/repair/statement-patcher.ts +544 -0
- package/src/repair/verification-gates.ts +46 -0
- package/src/repair/workflow-plan.ts +59 -0
- package/src/repair/workspace-promoter.ts +313 -0
- package/src/reproduce/diagnostic-rerunner.ts +287 -0
- package/src/reproduce/direct-browser-investigator.ts +208 -0
- package/src/reproduce/interactive-workflow-runner.ts +828 -0
- package/src/sandbox/dependency-strategy.ts +215 -0
- package/src/sandbox/execution-runner.ts +408 -0
- package/src/sandbox/worktree-manager.ts +287 -0
- package/src/selector/abstention-policy.ts +175 -0
- package/src/selector/candidate-extractor.ts +343 -0
- package/src/selector/live-locator-verifier.ts +139 -0
- package/src/selector/repair-candidate-ranker.ts +92 -0
- package/src/selector/selector-scorer.ts +344 -0
- package/src/trace/adapters/adapter-registry.ts +49 -0
- package/src/trace/adapters/trace-adapter.ts +28 -0
- package/src/trace/adapters/unknown-adapter.ts +50 -0
- package/src/trace/adapters/v10-adapter.ts +39 -0
- package/src/trace/adapters/v4-adapter.ts +31 -0
- package/src/trace/adapters/v8-adapter.ts +42 -0
- package/src/trace/adapters/v9-adapter.ts +39 -0
- package/src/trace/archive-reader.ts +246 -0
- package/src/trace/snapshot-resolver.ts +308 -0
- package/src/trace/trace-parser.ts +467 -0
- package/src/trace/version-detector.ts +81 -0
|
@@ -0,0 +1,120 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
import { ArchitecturePlan, ArchitectureWriteResult } from '../generator/architecture-generator.js';
|
|
3
|
+
import { CandidateWriteResult } from '../generator/candidate-writer.js';
|
|
4
|
+
import { GeneratedStep } from '../generator/test-generator.js';
|
|
5
|
+
import { RepositoryConventionProfile } from './repository-profile.js';
|
|
6
|
+
import { ExistingTestInput, RequirementInput, TestIntelligencePlan } from './test-intelligence.js';
|
|
7
|
+
import { ExecutionResult } from '../sandbox/execution-runner.js';
|
|
8
|
+
import { Author, AuthorKind, CandidateChange, FullCodeGenerationProvider } from '../authoring/index.js';
|
|
9
|
+
import { QualityGateResult } from '../gate/index.js';
|
|
10
|
+
export declare const GenerationPlanSchema: z.ZodObject<{
|
|
11
|
+
planVersion: z.ZodLiteral<"1">;
|
|
12
|
+
status: z.ZodEnum<{
|
|
13
|
+
ABSTAIN: "ABSTAIN";
|
|
14
|
+
GENERATE: "GENERATE";
|
|
15
|
+
NEEDS_INPUT: "NEEDS_INPUT";
|
|
16
|
+
}>;
|
|
17
|
+
reasoningSummary: z.ZodString;
|
|
18
|
+
scenarios: z.ZodArray<z.ZodObject<{
|
|
19
|
+
id: z.ZodString;
|
|
20
|
+
title: z.ZodString;
|
|
21
|
+
requirementId: z.ZodString;
|
|
22
|
+
steps: z.ZodArray<z.ZodObject<{
|
|
23
|
+
action: z.ZodEnum<{
|
|
24
|
+
"assert-count": "assert-count";
|
|
25
|
+
"assert-text": "assert-text";
|
|
26
|
+
"assert-value": "assert-value";
|
|
27
|
+
"assert-visible": "assert-visible";
|
|
28
|
+
click: "click";
|
|
29
|
+
fill: "fill";
|
|
30
|
+
navigate: "navigate";
|
|
31
|
+
press: "press";
|
|
32
|
+
}>;
|
|
33
|
+
role: z.ZodOptional<z.ZodString>;
|
|
34
|
+
name: z.ZodOptional<z.ZodString>;
|
|
35
|
+
selector: z.ZodOptional<z.ZodString>;
|
|
36
|
+
value: z.ZodOptional<z.ZodString>;
|
|
37
|
+
placeholder: z.ZodOptional<z.ZodString>;
|
|
38
|
+
expectedText: z.ZodOptional<z.ZodString>;
|
|
39
|
+
expectedCount: z.ZodOptional<z.ZodNumber>;
|
|
40
|
+
expectedValue: z.ZodOptional<z.ZodString>;
|
|
41
|
+
frame: z.ZodOptional<z.ZodString>;
|
|
42
|
+
frameSelector: z.ZodOptional<z.ZodString>;
|
|
43
|
+
}, z.core.$strict>>;
|
|
44
|
+
reasoningSummary: z.ZodString;
|
|
45
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
46
|
+
}, z.core.$strict>>;
|
|
47
|
+
requiredClarifications: z.ZodArray<z.ZodString>;
|
|
48
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
49
|
+
}, z.core.$strict>;
|
|
50
|
+
export type GenerationPlan = z.infer<typeof GenerationPlanSchema>;
|
|
51
|
+
export interface GenerationPlanInput {
|
|
52
|
+
requirements: RequirementInput[];
|
|
53
|
+
existingTests?: ExistingTestInput[] | undefined;
|
|
54
|
+
mode: 'greenfield' | 'brownfield';
|
|
55
|
+
repositoryProfile?: RepositoryConventionProfile | undefined;
|
|
56
|
+
baseUrl?: string | undefined;
|
|
57
|
+
suggestedSteps?: GeneratedStep[] | undefined;
|
|
58
|
+
}
|
|
59
|
+
export interface GenerationPlanProvider {
|
|
60
|
+
propose(input: GenerationPlanInput, intelligence: TestIntelligencePlan): Promise<GenerationPlanParseResult>;
|
|
61
|
+
}
|
|
62
|
+
export interface GenerationPlanParseResult {
|
|
63
|
+
isValid: boolean;
|
|
64
|
+
plan?: GenerationPlan | undefined;
|
|
65
|
+
errors: string[];
|
|
66
|
+
}
|
|
67
|
+
export interface GenerationAgentInput extends GenerationPlanInput {
|
|
68
|
+
workspaceRoot?: string | undefined;
|
|
69
|
+
provider?: GenerationPlanProvider | undefined;
|
|
70
|
+
fullCodeProvider?: FullCodeGenerationProvider | undefined;
|
|
71
|
+
authorImpl?: Author | undefined;
|
|
72
|
+
write?: boolean | undefined;
|
|
73
|
+
allowModify?: boolean | undefined;
|
|
74
|
+
existingFiles?: string[] | undefined;
|
|
75
|
+
includeCi?: boolean | undefined;
|
|
76
|
+
verify?: boolean | undefined;
|
|
77
|
+
author?: AuthorKind | undefined;
|
|
78
|
+
maxSteps?: number | undefined;
|
|
79
|
+
maxDurationMs?: number | undefined;
|
|
80
|
+
contextPacket?: unknown;
|
|
81
|
+
workflowPlan?: unknown;
|
|
82
|
+
explorationBundle?: unknown;
|
|
83
|
+
allowedEvidenceIds?: string[] | undefined;
|
|
84
|
+
}
|
|
85
|
+
export interface GeneratedScenarioResult {
|
|
86
|
+
scenario: GenerationPlan['scenarios'][number];
|
|
87
|
+
architecture: ArchitecturePlan;
|
|
88
|
+
candidate?: CandidateChange | undefined;
|
|
89
|
+
writeResult?: ArchitectureWriteResult | undefined;
|
|
90
|
+
candidateWriteResult?: CandidateWriteResult | undefined;
|
|
91
|
+
verification?: ExecutionResult | undefined;
|
|
92
|
+
loopState?: 'SUCCESS' | 'AGENT_NO_PROGRESS' | 'AGENT_TIME_BUDGET' | 'MAX_STEPS_EXCEEDED' | undefined;
|
|
93
|
+
stepsCount?: number | undefined;
|
|
94
|
+
qualityGateResult?: QualityGateResult | undefined;
|
|
95
|
+
}
|
|
96
|
+
export interface GenerationAgentResult {
|
|
97
|
+
status: 'MODEL_NOT_CONFIGURED' | 'ABSTAINED' | 'NEEDS_INPUT' | 'PLANNED' | 'WRITTEN' | 'VERIFIED' | 'VERIFICATION_FAILED' | 'AGENT_NO_PROGRESS';
|
|
98
|
+
provider: 'llm' | 'deterministic-fallback';
|
|
99
|
+
authorKind?: AuthorKind | undefined;
|
|
100
|
+
intelligence: TestIntelligencePlan;
|
|
101
|
+
plan?: GenerationPlan | undefined;
|
|
102
|
+
scenarios: GeneratedScenarioResult[];
|
|
103
|
+
errors: string[];
|
|
104
|
+
}
|
|
105
|
+
export declare function parseGenerationPlan(input: unknown): GenerationPlanParseResult;
|
|
106
|
+
export interface OpenAiCompatibleGenerationProviderOptions {
|
|
107
|
+
endpoint: string;
|
|
108
|
+
model: string;
|
|
109
|
+
apiKey?: string | undefined;
|
|
110
|
+
timeoutMs?: number | undefined;
|
|
111
|
+
fetchImpl?: typeof fetch | undefined;
|
|
112
|
+
}
|
|
113
|
+
/** Provider-neutral boundary with an OpenAI-compatible transport implementation. */
|
|
114
|
+
export declare class OpenAiCompatibleGenerationProvider implements GenerationPlanProvider {
|
|
115
|
+
private readonly options;
|
|
116
|
+
constructor(options: OpenAiCompatibleGenerationProviderOptions);
|
|
117
|
+
propose(input: GenerationPlanInput, intelligence: TestIntelligencePlan): Promise<GenerationPlanParseResult>;
|
|
118
|
+
}
|
|
119
|
+
export declare function runGenerationAgent(input: GenerationAgentInput): Promise<GenerationAgentResult>;
|
|
120
|
+
//# sourceMappingURL=generation-agent.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generation-agent.d.ts","sourceRoot":"","sources":["../../src/intelligence/generation-agent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EAIxB,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EAAmB,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACzF,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAA0B,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAC9F,OAAO,EAA6B,iBAAiB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9H,OAAO,EAAmB,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAClF,OAAO,EACL,MAAM,EACN,UAAU,EACV,eAAe,EACf,0BAA0B,EAK3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAe,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAyBlE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAOtB,CAAC;AAEZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,aAAa,CAAC,EAAE,iBAAiB,EAAE,GAAG,SAAS,CAAC;IAChD,IAAI,EAAE,YAAY,GAAG,YAAY,CAAC;IAClC,iBAAiB,CAAC,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAC5D,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,cAAc,CAAC,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC;CAC9C;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,oBAAoB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CAC7G;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAClC,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC;IAC9C,gBAAgB,CAAC,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAC1D,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC5B,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAClC,aAAa,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACrC,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChC,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,MAAM,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IAChC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;CAC3C;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,YAAY,EAAE,gBAAgB,CAAC;IAC/B,SAAS,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IACxC,WAAW,CAAC,EAAE,uBAAuB,GAAG,SAAS,CAAC;IAClD,oBAAoB,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IACxD,YAAY,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAC3C,SAAS,CAAC,EAAE,SAAS,GAAG,mBAAmB,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,SAAS,CAAC;IACrG,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACnD;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,sBAAsB,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,qBAAqB,GAAG,mBAAmB,CAAC;IAChJ,QAAQ,EAAE,KAAK,GAAG,wBAAwB,CAAC;IAC3C,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IACpC,YAAY,EAAE,oBAAoB,CAAC;IACnC,IAAI,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAClC,SAAS,EAAE,uBAAuB,EAAE,CAAC;IACrC,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAWD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CAc7E;AA6BD,MAAM,WAAW,yCAAyC;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,SAAS,CAAC,EAAE,OAAO,KAAK,GAAG,SAAS,CAAC;CACtC;AAED,oFAAoF;AACpF,qBAAa,kCAAmC,YAAW,sBAAsB;IAC5D,OAAO,CAAC,QAAQ,CAAC,OAAO;IAA3C,YAAoC,OAAO,EAAE,yCAAyC,EAAI;IAE7E,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,oBAAoB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAkCvH;CACF;AA4CD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAySpG"}
|
|
@@ -0,0 +1,151 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
import { AuthorKind, CandidateChange, CandidateFile, FullCodeGenerationProvider } from '../authoring/index.js';
|
|
3
|
+
import { ExplorationContextBundle, ExplorationFinding, ScenarioExplorationStatus, VerificationLayerStatus } from './evidence-bundle.js';
|
|
4
|
+
import { GenerationWorkflowPlan, WorkflowPlanInput } from './workflow-planner.js';
|
|
5
|
+
import { ControlledLoginConfig, DbVerificationResult } from '../reproduce/interactive-workflow-runner.js';
|
|
6
|
+
export interface MutationResultEntry {
|
|
7
|
+
id: string;
|
|
8
|
+
level: 'LEVEL_C_ASSERTION' | 'LEVEL_B_API_FAULT';
|
|
9
|
+
specFile: string;
|
|
10
|
+
description: string;
|
|
11
|
+
status: 'KILLED' | 'SURVIVED' | 'INVALID' | 'EQUIVALENT';
|
|
12
|
+
exitCode?: number | undefined;
|
|
13
|
+
}
|
|
14
|
+
export interface QaReport {
|
|
15
|
+
reportVersion: '1.0';
|
|
16
|
+
generatedAt: string;
|
|
17
|
+
status: 'VERIFIED' | 'VERIFIED_WITH_WARNINGS' | 'GENERATED' | 'NEEDS_INPUT' | 'ABSTAINED' | 'VERIFICATION_FAILED';
|
|
18
|
+
featureName: string;
|
|
19
|
+
topology: ExplorationContextBundle['topology'];
|
|
20
|
+
runtimeVerified: boolean;
|
|
21
|
+
requirementCoverage: Array<{
|
|
22
|
+
requirementId: string;
|
|
23
|
+
title: string;
|
|
24
|
+
status: 'COVERED' | 'BLOCKED' | 'NOT_APPLICABLE' | 'NOT_COVERED';
|
|
25
|
+
scenarioIds: string[];
|
|
26
|
+
}>;
|
|
27
|
+
scenarioCoverage: Array<{
|
|
28
|
+
scenarioId: string;
|
|
29
|
+
title: string;
|
|
30
|
+
category: string;
|
|
31
|
+
applicability: string;
|
|
32
|
+
explorationStatus?: string | undefined;
|
|
33
|
+
}>;
|
|
34
|
+
workflowStatuses: ScenarioExplorationStatus[];
|
|
35
|
+
generatedFiles: string[];
|
|
36
|
+
modifiedFiles: string[];
|
|
37
|
+
staticValidation: {
|
|
38
|
+
passed: boolean;
|
|
39
|
+
tscChecked: boolean;
|
|
40
|
+
tscPassed?: boolean | undefined;
|
|
41
|
+
discoveryChecked: boolean;
|
|
42
|
+
discoveryPassed?: boolean | undefined;
|
|
43
|
+
violations: string[];
|
|
44
|
+
};
|
|
45
|
+
execution: {
|
|
46
|
+
executed: boolean;
|
|
47
|
+
passed: boolean;
|
|
48
|
+
exitCode?: number | undefined;
|
|
49
|
+
durationMs?: number | undefined;
|
|
50
|
+
stdoutSnippet?: string | undefined;
|
|
51
|
+
};
|
|
52
|
+
failureClassifications: Array<{
|
|
53
|
+
category: string;
|
|
54
|
+
summary: string;
|
|
55
|
+
defectOwner: 'automation' | 'application' | 'environment' | 'unknown';
|
|
56
|
+
}>;
|
|
57
|
+
repairAttempts: Array<{
|
|
58
|
+
iteration: number;
|
|
59
|
+
category: string;
|
|
60
|
+
action: string;
|
|
61
|
+
assertionsPreserved: boolean;
|
|
62
|
+
succeeded: boolean;
|
|
63
|
+
}>;
|
|
64
|
+
intentInvariantPreserved: boolean;
|
|
65
|
+
mutationResults: {
|
|
66
|
+
executed: boolean;
|
|
67
|
+
total: number;
|
|
68
|
+
validTotal: number;
|
|
69
|
+
killed: number;
|
|
70
|
+
survived: number;
|
|
71
|
+
invalid: number;
|
|
72
|
+
equivalent: number;
|
|
73
|
+
mutationScore: number | null;
|
|
74
|
+
entries: MutationResultEntry[];
|
|
75
|
+
};
|
|
76
|
+
verificationLayers: {
|
|
77
|
+
UI: VerificationLayerStatus;
|
|
78
|
+
API: VerificationLayerStatus;
|
|
79
|
+
CLIENT_RELOAD: VerificationLayerStatus;
|
|
80
|
+
DB: VerificationLayerStatus;
|
|
81
|
+
};
|
|
82
|
+
findings: ExplorationFinding[];
|
|
83
|
+
unverifiedBehaviors: string[];
|
|
84
|
+
limitations: string[];
|
|
85
|
+
artifacts: {
|
|
86
|
+
workflowPlanPath?: string | undefined;
|
|
87
|
+
featureFilePath?: string | undefined;
|
|
88
|
+
explorationBundlePath?: string | undefined;
|
|
89
|
+
qaReportJsonPath?: string | undefined;
|
|
90
|
+
qaReportMarkdownPath?: string | undefined;
|
|
91
|
+
};
|
|
92
|
+
environment: {
|
|
93
|
+
nodeVersion: string;
|
|
94
|
+
platform: string;
|
|
95
|
+
workspaceRoot: string;
|
|
96
|
+
mcpDependenciesUsed: 'none';
|
|
97
|
+
};
|
|
98
|
+
}
|
|
99
|
+
export interface EvidenceDrivenGenerationInput extends WorkflowPlanInput {
|
|
100
|
+
workspaceRoot: string;
|
|
101
|
+
outArtifactDir?: string | undefined;
|
|
102
|
+
author?: AuthorKind | undefined;
|
|
103
|
+
fullCodeProvider?: FullCodeGenerationProvider | undefined;
|
|
104
|
+
editedFeatureText?: string | undefined;
|
|
105
|
+
storageStatePath?: string | undefined;
|
|
106
|
+
loginConfig?: ControlledLoginConfig | undefined;
|
|
107
|
+
allowMutatingActions?: boolean | undefined;
|
|
108
|
+
allowDestructiveActions?: boolean | undefined;
|
|
109
|
+
designatedTestEnvironment?: boolean | undefined;
|
|
110
|
+
dbVerifier?: ((scenario: any, actions: any[]) => Promise<DbVerificationResult>) | undefined;
|
|
111
|
+
write?: boolean | undefined;
|
|
112
|
+
verify?: boolean | undefined;
|
|
113
|
+
runMutations?: boolean | undefined;
|
|
114
|
+
maxRepairIterations?: number | undefined;
|
|
115
|
+
repairCallback?: ((context: {
|
|
116
|
+
specFiles: CandidateFile[];
|
|
117
|
+
failureCategory: string;
|
|
118
|
+
errorText: string;
|
|
119
|
+
iteration: number;
|
|
120
|
+
}) => Promise<CandidateFile[] | undefined>) | undefined;
|
|
121
|
+
}
|
|
122
|
+
export interface EvidenceDrivenGenerationResult {
|
|
123
|
+
workflowPlan: GenerationWorkflowPlan;
|
|
124
|
+
featureText: string;
|
|
125
|
+
explorationBundle: ExplorationContextBundle;
|
|
126
|
+
candidate: CandidateChange;
|
|
127
|
+
qaReport: QaReport;
|
|
128
|
+
}
|
|
129
|
+
export declare const QaReportSchema: z.ZodObject<{
|
|
130
|
+
reportVersion: z.ZodLiteral<"1.0">;
|
|
131
|
+
generatedAt: z.ZodString;
|
|
132
|
+
status: z.ZodEnum<{
|
|
133
|
+
ABSTAINED: "ABSTAINED";
|
|
134
|
+
GENERATED: "GENERATED";
|
|
135
|
+
NEEDS_INPUT: "NEEDS_INPUT";
|
|
136
|
+
VERIFICATION_FAILED: "VERIFICATION_FAILED";
|
|
137
|
+
VERIFIED: "VERIFIED";
|
|
138
|
+
VERIFIED_WITH_WARNINGS: "VERIFIED_WITH_WARNINGS";
|
|
139
|
+
}>;
|
|
140
|
+
featureName: z.ZodString;
|
|
141
|
+
topology: z.ZodEnum<{
|
|
142
|
+
monorepo: "monorepo";
|
|
143
|
+
"source-only": "source-only";
|
|
144
|
+
standalone: "standalone";
|
|
145
|
+
}>;
|
|
146
|
+
runtimeVerified: z.ZodBoolean;
|
|
147
|
+
}, z.core.$strip>;
|
|
148
|
+
export declare function assertionsPreserved(originalSpec: string, repairedSpec: string): boolean;
|
|
149
|
+
export declare function formatQaReportMarkdown(report: QaReport): string;
|
|
150
|
+
export declare function runEvidenceDrivenGeneration(input: EvidenceDrivenGenerationInput): Promise<EvidenceDrivenGenerationResult>;
|
|
151
|
+
//# sourceMappingURL=generation-verifier.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generation-verifier.d.ts","sourceRoot":"","sources":["../../src/intelligence/generation-verifier.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EACL,UAAU,EACV,eAAe,EACf,aAAa,EACb,0BAA0B,EAI3B,MAAM,uBAAuB,CAAC;AAK/B,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,yBAAyB,EAEzB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAGL,sBAAsB,EAGtB,iBAAiB,EAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EAErB,MAAM,6CAA6C,CAAC;AAErD,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,mBAAmB,GAAG,mBAAmB,CAAC;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,CAAC;IACzD,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,QAAQ;IACvB,aAAa,EAAE,KAAK,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,GAAG,wBAAwB,GAAG,WAAW,GAAG,aAAa,GAAG,WAAW,GAAG,qBAAqB,CAAC;IAClH,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,wBAAwB,CAAC,UAAU,CAAC,CAAC;IAC/C,eAAe,EAAE,OAAO,CAAC;IACzB,mBAAmB,EAAE,KAAK,CAAC;QACzB,aAAa,EAAE,MAAM,CAAC;QACtB,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,gBAAgB,GAAG,aAAa,CAAC;QACjE,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC,CAAC;IACH,gBAAgB,EAAE,KAAK,CAAC;QACtB,UAAU,EAAE,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC;QACtB,iBAAiB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KACxC,CAAC,CAAC;IACH,gBAAgB,EAAE,yBAAyB,EAAE,CAAC;IAC9C,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE;QAChB,MAAM,EAAE,OAAO,CAAC;QAChB,UAAU,EAAE,OAAO,CAAC;QACpB,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;QAChC,gBAAgB,EAAE,OAAO,CAAC;QAC1B,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;QACtC,UAAU,EAAE,MAAM,EAAE,CAAC;KACtB,CAAC;IACF,SAAS,EAAE;QACT,QAAQ,EAAE,OAAO,CAAC;QAClB,MAAM,EAAE,OAAO,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAC9B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAChC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KACpC,CAAC;IACF,sBAAsB,EAAE,KAAK,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,YAAY,GAAG,aAAa,GAAG,aAAa,GAAG,SAAS,CAAC;KACvE,CAAC,CAAC;IACH,cAAc,EAAE,KAAK,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,mBAAmB,EAAE,OAAO,CAAC;QAC7B,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC,CAAC;IACH,wBAAwB,EAAE,OAAO,CAAC;IAClC,eAAe,EAAE;QACf,QAAQ,EAAE,OAAO,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,mBAAmB,EAAE,CAAC;KAChC,CAAC;IACF,kBAAkB,EAAE;QAClB,EAAE,EAAE,uBAAuB,CAAC;QAC5B,GAAG,EAAE,uBAAuB,CAAC;QAC7B,aAAa,EAAE,uBAAuB,CAAC;QACvC,EAAE,EAAE,uBAAuB,CAAC;KAC7B,CAAC;IACF,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAC/B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,SAAS,EAAE;QACT,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACtC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACrC,qBAAqB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAC3C,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACtC,oBAAoB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC3C,CAAC;IACF,WAAW,EAAE;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC;QACtB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,6BAA8B,SAAQ,iBAAiB;IACtE,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,MAAM,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IAChC,gBAAgB,CAAC,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAC1D,iBAAiB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,WAAW,CAAC,EAAE,qBAAqB,GAAG,SAAS,CAAC;IAChD,oBAAoB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3C,uBAAuB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9C,yBAAyB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChD,UAAU,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC,oBAAoB,CAAC,CAAC,GAAG,SAAS,CAAC;IAC5F,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC5B,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,mBAAmB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,cAAc,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE;QAC1B,SAAS,EAAE,aAAa,EAAE,CAAC;QAC3B,eAAe,EAAE,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;KACnB,KAAK,OAAO,CAAC,aAAa,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC;CACzD;AAED,MAAM,WAAW,8BAA8B;IAC7C,YAAY,EAAE,sBAAsB,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,wBAAwB,CAAC;IAC5C,SAAS,EAAE,eAAe,CAAC;IAC3B,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;iBAOzB,CAAC;AASH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAyCvF;AAiXD,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CAiC/D;AAED,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,6BAA6B,GACnC,OAAO,CAAC,8BAA8B,CAAC,CAkezC"}
|
|
@@ -0,0 +1,377 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
import { RepairOperation } from '../repair/repair-operations.js';
|
|
3
|
+
export declare const EvidenceBundleSchema: z.ZodObject<{
|
|
4
|
+
bundleId: z.ZodString;
|
|
5
|
+
executionId: z.ZodString;
|
|
6
|
+
testIdentity: z.ZodString;
|
|
7
|
+
failedActionId: z.ZodOptional<z.ZodString>;
|
|
8
|
+
failureCategory: z.ZodOptional<z.ZodString>;
|
|
9
|
+
sourceContext: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
10
|
+
filePath: z.ZodString;
|
|
11
|
+
startLine: z.ZodOptional<z.ZodNumber>;
|
|
12
|
+
endLine: z.ZodOptional<z.ZodNumber>;
|
|
13
|
+
content: z.ZodString;
|
|
14
|
+
}, z.core.$strip>>>;
|
|
15
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
16
|
+
kind: z.ZodEnum<{
|
|
17
|
+
aria: "aria";
|
|
18
|
+
console: "console";
|
|
19
|
+
dom: "dom";
|
|
20
|
+
"git-diff": "git-diff";
|
|
21
|
+
network: "network";
|
|
22
|
+
screenshot: "screenshot";
|
|
23
|
+
trace: "trace";
|
|
24
|
+
video: "video";
|
|
25
|
+
}>;
|
|
26
|
+
reference: z.ZodString;
|
|
27
|
+
redacted: z.ZodBoolean;
|
|
28
|
+
}, z.core.$strip>>>;
|
|
29
|
+
diagnostic: z.ZodOptional<z.ZodObject<{
|
|
30
|
+
playwrightVersion: z.ZodString;
|
|
31
|
+
traceFormatVersion: z.ZodNumber;
|
|
32
|
+
failedAction: z.ZodObject<{
|
|
33
|
+
callId: z.ZodString;
|
|
34
|
+
action: z.ZodString;
|
|
35
|
+
selector: z.ZodOptional<z.ZodString>;
|
|
36
|
+
sourceFile: z.ZodOptional<z.ZodString>;
|
|
37
|
+
line: z.ZodOptional<z.ZodNumber>;
|
|
38
|
+
column: z.ZodOptional<z.ZodNumber>;
|
|
39
|
+
errorMessage: z.ZodOptional<z.ZodString>;
|
|
40
|
+
errorStack: z.ZodOptional<z.ZodString>;
|
|
41
|
+
durationMs: z.ZodOptional<z.ZodNumber>;
|
|
42
|
+
logs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
43
|
+
}, z.core.$strip>;
|
|
44
|
+
snapshots: z.ZodObject<{
|
|
45
|
+
before: z.ZodOptional<z.ZodString>;
|
|
46
|
+
action: z.ZodOptional<z.ZodString>;
|
|
47
|
+
after: z.ZodOptional<z.ZodString>;
|
|
48
|
+
}, z.core.$strip>;
|
|
49
|
+
networkEvents: z.ZodArray<z.ZodObject<{
|
|
50
|
+
method: z.ZodString;
|
|
51
|
+
url: z.ZodString;
|
|
52
|
+
status: z.ZodNumber;
|
|
53
|
+
statusText: z.ZodOptional<z.ZodString>;
|
|
54
|
+
errorText: z.ZodOptional<z.ZodString>;
|
|
55
|
+
}, z.core.$strip>>;
|
|
56
|
+
consoleEvents: z.ZodArray<z.ZodObject<{
|
|
57
|
+
type: z.ZodString;
|
|
58
|
+
text: z.ZodString;
|
|
59
|
+
}, z.core.$strip>>;
|
|
60
|
+
evidenceCompleteness: z.ZodObject<{
|
|
61
|
+
domAvailable: z.ZodBoolean;
|
|
62
|
+
networkAvailable: z.ZodBoolean;
|
|
63
|
+
sourceAvailable: z.ZodBoolean;
|
|
64
|
+
}, z.core.$strip>;
|
|
65
|
+
}, z.core.$strip>>;
|
|
66
|
+
redactionComplete: z.ZodBoolean;
|
|
67
|
+
limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
68
|
+
}, z.core.$strict>;
|
|
69
|
+
export type EvidenceBundle = z.infer<typeof EvidenceBundleSchema>;
|
|
70
|
+
export declare const LlmRepairProposalSchema: z.ZodObject<{
|
|
71
|
+
proposalVersion: z.ZodLiteral<"1">;
|
|
72
|
+
decision: z.ZodEnum<{
|
|
73
|
+
ABSTAIN: "ABSTAIN";
|
|
74
|
+
PROPOSE: "PROPOSE";
|
|
75
|
+
}>;
|
|
76
|
+
failureKind: z.ZodString;
|
|
77
|
+
confidence: z.ZodNumber;
|
|
78
|
+
reasoningSummary: z.ZodString;
|
|
79
|
+
operations: z.ZodArray<z.ZodObject<{
|
|
80
|
+
kind: z.ZodEnum<{
|
|
81
|
+
abstain: "abstain";
|
|
82
|
+
add_frame_scope: "add_frame_scope";
|
|
83
|
+
add_shadow_scope: "add_shadow_scope";
|
|
84
|
+
dismiss_overlay: "dismiss_overlay";
|
|
85
|
+
replace_locator: "replace_locator";
|
|
86
|
+
replace_select_with_combobox_flow: "replace_select_with_combobox_flow";
|
|
87
|
+
replace_unstable_wait_with_state_wait: "replace_unstable_wait_with_state_wait";
|
|
88
|
+
satisfy_prerequisite: "satisfy_prerequisite";
|
|
89
|
+
}>;
|
|
90
|
+
target: z.ZodOptional<z.ZodString>;
|
|
91
|
+
locator: z.ZodOptional<z.ZodString>;
|
|
92
|
+
frameLocator: z.ZodOptional<z.ZodString>;
|
|
93
|
+
shadowPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
94
|
+
prerequisite: z.ZodOptional<z.ZodString>;
|
|
95
|
+
steps: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
96
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
97
|
+
}, z.core.$strict>>;
|
|
98
|
+
requiredVerification: z.ZodArray<z.ZodString>;
|
|
99
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
100
|
+
}, z.core.$strict>;
|
|
101
|
+
export type LlmRepairProposal = z.infer<typeof LlmRepairProposalSchema>;
|
|
102
|
+
export interface ProposalParseResult {
|
|
103
|
+
isValid: boolean;
|
|
104
|
+
proposal?: LlmRepairProposal;
|
|
105
|
+
errors: string[];
|
|
106
|
+
normalizationNotes?: string[] | undefined;
|
|
107
|
+
}
|
|
108
|
+
export declare const AgentActionKindSchema: z.ZodEnum<{
|
|
109
|
+
abstain: "abstain";
|
|
110
|
+
build_repair_proposal: "build_repair_proposal";
|
|
111
|
+
discover_source_mapping: "discover_source_mapping";
|
|
112
|
+
inspect_browser_state: "inspect_browser_state";
|
|
113
|
+
inspect_evidence: "inspect_evidence";
|
|
114
|
+
inspect_repository: "inspect_repository";
|
|
115
|
+
rank_locator_candidates: "rank_locator_candidates";
|
|
116
|
+
read_source_file: "read_source_file";
|
|
117
|
+
run_target_test: "run_target_test";
|
|
118
|
+
search_repository: "search_repository";
|
|
119
|
+
verify_repair: "verify_repair";
|
|
120
|
+
}>;
|
|
121
|
+
export type AgentActionKind = z.infer<typeof AgentActionKindSchema>;
|
|
122
|
+
export declare const AgentActionSchema: z.ZodObject<{
|
|
123
|
+
kind: z.ZodEnum<{
|
|
124
|
+
abstain: "abstain";
|
|
125
|
+
build_repair_proposal: "build_repair_proposal";
|
|
126
|
+
discover_source_mapping: "discover_source_mapping";
|
|
127
|
+
inspect_browser_state: "inspect_browser_state";
|
|
128
|
+
inspect_evidence: "inspect_evidence";
|
|
129
|
+
inspect_repository: "inspect_repository";
|
|
130
|
+
rank_locator_candidates: "rank_locator_candidates";
|
|
131
|
+
read_source_file: "read_source_file";
|
|
132
|
+
run_target_test: "run_target_test";
|
|
133
|
+
search_repository: "search_repository";
|
|
134
|
+
verify_repair: "verify_repair";
|
|
135
|
+
}>;
|
|
136
|
+
selector: z.ZodOptional<z.ZodString>;
|
|
137
|
+
target: z.ZodOptional<z.ZodString>;
|
|
138
|
+
locator: z.ZodOptional<z.ZodString>;
|
|
139
|
+
path: z.ZodOptional<z.ZodString>;
|
|
140
|
+
query: z.ZodOptional<z.ZodString>;
|
|
141
|
+
testFile: z.ZodOptional<z.ZodString>;
|
|
142
|
+
configPath: z.ZodOptional<z.ZodString>;
|
|
143
|
+
sourceFile: z.ZodOptional<z.ZodString>;
|
|
144
|
+
className: z.ZodOptional<z.ZodString>;
|
|
145
|
+
memberName: z.ZodOptional<z.ZodString>;
|
|
146
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
147
|
+
}, z.core.$strict>;
|
|
148
|
+
export type AgentAction = z.infer<typeof AgentActionSchema>;
|
|
149
|
+
declare const AgentStepResponseSchema: z.ZodObject<{
|
|
150
|
+
protocolVersion: z.ZodLiteral<"2">;
|
|
151
|
+
responseType: z.ZodLiteral<"STEP">;
|
|
152
|
+
status: z.ZodLiteral<"CONTINUE">;
|
|
153
|
+
decision: z.ZodEnum<{
|
|
154
|
+
ABSTAIN: "ABSTAIN";
|
|
155
|
+
BUILD_REPAIR_PROPOSAL: "BUILD_REPAIR_PROPOSAL";
|
|
156
|
+
DISCOVER_SOURCE_MAPPING: "DISCOVER_SOURCE_MAPPING";
|
|
157
|
+
INSPECT_BROWSER_STATE: "INSPECT_BROWSER_STATE";
|
|
158
|
+
INSPECT_EVIDENCE: "INSPECT_EVIDENCE";
|
|
159
|
+
INSPECT_REPOSITORY: "INSPECT_REPOSITORY";
|
|
160
|
+
RANK_LOCATOR_CANDIDATES: "RANK_LOCATOR_CANDIDATES";
|
|
161
|
+
READ_SOURCE_FILE: "READ_SOURCE_FILE";
|
|
162
|
+
RUN_TARGET_TEST: "RUN_TARGET_TEST";
|
|
163
|
+
SEARCH_REPOSITORY: "SEARCH_REPOSITORY";
|
|
164
|
+
VERIFY_REPAIR: "VERIFY_REPAIR";
|
|
165
|
+
}>;
|
|
166
|
+
confidence: z.ZodNumber;
|
|
167
|
+
reasoningSummary: z.ZodString;
|
|
168
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
169
|
+
action: z.ZodObject<{
|
|
170
|
+
kind: z.ZodEnum<{
|
|
171
|
+
abstain: "abstain";
|
|
172
|
+
build_repair_proposal: "build_repair_proposal";
|
|
173
|
+
discover_source_mapping: "discover_source_mapping";
|
|
174
|
+
inspect_browser_state: "inspect_browser_state";
|
|
175
|
+
inspect_evidence: "inspect_evidence";
|
|
176
|
+
inspect_repository: "inspect_repository";
|
|
177
|
+
rank_locator_candidates: "rank_locator_candidates";
|
|
178
|
+
read_source_file: "read_source_file";
|
|
179
|
+
run_target_test: "run_target_test";
|
|
180
|
+
search_repository: "search_repository";
|
|
181
|
+
verify_repair: "verify_repair";
|
|
182
|
+
}>;
|
|
183
|
+
selector: z.ZodOptional<z.ZodString>;
|
|
184
|
+
target: z.ZodOptional<z.ZodString>;
|
|
185
|
+
locator: z.ZodOptional<z.ZodString>;
|
|
186
|
+
path: z.ZodOptional<z.ZodString>;
|
|
187
|
+
query: z.ZodOptional<z.ZodString>;
|
|
188
|
+
testFile: z.ZodOptional<z.ZodString>;
|
|
189
|
+
configPath: z.ZodOptional<z.ZodString>;
|
|
190
|
+
sourceFile: z.ZodOptional<z.ZodString>;
|
|
191
|
+
className: z.ZodOptional<z.ZodString>;
|
|
192
|
+
memberName: z.ZodOptional<z.ZodString>;
|
|
193
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
194
|
+
}, z.core.$strict>;
|
|
195
|
+
requiredObservation: z.ZodString;
|
|
196
|
+
}, z.core.$strict>;
|
|
197
|
+
declare const AgentFinalResponseSchema: z.ZodObject<{
|
|
198
|
+
protocolVersion: z.ZodLiteral<"2">;
|
|
199
|
+
responseType: z.ZodLiteral<"FINAL">;
|
|
200
|
+
status: z.ZodEnum<{
|
|
201
|
+
ABSTAIN: "ABSTAIN";
|
|
202
|
+
BLOCKED: "BLOCKED";
|
|
203
|
+
PROPOSAL_READY: "PROPOSAL_READY";
|
|
204
|
+
REJECTED: "REJECTED";
|
|
205
|
+
VERIFIED_READY_FOR_APPROVAL: "VERIFIED_READY_FOR_APPROVAL";
|
|
206
|
+
}>;
|
|
207
|
+
classification: z.ZodObject<{
|
|
208
|
+
category: z.ZodString;
|
|
209
|
+
confidence: z.ZodNumber;
|
|
210
|
+
}, z.core.$strict>;
|
|
211
|
+
reasoningSummary: z.ZodString;
|
|
212
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
213
|
+
proposal: z.ZodOptional<z.ZodObject<{
|
|
214
|
+
proposalVersion: z.ZodLiteral<"1">;
|
|
215
|
+
decision: z.ZodEnum<{
|
|
216
|
+
ABSTAIN: "ABSTAIN";
|
|
217
|
+
PROPOSE: "PROPOSE";
|
|
218
|
+
}>;
|
|
219
|
+
failureKind: z.ZodString;
|
|
220
|
+
confidence: z.ZodNumber;
|
|
221
|
+
reasoningSummary: z.ZodString;
|
|
222
|
+
operations: z.ZodArray<z.ZodObject<{
|
|
223
|
+
kind: z.ZodEnum<{
|
|
224
|
+
abstain: "abstain";
|
|
225
|
+
add_frame_scope: "add_frame_scope";
|
|
226
|
+
add_shadow_scope: "add_shadow_scope";
|
|
227
|
+
dismiss_overlay: "dismiss_overlay";
|
|
228
|
+
replace_locator: "replace_locator";
|
|
229
|
+
replace_select_with_combobox_flow: "replace_select_with_combobox_flow";
|
|
230
|
+
replace_unstable_wait_with_state_wait: "replace_unstable_wait_with_state_wait";
|
|
231
|
+
satisfy_prerequisite: "satisfy_prerequisite";
|
|
232
|
+
}>;
|
|
233
|
+
target: z.ZodOptional<z.ZodString>;
|
|
234
|
+
locator: z.ZodOptional<z.ZodString>;
|
|
235
|
+
frameLocator: z.ZodOptional<z.ZodString>;
|
|
236
|
+
shadowPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
237
|
+
prerequisite: z.ZodOptional<z.ZodString>;
|
|
238
|
+
steps: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
239
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
240
|
+
}, z.core.$strict>>;
|
|
241
|
+
requiredVerification: z.ZodArray<z.ZodString>;
|
|
242
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
243
|
+
}, z.core.$strict>>;
|
|
244
|
+
verification: z.ZodOptional<z.ZodObject<{
|
|
245
|
+
isolatedTestPassed: z.ZodOptional<z.ZodBoolean>;
|
|
246
|
+
assertionsChanged: z.ZodOptional<z.ZodBoolean>;
|
|
247
|
+
unrelatedFilesChanged: z.ZodOptional<z.ZodBoolean>;
|
|
248
|
+
}, z.core.$strict>>;
|
|
249
|
+
humanApprovalRequired: z.ZodBoolean;
|
|
250
|
+
}, z.core.$strict>;
|
|
251
|
+
export declare const AgentResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
252
|
+
protocolVersion: z.ZodLiteral<"2">;
|
|
253
|
+
responseType: z.ZodLiteral<"STEP">;
|
|
254
|
+
status: z.ZodLiteral<"CONTINUE">;
|
|
255
|
+
decision: z.ZodEnum<{
|
|
256
|
+
ABSTAIN: "ABSTAIN";
|
|
257
|
+
BUILD_REPAIR_PROPOSAL: "BUILD_REPAIR_PROPOSAL";
|
|
258
|
+
DISCOVER_SOURCE_MAPPING: "DISCOVER_SOURCE_MAPPING";
|
|
259
|
+
INSPECT_BROWSER_STATE: "INSPECT_BROWSER_STATE";
|
|
260
|
+
INSPECT_EVIDENCE: "INSPECT_EVIDENCE";
|
|
261
|
+
INSPECT_REPOSITORY: "INSPECT_REPOSITORY";
|
|
262
|
+
RANK_LOCATOR_CANDIDATES: "RANK_LOCATOR_CANDIDATES";
|
|
263
|
+
READ_SOURCE_FILE: "READ_SOURCE_FILE";
|
|
264
|
+
RUN_TARGET_TEST: "RUN_TARGET_TEST";
|
|
265
|
+
SEARCH_REPOSITORY: "SEARCH_REPOSITORY";
|
|
266
|
+
VERIFY_REPAIR: "VERIFY_REPAIR";
|
|
267
|
+
}>;
|
|
268
|
+
confidence: z.ZodNumber;
|
|
269
|
+
reasoningSummary: z.ZodString;
|
|
270
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
271
|
+
action: z.ZodObject<{
|
|
272
|
+
kind: z.ZodEnum<{
|
|
273
|
+
abstain: "abstain";
|
|
274
|
+
build_repair_proposal: "build_repair_proposal";
|
|
275
|
+
discover_source_mapping: "discover_source_mapping";
|
|
276
|
+
inspect_browser_state: "inspect_browser_state";
|
|
277
|
+
inspect_evidence: "inspect_evidence";
|
|
278
|
+
inspect_repository: "inspect_repository";
|
|
279
|
+
rank_locator_candidates: "rank_locator_candidates";
|
|
280
|
+
read_source_file: "read_source_file";
|
|
281
|
+
run_target_test: "run_target_test";
|
|
282
|
+
search_repository: "search_repository";
|
|
283
|
+
verify_repair: "verify_repair";
|
|
284
|
+
}>;
|
|
285
|
+
selector: z.ZodOptional<z.ZodString>;
|
|
286
|
+
target: z.ZodOptional<z.ZodString>;
|
|
287
|
+
locator: z.ZodOptional<z.ZodString>;
|
|
288
|
+
path: z.ZodOptional<z.ZodString>;
|
|
289
|
+
query: z.ZodOptional<z.ZodString>;
|
|
290
|
+
testFile: z.ZodOptional<z.ZodString>;
|
|
291
|
+
configPath: z.ZodOptional<z.ZodString>;
|
|
292
|
+
sourceFile: z.ZodOptional<z.ZodString>;
|
|
293
|
+
className: z.ZodOptional<z.ZodString>;
|
|
294
|
+
memberName: z.ZodOptional<z.ZodString>;
|
|
295
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
296
|
+
}, z.core.$strict>;
|
|
297
|
+
requiredObservation: z.ZodString;
|
|
298
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
299
|
+
protocolVersion: z.ZodLiteral<"2">;
|
|
300
|
+
responseType: z.ZodLiteral<"FINAL">;
|
|
301
|
+
status: z.ZodEnum<{
|
|
302
|
+
ABSTAIN: "ABSTAIN";
|
|
303
|
+
BLOCKED: "BLOCKED";
|
|
304
|
+
PROPOSAL_READY: "PROPOSAL_READY";
|
|
305
|
+
REJECTED: "REJECTED";
|
|
306
|
+
VERIFIED_READY_FOR_APPROVAL: "VERIFIED_READY_FOR_APPROVAL";
|
|
307
|
+
}>;
|
|
308
|
+
classification: z.ZodObject<{
|
|
309
|
+
category: z.ZodString;
|
|
310
|
+
confidence: z.ZodNumber;
|
|
311
|
+
}, z.core.$strict>;
|
|
312
|
+
reasoningSummary: z.ZodString;
|
|
313
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
314
|
+
proposal: z.ZodOptional<z.ZodObject<{
|
|
315
|
+
proposalVersion: z.ZodLiteral<"1">;
|
|
316
|
+
decision: z.ZodEnum<{
|
|
317
|
+
ABSTAIN: "ABSTAIN";
|
|
318
|
+
PROPOSE: "PROPOSE";
|
|
319
|
+
}>;
|
|
320
|
+
failureKind: z.ZodString;
|
|
321
|
+
confidence: z.ZodNumber;
|
|
322
|
+
reasoningSummary: z.ZodString;
|
|
323
|
+
operations: z.ZodArray<z.ZodObject<{
|
|
324
|
+
kind: z.ZodEnum<{
|
|
325
|
+
abstain: "abstain";
|
|
326
|
+
add_frame_scope: "add_frame_scope";
|
|
327
|
+
add_shadow_scope: "add_shadow_scope";
|
|
328
|
+
dismiss_overlay: "dismiss_overlay";
|
|
329
|
+
replace_locator: "replace_locator";
|
|
330
|
+
replace_select_with_combobox_flow: "replace_select_with_combobox_flow";
|
|
331
|
+
replace_unstable_wait_with_state_wait: "replace_unstable_wait_with_state_wait";
|
|
332
|
+
satisfy_prerequisite: "satisfy_prerequisite";
|
|
333
|
+
}>;
|
|
334
|
+
target: z.ZodOptional<z.ZodString>;
|
|
335
|
+
locator: z.ZodOptional<z.ZodString>;
|
|
336
|
+
frameLocator: z.ZodOptional<z.ZodString>;
|
|
337
|
+
shadowPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
338
|
+
prerequisite: z.ZodOptional<z.ZodString>;
|
|
339
|
+
steps: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
340
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
341
|
+
}, z.core.$strict>>;
|
|
342
|
+
requiredVerification: z.ZodArray<z.ZodString>;
|
|
343
|
+
evidenceReferences: z.ZodArray<z.ZodString>;
|
|
344
|
+
}, z.core.$strict>>;
|
|
345
|
+
verification: z.ZodOptional<z.ZodObject<{
|
|
346
|
+
isolatedTestPassed: z.ZodOptional<z.ZodBoolean>;
|
|
347
|
+
assertionsChanged: z.ZodOptional<z.ZodBoolean>;
|
|
348
|
+
unrelatedFilesChanged: z.ZodOptional<z.ZodBoolean>;
|
|
349
|
+
}, z.core.$strict>>;
|
|
350
|
+
humanApprovalRequired: z.ZodBoolean;
|
|
351
|
+
}, z.core.$strict>], "responseType">;
|
|
352
|
+
export type AgentStepResponse = z.infer<typeof AgentStepResponseSchema>;
|
|
353
|
+
export type AgentFinalResponse = z.infer<typeof AgentFinalResponseSchema>;
|
|
354
|
+
export type AgentResponse = z.infer<typeof AgentResponseSchema>;
|
|
355
|
+
export interface AgentResponseParseResult {
|
|
356
|
+
isValid: boolean;
|
|
357
|
+
response?: AgentResponse;
|
|
358
|
+
errors: string[];
|
|
359
|
+
normalizationNotes?: string[] | undefined;
|
|
360
|
+
/** Recognized transport metadata removed before strict protocol validation. */
|
|
361
|
+
protocolMetadata?: AgentProtocolMetadata | undefined;
|
|
362
|
+
}
|
|
363
|
+
export interface AgentProtocolMetadata {
|
|
364
|
+
callId?: string | undefined;
|
|
365
|
+
requestId?: string | undefined;
|
|
366
|
+
responseId?: string | undefined;
|
|
367
|
+
messageId?: string | undefined;
|
|
368
|
+
model?: string | undefined;
|
|
369
|
+
provider?: string | undefined;
|
|
370
|
+
finishReason?: string | undefined;
|
|
371
|
+
usage?: unknown;
|
|
372
|
+
}
|
|
373
|
+
export declare function parseLlmRepairProposal(input: unknown): ProposalParseResult;
|
|
374
|
+
export declare function proposalOperations(proposal: LlmRepairProposal): RepairOperation[];
|
|
375
|
+
export declare function parseAgentResponse(input: unknown): AgentResponseParseResult;
|
|
376
|
+
export {};
|
|
377
|
+
//# sourceMappingURL=llm-proposal.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"llm-proposal.d.ts","sourceRoot":"","sources":["../../src/intelligence/llm-proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAkD,MAAM,gCAAgC,CAAC;AAEjH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAqDtB,CAAC;AAEZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBASzB,CAAC;AAEZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;CAC3C;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;EAYhC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;kBAanB,CAAC;AAEZ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAO5D,QAAA,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAsBlB,CAAC;AAEZ,QAAA,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAcnB,CAAC;AAEZ,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oCAA4F,CAAC;AAE7H,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AACxE,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,aAAa,CAAC;IACzB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,kBAAkB,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC1C,+EAA+E;IAC/E,gBAAgB,CAAC,EAAE,qBAAqB,GAAG,SAAS,CAAC;CACtD;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAmSD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,CAqB1E;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,eAAe,EAAE,CAEjF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,wBAAwB,CAiB3E"}
|