feat(zig-ffi): HTTP server primitives for OikosBot webhook receiver - #77
Merged
Conversation
Adds a synchronous, single-threaded HTTP/1.1 server FFI surface for
sitting behind a TLS reverse proxy (Caddy / nginx). Intended use:
the OikosBot links libgateway.so alongside libhpm_crypto.so and
composes them — no router, no TLS, no concurrency primitives here.
Why this repo: the user-elected home for HTTP server primitives,
matching the repo's HTTP-domain identity (verb governance is the
Elixir layer; this is the protocol-primitive layer alongside the
existing gRPC / GraphQL parsers).
New Zig exports (libgateway.so):
- hpm_http_server_listen / _port / _free / _accept
- hpm_http_request_method / _path / _header / _body / _respond / _free
Implementation notes:
- Heap-allocated RequestCtx holds the connection + IO buffers + the
std.http.Server + parsed std.http.Server.Request, so inner Reader /
Writer pointer addresses stay stable for the lifetime of the request.
- Headers parsed via std.http.Server's HeaderIterator with
case-insensitive name match.
- Method enum ordinal matches std.http.Method directly (GET=0..PATCH=8).
- Body capped at 1 MiB; content-length-driven read; idempotent.
- Connection always closes after respond (keep_alive=false) — keeps
the surface narrow for v1.
Idris2 ABI:
- New src/abi/HttpServer.idr with %foreign declarations and safe
wrappers mirroring the Zig exports. gateway.ipkg updated.
Tests:
- 15/15 main module tests pass (zig test src/main.zig -lc):
GET / POST + body / header lookup / header-absent / path size-query /
extra response headers / arbitrary status / method ordinals / null req
safety / listen failure paths / port introspection.
Pre-existing build hygiene fixes (latent under Zig 0.15.2):
- Handle: opaque → struct (Zig 0.15 forbids fields on opaque {}).
- Callback callconv: .C → .c (rename in Zig 0.15).
Unrelated red test: ffi/zig/grpc/parser.zig::"parse gRPC frame header"
fails because the test fixture isn't a valid HTTP/2 HEADERS frame.
Pre-existing on main; not addressed here.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a synchronous, single-threaded HTTP/1.1 server FFI surface for sitting behind a TLS reverse proxy (Caddy / nginx). Intended use: the OikosBot links libgateway.so alongside libhpm_crypto.so and composes them — no router, no TLS, no concurrency primitives here.
Why this repo: the user-elected home for HTTP server primitives, matching the repo's HTTP-domain identity (verb governance is the Elixir layer; this is the protocol-primitive layer alongside the existing gRPC / GraphQL parsers).
New Zig exports (libgateway.so):
Implementation notes:
Idris2 ABI:
Tests:
Pre-existing build hygiene fixes (latent under Zig 0.15.2):
Unrelated red test: ffi/zig/grpc/parser.zig::"parse gRPC frame header" fails because the test fixture isn't a valid HTTP/2 HEADERS frame. Pre-existing on main; not addressed here.
Summary
Closes #
Type of change
How has this been verified?
Checklist
git commit -S).SPDX-License-Identifier(code/configMPL-2.0,prose
CC-BY-SA-4.0); I did not relicense existing files.Notes for reviewers