ws-spec-kit 0.1.0-beta.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 +201 -0
- package/README.md +79 -0
- package/dist/adapters/cli/output.d.ts +15 -0
- package/dist/adapters/cli/output.js +21 -0
- package/dist/adapters/cli/output.js.map +1 -0
- package/dist/adapters/cli/workflow.d.ts +25 -0
- package/dist/adapters/cli/workflow.js +131 -0
- package/dist/adapters/cli/workflow.js.map +1 -0
- package/dist/adapters/connectors/git-native.d.ts +23 -0
- package/dist/adapters/connectors/git-native.js +521 -0
- package/dist/adapters/connectors/git-native.js.map +1 -0
- package/dist/adapters/connectors/github-cli.d.ts +23 -0
- package/dist/adapters/connectors/github-cli.js +213 -0
- package/dist/adapters/connectors/github-cli.js.map +1 -0
- package/dist/adapters/connectors/gitlab-cli.d.ts +23 -0
- package/dist/adapters/connectors/gitlab-cli.js +199 -0
- package/dist/adapters/connectors/gitlab-cli.js.map +1 -0
- package/dist/adapters/connectors/lark-cli.d.ts +24 -0
- package/dist/adapters/connectors/lark-cli.js +296 -0
- package/dist/adapters/connectors/lark-cli.js.map +1 -0
- package/dist/adapters/process/redaction.d.ts +2 -0
- package/dist/adapters/process/redaction.js +51 -0
- package/dist/adapters/process/redaction.js.map +1 -0
- package/dist/adapters/process/spawn-json.d.ts +37 -0
- package/dist/adapters/process/spawn-json.js +312 -0
- package/dist/adapters/process/spawn-json.js.map +1 -0
- package/dist/adapters/skills/claude.d.ts +1 -0
- package/dist/adapters/skills/claude.js +3 -0
- package/dist/adapters/skills/claude.js.map +1 -0
- package/dist/adapters/skills/codex.d.ts +1 -0
- package/dist/adapters/skills/codex.js +3 -0
- package/dist/adapters/skills/codex.js.map +1 -0
- package/dist/adapters/skills/cursor.d.ts +1 -0
- package/dist/adapters/skills/cursor.js +3 -0
- package/dist/adapters/skills/cursor.js.map +1 -0
- package/dist/adapters/skills/generic.d.ts +1 -0
- package/dist/adapters/skills/generic.js +2 -0
- package/dist/adapters/skills/generic.js.map +1 -0
- package/dist/adapters/skills/install.d.ts +28 -0
- package/dist/adapters/skills/install.js +571 -0
- package/dist/adapters/skills/install.js.map +1 -0
- package/dist/application/acquire.d.ts +60 -0
- package/dist/application/acquire.js +964 -0
- package/dist/application/acquire.js.map +1 -0
- package/dist/application/application.d.ts +21 -0
- package/dist/application/application.js +31 -0
- package/dist/application/application.js.map +1 -0
- package/dist/application/artifact-reader.d.ts +1 -0
- package/dist/application/artifact-reader.js +150 -0
- package/dist/application/artifact-reader.js.map +1 -0
- package/dist/application/artifact-writer.d.ts +1 -0
- package/dist/application/artifact-writer.js +268 -0
- package/dist/application/artifact-writer.js.map +1 -0
- package/dist/application/artifact.d.ts +28 -0
- package/dist/application/artifact.js +523 -0
- package/dist/application/artifact.js.map +1 -0
- package/dist/application/decide.d.ts +12 -0
- package/dist/application/decide.js +168 -0
- package/dist/application/decide.js.map +1 -0
- package/dist/application/doctor-connectors.d.ts +34 -0
- package/dist/application/doctor-connectors.js +99 -0
- package/dist/application/doctor-connectors.js.map +1 -0
- package/dist/application/external-action.d.ts +164 -0
- package/dist/application/external-action.js +670 -0
- package/dist/application/external-action.js.map +1 -0
- package/dist/application/initial-stages.d.ts +3 -0
- package/dist/application/initial-stages.js +7 -0
- package/dist/application/initial-stages.js.map +1 -0
- package/dist/application/inspect.d.ts +2 -0
- package/dist/application/inspect.js +31 -0
- package/dist/application/inspect.js.map +1 -0
- package/dist/application/profile.d.ts +32 -0
- package/dist/application/profile.js +70 -0
- package/dist/application/profile.js.map +1 -0
- package/dist/application/snapshot.d.ts +75 -0
- package/dist/application/snapshot.js +338 -0
- package/dist/application/snapshot.js.map +1 -0
- package/dist/application/start.d.ts +43 -0
- package/dist/application/start.js +360 -0
- package/dist/application/start.js.map +1 -0
- package/dist/application/state.d.ts +17 -0
- package/dist/application/state.js +94 -0
- package/dist/application/state.js.map +1 -0
- package/dist/application/submit.d.ts +18 -0
- package/dist/application/submit.js +1090 -0
- package/dist/application/submit.js.map +1 -0
- package/dist/cli/commands/core.d.ts +2 -0
- package/dist/cli/commands/core.js +205 -0
- package/dist/cli/commands/core.js.map +1 -0
- package/dist/cli/commands/public-contract.d.ts +12 -0
- package/dist/cli/commands/public-contract.js +47 -0
- package/dist/cli/commands/public-contract.js.map +1 -0
- package/dist/cli/main.d.ts +2 -0
- package/dist/cli/main.js +23 -0
- package/dist/cli/main.js.map +1 -0
- package/dist/domain/artifacts.d.ts +52 -0
- package/dist/domain/artifacts.js +241 -0
- package/dist/domain/artifacts.js.map +1 -0
- package/dist/domain/digests.d.ts +11 -0
- package/dist/domain/digests.js +106 -0
- package/dist/domain/digests.js.map +1 -0
- package/dist/domain/external-receipt.d.ts +48 -0
- package/dist/domain/external-receipt.js +138 -0
- package/dist/domain/external-receipt.js.map +1 -0
- package/dist/domain/ids.d.ts +7 -0
- package/dist/domain/ids.js +5 -0
- package/dist/domain/ids.js.map +1 -0
- package/dist/domain/repository-path.d.ts +3 -0
- package/dist/domain/repository-path.js +87 -0
- package/dist/domain/repository-path.js.map +1 -0
- package/dist/domain/states.d.ts +38 -0
- package/dist/domain/states.js +69 -0
- package/dist/domain/states.js.map +1 -0
- package/dist/domain/work-package-identity.d.ts +2 -0
- package/dist/domain/work-package-identity.js +10 -0
- package/dist/domain/work-package-identity.js.map +1 -0
- package/dist/domain/workflow.d.ts +58 -0
- package/dist/domain/workflow.js +2 -0
- package/dist/domain/workflow.js.map +1 -0
- package/dist/engine/actor-roles.d.ts +15 -0
- package/dist/engine/actor-roles.js +53 -0
- package/dist/engine/actor-roles.js.map +1 -0
- package/dist/engine/approvals.d.ts +44 -0
- package/dist/engine/approvals.js +239 -0
- package/dist/engine/approvals.js.map +1 -0
- package/dist/engine/archive.d.ts +24 -0
- package/dist/engine/archive.js +442 -0
- package/dist/engine/archive.js.map +1 -0
- package/dist/engine/compiler.d.ts +25 -0
- package/dist/engine/compiler.js +828 -0
- package/dist/engine/compiler.js.map +1 -0
- package/dist/engine/control/condition.d.ts +10 -0
- package/dist/engine/control/condition.js +49 -0
- package/dist/engine/control/condition.js.map +1 -0
- package/dist/engine/control/loop.d.ts +23 -0
- package/dist/engine/control/loop.js +96 -0
- package/dist/engine/control/loop.js.map +1 -0
- package/dist/engine/control/retry.d.ts +15 -0
- package/dist/engine/control/retry.js +54 -0
- package/dist/engine/control/retry.js.map +1 -0
- package/dist/engine/docs-integrity.d.ts +13 -0
- package/dist/engine/docs-integrity.js +34 -0
- package/dist/engine/docs-integrity.js.map +1 -0
- package/dist/engine/expressions/ast.d.ts +18 -0
- package/dist/engine/expressions/ast.js +9 -0
- package/dist/engine/expressions/ast.js.map +1 -0
- package/dist/engine/expressions/evaluate.d.ts +7 -0
- package/dist/engine/expressions/evaluate.js +47 -0
- package/dist/engine/expressions/evaluate.js.map +1 -0
- package/dist/engine/expressions/parser.d.ts +2 -0
- package/dist/engine/expressions/parser.js +173 -0
- package/dist/engine/expressions/parser.js.map +1 -0
- package/dist/engine/external-effects/authorization.d.ts +146 -0
- package/dist/engine/external-effects/authorization.js +222 -0
- package/dist/engine/external-effects/authorization.js.map +1 -0
- package/dist/engine/external-effects/idempotency.d.ts +14 -0
- package/dist/engine/external-effects/idempotency.js +26 -0
- package/dist/engine/external-effects/idempotency.js.map +1 -0
- package/dist/engine/external-effects/reconciliation.d.ts +11 -0
- package/dist/engine/external-effects/reconciliation.js +18 -0
- package/dist/engine/external-effects/reconciliation.js.map +1 -0
- package/dist/engine/results.d.ts +14 -0
- package/dist/engine/results.js +88 -0
- package/dist/engine/results.js.map +1 -0
- package/dist/engine/scheduler.d.ts +60 -0
- package/dist/engine/scheduler.js +225 -0
- package/dist/engine/scheduler.js.map +1 -0
- package/dist/engine/tdd/green-gate.d.ts +6 -0
- package/dist/engine/tdd/green-gate.js +72 -0
- package/dist/engine/tdd/green-gate.js.map +1 -0
- package/dist/engine/tdd/red-gate.d.ts +30 -0
- package/dist/engine/tdd/red-gate.js +531 -0
- package/dist/engine/tdd/red-gate.js.map +1 -0
- package/dist/engine/tdd/types.d.ts +89 -0
- package/dist/engine/tdd/types.js +38 -0
- package/dist/engine/tdd/types.js.map +1 -0
- package/dist/engine/verification.d.ts +56 -0
- package/dist/engine/verification.js +196 -0
- package/dist/engine/verification.js.map +1 -0
- package/dist/policy/profile.d.ts +24 -0
- package/dist/policy/profile.js +23 -0
- package/dist/policy/profile.js.map +1 -0
- package/dist/policy/risk.d.ts +33 -0
- package/dist/policy/risk.js +138 -0
- package/dist/policy/risk.js.map +1 -0
- package/dist/protocol/application.d.ts +196 -0
- package/dist/protocol/application.js +2 -0
- package/dist/protocol/application.js.map +1 -0
- package/dist/protocol/public-contract.d.ts +81 -0
- package/dist/protocol/public-contract.js +231 -0
- package/dist/protocol/public-contract.js.map +1 -0
- package/dist/protocol/work-package.d.ts +55 -0
- package/dist/protocol/work-package.js +2 -0
- package/dist/protocol/work-package.js.map +1 -0
- package/dist/registry/connectors/external-executor.d.ts +4 -0
- package/dist/registry/connectors/external-executor.js +249 -0
- package/dist/registry/connectors/external-executor.js.map +1 -0
- package/dist/registry/connectors/feishu-document.d.ts +21 -0
- package/dist/registry/connectors/feishu-document.js +197 -0
- package/dist/registry/connectors/feishu-document.js.map +1 -0
- package/dist/registry/connectors/git-commit.d.ts +32 -0
- package/dist/registry/connectors/git-commit.js +122 -0
- package/dist/registry/connectors/git-commit.js.map +1 -0
- package/dist/registry/connectors/issue.d.ts +68 -0
- package/dist/registry/connectors/issue.js +301 -0
- package/dist/registry/connectors/issue.js.map +1 -0
- package/dist/registry/connectors/knowledge-publish.d.ts +30 -0
- package/dist/registry/connectors/knowledge-publish.js +157 -0
- package/dist/registry/connectors/knowledge-publish.js.map +1 -0
- package/dist/registry/connectors/local-requirement.d.ts +19 -0
- package/dist/registry/connectors/local-requirement.js +177 -0
- package/dist/registry/connectors/local-requirement.js.map +1 -0
- package/dist/registry/connectors/manifest.d.ts +6 -0
- package/dist/registry/connectors/manifest.js +164 -0
- package/dist/registry/connectors/manifest.js.map +1 -0
- package/dist/registry/connectors/registry.d.ts +11 -0
- package/dist/registry/connectors/registry.js +34 -0
- package/dist/registry/connectors/registry.js.map +1 -0
- package/dist/registry/connectors/requirement-source.d.ts +46 -0
- package/dist/registry/connectors/requirement-source.js +513 -0
- package/dist/registry/connectors/requirement-source.js.map +1 -0
- package/dist/registry/connectors/runtime.d.ts +38 -0
- package/dist/registry/connectors/runtime.js +127 -0
- package/dist/registry/connectors/runtime.js.map +1 -0
- package/dist/registry/connectors/secret-detector.d.ts +19 -0
- package/dist/registry/connectors/secret-detector.js +85 -0
- package/dist/registry/connectors/secret-detector.js.map +1 -0
- package/dist/registry/connectors/semver.d.ts +8 -0
- package/dist/registry/connectors/semver.js +57 -0
- package/dist/registry/connectors/semver.js.map +1 -0
- package/dist/registry/connectors/types.d.ts +45 -0
- package/dist/registry/connectors/types.js +2 -0
- package/dist/registry/connectors/types.js.map +1 -0
- package/dist/registry/executors/registry.d.ts +15 -0
- package/dist/registry/executors/registry.js +68 -0
- package/dist/registry/executors/registry.js.map +1 -0
- package/dist/registry/executors/types.d.ts +19 -0
- package/dist/registry/executors/types.js +2 -0
- package/dist/registry/executors/types.js.map +1 -0
- package/dist/registry/skills/lock.d.ts +3 -0
- package/dist/registry/skills/lock.js +278 -0
- package/dist/registry/skills/lock.js.map +1 -0
- package/dist/registry/skills/resolver.d.ts +16 -0
- package/dist/registry/skills/resolver.js +353 -0
- package/dist/registry/skills/resolver.js.map +1 -0
- package/dist/registry/skills/types.d.ts +75 -0
- package/dist/registry/skills/types.js +9 -0
- package/dist/registry/skills/types.js.map +1 -0
- package/dist/resources/catalog.d.ts +20 -0
- package/dist/resources/catalog.js +111 -0
- package/dist/resources/catalog.js.map +1 -0
- package/dist/schemas/definitions.d.ts +5 -0
- package/dist/schemas/definitions.js +958 -0
- package/dist/schemas/definitions.js.map +1 -0
- package/dist/schemas/generate.d.ts +1 -0
- package/dist/schemas/generate.js +26 -0
- package/dist/schemas/generate.js.map +1 -0
- package/dist/schemas/index.d.ts +11 -0
- package/dist/schemas/index.js +54 -0
- package/dist/schemas/index.js.map +1 -0
- package/dist/storage/control-plane.d.ts +136 -0
- package/dist/storage/control-plane.js +688 -0
- package/dist/storage/control-plane.js.map +1 -0
- package/dist/storage/events.d.ts +36 -0
- package/dist/storage/events.js +185 -0
- package/dist/storage/events.js.map +1 -0
- package/dist/storage/external-action-payload.d.ts +33 -0
- package/dist/storage/external-action-payload.js +190 -0
- package/dist/storage/external-action-payload.js.map +1 -0
- package/dist/storage/files.d.ts +13 -0
- package/dist/storage/files.js +45 -0
- package/dist/storage/files.js.map +1 -0
- package/dist/storage/git.d.ts +4 -0
- package/dist/storage/git.js +21 -0
- package/dist/storage/git.js.map +1 -0
- package/dist/storage/project-config.d.ts +11 -0
- package/dist/storage/project-config.js +60 -0
- package/dist/storage/project-config.js.map +1 -0
- package/dist/storage/repository.d.ts +14 -0
- package/dist/storage/repository.js +151 -0
- package/dist/storage/repository.js.map +1 -0
- package/dist/storage/work-items.d.ts +77 -0
- package/dist/storage/work-items.js +373 -0
- package/dist/storage/work-items.js.map +1 -0
- package/dist/storage/workflow-trust.d.ts +38 -0
- package/dist/storage/workflow-trust.js +310 -0
- package/dist/storage/workflow-trust.js.map +1 -0
- package/dist/workflow-package/loader.d.ts +12 -0
- package/dist/workflow-package/loader.js +249 -0
- package/dist/workflow-package/loader.js.map +1 -0
- package/dist/workflow-package/lock.d.ts +6 -0
- package/dist/workflow-package/lock.js +12 -0
- package/dist/workflow-package/lock.js.map +1 -0
- package/dist/workflow-package/path-boundary.d.ts +5 -0
- package/dist/workflow-package/path-boundary.js +38 -0
- package/dist/workflow-package/path-boundary.js.map +1 -0
- package/dist/workflow-package/trust.d.ts +27 -0
- package/dist/workflow-package/trust.js +61 -0
- package/dist/workflow-package/trust.js.map +1 -0
- package/dist/workflow-package/types.d.ts +176 -0
- package/dist/workflow-package/types.js +9 -0
- package/dist/workflow-package/types.js.map +1 -0
- package/dist/workflow-package/workflow-v1.d.ts +3 -0
- package/dist/workflow-package/workflow-v1.js +274 -0
- package/dist/workflow-package/workflow-v1.js.map +1 -0
- package/package.json +40 -0
- package/resources/catalog.yaml +37 -0
- package/resources/connectors/github-cli.yaml +24 -0
- package/resources/connectors/gitlab-cli.yaml +24 -0
- package/resources/connectors/lark-cli.yaml +28 -0
- package/resources/skills/bug-fixing/SKILL.md +16 -0
- package/resources/skills/code-review/SKILL.md +16 -0
- package/resources/skills/documentation-editing/SKILL.md +16 -0
- package/resources/skills/documentation-exploration/SKILL.md +16 -0
- package/resources/skills/documentation-review/SKILL.md +16 -0
- package/resources/skills/requirement-exploration/SKILL.md +16 -0
- package/resources/skills/solution-design/SKILL.md +16 -0
- package/resources/skills/task-planning/SKILL.md +16 -0
- package/resources/skills/tdd-implementation/SKILL.md +16 -0
- package/resources/workflows/documentation-delivery/manifest.yaml +8 -0
- package/resources/workflows/documentation-delivery/profiles/governed.yaml +23 -0
- package/resources/workflows/documentation-delivery/profiles/quick.yaml +23 -0
- package/resources/workflows/documentation-delivery/profiles/standard.yaml +21 -0
- package/resources/workflows/documentation-delivery/workflow.yaml +109 -0
- package/resources/workflows/feature-delivery/manifest.yaml +8 -0
- package/resources/workflows/feature-delivery/profiles/governed.yaml +27 -0
- package/resources/workflows/feature-delivery/profiles/quick.yaml +25 -0
- package/resources/workflows/feature-delivery/profiles/standard.yaml +26 -0
- package/resources/workflows/feature-delivery/workflow.yaml +150 -0
- package/schemas/builtin-agent-action-v1.schema.json +509 -0
- package/schemas/builtin-application-acquire-input-v1.schema.json +25 -0
- package/schemas/builtin-application-artifact-create-input-v1.schema.json +49 -0
- package/schemas/builtin-application-decision-input-v1.schema.json +284 -0
- package/schemas/builtin-application-inspect-input-v1.schema.json +20 -0
- package/schemas/builtin-application-project-config-snapshot-v1.schema.json +289 -0
- package/schemas/builtin-application-project-config-v1.schema.json +293 -0
- package/schemas/builtin-application-start-input-v1.schema.json +92 -0
- package/schemas/builtin-application-submit-input-v1.schema.json +145 -0
- package/schemas/builtin-artifact-v1.schema.json +48 -0
- package/schemas/builtin-evidence-v1.schema.json +65 -0
- package/schemas/builtin-external-action-grant-v1.schema.json +298 -0
- package/schemas/builtin-external-action-request-v1.schema.json +288 -0
- package/schemas/builtin-external-binding-v1.schema.json +59 -0
- package/schemas/builtin-external-receipt-v1.schema.json +109 -0
- package/schemas/builtin-external-write-receipt-v1.schema.json +253 -0
- package/schemas/builtin-source-artifact-v1.schema.json +293 -0
- package/schemas/builtin-submit-result-v1.schema.json +111 -0
- package/schemas/builtin-tdd-cycle-evidence-v1.schema.json +119 -0
- package/schemas/builtin-tdd-node-test-report-v1.schema.json +103 -0
- package/schemas/builtin-tdd-trusted-evidence-v1.schema.json +184 -0
- package/schemas/builtin-work-item-v1.schema.json +201 -0
- package/schemas/builtin-work-package-v1.schema.json +254 -0
- package/schemas/builtin-workflow-selection-v1.schema.json +40 -0
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
import type { CompiledStep } from "../../domain/workflow.js";
|
|
2
|
+
export type TddCommandStep = Pick<CompiledStep, "id" | "uses" | "action" | "expectedOutcome">;
|
|
3
|
+
export declare const testPathRules: readonly ["node", "java", "ruby", "dotnet"];
|
|
4
|
+
export type TestPathRule = (typeof testPathRules)[number];
|
|
5
|
+
export declare const defaultTestAssetPaths: readonly ["test/**", "tests/**", "**/__tests__/**", "**/__snapshots__/**", "**/*.test.*", "**/*.spec.*"];
|
|
6
|
+
export declare const defaultProductPaths: readonly ["src/**"];
|
|
7
|
+
export interface FixedTestGate {
|
|
8
|
+
commandId: string;
|
|
9
|
+
argv: readonly string[];
|
|
10
|
+
cwd: "worktree";
|
|
11
|
+
timeoutMs: number;
|
|
12
|
+
inheritEnv: readonly string[];
|
|
13
|
+
env: Readonly<Record<string, string>>;
|
|
14
|
+
testPathRules: readonly TestPathRule[];
|
|
15
|
+
testAssetPaths: readonly string[];
|
|
16
|
+
testAssetRoots: readonly string[];
|
|
17
|
+
productPaths: readonly string[];
|
|
18
|
+
reporter: {
|
|
19
|
+
type: "node-test";
|
|
20
|
+
version: 1;
|
|
21
|
+
};
|
|
22
|
+
}
|
|
23
|
+
export interface TestFileDigest {
|
|
24
|
+
path: string;
|
|
25
|
+
digest: string;
|
|
26
|
+
}
|
|
27
|
+
export interface TrustedEvidence {
|
|
28
|
+
evidenceId: string;
|
|
29
|
+
level: "trusted";
|
|
30
|
+
phase: "red" | "green";
|
|
31
|
+
taskId: string;
|
|
32
|
+
stepId: string;
|
|
33
|
+
commandId: string;
|
|
34
|
+
commandDigest: string;
|
|
35
|
+
exitCode: number;
|
|
36
|
+
failedTests: string[];
|
|
37
|
+
testPaths: string[];
|
|
38
|
+
testFiles: TestFileDigest[];
|
|
39
|
+
testPathsDigest: string;
|
|
40
|
+
testPathRules: TestPathRule[];
|
|
41
|
+
testAssets: TestFileDigest[];
|
|
42
|
+
testAssetsDigest: string;
|
|
43
|
+
testAssetPaths: string[];
|
|
44
|
+
testAssetRoots: string[];
|
|
45
|
+
productPaths: string[];
|
|
46
|
+
workspaceDigest: string;
|
|
47
|
+
summary: string;
|
|
48
|
+
}
|
|
49
|
+
export interface TddCycleEvidence {
|
|
50
|
+
taskId: string;
|
|
51
|
+
testPaths: string[];
|
|
52
|
+
testPathRules: TestPathRule[];
|
|
53
|
+
testAssets: TestFileDigest[];
|
|
54
|
+
testAssetsDigest: string;
|
|
55
|
+
testAssetPaths: string[];
|
|
56
|
+
testAssetRoots: string[];
|
|
57
|
+
productPaths: string[];
|
|
58
|
+
commandId: string;
|
|
59
|
+
redEvidenceId: string;
|
|
60
|
+
greenEvidenceId: string;
|
|
61
|
+
refactorEvidenceId?: string;
|
|
62
|
+
}
|
|
63
|
+
export declare const tddVerificationCodes: readonly ["WSSPEC_TDD_EVIDENCE_INVALIDATED", "WSSPEC_TDD_GATE_CONFIGURATION_INVALID", "WSSPEC_TDD_GATE_EXECUTION_FAILED", "WSSPEC_TDD_GREEN_NOT_OBSERVED", "WSSPEC_TDD_RED_INFRASTRUCTURE_FAILURE", "WSSPEC_TDD_RED_NOT_OBSERVED", "WSSPEC_TDD_RED_REQUIRED", "WSSPEC_TDD_RED_SCOPE_INVALID", "WSSPEC_TDD_RED_SYNTAX_FAILURE", "WSSPEC_TDD_RED_TIMEOUT", "WSSPEC_TDD_REPORT_INVALID", "WSSPEC_TDD_REPORTER_UNSUPPORTED", "WSSPEC_TDD_STEP_INVALID", "WSSPEC_TDD_TEST_PATH_INVALID"];
|
|
64
|
+
export type TddVerificationCode = (typeof tddVerificationCodes)[number];
|
|
65
|
+
export declare function isTddVerificationCode(value: string): value is TddVerificationCode;
|
|
66
|
+
export declare class VerificationError extends Error {
|
|
67
|
+
readonly code: `WSSPEC_${string}`;
|
|
68
|
+
constructor(code: `WSSPEC_${string}`, message: string);
|
|
69
|
+
}
|
|
70
|
+
export interface RedEvidenceInput {
|
|
71
|
+
taskId: string;
|
|
72
|
+
step: TddCommandStep;
|
|
73
|
+
gate: FixedTestGate;
|
|
74
|
+
worktree: string;
|
|
75
|
+
workspaceDigest: string;
|
|
76
|
+
modifiedFiles: readonly string[];
|
|
77
|
+
testPaths: readonly string[];
|
|
78
|
+
secrets?: readonly string[];
|
|
79
|
+
}
|
|
80
|
+
export interface GreenEvidenceInput {
|
|
81
|
+
taskId: string;
|
|
82
|
+
step: TddCommandStep;
|
|
83
|
+
gate: FixedTestGate;
|
|
84
|
+
worktree: string;
|
|
85
|
+
workspaceDigest: string;
|
|
86
|
+
redEvidence: TrustedEvidence;
|
|
87
|
+
previousCycle?: TddCycleEvidence;
|
|
88
|
+
refactorEvidenceId?: string;
|
|
89
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
export const testPathRules = ["node", "java", "ruby", "dotnet"];
|
|
2
|
+
export const defaultTestAssetPaths = [
|
|
3
|
+
"test/**",
|
|
4
|
+
"tests/**",
|
|
5
|
+
"**/__tests__/**",
|
|
6
|
+
"**/__snapshots__/**",
|
|
7
|
+
"**/*.test.*",
|
|
8
|
+
"**/*.spec.*",
|
|
9
|
+
];
|
|
10
|
+
export const defaultProductPaths = ["src/**"];
|
|
11
|
+
export const tddVerificationCodes = [
|
|
12
|
+
"WSSPEC_TDD_EVIDENCE_INVALIDATED",
|
|
13
|
+
"WSSPEC_TDD_GATE_CONFIGURATION_INVALID",
|
|
14
|
+
"WSSPEC_TDD_GATE_EXECUTION_FAILED",
|
|
15
|
+
"WSSPEC_TDD_GREEN_NOT_OBSERVED",
|
|
16
|
+
"WSSPEC_TDD_RED_INFRASTRUCTURE_FAILURE",
|
|
17
|
+
"WSSPEC_TDD_RED_NOT_OBSERVED",
|
|
18
|
+
"WSSPEC_TDD_RED_REQUIRED",
|
|
19
|
+
"WSSPEC_TDD_RED_SCOPE_INVALID",
|
|
20
|
+
"WSSPEC_TDD_RED_SYNTAX_FAILURE",
|
|
21
|
+
"WSSPEC_TDD_RED_TIMEOUT",
|
|
22
|
+
"WSSPEC_TDD_REPORT_INVALID",
|
|
23
|
+
"WSSPEC_TDD_REPORTER_UNSUPPORTED",
|
|
24
|
+
"WSSPEC_TDD_STEP_INVALID",
|
|
25
|
+
"WSSPEC_TDD_TEST_PATH_INVALID",
|
|
26
|
+
];
|
|
27
|
+
export function isTddVerificationCode(value) {
|
|
28
|
+
return tddVerificationCodes.includes(value);
|
|
29
|
+
}
|
|
30
|
+
export class VerificationError extends Error {
|
|
31
|
+
code;
|
|
32
|
+
constructor(code, message) {
|
|
33
|
+
super(`${code}: ${message}`);
|
|
34
|
+
this.code = code;
|
|
35
|
+
this.name = "VerificationError";
|
|
36
|
+
}
|
|
37
|
+
}
|
|
38
|
+
//# sourceMappingURL=types.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engine/tdd/types.ts"],"names":[],"mappings":"AAIA,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAU,CAAC;AAGzE,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS;IACT,UAAU;IACV,iBAAiB;IACjB,qBAAqB;IACrB,aAAa;IACb,aAAa;CACL,CAAC;AACX,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAQ,CAAU,CAAC;AA2DvD,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,iCAAiC;IACjC,uCAAuC;IACvC,kCAAkC;IAClC,+BAA+B;IAC/B,uCAAuC;IACvC,6BAA6B;IAC7B,yBAAyB;IACzB,8BAA8B;IAC9B,+BAA+B;IAC/B,wBAAwB;IACxB,2BAA2B;IAC3B,iCAAiC;IACjC,yBAAyB;IACzB,8BAA8B;CACtB,CAAC;AAGX,MAAM,UAAU,qBAAqB,CAAC,KAAa;IACjD,OAAQ,oBAA0C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACrB;IAArB,YAAqB,IAAwB,EAAE,OAAe;QAC5D,KAAK,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QADV,SAAI,GAAJ,IAAI,CAAoB;QAE3C,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF"}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import { type FixedTestGate, type TddCycleEvidence, type TrustedEvidence } from "./tdd/types.js";
|
|
2
|
+
export { VerificationError } from "./tdd/types.js";
|
|
3
|
+
export declare const tddRedEvidenceKey: (taskId: string) => string;
|
|
4
|
+
export declare const tddCycleEvidenceKey: (taskId: string) => string;
|
|
5
|
+
export declare const tddGreenEvidenceKey: (taskId: string, evidenceId: string) => string;
|
|
6
|
+
export declare function fixedTestGateForState(state: Pick<import("../application/state.js").ApplicationState, "itemRoot">): Promise<FixedTestGate>;
|
|
7
|
+
export type EvidenceLevel = "trusted" | "attested" | "reported";
|
|
8
|
+
export interface UnsignedGateEvidence {
|
|
9
|
+
evidenceId: string;
|
|
10
|
+
level: EvidenceLevel;
|
|
11
|
+
gateId: string;
|
|
12
|
+
codeRevision: string;
|
|
13
|
+
baselineTreeDigest: string;
|
|
14
|
+
workspaceTreeDigest: string;
|
|
15
|
+
configDigest: string;
|
|
16
|
+
attemptId: string;
|
|
17
|
+
result: "passed" | "failed";
|
|
18
|
+
}
|
|
19
|
+
export interface GateEvidence extends UnsignedGateEvidence {
|
|
20
|
+
recordHash: string;
|
|
21
|
+
}
|
|
22
|
+
export declare function evidenceRecordHash(evidence: UnsignedGateEvidence): string;
|
|
23
|
+
export declare function assertImplementHasTrustedRed(input: {
|
|
24
|
+
taskId: string;
|
|
25
|
+
commandId: string;
|
|
26
|
+
gate?: FixedTestGate;
|
|
27
|
+
worktree: string;
|
|
28
|
+
redEvidence: TrustedEvidence | undefined;
|
|
29
|
+
requireWorkspaceMatch?: boolean;
|
|
30
|
+
}): Promise<void>;
|
|
31
|
+
export declare function evaluateReviewFixEvidence(input: {
|
|
32
|
+
modifiedFiles: readonly string[];
|
|
33
|
+
cycle: TddCycleEvidence;
|
|
34
|
+
}): {
|
|
35
|
+
action: "append-green";
|
|
36
|
+
commandId: string;
|
|
37
|
+
} | {
|
|
38
|
+
action: "restart-cycle";
|
|
39
|
+
nextStepId: "write-tests";
|
|
40
|
+
};
|
|
41
|
+
export declare function evidenceProjectionKey(stageId: string, gateId: string): string;
|
|
42
|
+
export declare function isFreshGateEvidence(input: {
|
|
43
|
+
evidence: unknown;
|
|
44
|
+
gateId: string;
|
|
45
|
+
attemptId: string;
|
|
46
|
+
requiredLevel: EvidenceLevel;
|
|
47
|
+
workspaceTreeDigest: string;
|
|
48
|
+
configDigest: string;
|
|
49
|
+
}): boolean;
|
|
50
|
+
export declare function recordGateEvidence(input: {
|
|
51
|
+
cwd: string;
|
|
52
|
+
workItemId: string;
|
|
53
|
+
stageId: string;
|
|
54
|
+
actor: string;
|
|
55
|
+
evidence: GateEvidence;
|
|
56
|
+
}): Promise<GateEvidence>;
|
|
@@ -0,0 +1,196 @@
|
|
|
1
|
+
import * as canonicalizeModule from "canonicalize";
|
|
2
|
+
import { readFile } from "node:fs/promises";
|
|
3
|
+
import path from "node:path";
|
|
4
|
+
import { parse } from "yaml";
|
|
5
|
+
import { computeWorkspaceTreeDigest, sha256 } from "../domain/digests.js";
|
|
6
|
+
import { isRepositoryRelativePattern } from "../domain/repository-path.js";
|
|
7
|
+
import { validate } from "../schemas/index.js";
|
|
8
|
+
import { mutateControlPlane } from "./scheduler.js";
|
|
9
|
+
import { loadApplicationState, selectedProfile } from "../application/state.js";
|
|
10
|
+
import { deriveTestAssetRoots, fixedGateCommandDigest, isTrustedTestAssetPath, parseTrustedEvidence, testAssetScopeManifest, testFileManifest } from "./tdd/red-gate.js";
|
|
11
|
+
import { testPathRules } from "./tdd/types.js";
|
|
12
|
+
import { VerificationError } from "./tdd/types.js";
|
|
13
|
+
export { VerificationError } from "./tdd/types.js";
|
|
14
|
+
export const tddRedEvidenceKey = (taskId) => `tdd:${taskId}:red`;
|
|
15
|
+
export const tddCycleEvidenceKey = (taskId) => `tdd:${taskId}:cycle`;
|
|
16
|
+
export const tddGreenEvidenceKey = (taskId, evidenceId) => `tdd:${taskId}:green:${evidenceId}`;
|
|
17
|
+
function object(value) {
|
|
18
|
+
return value !== null && typeof value === "object" && !Array.isArray(value) ? value : undefined;
|
|
19
|
+
}
|
|
20
|
+
export async function fixedTestGateForState(state) {
|
|
21
|
+
const config = object(parse(await readFile(path.join(state.itemRoot, "snapshot", "config.yaml"), "utf8")));
|
|
22
|
+
const gate = object(object(object(config?.quality)?.gates)?.test);
|
|
23
|
+
const configuredPathRules = object(config?.testing)?.pathRules;
|
|
24
|
+
const testAssetPaths = object(config?.testing)?.testAssetPaths;
|
|
25
|
+
const productPaths = object(config?.testing)?.productPaths;
|
|
26
|
+
const argv = gate?.command;
|
|
27
|
+
const timeoutSeconds = gate?.timeoutSeconds;
|
|
28
|
+
const inheritEnv = gate?.inheritEnv;
|
|
29
|
+
const env = gate?.env;
|
|
30
|
+
const reporter = object(gate?.reporter);
|
|
31
|
+
if (!Array.isArray(argv) || argv.length === 0 || !argv.every((value) => typeof value === "string")
|
|
32
|
+
|| typeof timeoutSeconds !== "number" || !Number.isInteger(timeoutSeconds) || timeoutSeconds < 1
|
|
33
|
+
|| (inheritEnv !== undefined && (!Array.isArray(inheritEnv) || !inheritEnv.every((value) => typeof value === "string")))
|
|
34
|
+
|| (env !== undefined && object(env) === undefined)
|
|
35
|
+
|| !Array.isArray(configuredPathRules) || configuredPathRules.length === 0
|
|
36
|
+
|| !configuredPathRules.every((value) => typeof value === "string" && testPathRules.includes(value))
|
|
37
|
+
|| !Array.isArray(testAssetPaths) || testAssetPaths.length === 0 || !testAssetPaths.every((value) => typeof value === "string" && isRepositoryRelativePattern(value))
|
|
38
|
+
|| !Array.isArray(productPaths) || productPaths.length === 0 || !productPaths.every((value) => typeof value === "string" && isRepositoryRelativePattern(value))
|
|
39
|
+
|| reporter?.type !== "node-test" || reporter.version !== 1) {
|
|
40
|
+
throw new VerificationError("WSSPEC_TDD_GATE_CONFIGURATION_INVALID", "Project Config 快照缺少固定且完整的 test Gate。 ");
|
|
41
|
+
}
|
|
42
|
+
return {
|
|
43
|
+
commandId: "test",
|
|
44
|
+
argv: argv,
|
|
45
|
+
cwd: "worktree",
|
|
46
|
+
timeoutMs: timeoutSeconds * 1_000,
|
|
47
|
+
inheritEnv: (inheritEnv ?? []),
|
|
48
|
+
env: Object.fromEntries(Object.entries(object(env) ?? {}).map(([name, value]) => {
|
|
49
|
+
if (typeof value !== "string")
|
|
50
|
+
throw new VerificationError("WSSPEC_TDD_GATE_CONFIGURATION_INVALID", `Test Gate env ${name} 必须是字符串。`);
|
|
51
|
+
return [name, value];
|
|
52
|
+
})),
|
|
53
|
+
testPathRules: configuredPathRules,
|
|
54
|
+
testAssetPaths: testAssetPaths,
|
|
55
|
+
testAssetRoots: deriveTestAssetRoots(testAssetPaths),
|
|
56
|
+
productPaths: productPaths,
|
|
57
|
+
reporter: { type: "node-test", version: 1 },
|
|
58
|
+
};
|
|
59
|
+
}
|
|
60
|
+
const canonicalize = canonicalizeModule.default;
|
|
61
|
+
export function evidenceRecordHash(evidence) {
|
|
62
|
+
const encoded = canonicalize(evidence);
|
|
63
|
+
if (encoded === undefined)
|
|
64
|
+
throw new VerificationError("WSSPEC_EVIDENCE_INVALID", "Evidence 无法规范化。");
|
|
65
|
+
return sha256(encoded);
|
|
66
|
+
}
|
|
67
|
+
export function assertImplementHasTrustedRed(input) {
|
|
68
|
+
const evidence = parseTrustedEvidence(input.redEvidence);
|
|
69
|
+
if (evidence === undefined || evidence.phase !== "red" || evidence.taskId !== input.taskId) {
|
|
70
|
+
throw new VerificationError("WSSPEC_TDD_RED_REQUIRED", "acquire implement 前必须存在引擎产生的可信 Red Evidence。 ");
|
|
71
|
+
}
|
|
72
|
+
return Promise.all([
|
|
73
|
+
testFileManifest(input.worktree, evidence.testPaths, evidence.testPathRules),
|
|
74
|
+
testAssetScopeManifest(input.worktree, { testAssetPaths: evidence.testAssetPaths, testAssetRoots: evidence.testAssetRoots, productPaths: evidence.productPaths }),
|
|
75
|
+
computeWorkspaceTreeDigest(input.worktree),
|
|
76
|
+
input.gate === undefined ? Promise.resolve(evidence.commandDigest) : fixedGateCommandDigest(input.gate, input.worktree),
|
|
77
|
+
]).then(([manifest, assets, workspaceDigest, commandDigest]) => {
|
|
78
|
+
if (evidence.commandId !== input.commandId || evidence.commandDigest !== commandDigest) {
|
|
79
|
+
throw new VerificationError("WSSPEC_TDD_EVIDENCE_INVALIDATED", "Red Evidence 的命令、环境或可执行文件已变化。 ");
|
|
80
|
+
}
|
|
81
|
+
if (manifest.digest !== evidence.testPathsDigest
|
|
82
|
+
|| assets.digest !== evidence.testAssetsDigest
|
|
83
|
+
|| (input.gate !== undefined && (JSON.stringify(input.gate.testAssetPaths) !== JSON.stringify(evidence.testAssetPaths)
|
|
84
|
+
|| JSON.stringify(input.gate.testAssetRoots) !== JSON.stringify(evidence.testAssetRoots)
|
|
85
|
+
|| JSON.stringify(input.gate.productPaths) !== JSON.stringify(evidence.productPaths)))
|
|
86
|
+
|| (input.requireWorkspaceMatch === true && workspaceDigest !== evidence.workspaceDigest)) {
|
|
87
|
+
throw new VerificationError("WSSPEC_TDD_EVIDENCE_INVALIDATED", "Red 测试内容已修改或删除。 ");
|
|
88
|
+
}
|
|
89
|
+
});
|
|
90
|
+
}
|
|
91
|
+
export function evaluateReviewFixEvidence(input) {
|
|
92
|
+
return input.modifiedFiles.some((filename) => {
|
|
93
|
+
const normalized = filename.replaceAll("\\", "/");
|
|
94
|
+
return isTrustedTestAssetPath(normalized, input.cycle);
|
|
95
|
+
})
|
|
96
|
+
? { action: "restart-cycle", nextStepId: "write-tests" }
|
|
97
|
+
: { action: "append-green", commandId: input.cycle.commandId };
|
|
98
|
+
}
|
|
99
|
+
export function evidenceProjectionKey(stageId, gateId) {
|
|
100
|
+
return `${stageId}:gate:${gateId}`;
|
|
101
|
+
}
|
|
102
|
+
function gateEvidence(value) {
|
|
103
|
+
if (value === null || typeof value !== "object" || Array.isArray(value))
|
|
104
|
+
return undefined;
|
|
105
|
+
const record = value;
|
|
106
|
+
if (typeof record.evidenceId !== "string"
|
|
107
|
+
|| (record.level !== "trusted" && record.level !== "attested" && record.level !== "reported")
|
|
108
|
+
|| typeof record.gateId !== "string"
|
|
109
|
+
|| typeof record.codeRevision !== "string"
|
|
110
|
+
|| typeof record.baselineTreeDigest !== "string"
|
|
111
|
+
|| typeof record.workspaceTreeDigest !== "string"
|
|
112
|
+
|| typeof record.configDigest !== "string"
|
|
113
|
+
|| typeof record.attemptId !== "string"
|
|
114
|
+
|| (record.result !== "passed" && record.result !== "failed")
|
|
115
|
+
|| typeof record.recordHash !== "string")
|
|
116
|
+
return undefined;
|
|
117
|
+
return record;
|
|
118
|
+
}
|
|
119
|
+
const evidenceStrength = { reported: 0, attested: 1, trusted: 2 };
|
|
120
|
+
export function isFreshGateEvidence(input) {
|
|
121
|
+
const record = gateEvidence(input.evidence);
|
|
122
|
+
if (record === undefined)
|
|
123
|
+
return false;
|
|
124
|
+
const { recordHash: _recordHash, ...unsigned } = record;
|
|
125
|
+
return record.gateId === input.gateId
|
|
126
|
+
&& record.attemptId === input.attemptId
|
|
127
|
+
&& evidenceStrength[record.level] >= evidenceStrength[input.requiredLevel]
|
|
128
|
+
&& record.result === "passed"
|
|
129
|
+
&& record.workspaceTreeDigest === input.workspaceTreeDigest
|
|
130
|
+
&& record.configDigest === input.configDigest
|
|
131
|
+
&& record.recordHash === evidenceRecordHash(unsigned);
|
|
132
|
+
}
|
|
133
|
+
function flatten(steps) {
|
|
134
|
+
return steps.flatMap((step) => [step, ...flatten(step.steps)]);
|
|
135
|
+
}
|
|
136
|
+
function stepForEvidence(steps, stageId) {
|
|
137
|
+
const direct = flatten(steps).find(({ id }) => id === stageId);
|
|
138
|
+
if (direct !== undefined)
|
|
139
|
+
return direct;
|
|
140
|
+
const childId = stageId.split(":").at(-1);
|
|
141
|
+
return childId === undefined ? undefined : flatten(steps).find(({ id }) => id === childId);
|
|
142
|
+
}
|
|
143
|
+
export async function recordGateEvidence(input) {
|
|
144
|
+
const evidence = validate("builtin.evidence.v1", input.evidence);
|
|
145
|
+
const { recordHash: _recordHash, ...unsigned } = evidence;
|
|
146
|
+
if (evidence.recordHash !== evidenceRecordHash(unsigned)) {
|
|
147
|
+
throw new VerificationError("WSSPEC_EVIDENCE_HASH_MISMATCH", "Evidence recordHash 与内容不一致。");
|
|
148
|
+
}
|
|
149
|
+
const state = await loadApplicationState(input.cwd, input.workItemId);
|
|
150
|
+
const profile = selectedProfile(state.snapshot);
|
|
151
|
+
const step = stepForEvidence(profile.steps, input.stageId);
|
|
152
|
+
const gate = state.snapshot.gates.find(({ id }) => id === evidence.gateId);
|
|
153
|
+
if (step === undefined || !step.gates.includes(evidence.gateId) || gate === undefined) {
|
|
154
|
+
throw new VerificationError("WSSPEC_GATE_NOT_REQUIRED", `步骤 ${input.stageId} 未声明 Gate ${evidence.gateId}。`);
|
|
155
|
+
}
|
|
156
|
+
if (evidenceStrength[evidence.level] < evidenceStrength[gate.evidence]) {
|
|
157
|
+
throw new VerificationError("WSSPEC_EVIDENCE_LEVEL_INSUFFICIENT", `Gate ${evidence.gateId} 的 Evidence 信任级别不足。`);
|
|
158
|
+
}
|
|
159
|
+
const assertFresh = async () => {
|
|
160
|
+
if (evidence.baselineTreeDigest !== state.item.execution.baselineTreeDigest
|
|
161
|
+
|| evidence.configDigest !== state.item.execution.configDigest
|
|
162
|
+
|| evidence.workspaceTreeDigest !== await computeWorkspaceTreeDigest(state.worktree)) {
|
|
163
|
+
throw new VerificationError("WSSPEC_EVIDENCE_STALE", `Gate ${evidence.gateId} 的 Evidence 与当前执行快照不一致。`);
|
|
164
|
+
}
|
|
165
|
+
};
|
|
166
|
+
await assertFresh();
|
|
167
|
+
const context = state.projection.contexts[input.stageId];
|
|
168
|
+
if (context?.workPackage?.attemptId !== evidence.attemptId) {
|
|
169
|
+
throw new VerificationError("WSSPEC_EVIDENCE_ATTEMPT_MISMATCH", `Gate ${evidence.gateId} 未绑定当前 Attempt。`);
|
|
170
|
+
}
|
|
171
|
+
return mutateControlPlane({
|
|
172
|
+
cwd: input.cwd,
|
|
173
|
+
workItemId: input.workItemId,
|
|
174
|
+
eventType: "evidence.recorded",
|
|
175
|
+
idempotencyKey: `evidence:${evidence.evidenceId}`,
|
|
176
|
+
actor: input.actor,
|
|
177
|
+
stageId: input.stageId,
|
|
178
|
+
attemptId: evidence.attemptId,
|
|
179
|
+
operationInput: evidence,
|
|
180
|
+
mutate: async (current) => {
|
|
181
|
+
await assertFresh();
|
|
182
|
+
const currentContext = current.contexts[input.stageId];
|
|
183
|
+
if (currentContext?.workPackage?.attemptId !== evidence.attemptId) {
|
|
184
|
+
throw new VerificationError("WSSPEC_EVIDENCE_ATTEMPT_MISMATCH", `Gate ${evidence.gateId} 未绑定当前 Attempt。`);
|
|
185
|
+
}
|
|
186
|
+
return {
|
|
187
|
+
projection: {
|
|
188
|
+
...current,
|
|
189
|
+
evidence: { ...current.evidence, [evidenceProjectionKey(input.stageId, evidence.gateId)]: evidence },
|
|
190
|
+
},
|
|
191
|
+
value: evidence,
|
|
192
|
+
};
|
|
193
|
+
},
|
|
194
|
+
});
|
|
195
|
+
}
|
|
196
|
+
//# sourceMappingURL=verification.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/engine/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAE7B,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAqB,MAAM,yBAAyB,CAAC;AACnG,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACzK,OAAO,EAAE,aAAa,EAAmE,MAAM,gBAAgB,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,OAAO,MAAM,MAAM,CAAC;AACjF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,OAAO,MAAM,QAAQ,CAAC;AACrF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAE,UAAkB,EAAU,EAAE,CAAC,OAAO,MAAM,UAAU,UAAU,EAAE,CAAC;AAEvH,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7H,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,KAA2E;IACrH,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC;IAC/D,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC;IAC/D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,EAAE,OAAO,CAAC;IAC3B,MAAM,cAAc,GAAG,IAAI,EAAE,cAAc,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,EAAE,GAAG,CAAC;IACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;WAC7F,OAAO,cAAc,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,CAAC;WAC7F,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC;WACrH,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;WAChD,CAAC,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;WACvE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAK,aAAmC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;WACxH,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,2BAA2B,CAAC,KAAK,CAAC,CAAC;WAClK,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,2BAA2B,CAAC,KAAK,CAAC,CAAC;WAC5J,QAAQ,EAAE,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,iBAAiB,CAAC,uCAAuC,EAAE,uCAAuC,CAAC,CAAC;IAChH,CAAC;IACD,OAAO;QACL,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,IAAgB;QACtB,GAAG,EAAE,UAAU;QACf,SAAS,EAAE,cAAc,GAAG,KAAK;QACjC,UAAU,EAAE,CAAC,UAAU,IAAI,EAAE,CAAa;QAC1C,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;YAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,iBAAiB,CAAC,uCAAuC,EAAE,iBAAiB,IAAI,UAAU,CAAC,CAAC;YACrI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;QACH,aAAa,EAAE,mBAAqD;QACpE,cAAc,EAAE,cAA0B;QAC1C,cAAc,EAAE,oBAAoB,CAAC,cAA0B,CAAC;QAChE,YAAY,EAAE,YAAwB;QACtC,QAAQ,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,EAAE;KAC5C,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAA4D,CAAC;AAoBrG,MAAM,UAAU,kBAAkB,CAAC,QAA8B;IAC/D,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,EAAE,iBAAiB,CAAC,CAAC;IACrG,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAO5C;IACC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3F,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,EAAE,+CAA+C,CAAC,CAAC;IAC1G,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC;QACjB,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,aAAa,CAAC;QAC5E,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;QACjK,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC1C,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC;KACxH,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,EAAE;QAC7D,IAAI,QAAQ,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,QAAQ,CAAC,aAAa,KAAK,aAAa,EAAE,CAAC;YACvF,MAAM,IAAI,iBAAiB,CAAC,iCAAiC,EAAE,gCAAgC,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,eAAe;eAC3C,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,gBAAgB;eAC3C,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;mBACjH,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;mBACrF,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;eACrF,CAAC,KAAK,CAAC,qBAAqB,KAAK,IAAI,IAAI,eAAe,KAAK,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC5F,MAAM,IAAI,iBAAiB,CAAC,iCAAiC,EAAE,kBAAkB,CAAC,CAAC;QACrF,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAGzC;IACC,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC3C,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,OAAO,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC;QACA,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE;QACxD,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAe,EAAE,MAAc;IACnE,OAAO,GAAG,OAAO,SAAS,MAAM,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,MAAM,GAAG,KAA8B,CAAC;IAC9C,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;WACpC,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC;WAC1F,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;WACjC,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ;WACvC,OAAO,MAAM,CAAC,kBAAkB,KAAK,QAAQ;WAC7C,OAAO,MAAM,CAAC,mBAAmB,KAAK,QAAQ;WAC9C,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ;WACvC,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;WACpC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;WAC1D,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,MAAsB,CAAC;AAChC,CAAC;AAED,MAAM,gBAAgB,GAAkC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAEjG,MAAM,UAAU,mBAAmB,CAAC,KAOnC;IACC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAChC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;WACpC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,aAAa,CAAC;WACvE,MAAM,CAAC,MAAM,KAAK,QAAQ;WAC1B,MAAM,CAAC,mBAAmB,KAAK,KAAK,CAAC,mBAAmB;WACxD,MAAM,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WAC1C,MAAM,CAAC,UAAU,KAAK,kBAAkB,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,OAAO,CAAC,KAA8B;IAC7C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,eAAe,CAAC,KAA8B,EAAE,OAAe;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAMxC;IACC,MAAM,QAAQ,GAAG,QAAQ,CAAe,qBAAqB,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/E,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC1D,IAAI,QAAQ,CAAC,UAAU,KAAK,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,iBAAiB,CAAC,+BAA+B,EAAE,6BAA6B,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3E,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACtF,MAAM,IAAI,iBAAiB,CAAC,0BAA0B,EAAE,MAAM,KAAK,CAAC,OAAO,aAAa,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9G,CAAC;IACD,IAAI,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,iBAAiB,CAAC,oCAAoC,EAAE,QAAQ,QAAQ,CAAC,MAAM,qBAAqB,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,IAAmB,EAAE;QAC5C,IAAI,QAAQ,CAAC,kBAAkB,KAAK,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,kBAAkB;eACtE,QAAQ,CAAC,YAAY,KAAK,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY;eAC3D,QAAQ,CAAC,mBAAmB,KAAK,MAAM,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,iBAAiB,CAAC,uBAAuB,EAAE,QAAQ,QAAQ,CAAC,MAAM,yBAAyB,CAAC,CAAC;QACzG,CAAC;IACH,CAAC,CAAC;IACF,MAAM,WAAW,EAAE,CAAC;IACpB,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAA0D,CAAC;IAClH,IAAI,OAAO,EAAE,WAAW,EAAE,SAAS,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC3D,MAAM,IAAI,iBAAiB,CAAC,kCAAkC,EAAE,QAAQ,QAAQ,CAAC,MAAM,iBAAiB,CAAC,CAAC;IAC5G,CAAC;IAED,OAAO,kBAAkB,CAAC;QACxB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,mBAAmB;QAC9B,cAAc,EAAE,YAAY,QAAQ,CAAC,UAAU,EAAE;QACjD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YACxB,MAAM,WAAW,EAAE,CAAC;YACpB,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAA0D,CAAC;YAChH,IAAI,cAAc,EAAE,WAAW,EAAE,SAAS,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;gBAClE,MAAM,IAAI,iBAAiB,CAAC,kCAAkC,EAAE,QAAQ,QAAQ,CAAC,MAAM,iBAAiB,CAAC,CAAC;YAC5G,CAAC;YACD,OAAO;gBACL,UAAU,EAAE;oBACV,GAAG,OAAO;oBACV,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE;iBACrG;gBACD,KAAK,EAAE,QAAQ;aAChB,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import type { ProfileId } from "../domain/workflow.js";
|
|
2
|
+
export type RiskLevel = "low" | "medium" | "high";
|
|
3
|
+
export type ProfileMode = "auto" | ProfileId;
|
|
4
|
+
export type ProfileSelectionPhase = "intake" | "post-explore";
|
|
5
|
+
export interface ResolvedProfile {
|
|
6
|
+
id: ProfileId;
|
|
7
|
+
provisional: boolean;
|
|
8
|
+
source: "explicit" | "provisional" | "risk" | "unknown";
|
|
9
|
+
}
|
|
10
|
+
export interface ProfileDecision {
|
|
11
|
+
profile: ProfileId;
|
|
12
|
+
upgraded: boolean;
|
|
13
|
+
affectedSteps: string[];
|
|
14
|
+
}
|
|
15
|
+
export declare function selectProfile(input: {
|
|
16
|
+
mode: ProfileMode;
|
|
17
|
+
phase: ProfileSelectionPhase;
|
|
18
|
+
risk: RiskLevel | null;
|
|
19
|
+
}): ResolvedProfile;
|
|
20
|
+
export declare function evaluateProfileUpgrade(input: {
|
|
21
|
+
current: ProfileId;
|
|
22
|
+
minimum: ProfileId;
|
|
23
|
+
affectedSteps?: readonly string[];
|
|
24
|
+
}): ProfileDecision;
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
const strength = { quick: 0, standard: 1, governed: 2 };
|
|
2
|
+
export function selectProfile(input) {
|
|
3
|
+
if (input.mode !== "auto")
|
|
4
|
+
return { id: input.mode, provisional: false, source: "explicit" };
|
|
5
|
+
if (input.phase === "intake")
|
|
6
|
+
return { id: "quick", provisional: true, source: "provisional" };
|
|
7
|
+
if (input.risk === null)
|
|
8
|
+
return { id: "standard", provisional: false, source: "unknown" };
|
|
9
|
+
return {
|
|
10
|
+
id: input.risk === "low" ? "quick" : input.risk === "medium" ? "standard" : "governed",
|
|
11
|
+
provisional: false,
|
|
12
|
+
source: "risk",
|
|
13
|
+
};
|
|
14
|
+
}
|
|
15
|
+
export function evaluateProfileUpgrade(input) {
|
|
16
|
+
const upgraded = strength[input.minimum] > strength[input.current];
|
|
17
|
+
return {
|
|
18
|
+
profile: upgraded ? input.minimum : input.current,
|
|
19
|
+
upgraded,
|
|
20
|
+
affectedSteps: upgraded ? [...new Set(input.affectedSteps ?? [])].sort() : [],
|
|
21
|
+
};
|
|
22
|
+
}
|
|
23
|
+
//# sourceMappingURL=profile.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"profile.js","sourceRoot":"","sources":["../../src/policy/profile.ts"],"names":[],"mappings":"AAkBA,MAAM,QAAQ,GAA8B,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAEnF,MAAM,UAAU,aAAa,CAAC,KAAkF;IAC9G,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC7F,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC/F,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC1F,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;QACtF,WAAW,EAAE,KAAK;QAClB,MAAM,EAAE,MAAM;KACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAoF;IACzH,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnE,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO;QACjD,QAAQ;QACR,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;KAC9E,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
import type { ProfileId } from "../domain/workflow.js";
|
|
2
|
+
import type { RiskLevel } from "./profile.js";
|
|
3
|
+
export interface RiskRule {
|
|
4
|
+
id: string;
|
|
5
|
+
labels?: string[];
|
|
6
|
+
requirementRisks?: RiskLevel[];
|
|
7
|
+
paths?: string[];
|
|
8
|
+
fileTypes?: string[];
|
|
9
|
+
actions?: string[];
|
|
10
|
+
minimum: ProfileId;
|
|
11
|
+
}
|
|
12
|
+
export interface RiskEvaluationInput {
|
|
13
|
+
workflow: "feature" | "documentation-only";
|
|
14
|
+
issueLabels: string[];
|
|
15
|
+
requirementRisk: RiskLevel | null;
|
|
16
|
+
affectedPaths: string[];
|
|
17
|
+
modifiedPaths: string[];
|
|
18
|
+
fileTypes: string[];
|
|
19
|
+
plannedActions: string[];
|
|
20
|
+
rules?: RiskRule[];
|
|
21
|
+
}
|
|
22
|
+
export interface RiskEvaluation {
|
|
23
|
+
risk: RiskLevel | null;
|
|
24
|
+
minimum: ProfileId;
|
|
25
|
+
matchedRules: string[];
|
|
26
|
+
affectedSteps: string[];
|
|
27
|
+
}
|
|
28
|
+
export declare class RiskPolicyError extends Error {
|
|
29
|
+
readonly code: "WSSPEC_RISK_RULE_INVALID" | "WSSPEC_RISK_WORKFLOW_INVALID";
|
|
30
|
+
readonly path: string;
|
|
31
|
+
constructor(code: "WSSPEC_RISK_RULE_INVALID" | "WSSPEC_RISK_WORKFLOW_INVALID", path: string, message: string);
|
|
32
|
+
}
|
|
33
|
+
export declare function evaluateRiskRules(input: RiskEvaluationInput): RiskEvaluation;
|
|
@@ -0,0 +1,138 @@
|
|
|
1
|
+
const strength = { quick: 0, standard: 1, governed: 2 };
|
|
2
|
+
const featureInvalidation = {
|
|
3
|
+
quick: ["clarify", "plan", "review-fix", "verify-green"],
|
|
4
|
+
standard: ["design", "plan", "review-fix", "verify-green"],
|
|
5
|
+
governed: ["design", "plan", "review-fix", "verify-green", "commit", "close"],
|
|
6
|
+
};
|
|
7
|
+
const documentationInvalidation = {
|
|
8
|
+
quick: ["clarify", "plan", "review-fix", "verify-document"],
|
|
9
|
+
standard: ["clarify", "plan", "review-fix", "verify-document"],
|
|
10
|
+
governed: ["clarify", "plan", "review-fix", "verify-document", "commit", "close"],
|
|
11
|
+
};
|
|
12
|
+
const riskRuleKeys = new Set(["id", "labels", "requirementRisks", "paths", "fileTypes", "actions", "minimum"]);
|
|
13
|
+
const builtinRules = [
|
|
14
|
+
{ id: "sensitive-label", labels: ["security", "permissions", "payment", "payments", "privacy", "release"], minimum: "governed" },
|
|
15
|
+
{ id: "high-requirement", requirementRisks: ["high"], minimum: "governed" },
|
|
16
|
+
{ id: "medium-requirement", requirementRisks: ["medium"], minimum: "standard" },
|
|
17
|
+
{ id: "low-requirement", requirementRisks: ["low"], minimum: "quick" },
|
|
18
|
+
{ id: "sensitive-path", paths: ["src/auth/**", "src/permissions/**", "migrations/**", "schema/**"], minimum: "governed" },
|
|
19
|
+
{ id: "sensitive-file-type", fileTypes: ["sql", "pem", "key"], minimum: "governed" },
|
|
20
|
+
{ id: "sensitive-action", actions: ["deploy", "release", "external-write", "database-migrate"], minimum: "governed" },
|
|
21
|
+
];
|
|
22
|
+
export class RiskPolicyError extends Error {
|
|
23
|
+
code;
|
|
24
|
+
path;
|
|
25
|
+
constructor(code, path, message) {
|
|
26
|
+
super(`${code} ${path}: ${message}`);
|
|
27
|
+
this.code = code;
|
|
28
|
+
this.path = path;
|
|
29
|
+
this.name = "RiskPolicyError";
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
function validateWorkflow(workflow) {
|
|
33
|
+
if (workflow !== "feature" && workflow !== "documentation-only") {
|
|
34
|
+
throw new RiskPolicyError("WSSPEC_RISK_WORKFLOW_INVALID", "/workflow", "Workflow 必须是 feature 或 documentation-only。");
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
function validateCustomRule(rule, index) {
|
|
38
|
+
const path = `/rules/${index}`;
|
|
39
|
+
if (rule === null || typeof rule !== "object" || Array.isArray(rule))
|
|
40
|
+
throw new RiskPolicyError("WSSPEC_RISK_RULE_INVALID", path, "Risk rule 必须是对象。");
|
|
41
|
+
const source = rule;
|
|
42
|
+
const unknown = Object.keys(source).find((key) => !riskRuleKeys.has(key));
|
|
43
|
+
if (unknown !== undefined)
|
|
44
|
+
throw new RiskPolicyError("WSSPEC_RISK_RULE_INVALID", `${path}/${unknown}`, `Risk rule 不接受字段 ${unknown}。`);
|
|
45
|
+
if (typeof rule.id !== "string" || rule.id === "" || !Object.hasOwn(strength, rule.minimum))
|
|
46
|
+
throw new RiskPolicyError("WSSPEC_RISK_RULE_INVALID", path, "Risk rule 缺少有效 id 或 minimum。");
|
|
47
|
+
for (const field of ["labels", "paths", "fileTypes", "actions"]) {
|
|
48
|
+
const values = rule[field];
|
|
49
|
+
if (values !== undefined && (!Array.isArray(values) || values.some((value) => typeof value !== "string" || value === "")))
|
|
50
|
+
throw new RiskPolicyError("WSSPEC_RISK_RULE_INVALID", `${path}/${field}`, `${field} 必须是非空字符串数组。`);
|
|
51
|
+
}
|
|
52
|
+
if (rule.requirementRisks !== undefined && (!Array.isArray(rule.requirementRisks) || rule.requirementRisks.some((risk) => !["low", "medium", "high"].includes(risk))))
|
|
53
|
+
throw new RiskPolicyError("WSSPEC_RISK_RULE_INVALID", `${path}/requirementRisks`, "requirementRisks 包含未知风险等级。");
|
|
54
|
+
}
|
|
55
|
+
function normalize(value) {
|
|
56
|
+
return value.trim().toLowerCase();
|
|
57
|
+
}
|
|
58
|
+
function glob(pattern) {
|
|
59
|
+
let source = "";
|
|
60
|
+
for (let index = 0; index < pattern.length; index += 1) {
|
|
61
|
+
const character = pattern[index];
|
|
62
|
+
if (character === "*") {
|
|
63
|
+
if (pattern[index + 1] === "*") {
|
|
64
|
+
source += ".*";
|
|
65
|
+
index += 1;
|
|
66
|
+
}
|
|
67
|
+
else
|
|
68
|
+
source += "[^/]*";
|
|
69
|
+
}
|
|
70
|
+
else if (character === "?")
|
|
71
|
+
source += "[^/]";
|
|
72
|
+
else
|
|
73
|
+
source += character.replace(/[\\^$.*+?()[\]{}|]/g, "\\$&");
|
|
74
|
+
}
|
|
75
|
+
return new RegExp(`^${source}$`);
|
|
76
|
+
}
|
|
77
|
+
function intersects(left, right) {
|
|
78
|
+
const values = new Set(left.map(normalize));
|
|
79
|
+
return right.some((value) => values.has(normalize(value)));
|
|
80
|
+
}
|
|
81
|
+
function matchesRule(rule, input) {
|
|
82
|
+
if (rule.labels !== undefined && !intersects(input.issueLabels, rule.labels))
|
|
83
|
+
return false;
|
|
84
|
+
if (rule.requirementRisks !== undefined && (input.requirementRisk === null || !rule.requirementRisks.includes(input.requirementRisk)))
|
|
85
|
+
return false;
|
|
86
|
+
if (rule.paths !== undefined) {
|
|
87
|
+
const paths = [...input.affectedPaths, ...input.modifiedPaths];
|
|
88
|
+
if (!rule.paths.some((pattern) => paths.some((candidate) => glob(pattern).test(candidate))))
|
|
89
|
+
return false;
|
|
90
|
+
}
|
|
91
|
+
if (rule.fileTypes !== undefined && !intersects(input.fileTypes.map((type) => type.replace(/^\./, "")), rule.fileTypes))
|
|
92
|
+
return false;
|
|
93
|
+
if (rule.actions !== undefined && !intersects(input.plannedActions, rule.actions))
|
|
94
|
+
return false;
|
|
95
|
+
return rule.labels !== undefined || rule.requirementRisks !== undefined || rule.paths !== undefined || rule.fileTypes !== undefined || rule.actions !== undefined;
|
|
96
|
+
}
|
|
97
|
+
function documentationOnly(input) {
|
|
98
|
+
const paths = [...input.affectedPaths, ...input.modifiedPaths];
|
|
99
|
+
if (paths.length === 0)
|
|
100
|
+
return false;
|
|
101
|
+
const documentationPath = /^(?:README[^/]*\.md|CHANGELOG[^/]*\.md|docs\/.+\.(?:md|mdx|txt))$/i;
|
|
102
|
+
return paths.every((path) => documentationPath.test(path))
|
|
103
|
+
&& input.fileTypes.every((type) => ["md", "mdx", "txt"].includes(normalize(type).replace(/^\./, "")))
|
|
104
|
+
&& input.plannedActions.length === 0;
|
|
105
|
+
}
|
|
106
|
+
export function evaluateRiskRules(input) {
|
|
107
|
+
validateWorkflow(input.workflow);
|
|
108
|
+
for (const [index, rule] of (input.rules ?? []).entries())
|
|
109
|
+
validateCustomRule(rule, index);
|
|
110
|
+
const rules = [...builtinRules, ...(input.rules ?? [])];
|
|
111
|
+
const matched = rules.filter((rule) => matchesRule(rule, input));
|
|
112
|
+
if (matched.length === 0 && documentationOnly(input)) {
|
|
113
|
+
return {
|
|
114
|
+
risk: "low",
|
|
115
|
+
minimum: "quick",
|
|
116
|
+
matchedRules: ["documentation-only"],
|
|
117
|
+
affectedSteps: [...(input.workflow === "documentation-only" ? documentationInvalidation.quick : featureInvalidation.quick)],
|
|
118
|
+
};
|
|
119
|
+
}
|
|
120
|
+
if (matched.length === 0) {
|
|
121
|
+
const hasEvidence = input.requirementRisk !== null
|
|
122
|
+
|| input.issueLabels.length > 0
|
|
123
|
+
|| input.affectedPaths.length > 0
|
|
124
|
+
|| input.modifiedPaths.length > 0
|
|
125
|
+
|| input.fileTypes.length > 0
|
|
126
|
+
|| input.plannedActions.length > 0;
|
|
127
|
+
return { risk: hasEvidence ? "medium" : null, minimum: "standard", matchedRules: [], affectedSteps: [] };
|
|
128
|
+
}
|
|
129
|
+
const minimum = matched.reduce((current, rule) => strength[rule.minimum] > strength[current] ? rule.minimum : current, "quick");
|
|
130
|
+
const affectedSteps = input.workflow === "documentation-only" ? documentationInvalidation[minimum] : featureInvalidation[minimum];
|
|
131
|
+
return {
|
|
132
|
+
risk: minimum === "quick" ? "low" : minimum === "standard" ? "medium" : "high",
|
|
133
|
+
minimum,
|
|
134
|
+
matchedRules: [...new Set(matched.map(({ id }) => id))].sort(),
|
|
135
|
+
affectedSteps: [...affectedSteps].sort(),
|
|
136
|
+
};
|
|
137
|
+
}
|
|
138
|
+
//# sourceMappingURL=risk.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"risk.js","sourceRoot":"","sources":["../../src/policy/risk.ts"],"names":[],"mappings":"AA+BA,MAAM,QAAQ,GAA8B,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACnF,MAAM,mBAAmB,GAAyC;IAChE,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC;IACxD,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC;IAC1D,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO,CAAC;CAC9E,CAAC;AACF,MAAM,yBAAyB,GAAyC;IACtE,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,CAAC;IAC3D,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,CAAC;IAC9D,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,CAAC;CAClF,CAAC;AACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAE/G,MAAM,YAAY,GAAe;IAC/B,EAAE,EAAE,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;IAChI,EAAE,EAAE,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;IAC3E,EAAE,EAAE,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;IAC/E,EAAE,EAAE,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE;IACtE,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,oBAAoB,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;IACzH,EAAE,EAAE,EAAE,qBAAqB,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;IACpF,EAAE,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,kBAAkB,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;CACtH,CAAC;AAEF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACnB;IAA4E;IAAjG,YAAqB,IAAiE,EAAW,IAAY,EAAE,OAAe;QAC5H,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QADlB,SAAI,GAAJ,IAAI,CAA6D;QAAW,SAAI,GAAJ,IAAI,CAAQ;QAE3G,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,SAAS,gBAAgB,CAAC,QAAiB;IACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,oBAAoB,EAAE,CAAC;QAChE,MAAM,IAAI,eAAe,CAAC,8BAA8B,EAAE,WAAW,EAAE,4CAA4C,CAAC,CAAC;IACvH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAc,EAAE,KAAa;IACvD,MAAM,IAAI,GAAG,UAAU,KAAK,EAAE,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,eAAe,CAAC,0BAA0B,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACtJ,MAAM,MAAM,GAAG,IAA0C,CAAC;IAC1D,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1E,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,eAAe,CAAC,0BAA0B,EAAE,GAAG,IAAI,IAAI,OAAO,EAAE,EAAE,mBAAmB,OAAO,GAAG,CAAC,CAAC;IACtI,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,eAAe,CAAC,0BAA0B,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC;IACzL,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAU,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;YAAE,MAAM,IAAI,eAAe,CAAC,0BAA0B,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,GAAG,KAAK,cAAc,CAAC,CAAC;IAC/N,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,eAAe,CAAC,0BAA0B,EAAE,GAAG,IAAI,mBAAmB,EAAE,4BAA4B,CAAC,CAAC;AACzR,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC3B,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;QAClC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,MAAM,IAAI,IAAI,CAAC;gBAAC,KAAK,IAAI,CAAC,CAAC;YAAC,CAAC;;gBAC1D,MAAM,IAAI,OAAO,CAAC;QACzB,CAAC;aAAM,IAAI,SAAS,KAAK,GAAG;YAAE,MAAM,IAAI,MAAM,CAAC;;YAC1C,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,UAAU,CAAC,IAAuB,EAAE,KAAwB;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,WAAW,CAAC,IAAc,EAAE,KAA0B;IAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3F,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACpJ,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5G,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACtI,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAChG,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;AACpK,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA0B;IACnD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,iBAAiB,GAAG,oEAAoE,CAAC;IAC/F,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACrD,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;WAClG,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAA0B;IAC1D,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;QAAE,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,OAAO;YAChB,YAAY,EAAE,CAAC,oBAAoB,CAAC;YACpC,aAAa,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;SAC5H,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,KAAK,IAAI;eAC7C,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;eAC5B,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;eAC9B,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;eAC9B,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;eAC1B,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC3G,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAY,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3I,MAAM,aAAa,GAAG,KAAK,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAClI,OAAO;QACL,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;QAC9E,OAAO;QACP,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QAC9D,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE;KACzC,CAAC;AACJ,CAAC"}
|