EXPLAINME.adoc

Formatrix Docs — Show Me The Receipts

Table of Contents

• Technology Choices
• Dogfooded Across The Account
• File Map
• Suite boundary
• Questions?

The README makes claims. This file backs them up.

Formatrix Docs is the tabbed viewer and editor of one logical document.

— README

Technology Choices

Technology	Learn More
Rust	https://www.rust-lang.org
Zig	https://ziglang.org
Idris2 ABI	https://www.idris-lang.org

Dogfooded Across The Account

Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across proven, burble, and gossamer.

File Map

Path	What’s There
crates/formatrix-core/	Unified AST, parsers, renderers (seven `SourceFormat`s)
ffi/	Foreign function interface
docs/ecosystem/ECOSYSTEM.adoc	Suite boundary vs DocMatrix and blocky-writer

Suite boundary

Claim	Where it is checked
We are Formatrix Docs, not DocMatrix	README.adoc title and "Precision document suite" section; docs/ecosystem/ECOSYSTEM.adoc
Viewing/editing stays here; PDF form placement stays in blocky-writer	formatrix-docs#61; .machine_readable/integrations/blocky-writer.a2ml
Proof obligations do not transfer	docmatrix#71

Questions?

Open an issue or reach out directly — happy to explain anything in more detail.