This repository defines the ProScript 0.1 source-language contract for compiler, runtime, standard-library, and tooling developers.
The current authoritative decision baseline is P-000 through P-367
(P-171 and P-172 were never assigned) and S-000 through S-203.
- Specification status and precedence
- Extraction audit and gap report
- Consolidated language specification
- Lexical grammar
- Syntactic grammar
- Type-system contract
- Runtime semantics
- Project and package model
- Manifest and lockfile format
- Standard-library contract
- Native extension boundary
- Command-line contract
- Editor and language-server contract
- Conformance requirements
- Synchronization baseline
The complete P-/S-numbered decision records are retained under
design/. They preserve rationale and historical states; only the
entries identified as current under the precedence rules are
normative.
This repository specifies observable ProScript behavior. It does not contain a compiler implementation, bytecode format, VM implementation, native backend, or editor extension. Implementation snapshots are clearly labeled informative and cannot override the language contract.
ProScript is still under active development. A change to observable behavior is not complete until its decision record, consolidated specification, grammar or tooling contract where applicable, reference material, and conformance mapping have been updated together. See CONTRIBUTING.md.
The specification is available under the MIT License.