47 lines
1.3 KiB
YAML
47 lines
1.3 KiB
YAML
# SpecKit: Product Specification for SWOOSH
|
|
meta:
|
|
name: SWOOSH
|
|
tagline: Deterministic state-machine orchestrator for CHORUS
|
|
owners:
|
|
- handle: core
|
|
role: maintainers
|
|
status: bootstrap
|
|
roadmap_stage: alpha
|
|
goals:
|
|
- id: CHORUS-INT-001
|
|
title: Deterministic orchestration under chaos
|
|
success_metrics:
|
|
- invariant_violation_rate == 0 over 10k randomized runs
|
|
- mean_recovery_time_from_churn < 2 beats
|
|
- id: CHORUS-INT-002
|
|
title: Audit-first transitions
|
|
success_metrics:
|
|
- 100% transitions WAL-logged with UCXL DR refs
|
|
requirements:
|
|
functional:
|
|
- Expose Transition API to propose guarded state advances.
|
|
- Persist WAL and periodic snapshots; deterministic replay.
|
|
- Enforce BACKBEAT/pressure windows on time-gated transitions.
|
|
- Council quorum certificates via HMMM signatures.
|
|
non_functional:
|
|
- Idempotent, replay-safe; total-ordered by HLC.
|
|
- Security: age-encrypted configs; license gating via KACHING.
|
|
interfaces:
|
|
apis:
|
|
- name: Transition API
|
|
file: ../api/openapi.yaml
|
|
artifacts:
|
|
statechart: ../docs/statechart.yaml
|
|
architecture: ../docs/ARCHITECTURE.md
|
|
adr:
|
|
- ../adr/0001-adopt-statecharts.md
|
|
- ../adr/0002-transition-api-and-wal.md
|
|
testing:
|
|
plans:
|
|
- ../tests/TESTING.md
|
|
ops:
|
|
runbooks:
|
|
- ../ops/chaos-harness.md
|
|
- ../ops/observability.md
|
|
license: MIT
|