@revisium/orchestrator 0.0.0 → 0.1.0-alpha.10
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 +202 -1
- package/control-plane/bootstrap.config.json +104 -2
- package/control-plane/default-playbook/catalog/pipelines.json +657 -0
- package/control-plane/default-playbook/catalog/roles.json +65 -0
- package/control-plane/default-playbook/package.json +5 -0
- package/control-plane/default-playbook/playbook.json +13 -0
- package/control-plane/default-playbook/prompts/analyst.md +29 -0
- package/control-plane/default-playbook/prompts/developer.md +26 -0
- package/control-plane/default-playbook/prompts/integrator.md +20 -0
- package/control-plane/default-playbook/prompts/orchestrator.md +23 -0
- package/control-plane/default-playbook/prompts/reviewer.md +28 -0
- package/control-plane/default-playbook/prompts/triager.md +51 -0
- package/control-plane/default-playbook/prompts/watcher.md +24 -0
- package/dist/api/graphql-api/filters/agent-observability-exception.filter.js +24 -0
- package/dist/api/graphql-api/filters/agent-observability-exception.filter.js.map +1 -0
- package/dist/api/graphql-api/filters/graphql-validation-exception.filter.js +36 -0
- package/dist/api/graphql-api/filters/graphql-validation-exception.filter.js.map +1 -0
- package/dist/api/graphql-api/graphql-api.module.js +77 -0
- package/dist/api/graphql-api/graphql-api.module.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/agent-observability-subscription-bridge.service.js +296 -0
- package/dist/api/graphql-api/graphql-ws/agent-observability-subscription-bridge.service.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/agent-observability-subscription-mappers.js +64 -0
- package/dist/api/graphql-api/graphql-ws/agent-observability-subscription-mappers.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/constants.js +11 -0
- package/dist/api/graphql-api/graphql-ws/constants.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/pubsub.module.js +32 -0
- package/dist/api/graphql-api/graphql-ws/pubsub.module.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/run-progress-subscription-poller.service.js +101 -0
- package/dist/api/graphql-api/graphql-ws/run-progress-subscription-poller.service.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/subscription-bridge.service.js +115 -0
- package/dist/api/graphql-api/graphql-ws/subscription-bridge.service.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/subscription-mappers.js +85 -0
- package/dist/api/graphql-api/graphql-ws/subscription-mappers.js.map +1 -0
- package/dist/api/graphql-api/graphql-ws/ws.js +22 -0
- package/dist/api/graphql-api/graphql-ws/ws.js.map +1 -0
- package/dist/api/graphql-api/inbox/inbox-subscription.resolver.js +56 -0
- package/dist/api/graphql-api/inbox/inbox-subscription.resolver.js.map +1 -0
- package/dist/api/graphql-api/inbox/inbox.resolver.js +125 -0
- package/dist/api/graphql-api/inbox/inbox.resolver.js.map +1 -0
- package/dist/api/graphql-api/inbox/inputs/answer-question.input.js +33 -0
- package/dist/api/graphql-api/inbox/inputs/answer-question.input.js.map +1 -0
- package/dist/api/graphql-api/inbox/inputs/gate-decision.input.js +27 -0
- package/dist/api/graphql-api/inbox/inputs/gate-decision.input.js.map +1 -0
- package/dist/api/graphql-api/inbox/inputs/list-inbox.input.js +28 -0
- package/dist/api/graphql-api/inbox/inputs/list-inbox.input.js.map +1 -0
- package/dist/api/graphql-api/inbox/inputs/resolve-inbox-item.input.js +38 -0
- package/dist/api/graphql-api/inbox/inputs/resolve-inbox-item.input.js.map +1 -0
- package/dist/api/graphql-api/inbox/model/gate-risk.model.js +53 -0
- package/dist/api/graphql-api/inbox/model/gate-risk.model.js.map +1 -0
- package/dist/api/graphql-api/inbox/model/inbox-connection.model.js +16 -0
- package/dist/api/graphql-api/inbox/model/inbox-connection.model.js.map +1 -0
- package/dist/api/graphql-api/inbox/model/inbox-item.model.js +88 -0
- package/dist/api/graphql-api/inbox/model/inbox-item.model.js.map +1 -0
- package/dist/api/graphql-api/inbox/model/inbox-resolution.model.js +48 -0
- package/dist/api/graphql-api/inbox/model/inbox-resolution.model.js.map +1 -0
- package/dist/api/graphql-api/method/inputs/list-method.input.js +15 -0
- package/dist/api/graphql-api/method/inputs/list-method.input.js.map +1 -0
- package/dist/api/graphql-api/method/method.resolver.js +90 -0
- package/dist/api/graphql-api/method/method.resolver.js.map +1 -0
- package/dist/api/graphql-api/method/model/alternative-role-group.model.js +32 -0
- package/dist/api/graphql-api/method/model/alternative-role-group.model.js.map +1 -0
- package/dist/api/graphql-api/method/model/pipeline-connection.model.js +16 -0
- package/dist/api/graphql-api/method/model/pipeline-connection.model.js.map +1 -0
- package/dist/api/graphql-api/method/model/pipeline.model.js +69 -0
- package/dist/api/graphql-api/method/model/pipeline.model.js.map +1 -0
- package/dist/api/graphql-api/method/model/playbook-connection.model.js +16 -0
- package/dist/api/graphql-api/method/model/playbook-connection.model.js.map +1 -0
- package/dist/api/graphql-api/method/model/playbook.model.js +47 -0
- package/dist/api/graphql-api/method/model/playbook.model.js.map +1 -0
- package/dist/api/graphql-api/method/model/role-connection.model.js +16 -0
- package/dist/api/graphql-api/method/model/role-connection.model.js.map +1 -0
- package/dist/api/graphql-api/method/model/role.model.js +98 -0
- package/dist/api/graphql-api/method/model/role.model.js.map +1 -0
- package/dist/api/graphql-api/pr/inputs/pr-readiness.input.js +52 -0
- package/dist/api/graphql-api/pr/inputs/pr-readiness.input.js.map +1 -0
- package/dist/api/graphql-api/pr/model/pr-readiness.model.js +403 -0
- package/dist/api/graphql-api/pr/model/pr-readiness.model.js.map +1 -0
- package/dist/api/graphql-api/pr/pr.resolver.js +76 -0
- package/dist/api/graphql-api/pr/pr.resolver.js.map +1 -0
- package/dist/api/graphql-api/registerGraphqlEnums.js +9 -0
- package/dist/api/graphql-api/registerGraphqlEnums.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/create-run.input.js +63 -0
- package/dist/api/graphql-api/runs/inputs/create-run.input.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/get-agent-log.input.js +48 -0
- package/dist/api/graphql-api/runs/inputs/get-agent-log.input.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/get-run-attempts.input.js +32 -0
- package/dist/api/graphql-api/runs/inputs/get-run-attempts.input.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/get-run-events.input.js +28 -0
- package/dist/api/graphql-api/runs/inputs/get-run-events.input.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/list-runs.input.js +23 -0
- package/dist/api/graphql-api/runs/inputs/list-runs.input.js.map +1 -0
- package/dist/api/graphql-api/runs/inputs/simulate-route.input.js +43 -0
- package/dist/api/graphql-api/runs/inputs/simulate-route.input.js.map +1 -0
- package/dist/api/graphql-api/runs/model/agent-activity.model.js +367 -0
- package/dist/api/graphql-api/runs/model/agent-activity.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/create-run-result.model.js +53 -0
- package/dist/api/graphql-api/runs/model/create-run-result.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-attempt.model.js +114 -0
- package/dist/api/graphql-api/runs/model/run-attempt.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-connection.model.js +16 -0
- package/dist/api/graphql-api/runs/model/run-connection.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-cost.model.js +67 -0
- package/dist/api/graphql-api/runs/model/run-cost.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-digest.model.js +41 -0
- package/dist/api/graphql-api/runs/model/run-digest.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-event-connection.model.js +16 -0
- package/dist/api/graphql-api/runs/model/run-event-connection.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-event.model.js +58 -0
- package/dist/api/graphql-api/runs/model/run-event.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-progress.model.js +33 -0
- package/dist/api/graphql-api/runs/model/run-progress.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run-workflow.model.js +287 -0
- package/dist/api/graphql-api/runs/model/run-workflow.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/run.model.js +57 -0
- package/dist/api/graphql-api/runs/model/run.model.js.map +1 -0
- package/dist/api/graphql-api/runs/model/usage.model.js +32 -0
- package/dist/api/graphql-api/runs/model/usage.model.js.map +1 -0
- package/dist/api/graphql-api/runs/run-digest.resolver.js +40 -0
- package/dist/api/graphql-api/runs/run-digest.resolver.js.map +1 -0
- package/dist/api/graphql-api/runs/run-events.resolver.js +45 -0
- package/dist/api/graphql-api/runs/run-events.resolver.js.map +1 -0
- package/dist/api/graphql-api/runs/run-progress.resolver.js +53 -0
- package/dist/api/graphql-api/runs/run-progress.resolver.js.map +1 -0
- package/dist/api/graphql-api/runs/runs-subscription.resolver.js +124 -0
- package/dist/api/graphql-api/runs/runs-subscription.resolver.js.map +1 -0
- package/dist/api/graphql-api/runs/runs.resolver.js +165 -0
- package/dist/api/graphql-api/runs/runs.resolver.js.map +1 -0
- package/dist/api/graphql-api/share/graphql-param-types.js +6 -0
- package/dist/api/graphql-api/share/graphql-param-types.js.map +1 -0
- package/dist/api/graphql-api/share/inputs/connection.input.js +27 -0
- package/dist/api/graphql-api/share/inputs/connection.input.js.map +1 -0
- package/dist/api/graphql-api/share/inputs/run-subscription.input.js +22 -0
- package/dist/api/graphql-api/share/inputs/run-subscription.input.js.map +1 -0
- package/dist/api/graphql-api/share/model/paginated.model.js +75 -0
- package/dist/api/graphql-api/share/model/paginated.model.js.map +1 -0
- package/dist/api/graphql-api/system/model/daemon-status.model.js +47 -0
- package/dist/api/graphql-api/system/model/daemon-status.model.js.map +1 -0
- package/dist/api/graphql-api/system/model/doctor-result.model.js +33 -0
- package/dist/api/graphql-api/system/model/doctor-result.model.js.map +1 -0
- package/dist/api/graphql-api/system/model/project.model.js +37 -0
- package/dist/api/graphql-api/system/model/project.model.js.map +1 -0
- package/dist/api/graphql-api/system/model/repository-context.model.js +70 -0
- package/dist/api/graphql-api/system/model/repository-context.model.js.map +1 -0
- package/dist/api/graphql-api/system/model/repository-validation.model.js +62 -0
- package/dist/api/graphql-api/system/model/repository-validation.model.js.map +1 -0
- package/dist/api/graphql-api/system/model/system-status.model.js +29 -0
- package/dist/api/graphql-api/system/model/system-status.model.js.map +1 -0
- package/dist/api/graphql-api/system/system.resolver.js +83 -0
- package/dist/api/graphql-api/system/system.resolver.js.map +1 -0
- package/dist/cli/commands/doctor-report.js +70 -0
- package/dist/cli/commands/doctor-report.js.map +1 -0
- package/dist/cli/commands/lifecycle.js +463 -0
- package/dist/cli/commands/lifecycle.js.map +1 -0
- package/dist/cli/commands/mcp.js +53 -8
- package/dist/cli/commands/mcp.js.map +1 -1
- package/dist/cli/commands/process-tree.js +87 -0
- package/dist/cli/commands/process-tree.js.map +1 -0
- package/dist/cli/commands/revisium-helpers.js +2 -2
- package/dist/cli/commands/rogue-reaper.js +63 -0
- package/dist/cli/commands/rogue-reaper.js.map +1 -0
- package/dist/cli/index.js +5 -29
- package/dist/cli/index.js.map +1 -1
- package/dist/cli/program.js +7 -23
- package/dist/cli/program.js.map +1 -1
- package/dist/config.js +79 -1
- package/dist/config.js.map +1 -1
- package/dist/control-plane/bootstrap.js +101 -0
- package/dist/control-plane/bootstrap.js.map +1 -0
- package/dist/control-plane/change-notifications.js +35 -0
- package/dist/control-plane/change-notifications.js.map +1 -0
- package/dist/control-plane/client-transport.js +74 -41
- package/dist/control-plane/client-transport.js.map +1 -1
- package/dist/control-plane/data-access.js +13 -5
- package/dist/control-plane/data-access.js.map +1 -1
- package/dist/control-plane/definitions.js +1 -1
- package/dist/control-plane/definitions.js.map +1 -1
- package/dist/control-plane/inbox.js +5 -31
- package/dist/control-plane/inbox.js.map +1 -1
- package/dist/control-plane/index.js +1 -1
- package/dist/control-plane/index.js.map +1 -1
- package/dist/control-plane/json-fields.js +2 -0
- package/dist/control-plane/json-fields.js.map +1 -1
- package/dist/control-plane/resolve-cwd.js +76 -8
- package/dist/control-plane/resolve-cwd.js.map +1 -1
- package/dist/control-plane/schema-migration.js +82 -0
- package/dist/control-plane/schema-migration.js.map +1 -0
- package/dist/control-plane/seed-default-playbook.js +141 -0
- package/dist/control-plane/seed-default-playbook.js.map +1 -0
- package/dist/control-plane/steps.js +15 -349
- package/dist/control-plane/steps.js.map +1 -1
- package/dist/control-plane/tables.js +1 -0
- package/dist/control-plane/tables.js.map +1 -1
- package/dist/e2e/kit/agents.js +148 -0
- package/dist/e2e/kit/agents.js.map +1 -0
- package/dist/e2e/kit/assertions.js +163 -0
- package/dist/e2e/kit/assertions.js.map +1 -0
- package/dist/e2e/kit/crash.js +44 -0
- package/dist/e2e/kit/crash.js.map +1 -0
- package/dist/e2e/kit/drive.js +45 -0
- package/dist/e2e/kit/drive.js.map +1 -0
- package/dist/e2e/kit/env.js +16 -0
- package/dist/e2e/kit/env.js.map +1 -0
- package/dist/e2e/kit/fake-integrator.js +57 -0
- package/dist/e2e/kit/fake-integrator.js.map +1 -0
- package/dist/e2e/kit/gh-emulator.js +213 -0
- package/dist/e2e/kit/gh-emulator.js.map +1 -0
- package/dist/e2e/kit/git-target-repo.js +115 -0
- package/dist/e2e/kit/git-target-repo.js.map +1 -0
- package/dist/e2e/kit/harness.js +72 -0
- package/dist/e2e/kit/harness.js.map +1 -0
- package/dist/e2e/kit/index.js +14 -0
- package/dist/e2e/kit/index.js.map +1 -0
- package/dist/e2e/kit/mcp.js +32 -0
- package/dist/e2e/kit/mcp.js.map +1 -0
- package/dist/e2e/kit/scenarios.js +196 -0
- package/dist/e2e/kit/scenarios.js.map +1 -0
- package/dist/e2e/recovery-crash-child.js +29 -0
- package/dist/e2e/recovery-crash-child.js.map +1 -0
- package/dist/e2e/recovery-dd-crash-child.js +43 -0
- package/dist/e2e/recovery-dd-crash-child.js.map +1 -0
- package/dist/engine/dbos.module.js +2 -1
- package/dist/engine/dbos.module.js.map +1 -1
- package/dist/engine/dbos.service.js +89 -18
- package/dist/engine/dbos.service.js.map +1 -1
- package/dist/engine/ensure-postgres.js +18 -4
- package/dist/engine/ensure-postgres.js.map +1 -1
- package/dist/features/inbox/commands/handlers/inbox-command.handlers.js +80 -0
- package/dist/features/inbox/commands/handlers/inbox-command.handlers.js.map +1 -0
- package/dist/features/inbox/commands/impl/answer-question.command.js +7 -0
- package/dist/features/inbox/commands/impl/answer-question.command.js.map +1 -0
- package/dist/features/inbox/commands/impl/approve-gate.command.js +7 -0
- package/dist/features/inbox/commands/impl/approve-gate.command.js.map +1 -0
- package/dist/features/inbox/commands/impl/reject-gate.command.js +7 -0
- package/dist/features/inbox/commands/impl/reject-gate.command.js.map +1 -0
- package/dist/features/inbox/commands/impl/resolve-inbox-item.command.js +7 -0
- package/dist/features/inbox/commands/impl/resolve-inbox-item.command.js.map +1 -0
- package/dist/features/inbox/commands/index.js +8 -0
- package/dist/features/inbox/commands/index.js.map +1 -0
- package/dist/features/inbox/inbox-api.module.js +23 -0
- package/dist/features/inbox/inbox-api.module.js.map +1 -0
- package/dist/features/inbox/inbox-api.service.js +63 -0
- package/dist/features/inbox/inbox-api.service.js.map +1 -0
- package/dist/features/inbox/queries/handlers/inbox-query.handlers.js +111 -0
- package/dist/features/inbox/queries/handlers/inbox-query.handlers.js.map +1 -0
- package/dist/features/inbox/queries/impl/get-inbox-item.query.js +7 -0
- package/dist/features/inbox/queries/impl/get-inbox-item.query.js.map +1 -0
- package/dist/features/inbox/queries/impl/get-pending-decisions.query.js +7 -0
- package/dist/features/inbox/queries/impl/get-pending-decisions.query.js.map +1 -0
- package/dist/features/inbox/queries/impl/list-inbox.query.js +7 -0
- package/dist/features/inbox/queries/impl/list-inbox.query.js.map +1 -0
- package/dist/features/inbox/queries/impl/summarize-gate-risk.query.js +7 -0
- package/dist/features/inbox/queries/impl/summarize-gate-risk.query.js.map +1 -0
- package/dist/features/inbox/queries/index.js +8 -0
- package/dist/features/inbox/queries/index.js.map +1 -0
- package/dist/features/method/commands/index.js +2 -0
- package/dist/features/method/commands/index.js.map +1 -0
- package/dist/features/method/method-api.module.js +23 -0
- package/dist/features/method/method-api.module.js.map +1 -0
- package/dist/features/method/method-api.service.js +47 -0
- package/dist/features/method/method-api.service.js.map +1 -0
- package/dist/features/method/queries/handlers/method-query.handlers.js +115 -0
- package/dist/features/method/queries/handlers/method-query.handlers.js.map +1 -0
- package/dist/features/method/queries/impl/get-pipeline.query.js +7 -0
- package/dist/features/method/queries/impl/get-pipeline.query.js.map +1 -0
- package/dist/features/method/queries/impl/get-role.query.js +7 -0
- package/dist/features/method/queries/impl/get-role.query.js.map +1 -0
- package/dist/features/method/queries/impl/list-pipelines.query.js +7 -0
- package/dist/features/method/queries/impl/list-pipelines.query.js.map +1 -0
- package/dist/features/method/queries/impl/list-playbooks.query.js +7 -0
- package/dist/features/method/queries/impl/list-playbooks.query.js.map +1 -0
- package/dist/features/method/queries/impl/list-roles.query.js +7 -0
- package/dist/features/method/queries/impl/list-roles.query.js.map +1 -0
- package/dist/features/method/queries/index.js +9 -0
- package/dist/features/method/queries/index.js.map +1 -0
- package/dist/features/pr/commands/index.js +2 -0
- package/dist/features/pr/commands/index.js.map +1 -0
- package/dist/features/pr/pr-api.module.js +23 -0
- package/dist/features/pr/pr-api.module.js.map +1 -0
- package/dist/features/pr/pr-api.service.js +35 -0
- package/dist/features/pr/pr-api.service.js.map +1 -0
- package/dist/features/pr/queries/handlers/pr-query.handlers.js +48 -0
- package/dist/features/pr/queries/handlers/pr-query.handlers.js.map +1 -0
- package/dist/features/pr/queries/impl/get-pr-readiness.query.js +7 -0
- package/dist/features/pr/queries/impl/get-pr-readiness.query.js.map +1 -0
- package/dist/features/pr/queries/impl/list-pr-feedback.query.js +7 -0
- package/dist/features/pr/queries/impl/list-pr-feedback.query.js.map +1 -0
- package/dist/features/pr/queries/index.js +3 -0
- package/dist/features/pr/queries/index.js.map +1 -0
- package/dist/features/runs/commands/handlers/runs-command.handlers.js +32 -0
- package/dist/features/runs/commands/handlers/runs-command.handlers.js.map +1 -0
- package/dist/features/runs/commands/impl/create-run.command.js +7 -0
- package/dist/features/runs/commands/impl/create-run.command.js.map +1 -0
- package/dist/features/runs/commands/index.js +3 -0
- package/dist/features/runs/commands/index.js.map +1 -0
- package/dist/features/runs/queries/handlers/runs-query.handlers.js +359 -0
- package/dist/features/runs/queries/handlers/runs-query.handlers.js.map +1 -0
- package/dist/features/runs/queries/impl/get-agent-activity.query.js +7 -0
- package/dist/features/runs/queries/impl/get-agent-activity.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-agent-attempts.query.js +7 -0
- package/dist/features/runs/queries/impl/get-agent-attempts.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-agent-log.query.js +7 -0
- package/dist/features/runs/queries/impl/get-agent-log.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-run-attempts.query.js +7 -0
- package/dist/features/runs/queries/impl/get-run-attempts.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-run-digest.query.js +7 -0
- package/dist/features/runs/queries/impl/get-run-digest.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-run-events.query.js +7 -0
- package/dist/features/runs/queries/impl/get-run-events.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-run-progress.query.js +7 -0
- package/dist/features/runs/queries/impl/get-run-progress.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-run-workflow.query.js +7 -0
- package/dist/features/runs/queries/impl/get-run-workflow.query.js.map +1 -0
- package/dist/features/runs/queries/impl/get-run.query.js +7 -0
- package/dist/features/runs/queries/impl/get-run.query.js.map +1 -0
- package/dist/features/runs/queries/impl/list-runs.query.js +7 -0
- package/dist/features/runs/queries/impl/list-runs.query.js.map +1 -0
- package/dist/features/runs/queries/impl/simulate-route.query.js +7 -0
- package/dist/features/runs/queries/impl/simulate-route.query.js.map +1 -0
- package/dist/features/runs/queries/index.js +15 -0
- package/dist/features/runs/queries/index.js.map +1 -0
- package/dist/features/runs/runs-api.module.js +23 -0
- package/dist/features/runs/runs-api.module.js.map +1 -0
- package/dist/features/runs/runs-api.service.js +79 -0
- package/dist/features/runs/runs-api.service.js.map +1 -0
- package/dist/features/shared/connection.js +39 -0
- package/dist/features/shared/connection.js.map +1 -0
- package/dist/features/system/commands/index.js +2 -0
- package/dist/features/system/commands/index.js.map +1 -0
- package/dist/features/system/queries/handlers/system-query.handlers.js +96 -0
- package/dist/features/system/queries/handlers/system-query.handlers.js.map +1 -0
- package/dist/features/system/queries/impl/doctor.query.js +4 -0
- package/dist/features/system/queries/impl/doctor.query.js.map +1 -0
- package/dist/features/system/queries/impl/get-project.query.js +4 -0
- package/dist/features/system/queries/impl/get-project.query.js.map +1 -0
- package/dist/features/system/queries/impl/get-repository-context.query.js +7 -0
- package/dist/features/system/queries/impl/get-repository-context.query.js.map +1 -0
- package/dist/features/system/queries/impl/get-status.query.js +4 -0
- package/dist/features/system/queries/impl/get-status.query.js.map +1 -0
- package/dist/features/system/queries/impl/validate-repository.query.js +7 -0
- package/dist/features/system/queries/impl/validate-repository.query.js.map +1 -0
- package/dist/features/system/queries/index.js +9 -0
- package/dist/features/system/queries/index.js.map +1 -0
- package/dist/features/system/system-api.module.js +23 -0
- package/dist/features/system/system-api.module.js.map +1 -0
- package/dist/features/system/system-api.service.js +47 -0
- package/dist/features/system/system-api.service.js.map +1 -0
- package/dist/host/daemon.js +99 -0
- package/dist/host/daemon.js.map +1 -0
- package/dist/host/dbos-identity.js +42 -0
- package/dist/host/dbos-identity.js.map +1 -0
- package/dist/host/ensure-host.js +120 -0
- package/dist/host/ensure-host.js.map +1 -0
- package/dist/host/host-runtime.js +90 -0
- package/dist/host/host-runtime.js.map +1 -0
- package/dist/host/host.lifecycle.js +16 -3
- package/dist/host/host.lifecycle.js.map +1 -1
- package/dist/host/queue-ownership.js +70 -0
- package/dist/host/queue-ownership.js.map +1 -0
- package/dist/host/queue-poller-census.js +47 -0
- package/dist/host/queue-poller-census.js.map +1 -0
- package/dist/http/graphql-host.js +56 -0
- package/dist/http/graphql-host.js.map +1 -0
- package/dist/{mcp/mcp.module.js → http/graphql-host.module.js} +12 -10
- package/dist/http/graphql-host.module.js.map +1 -0
- package/dist/infrastructure/metrics/graphql/graphql-metrics.js +91 -0
- package/dist/infrastructure/metrics/graphql/graphql-metrics.js.map +1 -0
- package/dist/mcp/mcp-capabilities.js +9 -1
- package/dist/mcp/mcp-capabilities.js.map +1 -1
- package/dist/mcp/mcp-facade.service.js +68 -5
- package/dist/mcp/mcp-facade.service.js.map +1 -1
- package/dist/mcp/mcp-http.service.js +95 -0
- package/dist/mcp/mcp-http.service.js.map +1 -0
- package/dist/mcp/mcp-tools.js +93 -7
- package/dist/mcp/mcp-tools.js.map +1 -1
- package/dist/observability/agent-activity-reporter.js +185 -0
- package/dist/observability/agent-activity-reporter.js.map +1 -0
- package/dist/observability/agent-observability.service.js +1142 -0
- package/dist/observability/agent-observability.service.js.map +1 -0
- package/dist/observability/index.js +4 -0
- package/dist/observability/index.js.map +1 -0
- package/dist/observability/types.js +11 -0
- package/dist/observability/types.js.map +1 -0
- package/dist/pipeline/await-human.js +8 -4
- package/dist/pipeline/await-human.js.map +1 -1
- package/dist/pipeline/data-driven-task.workflow.js +667 -0
- package/dist/pipeline/data-driven-task.workflow.js.map +1 -0
- package/dist/pipeline/data-driven-template.js +57 -0
- package/dist/pipeline/data-driven-template.js.map +1 -0
- package/dist/pipeline/pipeline.module.js +2 -2
- package/dist/pipeline/pipeline.module.js.map +1 -1
- package/dist/pipeline/pipeline.service.js +412 -0
- package/dist/pipeline/pipeline.service.js.map +1 -0
- package/dist/pipeline/route-contract.js +82 -0
- package/dist/pipeline/route-contract.js.map +1 -0
- package/dist/pipeline-core/index.js +16 -0
- package/dist/pipeline-core/index.js.map +1 -0
- package/dist/pipeline-core/interpret.js +353 -0
- package/dist/pipeline-core/interpret.js.map +1 -0
- package/dist/pipeline-core/kit/assertions.js +61 -0
- package/dist/pipeline-core/kit/assertions.js.map +1 -0
- package/dist/pipeline-core/kit/builders.js +138 -0
- package/dist/pipeline-core/kit/builders.js.map +1 -0
- package/dist/pipeline-core/kit/drive.js +96 -0
- package/dist/pipeline-core/kit/drive.js.map +1 -0
- package/dist/pipeline-core/kit/fixtures.js +342 -0
- package/dist/pipeline-core/kit/fixtures.js.map +1 -0
- package/dist/pipeline-core/kit/index.js +13 -0
- package/dist/pipeline-core/kit/index.js.map +1 -0
- package/dist/pipeline-core/types.js +134 -0
- package/dist/pipeline-core/types.js.map +1 -0
- package/dist/pipeline-core/validate-capability.js +23 -0
- package/dist/pipeline-core/validate-capability.js.map +1 -0
- package/dist/pipeline-core/validate-conflicts.js +37 -0
- package/dist/pipeline-core/validate-conflicts.js.map +1 -0
- package/dist/pipeline-core/validate-dataflow.js +212 -0
- package/dist/pipeline-core/validate-dataflow.js.map +1 -0
- package/dist/pipeline-core/validate-diff.js +158 -0
- package/dist/pipeline-core/validate-diff.js.map +1 -0
- package/dist/pipeline-core/validate-edges.js +44 -0
- package/dist/pipeline-core/validate-edges.js.map +1 -0
- package/dist/pipeline-core/validate-graph.js +123 -0
- package/dist/pipeline-core/validate-graph.js.map +1 -0
- package/dist/pipeline-core/validate-loops.js +226 -0
- package/dist/pipeline-core/validate-loops.js.map +1 -0
- package/dist/pipeline-core/validate-parallel.js +132 -0
- package/dist/pipeline-core/validate-parallel.js.map +1 -0
- package/dist/pipeline-core/validate-sink.js +27 -0
- package/dist/pipeline-core/validate-sink.js.map +1 -0
- package/dist/pipeline-core/validate-topology.js +140 -0
- package/dist/pipeline-core/validate-topology.js.map +1 -0
- package/dist/pipeline-core/validate-verdict.js +72 -0
- package/dist/pipeline-core/validate-verdict.js.map +1 -0
- package/dist/pipeline-core/validate.js +119 -0
- package/dist/pipeline-core/validate.js.map +1 -0
- package/dist/playbook/catalog-loader.js +14 -1
- package/dist/playbook/catalog-loader.js.map +1 -1
- package/dist/playbook/import-mapper.js +14 -38
- package/dist/playbook/import-mapper.js.map +1 -1
- package/dist/playbook/manifest.js +1 -1
- package/dist/revisium/playbooks.service.js +107 -19
- package/dist/revisium/playbooks.service.js.map +1 -1
- package/dist/revisium/roles.service.js +1 -1
- package/dist/revisium/roles.service.js.map +1 -1
- package/dist/revisium/run.service.js +55 -8
- package/dist/revisium/run.service.js.map +1 -1
- package/dist/run/append-event.js +24 -1
- package/dist/run/append-event.js.map +1 -1
- package/dist/run/block-run.js +17 -0
- package/dist/run/block-run.js.map +1 -0
- package/dist/run/complete-run.js +18 -0
- package/dist/run/complete-run.js.map +1 -0
- package/dist/run/create-run.js +33 -36
- package/dist/run/create-run.js.map +1 -1
- package/dist/run/inspect-run.js +31 -30
- package/dist/run/inspect-run.js.map +1 -1
- package/dist/run/run-outputs.js +88 -0
- package/dist/run/run-outputs.js.map +1 -0
- package/dist/run/terminal-run-status.js +66 -7
- package/dist/run/terminal-run-status.js.map +1 -1
- package/dist/runners/claude-code.service.js +5 -0
- package/dist/runners/claude-code.service.js.map +1 -1
- package/dist/runners/codex.service.js +51 -0
- package/dist/runners/codex.service.js.map +1 -0
- package/dist/runners/integrator-branch-naming.js +39 -0
- package/dist/runners/integrator-branch-naming.js.map +1 -0
- package/dist/runners/integrator-git.js +84 -0
- package/dist/runners/integrator-git.js.map +1 -0
- package/dist/runners/integrator-remote.js +34 -0
- package/dist/runners/integrator-remote.js.map +1 -0
- package/dist/runners/integrator-types.js +9 -0
- package/dist/runners/integrator-types.js.map +1 -0
- package/dist/runners/integrator.js +327 -147
- package/dist/runners/integrator.js.map +1 -1
- package/dist/runners/runner.module.js +7 -3
- package/dist/runners/runner.module.js.map +1 -1
- package/dist/runners/worktree.service.js +63 -0
- package/dist/runners/worktree.service.js.map +1 -0
- package/dist/smoke/cli.js +47 -0
- package/dist/smoke/cli.js.map +1 -0
- package/dist/smoke/isolation.js +113 -0
- package/dist/smoke/isolation.js.map +1 -0
- package/dist/task-control-plane/run-watch.service.js +281 -0
- package/dist/task-control-plane/run-watch.service.js.map +1 -0
- package/dist/task-control-plane/task-control-plane-api.service.js +569 -23
- package/dist/task-control-plane/task-control-plane-api.service.js.map +1 -1
- package/dist/task-control-plane/task-control-plane.module.js +22 -3
- package/dist/task-control-plane/task-control-plane.module.js.map +1 -1
- package/dist/worker/artifact-store.js +116 -0
- package/dist/worker/artifact-store.js.map +1 -0
- package/dist/worker/build-context.js +169 -2
- package/dist/worker/build-context.js.map +1 -1
- package/dist/worker/claude-code-runner.js +159 -68
- package/dist/worker/claude-code-runner.js.map +1 -1
- package/dist/worker/codex-runner.js +474 -0
- package/dist/worker/codex-runner.js.map +1 -0
- package/dist/worker/git-worktree-manager.js +129 -65
- package/dist/worker/git-worktree-manager.js.map +1 -1
- package/dist/worker/process-executor.js +23 -2
- package/dist/worker/process-executor.js.map +1 -1
- package/dist/worker/result-envelope.js +115 -57
- package/dist/worker/result-envelope.js.map +1 -1
- package/dist/worker/runner-common.js +106 -0
- package/dist/worker/runner-common.js.map +1 -0
- package/dist/worker/runner-dispatch.js +4 -1
- package/dist/worker/runner-dispatch.js.map +1 -1
- package/dist/worker/runner.js +11 -1
- package/dist/worker/runner.js.map +1 -1
- package/dist/worker/stub-runner.js +7 -45
- package/dist/worker/stub-runner.js.map +1 -1
- package/package.json +32 -7
- package/dist/app.module.js +0 -28
- package/dist/app.module.js.map +0 -1
- package/dist/cli/commands/bootstrap.js +0 -39
- package/dist/cli/commands/bootstrap.js.map +0 -1
- package/dist/cli/commands/dev.js +0 -143
- package/dist/cli/commands/dev.js.map +0 -1
- package/dist/cli/commands/inbox.js +0 -288
- package/dist/cli/commands/inbox.js.map +0 -1
- package/dist/cli/commands/playbook.js +0 -74
- package/dist/cli/commands/playbook.js.map +0 -1
- package/dist/cli/commands/poll-workflow-state.js +0 -144
- package/dist/cli/commands/poll-workflow-state.js.map +0 -1
- package/dist/cli/commands/revisium-context.js +0 -23
- package/dist/cli/commands/revisium-context.js.map +0 -1
- package/dist/cli/commands/revisium.js +0 -89
- package/dist/cli/commands/revisium.js.map +0 -1
- package/dist/cli/commands/run.js +0 -426
- package/dist/cli/commands/run.js.map +0 -1
- package/dist/cli/commands/work.js +0 -149
- package/dist/cli/commands/work.js.map +0 -1
- package/dist/cli/live-guard.js +0 -49
- package/dist/cli/live-guard.js.map +0 -1
- package/dist/cli/needs-host.js +0 -78
- package/dist/cli/needs-host.js.map +0 -1
- package/dist/mcp/mcp-stdio.service.js +0 -48
- package/dist/mcp/mcp-stdio.service.js.map +0 -1
- package/dist/mcp/mcp.module.js.map +0 -1
- package/dist/pipeline/develop-task.workflow.js +0 -497
- package/dist/pipeline/develop-task.workflow.js.map +0 -1
- package/dist/worker/loop.js +0 -122
- package/dist/worker/loop.js.map +0 -1
- package/dist/worker/script-runner.js +0 -28
- package/dist/worker/script-runner.js.map +0 -1
- package/dist/worker/worker-id.js +0 -18
- package/dist/worker/worker-id.js.map +0 -1
- package/dist/worker/worktree-manager.js +0 -7
- package/dist/worker/worktree-manager.js.map +0 -1
|
@@ -0,0 +1,132 @@
|
|
|
1
|
+
import { MERGE_REDUCERS } from './types.js';
|
|
2
|
+
import { branchSubgraph, forwardReach, structuralEdges } from './validate-graph.js';
|
|
3
|
+
export function ruleParallelJoin(template, d) {
|
|
4
|
+
const nodes = template.nodes;
|
|
5
|
+
const parallels = Object.values(nodes).filter((n) => n.kind === 'parallel');
|
|
6
|
+
const joinUsedBy = new Map();
|
|
7
|
+
for (const par of parallels)
|
|
8
|
+
checkParallelAgainstJoin(template, par, joinUsedBy, d);
|
|
9
|
+
for (const [joinId, owners] of joinUsedBy) {
|
|
10
|
+
if (owners.length > 1) {
|
|
11
|
+
d.error('JOIN_MULTIPLE_PARALLELS', `join "${joinId}" is the target of ${owners.length} parallels`, {
|
|
12
|
+
nodeId: joinId,
|
|
13
|
+
});
|
|
14
|
+
}
|
|
15
|
+
}
|
|
16
|
+
}
|
|
17
|
+
/** Validate one parallel against its declared join (resolution, kind, quorum, membership, merge). */
|
|
18
|
+
function checkParallelAgainstJoin(template, par, joinUsedBy, d) {
|
|
19
|
+
const join = template.nodes[par.join];
|
|
20
|
+
if (!join) {
|
|
21
|
+
d.error('PARALLEL_JOIN_UNRESOLVED', `parallel ${par.id} join "${par.join}" does not resolve`, { nodeId: par.id });
|
|
22
|
+
return;
|
|
23
|
+
}
|
|
24
|
+
if (join.kind !== 'join') {
|
|
25
|
+
d.error('PARALLEL_JOIN_KIND', `parallel ${par.id} join "${par.join}" is a ${join.kind}, not a join`, {
|
|
26
|
+
nodeId: par.id,
|
|
27
|
+
});
|
|
28
|
+
return;
|
|
29
|
+
}
|
|
30
|
+
(joinUsedBy.get(par.join) ?? joinUsedBy.set(par.join, []).get(par.join)).push(par.id);
|
|
31
|
+
checkQuorumBound(par, join, d);
|
|
32
|
+
// Branch membership + cross-branch goto + all-reachability.
|
|
33
|
+
checkBranchMembership(template, par, join.id, d);
|
|
34
|
+
// Multi-writer fields need a merge reducer.
|
|
35
|
+
checkMergeReducers(template, par, join, d);
|
|
36
|
+
checkRejectedMergeReducers(join, d);
|
|
37
|
+
}
|
|
38
|
+
/** Quorum K must satisfy 1 ≤ K ≤ N (branch count). */
|
|
39
|
+
function checkQuorumBound(par, join, d) {
|
|
40
|
+
if (join.joinMode.kind !== 'quorum')
|
|
41
|
+
return;
|
|
42
|
+
const K = join.joinMode.count;
|
|
43
|
+
if (!Number.isInteger(K) || K < 1 || K > par.branches.length) {
|
|
44
|
+
d.error('QUORUM_K_GT_N', `join ${join.id} quorum K=${K} but parallel has ${par.branches.length} branches`, {
|
|
45
|
+
nodeId: join.id,
|
|
46
|
+
});
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
/** Reject any merge reducer outside the allowed set (defensive; the type forbids it but data may carry it). */
|
|
50
|
+
function checkRejectedMergeReducers(join, d) {
|
|
51
|
+
for (const [field, reducer] of Object.entries(join.merge ?? {})) {
|
|
52
|
+
if (!MERGE_REDUCERS.includes(reducer)) {
|
|
53
|
+
d.error('MERGE_LASTWRITE_REJECTED', `join ${join.id} merge.${field} = "${reducer}" is not allowed`, {
|
|
54
|
+
nodeId: join.id,
|
|
55
|
+
path: `merge.${field}`,
|
|
56
|
+
});
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
function checkBranchMembership(template, par, joinId, d) {
|
|
61
|
+
const memberOf = buildBranchMembership(template, par, joinId, d);
|
|
62
|
+
checkCrossBranchGotos(template, memberOf, joinId, d);
|
|
63
|
+
}
|
|
64
|
+
/**
|
|
65
|
+
* Assign each branch sub-graph node to its owning branch (flagging shared membership) and, for an
|
|
66
|
+
* `all` join, flag any branch that cannot reach the join. Returns the node→branch ownership map.
|
|
67
|
+
*/
|
|
68
|
+
function buildBranchMembership(template, par, joinId, d) {
|
|
69
|
+
const memberOf = new Map();
|
|
70
|
+
for (const branch of par.branches) {
|
|
71
|
+
for (const m of branchSubgraph(template, branch.entry, joinId)) {
|
|
72
|
+
if (memberOf.has(m) && memberOf.get(m) !== branch.id) {
|
|
73
|
+
d.error('BRANCH_MEMBERSHIP', `node ${m} is a member of branches "${memberOf.get(m)}" and "${branch.id}"`, {
|
|
74
|
+
nodeId: m,
|
|
75
|
+
});
|
|
76
|
+
}
|
|
77
|
+
memberOf.set(m, branch.id);
|
|
78
|
+
}
|
|
79
|
+
checkAllJoinReachable(template, branch, joinId, d);
|
|
80
|
+
}
|
|
81
|
+
return memberOf;
|
|
82
|
+
}
|
|
83
|
+
/** all-reachability: an `all`-join branch must be able to reach the join (no deadlock). */
|
|
84
|
+
function checkAllJoinReachable(template, branch, joinId, d) {
|
|
85
|
+
const join = template.nodes[joinId];
|
|
86
|
+
if (join?.kind !== 'join' || join.joinMode.kind !== 'all')
|
|
87
|
+
return;
|
|
88
|
+
if (!forwardReach(template, branch.entry).has(joinId)) {
|
|
89
|
+
d.error('JOIN_UNREACHABLE_BRANCH', `branch "${branch.id}" (all) cannot reach join ${joinId}`, {
|
|
90
|
+
nodeId: branch.entry,
|
|
91
|
+
});
|
|
92
|
+
}
|
|
93
|
+
}
|
|
94
|
+
/** Cross-branch goto: a branch member may only goto within its own branch sub-graph or to the join. */
|
|
95
|
+
function checkCrossBranchGotos(template, memberOf, joinId, d) {
|
|
96
|
+
for (const [member, branchId] of memberOf) {
|
|
97
|
+
const node = template.nodes[member];
|
|
98
|
+
if (!node)
|
|
99
|
+
continue;
|
|
100
|
+
for (const [path, target] of structuralEdges(node)) {
|
|
101
|
+
if (target === joinId)
|
|
102
|
+
continue;
|
|
103
|
+
const targetBranch = memberOf.get(target);
|
|
104
|
+
if (targetBranch !== undefined && targetBranch !== branchId) {
|
|
105
|
+
d.error('BRANCH_CROSS_GOTO', `node ${member} (branch ${branchId}) goto ${target} crosses into branch ${targetBranch}`, {
|
|
106
|
+
nodeId: member,
|
|
107
|
+
path,
|
|
108
|
+
});
|
|
109
|
+
}
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
function checkMergeReducers(template, par, join, d) {
|
|
114
|
+
// v1 cannot statically know a node's written fields without a resultSchema model, so we use a
|
|
115
|
+
// conservative proxy: a parallel fanning out ≥2 effect (agent/script) branches writes results from
|
|
116
|
+
// >1 branch; absent a `merge` reducer those fields are unguarded (§4/§12.8). A real per-field model
|
|
117
|
+
// lands with native Revisium typing; until then the entry-kind heuristic surfaces the hazard.
|
|
118
|
+
if (par.branches.length < 2)
|
|
119
|
+
return;
|
|
120
|
+
if (Object.keys(join.merge ?? {}).length > 0)
|
|
121
|
+
return;
|
|
122
|
+
const writers = par.branches.filter((b) => {
|
|
123
|
+
const entry = template.nodes[b.entry];
|
|
124
|
+
return entry?.kind === 'agent' || entry?.kind === 'script';
|
|
125
|
+
});
|
|
126
|
+
if (writers.length >= 2) {
|
|
127
|
+
d.error('MERGE_MISSING', `join ${join.id} has ${writers.length} writer branches but no merge reducer`, {
|
|
128
|
+
nodeId: join.id,
|
|
129
|
+
});
|
|
130
|
+
}
|
|
131
|
+
}
|
|
132
|
+
//# sourceMappingURL=validate-parallel.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate-parallel.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-parallel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEpF,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,CAAW;IAC9D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAA4C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACtH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE/C,KAAK,MAAM,GAAG,IAAI,SAAS;QAAE,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IAEpF,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,SAAS,MAAM,sBAAsB,MAAM,CAAC,MAAM,YAAY,EAAE;gBACjG,MAAM,EAAE,MAAM;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,SAAS,wBAAwB,CAC/B,QAAkB,EAClB,GAAwC,EACxC,UAAiC,EACjC,CAAW;IAEX,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,CAAC,CAAC,KAAK,CAAC,0BAA0B,EAAE,YAAY,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAClH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,YAAY,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,cAAc,EAAE;YACnG,MAAM,EAAE,GAAG,CAAC,EAAE;SACf,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEvF,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/B,4DAA4D;IAC5D,qBAAqB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACjD,4CAA4C;IAC5C,kBAAkB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,0BAA0B,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,sDAAsD;AACtD,SAAS,gBAAgB,CACvB,GAAwC,EACxC,IAAqC,EACrC,CAAW;IAEX,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7D,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,QAAQ,IAAI,CAAC,EAAE,aAAa,CAAC,qBAAqB,GAAG,CAAC,QAAQ,CAAC,MAAM,WAAW,EAAE;YACzG,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,+GAA+G;AAC/G,SAAS,0BAA0B,CAAC,IAAqC,EAAE,CAAW;IACpF,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,CAAC,CAAC,KAAK,CAAC,0BAA0B,EAAE,QAAQ,IAAI,CAAC,EAAE,UAAU,KAAK,OAAO,OAAO,kBAAkB,EAAE;gBAClG,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,SAAS,KAAK,EAAE;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,GAAwC,EACxC,MAAc,EACd,CAAW;IAEX,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACjE,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,GAAwC,EACxC,MAAc,EACd,CAAW;IAEX,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;YAC/D,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;gBACrD,CAAC,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,CAAC,6BAA6B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,EAAE,GAAG,EAAE;oBACxG,MAAM,EAAE,CAAC;iBACV,CAAC,CAAC;YACL,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;QACD,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,2FAA2F;AAC3F,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,MAAqC,EACrC,MAAc,EACd,CAAW;IAEX,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO;IAClE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,WAAW,MAAM,CAAC,EAAE,6BAA6B,MAAM,EAAE,EAAE;YAC5F,MAAM,EAAE,MAAM,CAAC,KAAK;SACrB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,QAA6B,EAC7B,MAAc,EACd,CAAW;IAEX,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,MAAM,KAAK,MAAM;gBAAE,SAAS;YAChC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC5D,CAAC,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,MAAM,YAAY,QAAQ,UAAU,MAAM,wBAAwB,YAAY,EAAE,EAAE;oBACrH,MAAM,EAAE,MAAM;oBACd,IAAI;iBACL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAkB,EAClB,GAAwC,EACxC,IAAqC,EACrC,CAAW;IAEX,8FAA8F;IAC9F,mGAAmG;IACnG,oGAAoG;IACpG,8FAA8F;IAC9F,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IACpC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IACrD,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACxB,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,QAAQ,IAAI,CAAC,EAAE,QAAQ,OAAO,CAAC,MAAM,uCAAuC,EAAE;YACrG,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* validate-sink — the shared error/warning collector every §12 rule writes into.
|
|
3
|
+
*
|
|
4
|
+
* Lifted out of validate.ts so each rule module can take a `DiagSink` by type without a circular import
|
|
5
|
+
* back into the orchestrator. `validateTemplate` constructs one and passes it to every rule; rules only
|
|
6
|
+
* call `error`/`warn` on the instance they are handed.
|
|
7
|
+
*/
|
|
8
|
+
export class DiagSink {
|
|
9
|
+
items = [];
|
|
10
|
+
error(code, message, where = {}) {
|
|
11
|
+
this.items.push({ code, severity: 'error', message, ...strip(where) });
|
|
12
|
+
}
|
|
13
|
+
warn(code, message, where = {}) {
|
|
14
|
+
this.items.push({ code, severity: 'warning', message, ...strip(where) });
|
|
15
|
+
}
|
|
16
|
+
}
|
|
17
|
+
function strip(where) {
|
|
18
|
+
const out = {};
|
|
19
|
+
if (where.nodeId !== undefined)
|
|
20
|
+
out.nodeId = where.nodeId;
|
|
21
|
+
if (where.scope !== undefined)
|
|
22
|
+
out.scope = where.scope;
|
|
23
|
+
if (where.path !== undefined)
|
|
24
|
+
out.path = where.path;
|
|
25
|
+
return out;
|
|
26
|
+
}
|
|
27
|
+
//# sourceMappingURL=validate-sink.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate-sink.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-sink.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,OAAO,QAAQ;IACV,KAAK,GAAiB,EAAE,CAAC;IAClC,KAAK,CAAC,IAAoB,EAAE,OAAe,EAAE,QAA6B,EAAE;QAC1E,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,IAAoB,EAAE,OAAe,EAAE,QAA6B,EAAE;QACzE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;CACF;AAED,SAAS,KAAK,CAAC,KAA0B;IACvC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1D,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACvD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACpD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -0,0 +1,140 @@
|
|
|
1
|
+
import { CONDITION_OPS, TERMINAL_STATUSES, isDefaultBranch } from './types.js';
|
|
2
|
+
import { outgoingEdges } from './validate-edges.js';
|
|
3
|
+
import { guardConditionsOf, reachableFrom } from './validate-graph.js';
|
|
4
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
5
|
+
// Rule 1 — single entry.
|
|
6
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
7
|
+
export function ruleSingleEntry(template, ids, d) {
|
|
8
|
+
if (!template.entry) {
|
|
9
|
+
d.error('ENTRY_MISSING', 'template has no `entry`');
|
|
10
|
+
return;
|
|
11
|
+
}
|
|
12
|
+
if (!ids.has(template.entry)) {
|
|
13
|
+
d.error('ENTRY_UNRESOLVED', `entry "${template.entry}" does not resolve to a node`, {
|
|
14
|
+
nodeId: template.entry,
|
|
15
|
+
});
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
19
|
+
// Rule 2 — references resolve (every edge target exists).
|
|
20
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
21
|
+
export function ruleReferencesResolve(template, ids, d) {
|
|
22
|
+
const check = (target, node, path) => {
|
|
23
|
+
if (target === undefined)
|
|
24
|
+
return;
|
|
25
|
+
if (!ids.has(target)) {
|
|
26
|
+
d.error('REF_UNRESOLVED', `${node.id}.${path} → unknown node "${target}"`, { nodeId: node.id, path });
|
|
27
|
+
}
|
|
28
|
+
};
|
|
29
|
+
for (const node of Object.values(template.nodes)) {
|
|
30
|
+
for (const [path, target] of outgoingEdges(node))
|
|
31
|
+
check(target, node, path);
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
35
|
+
// Rule 3 — terminals & non-terminals.
|
|
36
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
37
|
+
export function ruleTerminals(template, d) {
|
|
38
|
+
for (const node of Object.values(template.nodes)) {
|
|
39
|
+
if (node.kind === 'terminal') {
|
|
40
|
+
if (!TERMINAL_STATUSES.includes(node.status)) {
|
|
41
|
+
d.error('TERMINAL_BAD_STATUS', `terminal ${node.id} has bad status "${node.status}"`, {
|
|
42
|
+
nodeId: node.id,
|
|
43
|
+
});
|
|
44
|
+
}
|
|
45
|
+
// The discriminated union forbids exit fields on a terminal at the type level; nothing else to check.
|
|
46
|
+
}
|
|
47
|
+
else if (outgoingEdges(node).length === 0) {
|
|
48
|
+
d.error('NONTERMINAL_NO_EXIT', `non-terminal ${node.id} (${node.kind}) has no exit edge`, {
|
|
49
|
+
nodeId: node.id,
|
|
50
|
+
});
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
}
|
|
54
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
55
|
+
// Condition grammar sanity — a malformed guard can't be evaluated (feeds rules 2/4/9).
|
|
56
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
57
|
+
export function ruleConditionGrammar(template, d) {
|
|
58
|
+
for (const node of Object.values(template.nodes)) {
|
|
59
|
+
for (const cond of guardConditionsOf(node))
|
|
60
|
+
checkCondition(cond, node.id, d);
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
function checkCondition(cond, nodeId, d) {
|
|
64
|
+
const op = cond.op;
|
|
65
|
+
if (typeof op !== 'string' || !CONDITION_OPS.includes(op)) {
|
|
66
|
+
d.error('CONDITION_BAD_OP', `node ${nodeId} guard has unknown op "${String(op)}"`, { nodeId });
|
|
67
|
+
return;
|
|
68
|
+
}
|
|
69
|
+
switch (cond.op) {
|
|
70
|
+
case 'verdict.eq':
|
|
71
|
+
if (typeof cond.value !== 'string')
|
|
72
|
+
d.error('CONDITION_BAD_SHAPE', `verdict.eq value must be a string`, { nodeId });
|
|
73
|
+
break;
|
|
74
|
+
case 'verdict.in':
|
|
75
|
+
if (!Array.isArray(cond.value) || cond.value.some((v) => typeof v !== 'string')) {
|
|
76
|
+
d.error('CONDITION_BAD_SHAPE', `verdict.in value must be a string[]`, { nodeId });
|
|
77
|
+
}
|
|
78
|
+
break;
|
|
79
|
+
case 'counter.lt':
|
|
80
|
+
case 'counter.gte':
|
|
81
|
+
if (typeof cond.scope !== 'string' || !Number.isInteger(cond.value)) {
|
|
82
|
+
d.error('CONDITION_BAD_SHAPE', `${cond.op} needs a scope + integer value`, { nodeId });
|
|
83
|
+
}
|
|
84
|
+
break;
|
|
85
|
+
case 'all':
|
|
86
|
+
case 'any':
|
|
87
|
+
if (Array.isArray(cond.of))
|
|
88
|
+
cond.of.forEach((c) => checkCondition(c, nodeId, d));
|
|
89
|
+
else
|
|
90
|
+
d.error('CONDITION_BAD_SHAPE', `${cond.op} needs an "of" array`, { nodeId });
|
|
91
|
+
break;
|
|
92
|
+
case 'not':
|
|
93
|
+
if (cond.cond)
|
|
94
|
+
checkCondition(cond.cond, nodeId, d);
|
|
95
|
+
else
|
|
96
|
+
d.error('CONDITION_BAD_SHAPE', `not needs a "cond"`, { nodeId });
|
|
97
|
+
break;
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
101
|
+
// Rule 4 — total routing (default present; no guard after default; one default).
|
|
102
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
103
|
+
export function ruleTotalRouting(template, d) {
|
|
104
|
+
for (const node of Object.values(template.nodes)) {
|
|
105
|
+
if (node.kind !== 'choice' && node.kind !== 'humanGate')
|
|
106
|
+
continue;
|
|
107
|
+
const branches = node.branches;
|
|
108
|
+
const defaultIdxs = branches.map((b, i) => (isDefaultBranch(b) ? i : -1)).filter((i) => i >= 0);
|
|
109
|
+
if (defaultIdxs.length === 0) {
|
|
110
|
+
d.error('ROUTING_NO_DEFAULT', `${node.kind} ${node.id} has no trailing default branch`, {
|
|
111
|
+
nodeId: node.id,
|
|
112
|
+
});
|
|
113
|
+
continue;
|
|
114
|
+
}
|
|
115
|
+
if (defaultIdxs.length > 1) {
|
|
116
|
+
d.error('ROUTING_MULTIPLE_DEFAULT', `${node.kind} ${node.id} has ${defaultIdxs.length} defaults`, {
|
|
117
|
+
nodeId: node.id,
|
|
118
|
+
});
|
|
119
|
+
}
|
|
120
|
+
const firstDefault = defaultIdxs[0];
|
|
121
|
+
if (firstDefault !== branches.length - 1) {
|
|
122
|
+
d.error('ROUTING_GUARD_AFTER_DEFAULT', `${node.kind} ${node.id} has a guard after its default`, {
|
|
123
|
+
nodeId: node.id,
|
|
124
|
+
});
|
|
125
|
+
}
|
|
126
|
+
}
|
|
127
|
+
}
|
|
128
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
129
|
+
// Rule 5 — reachability (every node reachable from entry; no dead nodes).
|
|
130
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
131
|
+
export function ruleReachability(template, ids, d) {
|
|
132
|
+
if (!template.entry || !ids.has(template.entry))
|
|
133
|
+
return; // rule 1 already flagged it
|
|
134
|
+
const reachable = reachableFrom(template, template.entry);
|
|
135
|
+
for (const id of ids) {
|
|
136
|
+
if (!reachable.has(id))
|
|
137
|
+
d.error('UNREACHABLE_NODE', `node "${id}" is unreachable from entry`, { nodeId: id });
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
//# sourceMappingURL=validate-topology.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate-topology.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-topology.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG/E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEvE,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAAC,QAAkB,EAAE,GAAgB,EAAE,CAAW;IAC/E,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,UAAU,QAAQ,CAAC,KAAK,8BAA8B,EAAE;YAClF,MAAM,EAAE,QAAQ,CAAC,KAAK;SACvB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,0DAA0D;AAC1D,gFAAgF;AAEhF,MAAM,UAAU,qBAAqB,CAAC,QAAkB,EAAE,GAAgB,EAAE,CAAW;IACrF,MAAM,KAAK,GAAG,CAAC,MAA0B,EAAE,IAAU,EAAE,IAAY,EAAQ,EAAE;QAC3E,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,oBAAoB,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACxG,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF,MAAM,UAAU,aAAa,CAAC,QAAkB,EAAE,CAAW;IAC3D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7C,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,YAAY,IAAI,CAAC,EAAE,oBAAoB,IAAI,CAAC,MAAM,GAAG,EAAE;oBACpF,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,sGAAsG;QACxG,CAAC;aAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5C,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,gBAAgB,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,oBAAoB,EAAE;gBACxF,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,uFAAuF;AACvF,gFAAgF;AAEhF,MAAM,UAAU,oBAAoB,CAAC,QAAkB,EAAE,CAAW;IAClE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAe,EAAE,MAAc,EAAE,CAAW;IAClE,MAAM,EAAE,GAAI,IAAyB,CAAC,EAAE,CAAC;IACzC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAoC,CAAC,EAAE,CAAC;QAC5F,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,QAAQ,MAAM,0BAA0B,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/F,OAAO;IACT,CAAC;IACD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,mCAAmC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACpH,MAAM;QACR,KAAK,YAAY;YACf,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAChF,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,qCAAqC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACpF,CAAC;YACD,MAAM;QACR,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpE,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,IAAI,CAAC,EAAE,gCAAgC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;;gBAC5E,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,IAAI,CAAC,EAAE,sBAAsB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAClF,MAAM;QACR,KAAK,KAAK;YACR,IAAI,IAAI,CAAC,IAAI;gBAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;;gBAC/C,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACtE,MAAM;IACV,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,gFAAgF;AAEhF,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,CAAW;IAC9D,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,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,iCAAiC,EAAE;gBACtF,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,CAAC,CAAC,KAAK,CAAC,0BAA0B,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,QAAQ,WAAW,CAAC,MAAM,WAAW,EAAE;gBAChG,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,YAAY,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,CAAC,CAAC,KAAK,CAAC,6BAA6B,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,gCAAgC,EAAE;gBAC9F,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,0EAA0E;AAC1E,gFAAgF;AAEhF,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,GAAgB,EAAE,CAAW;IAChF,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,4BAA4B;IACrF,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,SAAS,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAChH,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
import { CORE_VERDICTS } from './types.js';
|
|
2
|
+
import { guardConditionsOf } from './validate-graph.js';
|
|
3
|
+
export function ruleVerdictClosure(template, d) {
|
|
4
|
+
const domain = template.verdicts?.domain ?? [];
|
|
5
|
+
const domainSet = new Set(domain);
|
|
6
|
+
const core = new Set(CORE_VERDICTS);
|
|
7
|
+
// 9a no domain label shadows a core label.
|
|
8
|
+
for (const label of domain) {
|
|
9
|
+
if (core.has(label)) {
|
|
10
|
+
d.error('VERDICT_DOMAIN_SHADOWS_CORE', `domain verdict "${label}" shadows a core verdict`);
|
|
11
|
+
}
|
|
12
|
+
}
|
|
13
|
+
const used = new Set();
|
|
14
|
+
for (const node of Object.values(template.nodes)) {
|
|
15
|
+
checkGuardVerdictLabels(node, core, domainSet, used, d); // 9b verdict.* guard labels ∈ domain
|
|
16
|
+
checkGateOutcomesSubset(node, domainSet, used, d); // 9c humanGate.outcomes ⊆ domain
|
|
17
|
+
}
|
|
18
|
+
// 9d declared-but-unused (warning).
|
|
19
|
+
for (const label of domain) {
|
|
20
|
+
if (!used.has(label))
|
|
21
|
+
d.warn('VERDICT_DECLARED_UNUSED', `domain verdict "${label}" is declared but never used`);
|
|
22
|
+
}
|
|
23
|
+
}
|
|
24
|
+
/** 9b — every verdict.* guard label on a node is a declared domain label (a core label is a hard error). */
|
|
25
|
+
function checkGuardVerdictLabels(node, core, domainSet, used, d) {
|
|
26
|
+
for (const cond of guardConditionsOf(node)) {
|
|
27
|
+
collectVerdictLabels(cond, (label) => {
|
|
28
|
+
used.add(label);
|
|
29
|
+
if (core.has(label)) {
|
|
30
|
+
d.error('VERDICT_CORE_IN_GUARD', `node ${node.id} guard uses core verdict "${label}" (route it structurally)`, {
|
|
31
|
+
nodeId: node.id,
|
|
32
|
+
});
|
|
33
|
+
}
|
|
34
|
+
else if (!domainSet.has(label)) {
|
|
35
|
+
d.error('VERDICT_UNDECLARED', `node ${node.id} guard uses undeclared verdict "${label}"`, {
|
|
36
|
+
nodeId: node.id,
|
|
37
|
+
});
|
|
38
|
+
}
|
|
39
|
+
});
|
|
40
|
+
}
|
|
41
|
+
}
|
|
42
|
+
/** 9c — a humanGate's declared outcomes must all be declared domain labels. */
|
|
43
|
+
function checkGateOutcomesSubset(node, domainSet, used, d) {
|
|
44
|
+
if (node.kind !== 'humanGate')
|
|
45
|
+
return;
|
|
46
|
+
for (const o of node.outcomes) {
|
|
47
|
+
used.add(o);
|
|
48
|
+
if (!domainSet.has(o)) {
|
|
49
|
+
d.error('GATE_OUTCOME_NOT_SUBSET', `gate ${node.id} outcome "${o}" is not in verdicts.domain`, {
|
|
50
|
+
nodeId: node.id,
|
|
51
|
+
});
|
|
52
|
+
}
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
function collectVerdictLabels(cond, visit) {
|
|
56
|
+
switch (cond.op) {
|
|
57
|
+
case 'verdict.eq':
|
|
58
|
+
visit(cond.value);
|
|
59
|
+
break;
|
|
60
|
+
case 'verdict.in':
|
|
61
|
+
cond.value.forEach(visit);
|
|
62
|
+
break;
|
|
63
|
+
case 'all':
|
|
64
|
+
case 'any':
|
|
65
|
+
cond.of.forEach((c) => collectVerdictLabels(c, visit));
|
|
66
|
+
break;
|
|
67
|
+
case 'not':
|
|
68
|
+
collectVerdictLabels(cond.cond, visit);
|
|
69
|
+
break;
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
//# sourceMappingURL=validate-verdict.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate-verdict.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-verdict.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,UAAU,kBAAkB,CAAC,QAAkB,EAAE,CAAW;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;IAE5C,2CAA2C;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,CAAC,CAAC,KAAK,CAAC,6BAA6B,EAAE,mBAAmB,KAAK,0BAA0B,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,sCAAsC;QAC/F,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,wCAAwC;IAC7F,CAAC;IAED,oCAAoC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,CAAC,CAAC,IAAI,CAAC,yBAAyB,EAAE,mBAAmB,KAAK,8BAA8B,CAAC,CAAC;IAClH,CAAC;AACH,CAAC;AAED,4GAA4G;AAC5G,SAAS,uBAAuB,CAC9B,IAAU,EACV,IAAiB,EACjB,SAAsB,EACtB,IAAiB,EACjB,CAAW;IAEX,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,oBAAoB,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACnC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,CAAC,CAAC,KAAK,CAAC,uBAAuB,EAAE,QAAQ,IAAI,CAAC,EAAE,6BAA6B,KAAK,2BAA2B,EAAE;oBAC7G,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,QAAQ,IAAI,CAAC,EAAE,mCAAmC,KAAK,GAAG,EAAE;oBACxF,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,uBAAuB,CAAC,IAAU,EAAE,SAAsB,EAAE,IAAiB,EAAE,CAAW;IACjG,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO;IACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,QAAQ,IAAI,CAAC,EAAE,aAAa,CAAC,6BAA6B,EAAE;gBAC7F,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAe,EAAE,KAA8B;IAC3E,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,MAAM;QACR,KAAK,YAAY;YACf,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YACvD,MAAM;QACR,KAAK,KAAK;YACR,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,MAAM;IACV,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,119 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* pipeline-core/validate.ts — the authoritative install-time validator (§12). Runs rules 1–12 + 14
|
|
3
|
+
* (each imported from its sibling module) and re-exports the diff classifier (rule 13) from
|
|
4
|
+
* validate-diff.ts, so the public surface (`validateTemplate`, `classifyTemplateDiff`) is unchanged.
|
|
5
|
+
*
|
|
6
|
+
* Pure: zero I/O, no clocks. Each §12 rule is its own collector; `validateTemplate` returns every
|
|
7
|
+
* finding (it does not stop at the first error). Codes are stable (tested against).
|
|
8
|
+
*/
|
|
9
|
+
import { FAILURE_POLICIES, isRevoErrorCode } from './types.js';
|
|
10
|
+
import { DiagSink } from './validate-sink.js';
|
|
11
|
+
import { ruleSingleEntry, ruleReferencesResolve, ruleTerminals, ruleConditionGrammar, ruleTotalRouting, ruleReachability, } from './validate-topology.js';
|
|
12
|
+
import { ruleLoopCap, ruleCounterScopes } from './validate-loops.js';
|
|
13
|
+
import { ruleParallelJoin } from './validate-parallel.js';
|
|
14
|
+
import { ruleVerdictClosure } from './validate-verdict.js';
|
|
15
|
+
import { ruleDataflow } from './validate-dataflow.js';
|
|
16
|
+
import { ruleConflictMatrix } from './validate-conflicts.js';
|
|
17
|
+
import { ruleCapabilityRefs } from './validate-capability.js';
|
|
18
|
+
export { classifyTemplateDiff } from './validate-diff.js';
|
|
19
|
+
const NODE_ID_PATTERN = /^[A-Za-z]\w*$/;
|
|
20
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
21
|
+
// Public entry.
|
|
22
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
23
|
+
/** Run all §12 rules. Returns every diagnostic; empty ⇒ the template is valid. */
|
|
24
|
+
export function validateTemplate(template) {
|
|
25
|
+
const d = new DiagSink();
|
|
26
|
+
const nodes = template.nodes ?? {};
|
|
27
|
+
const ids = new Set(Object.keys(nodes));
|
|
28
|
+
// Rules dereference `nodes` directly; a malformed parsed template (type says required, JSON may lie)
|
|
29
|
+
// would otherwise throw inside a rule instead of producing diagnostics.
|
|
30
|
+
const normalized = { ...template, nodes };
|
|
31
|
+
ruleIdHygiene(normalized, d); // run first — duplicate/bad ids inform the rest
|
|
32
|
+
ruleSingleEntry(normalized, ids, d);
|
|
33
|
+
ruleReferencesResolve(normalized, ids, d);
|
|
34
|
+
ruleTerminals(normalized, d);
|
|
35
|
+
ruleConditionGrammar(normalized, d); // grammar sanity — feeds rules 2/4/9
|
|
36
|
+
ruleTotalRouting(normalized, d);
|
|
37
|
+
ruleReachability(normalized, ids, d);
|
|
38
|
+
ruleFailurePolicy(normalized, d); // failure-policy well-formedness
|
|
39
|
+
ruleLoopCap(normalized, d); // loop-cap presence
|
|
40
|
+
ruleCounterScopes(normalized, d);
|
|
41
|
+
ruleParallelJoin(normalized, d);
|
|
42
|
+
ruleVerdictClosure(normalized, d);
|
|
43
|
+
ruleConflictMatrix(normalized, d);
|
|
44
|
+
ruleCapabilityRefs(normalized, d);
|
|
45
|
+
ruleDataflow(normalized, ids, d); // produces/consumes — 0016 §7
|
|
46
|
+
return d.items;
|
|
47
|
+
}
|
|
48
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
49
|
+
// Rule 11 — id/namespace hygiene.
|
|
50
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
51
|
+
function ruleIdHygiene(template, d) {
|
|
52
|
+
const seen = new Set();
|
|
53
|
+
for (const [key, node] of Object.entries(template.nodes ?? {})) {
|
|
54
|
+
checkNodeKeyHygiene(key, node, seen, d);
|
|
55
|
+
seen.add(key);
|
|
56
|
+
}
|
|
57
|
+
checkCatchCodeVerdictCollisions(template, d);
|
|
58
|
+
}
|
|
59
|
+
/** One node entry's id hygiene: map-key/node-id mismatch, id pattern, and duplicate-key detection. */
|
|
60
|
+
function checkNodeKeyHygiene(key, node, seen, d) {
|
|
61
|
+
// The map key is the canonical id; a node carrying a mismatching `id` is a hygiene defect too.
|
|
62
|
+
if (node?.id !== undefined && node.id !== key) {
|
|
63
|
+
d.error('ID_BAD_PATTERN', `node "${key}" has mismatching id "${node.id}"`, { nodeId: key });
|
|
64
|
+
}
|
|
65
|
+
if (!NODE_ID_PATTERN.test(key)) {
|
|
66
|
+
d.error('ID_BAD_PATTERN', `node id "${key}" does not match ${NODE_ID_PATTERN}`, { nodeId: key });
|
|
67
|
+
}
|
|
68
|
+
if (seen.has(key))
|
|
69
|
+
d.error('ID_DUPLICATE', `duplicate node id "${key}"`, { nodeId: key });
|
|
70
|
+
}
|
|
71
|
+
/** revo.* error codes must never collide with a declared verdict label (disjoint namespaces, §3/§6). */
|
|
72
|
+
function checkCatchCodeVerdictCollisions(template, d) {
|
|
73
|
+
const domain = new Set(template.verdicts?.domain ?? []);
|
|
74
|
+
for (const node of Object.values(template.nodes ?? {})) {
|
|
75
|
+
if (node?.kind !== 'agent' && node?.kind !== 'script')
|
|
76
|
+
continue;
|
|
77
|
+
for (const c of node.catch ?? []) {
|
|
78
|
+
if (domain.has(c.onError)) {
|
|
79
|
+
d.error('REVO_CODE_COLLIDES_VERDICT', `catch code "${c.onError}" collides with a verdict label`, {
|
|
80
|
+
nodeId: node.id,
|
|
81
|
+
});
|
|
82
|
+
}
|
|
83
|
+
}
|
|
84
|
+
}
|
|
85
|
+
}
|
|
86
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
87
|
+
// Rule 6a — per-node failure policy well-formedness.
|
|
88
|
+
// ─────────────────────────────────────────────────────────────────────────────
|
|
89
|
+
function ruleFailurePolicy(template, d) {
|
|
90
|
+
for (const node of Object.values(template.nodes)) {
|
|
91
|
+
if (node.kind === 'agent' || node.kind === 'script')
|
|
92
|
+
checkNodeFailurePolicy(node, d);
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
/** Per effect-node §6 failure-policy well-formedness: known policy, valid catch codes, route/escalate. */
|
|
96
|
+
function checkNodeFailurePolicy(node, d) {
|
|
97
|
+
const policy = node.onFailure ?? 'abort';
|
|
98
|
+
if (!FAILURE_POLICIES.includes(policy)) {
|
|
99
|
+
d.error('CATCH_BAD_CODE', `node ${node.id} has unknown onFailure "${policy}"`, { nodeId: node.id });
|
|
100
|
+
}
|
|
101
|
+
for (const c of node.catch ?? []) {
|
|
102
|
+
if (typeof c.onError !== 'string' || !isRevoErrorCode(c.onError)) {
|
|
103
|
+
d.error('CATCH_BAD_CODE', `node ${node.id} catch onError "${c.onError}" is not a revo.* code`, {
|
|
104
|
+
nodeId: node.id,
|
|
105
|
+
});
|
|
106
|
+
}
|
|
107
|
+
}
|
|
108
|
+
if (policy === 'route' && (node.catch ?? []).length === 0) {
|
|
109
|
+
d.error('FAILURE_ROUTE_NO_CATCH', `node ${node.id} onFailure=route requires a catch`, {
|
|
110
|
+
nodeId: node.id,
|
|
111
|
+
});
|
|
112
|
+
}
|
|
113
|
+
if (policy === 'escalate' && node.escalateTo === undefined) {
|
|
114
|
+
d.error('FAILURE_ESCALATE_NO_TARGET', `node ${node.id} onFailure=escalate requires escalateTo`, {
|
|
115
|
+
nodeId: node.id,
|
|
116
|
+
});
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
//# sourceMappingURL=validate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/pipeline-core/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,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;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAG1D,MAAM,eAAe,GAAG,eAAe,CAAC;AAExC,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF,kFAAkF;AAClF,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,qGAAqG;IACrG,wEAAwE;IACxE,MAAM,UAAU,GAAa,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEpD,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,gDAAgD;IAC9E,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,CAAC,qCAAqC;IAC1E,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,CAAC,iCAAiC;IACnE,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB;IAChD,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,CAAC,8BAA8B;IAEhE,OAAO,CAAC,CAAC,KAAK,CAAC;AACjB,CAAC;AAED,gFAAgF;AAChF,kCAAkC;AAClC,gFAAgF;AAEhF,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;AAED,sGAAsG;AACtG,SAAS,mBAAmB,CAAC,GAAW,EAAE,IAAsB,EAAE,IAAiB,EAAE,CAAW;IAC9F,+FAA+F;IAC/F,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;AAED,wGAAwG;AACxG,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,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAEhF,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;AAED,0GAA0G;AAC1G,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"}
|
|
@@ -2,6 +2,7 @@ import { existsSync, readFileSync } from 'node:fs';
|
|
|
2
2
|
import { PlaybookError } from './errors.js';
|
|
3
3
|
import { resolvePathInside } from './source-resolver.js';
|
|
4
4
|
const MODEL_LEVELS = new Set(['cheap', 'standard', 'deep']);
|
|
5
|
+
const PRODUCTION_BLOCKED_RUNNERS = new Set(['stub-agent']);
|
|
5
6
|
function asRecord(value, context) {
|
|
6
7
|
if (value && typeof value === 'object' && !Array.isArray(value))
|
|
7
8
|
return value;
|
|
@@ -13,6 +14,9 @@ function stringField(record, key, context) {
|
|
|
13
14
|
return value;
|
|
14
15
|
throw new PlaybookError('PLAYBOOK_INVALID_CATALOG', `${context}.${key} must be a non-empty string`);
|
|
15
16
|
}
|
|
17
|
+
function normalizedStringField(record, key, context) {
|
|
18
|
+
return stringField(record, key, context).trim();
|
|
19
|
+
}
|
|
16
20
|
function stringArrayField(record, key, context) {
|
|
17
21
|
const value = record[key];
|
|
18
22
|
if (Array.isArray(value) && value.every((v) => typeof v === 'string'))
|
|
@@ -77,12 +81,21 @@ function parseRole(value, index, root) {
|
|
|
77
81
|
if (!existsSync(resolvedPath)) {
|
|
78
82
|
throw new PlaybookError('PLAYBOOK_INVALID_CATALOG', `${context}.path does not exist: ${path}`);
|
|
79
83
|
}
|
|
84
|
+
const runnerId = normalizedStringField(record, 'runner_id', context);
|
|
85
|
+
if (PRODUCTION_BLOCKED_RUNNERS.has(runnerId)) {
|
|
86
|
+
throw new PlaybookError('PLAYBOOK_INVALID_CATALOG', `${context}.runner_id must not be ${runnerId}; use an execution profile override for test stubs`);
|
|
87
|
+
}
|
|
88
|
+
const id = stringField(record, 'id', context);
|
|
80
89
|
return {
|
|
81
|
-
id
|
|
90
|
+
id,
|
|
82
91
|
path,
|
|
83
92
|
surface: stringField(record, 'surface', context),
|
|
84
93
|
rights: stringField(record, 'rights', context),
|
|
94
|
+
// allowedTools is DATA the role declares directly (no rights→tools table in code). A role's
|
|
95
|
+
// `rights` label remains a human-facing descriptor; the executable tool list is `allowed_tools`.
|
|
96
|
+
allowedTools: stringArrayField(record, 'allowed_tools', context),
|
|
85
97
|
defaultModelLevel: modelLevel,
|
|
98
|
+
runnerId,
|
|
86
99
|
wrappers: optionalRecord(record, 'wrappers'),
|
|
87
100
|
};
|
|
88
101
|
}
|
|
@@ -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;AAoCzD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5D,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,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,UAAU,CAAC,EAAE,CAAC;QAClC,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,4FAA4F;QAC5F,iGAAiG;QACjG,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,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,EAAE,MAAM,CAAC,gBAAgB,IAAI,EAAE;KAC/C,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,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACvC,4BAA4B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC9B,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"}
|