Orchestrator spec and reference impl - #357

Open

rusty1968 wants to merge 44 commits into

OpenPRoT:mainfrom

rusty1968:orchestrator-sm

Commits on Jul 29, 2026

Commits on Jul 30, 2026

orchestrator docs: add consolidated invariant catalogue
rusty1968
committed
orchestrator docs: define 'rejected' per CSA at first use
rusty1968
committed
orchestrator docs: rename shell to platform driver; trim redundant INV4 note
rusty1968
committed
orchestrator docs: drop inaccurate 'three orthogonal axes' claim
rusty1968
committed
docs(orchestrator): add core/platform separation-of-concerns section
rusty1968
committed
docs(orchestrator): note the core is policy-free and drops out-of-chain ids
rusty1968
committed
orchestrator/sm: drop out-of-chain ids at the dispatch boundary
rusty1968
committed

Commits on Jul 31, 2026