You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: EXPLAINME.adoc
+23-2Lines changed: 23 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -32,9 +32,30 @@ This is the Model-Controller-Processor pattern: cartridges are pluggable service
32
32
33
33
== Dogfooded Across The Account
34
34
35
-
Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig) for cartridge FFI bridges. Critical path: Elixir server ↔ Idris2 ABI definitions ↔ Zig FFI ↔ C system libraries.
35
+
[cols="1,2,2", options="header"]
36
+
|===
37
+
| Technology / Pattern | Role in boj-server | Also Used In
38
+
39
+
| *Idris2 ABI + Zig FFI standard*
40
+
| `src/abi/Boj/` — Idris2 ABI definitions (Protocol, Domain, Catalogue, Safety); Zig FFI layer for cartridge C bridges
41
+
| gossamer, burble, ephapax, hypatia, verisimdb, typed-wasm — universal ABI/FFI pattern across the estate
42
+
43
+
| *Pluggable cartridge architecture*
44
+
| 96 cartridge directories (`cartridges/*/`), each with `abi/`, `ffi/`, `adapter/` structure; auto-discovered at startup via manifest scan
45
+
| echidna (prover orchestration as cartridges), hypatia (rule composition), gitbot-fleet (bot cartridges per service)
36
46
37
-
Cartridge pattern is reused in echidna (prover orchestration), gossamer (window management), and hypatia (rule composition).
0 commit comments