feat(ffi): scaffold and compile remaining 12 cartridges — FFI wiring complete

All 111 non-JS-only cartridges now have a compiled .so and canonical ffi block
in cartridge.json. This commit adds the final 12 that were missing build.zig:

Group A (had stub Zig source, replaced with clean ADR-0006 impl):
  academic-workflow-mcp, bofig-mcp, ephapax-mcp, fireflag-mcp,
  hesiod-mcp, sanctify-mcp

Group B (had only README.adoc in ffi/, written from scratch):
  claude-agents-power-mcp, coderag-mcp, local-memory-mcp,
  notifyhub-mcp, opendatamcp, origenemcp

Each cartridge receives:
  - *_ffi.zig: 5-symbol ADR-0006 ABI with stub tool dispatch table
  - build.zig: canonical dynamic-library target (x86_64-linux-gnu)
  - cartridge_shim.zig: copy of shared null-guard/tool-compare helper
  - cartridge.json ffi block: so_path=ffi/zig-out/lib/lib<module>.so,
    abi_version=ADR-0006, 5-symbol list

All 12 build clean (zig build ReleaseFast), all 12 pass boj-invoke probe.
165 Elixir tests remain green (0 failures).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -41,8 +41,8 @@ milestones = [
 
 [quality]
 cartridges-total            = 112   # all 112 have cartridge.json + mod.js as of 2026-04-25
-cartridges-with-zig-ffi     = 1     # boj-health only — the Zig .so reference implementation
-cartridges-with-js-mod      = 111   # mod.js dispatch via Deno worker pool
+cartridges-with-zig-ffi     = 111   # all cartridges with ffi key + compiled .so (model-router-mcp intentionally excluded)
+cartridges-with-js-mod      = 111   # mod.js dispatch via Deno worker pool (model-router-mcp is canonical JS-only)
 cartridges-with-both        = 0     # no cartridge uses both paths
 exunit-tests                = 165   # 10 properties + 155 regular tests across 9 files; CRG C threshold met 2026-04-25
 zig-ffi-chain-verified      = true  # boj-invoke → dlopen → libboj_health.so end-to-end tested 2026-04-25
@@ -72,6 +72,7 @@ test-coverage = "CLOSED 2026-04-25 — 165 ExUnit tests; CRG C met"
 
 [session-history]
 entries = [
+  { date = "2026-04-25", description = "FFI wiring complete — all 111 cartridges now have compiled .so + ffi key in cartridge.json. Scaffolded 12 remaining cartridges (6 with existing stub Zig source replaced with clean ADR-0006 impl: academic-workflow-mcp, bofig-mcp, ephapax-mcp, fireflag-mcp, hesiod-mcp, sanctify-mcp; 6 written from scratch: claude-agents-power-mcp, coderag-mcp, local-memory-mcp, notifyhub-mcp, opendatamcp, origenemcp). Each: *_ffi.zig (5-symbol ADR-0006 ABI + tool stubs) + build.zig + cartridge_shim.zig + canonical ffi block in cartridge.json with so_path=ffi/zig-out/lib/lib<module>.so. All 12 build clean, all 12 pass boj-invoke probe. 165 Elixir tests still 0 failures." },
   { date = "2026-04-25", description = "CRG D→C test expansion: (1) Added invoker_test.exs (15 tests — cli_path resolution, exit-code classification via fake_boj_invoke fixture, successful probe/name/version/invoke, extra_env). (2) Added js_worker_pool_test.exs (9 tests — pool_size, consistent-hash routing, fallback, E2E). (3) Added catalog_properties_test.exs (10 StreamData properties — round-trips, structural invariants, CredentialDecryptor properties). (4) Added contract_test.exs (15 contract tests — Catalog↔Router, NodeKey↔CredentialDecryptor, Router↔Invoker dispatch). (5) Added aspect_test.exs (15 aspect tests — no-crash, content-type, security, idempotency). (6) Added benchmarks/boj_bench.exs (10 Benchee scenarios). (7) Extended catalog_test.exs + router_test.exs + node_key_test.exs + credential_decryptor_test.exs + js_invoker_test.exs with 80+ additional tests. (8) Fixed bofig-mcp, hesiod-mcp, academic-workflow-mcp cartridge.json (missing spdx/domain/tier/auth/so_path fields). Total: 165 tests (10 properties + 155 regular), 0 failures. Grade D→C achieved." },
   { date = "2026-04-25", description = "v1.1.0 + v1.0.1 doc sweep: (1) ExUnit test suite 50 tests across 5 modules. (2) StreamData property test dep added. (3) BojRest.JsWorkerPool + JsWorker (persistent Deno pool) implemented; Router now dispatches via pool. (4) PolicyLoader.load_from_boj_catalog/1 in http-capability-gateway — 12 tests. (5) compose.dev.yaml updated: capability-gateway sidecar (port 7800 → boj-rest:7700, BOJ_CARTRIDGES_ROOT catalog mode). (6) gateway-policy.yaml retired (static policy superseded by catalog mode). (7) 4 cartridges fixed (academic-workflow, ephapax, fireflag, sanctify — missing domain/tier/auth/ffi fields). (8) Full doc sweep: TOPOLOGY.md, ROADMAP.adoc, EXPLAINME.adoc, QUICKSTART-USER.adoc, llm-warmup-dev.md — all V-lang refs removed, counts 97/99/106 → 112. (9) TEST-NEEDS.md rewritten as honest CRG D gap analysis." },
   { date = "2026-04-25", description = "Earlier session: (1) Fixed Zig ElfDynLib bug — boj-invoke now targets x86_64-linux-gnu, forcing DlDynLib/real dlopen. (2) boj-health Zig FFI cartridge fully implemented and tested. (3) Elixir REST server wired: Containerfile rewritten (3-stage Zig+Elixir build), compose.dev.yaml created. (4) All 112 cartridges now have mod.js. (5) model-router-mcp gets cartridge.json. (6) JS dispatch path implemented: BojRest.JsInvoker + priv/js_runner.js + Router dispatch branch. (7) cartridge_so_path/1 fixed to read ffi.so_path from manifest. (8) Gateway policy + catalog-integration design doc added. (9) ROADMAP v1.1.0 milestone added." },

cartridges/academic-workflow-mcp/cartridge.json

@@ -4,10 +4,12 @@
   "copyright": "Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>",
   "name": "academic-workflow-mcp",
   "version": "1.0.0",
-  "description": "Academic workflow — Zotero integration, citations, paper review",
+  "description": "Academic workflow \u2014 Zotero integration, citations, paper review",
   "domain": "Research",
   "tier": "Ayo",
-  "auth": { "method": "none" },
+  "auth": {
+    "method": "none"
+  },
   "author": "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>",
   "license": "PMPL-1.0-or-later",
   "tools": [
@@ -47,15 +49,24 @@
     "loopback_proof": "IsLoopback 5174"
   },
   "ffi": {
-    "language": "zig",
-    "entry": "ffi/academic_ffi.zig",
-    "so_path": "libacademic_workflow_mcp.so"
+    "so_path": "ffi/zig-out/lib/libacademic_workflow_mcp.so",
+    "abi_version": "ADR-0006",
+    "symbols": [
+      "boj_cartridge_init",
+      "boj_cartridge_deinit",
+      "boj_cartridge_name",
+      "boj_cartridge_version",
+      "boj_cartridge_invoke"
+    ]
   },
   "adapter": {
     "language": "typescript",
     "runtime": "deno",
     "entry": "adapter/mod.ts",
-    "permissions": ["net", "env"]
+    "permissions": [
+      "net",
+      "env"
+    ]
   },
   "loopback": {
     "host": "127.0.0.1",

cartridges/academic-workflow-mcp/ffi/academic_ffi.zig

@@ -1,172 +1,70 @@
 // SPDX-License-Identifier: PMPL-1.0-or-later
-// Academic Workflow Cartridge FFI — Zotero & citation integration
+// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+//
+// academic-workflow-mcp FFI — ADR-0006 five-symbol cartridge ABI implementation.
 
 const std = @import("std");
-const mem = std.mem;
+const shim = @import("cartridge_shim.zig");
 
-// Citation format constants
-pub const CITATION_BIBTEX = 0;
-pub const CITATION_CSL = 1;
-pub const CITATION_RIS = 2;
-pub const CITATION_ENDNOTE = 3;
+const CARTRIDGE_NAME_PTR: [*:0]const u8 = "academic-workflow-mcp";
+const CARTRIDGE_VERSION_PTR: [*:0]const u8 = "0.1.0";
 
-// Result codes
-pub const RESULT_SUCCESS = 0;
-pub const RESULT_ZOTERO_ERROR = 1;
-pub const RESULT_INVALID_FORMAT = 2;
-pub const RESULT_NOT_FOUND = 3;
-
-// Paper metadata struct
-pub const PaperMetadata = extern struct {
-    title: [512]u8,
-    authors: [1024]u8,  // comma-separated
-    doi: [256]u8,
-    year: u32,
-    abstract: [2048]u8,
-};
-
-// Citation export function
-pub export fn academic_generate_citation(
-    title: [*c]const u8,
-    authors: [*c]const u8,
-    doi: [*c]const u8,
-    year: u32,
-    format: u32,
-    out_citation: [*c]u8,
-    out_len: usize,
-) callconv(.C) i32 {
-    if (title == null or out_citation == null) {
-        return RESULT_INVALID_FORMAT;
-    }
-
-    // Format based on citation style
-    const citation = switch (format) {
-        CITATION_BIBTEX => formatBibTeX(title, authors, doi, year),
-        CITATION_CSL => formatCSL(title, authors, doi, year),
-        CITATION_RIS => formatRIS(title, authors, doi, year),
-        CITATION_ENDNOTE => formatEndNote(title, authors, doi, year),
-        else => return RESULT_INVALID_FORMAT,
-    };
-
-    if (citation.len > 0) {
-        const copy_len = @min(citation.len, out_len -% 1);
-        @memcpy(out_citation[0..copy_len], citation[0..copy_len]);
-        out_citation[copy_len] = 0;
-        return RESULT_SUCCESS;
-    }
-    return RESULT_INVALID_FORMAT;
+export fn boj_cartridge_init() callconv(.c) c_int {
+    return 0;
 }
 
-// Zotero collection search
-pub export fn academic_search_zotero(
-    query: [*c]const u8,
-    out_results: [*c]u32,
-    out_count: [*c]usize,
-) callconv(.C) i32 {
-    if (query == null) {
-        return RESULT_ZOTERO_ERROR;
-    }
-    if (out_count) |count| {
-        count.* = 0;
-    }
-    return RESULT_SUCCESS;
-}
+export fn boj_cartridge_deinit() callconv(.c) void {}
 
-// Extract BibTeX keys from text
-pub export fn academic_extract_bibkeys(
-    text: [*c]const u8,
-    out_keys: [*c][256]u8,
-    out_count: [*c]usize,
-) callconv(.C) i32 {
-    if (text == null) {
-        return RESULT_SUCCESS;
-    }
-    // Look for patterns like @cite{...} or \cite{...}
-    if (out_count) |count| {
-        count.* = 0;  // Placeholder
-    }
-    return RESULT_SUCCESS;
+export fn boj_cartridge_name() callconv(.c) [*:0]const u8 {
+    return CARTRIDGE_NAME_PTR;
 }
 
-// Export collection as BibTeX
-pub export fn academic_export_collection(
-    collection_id: [*c]const u8,
-    out_bibtex: [*c]u8,
-    out_len: usize,
-) callconv(.C) i32 {
-    if (collection_id == null or out_bibtex == null) {
-        return RESULT_NOT_FOUND;
-    }
-    // Would call Zotero API to export collection
-    return RESULT_SUCCESS;
+export fn boj_cartridge_version() callconv(.c) [*:0]const u8 {
+    return CARTRIDGE_VERSION_PTR;
 }
 
-// Add review note to paper
-pub export fn academic_add_review_note(
-    paper_id: [*c]const u8,
-    page: u32,
-    note_text: [*c]const u8,
-    category: [*c]const u8,
-) callconv(.C) i32 {
-    if (paper_id == null or note_text == null) {
-        return RESULT_INVALID_FORMAT;
-    }
-    // Store review annotation
-    return RESULT_SUCCESS;
+export fn boj_cartridge_invoke(
+    tool_name: [*c]const u8,
+    json_args: [*c]const u8,
+    out_buf: [*c]u8,
+    in_out_len: [*c]usize,
+) callconv(.c) i32 {
+    _ = json_args;
+    if (shim.invokeArgsNull(tool_name, out_buf, in_out_len)) return shim.RC_BAD_ARGS;
+    const body: []const u8 = if (shim.toolIs(tool_name, "search_zotero"))
+        "{\"result\":{}}"
+    else if (shim.toolIs(tool_name, "get_paper_metadata"))
+        "{\"result\":{}}"
+    else if (shim.toolIs(tool_name, "generate_citation"))
+        "{\"result\":{}}"
+    else if (shim.toolIs(tool_name, "extract_bibkeys"))
+        "{\"result\":{}}"
+    else if (shim.toolIs(tool_name, "export_collection"))
+        "{\"result\":{}}"
+    else if (shim.toolIs(tool_name, "add_review_note"))
+        "{\"result\":{}}"
+    else
+        return shim.RC_UNKNOWN_TOOL;
+
+    return shim.writeResult(out_buf, in_out_len, body);
 }
 
-// Helper: Format citation as BibTeX
-fn formatBibTeX(
-    title: [*c]const u8,
-    authors: [*c]const u8,
-    doi: [*c]const u8,
-    year: u32,
-) []const u8 {
-    _ = authors;
-    _ = doi;
-    _ = year;
-    // Placeholder — would build proper BibTeX entry
-    return "BibTeX citation";
+test "boj_cartridge_name returns academic-workflow-mcp" {
+    try std.testing.expectEqualStrings("academic-workflow-mcp", std.mem.span(boj_cartridge_name()));
 }
 
-// Helper: Format citation as CSL-JSON
-fn formatCSL(
-    title: [*c]const u8,
-    authors: [*c]const u8,
-    doi: [*c]const u8,
-    year: u32,
-) []const u8 {
-    _ = title;
-    _ = authors;
-    _ = doi;
-    _ = year;
-    return "CSL citation";
+test "boj_cartridge_init returns 0" {
+    try std.testing.expectEqual(@as(c_int, 0), boj_cartridge_init());
 }
 
-// Helper: Format citation as RIS
-fn formatRIS(
-    title: [*c]const u8,
-    authors: [*c]const u8,
-    doi: [*c]const u8,
-    year: u32,
-) []const u8 {
-    _ = title;
-    _ = authors;
-    _ = doi;
-    _ = year;
-    return "RIS citation";
+test "invoke unknown tool returns RC_UNKNOWN_TOOL" {
+    var buf: [256]u8 = undefined;
+    var len: usize = buf.len;
+    try std.testing.expectEqual(@as(i32, shim.RC_UNKNOWN_TOOL), boj_cartridge_invoke("unknown_xyz", "{}", &buf, &len));
 }
 
-// Helper: Format citation as EndNote
-fn formatEndNote(
-    title: [*c]const u8,
-    authors: [*c]const u8,
-    doi: [*c]const u8,
-    year: u32,
-) []const u8 {
-    _ = title;
-    _ = authors;
-    _ = doi;
-    _ = year;
-    return "EndNote citation";
+test "invoke search_zotero returns 0" {
+    var buf: [256]u8 = undefined;
+    var len: usize = buf.len;
+    try std.testing.expectEqual(@as(i32, 0), boj_cartridge_invoke("search_zotero", "{}", &buf, &len));
 }

cartridges/academic-workflow-mcp/ffi/build.zig

@@ -0,0 +1,29 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+
+const std = @import("std");
+
+pub fn build(b: *std.Build) void {
+    const target = b.standardTargetOptions(.{});
+    const optimize = b.standardOptimizeOption(.{});
+
+    const ffi_mod = b.addModule("academic_workflow_mcp", .{
+        .root_source_file = b.path("academic_ffi.zig"),
+        .target = target,
+        .optimize = optimize,
+    });
+
+    const lib = b.addLibrary(.{
+        .name = "academic_workflow_mcp",
+        .root_module = ffi_mod,
+        .linkage = .dynamic,
+    });
+    lib.linkLibC();
+    b.installArtifact(lib);
+
+    const tests = b.addTest(.{ .root_module = ffi_mod });
+    tests.linkLibC();
+    const run_tests = b.addRunArtifact(tests);
+    const test_step = b.step("test", "Run FFI tests");
+    test_step.dependOn(&run_tests.step);
+}