v-ecosystem: accrue five V-tree arrivals for donation staging

Receives five V trees moved from other parts of the estate today
as part of the V-lang → Zig migration + donation-staging policy.
Hyperpolymath has Zig replacements in place; V sources come here
neatly packaged for handover to the V community.

- v-api-interfaces/v-bebop/            (from bebop-v-ffi/v/, renamed bebop-ffi today)
- v-api-interfaces/v-proven/           (from verification-ecosystem/proven/bindings/v/)
- v-api-interfaces/v-lol-i18n-lib/     (from standards/lol/api/v-lol/)
- v-api-interfaces/v-lol-gateway/      (from standards/lol/api/v-gateway/)
- v-api-interfaces/v-verisimdb-client/ (from verisimdb/connectors/clients/vlang/)

Accompanied by 550a223 (TRANSFER.adoc + READMEs rewrite by donation-
cleanup Sonnet). Handover-readiness tracked in v-ecosystem/TRANSFER.adoc;
recreation-on-HP-side tracked in developer-ecosystem/RECREATION-QUEUE.adoc.

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

Author: hyperpolymath

v-ecosystem/v-api-interfaces/v-bebop/bebop_bridge.v

@@ -0,0 +1,106 @@
+// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-FileCopyrightText: 2025 Hyperpolymath Contributors
+module bebop_bridge
+
+// This module binds to the C ABI defined in include/bebop_v_ffi.h.
+// It intentionally uses ptr+len (VBytes) and does not assume NUL-terminated payload strings.
+
+[typedef]
+pub struct C.BebopCtx {}
+
+[typedef]
+pub struct C.VBytes {
+    ptr &u8
+    len usize
+}
+
+[typedef]
+pub struct C.VSensorReading {
+    timestamp u64
+    sensor_id C.VBytes
+    sensor_type u16
+    value f64
+    unit C.VBytes
+    location C.VBytes
+    metadata_count usize
+    metadata_keys &C.VBytes
+    metadata_values &C.VBytes
+    error_code int
+    error_message &char
+}
+
+// C ABI functions
+fn C.bebop_ctx_new() &C.BebopCtx
+fn C.bebop_ctx_free(ctx &C.BebopCtx)
+fn C.bebop_ctx_reset(ctx &C.BebopCtx)
+
+fn C.bebop_decode_sensor_reading(ctx &C.BebopCtx, data &u8, len usize, out &C.VSensorReading) int
+fn C.bebop_free_sensor_reading(ctx &C.BebopCtx, reading &C.VSensorReading)
+fn C.bebop_encode_batch_readings(ctx &C.BebopCtx, readings &C.VSensorReading, count usize, out_buf &u8, out_len usize) usize
+
+// Helper: bytes -> V string (copies)
+[inline]
+fn bytes_to_string(b C.VBytes) string {
+    if isnil(b.ptr) || b.len == 0 { return '' }
+    return unsafe { b.ptr.vstring_with_len(int(b.len)) }
+}
+
+// Small safe wrapper type
+pub struct BebopCtx {
+    ctx &C.BebopCtx
+}
+
+pub fn new_ctx() BebopCtx {
+    return BebopCtx{ ctx: C.bebop_ctx_new() }
+}
+
+pub fn (mut c BebopCtx) free() {
+    if !isnil(c.ctx) {
+        C.bebop_ctx_free(c.ctx)
+        c.ctx = unsafe { nil }
+    }
+}
+
+pub fn (c &BebopCtx) reset() {
+    if !isnil(c.ctx) { C.bebop_ctx_reset(c.ctx) }
+}
+
+pub struct SensorReading {
+    pub:
+    timestamp u64
+    sensor_id string
+    sensor_type u16
+    value f64
+    unit string
+    location string
+    metadata map[string]string
+}
+
+pub fn (c &BebopCtx) decode_sensor_reading(data []u8) ?SensorReading {
+    mut out := C.VSensorReading{}
+    rc := C.bebop_decode_sensor_reading(c.ctx, data.data, data.len, &out)
+    if rc != 0 || out.error_code != 0 {
+        return none
+    }
+
+    mut md := map[string]string{}
+    for i := 0; i < out.metadata_count; i++ {
+        k := unsafe { out.metadata_keys[i] }
+        v := unsafe { out.metadata_values[i] }
+        md[bytes_to_string(k)] = bytes_to_string(v)
+    }
+
+    // If the implementation needs explicit free per reading, call it here.
+    // For pure arena allocation, ctx.reset() will reclaim.
+    C.bebop_free_sensor_reading(c.ctx, &out)
+
+    return SensorReading{
+        timestamp: out.timestamp
+        sensor_id: bytes_to_string(out.sensor_id)
+        sensor_type: out.sensor_type
+        value: out.value
+        unit: bytes_to_string(out.unit)
+        location: bytes_to_string(out.location)
+        metadata: md
+    }
+}

v-ecosystem/v-api-interfaces/v-bebop/iiot_client.v

