Seven conformant implementations of the htxlang specification, each derived from the same constraint seed (PRESTO Seed). Different languages. Same constraints. Same induced properties.
This repository is the empirical case for the derivation inversion: prose-stated constraints produce conformant implementations across substrates.
| Engine | Language | Lines | Status | Notes |
|---|---|---|---|---|
| engines/ts | TypeScript/Bun | ~1,555 | Reference (canary) | Powers jaredfoy.com. Most complete. |
| engines/go | Go | ~2,387 | Functional | HTTP server with full pipeline |
| engines/elixir | Elixir | ~26,764 | Functional | Phoenix-based, comprehensive |
| engines/rust | Rust | ~54,155 | In progress | Most ambitious derivation |
| engines/c | C | ~4,209 | Proof of concept | Minimal, compiles on Raspberry Pi 5 |
| engines/python | Python | ~1,631 | Functional | Simplest derivation |
| engines/zig | Zig | ~2,516 | Functional | HTTP server, CLI, conformance tests |
All engines derive from the same ~2,200-word prose specification: the PRESTO Seed.
The seed specifies:
- The bilateral boundary (
htx:namespace = server territory; HTML = client territory) - The resolver model (HTML in, pure HTML out)
- Progressive layers (Layer 0–6, independently adoptable)
- Two-phase mutations (prepare/execute via action tokens)
- The pipeline stages
- Verification contracts
A conformant engine satisfies the contracts. The seed determines the harvest.
- Feed the PRESTO Seed to a frontier language model
- Specify the target language
- The model derives a conformant implementation
- Run the verification suite against the contracts
- Iterate until all contracts pass
This has been validated across all seven languages. The same constraints produce the same properties regardless of the implementation language — which is the SIPE law in action.
The formal specification lives at github.com/jaredef/htxlang:
- htxlang v0.2 — the specification (8 contracts, RFC 2119)
- Implementation guide — algorithms and data structures
- Reference profile — recommended choices
- htxlang.org — the specification site
- jaredfoy.com — the RESOLVE corpus (the broader framework)
- The Seed Garden — empirical demonstrations of constraint-first derivation
- Doc 247: The Derivation Inversion — the method
MIT
Jared Foy, Southern Oregon