From 566b217be27903a4bb6c7989c4926d0e1a010a5a Mon Sep 17 00:00:00 2001 From: "K. Isom" Date: Sat, 17 Oct 2026 15:13:50 -0700 Subject: [PATCH] docs: drop stale current-state section from AGENTS.md --- AGENTS.md | 16 +--------------- 1 file changed, 1 insertion(+), 15 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 2ada1b8..88f4fdc 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -87,7 +87,7 @@ call `poll()` in its loop, and `observe()` when it sees something. `BLOOM_K=3`, `SUMMARY_INTERVAL_MS=2000`, `REASSEMBLY_TIMEOUT_MS=5000`, `SEND_QUEUE_CAP=256`, `MAX_FRAME=1500`. Match the exact values above. -## Crate layout and current state +## Crate layout ``` tines/ @@ -97,20 +97,6 @@ tines/ tines-sim/ std: simulator, contact traces, convergence property tests ``` -State of the plan (`docs/superpowers/plans/...tines-core-and-sim.md`): - -- **Done & committed:** Tasks 1–6 (workspace + Observation identity, wire - frames, Store/MemStore, salted Bloom summary, Transport trait, fragmentation - and reassembly). -- **Implemented, not committed:** Task 7 — `tines-core/src/exchange.rs` plus the - `lib.rs` changes. Commit it with the Task 7 message before starting Task 8. -- **Pending:** Task 8 (belief policies), 9 (`PairTransport` test helper), - 10 (Node facade + `tests/pair.rs` convergence test), 11–13 (simulator world, - harness, property tests), 14 (`scripts/ci.sh` + README). - -The `std` simulator is the test harness for the protocol; its convergence and -order-independence property tests are the main correctness evidence. - ## Not in scope for this plan `tines-udp`, `tines-sqlite`, `tines-cli`, and `tines-serial` belong to a second