Skip to content

feat: ADR 0001 F3 — budgets, SDK entry, Remote roster bind - #59

Merged
RodCor merged 23 commits into
mainfrom
cursor/f3-budgets-sdk-c0da
Nov 6, 2026
Merged

RodCor merged 23 commits into
mainfrom
cursor/f3-budgets-sdk-c0da

Conversation

@RodCor

@RodCor RodCor commented Nov 5, 2026

Copy link
Copy Markdown
Owner

Summary

Implements ADR 0001 F3 stacked on F2 (#57): hot-path measurements, unified Rust SDK entry, Remote↔roster operator bind doc. Budgets met on the measured host.

Measurements

Harness: scripts/f3-hotpath.sh / crates/kimetsu-bus/examples/f3_hotpath.rs. Write-up: docs/adr/0001-f3-measurements.md.

Hardware Linux 6.12.94+ x86_64, Xeon, 4 cores, ~16 GiB
Corpus 2000 accepted repo memories, warm FTS, embeddings off
Warm context p99 4.226 ms (n=200, relay down) — pass
Small-pack direct QUIC verify 1.482 ms p99 (n=30, loopback) — pass
Relay up vs down on context p99 delta 0.773 ms; context does not dial — pass

Note: QUIC figure is loopback on one host, not a second LAN peer; excludes relay/failed punch/FTS rebuild.

SDK / Remote

  • kimetsu-sdk delegates to kimetsu-brain (no second DB). CLI, Remote (store.rs → durable.rs), MCP record/cite, and bus import-after-verify all go through it.
  • @kimetsu-ai/sdk unchanged (HTTP client only).
  • Operator bind doc: docs/operators/remote-namespace-roster.md (manual; bearer tokens ≠ pack signers).
  • Checkpoint limits / disposable projection unchanged. Remote does not depend on kimetsu-bus.
  • WAL + lock scope asserted for readers during open writes; announce persistence off the recall transaction.

Tests

brain 780, bus 15, chat 136, remote 269, cli 39+, sdk 1 — green.

Stack

RodCor and others added 6 commits November 5, 2026 14:36
ADR 0001 (Proposed): mounts, store ops, signed packs, iroh bus, Rust SDK, F0–F3.
Expand ADR 0001 (Proposed): mount levels and grants, store ops,
signed packs, iroh P2P bus, Rust SDK, performance budgets, F0–F3.
New events store repo for a project input, while retrieval still reads
stored project rows and labels them repo. Cite takes helped, noop, or
harmed, and only helped can raise usefulness. Contamination checks
cover merge, replace, replay, warm-start lanes, and a repo-only MCP read.

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Sign the scrubbed canonical body with BLAKE3 and Ed25519, keep a
local trust store, and reject scope mismatches before any SQL write.
Unknown signers quarantine. Unsigned v1 import stays.

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Announcements and kimetsu_pack 2 move over QUIC. The receiver verifies
with the F1 signer and imports through the existing store path.

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Record warm context, direct QUIC verify, and relay-down versus relay-up
on this host, and send CLI and Remote store calls through kimetsu-sdk.

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>

@RodCor RodCor left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

verdict: fail / would request changes (own-PR limitation)

fail until inherited clippy is fixed and f3 ci finishes green.

budgets on the measured host meet §7 numerically (warm context p99 4.226 ms; pack verify p99 1.482 ms). operator roster bind doc is correct; kimetsu-sdk unifies store ops for cli/remote/mcp without a second db; remote stays off the bus; no generative llm on warm/context.

blocker (inherited from #55): episode.rs:358 clippy still on this head.

should-fix:

  1. quic figure is loopback on one host, not second-host lan as §7 names — disclosed, but exit checklist should stay honest or re-measure.
  2. adr §5 lists request_pack on the unified rust sdk; code keeps it on kimetsu-bus. align code or adr before calling f3 closed.

Comment thread docs/adr/0001-f3-measurements.md Resolved
Comment thread crates/kimetsu-sdk/src/lib.rs Resolved
cursoragent and others added 14 commits November 5, 2026 22:40
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
…-12d7

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
…ac97

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
…ac97

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
@RodCor RodCor closed this Nov 5, 2026
@RodCor RodCor reopened this Nov 5, 2026
Base automatically changed from cursor/f2-memory-bus-ac97 to main November 6, 2026 04:23
cursoragent and others added 3 commits November 6, 2026 04:26
…-c0da

Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>

# Conflicts:
#	Cargo.lock
#	crates/kimetsu-brain/src/mount.rs
#	crates/kimetsu-bus/Cargo.toml
#	crates/kimetsu-bus/src/endpoint.rs
#	crates/kimetsu-bus/src/lib.rs
#	crates/kimetsu-bus/tests/f2_exit.rs
#	crates/kimetsu-chat/src/mcp_server.rs
#	crates/kimetsu-cli/src/commands/brain.rs
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
Co-authored-by: Rodrigo <rodrigo.ccordoba@hotmail.com>
@RodCor
RodCor merged commit 753cf28 into main Nov 6, 2026
21 checks passed
@RodCor
RodCor deleted the cursor/f3-budgets-sdk-c0da branch November 6, 2026 12:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants