Cross-Reference Index¶
Each concept maps to its authoritative documentation. Technical Specification sections are normative; guide pages are explanatory.
Types and the type system¶
language-guide/types.md · technical-specification/TECHSPEC-02.md · technical-specification/TECHSPEC-21.md · technical-specification/TECHSPEC-23.md · technical-specification/TECHSPEC-24.md
Functions and contracts (REQUIRES / ENSURES / INVARIANT / OLD)¶
language-guide/functions.md · technical-specification/TECHSPEC-03.md · technical-specification/TECHSPEC-40.md
Control flow and expressions¶
technical-specification/TECHSPEC-04.md · technical-specification/TECHSPEC-39.md
Variables, state, and mutability¶
technical-specification/TECHSPEC-05.md
Ownership, references, and borrowing¶
runtime/memory.md · technical-specification/TECHSPEC-06.md · technical-specification/TECHSPEC-36.md
Concurrency and async execution¶
language-guide/concurrency.md · technical-specification/TECHSPEC-07.md
Modules, imports, and visibility¶
language-guide/modules.md · technical-specification/TECHSPEC-08.md
Side effects and permissions¶
language-guide/permissions.md · technical-specification/TECHSPEC-09.md
Error handling and Result¶
language-guide/error-handling.md · technical-specification/TECHSPEC-10.md
Testing and test integrity¶
verification/testing.md · technical-specification/TECHSPEC-11.md
Diagnostics and debugging¶
compiler/diagnostics.md · technical-specification/TECHSPEC-12.md
Build, deployment, and release¶
compiler/build-and-deployment.md · technical-specification/TECHSPEC-13.md
Standard library¶
standard-library/overview.md · technical-specification/TECHSPEC-14.md
Packages and distribution¶
ecosystem/packages.md · technical-specification/TECHSPEC-15.md
Documentation and AI discoverability¶
introduction/documentation.md · technical-specification/TECHSPEC-16.md
Versioning and evolution¶
design-decisions/versioning.md · technical-specification/TECHSPEC-17.md
MVP scope and prototype¶
design-decisions/mvp-scope.md · technical-specification/TECHSPEC-18.md
Compiler testing¶
technical-specification/TECHSPEC-19.md
Grammar (EBNF)¶
technical-specification/TECHSPEC-20.md
Numerics, Decimal, arithmetic¶
technical-specification/TECHSPEC-21.md
Strings, text, Unicode¶
technical-specification/TECHSPEC-23.md
Collections (List, Map, Set, Tuple)¶
technical-specification/TECHSPEC-24.md
Optional values and null safety¶
technical-specification/TECHSPEC-24.md
Input validation and trust boundaries¶
security/overview.md · technical-specification/TECHSPEC-25.md
Serialization¶
technical-specification/TECHSPEC-26.md
Networking¶
technical-specification/TECHSPEC-28.md
Databases and transactions¶
technical-specification/TECHSPEC-29.md
Authentication and authorization¶
technical-specification/TECHSPEC-30.md
Cryptography¶
technical-specification/TECHSPEC-31.md
Processes and OS interaction¶
technical-specification/TECHSPEC-32.md
Time, dates, time zones¶
technical-specification/TECHSPEC-33.md
Logging, auditing, observability¶
technical-specification/TECHSPEC-34.md
Runtime model and execution¶
technical-specification/TECHSPEC-35.md
Memory model¶
runtime/memory.md · technical-specification/TECHSPEC-36.md
Reflection and dynamic behaviour¶
technical-specification/TECHSPEC-37.md · technical-specification/TECHSPEC-46.md
Generics¶
technical-specification/TECHSPEC-38.md
Operators and precedence¶
technical-specification/TECHSPEC-39.md · technical-specification/TECHSPEC-42.md
Interfaces, traits, behavioural contracts¶
technical-specification/TECHSPEC-41.md
Compile-time evaluation and constants¶
technical-specification/TECHSPEC-43.md
Annotations and metadata¶
technical-specification/TECHSPEC-44.md
Macros and metaprogramming (deferred)¶
technical-specification/TECHSPEC-45.md
State machines¶
technical-specification/TECHSPEC-47.md
Invariants across system boundaries¶
technical-specification/TECHSPEC-48.md
Determinism and reproducibility¶
technical-specification/TECHSPEC-49.md
Runtime isolation and sandboxing¶
technical-specification/TECHSPEC-50.md
Resource limits and budgets¶
technical-specification/TECHSPEC-51.md
Compiler optimization safety¶
technical-specification/TECHSPEC-52.md
Foreign function interfaces¶
technical-specification/TECHSPEC-53.md
Language security model¶
security/overview.md · technical-specification/TECHSPEC-54.md
Verification reports and evidence¶
verification/evidence-reports.md · technical-specification/TECHSPEC-55.md
Conformance and compatibility¶
technical-specification/TECHSPEC-56.md
Open questions (OQ-001 – OQ-029)¶
unresolved-questions/index.md · technical-specification/TECHSPEC-57.md
Verification statuses (PROVEN / TESTED / CHECKED / FAILED / UNKNOWN)¶
verification/validation.md · verification/verification-statuses.md · technical-specification/TECHSPEC-55.md
AI agent interface and structured feedback¶
compiler/ai-agent-interface.md · technical-specification/TECHSPEC-16.md
Bank Account example¶
getting-started/first-program.md