input
Scylla spec
- entitiespresent
- decisionspresent
- uncertaintiespresent
Interpretive layer for strategy dynamics, regret, equilibrium checks, and exploitability warnings. A Scylla specification is completed into Homer, Athena, Prometheus, audit, and review artifacts; the benchmark checks whether generated structure is executable enough to admit.
| Overlap | Contexts | Status | Decision Surface |
|---|---|---|---|
| spec_program | Scylla spec / Homer program | glues | domain objects become local contexts |
| program_plan | Homer program / Athena plan | qualified | overlap predicates must be explicit |
| plan_bundle | Athena plan / Prometheus bundle | review | artifact contracts must name promotion and obstruction behavior |