Skip to content

refactor: rename Hexadeca → unified-api-adapter (estate-wide) #75

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Sep 21, 2026
Merged

refactor: rename Hexadeca → unified-api-adapter (estate-wide) #75

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/PHASE-E.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ so the playground itself becomes a learning source.

| E1 | Scaffold + static frontend with mock `/api/prove` | *COMPLETE 2026-04-05*
| E1.5 | Wire ReScript build pipeline; replace `public/app.js` with `App.res` output | pending
| E2 | proven-server backend (zig, Idris2 ABI, Zig FFI) wrapping dodeca/hexadeca surfaces | pending
| E2 | proven-server backend (zig, Idris2 ABI, Zig FFI) wrapping dodeca/unified-api-adapter surfaces | pending
| E3 | Deploy proven-server + Cloudflare Pages; E2E smoke (user → echidna → proof_attempts) | pending
| E4 | V4 PROVEN/SANCTIFY certificate badges + user history panel | pending
|===
Expand Down Expand Up @@ -49,7 +49,7 @@ so the playground itself becomes a learning source.
| CodeMirror 6 (not Monaco) | Lighter, Deno-friendly, ESM-native; sufficient for SMT-LIB/Lean/Coq highlighting at E1. Revisit if we need full LSP at E3+.
| Default port 8787 | Avoids collision with verisim-api (8080) on the dev host.
| JS entry at `public/app.js`, ReScript parallel at `src/web/App.res` | Ships a working scaffold in E1 without blocking on ReScript build pipeline. E1.5 wires `rescript build` → `public/app.js`.
| Hexadeca (16) over dodeca (12) | Keep all 16 zig protocol surfaces from `v_api_interfaces/`; picking 12 is arbitrary.
| UnifiedApiAdapter (16) over dodeca (12) | Keep all 16 zig protocol surfaces from `v_api_interfaces/`; picking 12 is arbitrary.
| Backend on fly.io | echidna needs a persistent process; Cloudflare Workers cannot host it.
| Public read + anonymous rate-limited write | Cloudflare Turnstile for v1; login deferred.
| UUID in localStorage for session persistence | Defer login until post-launch.
Expand Down
Loading