diff --git a/AGENTS.md b/AGENTS.md
index a83eaac..d82a639 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -1,13 +1,14 @@
 ---
-scope: pinax repo conventions (design-phase relational storage engine)
+scope: pinax repo conventions (relational storage engine; Phase 01 implemented)
 defers_to: kanon standards for universal engineering policy
-tightens: design-phase-only: no crates land ahead of the Phase 01 plan
+tightens: no crates land ahead of the roadmap's current phase (kanon projects/pinax/ROADMAP.md)
 ---
 
 # AGENTS.md - pinax
 
-Design-phase repo: documentation only. The buildable workspace lands
-with Phase 01 (pager / buffer pool / B-tree).
+Phase 01 (pager / buffer pool / B-tree) is implemented, in lexis and
+pinax. hypomnema and phylaxis reserve their workspace position for
+later phases.
 
 ## Rules
 
diff --git a/CLAUDE.md b/CLAUDE.md
index f0b795f..c9edf6b 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -1,21 +1,23 @@
 <!--
-scope: pinax repo conventions (design-phase relational storage engine; workspace lands with Phase 01)
+scope: pinax repo conventions (relational storage engine; Phase 01 implemented)
 defers_to: kanon standards for universal engineering policy
-tightens: design-phase-only until Phase 01 (pager / buffer pool / B-tree); planning lives in kanon projects/pinax, not here
+tightens: no crates land ahead of the roadmap's current phase; planning lives in kanon projects/pinax, not here
 -->
 
 # CLAUDE.md - pinax
 
 ## At a glance
 
-Design-phase repo for the fleet's relational storage engine. No code
-yet - the tree is documentation and scaffold. Do not add crates here
-without the Phase 01 plan in hand.
+Fleet relational storage engine. Four-crate workspace (lexis,
+hypomnema, phylaxis, pinax); Phase 01 (pager / buffer pool / B-tree)
+is implemented, in lexis and pinax. hypomnema and phylaxis reserve
+their workspace position for later phases. Do not add crates here
+without the current phase's plan in hand.
 
 ## Standards
 
 Fleet standards come from forkwright/kanon `crates/basanos/standards/`.
-Most relevant once code lands: RUST.md, STORAGE.md, STORAGE-TIERS.md,
+Apply now that code has landed: RUST.md, STORAGE.md, STORAGE-TIERS.md,
 CRATE-SHAPE.md.
 
 ## Planning
diff --git a/SECURITY.md b/SECURITY.md
index 7bfdba7..3b64488 100644
--- a/SECURITY.md
+++ b/SECURITY.md
@@ -8,7 +8,7 @@ Expected response: acknowledgement within 72 hours. No bug bounty program.
 
 ## Scope
 
-Pinax is in the design phase. No implementation code has landed. Security reports on the design itself (threat model gaps, missing requirements, unsafe architectural choices) are in scope and welcome.
+Phase 01 has landed: lexis (the six-type value system) and pinax (pager, buffer pool, B+tree) ship implementation code; hypomnema and phylaxis remain empty crates reserving their workspace position for later phases. Security reports against shipped implementation code (memory safety, data corruption, and - once those phases land - encryption and auth) are in scope, as are reports against the design itself (threat model gaps, missing requirements, unsafe architectural choices).
 
 ## Disclosure
 
diff --git a/_llm/architecture.toml b/_llm/architecture.toml
index 88ceb5e..595013c 100644
--- a/_llm/architecture.toml
+++ b/_llm/architecture.toml
@@ -5,4 +5,4 @@ generated = false
 
 [architecture]
 summary = "Planned layering: pager/buffer-pool -> B-tree -> WAL/transactions -> MVCC -> SQL parser/planner/executor -> indexes -> encryption -> changelog emission -> async surface."
-status = "design phase; no crates exist yet"
+status = "Phase 01 implemented: pager, buffer pool, and B+tree in pinax; six-type value system in lexis. hypomnema and phylaxis reserve their workspace position for later phases."
diff --git a/_llm/current_state.toml b/_llm/current_state.toml
index e06f0f2..97772c0 100644
--- a/_llm/current_state.toml
+++ b/_llm/current_state.toml
@@ -5,5 +5,5 @@ generated = false
 source_docs = ["README.md"]
 
 [state]
-summary = "Design-phase repo; specification is the active phase. Authoritative state tracking lives in the fleet planning home (forkwright/kanon projects/pinax)."
-current_phase = "Phase 0: specification"
+summary = "Phase 01 (pager / buffer pool / B-tree) implemented in lexis and pinax; hypomnema and phylaxis reserve their workspace position for later phases. Authoritative state tracking lives in the fleet planning home (forkwright/kanon projects/pinax)."
+current_phase = "Phase 01: pager / buffer pool / B-tree"
diff --git a/llms.txt b/llms.txt
index 94281d6..c2e6fa1 100644
--- a/llms.txt
+++ b/llms.txt
@@ -1,6 +1,6 @@
 # pinax
 
-> Relational storage engine for the forkwright fleet - design phase, no code yet.
+> Relational storage engine for the forkwright fleet. Four-crate workspace - lexis and pinax implement Phase 01 (pager / buffer pool / B-tree); hypomnema and phylaxis reserve their workspace position for later phases.
 
 ## Architecture