You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue originally belonged to an earlier, never-built incarnation of this repository. It is intentionally retained and repurposed as Spock's pinned issue #1.
This is a navigation-level milestone tracker, not the language specification and not a promise of dates. Current behavior is defined by docs/spec/; design history and proposed changes live in docs/rfd/. The sequencing record is RFD 0009.
Shipped foundation
Rust parser, checker, contract IR, embedded SQLite runtime, REST, and GraphQL table slice (RFD 0008)
Deliberate fn surface, named refusals, read/write polarity, and explicit unchecked escape boundary (RFD 0011, RFD 0012)
Contract-owned TypeScript/GraphQL generation and implemented value constraints (RFD 0010, RFD 0013)
Land the governance bootstrap: conduct rules, contribution routing, the Language Design Committee, working groups, prospective RFD stages, and governed review (887fc51)
Seat a second independent voting committee member, ending founder-only language decisions
Seat a third voting committee member, ending the bootstrap provision
Establish an independent confidential conduct-reporting and appeal path
Tracking rules
A checked item means the result is verifiably shipped; it does not make this issue normative.
An unchecked item is a checkpoint, not an accepted design, staffing promise, release date, or implementation authorization.
Language changes still require the repository's RFD process, and current behavior still comes from the specification.
Mark implementation complete only when code, conformance tests, user documentation, and affected specifications agree.
Priorities may change when dogfood or working-group evidence changes the plan; update the linked durable record with the reason.
Note
This issue originally belonged to an earlier, never-built incarnation of this repository. It is intentionally retained and repurposed as Spock's pinned issue #1.
This is a navigation-level milestone tracker, not the language specification and not a promise of dates. Current behavior is defined by
docs/spec/; design history and proposed changes live indocs/rfd/. The sequencing record is RFD 0009.Shipped foundation
fnsurface, named refusals, read/write polarity, and explicit unchecked escape boundary (RFD 0011, RFD 0012)Active checkpoints
Language and runtime
view(RFD 0009, track 10)Framework and deployment
Community and governance
Tracking rules
Related trackers