Correct memory safety status docs

Author: code5717

CHANGELOG.md

@@ -71,6 +71,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   - Extended docs style checking to include `RELEASE.md`.
   - Made the docs deploy workflow use the committed `site/package-lock.json` with `npm ci`.
   - Switched the docs syntax highlighter from the Oniguruma WASM engine to Shiki's JavaScript regex engine, removing the docs build chunk-size warning.
+  - Corrected memory-safety documentation so the spec no longer claims unimplemented lifetime, double-free, use-after-free, or bounds-check guarantees.
 
 - **Import handling**
   - Local file-based imports now load dependencies during semantic analysis and fail closed on missing or broken modules.

docs/SPEC.md

@@ -966,12 +966,19 @@ if large == nil {
 }
 ```
 
-### 8.4 Memory Safety Rules
+### 8.4 Memory Safety Status
 
-1. **No dangling pointers**: Compiler tracks lifetimes
-2. **No double-free**: `del` sets pointer to nil
-3. **No use-after-free**: Nil check required after del
-4. **Bounds checking**: Array access checked in debug mode
+Current implementation:
+
+1. `new` and `del` parse, type-check, and lower for the implemented backends.
+2. `del` is validated for reference-like values.
+3. `defer del value` can express manual cleanup at scope exit.
+
+Not yet implemented:
+
+1. Ownership, borrowing, or lifetime analysis that proves absence of dangling pointers.
+2. Static double-free or use-after-free prevention beyond the current basic shape checks.
+3. General array/slice bounds-check insertion by the A7 compiler.
 
 ---
 
@@ -2142,12 +2149,19 @@ if large == nil {
 }
 ```
 
-### 8.4 Memory Safety Rules
+### 8.4 Memory Safety Status
+
+Current implementation:
+
+1. `new` and `del` parse, type-check, and lower for the implemented backends.
+2. `del` is validated for reference-like values.
+3. `defer del value` can express manual cleanup at scope exit.
+
+Not yet implemented:
 
-1. **No dangling pointers**: Compiler tracks lifetimes
-2. **No double-free**: `del` sets pointer to nil
-3. **No use-after-free**: Nil check required after del
-4. **Bounds checking**: Array access checked in debug mode
+1. Ownership, borrowing, or lifetime analysis that proves absence of dangling pointers.
+2. Static double-free or use-after-free prevention beyond the current basic shape checks.
+3. General array/slice bounds-check insertion by the A7 compiler.
 
 ---
 

site/src/pages/Language.tsx

@@ -490,7 +490,7 @@ type_expr :=
           Parsing coverage is complete for the language surface described here. The compiler runs tokenization, parsing, semantic passes, preprocessing, and code generation (Zig and C backends) end-to-end.
         </DocCallout>
         <DocCallout tone="warning">
-          A small set of semantic features are still open: fall lowering, advanced match diagnostics, generic constraint internals, and lifetime-style memory checks. For exact pass/fail status, see <Link to="/status">Status</Link> and <code className="doc-inline-code">MISSING_FEATURES.md</code>.
+          A small set of semantic features are still open: fall lowering, advanced match diagnostics, true match capture patterns, and lifetime-style memory checks. For exact pass/fail status, see <Link to="/status">Status</Link> and <code className="doc-inline-code">MISSING_FEATURES.md</code>.
         </DocCallout>
       </SectionPanel>
     </div>