From 1d2c96f5a98b1ab4ebe51a0a29dac1824d2b58f1 Mon Sep 17 00:00:00 2001 From: forkwright Date: Wed, 26 Aug 2026 14:01:06 -0500 Subject: [PATCH] docs: state what pinax has actually shipped Six files asserted pinax is pre-code design-phase. The tree disagrees: lexis ships the six-type value system and pinax ships the Phase 01 pager, buffer pool and B+tree, across v0.0.2 (2026-07-30) and v0.0.3 (2026-08-16). SECURITY.md is the one that mattered. Its Scope section told vulnerability reporters that no implementation code had landed and only design reports were in scope -- so someone finding a real memory-safety or data-corruption bug in the pager or B+tree would have read that and not reported it. Implementation code is now named as in scope, with design reports still welcome. The status text says which crates ship code and which do not, rather than a vague "under development": hypomnema and phylaxis are genuinely empty and reserve their workspace position for later phases, so calling all four implemented would be the same error pointed the other way. Found by grepping for the claim rather than fixing only the three files the report named -- AGENTS.md, CLAUDE.md and _llm/current_state.toml carried it too. --- AGENTS.md | 9 +++++---- CLAUDE.md | 14 ++++++++------ SECURITY.md | 2 +- _llm/architecture.toml | 2 +- _llm/current_state.toml | 4 ++-- llms.txt | 2 +- 6 files changed, 18 insertions(+), 15 deletions(-) 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 @@ # 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