Ideas

Speculative, not-yet-committed designs: sketched in full, but with no code in the tree and no scheduled work. They are parked here — out of the active roadmaps in doc/plan/ — until something is actually built against them. Treat each as a captured idea, not a plan of record.

Sketch	Scope
CONTRACT_LANG.md	Notes for a possible contract-oriented language: design-by-contract influences, effect/capability ergonomics, modules, typed channels, and session-type lessons.
RQL.md	A typed relational query language (a clean-break SQL replacement): surface syntax, logical algebra/IR, physical plan, algebraic laws, option types instead of NULL.
RSN.md	A statically-typed scripting language to replace make/shell/Python for kit's build and test orchestration: typed CG-API frontend, staged arena/GC runtime, cooperative fibers.