Poly SSG Comparison Site

Caution

Preservation staging, not an accepted migration. This repository is a history-preserving extraction of hyperpolymath/polystack/poly-ssg. It is currently private; the preservation workflow checks retained Git history and output-checker regressions; runtime qualification remains open. No BoJ backend, build parity, deployment, security or proof claims are independently validated by the extraction. See provenance and qualification ledger and qualification issue #2. Polystack remains the fallback while Polystack #30 is open.

Interactive comparison of SSG engines (Casket, Hackenbush, Bunsenite, Cobalt) built with ReScript, Deno, and formally verified components from proven.

Historical architecture claims

• ReScript - Type-safe frontend compilation

• Deno - Modern runtime (no Node.js per RSR)

• proven - Formally verified string operations

• TEA - The Elm Architecture for state management

Historical verification claims

This site uses ProvenSafeString from the proven library for safe config generation, ensuring:

• No string overflow or underflow

• Memory-safe concatenation

• Proven correctness of output format

Historical development instructions

Build

# Build ReScript to JavaScript
deno task build

# Watch mode
deno task watch

# Clean artifacts
deno task clean

Local Server

deno run -A jsr:@std/http/file-server .
# or
python3 -m http.server 8000

Historical GitHub Pages deployment instructions (unqualified)

Primary Pages deploy now uses ddraig-ssg (Idris 2) via:

• .github/workflows/deploy-ddraig.yml (auto on main)

• Custom domain: axiom.metadatasticaian.art (via _site/CNAME)

Casket deploy remains available as a manual fallback workflow: .github/workflows/deploy-casket.yml.

cd engines/ddraig-ssg
idris2 Ddraig.idr -o ddraig
./build/exec/ddraig build ../../content ../../_site
echo "axiom.metadatasticaian.art" > ../../_site/CNAME

Features

• Interactive Engine Selection - Choose between SSG engines

• Live Config Generation - See engine-specific configuration

• Feature Comparison - Understand engine capabilities

• Safe String Operations - Formally verified config building

Historical Project Status (2026-01-30 — not a current verification)

• ✅ ReScript compilation with Deno

• ✅ proven integration for safe strings

• ✅ PolySsgApp.res with TEA architecture

• ✅ Security hardening (.well-known/, headers, DNS)

• ⏳ Full UI implementation (basic render)

• ⏳ Visual comparison table

• ⏳ Interactive feature filtering

Retention and retirement

See the retention and retirement plan. Curation belongs in stuff-of-awe/awesome-ssgs; implementation history stays in source repositories. The source snapshot has been checked by matching Git tree IDs. A passing preservation workflow does not close the runtime or security findings in qualification issue #2.

Related Projects

• Casket SSG - Haskell implementation

• Hackenbush SSG - Fast SSG

• Bunsenite - Nickel-based SSG

• poly-ssg-mcp - MCP server

• proven - Formally verified library

License

PMPL-1.0-or-later (Palimpsest-MPL)

Philosophy: One contract. Many paradigms. Every paradigm teaches.