feat(ffi): add missing library metadata and free_string exports — issue #88

Author: hyperpolymath

ffi/zig/src/main.zig

@@ -80,6 +80,22 @@ export fn proven_free(handle: ?*Handle) void {
     clearError();
 }
 
+/// Return the library version triple
+export fn proven_version_major() u32 { return 1; }
+export fn proven_version_minor() u32 { return 1; }
+export fn proven_version_patch() u32 { return 0; }
+
+/// Return the FFI ABI version
+export fn proven_ffi_abi_version() u32 { return 1; }
+
+/// Free a string allocated by the library
+export fn proven_free_string(ptr: ?[*]const u8) void {
+    const p = ptr orelse return;
+    // Find the null terminator to determine length for the allocator
+    const len = std.mem.len(p);
+    std.heap.c_allocator.free(p[0..len + 1]);
+}
+
 //==============================================================================
 // Core Operations
 //==============================================================================