| | .apr | | |
| | .beads | | |
| | .claude | | |
| | .config | | |
| | .github | | |
| | artifacts | | |
| | connectors | | |
| | crates | | |
| | docs | | |
| | fuzz | | |
| | lean | | |
| | scenarios | | |
| | scripts | | |
| | specs | | |
| | tests | | |
| | .agent-mail-project-id | | 21 B |
| | .agent-mail.yaml | | 62 B |
| | .gitattributes | | 70 B |
| | .gitignore | | 3.8 KB |
| | .rchignore | | 282 B |
| | AGENTS.md | | 43.8 KB |
| | Cargo.lock | | 344.3 KB |
| | Cargo.toml | | 12.0 KB |
| | CHANGELOG.md | | 90.0 KB |
| | cline.mcp.json | | 247 B |
| | clippy.toml | | 1.9 KB |
| | codex.mcp.json | | 247 B |
| | cursor.mcp.json | | 247 B |
| | deny.toml | | 1.7 KB |
| | factory.mcp.json | | 345 B |
| | FCP_CDDL_V2.cddl | | 17.1 KB |
| | fcp_illustration.png | | 2.0 MB |
| | fcp_illustration.webp | | 337.4 KB |
| | FCP_Specification_V1.md | | 91.0 KB |
| | FCP_Specification_V2.md | | 229.7 KB |
| | FCP_Specification_V3.md | | 245.9 KB |
| | GEMINI_FINAL_REPORT.md | | 4.6 KB |
| | GEMINI_LANE1_CRYPTO.md | | 7.1 KB |
| | GEMINI_LANE2_MESH.md | | 11.3 KB |
| | GEMINI_LANE3_REVOCATION.md | | 5.1 KB |
| | GEMINI_LANE4_BOOTSTRAP.md | | 5.9 KB |
| | gemini.mcp.json | | 229 B |
| | gh_og_share_image.png | | 292.3 KB |
| | lake-manifest.json | | 3.1 KB |
| | lakefile.lean | | 327 B |
| | lean-toolchain | | 25 B |
| | LICENSE | | 3.8 KB |
| | Makefile | | 19.7 KB |
| | MODES_OF_REASONING_REPORT_AND_ANALYSIS_OF_PROJECT.md | | 30.6 KB |
| | opencode.json | | 265 B |
| | PLAN_FOR_TRUE_INTERACTIVE_END_TO_END_VERIFIED_TESTS_ON_MAC.md | | 12.3 KB |
| | README.md | | 275.3 KB |
| | rust-toolchain.toml | | 67 B |
| | storage.sqlite3.bak-shm | | 32.0 KB |
| | storage.sqlite3.bak-wal | | |
| | storage.sqlite3.corrupt-20260329_224837_202 | | 99.5 MB |
| | TODO_TRUE_INTERACTIVE_E2E_MAC_EXECUTION.md | | 22.3 KB |
| | UPGRADE_LOG.md | | 5.3 KB |
| | windsurf.mcp.json | | 247 B |