@@ -0,0 +1,30 @@
+// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-FileCopyrightText: 2025 Hyperpolymath Contributors
+module main
+
+import net
+
+fn write_u32_le(mut b []u8, v u32) {
+    b[0] = u8(v & 0xff)
+    b[1] = u8((v >> 8) & 0xff)
+    b[2] = u8((v >> 16) & 0xff)
+    b[3] = u8((v >> 24) & 0xff)
+}
+
+fn main() {
+    mut conn := net.dial_tcp('127.0.0.1:8080') or {
+        eprintln('dial failed: $err')
+        return
+    }
+    defer { conn.close() or {} }
+
+    // Replace with real Bebop-encoded payload bytes.
+    payload := [u8(0x00), 0x01, 0x02]
+
+    mut hdr := []u8{len: 4}
+    write_u32_le(mut hdr, u32(payload.len))
+
+    conn.write(hdr) or { return }
+    conn.write(payload) or { return }
+    println('sent ${payload.len} bytes')
+}

v-ecosystem/v-api-interfaces/v-bebop/iiot_server.v

@@ -0,0 +1,60 @@
+// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-FileCopyrightText: 2025 Hyperpolymath Contributors
+module main
+
+import net
+import bebop_bridge
+
+fn read_exact(mut conn net.TcpConn, mut buf []u8, n int) ? {
+    mut got := 0
+    for got < n {
+        m := conn.read(mut buf[got..n]) or { return none }
+        if m <= 0 { return none }
+        got += m
+    }
+}
+
+fn read_u32_le(b []u8) u32 {
+    return u32(b[0]) | (u32(b[1]) << 8) | (u32(b[2]) << 16) | (u32(b[3]) << 24)
+}
+
+fn main() {
+    mut listener := net.listen_tcp(.ip, ':8080') or {
+        eprintln('Failed to listen: $err')
+        return
+    }
+    println('Listening on :8080')
+
+    for {
+        mut conn := listener.accept() or { continue }
+        go handle(mut conn)
+    }
+}
+
+fn handle(mut conn net.TcpConn) {
+    defer { conn.close() or {} }
+
+    mut ctx := bebop_bridge.new_ctx()
+    defer { ctx.free() }
+
+    mut hdr := []u8{len: 4}
+    for {
+        read_exact(mut conn, mut hdr, 4) or { break }
+        msg_len := int(read_u32_le(hdr))
+        if msg_len <= 0 || msg_len > 1_000_000 {
+            eprintln('Bad length: $msg_len')
+            break
+        }
+        mut payload := []u8{len: msg_len}
+        read_exact(mut conn, mut payload, msg_len) or { break }
+
+        reading := ctx.decode_sensor_reading(payload) or {
+            eprintln('Decode failed')
+            ctx.reset()
+            continue
+        }
+
+        println('sensor_id=${reading.sensor_id} value=${reading.value} unit=${reading.unit}')
+        ctx.reset()
+    }
+}

v-ecosystem/v-api-interfaces/v-bebop/v.mod

@@ -0,0 +1,8 @@
+Module {
+    name: bebop_bridge
+    version: 0.0.1
+    description: FFI bindings for Bebop binary serialization
+    license: AGPL-3.0-or-later
+    repo: https://github.com/hyperpolymath/bebop-v-ffi
+    dependencies: []
+}

v-ecosystem/v-api-interfaces/v-lol-gateway/MIGRATION.adoc

@@ -0,0 +1,38 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+= LOL v-gateway — V-lang Deprecated (2026-04-12)
+:toc:
+
+== Status
+
+The V-lang implementation in `src/` is *deprecated* as of 2026-04-12
+following the estate-wide V-lang ban (2026-04-10).
+
+== Migration Target: Zig
+
+The canonical replacement is the Zig gateway at `../zig-gateway/`:
+
+[source,bash]
+----
+# From standards/lol/api/zig-gateway/
+zig build
+./zig-out/bin/lol-gateway
+----
+
+The Zig gateway is a three-port listener matching the V layout:
+
+[cols="1,1,1"]
+|===
+| Mount | Port | V source
+
+| REST    | `LOL_PORT` (default 7800)   | `src/main.v` (REST routes)
+| gRPC    | `LOL_PORT+1` (default 7801) | `src/main.v` (gRPC listener)
+| GraphQL | `LOL_PORT+2` (default 7802) | `src/main.v` (GraphQL listener)
+|===
+
+== Next Steps
+
+. Confirm `zig-gateway` handles `/api/v1/languages`, `/api/v1/corpus`,
+  `/api/v1/crawl`, and `/api/v1/health`.
+. Update `compose.yml` (if any) to replace the V container.
+. Once confirmed healthy, delete `src/*.v` and `v.mod`.

v-ecosystem/v-api-interfaces/v-lol-gateway/src/SIDELINED.adoc

@@ -0,0 +1,27 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+= LOL V-Gateway — V-lang Implementation SIDELINED
+:toc:
+
+== Status
+
+The V-lang LOL triple API gateway (`src/`) is *sidelined*
+as of 2026-04-12 following the estate-wide V-lang ban (2026-04-10).
+
+== Migration Target
+
+[cols="1,1"]
+|===
+| V module (sidelined) | Replacement
+
+| `rest.v`     | Axum (Rust) REST handler
+| `grpc.v`     | tonic (Rust) gRPC service
+| `graphql.v`  | async-graphql (Rust) schema
+| `domain.v`   | Rust domain types
+| `helpers.v`  | Rust utilities
+| `main.v`     | Rust Tokio entrypoint
+|===
+
+The v-lol gateway (`../v-lol/`) is also sidelined — see `../v-lol/src/SIDELINED.adoc`.
+
+The V-lang source is retained for reference but MUST NOT be compiled or deployed.