oh-my-super-agent 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.agents/agents/advisor.md +15 -0
- package/.agents/agents/conductor.md +32 -0
- package/.agents/agents/dreamer.md +13 -0
- package/.agents/agents/executor.md +17 -0
- package/.agents/agents/grader.md +15 -0
- package/.agents/config/endurance-policy.json +8 -0
- package/.agents/config/oms-config.json +119 -0
- package/.agents/config/release-policy.json +12 -0
- package/.agents/config/secret-scan-policy.json +7 -0
- package/.agents/config/verification-plan.json +33 -0
- package/.agents/registry.json +11 -0
- package/.agents/rules/constitution.md +7 -0
- package/.agents/skills/conductor/SKILL.md +23 -0
- package/.agents/skills/dream/SKILL.md +14 -0
- package/.agents/skills/executor/SKILL.md +13 -0
- package/.agents/skills/oms/SKILL.md +52 -0
- package/.agents/skills/quota-aware/SKILL.md +12 -0
- package/.agents/skills/schedule/SKILL.md +13 -0
- package/.agents/skills/team-protocol/SKILL.md +20 -0
- package/LICENSE +21 -0
- package/README.md +146 -0
- package/dist/src/audit/run-ledger.d.ts +183 -0
- package/dist/src/audit/run-ledger.js +1655 -0
- package/dist/src/audit/run-ledger.js.map +1 -0
- package/dist/src/cli.d.ts +61 -0
- package/dist/src/cli.js +2096 -0
- package/dist/src/cli.js.map +1 -0
- package/dist/src/commands/github-queue-probe.d.ts +26 -0
- package/dist/src/commands/github-queue-probe.js +51 -0
- package/dist/src/commands/github-queue-probe.js.map +1 -0
- package/dist/src/commands/trace-fixture.d.ts +20 -0
- package/dist/src/commands/trace-fixture.js +72 -0
- package/dist/src/commands/trace-fixture.js.map +1 -0
- package/dist/src/conductor/activity.d.ts +46 -0
- package/dist/src/conductor/activity.js +224 -0
- package/dist/src/conductor/activity.js.map +1 -0
- package/dist/src/conductor/bridge.d.ts +53 -0
- package/dist/src/conductor/bridge.js +652 -0
- package/dist/src/conductor/bridge.js.map +1 -0
- package/dist/src/conductor/notifications.d.ts +59 -0
- package/dist/src/conductor/notifications.js +381 -0
- package/dist/src/conductor/notifications.js.map +1 -0
- package/dist/src/conductor/recovery.d.ts +29 -0
- package/dist/src/conductor/recovery.js +198 -0
- package/dist/src/conductor/recovery.js.map +1 -0
- package/dist/src/conductor/start.d.ts +73 -0
- package/dist/src/conductor/start.js +519 -0
- package/dist/src/conductor/start.js.map +1 -0
- package/dist/src/conductor/waiter.d.ts +88 -0
- package/dist/src/conductor/waiter.js +427 -0
- package/dist/src/conductor/waiter.js.map +1 -0
- package/dist/src/config.d.ts +9 -0
- package/dist/src/config.js +40 -0
- package/dist/src/config.js.map +1 -0
- package/dist/src/dispatch/advice-source.d.ts +61 -0
- package/dist/src/dispatch/advice-source.js +198 -0
- package/dist/src/dispatch/advice-source.js.map +1 -0
- package/dist/src/dispatch/advice-store.d.ts +41 -0
- package/dist/src/dispatch/advice-store.js +201 -0
- package/dist/src/dispatch/advice-store.js.map +1 -0
- package/dist/src/dispatch/advice.d.ts +34 -0
- package/dist/src/dispatch/advice.js +371 -0
- package/dist/src/dispatch/advice.js.map +1 -0
- package/dist/src/dispatch/authority.d.ts +124 -0
- package/dist/src/dispatch/authority.js +1202 -0
- package/dist/src/dispatch/authority.js.map +1 -0
- package/dist/src/dispatch/intent.d.ts +66 -0
- package/dist/src/dispatch/intent.js +71 -0
- package/dist/src/dispatch/intent.js.map +1 -0
- package/dist/src/dispatch/runtime-authority.d.ts +42 -0
- package/dist/src/dispatch/runtime-authority.js +52 -0
- package/dist/src/dispatch/runtime-authority.js.map +1 -0
- package/dist/src/doctor.d.ts +20 -0
- package/dist/src/doctor.js +85 -0
- package/dist/src/doctor.js.map +1 -0
- package/dist/src/domain/records.d.ts +44 -0
- package/dist/src/domain/records.js +138 -0
- package/dist/src/domain/records.js.map +1 -0
- package/dist/src/domain/role-policy.d.ts +67 -0
- package/dist/src/domain/role-policy.js +547 -0
- package/dist/src/domain/role-policy.js.map +1 -0
- package/dist/src/events/bus.d.ts +32 -0
- package/dist/src/events/bus.js +115 -0
- package/dist/src/events/bus.js.map +1 -0
- package/dist/src/events/kinds.d.ts +126 -0
- package/dist/src/events/kinds.js +14 -0
- package/dist/src/events/kinds.js.map +1 -0
- package/dist/src/evidence/immutable-file.d.ts +12 -0
- package/dist/src/evidence/immutable-file.js +141 -0
- package/dist/src/evidence/immutable-file.js.map +1 -0
- package/dist/src/evidence/store.d.ts +125 -0
- package/dist/src/evidence/store.js +1189 -0
- package/dist/src/evidence/store.js.map +1 -0
- package/dist/src/evidence/verdict.d.ts +17 -0
- package/dist/src/evidence/verdict.js +23 -0
- package/dist/src/evidence/verdict.js.map +1 -0
- package/dist/src/generation/agent.d.ts +5 -0
- package/dist/src/generation/agent.js +34 -0
- package/dist/src/generation/agent.js.map +1 -0
- package/dist/src/generation/frontmatter.d.ts +7 -0
- package/dist/src/generation/frontmatter.js +33 -0
- package/dist/src/generation/frontmatter.js.map +1 -0
- package/dist/src/github/adapter.d.ts +44 -0
- package/dist/src/github/adapter.js +592 -0
- package/dist/src/github/adapter.js.map +1 -0
- package/dist/src/github/dispatch-eligibility.d.ts +9 -0
- package/dist/src/github/dispatch-eligibility.js +94 -0
- package/dist/src/github/dispatch-eligibility.js.map +1 -0
- package/dist/src/github/projector.d.ts +23 -0
- package/dist/src/github/projector.js +181 -0
- package/dist/src/github/projector.js.map +1 -0
- package/dist/src/github/review.d.ts +39 -0
- package/dist/src/github/review.js +1450 -0
- package/dist/src/github/review.js.map +1 -0
- package/dist/src/github/sync.d.ts +21 -0
- package/dist/src/github/sync.js +518 -0
- package/dist/src/github/sync.js.map +1 -0
- package/dist/src/github/types.d.ts +134 -0
- package/dist/src/github/types.js +11 -0
- package/dist/src/github/types.js.map +1 -0
- package/dist/src/goals/artifact-store.d.ts +31 -0
- package/dist/src/goals/artifact-store.js +241 -0
- package/dist/src/goals/artifact-store.js.map +1 -0
- package/dist/src/goals/authority.d.ts +112 -0
- package/dist/src/goals/authority.js +621 -0
- package/dist/src/goals/authority.js.map +1 -0
- package/dist/src/goals/native-snapshot.d.ts +12 -0
- package/dist/src/goals/native-snapshot.js +53 -0
- package/dist/src/goals/native-snapshot.js.map +1 -0
- package/dist/src/goals/runtime-authority.d.ts +7 -0
- package/dist/src/goals/runtime-authority.js +20 -0
- package/dist/src/goals/runtime-authority.js.map +1 -0
- package/dist/src/health/release-assessment.d.ts +11 -0
- package/dist/src/health/release-assessment.js +83 -0
- package/dist/src/health/release-assessment.js.map +1 -0
- package/dist/src/health/release-policy.d.ts +16 -0
- package/dist/src/health/release-policy.js +40 -0
- package/dist/src/health/release-policy.js.map +1 -0
- package/dist/src/hooks/native.d.ts +30 -0
- package/dist/src/hooks/native.js +495 -0
- package/dist/src/hooks/native.js.map +1 -0
- package/dist/src/hooks/provider-runtime.d.ts +55 -0
- package/dist/src/hooks/provider-runtime.js +479 -0
- package/dist/src/hooks/provider-runtime.js.map +1 -0
- package/dist/src/hooks/provider.d.ts +102 -0
- package/dist/src/hooks/provider.js +358 -0
- package/dist/src/hooks/provider.js.map +1 -0
- package/dist/src/live/contact-journal.d.ts +73 -0
- package/dist/src/live/contact-journal.js +439 -0
- package/dist/src/live/contact-journal.js.map +1 -0
- package/dist/src/live-probes/gh-adapter.d.ts +28 -0
- package/dist/src/live-probes/gh-adapter.js +188 -0
- package/dist/src/live-probes/gh-adapter.js.map +1 -0
- package/dist/src/live-probes/github-queue.d.ts +1 -0
- package/dist/src/live-probes/github-queue.js +2 -0
- package/dist/src/live-probes/github-queue.js.map +1 -0
- package/dist/src/notifications/slack-request.d.ts +13 -0
- package/dist/src/notifications/slack-request.js +40 -0
- package/dist/src/notifications/slack-request.js.map +1 -0
- package/dist/src/outbox/processor.d.ts +27 -0
- package/dist/src/outbox/processor.js +63 -0
- package/dist/src/outbox/processor.js.map +1 -0
- package/dist/src/outbox/store.d.ts +158 -0
- package/dist/src/outbox/store.js +834 -0
- package/dist/src/outbox/store.js.map +1 -0
- package/dist/src/package-root.d.ts +1 -0
- package/dist/src/package-root.js +26 -0
- package/dist/src/package-root.js.map +1 -0
- package/dist/src/project.d.ts +12 -0
- package/dist/src/project.js +60 -0
- package/dist/src/project.js.map +1 -0
- package/dist/src/projection/generated-file.d.ts +15 -0
- package/dist/src/projection/generated-file.js +72 -0
- package/dist/src/projection/generated-file.js.map +1 -0
- package/dist/src/projection/project-workspace.d.ts +11 -0
- package/dist/src/projection/project-workspace.js +94 -0
- package/dist/src/projection/project-workspace.js.map +1 -0
- package/dist/src/projection/registry.d.ts +15 -0
- package/dist/src/projection/registry.js +59 -0
- package/dist/src/projection/registry.js.map +1 -0
- package/dist/src/projection/safe-path.d.ts +4 -0
- package/dist/src/projection/safe-path.js +106 -0
- package/dist/src/projection/safe-path.js.map +1 -0
- package/dist/src/providers/claude-interactive.d.ts +38 -0
- package/dist/src/providers/claude-interactive.js +287 -0
- package/dist/src/providers/claude-interactive.js.map +1 -0
- package/dist/src/providers/claude-structured-bridge.d.ts +32 -0
- package/dist/src/providers/claude-structured-bridge.js +215 -0
- package/dist/src/providers/claude-structured-bridge.js.map +1 -0
- package/dist/src/providers/claude-structured-completion.d.ts +23 -0
- package/dist/src/providers/claude-structured-completion.js +229 -0
- package/dist/src/providers/claude-structured-completion.js.map +1 -0
- package/dist/src/providers/claude-structured-pane.d.ts +23 -0
- package/dist/src/providers/claude-structured-pane.js +156 -0
- package/dist/src/providers/claude-structured-pane.js.map +1 -0
- package/dist/src/providers/claude-structured-store.d.ts +48 -0
- package/dist/src/providers/claude-structured-store.js +212 -0
- package/dist/src/providers/claude-structured-store.js.map +1 -0
- package/dist/src/providers/claude-structured.d.ts +56 -0
- package/dist/src/providers/claude-structured.js +250 -0
- package/dist/src/providers/claude-structured.js.map +1 -0
- package/dist/src/providers/codex-exec.d.ts +29 -0
- package/dist/src/providers/codex-exec.js +127 -0
- package/dist/src/providers/codex-exec.js.map +1 -0
- package/dist/src/providers/grading.d.ts +2 -0
- package/dist/src/providers/grading.js +20 -0
- package/dist/src/providers/grading.js.map +1 -0
- package/dist/src/providers/native-dispatch.d.ts +24 -0
- package/dist/src/providers/native-dispatch.js +34 -0
- package/dist/src/providers/native-dispatch.js.map +1 -0
- package/dist/src/providers/preflight.d.ts +65 -0
- package/dist/src/providers/preflight.js +256 -0
- package/dist/src/providers/preflight.js.map +1 -0
- package/dist/src/providers/process.d.ts +18 -0
- package/dist/src/providers/process.js +21 -0
- package/dist/src/providers/process.js.map +1 -0
- package/dist/src/queue/model.d.ts +37 -0
- package/dist/src/queue/model.js +51 -0
- package/dist/src/queue/model.js.map +1 -0
- package/dist/src/queue/service.d.ts +1 -0
- package/dist/src/queue/service.js +2 -0
- package/dist/src/queue/service.js.map +1 -0
- package/dist/src/reflections/store.d.ts +21 -0
- package/dist/src/reflections/store.js +60 -0
- package/dist/src/reflections/store.js.map +1 -0
- package/dist/src/reports/daily-trust.d.ts +11 -0
- package/dist/src/reports/daily-trust.js +98 -0
- package/dist/src/reports/daily-trust.js.map +1 -0
- package/dist/src/runs/controller.d.ts +187 -0
- package/dist/src/runs/controller.js +1182 -0
- package/dist/src/runs/controller.js.map +1 -0
- package/dist/src/runtime/composition.d.ts +9 -0
- package/dist/src/runtime/composition.js +35 -0
- package/dist/src/runtime/composition.js.map +1 -0
- package/dist/src/runtime/endurance-authorities.d.ts +44 -0
- package/dist/src/runtime/endurance-authorities.js +101 -0
- package/dist/src/runtime/endurance-authorities.js.map +1 -0
- package/dist/src/runtime/endurance-policy.d.ts +12 -0
- package/dist/src/runtime/endurance-policy.js +13 -0
- package/dist/src/runtime/endurance-policy.js.map +1 -0
- package/dist/src/runtime/lock.d.ts +63 -0
- package/dist/src/runtime/lock.js +577 -0
- package/dist/src/runtime/lock.js.map +1 -0
- package/dist/src/runtime/process-identity.d.ts +10 -0
- package/dist/src/runtime/process-identity.js +43 -0
- package/dist/src/runtime/process-identity.js.map +1 -0
- package/dist/src/runtime/quota.d.ts +130 -0
- package/dist/src/runtime/quota.js +590 -0
- package/dist/src/runtime/quota.js.map +1 -0
- package/dist/src/runtime/record-store.d.ts +45 -0
- package/dist/src/runtime/record-store.js +272 -0
- package/dist/src/runtime/record-store.js.map +1 -0
- package/dist/src/runtime/schema.d.ts +28 -0
- package/dist/src/runtime/schema.js +194 -0
- package/dist/src/runtime/schema.js.map +1 -0
- package/dist/src/runtime/stable-id.d.ts +3 -0
- package/dist/src/runtime/stable-id.js +27 -0
- package/dist/src/runtime/stable-id.js.map +1 -0
- package/dist/src/runtime/system-clock.d.ts +8 -0
- package/dist/src/runtime/system-clock.js +35 -0
- package/dist/src/runtime/system-clock.js.map +1 -0
- package/dist/src/schedule/service-plan.d.ts +58 -0
- package/dist/src/schedule/service-plan.js +327 -0
- package/dist/src/schedule/service-plan.js.map +1 -0
- package/dist/src/schedule/user-installation.d.ts +62 -0
- package/dist/src/schedule/user-installation.js +701 -0
- package/dist/src/schedule/user-installation.js.map +1 -0
- package/dist/src/schedule/user-plan.d.ts +47 -0
- package/dist/src/schedule/user-plan.js +286 -0
- package/dist/src/schedule/user-plan.js.map +1 -0
- package/dist/src/scheduler/minute.d.ts +31 -0
- package/dist/src/scheduler/minute.js +441 -0
- package/dist/src/scheduler/minute.js.map +1 -0
- package/dist/src/schemas/registry.d.ts +10 -0
- package/dist/src/schemas/registry.js +36 -0
- package/dist/src/schemas/registry.js.map +1 -0
- package/dist/src/security/secret-scan.d.ts +50 -0
- package/dist/src/security/secret-scan.js +384 -0
- package/dist/src/security/secret-scan.js.map +1 -0
- package/dist/src/sessions/registry.d.ts +89 -0
- package/dist/src/sessions/registry.js +443 -0
- package/dist/src/sessions/registry.js.map +1 -0
- package/dist/src/state.d.ts +27 -0
- package/dist/src/state.js +235 -0
- package/dist/src/state.js.map +1 -0
- package/dist/src/status/hud.d.ts +37 -0
- package/dist/src/status/hud.js +88 -0
- package/dist/src/status/hud.js.map +1 -0
- package/dist/src/team/plan.d.ts +31 -0
- package/dist/src/team/plan.js +184 -0
- package/dist/src/team/plan.js.map +1 -0
- package/dist/src/team/projection.d.ts +24 -0
- package/dist/src/team/projection.js +79 -0
- package/dist/src/team/projection.js.map +1 -0
- package/dist/src/tickets/admission.d.ts +34 -0
- package/dist/src/tickets/admission.js +169 -0
- package/dist/src/tickets/admission.js.map +1 -0
- package/dist/src/tickets/materializer.d.ts +1 -0
- package/dist/src/tickets/materializer.js +2 -0
- package/dist/src/tickets/materializer.js.map +1 -0
- package/dist/src/tickets/runtime-authority.d.ts +32 -0
- package/dist/src/tickets/runtime-authority.js +46 -0
- package/dist/src/tickets/runtime-authority.js.map +1 -0
- package/dist/src/tickets/store.d.ts +221 -0
- package/dist/src/tickets/store.js +2025 -0
- package/dist/src/tickets/store.js.map +1 -0
- package/dist/src/tracer/one-ticket.d.ts +58 -0
- package/dist/src/tracer/one-ticket.js +578 -0
- package/dist/src/tracer/one-ticket.js.map +1 -0
- package/dist/src/trust/assessment.d.ts +24 -0
- package/dist/src/trust/assessment.js +124 -0
- package/dist/src/trust/assessment.js.map +1 -0
- package/dist/src/trust/runs.d.ts +13 -0
- package/dist/src/trust/runs.js +46 -0
- package/dist/src/trust/runs.js.map +1 -0
- package/dist/src/types.d.ts +6 -0
- package/dist/src/types.js +2 -0
- package/dist/src/types.js.map +1 -0
- package/dist/src/utils/fs.d.ts +13 -0
- package/dist/src/utils/fs.js +188 -0
- package/dist/src/utils/fs.js.map +1 -0
- package/dist/src/verification/authority.d.ts +28 -0
- package/dist/src/verification/authority.js +153 -0
- package/dist/src/verification/authority.js.map +1 -0
- package/dist/src/verification/grade-source.d.ts +17 -0
- package/dist/src/verification/grade-source.js +30 -0
- package/dist/src/verification/grade-source.js.map +1 -0
- package/dist/src/verification/plan.d.ts +20 -0
- package/dist/src/verification/plan.js +128 -0
- package/dist/src/verification/plan.js.map +1 -0
- package/dist/src/verification/protected-runner.d.ts +50 -0
- package/dist/src/verification/protected-runner.js +171 -0
- package/dist/src/verification/protected-runner.js.map +1 -0
- package/dist/src/verification/result-gate-store.d.ts +72 -0
- package/dist/src/verification/result-gate-store.js +193 -0
- package/dist/src/verification/result-gate-store.js.map +1 -0
- package/dist/src/verification/result-gate.d.ts +41 -0
- package/dist/src/verification/result-gate.js +731 -0
- package/dist/src/verification/result-gate.js.map +1 -0
- package/dist/src/verification/runner.d.ts +38 -0
- package/dist/src/verification/runner.js +143 -0
- package/dist/src/verification/runner.js.map +1 -0
- package/dist/src/verification/sandbox.d.ts +16 -0
- package/dist/src/verification/sandbox.js +199 -0
- package/dist/src/verification/sandbox.js.map +1 -0
- package/dist/src/verify.d.ts +8 -0
- package/dist/src/verify.js +35 -0
- package/dist/src/verify.js.map +1 -0
- package/dist/src/watchdog/reconcile.d.ts +42 -0
- package/dist/src/watchdog/reconcile.js +440 -0
- package/dist/src/watchdog/reconcile.js.map +1 -0
- package/dist/src/workers/bridge.d.ts +35 -0
- package/dist/src/workers/bridge.js +426 -0
- package/dist/src/workers/bridge.js.map +1 -0
- package/dist/src/workers/delivery.d.ts +31 -0
- package/dist/src/workers/delivery.js +876 -0
- package/dist/src/workers/delivery.js.map +1 -0
- package/dist/src/workers/panes.d.ts +32 -0
- package/dist/src/workers/panes.js +212 -0
- package/dist/src/workers/panes.js.map +1 -0
- package/dist/src/workers/registry.d.ts +80 -0
- package/dist/src/workers/registry.js +351 -0
- package/dist/src/workers/registry.js.map +1 -0
- package/dist/src/workers/runtime.d.ts +44 -0
- package/dist/src/workers/runtime.js +21 -0
- package/dist/src/workers/runtime.js.map +1 -0
- package/dist/src/worktrees/manager.d.ts +35 -0
- package/dist/src/worktrees/manager.js +315 -0
- package/dist/src/worktrees/manager.js.map +1 -0
- package/docs/ARCHITECTURE.md +323 -0
- package/docs/PLAN.md +216 -0
- package/docs/REFERENCES.md +42 -0
- package/docs/ROADMAP.md +327 -0
- package/docs/SECURITY.md +242 -0
- package/docs/adr/0001-tracer-first-file-backed-certification.md +41 -0
- package/docs/adr/0002-conductor-first-typed-dispatch.md +102 -0
- package/docs/adr/0003-mandatory-pre-dispatch-advice.md +59 -0
- package/docs/compatibility/claude-code-2.1.207.md +25 -0
- package/loop/contract.md +102 -0
- package/package.json +54 -0
- package/schemas/advisor-evidence.schema.json +54 -0
- package/schemas/advisor-output.schema.json +31 -0
- package/schemas/conductor-activity-payload.schema.json +38 -0
- package/schemas/conductor-decision.schema.json +29 -0
- package/schemas/conductor-dispatch-intent.schema.json +71 -0
- package/schemas/conductor-dispatch-preparation.schema.json +46 -0
- package/schemas/conductor-dispatch-proposal.schema.json +82 -0
- package/schemas/conductor-goal-proposal.schema.json +30 -0
- package/schemas/conductor-manage-worker.schema.json +17 -0
- package/schemas/conductor-notification-payload.schema.json +39 -0
- package/schemas/conductor-process-result.schema.json +14 -0
- package/schemas/conductor-route.schema.json +51 -0
- package/schemas/conductor-start-team.schema.json +16 -0
- package/schemas/conductor-waiter-payload.schema.json +68 -0
- package/schemas/deterministic-check.schema.json +107 -0
- package/schemas/dispatch-acknowledgement.schema.json +15 -0
- package/schemas/dispatch-advice-payload.schema.json +64 -0
- package/schemas/dispatch-payload.schema.json +131 -0
- package/schemas/dispatch-result.schema.json +28 -0
- package/schemas/endurance-policy.schema.json +16 -0
- package/schemas/events/dispatch-delivery-requested.schema.json +17 -0
- package/schemas/events/github-observed.schema.json +28 -0
- package/schemas/events/native-hook-observed.schema.json +35 -0
- package/schemas/events/provider-observed.schema.json +64 -0
- package/schemas/events/run-heartbeat-due.schema.json +10 -0
- package/schemas/events/slack-notification-requested.schema.json +14 -0
- package/schemas/events/structured-role-completed.schema.json +54 -0
- package/schemas/events/ticket-resume-due.schema.json +28 -0
- package/schemas/events/watchdog-lease-expired.schema.json +14 -0
- package/schemas/events/watchdog-outbox-stalled.schema.json +12 -0
- package/schemas/events/watchdog-session-stalled.schema.json +11 -0
- package/schemas/evidence-record.schema.json +37 -0
- package/schemas/executor-result.schema.json +17 -0
- package/schemas/github-observation.schema.json +33 -0
- package/schemas/github-watermark.schema.json +66 -0
- package/schemas/goal-artifact.schema.json +19 -0
- package/schemas/goal-create-input.schema.json +14 -0
- package/schemas/goal-executor-result.schema.json +18 -0
- package/schemas/goal-payload.schema.json +95 -0
- package/schemas/grader-output.schema.json +33 -0
- package/schemas/lease-expiry.schema.json +19 -0
- package/schemas/live-disclosure.schema.json +16 -0
- package/schemas/live-outcome.schema.json +52 -0
- package/schemas/native-goal-snapshot.schema.json +27 -0
- package/schemas/provider-observed.schema.json +64 -0
- package/schemas/quota-observation.schema.json +72 -0
- package/schemas/reflection-evidence.schema.json +61 -0
- package/schemas/reflection.schema.json +13 -0
- package/schemas/regression-request.schema.json +54 -0
- package/schemas/release-assessment.schema.json +34 -0
- package/schemas/release-policy.schema.json +30 -0
- package/schemas/result-gate-payload.schema.json +244 -0
- package/schemas/review-delivery-payload.schema.json +42 -0
- package/schemas/role-policy.schema.json +111 -0
- package/schemas/run-abort-input.schema.json +11 -0
- package/schemas/run-completion-proof.schema.json +62 -0
- package/schemas/run-ledger-entry.schema.json +78 -0
- package/schemas/run-manifest.schema.json +74 -0
- package/schemas/run-start-intent.schema.json +74 -0
- package/schemas/runtime-record.schema.json +111 -0
- package/schemas/service-plan.schema.json +35 -0
- package/schemas/session-payload.schema.json +80 -0
- package/schemas/structured-role-read-request.schema.json +14 -0
- package/schemas/structured-role-request.schema.json +44 -0
- package/schemas/structured-role-result.schema.json +38 -0
- package/schemas/structured-role-submit-result.schema.json +15 -0
- package/schemas/team-checkpoint.schema.json +42 -0
- package/schemas/team-plan.schema.json +30 -0
- package/schemas/ticket-content.schema.json +38 -0
- package/schemas/ticket-queue-payload.schema.json +191 -0
- package/schemas/trust-report.schema.json +68 -0
- package/schemas/trust-run.schema.json +47 -0
- package/schemas/ultragoal-checkpoint.schema.json +49 -0
- package/schemas/user-schedule-installation-v1.schema.json +32 -0
- package/schemas/user-schedule-installation.schema.json +38 -0
- package/schemas/user-schedule-plan.schema.json +39 -0
- package/schemas/verification-plan-evidence.schema.json +37 -0
- package/schemas/worker-acknowledge-dispatch.schema.json +12 -0
- package/schemas/worker-payload.schema.json +47 -0
- package/schemas/worker-read-dispatch.schema.json +11 -0
- package/schemas/worker-record-dispatch-result.schema.json +14 -0
|
@@ -0,0 +1,578 @@
|
|
|
1
|
+
import { join } from "node:path";
|
|
2
|
+
import { assertActorId, assertOpaqueId } from "../domain/records.js";
|
|
3
|
+
import { assertFileInside, openStableDirectory, writeImmutableFile, } from "../evidence/immutable-file.js";
|
|
4
|
+
import { runProcess } from "../providers/process.js";
|
|
5
|
+
import { canonicalTimestamp } from "../queue/model.js";
|
|
6
|
+
import { createStableId } from "../runtime/stable-id.js";
|
|
7
|
+
import { createRuntimeTicketAuthorities, OMS_SYSTEM_ACTORS, } from "../tickets/runtime-authority.js";
|
|
8
|
+
import { isRecord, validateExistingDirectory } from "../utils/fs.js";
|
|
9
|
+
import { freezeTrackedVerificationPlan } from "../verification/plan.js";
|
|
10
|
+
import { runFrozenVerification } from "../verification/runner.js";
|
|
11
|
+
import { createTicketWorktree } from "../worktrees/manager.js";
|
|
12
|
+
const DEFAULT_LEASE_DURATION_MS = 8 * 60 * 60 * 1_000;
|
|
13
|
+
const MIN_LEASE_DURATION_MS = 60 * 1_000;
|
|
14
|
+
const MAX_LEASE_DURATION_MS = 24 * 60 * 60 * 1_000;
|
|
15
|
+
/**
|
|
16
|
+
* Runs one local ticket through the canonical queue authority. The only
|
|
17
|
+
* executor-facing ticket content is an immutable absolute file path.
|
|
18
|
+
*/
|
|
19
|
+
export function runOneTicketTracer(options) {
|
|
20
|
+
const suppliedPackageRoot = options.packageRoot;
|
|
21
|
+
const suppliedConfigRoot = options.configRoot ?? suppliedPackageRoot;
|
|
22
|
+
const suppliedRepositoryRoot = options.repositoryRoot;
|
|
23
|
+
const suppliedStateRoot = options.stateRoot;
|
|
24
|
+
const suppliedSystemActor = options.systemActor;
|
|
25
|
+
const suppliedWorkerId = options.workerId;
|
|
26
|
+
const suppliedSessionId = options.sessionId;
|
|
27
|
+
const suppliedTicket = options.ticket;
|
|
28
|
+
const clock = options.clock;
|
|
29
|
+
const executor = options.executor;
|
|
30
|
+
const grader = options.grader;
|
|
31
|
+
const gitRunner = options.gitRunner ?? runProcess;
|
|
32
|
+
const verificationRunner = options.verificationRunner ?? runProcess;
|
|
33
|
+
const suppliedEnv = options.env;
|
|
34
|
+
const baseRef = options.baseRef ?? "HEAD";
|
|
35
|
+
const leaseDurationMs = validateLeaseDuration(options.leaseDurationMs ?? DEFAULT_LEASE_DURATION_MS);
|
|
36
|
+
const packageRoot = validateExistingDirectory(suppliedPackageRoot, "package root");
|
|
37
|
+
const configRoot = validateExistingDirectory(suppliedConfigRoot, "configuration root");
|
|
38
|
+
const repositoryRoot = validateExistingDirectory(suppliedRepositoryRoot, "repository root");
|
|
39
|
+
const stateRoot = validateExistingDirectory(suppliedStateRoot, "runtime state root");
|
|
40
|
+
const systemActor = assertActorId(suppliedSystemActor, "tracer system actor");
|
|
41
|
+
if (!isOmsSystemActor(systemActor))
|
|
42
|
+
throw new Error("tracer actor is not a shipped OMS system actor");
|
|
43
|
+
const workerId = assertActorId(suppliedWorkerId, "tracer worker id");
|
|
44
|
+
const sessionId = assertOpaqueId(suppliedSessionId, "tracer session id");
|
|
45
|
+
const ticket = cloneLocalTicket(suppliedTicket);
|
|
46
|
+
const env = suppliedEnv === undefined ? process.env : { ...suppliedEnv };
|
|
47
|
+
if (typeof clock !== "function" || typeof executor !== "function" || typeof grader !== "function") {
|
|
48
|
+
throw new Error("tracer clock, executor, and grader must be functions");
|
|
49
|
+
}
|
|
50
|
+
const authorities = createRuntimeTicketAuthorities({ packageRoot, configRoot, stateRoot, actorId: systemActor });
|
|
51
|
+
const traceOperations = openStableDirectory(join(stateRoot, "trace-operations"), "trace operations root");
|
|
52
|
+
const synchronized = authorities.materializer.syncLocal(ticket);
|
|
53
|
+
let record = synchronized.record;
|
|
54
|
+
if (record.state === "parked" || record.state === "blocked") {
|
|
55
|
+
throw new Error(`one-ticket tracer cannot continue a ${record.state} ticket`);
|
|
56
|
+
}
|
|
57
|
+
if (record.state === "completed") {
|
|
58
|
+
throw new Error("non-certifying tracer cannot continue a completed ticket");
|
|
59
|
+
}
|
|
60
|
+
if (record.state === "verifying"
|
|
61
|
+
&& record.payload.gate_digest !== null
|
|
62
|
+
&& record.payload.verification_plan_ref !== null) {
|
|
63
|
+
const worktree = materializeTracerWorktree({
|
|
64
|
+
repositoryRoot,
|
|
65
|
+
stateRoot,
|
|
66
|
+
record,
|
|
67
|
+
gateDigest: record.payload.gate_digest,
|
|
68
|
+
systemActor,
|
|
69
|
+
baseRef,
|
|
70
|
+
env,
|
|
71
|
+
gitRunner,
|
|
72
|
+
});
|
|
73
|
+
const replay = successfulAuditReplay(authorities.evidenceStore, record, worktree, record.payload.verification_plan_ref);
|
|
74
|
+
if (replay)
|
|
75
|
+
return replay;
|
|
76
|
+
}
|
|
77
|
+
const frozenPlan = freezeTrackedVerificationPlan(configRoot);
|
|
78
|
+
if (record.payload.gate_digest !== null && record.payload.gate_digest !== frozenPlan.digest) {
|
|
79
|
+
throw new Error("ticket verification gate no longer matches the tracked plan");
|
|
80
|
+
}
|
|
81
|
+
const verificationPlan = ensureEvidence(authorities.evidenceStore, {
|
|
82
|
+
schema_version: 1,
|
|
83
|
+
evidence_id: createStableId("trace-plan", record.record_id, frozenPlan.digest),
|
|
84
|
+
evidence_kind: "verification-plan",
|
|
85
|
+
ticket_id: record.record_id,
|
|
86
|
+
producer_role: "oms.conductor",
|
|
87
|
+
created_at: "",
|
|
88
|
+
payload: structuredClone({ plan: frozenPlan.plan, digest: frozenPlan.digest }),
|
|
89
|
+
}, () => nextTimestamp(clock));
|
|
90
|
+
const verificationPlanEvidence = verificationPlan.ref;
|
|
91
|
+
const worktree = materializeTracerWorktree({
|
|
92
|
+
repositoryRoot,
|
|
93
|
+
stateRoot,
|
|
94
|
+
record,
|
|
95
|
+
gateDigest: frozenPlan.digest,
|
|
96
|
+
systemActor,
|
|
97
|
+
baseRef,
|
|
98
|
+
env,
|
|
99
|
+
gitRunner,
|
|
100
|
+
});
|
|
101
|
+
if (record.state === "pending" && record.payload.verification_plan_ref === null) {
|
|
102
|
+
record = authorities.lifecycle.prepare({
|
|
103
|
+
...expectedMutation(record, createStableId("prepare", record.record_id, frozenPlan.digest), systemActor, nextTimestamp(clock)),
|
|
104
|
+
verificationPlanRef: verificationPlanEvidence,
|
|
105
|
+
worktree: { branch: worktree.branch, base_commit: worktree.base_commit },
|
|
106
|
+
}).record;
|
|
107
|
+
}
|
|
108
|
+
else {
|
|
109
|
+
assertPreparedTicket(record, verificationPlanEvidence, worktree);
|
|
110
|
+
}
|
|
111
|
+
if (record.state === "pending" || record.state === "retryable") {
|
|
112
|
+
const leaseAt = nextTimestamp(clock);
|
|
113
|
+
record = authorities.lifecycle.lease({
|
|
114
|
+
...expectedMutation(record, createStableId("lease-op", record.record_id, sessionId, String(record.attempt)), systemActor, leaseAt),
|
|
115
|
+
workerId,
|
|
116
|
+
sessionId,
|
|
117
|
+
leaseExpiresAt: new Date(Date.parse(leaseAt) + leaseDurationMs).toISOString(),
|
|
118
|
+
}).record;
|
|
119
|
+
}
|
|
120
|
+
assertActiveTraceOwner(record, workerId, sessionId);
|
|
121
|
+
if (record.lease_token === null)
|
|
122
|
+
throw new Error("ticket lease did not produce a lease token");
|
|
123
|
+
const leaseToken = record.lease_token;
|
|
124
|
+
if (record.state === "leased") {
|
|
125
|
+
record = authorities.lifecycle.start(expectedMutation(record, createStableId("start-op", record.record_id, leaseToken), workerId, nextTimestamp(clock))).record;
|
|
126
|
+
}
|
|
127
|
+
const executorResult = ensureExecutorEvidence({
|
|
128
|
+
evidenceStore: authorities.evidenceStore,
|
|
129
|
+
record,
|
|
130
|
+
leaseToken,
|
|
131
|
+
clock,
|
|
132
|
+
executor,
|
|
133
|
+
traceOperations,
|
|
134
|
+
request: Object.freeze({
|
|
135
|
+
ticketId: record.record_id,
|
|
136
|
+
ticketContentPath: join(stateRoot, "tickets", synchronized.ref.file_name),
|
|
137
|
+
worktreeRoot: worktree.worktree_root,
|
|
138
|
+
attempt: record.attempt,
|
|
139
|
+
leaseToken,
|
|
140
|
+
}),
|
|
141
|
+
});
|
|
142
|
+
const executorDecision = executorResult.decision;
|
|
143
|
+
const executorEvidence = executorResult.ref;
|
|
144
|
+
if (executorDecision.status !== "done") {
|
|
145
|
+
if (record.state !== "running")
|
|
146
|
+
throw new Error("failed executor evidence is attached to an invalid phase");
|
|
147
|
+
record = authorities.lifecycle.failAttempt({
|
|
148
|
+
...expectedMutation(record, createStableId("executor-fail", record.record_id, leaseToken), workerId, nextTimestamp(clock)),
|
|
149
|
+
error: `executor returned ${executorDecision.status}`,
|
|
150
|
+
executorEvidence,
|
|
151
|
+
}).record;
|
|
152
|
+
return freezeResult(record, worktree, verificationPlanEvidence, executorEvidence, null, null);
|
|
153
|
+
}
|
|
154
|
+
if (record.state === "running") {
|
|
155
|
+
record = authorities.lifecycle.beginVerification({
|
|
156
|
+
...expectedMutation(record, createStableId("begin-verify", record.record_id, leaseToken), workerId, nextTimestamp(clock)),
|
|
157
|
+
executorEvidence,
|
|
158
|
+
}).record;
|
|
159
|
+
}
|
|
160
|
+
else if (record.state === "verifying") {
|
|
161
|
+
assertSameReference(record.payload.executor_evidence, executorEvidence, "executor evidence");
|
|
162
|
+
}
|
|
163
|
+
else {
|
|
164
|
+
throw new Error(`ticket cannot resume verification from ${record.state}`);
|
|
165
|
+
}
|
|
166
|
+
const deterministic = ensureDeterministicEvidence({
|
|
167
|
+
packageRoot,
|
|
168
|
+
evidenceStore: authorities.evidenceStore,
|
|
169
|
+
record,
|
|
170
|
+
leaseToken,
|
|
171
|
+
clock,
|
|
172
|
+
frozenPlan,
|
|
173
|
+
worktreeRoot: worktree.worktree_root,
|
|
174
|
+
env,
|
|
175
|
+
runner: verificationRunner,
|
|
176
|
+
traceOperations,
|
|
177
|
+
});
|
|
178
|
+
const verification = deterministic.verification;
|
|
179
|
+
const deterministicEvidence = deterministic.ref;
|
|
180
|
+
if (!verification.passed) {
|
|
181
|
+
record = authorities.lifecycle.failAttempt({
|
|
182
|
+
...expectedMutation(record, createStableId("verify-fail", record.record_id, leaseToken), workerId, nextTimestamp(clock)),
|
|
183
|
+
error: `deterministic verification failed at ${verification.failed_step ?? "unknown"}`,
|
|
184
|
+
executorEvidence,
|
|
185
|
+
verificationEvidence: deterministicEvidence,
|
|
186
|
+
}).record;
|
|
187
|
+
return freezeResult(record, worktree, verificationPlanEvidence, executorEvidence, deterministicEvidence, null);
|
|
188
|
+
}
|
|
189
|
+
const grade = ensureGraderEvidence({
|
|
190
|
+
evidenceStore: authorities.evidenceStore,
|
|
191
|
+
record,
|
|
192
|
+
deterministicEvidence,
|
|
193
|
+
worktreeRoot: worktree.worktree_root,
|
|
194
|
+
clock,
|
|
195
|
+
grader,
|
|
196
|
+
traceOperations,
|
|
197
|
+
});
|
|
198
|
+
const graderDecision = grade.decision;
|
|
199
|
+
const graderEvidence = grade.ref;
|
|
200
|
+
if (graderDecision.verdict !== "pass") {
|
|
201
|
+
record = authorities.lifecycle.failAttempt({
|
|
202
|
+
...expectedMutation(record, createStableId("grade-fail", record.record_id, leaseToken), workerId, nextTimestamp(clock)),
|
|
203
|
+
error: "cross-engine grader rejected the attempt",
|
|
204
|
+
executorEvidence,
|
|
205
|
+
verificationEvidence: deterministicEvidence,
|
|
206
|
+
gradeEvidence: graderEvidence,
|
|
207
|
+
}).record;
|
|
208
|
+
return freezeResult(record, worktree, verificationPlanEvidence, executorEvidence, deterministicEvidence, graderEvidence);
|
|
209
|
+
}
|
|
210
|
+
// This tracer is intentionally non-certifying. It proves the local flow but
|
|
211
|
+
// leaves the ticket in verifying so only the protected live result gate can
|
|
212
|
+
// produce canonical completion.
|
|
213
|
+
return freezeResult(record, worktree, verificationPlanEvidence, executorEvidence, deterministicEvidence, graderEvidence);
|
|
214
|
+
}
|
|
215
|
+
function materializeTracerWorktree(options) {
|
|
216
|
+
return createTicketWorktree({
|
|
217
|
+
repositoryRoot: options.repositoryRoot,
|
|
218
|
+
worktreesRoot: join(options.stateRoot, "worktrees"),
|
|
219
|
+
recordsRoot: join(options.stateRoot, "worktree-records"),
|
|
220
|
+
locksRoot: join(options.stateRoot, "locks"),
|
|
221
|
+
ticketId: options.record.record_id,
|
|
222
|
+
actorId: options.systemActor,
|
|
223
|
+
transitionNonce: createStableId("worktree", options.record.record_id, options.gateDigest),
|
|
224
|
+
baseRef: options.baseRef,
|
|
225
|
+
env: options.env,
|
|
226
|
+
runner: options.gitRunner,
|
|
227
|
+
}).record;
|
|
228
|
+
}
|
|
229
|
+
function isOmsSystemActor(value) {
|
|
230
|
+
return OMS_SYSTEM_ACTORS.includes(value);
|
|
231
|
+
}
|
|
232
|
+
function ensureExecutorEvidence(options) {
|
|
233
|
+
const evidenceId = createStableId("trace-executor", options.record.record_id, String(options.record.attempt), options.leaseToken);
|
|
234
|
+
const existing = findEvidence(options.evidenceStore, "executor-result", evidenceId);
|
|
235
|
+
if (existing) {
|
|
236
|
+
const stored = options.evidenceStore.read(existing);
|
|
237
|
+
assertAttemptEvidence(stored, options.record, options.leaseToken, "executor");
|
|
238
|
+
return {
|
|
239
|
+
ref: existing,
|
|
240
|
+
decision: parseExecutorDecision({ status: stored.payload.status, summary: stored.payload.summary }),
|
|
241
|
+
};
|
|
242
|
+
}
|
|
243
|
+
beginTraceOperation({
|
|
244
|
+
directory: options.traceOperations,
|
|
245
|
+
kind: "executor",
|
|
246
|
+
evidenceId,
|
|
247
|
+
ticketId: options.record.record_id,
|
|
248
|
+
attempt: options.record.attempt,
|
|
249
|
+
leaseToken: options.leaseToken,
|
|
250
|
+
identityParts: [
|
|
251
|
+
options.request.ticketContentPath,
|
|
252
|
+
options.request.worktreeRoot,
|
|
253
|
+
String(options.request.attempt),
|
|
254
|
+
options.request.leaseToken,
|
|
255
|
+
],
|
|
256
|
+
});
|
|
257
|
+
const decision = invokeExecutor(options.executor, options.request);
|
|
258
|
+
const written = ensureEvidence(options.evidenceStore, {
|
|
259
|
+
schema_version: 1,
|
|
260
|
+
evidence_id: evidenceId,
|
|
261
|
+
evidence_kind: "executor-result",
|
|
262
|
+
ticket_id: options.record.record_id,
|
|
263
|
+
producer_role: "oms.ticket-executor",
|
|
264
|
+
created_at: "",
|
|
265
|
+
payload: {
|
|
266
|
+
status: decision.status,
|
|
267
|
+
ticket_id: options.record.record_id,
|
|
268
|
+
attempt: options.record.attempt,
|
|
269
|
+
lease_token: options.leaseToken,
|
|
270
|
+
summary: decision.summary,
|
|
271
|
+
},
|
|
272
|
+
}, () => nextTimestamp(options.clock));
|
|
273
|
+
return { ref: written.ref, decision };
|
|
274
|
+
}
|
|
275
|
+
function ensureDeterministicEvidence(options) {
|
|
276
|
+
const evidenceId = createStableId("trace-check", options.record.record_id, String(options.record.attempt), options.leaseToken);
|
|
277
|
+
const existing = findEvidence(options.evidenceStore, "deterministic-check", evidenceId);
|
|
278
|
+
if (existing) {
|
|
279
|
+
const stored = options.evidenceStore.read(existing);
|
|
280
|
+
assertAttemptEvidence(stored, options.record, options.leaseToken, "deterministic");
|
|
281
|
+
if (stored.payload.certification !== "non-certifying"
|
|
282
|
+
|| stored.payload.policy_version !== options.record.payload.policy_version
|
|
283
|
+
|| stored.payload.policy_digest !== options.record.payload.policy_digest
|
|
284
|
+
|| stored.payload.plan_digest !== options.frozenPlan.digest) {
|
|
285
|
+
throw new Error("stored deterministic evidence does not match the tracer policy or gate");
|
|
286
|
+
}
|
|
287
|
+
return { ref: existing, verification: verificationFromEvidence(stored) };
|
|
288
|
+
}
|
|
289
|
+
beginTraceOperation({
|
|
290
|
+
directory: options.traceOperations,
|
|
291
|
+
kind: "verification",
|
|
292
|
+
evidenceId,
|
|
293
|
+
ticketId: options.record.record_id,
|
|
294
|
+
attempt: options.record.attempt,
|
|
295
|
+
leaseToken: options.leaseToken,
|
|
296
|
+
identityParts: [
|
|
297
|
+
options.frozenPlan.digest,
|
|
298
|
+
options.worktreeRoot,
|
|
299
|
+
String(options.record.payload.policy_version),
|
|
300
|
+
options.record.payload.policy_digest,
|
|
301
|
+
],
|
|
302
|
+
});
|
|
303
|
+
const verification = runFrozenVerification({
|
|
304
|
+
packageRoot: options.packageRoot,
|
|
305
|
+
frozenPlan: options.frozenPlan,
|
|
306
|
+
worktreeRoot: options.worktreeRoot,
|
|
307
|
+
env: options.env,
|
|
308
|
+
runner: options.runner,
|
|
309
|
+
});
|
|
310
|
+
const written = ensureEvidence(options.evidenceStore, {
|
|
311
|
+
schema_version: 1,
|
|
312
|
+
evidence_id: evidenceId,
|
|
313
|
+
evidence_kind: "deterministic-check",
|
|
314
|
+
ticket_id: options.record.record_id,
|
|
315
|
+
producer_role: "oms.verifier",
|
|
316
|
+
created_at: "",
|
|
317
|
+
payload: {
|
|
318
|
+
schema_version: 1,
|
|
319
|
+
certification: "non-certifying",
|
|
320
|
+
policy_version: options.record.payload.policy_version,
|
|
321
|
+
policy_digest: options.record.payload.policy_digest,
|
|
322
|
+
plan_digest: verification.plan_digest,
|
|
323
|
+
attempt: options.record.attempt,
|
|
324
|
+
lease_token: options.leaseToken,
|
|
325
|
+
passed: verification.passed,
|
|
326
|
+
failed_step: verification.failed_step,
|
|
327
|
+
steps: verification.steps.map((step) => ({ ...step })),
|
|
328
|
+
},
|
|
329
|
+
}, () => nextTimestamp(options.clock));
|
|
330
|
+
return { ref: written.ref, verification };
|
|
331
|
+
}
|
|
332
|
+
function ensureGraderEvidence(options) {
|
|
333
|
+
const evidenceId = createStableId("trace-grade", options.deterministicEvidence.evidence_id, options.deterministicEvidence.sha256);
|
|
334
|
+
const existing = findEvidence(options.evidenceStore, "grader-output", evidenceId);
|
|
335
|
+
if (existing) {
|
|
336
|
+
const stored = options.evidenceStore.read(existing);
|
|
337
|
+
if (stored.ticket_id !== options.record.record_id)
|
|
338
|
+
throw new Error("stored grader evidence belongs to another ticket");
|
|
339
|
+
return {
|
|
340
|
+
ref: existing,
|
|
341
|
+
decision: parseGraderDecision({
|
|
342
|
+
verdict: stored.payload.verdict,
|
|
343
|
+
summary: stored.payload.summary,
|
|
344
|
+
...(stored.payload.failures === undefined ? {} : { failures: stored.payload.failures }),
|
|
345
|
+
}),
|
|
346
|
+
};
|
|
347
|
+
}
|
|
348
|
+
if (options.record.lease_token === null)
|
|
349
|
+
throw new Error("grader operation requires the active ticket lease");
|
|
350
|
+
beginTraceOperation({
|
|
351
|
+
directory: options.traceOperations,
|
|
352
|
+
kind: "grader",
|
|
353
|
+
evidenceId,
|
|
354
|
+
ticketId: options.record.record_id,
|
|
355
|
+
attempt: options.record.attempt,
|
|
356
|
+
leaseToken: options.record.lease_token,
|
|
357
|
+
identityParts: [
|
|
358
|
+
options.deterministicEvidence.evidence_id,
|
|
359
|
+
options.deterministicEvidence.sha256,
|
|
360
|
+
options.deterministicEvidence.file_name,
|
|
361
|
+
options.worktreeRoot,
|
|
362
|
+
],
|
|
363
|
+
});
|
|
364
|
+
const decision = invokeGrader(options.grader, Object.freeze({
|
|
365
|
+
ticketId: options.record.record_id,
|
|
366
|
+
worktreeRoot: options.worktreeRoot,
|
|
367
|
+
attempt: options.record.attempt,
|
|
368
|
+
deterministicEvidence: Object.freeze({ ...options.deterministicEvidence }),
|
|
369
|
+
deterministicEvidencePath: options.evidenceStore.absolutePath(options.deterministicEvidence),
|
|
370
|
+
}));
|
|
371
|
+
const written = ensureEvidence(options.evidenceStore, {
|
|
372
|
+
schema_version: 1,
|
|
373
|
+
evidence_id: evidenceId,
|
|
374
|
+
evidence_kind: "grader-output",
|
|
375
|
+
ticket_id: options.record.record_id,
|
|
376
|
+
producer_role: "oms.grader.codex",
|
|
377
|
+
created_at: "",
|
|
378
|
+
payload: {
|
|
379
|
+
verdict: decision.verdict,
|
|
380
|
+
summary: decision.summary,
|
|
381
|
+
deterministic_evidence: options.deterministicEvidence,
|
|
382
|
+
...(decision.failures === undefined ? {} : { failures: [...decision.failures] }),
|
|
383
|
+
},
|
|
384
|
+
}, () => nextTimestamp(options.clock));
|
|
385
|
+
return { ref: written.ref, decision };
|
|
386
|
+
}
|
|
387
|
+
function beginTraceOperation(options) {
|
|
388
|
+
const operationId = createStableId("trace-op", options.kind, options.evidenceId);
|
|
389
|
+
const marker = {
|
|
390
|
+
schema_version: 1,
|
|
391
|
+
operation_id: operationId,
|
|
392
|
+
operation_kind: options.kind,
|
|
393
|
+
evidence_id: options.evidenceId,
|
|
394
|
+
ticket_id: options.ticketId,
|
|
395
|
+
attempt: options.attempt,
|
|
396
|
+
lease_token: options.leaseToken,
|
|
397
|
+
input_digest: createStableId("trace-input", ...options.identityParts),
|
|
398
|
+
};
|
|
399
|
+
const path = join(options.directory.path, `${operationId}.json`);
|
|
400
|
+
assertFileInside(options.directory, path);
|
|
401
|
+
const status = writeImmutableFile(path, Buffer.from(`${JSON.stringify(marker, null, 2)}\n`, "utf8"));
|
|
402
|
+
options.directory.assertUnchanged();
|
|
403
|
+
if (status === "replayed") {
|
|
404
|
+
throw new Error(`ambiguous ${options.kind} recovery: operation started without durable result evidence`);
|
|
405
|
+
}
|
|
406
|
+
}
|
|
407
|
+
function ensureEvidence(evidenceStore, candidate, createdAt) {
|
|
408
|
+
const existing = findEvidence(evidenceStore, candidate.evidence_kind, candidate.evidence_id);
|
|
409
|
+
if (existing) {
|
|
410
|
+
const stored = evidenceStore.read(existing);
|
|
411
|
+
const expected = { ...structuredClone(candidate), created_at: stored.created_at };
|
|
412
|
+
if (JSON.stringify(stored) !== JSON.stringify(expected)) {
|
|
413
|
+
throw new Error(`stored ${candidate.evidence_kind} evidence conflicts with tracer identity`);
|
|
414
|
+
}
|
|
415
|
+
return { ref: existing, record: stored };
|
|
416
|
+
}
|
|
417
|
+
return evidenceStore.write({ ...candidate, created_at: createdAt() });
|
|
418
|
+
}
|
|
419
|
+
function findEvidence(evidenceStore, kind, evidenceId) {
|
|
420
|
+
return evidenceStore.references(kind).find((reference) => reference.evidence_id === evidenceId);
|
|
421
|
+
}
|
|
422
|
+
function verificationFromEvidence(record) {
|
|
423
|
+
return {
|
|
424
|
+
schema_version: 1,
|
|
425
|
+
plan_digest: record.payload.plan_digest,
|
|
426
|
+
passed: record.payload.passed,
|
|
427
|
+
failed_step: record.payload.failed_step,
|
|
428
|
+
steps: structuredClone(record.payload.steps),
|
|
429
|
+
};
|
|
430
|
+
}
|
|
431
|
+
function assertAttemptEvidence(evidence, record, leaseToken, label) {
|
|
432
|
+
if (evidence.ticket_id !== record.record_id
|
|
433
|
+
|| evidence.payload.attempt !== record.attempt
|
|
434
|
+
|| evidence.payload.lease_token !== leaseToken) {
|
|
435
|
+
throw new Error(`stored ${label} evidence does not match the ticket attempt lease`);
|
|
436
|
+
}
|
|
437
|
+
}
|
|
438
|
+
function assertPreparedTicket(record, plan, worktree) {
|
|
439
|
+
assertSameReference(record.payload.verification_plan_ref, plan, "verification plan evidence");
|
|
440
|
+
if (record.payload.worktree?.branch !== worktree.branch
|
|
441
|
+
|| record.payload.worktree.base_commit !== worktree.base_commit) {
|
|
442
|
+
throw new Error("ticket worktree does not match the canonical prepared worktree");
|
|
443
|
+
}
|
|
444
|
+
}
|
|
445
|
+
function assertActiveTraceOwner(record, workerId, sessionId) {
|
|
446
|
+
if (!["leased", "running", "verifying"].includes(record.state)) {
|
|
447
|
+
throw new Error(`ticket is not active after lease reconciliation: ${record.state}`);
|
|
448
|
+
}
|
|
449
|
+
if (record.actor !== workerId || record.payload.session_id !== sessionId) {
|
|
450
|
+
throw new Error("active ticket belongs to a different worker or session");
|
|
451
|
+
}
|
|
452
|
+
}
|
|
453
|
+
function assertSameReference(actual, expected, label) {
|
|
454
|
+
if (actual === null
|
|
455
|
+
|| actual.evidence_id !== expected.evidence_id
|
|
456
|
+
|| actual.sha256 !== expected.sha256
|
|
457
|
+
|| actual.file_name !== expected.file_name) {
|
|
458
|
+
throw new Error(`${label} does not match the canonical ticket reference`);
|
|
459
|
+
}
|
|
460
|
+
}
|
|
461
|
+
function successfulAuditReplay(evidenceStore, record, worktree, verificationPlanEvidence) {
|
|
462
|
+
assertPreparedTicket(record, verificationPlanEvidence, worktree);
|
|
463
|
+
const executorEvidence = record.payload.executor_evidence;
|
|
464
|
+
if (executorEvidence === null || record.lease_token === null)
|
|
465
|
+
return undefined;
|
|
466
|
+
const deterministicEvidence = findEvidence(evidenceStore, "deterministic-check", createStableId("trace-check", record.record_id, String(record.attempt), record.lease_token));
|
|
467
|
+
if (!deterministicEvidence)
|
|
468
|
+
return undefined;
|
|
469
|
+
const check = evidenceStore.read(deterministicEvidence);
|
|
470
|
+
assertAttemptEvidence(check, record, record.lease_token, "deterministic");
|
|
471
|
+
if (check.payload.certification !== "non-certifying"
|
|
472
|
+
|| check.payload.passed !== true
|
|
473
|
+
|| check.payload.policy_version !== record.payload.policy_version
|
|
474
|
+
|| check.payload.policy_digest !== record.payload.policy_digest
|
|
475
|
+
|| check.payload.plan_digest !== record.payload.gate_digest) {
|
|
476
|
+
throw new Error("stored successful audit does not match the ticket policy or gate");
|
|
477
|
+
}
|
|
478
|
+
const graderEvidence = findEvidence(evidenceStore, "grader-output", createStableId("trace-grade", deterministicEvidence.evidence_id, deterministicEvidence.sha256));
|
|
479
|
+
if (!graderEvidence)
|
|
480
|
+
return undefined;
|
|
481
|
+
const grade = evidenceStore.read(graderEvidence);
|
|
482
|
+
if (grade.ticket_id !== record.record_id || grade.payload.verdict !== "pass") {
|
|
483
|
+
throw new Error("stored successful audit grade does not match its ticket or verdict");
|
|
484
|
+
}
|
|
485
|
+
assertSameReference(grade.payload.deterministic_evidence, deterministicEvidence, "stored successful audit grade deterministic evidence");
|
|
486
|
+
evidenceStore.read(executorEvidence);
|
|
487
|
+
evidenceStore.read(verificationPlanEvidence);
|
|
488
|
+
return freezeResult(record, worktree, verificationPlanEvidence, executorEvidence, deterministicEvidence, graderEvidence);
|
|
489
|
+
}
|
|
490
|
+
function expectedMutation(record, operationId, ownerId, at) {
|
|
491
|
+
return {
|
|
492
|
+
ticketId: record.record_id,
|
|
493
|
+
operationId,
|
|
494
|
+
ownerId,
|
|
495
|
+
expectedVersion: record.version,
|
|
496
|
+
expectedAttempt: record.attempt,
|
|
497
|
+
expectedActor: record.actor,
|
|
498
|
+
expectedLeaseToken: record.lease_token,
|
|
499
|
+
at,
|
|
500
|
+
};
|
|
501
|
+
}
|
|
502
|
+
function invokeExecutor(executor, request) {
|
|
503
|
+
try {
|
|
504
|
+
return parseExecutorDecision(executor(request));
|
|
505
|
+
}
|
|
506
|
+
catch {
|
|
507
|
+
return { status: "failed", summary: "Executor failed before producing a valid result." };
|
|
508
|
+
}
|
|
509
|
+
}
|
|
510
|
+
function invokeGrader(grader, request) {
|
|
511
|
+
try {
|
|
512
|
+
return parseGraderDecision(grader(request));
|
|
513
|
+
}
|
|
514
|
+
catch {
|
|
515
|
+
return { verdict: "fail", summary: "Grader failed before producing a valid result.", failures: ["invalid-grader-result"] };
|
|
516
|
+
}
|
|
517
|
+
}
|
|
518
|
+
function parseExecutorDecision(value) {
|
|
519
|
+
if (!isRecord(value) || !hasExactKeys(value, ["status", "summary"])) {
|
|
520
|
+
throw new Error("executor decision must contain only status and summary");
|
|
521
|
+
}
|
|
522
|
+
if (value.status !== "done" && value.status !== "blocked" && value.status !== "failed") {
|
|
523
|
+
throw new Error("executor decision status is invalid");
|
|
524
|
+
}
|
|
525
|
+
return { status: value.status, summary: boundedText(value.summary, "executor summary", 8192) };
|
|
526
|
+
}
|
|
527
|
+
function parseGraderDecision(value) {
|
|
528
|
+
if (!isRecord(value) || !hasExactKeys(value, ["verdict", "summary"], ["failures"])) {
|
|
529
|
+
throw new Error("grader decision has unexpected properties");
|
|
530
|
+
}
|
|
531
|
+
if (value.verdict !== "pass" && value.verdict !== "fail")
|
|
532
|
+
throw new Error("grader verdict is invalid");
|
|
533
|
+
let failures;
|
|
534
|
+
if (value.failures !== undefined) {
|
|
535
|
+
if (!Array.isArray(value.failures) || value.failures.length > 64)
|
|
536
|
+
throw new Error("grader failures are invalid");
|
|
537
|
+
failures = value.failures.map((failure) => boundedText(failure, "grader failure", 4096));
|
|
538
|
+
}
|
|
539
|
+
return {
|
|
540
|
+
verdict: value.verdict,
|
|
541
|
+
summary: boundedText(value.summary, "grader summary", 8192),
|
|
542
|
+
...(failures === undefined ? {} : { failures }),
|
|
543
|
+
};
|
|
544
|
+
}
|
|
545
|
+
function cloneLocalTicket(value) {
|
|
546
|
+
if (!isRecord(value))
|
|
547
|
+
throw new Error("local ticket must be an object");
|
|
548
|
+
return structuredClone(value);
|
|
549
|
+
}
|
|
550
|
+
function nextTimestamp(clock) {
|
|
551
|
+
return canonicalTimestamp(clock(), "tracer clock timestamp");
|
|
552
|
+
}
|
|
553
|
+
function validateLeaseDuration(value) {
|
|
554
|
+
if (!Number.isSafeInteger(value) || value < MIN_LEASE_DURATION_MS || value > MAX_LEASE_DURATION_MS) {
|
|
555
|
+
throw new Error(`lease duration must be between ${MIN_LEASE_DURATION_MS} and ${MAX_LEASE_DURATION_MS}ms`);
|
|
556
|
+
}
|
|
557
|
+
return value;
|
|
558
|
+
}
|
|
559
|
+
function boundedText(value, label, maximum) {
|
|
560
|
+
if (typeof value !== "string" || value.length < 1 || value.length > maximum)
|
|
561
|
+
throw new Error(`${label} is invalid`);
|
|
562
|
+
return value;
|
|
563
|
+
}
|
|
564
|
+
function hasExactKeys(value, required, optional = []) {
|
|
565
|
+
const allowed = new Set([...required, ...optional]);
|
|
566
|
+
return required.every((key) => key in value) && Object.keys(value).every((key) => allowed.has(key));
|
|
567
|
+
}
|
|
568
|
+
function freezeResult(ticket, worktree, verificationPlanEvidence, executorEvidence, deterministicEvidence, graderEvidence) {
|
|
569
|
+
return Object.freeze({
|
|
570
|
+
ticket,
|
|
571
|
+
worktree,
|
|
572
|
+
verificationPlanEvidence: Object.freeze({ ...verificationPlanEvidence }),
|
|
573
|
+
executorEvidence: Object.freeze({ ...executorEvidence }),
|
|
574
|
+
deterministicEvidence: deterministicEvidence === null ? null : Object.freeze({ ...deterministicEvidence }),
|
|
575
|
+
graderEvidence: graderEvidence === null ? null : Object.freeze({ ...graderEvidence }),
|
|
576
|
+
});
|
|
577
|
+
}
|
|
578
|
+
//# sourceMappingURL=one-ticket.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"one-ticket.js","sourceRoot":"","sources":["../../../src/tracer/one-ticket.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAMrE,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,GAEnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,UAAU,EAAsB,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAMzD,OAAO,EACL,8BAA8B,EAC9B,iBAAiB,GAElB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,6BAA6B,EAA+B,MAAM,yBAAyB,CAAC;AACrG,OAAO,EAAE,qBAAqB,EAA2B,MAAM,2BAA2B,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAA6B,MAAM,yBAAyB,CAAC;AAE1F,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AACtD,MAAM,qBAAqB,GAAG,EAAE,GAAG,KAAK,CAAC;AACzC,MAAM,qBAAqB,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AAyDnD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA+B;IAChE,MAAM,mBAAmB,GAAG,OAAO,CAAC,WAAW,CAAC;IAChD,MAAM,kBAAkB,GAAG,OAAO,CAAC,UAAU,IAAI,mBAAmB,CAAC;IACrE,MAAM,sBAAsB,GAAG,OAAO,CAAC,cAAc,CAAC;IACtD,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC;IAC5C,MAAM,mBAAmB,GAAG,OAAO,CAAC,WAAW,CAAC;IAChD,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAC1C,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC;IAC5C,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,UAAU,CAAC;IAClD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,UAAU,CAAC;IACpE,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC;IAChC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC;IAC1C,MAAM,eAAe,GAAG,qBAAqB,CAAC,OAAO,CAAC,eAAe,IAAI,yBAAyB,CAAC,CAAC;IAEpG,MAAM,WAAW,GAAG,yBAAyB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,yBAAyB,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;IACvF,MAAM,cAAc,GAAG,yBAAyB,CAAC,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,yBAAyB,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,CAAC;IACrF,MAAM,WAAW,GAAG,aAAa,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IAC9E,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACtG,MAAM,QAAQ,GAAG,aAAa,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,cAAc,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC;IAEzE,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,QAAQ,KAAK,UAAU,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;QAClG,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,8BAA8B,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IACjH,MAAM,eAAe,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE,uBAAuB,CAAC,CAAC;IAC1G,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChE,IAAI,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;IACjC,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC;IAChF,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IAED,IACE,MAAM,CAAC,KAAK,KAAK,WAAW;WACzB,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,IAAI;WACnC,MAAM,CAAC,OAAO,CAAC,qBAAqB,KAAK,IAAI,EAChD,CAAC;QACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC;YACzC,cAAc;YACd,SAAS;YACT,MAAM;YACN,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW;YACtC,WAAW;YACX,OAAO;YACP,GAAG;YACH,SAAS;SACV,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,qBAAqB,CAClC,WAAW,CAAC,aAAa,EACzB,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,OAAO,CAAC,qBAAqB,CACrC,CAAC;QACF,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IAED,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QAC5F,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,gBAAgB,GAAG,cAAc,CAAC,WAAW,CAAC,aAAa,EAAE;QACjE,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,cAAc,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC;QAC9E,aAAa,EAAE,mBAAmB;QAClC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,aAAa,EAAE,eAAe;QAC9B,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;KAC/E,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,MAAM,wBAAwB,GAAG,gBAAgB,CAAC,GAAG,CAAC;IAEtD,MAAM,QAAQ,GAAG,yBAAyB,CAAC;QACzC,cAAc;QACd,SAAS;QACT,MAAM;QACN,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,WAAW;QACX,OAAO;QACP,GAAG;QACH,SAAS;KACV,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;QAChF,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC;YACrC,GAAG,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9H,mBAAmB,EAAE,wBAAwB;YAC7C,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC,MAAM,CAAC;IACZ,CAAC;SAAM,CAAC;QACN,oBAAoB,CAAC,MAAM,EAAE,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAC/D,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC;YACnC,GAAG,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC;YAClI,QAAQ;YACR,SAAS;YACT,cAAc,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,eAAe,CAAC,CAAC,WAAW,EAAE;SAC9E,CAAC,CAAC,MAAM,CAAC;IACZ,CAAC;IACD,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC;IAEtC,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAClC,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CACnH,CAAC,MAAM,CAAC;IACX,CAAC;IAED,MAAM,cAAc,GAAG,sBAAsB,CAAC;QAC5C,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,MAAM;QACN,UAAU;QACV,KAAK;QACL,QAAQ;QACR,eAAe;QACf,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,QAAQ,EAAE,MAAM,CAAC,SAAS;YAC1B,iBAAiB,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC;YACzE,YAAY,EAAE,QAAQ,CAAC,aAAa;YACpC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,UAAU;SACX,CAAC;KACH,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,cAAc,CAAC,QAAQ,CAAC;IACjD,MAAM,gBAAgB,GAAG,cAAc,CAAC,GAAG,CAAC;IAE5C,IAAI,gBAAgB,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;QAC5G,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC;YACzC,GAAG,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,eAAe,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YAC1H,KAAK,EAAE,qBAAqB,gBAAgB,CAAC,MAAM,EAAE;YACrD,gBAAgB;SACjB,CAAC,CAAC,MAAM,CAAC;QACV,OAAO,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,iBAAiB,CAAC;YAC/C,GAAG,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YACzH,gBAAgB;SACjB,CAAC,CAAC,MAAM,CAAC;IACZ,CAAC;SAAM,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACxC,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;IAC/F,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,MAAM,aAAa,GAAG,2BAA2B,CAAC;QAChD,WAAW;QACX,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,MAAM;QACN,UAAU;QACV,KAAK;QACL,UAAU;QACV,YAAY,EAAE,QAAQ,CAAC,aAAa;QACpC,GAAG;QACH,MAAM,EAAE,kBAAkB;QAC1B,eAAe;KAChB,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC;IAChD,MAAM,qBAAqB,GAAG,aAAa,CAAC,GAAG,CAAC;IAEhD,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC;YACzC,GAAG,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YACxH,KAAK,EAAE,wCAAwC,YAAY,CAAC,WAAW,IAAI,SAAS,EAAE;YACtF,gBAAgB;YAChB,oBAAoB,EAAE,qBAAqB;SAC5C,CAAC,CAAC,MAAM,CAAC;QACV,OAAO,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACjH,CAAC;IAED,MAAM,KAAK,GAAG,oBAAoB,CAAC;QACjC,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,MAAM;QACN,qBAAqB;QACrB,YAAY,EAAE,QAAQ,CAAC,aAAa;QACpC,KAAK;QACL,MAAM;QACN,eAAe;KAChB,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC;IACtC,MAAM,cAAc,GAAG,KAAK,CAAC,GAAG,CAAC;IAEjC,IAAI,cAAc,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACtC,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC;YACzC,GAAG,gBAAgB,CAAC,MAAM,EAAE,cAAc,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YACvH,KAAK,EAAE,0CAA0C;YACjD,gBAAgB;YAChB,oBAAoB,EAAE,qBAAqB;YAC3C,aAAa,EAAE,cAAc;SAC9B,CAAC,CAAC,MAAM,CAAC;QACV,OAAO,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC;IAC3H,CAAC;IAED,4EAA4E;IAC5E,4EAA4E;IAC5E,gCAAgC;IAChC,OAAO,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC;AAC3H,CAAC;AAED,SAAS,yBAAyB,CAAC,OASlC;IACC,OAAO,oBAAoB,CAAC;QAC1B,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC;QACnD,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,kBAAkB,CAAC;QACxD,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC;QAC3C,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QAClC,OAAO,EAAE,OAAO,CAAC,WAAW;QAC5B,eAAe,EAAE,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC;QACzF,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,MAAM,EAAE,OAAO,CAAC,SAAS;KAC1B,CAAC,CAAC,MAAM,CAAC;AACZ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAQ,iBAAuC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,sBAAsB,CAAC,OAQ/B;IACC,MAAM,UAAU,GAAG,cAAc,CAC/B,gBAAgB,EAChB,OAAO,CAAC,MAAM,CAAC,SAAS,EACxB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAC9B,OAAO,CAAC,UAAU,CACnB,CAAC;IACF,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,aAAa,EAAE,iBAAiB,EAAE,UAAU,CAAC,CAAC;IACpF,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAC9E,OAAO;YACL,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,qBAAqB,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;SACpG,CAAC;IACJ,CAAC;IACD,mBAAmB,CAAC;QAClB,SAAS,EAAE,OAAO,CAAC,eAAe;QAClC,IAAI,EAAE,UAAU;QAChB,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QAClC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;QAC/B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE;YACb,OAAO,CAAC,OAAO,CAAC,iBAAiB;YACjC,OAAO,CAAC,OAAO,CAAC,YAAY;YAC5B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;YAC/B,OAAO,CAAC,OAAO,CAAC,UAAU;SAC3B;KACF,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,aAAa,EAAE;QACpD,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,UAAU;QACvB,aAAa,EAAE,iBAAiB;QAChC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QACnC,aAAa,EAAE,qBAAqB;QACpC,UAAU,EAAE,EAAE;QACd,OAAO,EAAE;YACP,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;YACnC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;YAC/B,WAAW,EAAE,OAAO,CAAC,UAAU;YAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;SAC1B;KACF,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,2BAA2B,CAAC,OAWpC;IACC,MAAM,UAAU,GAAG,cAAc,CAC/B,aAAa,EACb,OAAO,CAAC,MAAM,CAAC,SAAS,EACxB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAC9B,OAAO,CAAC,UAAU,CACnB,CAAC;IACF,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,aAAa,EAAE,qBAAqB,EAAE,UAAU,CAAC,CAAC;IACxF,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;QACnF,IACE,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,gBAAgB;eAC9C,MAAM,CAAC,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc;eACvE,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa;eACrE,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,UAAU,CAAC,MAAM,EAC3D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,mBAAmB,CAAC;QAClB,SAAS,EAAE,OAAO,CAAC,eAAe;QAClC,IAAI,EAAE,cAAc;QACpB,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QAClC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;QAC/B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE;YACb,OAAO,CAAC,UAAU,CAAC,MAAM;YACzB,OAAO,CAAC,YAAY;YACpB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;YAC7C,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa;SACrC;KACF,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,qBAAqB,CAAC;QACzC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,aAAa,EAAE;QACpD,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,UAAU;QACvB,aAAa,EAAE,qBAAqB;QACpC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QACnC,aAAa,EAAE,cAAc;QAC7B,UAAU,EAAE,EAAE;QACd,OAAO,EAAE;YACP,cAAc,EAAE,CAAC;YACjB,aAAa,EAAE,gBAAgB;YAC/B,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc;YACrD,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa;YACnD,WAAW,EAAE,YAAY,CAAC,WAAW;YACrC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;YAC/B,WAAW,EAAE,OAAO,CAAC,UAAU;YAC/B,MAAM,EAAE,YAAY,CAAC,MAAM;YAC3B,WAAW,EAAE,YAAY,CAAC,WAAW;YACrC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;SACvD;KACF,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,YAAY,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,oBAAoB,CAAC,OAQ7B;IACC,MAAM,UAAU,GAAG,cAAc,CAC/B,aAAa,EACb,OAAO,CAAC,qBAAqB,CAAC,WAAW,EACzC,OAAO,CAAC,qBAAqB,CAAC,MAAM,CACrC,CAAC;IACF,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,aAAa,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC;IAClF,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,CAAC,MAAM,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACvH,OAAO;YACL,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,mBAAmB,CAAC;gBAC5B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;gBAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;gBAC/B,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;aACxF,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IAC9G,mBAAmB,CAAC;QAClB,SAAS,EAAE,OAAO,CAAC,eAAe;QAClC,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QAClC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;QAC/B,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW;QACtC,aAAa,EAAE;YACb,OAAO,CAAC,qBAAqB,CAAC,WAAW;YACzC,OAAO,CAAC,qBAAqB,CAAC,MAAM;YACpC,OAAO,CAAC,qBAAqB,CAAC,SAAS;YACvC,OAAO,CAAC,YAAY;SACrB;KACF,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QAC1D,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QAClC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;QAC/B,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC;QAC1E,yBAAyB,EAAE,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,qBAAqB,CAAC;KAC7F,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,aAAa,EAAE;QACpD,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,UAAU;QACvB,aAAa,EAAE,eAAe;QAC9B,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QACnC,aAAa,EAAE,kBAAkB;QACjC,UAAU,EAAE,EAAE;QACd,OAAO,EAAE;YACP,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,sBAAsB,EAAE,OAAO,CAAC,qBAAqB;YACrD,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;SACjF;KACF,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,mBAAmB,CAAC,OAQ5B;IACC,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG;QACb,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,WAAW;QACzB,cAAc,EAAE,OAAO,CAAC,IAAI;QAC5B,WAAW,EAAE,OAAO,CAAC,UAAU;QAC/B,SAAS,EAAE,OAAO,CAAC,QAAQ;QAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,WAAW,EAAE,OAAO,CAAC,UAAU;QAC/B,YAAY,EAAE,cAAc,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC;KAC7D,CAAC;IACX,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,WAAW,OAAO,CAAC,CAAC;IACjE,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACrG,OAAO,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC;IACpC,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,IAAI,8DAA8D,CAAC,CAAC;IAC3G,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,aAA4B,EAC5B,SAAyB,EACzB,SAAuB;IAEvB,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IAC7F,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;QAClF,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,UAAU,SAAS,CAAC,aAAa,0CAA0C,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,CAAC,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,YAAY,CACnB,aAA4B,EAC5B,IAAqC,EACrC,UAAkB;IAElB,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAsB;IACtD,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAAqB;QACjD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAiB;QACxC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAA4B;QACxD,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAgC;KAC5E,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAwB,EACxB,MAAyB,EACzB,UAAkB,EAClB,KAAa;IAEb,IACE,QAAQ,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;WACpC,QAAQ,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;WAC3C,QAAQ,CAAC,OAAO,CAAC,WAAW,KAAK,UAAU,EAC9C,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,mDAAmD,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAyB,EACzB,IAAuB,EACvB,QAA8B;IAE9B,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,IAAI,EAAE,4BAA4B,CAAC,CAAC;IAC9F,IACE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,MAAM;WAChD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,EAC/D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAyB,EAAE,QAAgB,EAAE,SAAiB;IAC5F,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,oDAAoD,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAgC,EAChC,QAA2B,EAC3B,KAAa;IAEb,IACE,MAAM,KAAK,IAAI;WACZ,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;WAC3C,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;WACjC,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,EAC1C,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,gDAAgD,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAA4B,EAC5B,MAAyB,EACzB,QAA8B,EAC9B,wBAA2C;IAE3C,oBAAoB,CAAC,MAAM,EAAE,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IACjE,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC1D,IAAI,gBAAgB,KAAK,IAAI,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC/E,MAAM,qBAAqB,GAAG,YAAY,CACxC,aAAa,EACb,qBAAqB,EACrB,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAC5F,CAAC;IACF,IAAI,CAAC,qBAAqB;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACxD,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAC1E,IACE,KAAK,CAAC,OAAO,CAAC,aAAa,KAAK,gBAAgB;WAC7C,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI;WAC7B,KAAK,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,OAAO,CAAC,cAAc;WAC9D,KAAK,CAAC,OAAO,CAAC,aAAa,KAAK,MAAM,CAAC,OAAO,CAAC,aAAa;WAC5D,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,OAAO,CAAC,WAAW,EAC3D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,cAAc,GAAG,YAAY,CACjC,aAAa,EACb,eAAe,EACf,cAAc,CAAC,aAAa,EAAE,qBAAqB,CAAC,WAAW,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAC/F,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;IACD,mBAAmB,CACjB,KAAK,CAAC,OAAO,CAAC,sBAA2C,EACzD,qBAAqB,EACrB,sDAAsD,CACvD,CAAC;IACF,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,aAAa,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC7C,OAAO,YAAY,CACjB,MAAM,EACN,QAAQ,EACR,wBAAwB,EACxB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,CACf,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAyB,EACzB,WAAmB,EACnB,OAAe,EACf,EAAU;IAEV,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,SAAS;QAC1B,WAAW;QACX,OAAO;QACP,eAAe,EAAE,MAAM,CAAC,OAAO;QAC/B,eAAe,EAAE,MAAM,CAAC,OAAO;QAC/B,aAAa,EAAE,MAAM,CAAC,KAAK;QAC3B,kBAAkB,EAAE,MAAM,CAAC,WAAW;QACtC,EAAE;KACH,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,QAA4C,EAC5C,OAAwC;IAExC,IAAI,CAAC;QACH,OAAO,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,kDAAkD,EAAE,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAwC,EACxC,OAAsC;IAEtC,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,gDAAgD,EAAE,QAAQ,EAAE,CAAC,uBAAuB,CAAC,EAAE,CAAC;IAC7H,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACvF,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACvG,IAAI,QAA8B,CAAC;IACnC,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjH,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,CAAC;QAC3D,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAuB;IAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACxE,OAAO,eAAe,CAAC,KAAK,CAAqB,CAAC;AACpD,CAAC;AAED,SAAS,aAAa,CAAC,KAAmB;IACxC,OAAO,kBAAkB,CAAC,KAAK,EAAE,EAAE,wBAAwB,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,qBAAqB,IAAI,KAAK,GAAG,qBAAqB,EAAE,CAAC;QACnG,MAAM,IAAI,KAAK,CAAC,kCAAkC,qBAAqB,QAAQ,qBAAqB,IAAI,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa,EAAE,OAAe;IACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACpH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,KAA8B,EAC9B,QAA2B,EAC3B,WAA8B,EAAE;IAEhC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACpD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,YAAY,CACnB,MAAyB,EACzB,QAA8B,EAC9B,wBAA2C,EAC3C,gBAAmC,EACnC,qBAA+C,EAC/C,cAAwC;IAExC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM;QACN,QAAQ;QACR,wBAAwB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,wBAAwB,EAAE,CAAC;QACxE,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,gBAAgB,EAAE,CAAC;QACxD,qBAAqB,EAAE,qBAAqB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,qBAAqB,EAAE,CAAC;QAC1G,cAAc,EAAE,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,cAAc,EAAE,CAAC;KACtF,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
export declare const TRUST_MINIMUM_MATCHING_RUNS = 20;
|
|
2
|
+
export declare const TRUST_REQUIRED_PASS_RATE_BASIS_POINTS = 9500;
|
|
3
|
+
export interface TrustIdentity {
|
|
4
|
+
readonly policy_version: number;
|
|
5
|
+
readonly policy_digest: string;
|
|
6
|
+
readonly gate_digest: string;
|
|
7
|
+
}
|
|
8
|
+
export interface TrustRunSummary extends TrustIdentity {
|
|
9
|
+
readonly run_id: string;
|
|
10
|
+
readonly deterministic_passed: boolean;
|
|
11
|
+
}
|
|
12
|
+
export interface TrustAssessmentInput extends TrustIdentity {
|
|
13
|
+
readonly runs: readonly TrustRunSummary[];
|
|
14
|
+
}
|
|
15
|
+
export type TrustAssessmentStatus = "manual" | "eligible_for_review";
|
|
16
|
+
export interface TrustAssessment {
|
|
17
|
+
readonly status: TrustAssessmentStatus;
|
|
18
|
+
readonly matching_runs: number;
|
|
19
|
+
readonly passed_runs: number;
|
|
20
|
+
readonly pass_rate_basis_points: number;
|
|
21
|
+
readonly minimum_matching_runs: typeof TRUST_MINIMUM_MATCHING_RUNS;
|
|
22
|
+
readonly required_pass_rate_basis_points: typeof TRUST_REQUIRED_PASS_RATE_BASIS_POINTS;
|
|
23
|
+
}
|
|
24
|
+
export declare function assessTrust(value: unknown): Readonly<TrustAssessment>;
|