docs: track UUID generation contract

docs/architecture.md

@@ -1644,7 +1644,7 @@ Core stdlib (string, list, math, json) is implemented in Phase D. This phase com
 - **Time:** `time`
 - **Security:** `crypto`, `encoding`, `validate`
 - **OS:** `os` (environment variables, process management, argv — wraps `Environment` and `Process` capabilities)
-- **Utilities:** `regex`, `random`, `uuid`, `log`, `format`
+- **Utilities:** `regex`, `random`, `uuid` (generation and entropy contract [tracked by #73](https://github.com/vycdev/jett/issues/73)), `log`, `format`
 - **Testing:** `test.mock` (mock capabilities for property-based testing)
 
 **Milestone:** The standard library covers virtually every common operation. LLMs write orchestration code, not algorithms.

docs/design.md

@@ -6466,7 +6466,7 @@ The standard library is intentionally massive and opinionated. The goal is to ma
 - **regex** — pattern matching and extraction (when string functions aren't enough)
 - **csv** — parsing and writing CSV data
 - **random** — random numbers, random selection, shuffling
-- **uuid** — UUID generation
+- **uuid** — UUID generation (generation and entropy contract [tracked by #73](https://github.com/vycdev/jett/issues/73))
 
 ---
 

docs/progress.md

@@ -164,7 +164,7 @@
 | `crypto` | Partial (sha256, md5) |
 | `encoding` | Partial (6 builtins: base64_encode, base64_decode, hex_encode, hex_decode, url_encode, url_decode) |
 | `bytes` | Partial (9 builtins: new, length, slice, concat, from_string, to_string, get, to_hex, from_hex) |
-| `uuid` | Partial (uuid.new) |
+| `uuid` | Partial (`uuid.new`; generation and entropy contract [tracked by #73](https://github.com/vycdev/jett/issues/73)) |
 | `time` | Partial (time.now_ms, time.now_s) |
 | `os` | Partial (os.env, os.args) |
 | `net.http` | Not started |