@revisium/orchestrator 0.2.0-alpha.2 → 0.2.0-alpha.4
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/README.md +3 -3
- package/control-plane/bootstrap.config.json +104 -550
- package/control-plane/default-playbook/catalog/pipelines.json +405 -1065
- package/control-plane/default-playbook/catalog/run-profiles.json +208 -0
- package/control-plane/default-playbook/package.json +1 -1
- package/control-plane/default-playbook/playbook.json +2 -1
- package/control-plane/default-playbook/prompts/developer.md +6 -6
- package/dist/__generated__/client/browser.js +18 -0
- package/dist/__generated__/client/browser.js.map +1 -0
- package/dist/__generated__/client/client.js +32 -0
- package/dist/__generated__/client/client.js.map +1 -0
- package/dist/__generated__/client/commonInputTypes.js +11 -0
- package/dist/__generated__/client/commonInputTypes.js.map +1 -0
- package/dist/__generated__/client/enums.js +19 -0
- package/dist/__generated__/client/enums.js.map +1 -0
- package/dist/__generated__/client/internal/class.js +53 -0
- package/dist/__generated__/client/internal/class.js.map +1 -0
- package/dist/__generated__/client/internal/prismaNamespace.js +451 -0
- package/dist/__generated__/client/internal/prismaNamespace.js.map +1 -0
- package/dist/__generated__/client/internal/prismaNamespaceBrowser.js +422 -0
- package/dist/__generated__/client/internal/prismaNamespaceBrowser.js.map +1 -0
- package/dist/__generated__/client/models/Branch.js +2 -0
- package/dist/__generated__/client/models/Branch.js.map +1 -0
- package/dist/__generated__/client/models/CostLedgerEntry.js +2 -0
- package/dist/__generated__/client/models/CostLedgerEntry.js.map +1 -0
- package/dist/__generated__/client/models/FileBlob.js +2 -0
- package/dist/__generated__/client/models/FileBlob.js.map +1 -0
- package/dist/__generated__/client/models/InboxItem.js +2 -0
- package/dist/__generated__/client/models/InboxItem.js.map +1 -0
- package/dist/__generated__/client/models/ProjectFileUsage.js +2 -0
- package/dist/__generated__/client/models/ProjectFileUsage.js.map +1 -0
- package/dist/__generated__/client/models/Revision.js +2 -0
- package/dist/__generated__/client/models/Revision.js.map +1 -0
- package/dist/__generated__/client/models/RevoProject.js +2 -0
- package/dist/__generated__/client/models/RevoProject.js.map +1 -0
- package/dist/__generated__/client/models/Row.js +2 -0
- package/dist/__generated__/client/models/Row.js.map +1 -0
- package/dist/__generated__/client/models/RunAttempt.js +2 -0
- package/dist/__generated__/client/models/RunAttempt.js.map +1 -0
- package/dist/__generated__/client/models/RunEvent.js +2 -0
- package/dist/__generated__/client/models/RunEvent.js.map +1 -0
- package/dist/__generated__/client/models/RunOutput.js +2 -0
- package/dist/__generated__/client/models/RunOutput.js.map +1 -0
- package/dist/__generated__/client/models/RunTask.js +2 -0
- package/dist/__generated__/client/models/RunTask.js.map +1 -0
- package/dist/__generated__/client/models/Table.js +2 -0
- package/dist/__generated__/client/models/Table.js.map +1 -0
- package/dist/__generated__/client/models/TableMigration.js +2 -0
- package/dist/__generated__/client/models/TableMigration.js.map +1 -0
- package/dist/__generated__/client/models/TaskRun.js +2 -0
- package/dist/__generated__/client/models/TaskRun.js.map +1 -0
- package/dist/__generated__/client/models.js +2 -0
- package/dist/__generated__/client/models.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/pubsub.module.js +2 -1
- package/dist/api/graphql-api/graphql-ws/pubsub.module.js.map +1 -1
- package/dist/api/graphql-api/graphql-ws/subscription-bridge.service.js +110 -28
- package/dist/api/graphql-api/graphql-ws/subscription-bridge.service.js.map +1 -1
- package/dist/api/graphql-api/graphql-ws/subscription-mappers.js +3 -1
- package/dist/api/graphql-api/graphql-ws/subscription-mappers.js.map +1 -1
- package/dist/api/graphql-api/inbox/inputs/resolve-gate.input.js +46 -0
- package/dist/api/graphql-api/inbox/inputs/resolve-gate.input.js.map +1 -1
- package/dist/api/graphql-api/pr/inputs/pr-readiness.input.js +6 -0
- package/dist/api/graphql-api/pr/inputs/pr-readiness.input.js.map +1 -1
- package/dist/api/graphql-api/registerGraphqlEnums.js +2 -0
- package/dist/api/graphql-api/registerGraphqlEnums.js.map +1 -1
- package/dist/api/graphql-api/runs/inputs/create-run.input.js +17 -0
- package/dist/api/graphql-api/runs/inputs/create-run.input.js.map +1 -1
- package/dist/api/graphql-api/runs/inputs/execution-profile.input.js +85 -0
- package/dist/api/graphql-api/runs/inputs/execution-profile.input.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/simulate-route.input.js +11 -0
- package/dist/api/graphql-api/runs/inputs/simulate-route.input.js.map +1 -1
- package/dist/api/graphql-api/runs/model/run-workflow.model.js +5 -0
- package/dist/api/graphql-api/runs/model/run-workflow.model.js.map +1 -1
- package/dist/api/graphql-api/share/model/issue-action.model.js +7 -0
- package/dist/api/graphql-api/share/model/issue-action.model.js.map +1 -0
- package/dist/cli/commands/doctor-report.js +1 -13
- package/dist/cli/commands/doctor-report.js.map +1 -1
- package/dist/cli/commands/lifecycle.js +50 -65
- package/dist/cli/commands/lifecycle.js.map +1 -1
- package/dist/cli/commands/{revisium-helpers.js → process-helpers.js} +1 -24
- package/dist/cli/commands/process-helpers.js.map +1 -0
- package/dist/config.js +17 -55
- package/dist/config.js.map +1 -1
- package/dist/control-plane/audit-validation-helpers.js +31 -0
- package/dist/control-plane/audit-validation-helpers.js.map +1 -0
- package/dist/control-plane/bootstrap-json-validator.js +65 -0
- package/dist/control-plane/bootstrap-json-validator.js.map +1 -0
- package/dist/control-plane/bootstrap.js +25 -38
- package/dist/control-plane/bootstrap.js.map +1 -1
- package/dist/control-plane/change-notifications.js +45 -14
- package/dist/control-plane/change-notifications.js.map +1 -1
- package/dist/control-plane/data-access.js +1 -106
- package/dist/control-plane/data-access.js.map +1 -1
- package/dist/control-plane/default-playbook-policy.js +499 -78
- package/dist/control-plane/default-playbook-policy.js.map +1 -1
- package/dist/control-plane/definitions.js +4 -5
- package/dist/control-plane/definitions.js.map +1 -1
- package/dist/control-plane/engine-transport.js +381 -0
- package/dist/control-plane/engine-transport.js.map +1 -0
- package/dist/control-plane/inbox.js +15 -7
- package/dist/control-plane/inbox.js.map +1 -1
- package/dist/control-plane/index.js +0 -1
- package/dist/control-plane/index.js.map +1 -1
- package/dist/control-plane/manual-adoption-audit.js +3 -24
- package/dist/control-plane/manual-adoption-audit.js.map +1 -1
- package/dist/control-plane/merge-override-audit.js +44 -0
- package/dist/control-plane/merge-override-audit.js.map +1 -0
- package/dist/control-plane/pipeline-coverage-registry.js +478 -0
- package/dist/control-plane/pipeline-coverage-registry.js.map +1 -0
- package/dist/control-plane/query-types.js +2 -0
- package/dist/control-plane/query-types.js.map +1 -0
- package/dist/control-plane/run-profiles.js +89 -0
- package/dist/control-plane/run-profiles.js.map +1 -0
- package/dist/control-plane/schema-migration.js +0 -35
- package/dist/control-plane/schema-migration.js.map +1 -1
- package/dist/control-plane/seed-default-playbook.js +2 -31
- package/dist/control-plane/seed-default-playbook.js.map +1 -1
- package/dist/control-plane/tables.js +8 -0
- package/dist/control-plane/tables.js.map +1 -1
- package/dist/control-plane/transport.js +16 -0
- package/dist/control-plane/transport.js.map +1 -0
- package/dist/control-plane/versioned-meaning.js +56 -14
- package/dist/control-plane/versioned-meaning.js.map +1 -1
- package/dist/e2e/kit/agents.js +60 -6
- package/dist/e2e/kit/agents.js.map +1 -1
- package/dist/e2e/kit/assertions.js +13 -1
- package/dist/e2e/kit/assertions.js.map +1 -1
- package/dist/e2e/kit/drive.js +46 -11
- package/dist/e2e/kit/drive.js.map +1 -1
- package/dist/e2e/kit/env.js +17 -1
- package/dist/e2e/kit/env.js.map +1 -1
- package/dist/e2e/kit/fake-integrator.js +25 -5
- package/dist/e2e/kit/fake-integrator.js.map +1 -1
- package/dist/e2e/kit/gh-emulator.js +172 -40
- package/dist/e2e/kit/gh-emulator.js.map +1 -1
- package/dist/e2e/kit/harness.js +44 -10
- package/dist/e2e/kit/harness.js.map +1 -1
- package/dist/e2e/kit/index.js +1 -0
- package/dist/e2e/kit/index.js.map +1 -1
- package/dist/e2e/kit/scenario.js +165 -0
- package/dist/e2e/kit/scenario.js.map +1 -0
- package/dist/e2e/kit/scenarios.js +12 -18
- package/dist/e2e/kit/scenarios.js.map +1 -1
- package/dist/engine/dbos.service.js +8 -1
- package/dist/engine/dbos.service.js.map +1 -1
- package/dist/features/inbox/commands/impl/resolve-gate.command.js.map +1 -1
- package/dist/features/pr/queries/impl/get-pr-readiness.query.js.map +1 -1
- package/dist/features/runs/commands/impl/create-run.command.js.map +1 -1
- package/dist/host/daemon.js +32 -8
- package/dist/host/daemon.js.map +1 -1
- package/dist/host/ensure-host.js +3 -3
- package/dist/host/ensure-host.js.map +1 -1
- package/dist/host/host-runtime.js.map +1 -1
- package/dist/host/host.lifecycle.js +3 -16
- package/dist/host/host.lifecycle.js.map +1 -1
- package/dist/http/graphql-host.js +17 -8
- package/dist/http/graphql-host.js.map +1 -1
- package/dist/mcp/mcp-capabilities.js +12 -11
- package/dist/mcp/mcp-capabilities.js.map +1 -1
- package/dist/mcp/mcp-facade.service.js +45 -5
- package/dist/mcp/mcp-facade.service.js.map +1 -1
- package/dist/mcp/mcp-tools.js +59 -5
- package/dist/mcp/mcp-tools.js.map +1 -1
- package/dist/mcp/monitoring-directive.js +43 -0
- package/dist/mcp/monitoring-directive.js.map +1 -0
- package/dist/pipeline/data-driven-task.workflow.js +393 -182
- package/dist/pipeline/data-driven-task.workflow.js.map +1 -1
- package/dist/pipeline/pipeline.service.js +27 -5
- package/dist/pipeline/pipeline.service.js.map +1 -1
- package/dist/pipeline/route-contract.js +123 -3
- package/dist/pipeline/route-contract.js.map +1 -1
- package/dist/pipeline-core/condition-scopes.js +15 -0
- package/dist/pipeline-core/condition-scopes.js.map +1 -0
- package/dist/pipeline-core/index.js +2 -0
- package/dist/pipeline-core/index.js.map +1 -1
- package/dist/pipeline-core/kit/fixtures.js +81 -44
- package/dist/pipeline-core/kit/fixtures.js.map +1 -1
- package/dist/pipeline-core/materialize.js +221 -0
- package/dist/pipeline-core/materialize.js.map +1 -0
- package/dist/pipeline-core/types.js +5 -0
- package/dist/pipeline-core/types.js.map +1 -1
- package/dist/pipeline-core/validate-loops.js +2 -15
- package/dist/pipeline-core/validate-loops.js.map +1 -1
- package/dist/pipeline-core/validate-resilience.js +257 -0
- package/dist/pipeline-core/validate-resilience.js.map +1 -0
- package/dist/pipeline-core/validate.js +2 -0
- package/dist/pipeline-core/validate.js.map +1 -1
- package/dist/playbook/catalog-loader.js +39 -2
- package/dist/playbook/catalog-loader.js.map +1 -1
- package/dist/playbook/catalog-schema-validator.js +438 -0
- package/dist/playbook/catalog-schema-validator.js.map +1 -0
- package/dist/playbook/import-mapper.js +41 -0
- package/dist/playbook/import-mapper.js.map +1 -1
- package/dist/playbook/manifest.js +5 -0
- package/dist/playbook/manifest.js.map +1 -1
- package/dist/playbook/playbook-installer.js +17 -1
- package/dist/playbook/playbook-installer.js.map +1 -1
- package/dist/poller/pr-readiness-core.js +280 -94
- package/dist/poller/pr-readiness-core.js.map +1 -1
- package/dist/poller/pr-readiness.js +2 -2
- package/dist/poller/pr-readiness.js.map +1 -1
- package/dist/revisium/inbox.service.js +8 -8
- package/dist/revisium/inbox.service.js.map +1 -1
- package/dist/revisium/playbooks.service.js +116 -21
- package/dist/revisium/playbooks.service.js.map +1 -1
- package/dist/revisium/revisium.module.js +8 -8
- package/dist/revisium/revisium.module.js.map +1 -1
- package/dist/revisium/roles.service.js +3 -1
- package/dist/revisium/roles.service.js.map +1 -1
- package/dist/revisium/run.service.js +9 -8
- package/dist/revisium/run.service.js.map +1 -1
- package/dist/revisium/tokens.js +0 -1
- package/dist/revisium/tokens.js.map +1 -1
- package/dist/run/create-run.js +1 -1
- package/dist/run/create-run.js.map +1 -1
- package/dist/run/inspect-run.js +32 -28
- package/dist/run/inspect-run.js.map +1 -1
- package/dist/run/issue-ref.js +97 -2
- package/dist/run/issue-ref.js.map +1 -1
- package/dist/run/prisma-runtime-data-access.js +619 -0
- package/dist/run/prisma-runtime-data-access.js.map +1 -0
- package/dist/run/run-outputs.js +39 -14
- package/dist/run/run-outputs.js.map +1 -1
- package/dist/run/terminal-run-status.js.map +1 -1
- package/dist/runners/integrator.js +657 -56
- package/dist/runners/integrator.js.map +1 -1
- package/dist/runners/worktree.service.js +10 -8
- package/dist/runners/worktree.service.js.map +1 -1
- package/dist/schema/ajv-errors.js +15 -0
- package/dist/schema/ajv-errors.js.map +1 -0
- package/dist/smoke/isolation.js +7 -16
- package/dist/smoke/isolation.js.map +1 -1
- package/dist/storage/ensure-storage.js +117 -0
- package/dist/storage/ensure-storage.js.map +1 -0
- package/dist/storage/revo-database.js +39 -0
- package/dist/storage/revo-database.js.map +1 -0
- package/dist/storage/revo-prisma.service.js +31 -0
- package/dist/storage/revo-prisma.service.js.map +1 -0
- package/dist/storage/revo-storage.module.js +18 -0
- package/dist/storage/revo-storage.module.js.map +1 -0
- package/dist/task-control-plane/pr-readiness.service.js +5 -2
- package/dist/task-control-plane/pr-readiness.service.js.map +1 -1
- package/dist/task-control-plane/run-watch.service.js +3 -6
- package/dist/task-control-plane/run-watch.service.js.map +1 -1
- package/dist/task-control-plane/task-control-plane-api.service.js +234 -43
- package/dist/task-control-plane/task-control-plane-api.service.js.map +1 -1
- package/dist/testing/runtime-data-access.js +175 -0
- package/dist/testing/runtime-data-access.js.map +1 -0
- package/dist/worker/build-context.js +178 -2
- package/dist/worker/build-context.js.map +1 -1
- package/dist/worker/claude-code-runner.js +22 -3
- package/dist/worker/claude-code-runner.js.map +1 -1
- package/dist/worker/codex-runner.js +6 -1
- package/dist/worker/codex-runner.js.map +1 -1
- package/package.json +20 -7
- package/prisma/migrations/20260707080500_initial_schema/migration.sql +259 -0
- package/prisma/migrations/20260707103000_prisma_runtime_tables/migration.sql +235 -0
- package/prisma/migrations/migration_lock.toml +3 -0
- package/prisma/schema.prisma +339 -0
- package/prisma.config.ts +11 -0
- package/dist/cli/commands/revisium-helpers.js.map +0 -1
- package/dist/control-plane/client-transport.js +0 -168
- package/dist/control-plane/client-transport.js.map +0 -1
- package/dist/engine/ensure-postgres.js +0 -46
- package/dist/engine/ensure-postgres.js.map +0 -1
- package/dist/host/ensure-revisium.js +0 -135
- package/dist/host/ensure-revisium.js.map +0 -1
- package/revisium.config.json +0 -10
|
@@ -0,0 +1,257 @@
|
|
|
1
|
+
import { isDefaultBranch, isGuardedBranch } from './types.js';
|
|
2
|
+
import { backwardReach, forwardReach, structuralEdges } from './validate-graph.js';
|
|
3
|
+
export function ruleResilienceWarnings(template, d) {
|
|
4
|
+
ruleGateOutcomesExplicitlyRouted(template, d);
|
|
5
|
+
ruleHumanGatesHaveCancelOfframp(template, d);
|
|
6
|
+
ruleEffectFailuresRouted(template, d);
|
|
7
|
+
ruleVerdictCyclesHaveCounterOrHumanGate(template, d);
|
|
8
|
+
}
|
|
9
|
+
function ruleGateOutcomesExplicitlyRouted(template, d) {
|
|
10
|
+
for (const node of Object.values(template.nodes)) {
|
|
11
|
+
if (node.kind !== 'humanGate')
|
|
12
|
+
continue;
|
|
13
|
+
for (const outcome of node.outcomes) {
|
|
14
|
+
if (node.branches.some((branch) => isGuardedBranch(branch) && conditionPositivelyMentionsVerdict(branch.when, outcome))) {
|
|
15
|
+
continue;
|
|
16
|
+
}
|
|
17
|
+
d.error('GATE_OUTCOME_UNROUTED', `humanGate ${node.id} declares outcome "${outcome}" but no guarded branch explicitly routes it`, { nodeId: node.id, path: `outcomes.${outcome}` });
|
|
18
|
+
}
|
|
19
|
+
}
|
|
20
|
+
}
|
|
21
|
+
function ruleHumanGatesHaveCancelOfframp(template, d) {
|
|
22
|
+
for (const node of Object.values(template.nodes)) {
|
|
23
|
+
if (node.kind !== 'humanGate')
|
|
24
|
+
continue;
|
|
25
|
+
const hasCancelOutcome = node.outcomes.includes('cancel');
|
|
26
|
+
const hasCancelToCancelled = node.branches.some((branch) => {
|
|
27
|
+
if (!isGuardedBranch(branch) || !conditionPositivelyMentionsVerdict(branch.when, 'cancel'))
|
|
28
|
+
return false;
|
|
29
|
+
const target = template.nodes[branch.goto];
|
|
30
|
+
return target?.kind === 'terminal' && target.status === 'cancelled';
|
|
31
|
+
});
|
|
32
|
+
if (hasCancelOutcome && hasCancelToCancelled)
|
|
33
|
+
continue;
|
|
34
|
+
d.warn('HUMAN_OFFRAMP_UNREACHABLE', `humanGate ${node.id} has no explicit cancel outcome routed to a cancelled terminal`, { nodeId: node.id });
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
function ruleEffectFailuresRouted(template, d) {
|
|
38
|
+
for (const node of Object.values(template.nodes)) {
|
|
39
|
+
if (node.kind === 'script') {
|
|
40
|
+
const policy = node.onFailure ?? 'abort';
|
|
41
|
+
if (policy === 'abort' && (node.catch ?? []).length === 0) {
|
|
42
|
+
d.warn('SCRIPT_FAILURE_UNROUTED', `script node ${node.id} can fail through the default abort path with no catch`, { nodeId: node.id });
|
|
43
|
+
}
|
|
44
|
+
}
|
|
45
|
+
if (node.kind === 'agent') {
|
|
46
|
+
const policy = node.onFailure ?? 'abort';
|
|
47
|
+
if (policy === 'abort') {
|
|
48
|
+
d.warn('AGENT_FAILURE_UNROUTED', `agent node ${node.id} uses abort failure policy instead of route or escalate`, { nodeId: node.id });
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function ruleVerdictCyclesHaveCounterOrHumanGate(template, d) {
|
|
54
|
+
const emitted = new Set();
|
|
55
|
+
for (const node of Object.values(template.nodes)) {
|
|
56
|
+
if (node.kind !== 'choice' && node.kind !== 'humanGate')
|
|
57
|
+
continue;
|
|
58
|
+
for (const branch of node.branches) {
|
|
59
|
+
if (!shouldWarnOnVerdictCycle(template, node.id, branch, emitted))
|
|
60
|
+
continue;
|
|
61
|
+
d.error('CYCLE_WITHOUT_COUNTER', `verdict branch ${node.id} → ${branch.goto} forms an automated cycle with no human gate or counter cap`, { nodeId: node.id });
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
function shouldWarnOnVerdictCycle(template, nodeId, branch, emitted) {
|
|
66
|
+
if (!isRecheckVerdictBranch(branch))
|
|
67
|
+
return false;
|
|
68
|
+
if (!forwardReach(template, branch.goto).has(nodeId))
|
|
69
|
+
return false;
|
|
70
|
+
const cycle = cycleThroughEdge(template, nodeId, branch.goto);
|
|
71
|
+
if (hasHumanGate(template, cycle))
|
|
72
|
+
return false;
|
|
73
|
+
if (cycleHasCounterBound(template, cycle, 'recheck'))
|
|
74
|
+
return false;
|
|
75
|
+
const key = `${nodeId}->${branch.goto}`;
|
|
76
|
+
if (emitted.has(key))
|
|
77
|
+
return false;
|
|
78
|
+
emitted.add(key);
|
|
79
|
+
return true;
|
|
80
|
+
}
|
|
81
|
+
function isRecheckVerdictBranch(branch) {
|
|
82
|
+
return !isDefaultBranch(branch)
|
|
83
|
+
&& conditionPositivelyMentionsAnyVerdict(branch.when)
|
|
84
|
+
&& conditionPositivelyMentionsVerdict(branch.when, 'recheck');
|
|
85
|
+
}
|
|
86
|
+
function cycleThroughEdge(template, from, to) {
|
|
87
|
+
const path = shortestPath(template, to, from);
|
|
88
|
+
if (path)
|
|
89
|
+
return new Set([from, ...path]);
|
|
90
|
+
const reachableFromTarget = forwardReach(template, to);
|
|
91
|
+
const canReachSource = backwardReach(template, from);
|
|
92
|
+
const cycle = new Set([from, to]);
|
|
93
|
+
for (const id of reachableFromTarget) {
|
|
94
|
+
if (canReachSource.has(id))
|
|
95
|
+
cycle.add(id);
|
|
96
|
+
}
|
|
97
|
+
return cycle;
|
|
98
|
+
}
|
|
99
|
+
function shortestPath(template, start, target) {
|
|
100
|
+
const queue = [[start]];
|
|
101
|
+
const seen = new Set([start]);
|
|
102
|
+
while (queue.length > 0) {
|
|
103
|
+
const path = queue.shift();
|
|
104
|
+
const current = path.at(-1);
|
|
105
|
+
if (current === target)
|
|
106
|
+
return path;
|
|
107
|
+
const node = template.nodes[current];
|
|
108
|
+
if (!node)
|
|
109
|
+
continue;
|
|
110
|
+
for (const [, next] of structuralEdges(node)) {
|
|
111
|
+
if (seen.has(next))
|
|
112
|
+
continue;
|
|
113
|
+
seen.add(next);
|
|
114
|
+
queue.push([...path, next]);
|
|
115
|
+
}
|
|
116
|
+
}
|
|
117
|
+
return null;
|
|
118
|
+
}
|
|
119
|
+
function hasHumanGate(template, cycle) {
|
|
120
|
+
return [...cycle].some((id) => template.nodes[id]?.kind === 'humanGate');
|
|
121
|
+
}
|
|
122
|
+
function cycleHasCounterBound(template, cycle, verdict) {
|
|
123
|
+
const incremented = new Set();
|
|
124
|
+
for (const id of cycle) {
|
|
125
|
+
const node = template.nodes[id];
|
|
126
|
+
if (node && 'incrementCounters' in node) {
|
|
127
|
+
for (const scope of node.incrementCounters ?? [])
|
|
128
|
+
incremented.add(scope);
|
|
129
|
+
}
|
|
130
|
+
}
|
|
131
|
+
if (incremented.size === 0)
|
|
132
|
+
return false;
|
|
133
|
+
return [...cycle].some((id) => {
|
|
134
|
+
const node = template.nodes[id];
|
|
135
|
+
if (node?.kind !== 'choice' && node?.kind !== 'humanGate')
|
|
136
|
+
return false;
|
|
137
|
+
return branchesHaveCounterBoundBeforeCycleContinues(node.branches, cycle, incremented, verdict);
|
|
138
|
+
});
|
|
139
|
+
}
|
|
140
|
+
function branchesHaveCounterBoundBeforeCycleContinues(branches, cycle, incremented, verdict) {
|
|
141
|
+
let sawCycleBranch = false;
|
|
142
|
+
for (const branch of branches) {
|
|
143
|
+
if (!isGuardedBranch(branch))
|
|
144
|
+
continue;
|
|
145
|
+
const staysInCycle = cycle.has(branch.goto);
|
|
146
|
+
const appliesToVerdict = conditionCanApplyToVerdict(branch.when, verdict);
|
|
147
|
+
const readsCounter = conditionHasCounterReadApplicableToVerdict(branch.when, incremented, verdict);
|
|
148
|
+
if (readsCounter && (staysInCycle || !sawCycleBranch))
|
|
149
|
+
return true;
|
|
150
|
+
if (staysInCycle && appliesToVerdict)
|
|
151
|
+
sawCycleBranch = true;
|
|
152
|
+
}
|
|
153
|
+
return false;
|
|
154
|
+
}
|
|
155
|
+
function conditionHasCounterReadApplicableToVerdict(cond, scopes, verdict) {
|
|
156
|
+
const summary = summarizeConditionForVerdict(cond, scopes, verdict);
|
|
157
|
+
return summary.canBeTrue && summary.relevantCounterCanAffect;
|
|
158
|
+
}
|
|
159
|
+
function conditionCanApplyToVerdict(cond, verdict) {
|
|
160
|
+
return summarizeConditionForVerdict(cond, new Set(), verdict).canBeTrue;
|
|
161
|
+
}
|
|
162
|
+
function summarizeConditionForVerdict(cond, scopes, verdict) {
|
|
163
|
+
switch (cond.op) {
|
|
164
|
+
case 'verdict.eq':
|
|
165
|
+
return constantCondition(cond.value === verdict);
|
|
166
|
+
case 'verdict.in':
|
|
167
|
+
return constantCondition(cond.value.includes(verdict));
|
|
168
|
+
case 'counter.lt':
|
|
169
|
+
case 'counter.gte':
|
|
170
|
+
return { canBeTrue: true, canBeFalse: true, relevantCounterCanAffect: scopes.has(cond.scope) };
|
|
171
|
+
case 'all':
|
|
172
|
+
return summarizeAllCondition(cond.of.map((item) => summarizeConditionForVerdict(item, scopes, verdict)));
|
|
173
|
+
case 'any':
|
|
174
|
+
return summarizeAnyCondition(cond.of, cond.of.map((item) => summarizeConditionForVerdict(item, scopes, verdict)));
|
|
175
|
+
case 'not': {
|
|
176
|
+
const inner = summarizeConditionForVerdict(cond.cond, scopes, verdict);
|
|
177
|
+
return {
|
|
178
|
+
canBeTrue: inner.canBeFalse,
|
|
179
|
+
canBeFalse: inner.canBeTrue,
|
|
180
|
+
relevantCounterCanAffect: inner.relevantCounterCanAffect,
|
|
181
|
+
};
|
|
182
|
+
}
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
function summarizeAllCondition(items) {
|
|
186
|
+
return {
|
|
187
|
+
canBeTrue: items.every((item) => item.canBeTrue),
|
|
188
|
+
canBeFalse: items.some((item) => item.canBeFalse),
|
|
189
|
+
relevantCounterCanAffect: items.some((item, index) => item.relevantCounterCanAffect && items.every((other, otherIndex) => otherIndex === index || other.canBeTrue)),
|
|
190
|
+
};
|
|
191
|
+
}
|
|
192
|
+
function summarizeAnyCondition(conditions, items) {
|
|
193
|
+
if (hasComplementaryCounterDisjunction(conditions)) {
|
|
194
|
+
return { canBeTrue: true, canBeFalse: false, relevantCounterCanAffect: false };
|
|
195
|
+
}
|
|
196
|
+
return {
|
|
197
|
+
canBeTrue: items.some((item) => item.canBeTrue),
|
|
198
|
+
canBeFalse: items.every((item) => item.canBeFalse),
|
|
199
|
+
relevantCounterCanAffect: items.some((item, index) => item.relevantCounterCanAffect && items.every((other, otherIndex) => otherIndex === index || other.canBeFalse)),
|
|
200
|
+
};
|
|
201
|
+
}
|
|
202
|
+
function constantCondition(value) {
|
|
203
|
+
return { canBeTrue: value, canBeFalse: !value, relevantCounterCanAffect: false };
|
|
204
|
+
}
|
|
205
|
+
function hasComplementaryCounterDisjunction(conditions) {
|
|
206
|
+
const gteByScope = new Map();
|
|
207
|
+
const ltByScope = new Map();
|
|
208
|
+
for (const condition of conditions) {
|
|
209
|
+
if (condition.op !== 'counter.gte' && condition.op !== 'counter.lt')
|
|
210
|
+
continue;
|
|
211
|
+
if (condition.op === 'counter.gte') {
|
|
212
|
+
if ((ltByScope.get(condition.scope) ?? []).some((value) => value >= condition.value))
|
|
213
|
+
return true;
|
|
214
|
+
const values = gteByScope.get(condition.scope) ?? [];
|
|
215
|
+
values.push(condition.value);
|
|
216
|
+
gteByScope.set(condition.scope, values);
|
|
217
|
+
}
|
|
218
|
+
else {
|
|
219
|
+
if ((gteByScope.get(condition.scope) ?? []).some((value) => condition.value >= value))
|
|
220
|
+
return true;
|
|
221
|
+
const values = ltByScope.get(condition.scope) ?? [];
|
|
222
|
+
values.push(condition.value);
|
|
223
|
+
ltByScope.set(condition.scope, values);
|
|
224
|
+
}
|
|
225
|
+
}
|
|
226
|
+
return false;
|
|
227
|
+
}
|
|
228
|
+
function conditionPositivelyMentionsAnyVerdict(cond) {
|
|
229
|
+
switch (cond.op) {
|
|
230
|
+
case 'verdict.eq':
|
|
231
|
+
case 'verdict.in':
|
|
232
|
+
return true;
|
|
233
|
+
case 'all':
|
|
234
|
+
case 'any':
|
|
235
|
+
return cond.of.some(conditionPositivelyMentionsAnyVerdict);
|
|
236
|
+
case 'not':
|
|
237
|
+
return false;
|
|
238
|
+
default:
|
|
239
|
+
return false;
|
|
240
|
+
}
|
|
241
|
+
}
|
|
242
|
+
function conditionPositivelyMentionsVerdict(cond, verdict) {
|
|
243
|
+
switch (cond.op) {
|
|
244
|
+
case 'verdict.eq':
|
|
245
|
+
return cond.value === verdict;
|
|
246
|
+
case 'verdict.in':
|
|
247
|
+
return cond.value.includes(verdict);
|
|
248
|
+
case 'all':
|
|
249
|
+
case 'any':
|
|
250
|
+
return cond.of.some((item) => conditionPositivelyMentionsVerdict(item, verdict));
|
|
251
|
+
case 'not':
|
|
252
|
+
return false;
|
|
253
|
+
default:
|
|
254
|
+
return false;
|
|
255
|
+
}
|
|
256
|
+
}
|
|
257
|
+
//# sourceMappingURL=validate-resilience.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate-resilience.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-resilience.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG9D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEnF,MAAM,UAAU,sBAAsB,CAAC,QAAkB,EAAE,CAAW;IACpE,gCAAgC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC9C,+BAA+B,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC7C,wBAAwB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACtC,uCAAuC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,gCAAgC,CAAC,QAAkB,EAAE,CAAW;IACvE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QACxC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,kCAAkC,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;gBACxH,SAAS;YACX,CAAC;YACD,CAAC,CAAC,KAAK,CACL,uBAAuB,EACvB,aAAa,IAAI,CAAC,EAAE,sBAAsB,OAAO,8CAA8C,EAC/F,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,OAAO,EAAE,EAAE,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,+BAA+B,CAAC,QAAkB,EAAE,CAAW;IACtE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QACxC,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,oBAAoB,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;YACzD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzG,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3C,OAAO,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC;QACtE,CAAC,CAAC,CAAC;QACH,IAAI,gBAAgB,IAAI,oBAAoB;YAAE,SAAS;QACvD,CAAC,CAAC,IAAI,CACJ,2BAA2B,EAC3B,aAAa,IAAI,CAAC,EAAE,gEAAgE,EACpF,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAkB,EAAE,CAAW;IAC/D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC;YACzC,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1D,CAAC,CAAC,IAAI,CACJ,yBAAyB,EACzB,eAAe,IAAI,CAAC,EAAE,wDAAwD,EAC9E,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CACpB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC;YACzC,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;gBACvB,CAAC,CAAC,IAAI,CACJ,wBAAwB,EACxB,cAAc,IAAI,CAAC,EAAE,yDAAyD,EAC9E,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CACpB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uCAAuC,CAAC,QAAkB,EAAE,CAAW;IAC9E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAClE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC;gBAAE,SAAS;YAC5E,CAAC,CAAC,KAAK,CACL,uBAAuB,EACvB,kBAAkB,IAAI,CAAC,EAAE,MAAM,MAAM,CAAC,IAAI,6DAA6D,EACvG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CACpB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAkB,EAClB,MAAc,EACd,MAAc,EACd,OAAoB;IAEpB,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnE,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,oBAAoB,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnE,MAAM,GAAG,GAAG,GAAG,MAAM,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;IACxC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAc;IAC5C,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC;WAC1B,qCAAqC,CAAC,MAAM,CAAC,IAAI,CAAC;WAClD,kCAAkC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAkB,EAAE,IAAY,EAAE,EAAU;IACpE,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,IAAI;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAE1C,MAAM,mBAAmB,GAAG,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvD,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,QAAkB,EAAE,KAAa,EAAE,MAAc;IACrE,MAAM,KAAK,GAAe,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,QAAkB,EAAE,KAAkB;IAC1D,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAkB,EAAE,KAAkB,EAAE,OAAe;IACnF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,mBAAmB,IAAI,IAAI,EAAE,CAAC;YACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE;gBAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,WAAW;YAAE,OAAO,KAAK,CAAC;QACxE,OAAO,4CAA4C,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4CAA4C,CACnD,QAAkB,EAClB,KAAkB,EAClB,WAAgC,EAChC,OAAe;IAEf,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,SAAS;QACvC,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG,0CAA0C,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACnG,IAAI,YAAY,IAAI,CAAC,YAAY,IAAI,CAAC,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;QACnE,IAAI,YAAY,IAAI,gBAAgB;YAAE,cAAc,GAAG,IAAI,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,0CAA0C,CACjD,IAAe,EACf,MAA2B,EAC3B,OAAe;IAEf,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACpE,OAAO,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,wBAAwB,CAAC;AAC/D,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAe,EAAE,OAAe;IAClE,OAAO,4BAA4B,CAAC,IAAI,EAAE,IAAI,GAAG,EAAU,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAQD,SAAS,4BAA4B,CACnC,IAAe,EACf,MAA2B,EAC3B,OAAe;IAEf,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,iBAAiB,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;QACnD,KAAK,YAAY;YACf,OAAO,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACzD,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjG,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAC3G,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACpH,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO;gBACL,SAAS,EAAE,KAAK,CAAC,UAAU;gBAC3B,UAAU,EAAE,KAAK,CAAC,SAAS;gBAC3B,wBAAwB,EAAE,KAAK,CAAC,wBAAwB;aACzD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAgC;IAC7D,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAChD,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;QACjD,wBAAwB,EAAE,KAAK,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,CAC9H;KACF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,UAAuB,EAAE,KAAgC;IACtF,IAAI,kCAAkC,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC;IACjF,CAAC;IACD,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAC/C,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;QAClD,wBAAwB,EAAE,KAAK,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,CAC/H;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,kCAAkC,CAAC,UAAuB;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,EAAE,KAAK,aAAa,IAAI,SAAS,CAAC,EAAE,KAAK,YAAY;YAAE,SAAS;QAC9E,IAAI,SAAS,CAAC,EAAE,KAAK,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClG,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,IAAI,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnG,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qCAAqC,CAAC,IAAe;IAC5D,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC;QACd,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAC7D,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,kCAAkC,CAAC,IAAe,EAAE,OAAe;IAC1E,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtC,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kCAAkC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACnF,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}
|
|
@@ -7,6 +7,7 @@ import { ruleVerdictClosure } from './validate-verdict.js';
|
|
|
7
7
|
import { ruleDataflow } from './validate-dataflow.js';
|
|
8
8
|
import { ruleConflictMatrix } from './validate-conflicts.js';
|
|
9
9
|
import { ruleCapabilityRefs } from './validate-capability.js';
|
|
10
|
+
import { ruleResilienceWarnings } from './validate-resilience.js';
|
|
10
11
|
export { classifyTemplateDiff } from './validate-diff.js';
|
|
11
12
|
const NODE_ID_PATTERN = /^[A-Za-z]\w*$/;
|
|
12
13
|
export function validateTemplate(template) {
|
|
@@ -29,6 +30,7 @@ export function validateTemplate(template) {
|
|
|
29
30
|
ruleConflictMatrix(normalized, d);
|
|
30
31
|
ruleCapabilityRefs(normalized, d);
|
|
31
32
|
ruleDataflow(normalized, ids, d);
|
|
33
|
+
ruleResilienceWarnings(normalized, d);
|
|
32
34
|
return d.items;
|
|
33
35
|
}
|
|
34
36
|
function ruleIdHygiene(template, d) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/pipeline-core/validate.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE/D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/pipeline-core/validate.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE/D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAElE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAG1D,MAAM,eAAe,GAAG,eAAe,CAAC;AAGxC,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,MAAM,CAAC,GAAG,IAAI,QAAQ,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,MAAM,UAAU,GAAa,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEpD,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC7B,eAAe,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACpC,qBAAqB,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC1C,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC7B,oBAAoB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACpC,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAChC,gBAAgB,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACrC,iBAAiB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjC,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC3B,iBAAiB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjC,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAChC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAClC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAClC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAClC,YAAY,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACjC,sBAAsB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAEtC,OAAO,CAAC,CAAC,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,QAAkB,EAAE,CAAW;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QAC/D,mBAAmB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,+BAA+B,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AAC/C,CAAC;AAGD,SAAS,mBAAmB,CAAC,GAAW,EAAE,IAAsB,EAAE,IAAiB,EAAE,CAAW;IAC9F,IAAI,IAAI,EAAE,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC9C,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,SAAS,GAAG,yBAAyB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,YAAY,GAAG,oBAAoB,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,sBAAsB,GAAG,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAC5F,CAAC;AAGD,SAAS,+BAA+B,CAAC,QAAkB,EAAE,CAAW;IACtE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;YAAE,SAAS;QAChE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACjC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,CAAC,CAAC,KAAK,CAAC,4BAA4B,EAAE,eAAe,CAAC,CAAC,OAAO,iCAAiC,EAAE;oBAC/F,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAkB,EAAE,CAAW;IACxD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAGD,SAAS,sBAAsB,CAAC,IAAiD,EAAE,CAAW;IAC5F,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC;IACzC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,QAAQ,IAAI,CAAC,EAAE,2BAA2B,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,QAAQ,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAAC,OAAO,wBAAwB,EAAE;gBAC7F,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,CAAC,CAAC,KAAK,CAAC,wBAAwB,EAAE,QAAQ,IAAI,CAAC,EAAE,mCAAmC,EAAE;YACpF,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3D,CAAC,CAAC,KAAK,CAAC,4BAA4B,EAAE,QAAQ,IAAI,CAAC,EAAE,yCAAyC,EAAE;YAC9F,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { existsSync, readFileSync } from 'node:fs';
|
|
2
2
|
import { PlaybookError } from './errors.js';
|
|
3
3
|
import { resolvePathInside } from './source-resolver.js';
|
|
4
|
+
import { assertValidPipelineExecutionPolicy, assertValidRunProfileCatalogRecord, } from './catalog-schema-validator.js';
|
|
4
5
|
const MODEL_LEVELS = new Set([
|
|
5
6
|
'cheap',
|
|
6
7
|
'standard',
|
|
@@ -76,6 +77,14 @@ function assertPipelineRoleReferences(roles, pipelines) {
|
|
|
76
77
|
}
|
|
77
78
|
}
|
|
78
79
|
}
|
|
80
|
+
function assertRunProfilePipelineReferences(pipelines, runProfiles) {
|
|
81
|
+
const pipelineIds = new Set(pipelines.map((pipeline) => pipeline.id));
|
|
82
|
+
for (const profile of runProfiles) {
|
|
83
|
+
if (pipelineIds.has(profile.pipelineId))
|
|
84
|
+
continue;
|
|
85
|
+
throw new PlaybookError('PLAYBOOK_INVALID_CATALOG', `run profile ${profile.id} references unknown pipeline id: ${profile.pipelineId}`);
|
|
86
|
+
}
|
|
87
|
+
}
|
|
79
88
|
function parseRole(value, index, root) {
|
|
80
89
|
const context = `roles[${index}]`;
|
|
81
90
|
const record = asRecord(value, context);
|
|
@@ -120,6 +129,8 @@ function parseAlternativeRoles(value, context) {
|
|
|
120
129
|
function parsePipeline(value, index, root) {
|
|
121
130
|
const context = `pipelines[${index}]`;
|
|
122
131
|
const record = asRecord(value, context);
|
|
132
|
+
const executionPolicy = record.execution_policy ?? {};
|
|
133
|
+
assertValidPipelineExecutionPolicy(executionPolicy, `${context}.execution_policy`);
|
|
123
134
|
const path = stringField(record, 'path', context);
|
|
124
135
|
const resolvedPath = resolvePathInside(root, path);
|
|
125
136
|
if (!existsSync(resolvedPath)) {
|
|
@@ -134,7 +145,27 @@ function parsePipeline(value, index, root) {
|
|
|
134
145
|
optionalRoles: stringArrayField(record, 'optional_roles', context),
|
|
135
146
|
routeGates: stringArrayField(record, 'route_gates', context),
|
|
136
147
|
platformInvocation: stringField(record, 'platform_invocation', context),
|
|
137
|
-
executionPolicy
|
|
148
|
+
executionPolicy,
|
|
149
|
+
};
|
|
150
|
+
}
|
|
151
|
+
function parseRunProfile(value, index) {
|
|
152
|
+
const context = `runProfiles[${index}]`;
|
|
153
|
+
const record = asRecord(value, context);
|
|
154
|
+
assertValidRunProfileCatalogRecord(record, context);
|
|
155
|
+
const status = stringField(record, 'status', context);
|
|
156
|
+
if (status !== 'active' && status !== 'deprecated') {
|
|
157
|
+
throw new PlaybookError('PLAYBOOK_INVALID_CATALOG', `${context}.status must be active or deprecated`);
|
|
158
|
+
}
|
|
159
|
+
return {
|
|
160
|
+
id: stringField(record, 'id', context),
|
|
161
|
+
pipelineId: stringField(record, 'pipelineId', context),
|
|
162
|
+
schemaVersion: stringField(record, 'schemaVersion', context),
|
|
163
|
+
version: stringField(record, 'version', context),
|
|
164
|
+
displayName: stringField(record, 'displayName', context),
|
|
165
|
+
summary: stringField(record, 'summary', context),
|
|
166
|
+
topology: record.topology ?? {},
|
|
167
|
+
bindings: record.bindings ?? {},
|
|
168
|
+
status,
|
|
138
169
|
};
|
|
139
170
|
}
|
|
140
171
|
function readJsonArray(path, context) {
|
|
@@ -149,10 +180,16 @@ export function loadPlaybookCatalogs(root, manifest) {
|
|
|
149
180
|
try {
|
|
150
181
|
const roles = readJsonArray(rolePath, manifest.catalogs.roles).map((role, index) => parseRole(role, index, root));
|
|
151
182
|
const pipelines = readJsonArray(pipelinePath, manifest.catalogs.pipelines).map((pipeline, index) => parsePipeline(pipeline, index, root));
|
|
183
|
+
const runProfiles = manifest.catalogs.runProfiles
|
|
184
|
+
? readJsonArray(resolvePathInside(root, manifest.catalogs.runProfiles), manifest.catalogs.runProfiles)
|
|
185
|
+
.map((profile, index) => parseRunProfile(profile, index))
|
|
186
|
+
: [];
|
|
152
187
|
assertUniqueIds(roles, 'role');
|
|
153
188
|
assertUniqueIds(pipelines, 'pipeline');
|
|
189
|
+
assertUniqueIds(runProfiles, 'run profile');
|
|
154
190
|
assertPipelineRoleReferences(roles, pipelines);
|
|
155
|
-
|
|
191
|
+
assertRunProfilePipelineReferences(pipelines, runProfiles);
|
|
192
|
+
return { roles, pipelines, runProfiles };
|
|
156
193
|
}
|
|
157
194
|
catch (error) {
|
|
158
195
|
if (error instanceof PlaybookError)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"catalog-loader.js","sourceRoot":"","sources":["../../src/playbook/catalog-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;
|
|
1
|
+
{"version":3,"file":"catalog-loader.js","sourceRoot":"","sources":["../../src/playbook/catalog-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD,OAAO,EACL,kCAAkC,EAClC,kCAAkC,GACnC,MAAM,+BAA+B,CAAC;AAiDvC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAa;IACvC,OAAO;IACP,UAAU;IACV,MAAM;IACN,aAAa;IACb,gBAAgB;IAChB,YAAY;CACb,CAAC,CAAC;AACH,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AAE3D,SAAS,QAAQ,CAAC,KAAc,EAAE,OAAe;IAC/C,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAgC,CAAC;IACzG,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,oBAAoB,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B,EAAE,GAAW,EAAE,OAAe;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,IAAI,GAAG,6BAA6B,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,qBAAqB,CAAC,MAA+B,EAAE,GAAW,EAAE,OAAe;IAC1F,OAAO,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA+B,EAAE,GAAW,EAAE,OAAe;IACrF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACzF,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,IAAI,GAAG,yBAAyB,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,cAAc,CAAC,MAA+B,EAAE,GAAW;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACtF,CAAC;YACD,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,GAAG,oBAAoB,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,eAAe,CAAC,OAA8B,EAAE,OAAe;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,aAAa,OAAO,QAAQ,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAoB,EAAE,MAAc,EAAE,OAAe;IAC5E,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO;IAChC,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,gCAAgC,MAAM,EAAE,CAAC,CAAC;AAC1G,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA0B,EAAE,SAAkC;IAClG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;YAC5C,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,QAAQ,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC7E,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;YAC5C,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,QAAQ,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC7E,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;YAC9C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBACjC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,QAAQ,CAAC,EAAE,sBAAsB,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kCAAkC,CACzC,SAAkC,EAClC,WAAsC;IAEtC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,SAAS;QAClD,MAAM,IAAI,aAAa,CACrB,0BAA0B,EAC1B,eAAe,OAAO,CAAC,EAAE,oCAAoC,OAAO,CAAC,UAAU,EAAE,CAClF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa,EAAE,IAAY;IAC5D,MAAM,OAAO,GAAG,SAAS,KAAK,GAAG,CAAC;IAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAwB,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,oCAAoC,UAAU,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,yBAAyB,IAAI,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,aAAa,CACrB,0BAA0B,EAC1B,GAAG,OAAO,0BAA0B,QAAQ,oDAAoD,CACjG,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,OAAO;QACL,EAAE;QACF,IAAI;QACJ,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;QAChD,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC;QAC9C,YAAY,EAAE,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC;QAChE,iBAAiB,EAAE,UAAoD;QACvE,QAAQ;QACR,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,OAAe;IAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,qCAAqC,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,OAAO,sBAAsB,KAAK,GAAG,CAAC,CAAC;QACzE,OAAO;YACL,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,sBAAsB,KAAK,GAAG,CAAC;YACnF,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,sBAAsB,KAAK,GAAG,CAAC;YAClF,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,sBAAsB,KAAK,GAAG,CAAC;SACxF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa,EAAE,IAAY;IAChE,MAAM,OAAO,GAAG,aAAa,KAAK,GAAG,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACtD,kCAAkC,CAAC,eAAe,EAAE,GAAG,OAAO,mBAAmB,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,yBAAyB,IAAI,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO;QACL,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC;QACtC,IAAI;QACJ,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC;QACvD,aAAa,EAAE,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,CAAC;QAClE,gBAAgB,EAAE,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,EAAE,OAAO,CAAC;QAC1E,aAAa,EAAE,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,CAAC;QAClE,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC;QAC5D,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,CAAC;QACvE,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,KAAa;IACpD,MAAM,OAAO,GAAG,eAAe,KAAK,GAAG,CAAC;IACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,kCAAkC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QACnD,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,sCAAsC,CAAC,CAAC;IACxG,CAAC;IACD,OAAO;QACL,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC;QACtC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC;QACtD,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC;QAC5D,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;QAChD,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC;QACxD,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;QAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;QAC/B,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAY,CAAC;IACjE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,GAAG,OAAO,uBAAuB,CAAC,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,QAA0B;IAC3E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC1E,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACjF,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAC7B,CAAC;QACF,MAAM,SAAS,GAAG,aAAa,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACjG,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CACrC,CAAC;QACF,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW;YAC/C,CAAC,CAAC,aAAa,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;iBACnG,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;QACP,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACvC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAC5C,4BAA4B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC/C,kCAAkC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,aAAa;YAAE,MAAM,KAAK,CAAC;QAChD,MAAM,IAAI,aAAa,CAAC,0BAA0B,EAAE,kCAAkC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACrG,CAAC;AACH,CAAC"}
|