Skip to content

v0.4.0 — V-lang adapter sweep + believe_me reduction (31→4)

Choose a tag to compare

View all tags
@hyperpolymath hyperpolymath released this 20 May 05:40
· 499 commits to main since this release
v0.4.0
277d799
This commit was signed with the committer’s verified signature.
hyperpolymath Jonathan D.A. Jewell
SSH Key Fingerprint: xC0kNs8rCf5VDrxxjGiwRql3EiDopvxzLcvf73ie3H0
Verified
Learn about vigilant mode.

Highlights

  • V-lang adapter sweep: 96 cartridge build set completed across 4 batches (external services, hyperpolymath-native, cloud/databases/comms, final 35) — 0 .v files remain in cartridges.
  • ABI proof hardening: believe_me axioms reduced from 31 → 4 across all ABI safety modules.
  • Zig 0.15 API port: 9 FFI files updated for new callconv(.C) and http response writer API; container build now self-contained.
  • a2ml migration: order-ticket.scm → order-ticket.a2ml (machine-readable artefacts standard).
  • GitLab MCP fix: missing gitlab_api_mcp_request cap definition added.
  • Container hardening: port references corrected (9000/9999→7700) + SSE port 7703 wired.
  • Docs: outreach draft synced to 96-cartridge count; V-lang demoted from headline to internal dependency.

See CHANGELOG.md for the full V-lang ban / Nickel manifest / BoJ-only MCP / Unified-zig-api alignment policy entries.

Assets 2
Loading