Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
232 commits
Select commit Hold shift + click to select a range
b951e54
fix: Remove Debug formatting requirement in firecracker DST test
rita-aga Jan 19, 2026
f4f0e28
fix: Use derive(Default) for RoutingPolicy and ToolSignal
rita-aga Jan 19, 2026
f75fc47
fix: Use if let instead of match for single pattern
rita-aga Jan 19, 2026
8e4d1f5
docs: Fix unclosed HTML tags in doc comments
rita-aga Jan 19, 2026
0b7042a
feat(dst): Add KvAdapter for unified storage (Phase 1.1)
rita-aga Jan 19, 2026
d986032
feat(dst): Complete Phase 1 - Deprecate old SimStorage, provide migra…
rita-aga Jan 19, 2026
af75225
docs(dst): Update Phase 1 completion status and verification results
rita-aga Jan 19, 2026
31c14b8
feat: Add MCP tool retrieval and execution endpoints
rita-aga Jan 19, 2026
c970153
feat(dst): Add TimeProvider for deterministic async sleep (Phase 2)
rita-aga Jan 19, 2026
3b1c28a
feat: Add /v1/groups API endpoint (Letta compatibility)
rita-aga Jan 19, 2026
7e7c984
feat(dst): Complete Phase 2 - Migrate all remaining DST tests to use …
rita-aga Jan 19, 2026
38fa654
feat: Make FoundationDB default feature
rita-aga Jan 19, 2026
e650483
refactor(dst): Phase 3 - Honest test labeling (rename chaos tests)
rita-aga Jan 19, 2026
259ea70
feat: Fix Groups API Letta compatibility
rita-aga Jan 19, 2026
2a11b83
feat(dst): Complete Phase 1.2 and 1.3 - Storage Unification
rita-aga Jan 19, 2026
b8d0668
feat(dst): Phase 2 Foundation - Runtime abstraction with madsim
rita-aga Jan 19, 2026
2e8b891
feat(dst): Phase 2.2-2.4 - Pilot migration and determinism verification
rita-aga Jan 19, 2026
8fcf6a8
feat(dst): Phase 2.5 COMPLETE - All DST tests migrated to madsim
rita-aga Jan 19, 2026
12ae578
docs(dst): Document Phase 2.6 scope and remaining gap
rita-aga Jan 20, 2026
a43f621
plan(dst): Phase 2.6 detailed implementation plan
rita-aga Jan 20, 2026
c9243ad
feat: Make kelpie-runtime generic over Runtime trait (Phase 2.6.1)
rita-aga Jan 20, 2026
683fe16
feat: DST Phase 2.6.2 - Make kelpie-server generic over Runtime trait
rita-aga Jan 20, 2026
d4536af
chore: DST Phase 2.6.3 - Add madsim to kelpie-server dev-dependencies
rita-aga Jan 20, 2026
52603dd
test: Add pilot test demonstrating Runtime integration (Phase 2.6.4)
rita-aga Jan 20, 2026
f19df98
refactor: Migrate DST tests to use Runtime abstraction (Phase 2.6.5 p…
rita-aga Jan 20, 2026
7b7d099
refactor: Migrate agent_service_send_message_full_dst to Runtime (5 t…
rita-aga Jan 20, 2026
831cd00
refactor: Migrate agent_streaming and llm_token_streaming DST tests (…
rita-aga Jan 20, 2026
c92773c
fix: Make register_builtin_tools generic over Runtime
rita-aga Jan 20, 2026
817bbf6
refactor: Make entire API layer generic over Runtime
rita-aga Jan 20, 2026
9b606e9
refactor: Migrate 17 DST test files to Runtime pattern
rita-aga Jan 20, 2026
3f04ca7
feat(dst): Add runtime factory with madsim feature flag for determinism
rita-aga Jan 20, 2026
8224450
docs(plan): Document Phase 2.6.7 - runtime factory with feature flags
rita-aga Jan 20, 2026
a769a69
feat: Add MCP tool integration with dynamic loading and registration
rita-aga Jan 20, 2026
53f582a
feat: Refactor Message model to use singular tool_call for Letta comp…
rita-aga Jan 20, 2026
df48636
feat: Add Repo OS foundation infrastructure (Phase 1)
rita-aga Jan 20, 2026
c5b51c1
fix: MCP tool integration - protocol, filtering, and ID matching
rita-aga Jan 20, 2026
58d6047
feat(indexer): Add dependency graph generation with cargo metadata
rita-aga Jan 20, 2026
e1a18ba
feat(indexer): Add test index with categorization and topic extraction
rita-aga Jan 21, 2026
0b79e5b
feat(indexer): Add module hierarchy index with recursive parsing
rita-aga Jan 21, 2026
50e00ab
docs(indexer): Add Phase 3 semantic indexing infrastructure and design
rita-aga Jan 21, 2026
bb9e433
refactor(indexer): Remove optional embeddings from Phase 3 infrastruc…
rita-aga Jan 21, 2026
fecd7b2
feat: Implement MCP tool pre-registration at server creation
rita-aga Jan 21, 2026
4c8abd0
feat(rlm): Add Phase 3b RLM Environment Python package
rita-aga Jan 21, 2026
707d20e
docs(plan): Update Phase 3b completion status in progress plan
rita-aga Jan 21, 2026
0b5982e
fix(rlm): Address Phase 3b review feedback - complete implementation
rita-aga Jan 21, 2026
f8d52b6
feat(mcp): Add Phase 4.1-4.4 MCP Server with 14 tools
rita-aga Jan 21, 2026
8478cab
feat(mcp): Complete Phase 4 with phases 4.5-4.8 (20 tools total)
rita-aga Jan 21, 2026
28525a6
feat(mcp): Add constraint enforcement tools (Phase 4.2)
rita-aga Jan 21, 2026
e7b1273
feat(mcp): Add RLM sandbox execution tools (Phase 4.7)
rita-aga Jan 21, 2026
9bcc103
feat(mcp): Add DST coverage checking tools (Phase 4.9)
rita-aga Jan 21, 2026
03cbc91
feat(mcp): Add direct codebase access tools
rita-aga Jan 21, 2026
17f0976
feat(mcp): Add harness_check tool (Phase 4.10)
rita-aga Jan 21, 2026
5a97753
refactor(mcp): Add tests, refactor routing, improve type safety
rita-aga Jan 21, 2026
44fa7f3
fix(mcp): Fix critical subprocess bugs and complete Phase 4 improvements
rita-aga Jan 21, 2026
6697fc6
fix: Complete MCP tool integration with FDB storage
rita-aga Jan 21, 2026
96a8055
feat(rlm): Complete Phase 5 - RLM Skills and Soft Controls
rita-aga Jan 21, 2026
6637a7a
feat(hard-controls): Complete Phase 6 - Git Hooks and Hard Controls
rita-aga Jan 21, 2026
ae1654e
style: Fix code formatting (pre-commit hook enforcement)
rita-aga Jan 21, 2026
2926ae1
fix(mcp): Address Phase 6 review gaps - git SHA freshness, audit trai…
rita-aga Jan 21, 2026
e253eb2
feat(indexer): Complete Phase 7 - Parallel and Incremental Index Buil…
rita-aga Jan 21, 2026
7c5ed35
fix(mcp): Complete Phase 6 audit trail - Log tool results after execu…
rita-aga Jan 21, 2026
08f18d4
docs(plan): Update Phase 6 audit trail completion notes
rita-aga Jan 21, 2026
83fcc65
feat(indexer): Add auto-validation and build progress tracking (Phase…
rita-aga Jan 21, 2026
c4e67c7
docs(plan): Update Phase 7 with review fixes and mark complete
rita-aga Jan 21, 2026
b482912
docs(plan): Add Phase 10 Codebase Intelligence Layer and technical re…
rita-aga Jan 21, 2026
2d51005
fix(indexer): Add proper error handling to call mark_index_failed()
rita-aga Jan 21, 2026
fb52ca1
wip(phase8): Add test fixtures and integration tests (in progress)
rita-aga Jan 21, 2026
67c8042
feat(phase8): Complete Phase 8.1 - Integration tests for indexer (7/7…
rita-aga Jan 21, 2026
a1c8bdd
docs(phase8): Update plan - Phase 8.1 complete, 7/7 tests passing
rita-aga Jan 21, 2026
997c279
feat(phase8): Add Phase 8.2 MCP tool integration tests (7/7 passing)
rita-aga Jan 21, 2026
dc61a36
docs(phase8): Update plan - Phase 8.2 complete, 7/7 integration tests…
rita-aga Jan 21, 2026
4e362bb
feat(phase8): Add Phase 8.3 index consistency tests (8/8 passing)
rita-aga Jan 21, 2026
0de0079
docs(phase8): Update plan - Phase 8.3 complete, 8/8 consistency tests…
rita-aga Jan 21, 2026
75a7267
feat: Implement RegistryActor for message-based agent registration (O…
rita-aga Jan 21, 2026
5e95d14
refactor: Migrate TeleportService to use RegistryActor (Phase 3)
rita-aga Jan 22, 2026
cde4091
fix: Fix FDB streaming mode and agent count consistency
rita-aga Jan 22, 2026
c500aff
refactor: Migrate API layer to use RegistryActor (Phase 4)
rita-aga Jan 22, 2026
fe871bc
fix: Sort agents by created_at descending (newest first)
rita-aga Jan 22, 2026
2f9a657
test: Add DST coverage for RegistryActor (Phase 5)
rita-aga Jan 22, 2026
42d0547
fix: Simplify list_agents_async to use storage directly
rita-aga Jan 22, 2026
74dc667
chore: Remove archived code + Add VDE consolidation plan
rita-aga Jan 22, 2026
799c8a4
feat: Add Python MCP server structure (VDE-aligned)
rita-aga Jan 22, 2026
3795ea5
feat: Implement AgentFS integration (Phase 3)
rita-aga Jan 22, 2026
1290857
feat: Implement RLM environment port (Phase 4)
rita-aga Jan 22, 2026
8958430
feat: Port indexer to Python (Phase 5)
rita-aga Jan 22, 2026
a53e0ec
feat: Port tools from TypeScript MCP (Phase 6)
rita-aga Jan 22, 2026
b772d37
docs: Update documentation for Python MCP server (Phase 8)
rita-aga Jan 22, 2026
4d4e013
chore: Remove old TypeScript MCP, Rust indexer, and rlm-env (Phase 9)
rita-aga Jan 22, 2026
90db0ce
chore: Remove completed progress files and outdated code
rita-aga Jan 23, 2026
c03b8a4
docs: Add EDN spec format for frontend verification
rita-aga Jan 23, 2026
8310c27
feat(registry): implement RoundRobin placement strategy and add tests
rita-aga Jan 23, 2026
25aa946
feat(cluster): Implement ClusterRpcHandler for migration/forwarding (…
rita-aga Jan 23, 2026
8e04cd1
feat(cluster): Wire RPC handler to transports and add request forwarding
rita-aga Jan 23, 2026
4890562
feat(cluster): Add ActorStateProvider and implement drain_actors migr…
rita-aga Jan 24, 2026
3c04072
fix: Resolve clippy warnings for pre-commit hook
rita-aga Jan 24, 2026
6944f30
feat: Letta compatibility improvements (Phases 4-6)
rita-aga Jan 24, 2026
f5142ef
feat: Complete Phase 7 - configurable defaults and documentation
rita-aga Jan 24, 2026
63b4a53
feat(storage): Add Write-Ahead Log (WAL) for operation atomicity
rita-aga Jan 24, 2026
d61322a
feat(tla): Add KelpieLease TLA+ spec for lease-based ownership (#5)
rita-aga Jan 24, 2026
ba07413
feat(tla): Add KelpieMigration.tla TLA+ specification (#3)
rita-aga Jan 24, 2026
d97ee22
feat(tla): Add KelpieActorLifecycle.tla spec for actor lifecycle veri…
rita-aga Jan 24, 2026
58a70e8
feat(tla): Add KelpieActorState TLA+ specification with RollbackCorre…
rita-aga Jan 24, 2026
be8cbf1
feat(tla): Add KelpieFDBTransaction.tla specification (#4)
rita-aga Jan 24, 2026
832bab9
feat(tla): Add KelpieTeleport.tla formal specification (#6)
rita-aga Jan 24, 2026
212f00a
feat(tla): Add liveness properties to KelpieSingleActivation.tla (#7)
rita-aga Jan 24, 2026
34a4b21
feat(registry): Add TLA+ spec with liveness properties (#8)
rita-aga Jan 24, 2026
fd13f8f
feat(tla): Add liveness properties to KelpieWAL.tla (#9)
rita-aga Jan 24, 2026
fd831da
feat(tla): Add KelpieClusterMembership TLA+ specification (#10)
rita-aga Jan 24, 2026
b1962e5
feat(tla): Add KelpieAgentActor.tla formal specification (#12)
rita-aga Jan 24, 2026
b28a254
Merge pull request #13 from rita-aga/feat/tla-agent-actor-spec
rita-aga Jan 24, 2026
9df7d45
docs: Add missing ADRs for TLA+ coverage (Fixes #11)
rita-aga Jan 24, 2026
745e38d
Merge pull request #14 from rita-aga/docs/adr-tla-coverage
rita-aga Jan 24, 2026
01720f5
feat(dst): Implement deterministic async task scheduling (#15) (#28)
rita-aga Jan 24, 2026
36750cf
feat(dst): Add TLA+ invariant verification framework (#17) (#27)
rita-aga Jan 24, 2026
3c160eb
feat(dst): Add asymmetric network partition support to SimNetwork (#2…
rita-aga Jan 24, 2026
61207c0
fix(dst): Add test_kv_state_atomicity_under_crash (Fixes #21) (#25)
rita-aga Jan 24, 2026
c632552
feat(dst): Add CI enforcement for non-deterministic patterns (#23) (#26)
rita-aga Jan 24, 2026
16b83a9
fix: Replace deleted AgentService methods in tests
rita-aga Jan 24, 2026
d0492a4
feat(dst): Add lease acquisition and expiry testing (#22)
rita-aga Jan 24, 2026
e491df0
feat(dst): Add SingleActivation invariant DST tests (#16)
rita-aga Jan 24, 2026
5af1e73
Merge pull request #29 from rita-aga/dst/lease-testing
rita-aga Jan 24, 2026
884685b
Merge pull request #31 from rita-aga/dst/single-activation
rita-aga Jan 24, 2026
03a3388
feat(dst): Add network partition tolerance tests (#18)
rita-aga Jan 24, 2026
6926342
Merge pull request #30 from rita-aga/dst/partition-testing
rita-aga Jan 24, 2026
8e68d34
feat(dst): Add liveness property testing framework (#19)
rita-aga Jan 24, 2026
afa9762
Merge pull request #32 from rita-aga/dst/liveness-testing
rita-aga Jan 24, 2026
0ba0729
docs(dst): Improve TestClock and yield_now documentation
rita-aga Jan 24, 2026
dda29ab
fix(dst): Clean up DST test framework (Issue #34)
rita-aga Jan 24, 2026
3d2efca
Merge pull request #38 from rita-aga/issue-34-dst-cleanup
rita-aga Jan 24, 2026
62c1a8a
feat(tla): Add KelpieLinearizability spec and cross-module compositio…
rita-aga Jan 24, 2026
21b015a
feat(dst): Add FoundationDB-critical fault types (#36) (#39)
rita-aga Jan 24, 2026
aa9c746
feat(dst): Strengthen ADR→TLA+→DST pipeline (Fixes #35) (#44)
rita-aga Jan 24, 2026
932905c
feat(tla): extend KelpieLease with TTL, grace period, false suspicion…
rita-aga Jan 24, 2026
fce91be
feat(dst): Implement real bounded liveness testing (Issue #40) (#46)
rita-aga Jan 24, 2026
57d0577
feat(dst): Add cluster membership DST tests (Issue #41)
rita-aga Jan 25, 2026
92c1f8d
docs: Update progress file with completion status
rita-aga Jan 25, 2026
fb14518
feat: Add GitHub @claude integration for automated development
rita-aga Jan 25, 2026
d0e0bab
Merge pull request #47 from rita-aga/issue-41-cluster-membership
rita-aga Jan 25, 2026
adf9cbb
fix: Correct GitHub Actions if condition syntax for @claude detection
rita-aga Jan 25, 2026
70f3754
fix(tla): use strong fairness for lease acquisition and add config fi…
rita-aga Jan 25, 2026
3da246b
Merge pull request #56 from rita-aga/fix/issue-42-lease-fairness-and-…
rita-aga Jan 25, 2026
b2d130e
feat(mcp): Add production hardening - reconnection, graceful shutdown…
rita-aga Jan 25, 2026
2b4f51c
feat: Add Letta SDK agent type aliases for drop-in compatibility (#60)
rita-aga Jan 25, 2026
1fb9e16
fix: Add 'text' field alias for Letta archival memory compatibility (…
rita-aga Jan 25, 2026
bff49fc
feat: implement token-by-token streaming (Issue #54) (#58)
rita-aga Jan 25, 2026
fd2b73f
feat: Add OCC support to SimStorage and fdb_transaction_dst.rs tests …
rita-aga Jan 25, 2026
64df106
fix(dst): Replace direct I/O calls with injected TimeProvider (Issue …
rita-aga Jan 25, 2026
2fddae3
fix(registry): Address code quality issues from review
rita-aga Jan 25, 2026
ec4d922
Merge pull request #68 from rita-aga/fix/issue-62-io-providers
rita-aga Jan 25, 2026
b8cc753
fix(mcp): Make tool discovery async to prevent server creation timeou…
rita-aga Jan 25, 2026
b3bfec9
fix: resolve agent list API race condition (Issue #63) (#66)
rita-aga Jan 25, 2026
fe37813
fix: Add Letta SDK tool_call format compatibility (#69)
rita-aga Jan 25, 2026
9cec5a4
fix: Sync HashMap with AgentService in memory mode for list operations
rita-aga Jan 25, 2026
4b7d7f9
docs: Update Letta test documentation with resolution status
rita-aga Jan 25, 2026
f5e6f3a
test: Add verification tests for Letta SDK compatibility fixes
rita-aga Jan 25, 2026
44a6daa
Add SnapshotReads invariant to KelpieFDBTransaction spec
Jan 27, 2026
ac66785
TLA+: Complete KelpieActorLifecycle.tla spec per issue #8
Jan 27, 2026
83348f3
fix(tla): Add Terminated stutter step to prevent deadlock
Jan 27, 2026
1165fcf
fix(tla): Clarify single-threaded semantics and fix buggy config
Jan 27, 2026
5eebfaf
Merge branch 'fix/issue-9-tla-fdb-transaction'
Jan 27, 2026
99c33fa
feat: FDB Production Readiness (#74) (#79)
rita-aga Jan 28, 2026
b029954
feat(cluster): implement FdbRegistry multi-node cluster membership (#77)
rita-aga Jan 28, 2026
587e70d
fix(cluster): refactor DST tests to use production code (#77)
rita-aga Jan 28, 2026
be91489
style(cluster): format cluster_testable.rs
rita-aga Jan 28, 2026
d37e4e6
Merge pull request #80 from rita-aga/feat/issue-77-fdbregistry-multin…
rita-aga Jan 28, 2026
197eeb3
fix(mcp): correct .env path resolution for sub_llm API key
rita-aga Jan 28, 2026
cc6cda7
feat(tools): implement multi-agent communication foundation (Issue #75)
rita-aga Jan 28, 2026
fe20d6f
docs(spec): mark multi-agent communication spec as complete
rita-aga Jan 28, 2026
2825deb
feat(tools): complete dispatcher integration for call_agent (Issue #75)
rita-aga Jan 28, 2026
e4b4e51
feat(tools): wire dispatcher into ToolExecutionContext for agent-to-a…
rita-aga Jan 28, 2026
ac54e7e
docs(progress): update multi-agent communication plan - dispatcher wi…
rita-aga Jan 28, 2026
c0dd63c
docs(spec): complete multi-agent communication v2 verification
rita-aga Jan 28, 2026
b7b484d
Merge pull request #81 from rita-aga/feat/issue-75-multi-agent-commun…
rita-aga Jan 28, 2026
3e6652c
docs: split CLAUDE.md to reduce context size (48KB -> 6.8KB)
rita-aga Jan 28, 2026
967c82d
feat: implement minimal assistant gaps (Option A)
rita-aga Jan 28, 2026
7b96e8a
feat(security): Add API key authentication and audit logging
rita-aga Jan 28, 2026
5b7c226
feat: implement OpenAI SSE streaming support (#82)
rita-aga Jan 28, 2026
11bb78a
ci: install FDB client in all CI jobs requiring compilation
rita-aga Jan 28, 2026
4c8506f
feat(audit): Integrate audit logging into tool execution
rita-aga Jan 28, 2026
0167c44
fix(audit): Wire audit_log through AgentActor to fix silent logging gap
rita-aga Jan 28, 2026
8c0396f
test(audit): Add integration tests for audit logging
rita-aga Jan 28, 2026
3f5d6e0
fix(ci): resolve clippy, docs, and DST check script issues
rita-aga Jan 28, 2026
a5b148f
fix(ci): fix FDB integration tests container health check
rita-aga Jan 29, 2026
a3835f5
fix(ci): resolve fault injection test failures and doc issues
rita-aga Jan 29, 2026
c04d606
fix(ci): use docker exec for FDB initialization
rita-aga Jan 29, 2026
9d46fa5
docs: add ADR-029 Federated Peer Architecture
rita-aga Jan 29, 2026
6c35b63
fix(ci): make FDB integration tests optional
rita-aga Jan 29, 2026
08ed032
fix(storage): ensure delete atomicity and proper agent_id filtering
rita-aga Jan 29, 2026
931a88f
fix(storage): proper key schema with agent_id scoping
rita-aga Jan 29, 2026
a0d58e9
fix(tools): DST compliance and dead code removal
rita-aga Jan 29, 2026
bd355e9
feat(dst): Add fault injection support for WASM runtime and custom tools
rita-aga Jan 29, 2026
a7d48e9
feat(dst): Add SimHttpClient for deterministic HTTP testing
rita-aga Jan 29, 2026
8f5f87c
Merge pull request #84 from rita-aga/feature/sandboxed-agents
rita-aga Jan 29, 2026
59940af
fix(memory): Use ContextAwareToolHandler to get agent_id from context…
rita-aga Jan 29, 2026
d3002c9
feat: add propose_improvement to MemgptAgent allowed tools
rita-aga Jan 29, 2026
e4fa77d
fix(dst): Migrate 3 DST test files to conditional madsim/tokio runtime
rita-aga Jan 29, 2026
7da802c
fix(dst): Complete migration of all DST test files to madsim
rita-aga Jan 29, 2026
c733618
fix(dst): Improve DST test determinism and add fault injection coverage
rita-aga Jan 30, 2026
99bf0a7
docs: Verify KelpieRegistry.tla spec is complete (closes #93)
rita-aga Jan 30, 2026
6b6c4b6
docs(progress): Document investigation of issue #95
rita-aga Jan 30, 2026
7d20817
fix(dst): Remove stub tests and migrate concurrent test to simhttp
rita-aga Jan 30, 2026
ff486b4
feat(registry): Align Registry DST tests with TLA+ invariants
rita-aga Jan 30, 2026
30a4b1d
feat(tla): Add BUGGY mode to KelpieSingleActivation.tla
rita-aga Jan 30, 2026
020a211
fix(dst): Remove mock memory_tools_dst.rs in favor of real implementa…
rita-aga Jan 30, 2026
cc47e9c
fix(storage): Add atomic checkpoint to SimStorage matching FDB semantics
rita-aga Jan 30, 2026
9d51db9
chore(workspace): Add kelpie-server to workspace dependencies
rita-aga Jan 30, 2026
106fa34
Merge pull request #130 from rita-aga/issue-93-registry-tla
rita-aga Jan 30, 2026
12eb4a9
Merge pull request #131 from rita-aga/issue-95-agent-actor-tla
rita-aga Jan 30, 2026
1df8369
Merge pull request #132 from rita-aga/issue-109-real-adapter-dst
rita-aga Jan 30, 2026
45dc2ac
Merge pull request #134 from rita-aga/issue-94-single-activation-tla
rita-aga Jan 30, 2026
acf89a8
Merge pull request #135 from rita-aga/issue-90-registry-dst-tla
rita-aga Jan 30, 2026
e0cf17e
Merge pull request #136 from rita-aga/issue-87-simstorage-fdb
rita-aga Jan 30, 2026
16048ab
fix(dst): Add missing error handling tests to memory_tools_real_dst.rs
rita-aga Jan 30, 2026
3d990dd
Merge pull request #133 from rita-aga/issue-112-memory-tools-dst
rita-aga Jan 30, 2026
aba15ab
refactor(server): Remove HashMap fallbacks - AgentService as single s…
rita-aga Jan 30, 2026
087a185
Merge pull request #137 from rita-aga/feature/sandboxed-agents
rita-aga Jan 30, 2026
4a42aa2
chore: Remove unused telegram interface
rita-aga Jan 30, 2026
f9a52c4
Merge pull request #138 from rita-aga/feature/sandboxed-agents
rita-aga Jan 30, 2026
6f2af56
fix(dst): Replace mocks with fault-injectable components (Epic #88 Ph…
rita-aga Jan 30, 2026
17453d6
refactor(dst): Address code review feedback from Epic #88
rita-aga Jan 30, 2026
28cf702
docs: Update Epic #88 progress with code review feedback completion
rita-aga Jan 30, 2026
abf4403
fix(server): Continuation-based execution for deadlock-free tool hand…
rita-aga Jan 30, 2026
bfa1ee6
docs: Fix misleading linearizability coverage status in VERIFICATION.md
rita-aga Jan 30, 2026
58f20bf
feat(server): Add HTTP API linearizability with idempotency tokens (#49)
rita-aga Jan 30, 2026
ecb92fb
Merge pull request #144 from rita-aga/feature/issue-49-http-lineariza…
rita-aga Jan 30, 2026
4045cde
fix(dst): Replace non-deterministic sources in DST tests (#140)
rita-aga Jan 31, 2026
8f92bdd
docs(verification): Add multi-agent DST coverage for Issue #141
rita-aga Jan 31, 2026
be0f253
refactor(vm): Replace Apple VZ with libkrun for hardware VM isolation
rita-aga Jan 31, 2026
ba43a8e
refactor(server): Reduce cognitive complexity in high-traffic files (…
rita-aga Jan 31, 2026
49d8ee9
fix(core): Consolidate error types and clean up dead code (#92, #142)
rita-aga Jan 31, 2026
0693e63
Merge pull request #146 from rita-aga/fix/issues-92-142
rita-aga Jan 31, 2026
f550264
feat(vm): Add libkrun rootfs and vsock communication support
rita-aga Feb 1, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
73 changes: 73 additions & 0 deletions .agentfs/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,73 @@
# AgentFS - Agent State Storage

SQLite-backed storage for agent state and audit trail. This directory is git-ignored and contains ephemeral agent memory.

## Database Schema

The `agent.db` SQLite database contains:

### Tables

#### `agent_state`
Agent's current working context:
- `key` (TEXT PRIMARY KEY) - State key (e.g., "current_task", "plan")
- `value` (TEXT) - State value (JSON)
- `updated_at` (TEXT) - ISO 8601 timestamp

#### `verified_facts`
Facts verified by execution (not by reading docs):
- `id` (INTEGER PRIMARY KEY)
- `claim` (TEXT) - The claim being verified
- `method` (TEXT) - How it was verified (e.g., "test execution", "cargo clippy")
- `result` (TEXT) - The verification result (JSON)
- `verified_at` (TEXT) - ISO 8601 timestamp

#### `audit_log`
Audit trail of all tool calls:
- `id` (INTEGER PRIMARY KEY)
- `timestamp` (TEXT) - ISO 8601 timestamp
- `tool` (TEXT) - Tool name
- `args` (TEXT) - Tool arguments (JSON)
- `result` (TEXT) - Tool result (JSON)
- `git_sha` (TEXT) - Git SHA at time of call

## Inspecting the Database

```bash
# Open SQLite shell
sqlite3 .agentfs/agent.db

# View current task
SELECT * FROM agent_state WHERE key = 'current_task';

# View recent verified facts
SELECT claim, method, verified_at FROM verified_facts ORDER BY verified_at DESC LIMIT 10;

# View audit log
SELECT timestamp, tool, args FROM audit_log ORDER BY timestamp DESC LIMIT 20;
```

## Usage via MCP Tools

(Phase 4 - not yet implemented)

```javascript
// Get state
mcp.state_get('current_task')

// Set state
mcp.state_set('current_task', {description: 'Building indexes', phase: 1})

// Start task
mcp.state_task_start('Build symbol index')

// Store verified fact
mcp.state_verified_fact('All tests pass', 'cargo test', {exit_code: 0, tests_run: 74})

// Complete task
mcp.state_task_complete({proof: 'test_output_sha256'})
```

## Maintenance

This database is ephemeral and can be deleted at any time. It will be recreated automatically. The database should be git-ignored.
Binary file added .agentfs/agent.db
Binary file not shown.
Binary file added .agentfs/agentfs-05de9bd462cf.db
Binary file not shown.
Binary file added .agentfs/agentfs-05de9bd462cf.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-0b91396f24c7.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-0bcace098c84.db
Binary file not shown.
Binary file added .agentfs/agentfs-0bcace098c84.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-0eb259434a6e.db
Binary file not shown.
Binary file added .agentfs/agentfs-0eb259434a6e.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-1804604b34c4.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-20c82d622971.db
Binary file not shown.
Binary file added .agentfs/agentfs-20c82d622971.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-2b042388f4b5.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-3b2c294aeb1a.db
Binary file not shown.
Binary file added .agentfs/agentfs-3b2c294aeb1a.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-416e1a7c5098.db
Binary file not shown.
Binary file added .agentfs/agentfs-416e1a7c5098.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-424d3544724d.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-47274c4f534e.db
Binary file not shown.
Binary file added .agentfs/agentfs-47274c4f534e.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-4d8a1e979a66.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-6242a2e467a0.db
Binary file not shown.
Binary file added .agentfs/agentfs-6242a2e467a0.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-63346a7210f1.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-7a9a9709004e.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-a6762816cca4.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-ac9672392842.db
Binary file not shown.
Binary file added .agentfs/agentfs-ac9672392842.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-b3a5b66777bd.db
Binary file not shown.
Binary file added .agentfs/agentfs-b3a5b66777bd.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-b49c4b5b4e6e.db
Binary file not shown.
Empty file.
Binary file added .agentfs/agentfs-d322a9b3c5a0.db
Binary file not shown.
Binary file added .agentfs/agentfs-d322a9b3c5a0.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-f120d82dfa18.db
Binary file not shown.
Binary file added .agentfs/agentfs-f120d82dfa18.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-f5123a33048b.db
Binary file not shown.
Binary file added .agentfs/agentfs-f5123a33048b.db-wal
Binary file not shown.
Binary file added .agentfs/agentfs-ff1890b32d4e.db
Binary file not shown.
Binary file added .agentfs/agentfs-ff1890b32d4e.db-wal
Binary file not shown.
Loading
Loading