Auto-commit: Sync changes [2026-02-10]

Author: Jonathan D.A. Jewell

ABI-FFI-README.md

@@ -1,6 +1,6 @@
 {{~ Aditionally delete this line and fill out the template below ~}}
 
-# {{PROJECT}} ABI/FFI Documentation
+# VAE_NORMALIZER ABI/FFI Documentation
 
 ## Overview
 
@@ -26,7 +26,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
                   ▼
 ┌─────────────────────────────────────────────┐
 │  C Headers (auto-generated)                 │
-│  generated/abi/{{project}}.h                │
+│  generated/abi/vae_normalizer.h                │
 └─────────────────┬───────────────────────────┘
                   │
                   │ imported by
@@ -39,7 +39,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 libvae_normalizer.so/.a
                   ▼
 ┌─────────────────────────────────────────────┐
 │  Any Language via C ABI                     │
@@ -50,7 +50,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 ## Directory Structure
 
 ```
-{{project}}/
+vae_normalizer/
 ├── src/
 │   ├── abi/                    # ABI definitions (Idris2)
 │   │   ├── Types.idr           # Core type definitions with proofs
@@ -67,11 +67,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)
+│           └── vae_normalizer.h   # C header (optional, can be generated)
 │
 ├── generated/                  # Auto-generated files
 │   └── abi/
-│       └── {{project}}.h       # Generated from Idris2 ABI
+│       └── vae_normalizer.h       # Generated from Idris2 ABI
 │
 └── bindings/                   # Language-specific wrappers (optional)
     ├── rust/
@@ -199,7 +199,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/vae_normalizer.h
 ```
 
 ### Cross-Compile
@@ -222,32 +222,32 @@ zig build -Dtarget=x86_64-windows
 ### From C
 
 ```c
-#include "{{project}}.h"
+#include "vae_normalizer.h"
 
 int main() {
-    void* handle = {{project}}_init();
+    void* handle = vae_normalizer_init();
     if (!handle) return 1;
 
-    int result = {{project}}_process(handle, 42);
+    int result = vae_normalizer_process(handle, 42);
     if (result != 0) {
-        const char* err = {{project}}_last_error();
+        const char* err = vae_normalizer_last_error();
         fprintf(stderr, "Error: %s\n", err);
     }
 
-    {{project}}_free(handle);
+    vae_normalizer_free(handle);
     return 0;
 }
 ```
 
 Compile with:
 ```bash
-gcc -o example example.c -l{{project}} -L./zig-out/lib
+gcc -o example example.c -lvae_normalizer -L./zig-out/lib
 ```
 
 ### From Idris2
 
 ```idris
-import {{PROJECT}}.ABI.Foreign
+import VAE_NORMALIZER.ABI.Foreign
 
 main : IO ()
 main = do
@@ -264,44 +264,44 @@ main = do
 ### From Rust
 
 ```rust
-#[link(name = "{{project}}")]
+#[link(name = "vae_normalizer")]
 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 vae_normalizer_init() -> *mut std::ffi::c_void;
+    fn vae_normalizer_free(handle: *mut std::ffi::c_void);
+    fn vae_normalizer_process(handle: *mut std::ffi::c_void, input: u32) -> i32;
 }
 
 fn main() {
     unsafe {
-        let handle = {{project}}_init();
+        let handle = vae_normalizer_init();
         assert!(!handle.is_null());
 
-        let result = {{project}}_process(handle, 42);
+        let result = vae_normalizer_process(handle, 42);
         assert_eq!(result, 0);
 
-        {{project}}_free(handle);
+        vae_normalizer_free(handle);
     }
 }
 ```
 
 ### From Julia
 
 ```julia
-const lib{{project}} = "lib{{project}}"
+const libvae_normalizer = "libvae_normalizer"
 
 function init()
-    handle = ccall((:{{project}}_init, lib{{project}}), Ptr{Cvoid}, ())
+    handle = ccall((:vae_normalizer_init, libvae_normalizer), 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((:vae_normalizer_process, libvae_normalizer), Cint, (Ptr{Cvoid}, UInt32), handle, input)
     result
 end
 
 function cleanup(handle)
-    ccall((:{{project}}_free, lib{{project}}), Cvoid, (Ptr{Cvoid},), handle)
+    ccall((:vae_normalizer_free, libvae_normalizer), Cvoid, (Ptr{Cvoid},), handle)
 end
 
 # Usage
@@ -355,7 +355,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/vae_normalizer.h
    ```
 
 3. **Update FFI implementation** (`ffi/zig/src/main.zig`)
@@ -382,4 +382,4 @@ When modifying the ABI/FFI:
 - [Zig Documentation](https://ziglang.org/documentation/master/)
 - [Rhodium Standard Repositories](https://github.com/hyperpolymath/rhodium-standard-repositories)
 - [FFI Migration Guide](../ffi-migration-guide.md)
-- [ABI Migration Guide](../abi-migration-guide.md)
+- [ABI Migration Guide](../abi-migration-guide.md)

CHANGELOG.md

@@ -17,8 +17,7 @@ lfx_crowdfunding:
 polar:
 
 # Custom funding links
-custom:
-  - https://huggingface.co/datasets/joshuajewell/VAEDecodedImages-SDXL
+
 
 # Solidarity Economics Framework
 #

FUNDING.yml

@@ -140,9 +140,7 @@ EXHIBITS
 Exhibit A - Ethical Use Guidelines
 Exhibit B - Quantum-Safe Provenance Specification
 
-See separate files:
-- EXHIBIT-A-ETHICAL-USE.txt
-- EXHIBIT-B-QUANTUM-SAFE.txt
+
 
 --------------------------------------------------------------------------------
 END OF PALIMPSEST-MPL LICENSE VERSION 1.0