docs: state what pinax has actually shipped

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
 

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

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
 

_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."

_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"

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