Skip to content

[#92 Class C] research-mcp: missing ResearchResource enum in Zig FFI #153

@hyperpolymath

Description

@hyperpolymath

Problem

cartridges/research-mcp/abi/ResearchMcp/Safe*.idr declares an enum that cartridges/research-mcp/ffi/research_ffi.zig does not implement:

[enum-missing-in-zig] manifest declares enum \`ResearchResource\` but the Zig FFI has no \`pub const ResearchResource = enum(c_int)\` declaration

Same shape as boj-server#102.

Fix shape

Add pub const ResearchResource = enum(c_int) { ... } to research_ffi.zig.

Acceptance criteria

iseriser abi-verify exit 0 on research-mcp. Add to boj-server#110 allowlist.

Parent #92. Refs #89.

🤖 Generated with Claude Code

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions