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)