Architecture decisions
Architecture decisions
Rendered from docs/decisions
- ADR 0001: AOT compilation is authoritative
- ADR 0002: The semantic IR is graph-shaped and Schema-defined
- ADR 0003: Canonical JSON is a projection, not compiler state
- ADR 0004: Schema values are preserved by symbol reference
- ADR 0005: E and R are inferred; declarations assert them
- ADR 0006:
@Queryis a semantic claim, not a purity proof - ADR 0007: Cedar authorizes; effx issues capabilities and leases
- ADR 0008: Generated code is ordinary Effect
- ADR 0009: The TypeScript 6 frontend is a registered exception
- ADR 0010: Explicit Query over POST
- ADR 0011: Config is an explicit compiler execution boundary
- ADR 0012: effx is the enterprise on-ramp to full-stack Effect
- ADR 0013 — A capability-only command may explicitly claim a snapshot decision