Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions README.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -177,8 +177,15 @@ docs/WHITEPAPER.md # Full academic treatment
**Pre-alpha / Research.** The checked L1-L10 ABI core, Zig FFI, parser tests,
and smoke tests are in place. L11-L12 files are experimental drafts: they are
not part of the default proof package and are not yet claimable as integrated
proofs. The next step is to de-template the release path, expand end-to-end and
aspect coverage, and either complete or withdraw the higher-level claims.
proofs.

The path from here to a production-quality compile target adopted outside
the hyperpolymath ecosystem is documented in
link:docs/PRODUCTION-PATH.adoc[`docs/PRODUCTION-PATH.adoc`] — six phases
with explicit gates, load-bearing decisions, and a comparison landscape
locating typed-wasm against neighbouring wasm-safety projects at each
maturity level. `ROADMAP.adoc` tracks the version-by-version delivery
against that plan.

== Related Projects

Expand Down
28 changes: 27 additions & 1 deletion ROADMAP.adoc
Original file line number Diff line number Diff line change
@@ -1,7 +1,33 @@
// SPDX-License-Identifier: MPL-2.0
= typed-wasm Roadmap
:author: Jonathan D.A. Jewell
:revdate: 2026-03-29
:revdate: 2026-05-24

== Relation to the production path

This roadmap tracks specific version milestones (v0.1.0 ... v1.0.0). The
long-form strategic plan — six phases from pre-alpha to production-ready,
with explicit gates, load-bearing decisions, and a comparison landscape —
lives in `docs/PRODUCTION-PATH.adoc`. The two documents stay in sync as
follows:

[cols="1,3",options="header"]
|===
| Version axis (this file) | Phase axis (`docs/PRODUCTION-PATH.adoc`)

| v0.1 -- v0.4 | Phase 0 (stabilize foundation)
| v1.0 | Phase 1 (end-to-end producer)
| v1.x | Phase 2 (multi-producer adoption)
| v2.0 (planned) | Phase 3 (runtime-side enforcement)
| v2.x -- v3.0 | Phases 4-5 (tooling, spec, standards)
| v3.x stable | Phase 6 (production hardening)
|===

When this roadmap says "complete" it means a specific deliverable shipped.
When `PRODUCTION-PATH.adoc` says "gate met" it means an entire phase's
preconditions are satisfied and the next phase can credibly begin. The
two views diverge intentionally: version cuts can happen mid-phase;
phase transitions usually require multiple version cuts to accumulate.

== Current State

Expand Down
Loading
Loading