fix(nim): resolve keyword conflicts and qualified names; sync global CI

Author: hyperpolymath

.hypatia-ignore

@@ -1,8 +1,4 @@
-<<<<<<< HEAD
-# Exempting legitimate Java/Kotlin bindings from language policy
-=======
 # Exempting legitimate Java/Kotlin/Go bindings from language policy
->>>>>>> main
 bindings/java/** cicd_rules/banned_language_file
 bindings/kotlin/** cicd_rules/banned_language_file
 bindings/gql/neo4j/** cicd_rules/banned_language_file

Justfile

@@ -180,24 +180,6 @@ chapel-test: build-ffi
 chapel-clean:
     just -d bindings/chapel --justfile bindings/chapel/Justfile clean
 
-<<<<<<< HEAD
-# --- Nim Binding (Tier 1 Detachable Harness) ---
-# These recipes are THIN FORWARDERS into bindings/nim/.
-nim-check: build-ffi
-    PROVEN_LIB_PATH="$(pwd)/ffi/zig/zig-out/lib" \
-        just -d bindings/nim --justfile bindings/nim/Justfile nim-check
-
-nim-build: build-ffi
-    PROVEN_LIB_PATH="$(pwd)/ffi/zig/zig-out/lib" \
-        just -d bindings/nim --justfile bindings/nim/Justfile build
-
-nim-test: build-ffi
-    PROVEN_LIB_PATH="$(pwd)/ffi/zig/zig-out/lib" \
-        just -d bindings/nim --justfile bindings/nim/Justfile test
-
-nim-clean:
-    just -d bindings/nim --justfile bindings/nim/Justfile clean
-=======
 # --- OCaml Binding (Tier 1 Detachable Harness) ---
 # These recipes are THIN FORWARDERS into bindings/ocaml/.
 ocaml-check: build-ffi
@@ -214,7 +196,6 @@ ocaml-test: build-ffi
 
 ocaml-clean:
     just -d bindings/ocaml --justfile bindings/ocaml/Justfile clean
->>>>>>> main
 
 # ---------------------------------------------------------------------------
 # Cleaning

bindings/nim/src/proven.nim

@@ -54,8 +54,8 @@ export safe_unit
 
 proc libraryVersion*(): string =
   ## Return the library version string.
-  $provenVersion()
+  $lib_proven.provenVersion()
 
 proc buildInfo*(): string =
   ## Return detailed build information.
-  $provenBuildInfo()
+  $lib_proven.provenBuildInfo()

bindings/nim/src/proven/lib_proven.nim

@@ -334,7 +334,7 @@ type
 
 proc provenBufferCreate*(capacity: csize_t): BufferResult {.importc: "proven_buffer_create", dynlib: ProvenDynlib.}
 proc provenBufferAppend*(buffer: ptr ProvenBoundedBuffer, p: pointer, len: csize_t): int32 {.importc: "proven_buffer_append", dynlib: ProvenDynlib.}
-proc provenBufferGet*(buffer: ptr ProvenBoundedBuffer, out_ptr: ptr pointer, out_len: ptr csize_t): int32 {.importc: "proven_buffer_get", dynlib: ProvenDynlib.}
+proc provenBufferGet*(buffer: ptr ProvenBoundedBuffer, out_p: ptr pointer, out_l: ptr csize_t): int32 {.importc: "proven_buffer_get", dynlib: ProvenDynlib.}
 proc provenBufferFree*(buffer: ptr ProvenBoundedBuffer) {.importc: "proven_buffer_free", dynlib: ProvenDynlib.}
 
 # ---------------------------------------------------------------------------