Start with docs/architecture/spec.md for the canonical current design and specification surface.
Use docs/project/roadmap.md for roadmap, milestones, and sequencing.
For the release-facing stable surface, start with docs/reference/v1-user-contract.md.
For the maintained strong-soundness ownership ledger inside fully Soundscript-authored code, see
docs/project/soundness-ownership-ledger.md.
For the current owned soundness scope and closure ledger, see docs/project/soundness-ownership-ledger.md.
For the current builtin annotation surface, see docs/reference/annotation-spec.md.
For advanced effect taxonomy, forwarding, and current policy-boundary limitations, see
docs/guides/advanced-effects.md.
For the supported public macro authoring surface, start with docs/guides/macro-authoring.md.
For a concrete guide to building user-space libraries on top of declaration reflection and raw
annotation metadata, see docs/guides/building-annotation-driven-libraries.md.
For the detailed macro execution and sandbox model behind that surface, see
docs/architecture/macro-execution-model.md.
For the actual v1 publish procedure, use docs/project/v1-release-checklist.md.
For diagnostic-code explanations used by machine-readable CLI output, see docs/diagnostics.md.
For repository process and cleanup policy, see docs/project/layout.md.
Everything else should be read as supporting material:
docs/reference/holds stable public reference materialdocs/guides/holds user-facing how-to materialdocs/architecture/holds retained rationale and implementation-model detaildocs/plans/holds open plansdocs/project/holds repository policy, release process, and ownership records
Superseded historical notes have been removed from the working docs tree. Use Git history when you need older context that no longer matches the current implementation.
docs/reference/annotation-spec.mddocs/reference/builtin-modules.mddocs/reference/derive-macros.mddocs/reference/json-bridge.mddocs/reference/machine-numerics.mddocs/reference/v1-user-contract.md
docs/guides/advanced-effects.mddocs/guides/building-annotation-driven-libraries.mddocs/guides/common-rewrites.mddocs/guides/idiomatic-soundscript.mddocs/guides/macro-authoring.md
docs/architecture/spec.mddocs/architecture/exotic-object-quarantine.mddocs/architecture/javascript-soundness-hazard-rubric.mddocs/architecture/macro-execution-model.md
docs/plans/beta-to-v1-roadmap.mddocs/plans/checker-performance-and-incremental-state.mddocs/plans/compiler-roadmap.mddocs/plans/effect-system-v1.mddocs/plans/js-value-types.mddocs/plans/nominal-types-and-class-identity.mddocs/plans/runtime-target-platform-and-interop.mddocs/plans/test262-migration.mddocs/plans/wasm-async-runtime-and-host-integration.mddocs/plans/wasm-js-interop-addendum.md
docs/project/layout.mddocs/project/roadmap.mddocs/project/soundness-ownership-ledger.mddocs/project/test262-policy.mddocs/project/v1-release-checklist.md