chore: replace {{project}}/{{PROJECT}} template placeholders with actual names

Customized ABI-FFI-README.md, Idris2 ABI stubs, Zig FFI stubs,
QUICKSTART docs, Justfiles, and methodology files.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/agent_instructions/methodology.a2ml

@@ -101,7 +101,7 @@ constraints = [
 # These rules detect corrupt/template/stale state files.
 
 [methodology.state-validation]
-reject-if-contains = ["{{PLACEHOLDER}}", "{{PROJECT}}", "rsr-template-repo"]
+reject-if-contains = ["{{PLACEHOLDER}}", "VERISIMDB", "rsr-template-repo"]
 reject-if-project-name-mismatch = true
 staleness-threshold-days = 90
 fallback-files = ["TODO.md", "TODO.adoc", "ROADMAP.adoc", "README.adoc"]

ABI-FFI-README.md

@@ -1,6 +1,5 @@
-{{~ Aditionally delete this line and fill out the template below ~}}
 
-# {{PROJECT}} ABI/FFI Documentation
+# VERISIMDB ABI/FFI Documentation
 
 ## Overview
 
@@ -26,7 +25,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
                   ▼
 ┌─────────────────────────────────────────────┐
 │  C Headers (auto-generated)                 │
-│  generated/abi/{{project}}.h                │
+│  generated/abi/verisimdb.h                │
 └─────────────────┬───────────────────────────┘
                   │
                   │ imported by
@@ -39,7 +38,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 │  - Memory-safe by default                   │
 └─────────────────┬───────────────────────────┘
                   │
-                  │ compiled to lib{{project}}.so/.a
+                  │ compiled to libverisimdb.so/.a
                   ▼
 ┌─────────────────────────────────────────────┐
 │  Any Language via C ABI                     │
@@ -50,7 +49,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 ## Directory Structure
 
 ```
-{{project}}/
+verisimdb/
 ├── src/
 │   ├── abi/                    # ABI definitions (Idris2)
 │   │   ├── Types.idr           # Core type definitions with proofs
@@ -67,11 +66,11 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 │       ├── test/
 │       │   └── integration_test.zig
 │       └── include/
-│           └── {{project}}.h   # C header (optional, can be generated)
+│           └── verisimdb.h   # C header (optional, can be generated)
 │
 ├── generated/                  # Auto-generated files
 │   └── abi/
-│       └── {{project}}.h       # Generated from Idris2 ABI
+│       └── verisimdb.h       # Generated from Idris2 ABI
 │
 └── bindings/                   # Language-specific wrappers (optional)
     ├── rust/
@@ -199,7 +198,7 @@ zig build test                    # Run tests
 
 ```bash
 cd src/abi
-idris2 --cg c-header Types.idr -o ../../generated/abi/{{project}}.h
+idris2 --cg c-header Types.idr -o ../../generated/abi/verisimdb.h
 ```
 
 ### Cross-Compile
@@ -222,32 +221,32 @@ zig build -Dtarget=x86_64-windows
 ### From C
 
 ```c
-#include "{{project}}.h"
+#include "verisimdb.h"
 
 int main() {
-    void* handle = {{project}}_init();
+    void* handle = verisimdb_init();
     if (!handle) return 1;
 
-    int result = {{project}}_process(handle, 42);
+    int result = verisimdb_process(handle, 42);
     if (result != 0) {
-        const char* err = {{project}}_last_error();
+        const char* err = verisimdb_last_error();
         fprintf(stderr, "Error: %s\n", err);
     }
 
-    {{project}}_free(handle);
+    verisimdb_free(handle);
     return 0;
 }
 ```
 
 Compile with:
 ```bash
-gcc -o example example.c -l{{project}} -L./zig-out/lib
+gcc -o example example.c -lverisimdb -L./zig-out/lib
 ```
 
 ### From Idris2
 
 ```idris
-import {{PROJECT}}.ABI.Foreign
+import VERISIMDB.ABI.Foreign
 
 main : IO ()
 main = do
@@ -264,44 +263,44 @@ main = do
 ### From Rust
 
 ```rust
-#[link(name = "{{project}}")]
+#[link(name = "verisimdb")]
 extern "C" {
-    fn {{project}}_init() -> *mut std::ffi::c_void;
-    fn {{project}}_free(handle: *mut std::ffi::c_void);
-    fn {{project}}_process(handle: *mut std::ffi::c_void, input: u32) -> i32;
+    fn verisimdb_init() -> *mut std::ffi::c_void;
+    fn verisimdb_free(handle: *mut std::ffi::c_void);
+    fn verisimdb_process(handle: *mut std::ffi::c_void, input: u32) -> i32;
 }
 
 fn main() {
     unsafe {
-        let handle = {{project}}_init();
+        let handle = verisimdb_init();
         assert!(!handle.is_null());
 
-        let result = {{project}}_process(handle, 42);
+        let result = verisimdb_process(handle, 42);
         assert_eq!(result, 0);
 
-        {{project}}_free(handle);
+        verisimdb_free(handle);
     }
 }
 ```
 
 ### From Julia
 
 ```julia
-const lib{{project}} = "lib{{project}}"
+const libverisimdb = "libverisimdb"
 
 function init()
-    handle = ccall((:{{project}}_init, lib{{project}}), Ptr{Cvoid}, ())
+    handle = ccall((:verisimdb_init, libverisimdb), Ptr{Cvoid}, ())
     handle == C_NULL && error("Failed to initialize")
     handle
 end
 
 function process(handle, input)
-    result = ccall((:{{project}}_process, lib{{project}}), Cint, (Ptr{Cvoid}, UInt32), handle, input)
+    result = ccall((:verisimdb_process, libverisimdb), Cint, (Ptr{Cvoid}, UInt32), handle, input)
     result
 end
 
 function cleanup(handle)
-    ccall((:{{project}}_free, lib{{project}}), Cvoid, (Ptr{Cvoid},), handle)
+    ccall((:verisimdb_free, libverisimdb), Cvoid, (Ptr{Cvoid},), handle)
 end
 
 # Usage
@@ -355,7 +354,7 @@ When modifying the ABI/FFI:
 
 2. **Generate C header**
    ```bash
-   idris2 --cg c-header src/abi/Types.idr -o generated/abi/{{project}}.h
+   idris2 --cg c-header src/abi/Types.idr -o generated/abi/verisimdb.h
    ```
 
 3. **Update FFI implementation** (`ffi/zig/src/main.zig`)

debugger/src/abi/Foreign.idr

@@ -6,10 +6,10 @@
 ||| All functions are declared here with type signatures and safety proofs.
 ||| Implementations live in ffi/zig/
 
-module {{PROJECT}}.ABI.Foreign
+module VERISIMDB.ABI.Foreign
 
-import {{PROJECT}}.ABI.Types
-import {{PROJECT}}.ABI.Layout
+import VERISIMDB.ABI.Types
+import VERISIMDB.ABI.Layout
 
 %default total
 
@@ -20,7 +20,7 @@ import {{PROJECT}}.ABI.Layout
 ||| Initialize the library
 ||| Returns a handle to the library instance, or Nothing on failure
 export
-%foreign "C:{{project}}_init, lib{{project}}"
+%foreign "C:verisimdb_init, libverisimdb"
 prim__init : PrimIO Bits64
 
 ||| Safe wrapper for library initialization
@@ -32,7 +32,7 @@ init = do
 
 ||| Clean up library resources
 export
-%foreign "C:{{project}}_free, lib{{project}}"
+%foreign "C:verisimdb_free, libverisimdb"
 prim__free : Bits64 -> PrimIO ()
 
 ||| Safe wrapper for cleanup
@@ -46,7 +46,7 @@ free h = primIO (prim__free (handlePtr h))
 
 ||| Example operation: process data
 export
-%foreign "C:{{project}}_process, lib{{project}}"
+%foreign "C:verisimdb_process, libverisimdb"
 prim__process : Bits64 -> Bits32 -> PrimIO Bits32
 
 ||| Safe wrapper with error handling
@@ -69,12 +69,12 @@ prim__getString : Bits64 -> String
 
 ||| Free C string
 export
-%foreign "C:{{project}}_free_string, lib{{project}}"
+%foreign "C:verisimdb_free_string, libverisimdb"
 prim__freeString : Bits64 -> PrimIO ()
 
 ||| Get string result from library
 export
-%foreign "C:{{project}}_get_string, lib{{project}}"
+%foreign "C:verisimdb_get_string, libverisimdb"
 prim__getResult : Bits64 -> PrimIO Bits64
 
 ||| Safe string getter
@@ -95,7 +95,7 @@ getString h = do
 
 ||| Process array data
 export
-%foreign "C:{{project}}_process_array, lib{{project}}"
+%foreign "C:verisimdb_process_array, libverisimdb"
 prim__processArray : Bits64 -> Bits64 -> Bits32 -> PrimIO Bits32
 
 ||| Safe array processor
@@ -122,7 +122,7 @@ processArray h buf len = do
 
 ||| Get last error message
 export
-%foreign "C:{{project}}_last_error, lib{{project}}"
+%foreign "C:verisimdb_last_error, libverisimdb"
 prim__lastError : PrimIO Bits64
 
 ||| Retrieve last error as string
@@ -149,7 +149,7 @@ errorDescription NullPointer = "Null pointer"
 
 ||| Get library version
 export
-%foreign "C:{{project}}_version, lib{{project}}"
+%foreign "C:verisimdb_version, libverisimdb"
 prim__version : PrimIO Bits64
 
 ||| Get version as string
@@ -161,7 +161,7 @@ version = do
 
 ||| Get library build info
 export
-%foreign "C:{{project}}_build_info, lib{{project}}"
+%foreign "C:verisimdb_build_info, libverisimdb"
 prim__buildInfo : PrimIO Bits64
 
 ||| Get build information
@@ -182,7 +182,7 @@ Callback = Bits64 -> Bits32 -> Bits32
 
 ||| Register a callback — FFI declaration typed to accept callback directly
 export
-%foreign "C:{{project}}_register_callback, lib{{project}}"
+%foreign "C:verisimdb_register_callback, libverisimdb"
 prim__registerCallback : Bits64 -> (Bits64 -> Bits32 -> Bits32) -> PrimIO Bits32
 
 ||| Safe callback registration (no cast — callback type matches FFI declaration)
@@ -205,7 +205,7 @@ registerCallback h cb = do
 
 ||| Check if library is initialized
 export
-%foreign "C:{{project}}_is_initialized, lib{{project}}"
+%foreign "C:verisimdb_is_initialized, libverisimdb"
 prim__isInitialized : Bits64 -> PrimIO Bits32
 
 ||| Check initialization status

debugger/src/abi/Layout.idr

@@ -5,9 +5,9 @@
 |||
 ||| @see https://en.wikipedia.org/wiki/Data_structure_alignment
 
-module {{PROJECT}}.ABI.Layout
+module VERISIMDB.ABI.Layout
 
-import {{PROJECT}}.ABI.Types
+import VERISIMDB.ABI.Types
 import Data.Vect
 import Data.So
 

debugger/src/abi/Types.idr

@@ -3,12 +3,12 @@
 ||| This module defines the Application Binary Interface (ABI) for this library.
 ||| All type definitions include formal proofs of correctness.
 |||
-||| Replace {{PROJECT}} with your project name.
+||| Replace VERISIMDB with your project name.
 ||| Replace {{TYPES}} with your actual type definitions.
 |||
 ||| @see https://idris2.readthedocs.io for Idris2 documentation
 
-module {{PROJECT}}.ABI.Types
+module VERISIMDB.ABI.Types
 
 import Data.Bits
 import Data.So

ffi/zig/build.zig

@@ -1,4 +1,4 @@
-// {{PROJECT}} FFI Build Configuration
+// VERISIMDB FFI Build Configuration
 // SPDX-License-Identifier: PMPL-1.0-or-later
 
 const std = @import("std");
@@ -9,7 +9,7 @@ pub fn build(b: *std.Build) void {
 
     // Shared library (.so, .dylib, .dll)
     const lib = b.addSharedLibrary(.{
-        .name = "{{project}}",
+        .name = "verisimdb",
         .root_source_file = b.path("src/main.zig"),
         .target = target,
         .optimize = optimize,
@@ -20,7 +20,7 @@ pub fn build(b: *std.Build) void {
 
     // Static library (.a)
     const lib_static = b.addStaticLibrary(.{
-        .name = "{{project}}",
+        .name = "verisimdb",
         .root_source_file = b.path("src/main.zig"),
         .target = target,
         .optimize = optimize,
@@ -32,8 +32,8 @@ pub fn build(b: *std.Build) void {
 
     // Generate header file for C compatibility
     const header = b.addInstallHeader(
-        b.path("include/{{project}}.h"),
-        "{{project}}.h",
+        b.path("include/verisimdb.h"),
+        "verisimdb.h",
     );
     b.getInstallStep().dependOn(&header.step);
 
@@ -79,7 +79,7 @@ pub fn build(b: *std.Build) void {
 
     // Benchmark (if needed)
     const bench = b.addExecutable(.{
-        .name = "{{project}}-bench",
+        .name = "verisimdb-bench",
         .root_source_file = b.path("bench/bench.zig"),
         .target = target,
         .optimize = .ReleaseFast,