Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jun 21, 2026

• feat(abi): binary ABI + Zig↔Idris layout cross-check (#38)

  Show description for dc58de1
  

  hyperpolymath

  and

  claude

  authored
  dc58de1

  Copy full SHA for dc58de1

Commits on May 22, 2026

• chore: migrate license from PMPL-1.0-or-later to MPL-2.0

  hyperpolymath

  committed
  fcc75c4

  Copy full SHA for fcc75c4

Commits on Apr 10, 2026

• feat: comprehensive improvements — Idris2 proofs, fuzz testing, CI, docs

  Show description for 89a5739
  claude

  committed
  89a5739

  Copy full SHA for 89a5739

Commits on Apr 4, 2026

• feat: Steam integration, fire-and-forget wizard, self-healing watchdog

  Show description for c9f9efa
  

  hyperpolymath

  and

  claude

  committed
  c9f9efa

  Copy full SHA for c9f9efa

Commits on Apr 3, 2026

• feat: CryoFall server deployment + schema-driven provisioner

  Show description for 54775b3
  

  hyperpolymath

  and

  claude

  committed
  54775b3

  Copy full SHA for 54775b3

• fix: license, security vulnerabilities, and XSS hardening

  Show description for 505a226
  

  hyperpolymath

  and

  claude

  committed
  505a226

  Copy full SHA for 505a226

Commits on Mar 29, 2026

• fix: Gossamer chain tests 25/25 — Ephapax binary rebuilt, bash escaping fixed

  Show description for 26aec3c
  

  hyperpolymath

  and

  claude

  committed
  26aec3c

  Copy full SHA for 26aec3c

• feat: add standalone CLI executable, fix VeriSimDB health check, reconcile all docs

  Show description for 7cab1c9
  

  hyperpolymath

  and

  claude

  committed
  7cab1c9

  Copy full SHA for 7cab1c9

• feat: force-export all FFI symbols, Gossamer integration test, Groove Zig 0.15

  Show description for 04752da
  

  hyperpolymath

  and

  claude

  committed
  04752da

  Copy full SHA for 04752da

• fix: e2e test matches VeriSimDB API routes and response format

  Show description for 699893a
  

  hyperpolymath

  and

  claude

  committed
  699893a

  Copy full SHA for 699893a

• feat: add e2e integration test script for live VeriSimDB + server probing

  Show description for f31f2bf
  

  hyperpolymath

  and

  claude

  committed
  f31f2bf

  Copy full SHA for f31f2bf

• feat: add .claude/CLAUDE.md, reconcile desktop entry and install script

  Show description for 1e2175d
  

  hyperpolymath

  and

  claude

  committed
  1e2175d

  Copy full SHA for 1e2175d

Commits on Mar 28, 2026

• Add .desktop file and install script for Linux desktop integration

  Show description for 2466fa2
  

  hyperpolymath

  and

  claude

  committed
  2466fa2

  Copy full SHA for 2466fa2

Commits on Mar 22, 2026

• chore: add 17 game profile clades, fix justfile, update STATE.a2ml

  Show description for f4ef388
  

  hyperpolymath

  and

  claude

  committed
  f4ef388

  Copy full SHA for f4ef388

Loading