From 1c0b3fe9bd4f1aa3754ba89cb71fbd0b294e713e Mon Sep 17 00:00:00 2001 From: Yogthos Date: Sat, 13 Jun 2026 11:01:42 -0400 Subject: [PATCH] docs: mark RFC 0005/0006 implemented, note follow-up work --- docs/rfc/0005-structural-type-inference.md | 3 ++- docs/rfc/0006-success-type-checking.md | 5 ++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/docs/rfc/0005-structural-type-inference.md b/docs/rfc/0005-structural-type-inference.md index 872ae3a..635e15c 100644 --- a/docs/rfc/0005-structural-type-inference.md +++ b/docs/rfc/0005-structural-type-inference.md @@ -1,6 +1,7 @@ # RFC 0005 — Structural collection-type inference -- **Status**: Draft +- **Status**: Implemented (jolt-5uj). Ray tracer 12.8s to 11.0s hint-free, + matching the explicit `^:struct` version; render checksum unchanged. - **Champions**: jolt maintainers - **Created**: 2026-06-13 diff --git a/docs/rfc/0006-success-type-checking.md b/docs/rfc/0006-success-type-checking.md index e67da5e..ee6442d 100644 --- a/docs/rfc/0006-success-type-checking.md +++ b/docs/rfc/0006-success-type-checking.md @@ -1,6 +1,9 @@ # RFC 0006 — Compile-time detection of provably-wrong code (success typing) -- **Status**: Draft +- **Status**: Implemented (jolt-y3b), first table. Core-fn error domains + (arithmetic on non-numbers, count/first/rest/next/seq/nth on non-seqable + scalars), `JOLT_TYPE_CHECK=off|warn|error`, decoupled from specialization. + Precise source locations (file:line:col) remain follow-up work. - **Champions**: jolt maintainers - **Created**: 2026-06-13 - **Depends on**: RFC 0005 (structural collection-type inference)