= DocMatrix

License & Philosophy

This project must declare MPL-2.0-or-later for platform/tooling compatibility.

Philosophy: Palimpsest. The MPL-2.0 (PMPL) text is provided in license/MPL-2.0.txt, and the canonical source is the palimpsest-license repository.

DocMatrix is multi-format document conversion and precision infrastructure for the wider document suite. The tabbed multi-format viewer/editor is the separate Formatrix Docs project. GUI, TUI, graph, and editor claims in copied or ecosystem-level documents must not be attributed to DocMatrix itself.

ForthWall is a proposed capability-bounded Forth execution layer for critical precision operations. It is not currently implemented or proved.

Features

• Current core - Parse and render supported formats through a unified AST

• Current interfaces - Rust conversion APIs plus a C ABI/FFI surface

• Suite boundary - Formatrix Docs owns the tabbed viewer/editor experience

• Critical-mode proposal - ForthWall rules bounded to declared inputs, approved document operations, and independently verified outputs

Precision document suite

DocMatrix is designed to cooperate with two distinct user-facing tools:

• Formatrix Docs — view one logical document through tabbed TXT, delimiter-selected tabular text, Markdown, AsciiDoc, Djot, and A2ML representations, with synchronised editing as the intended progression; and

• Blocky Writer — fit content into fixed-layout PDF and application-form boxes, baselines, and per-character cells that were designed for hand spacing rather than reliable computer entry.

The responsibilities must remain separate in code and evidence. Conversion correctness does not prove synchronised editing, and synchronised editing does not prove page-coordinate placement. A ForthWall operation may coordinate a bounded critical step only after the relevant component’s own semantic, round-trip, geometry, confinement, and independent-verification gates pass. The versioned composition contract is tracked in issue #71; it explicitly forbids making Microsoft Word or another lossy hub format mandatory.

Conversion delivery gate

DocMatrix conversion claims require independently reproducible tests that round trips preserve every construct described as lossless, lossy conversions are reported, input and output formats are identified, and malformed or ambiguous documents fail without silent rewriting. Viewer/editor behaviours such as cursor mapping, synchronised tabs, and undo/redo belong to Formatrix Docs and must be proved there.

Critical-mode automatic editing through the proposed ForthWall layer has an additional safety gate: bounded capabilities, exact input hashes and evidence spans, semantic refusal conditions, replay traces, and independent verification of every applied edit. See issue #70.

Supported Formats

Format	Description
TXT	Plain text
MD	Markdown (CommonMark)
ADOC	AsciiDoc
DJOT	Djot markup
ORG	Org-mode
RST	reStructuredText
TYP	Typst

Quick Start

# Check dependencies
just deps

# Build all components
just build

# Exercise the currently evidenced conversion core
just test-core

# GUI and TUI recipes are ecosystem scaffolding, not DocMatrix capability proof

just test-core covers core parsing, rendering, format identification, round trips, and no-panic handling. It is not the complete conversion delivery gate: the suite does not yet provide dedicated loss-reporting or end-to-end ambiguous format-identification rejection coverage.

Architecture

The following tree is ecosystem/Formatrix Docs scaffolding retained in this checkout; it is not the DocMatrix suite boundary:

crates/
├── formatrix-core/     # AST, parsers, renderers
├── formatrix-gui/      # Gossamer commands
├── formatrix-db/       # ArangoDB client
└── formatrix-pipeline/ # Nickel executor

tui/src/                # Ada TUI source
ui/src/                 # AffineScript components
pipelines/              # Nickel pipeline definitions
container/              # Wolfi container configs

Development

Prerequisites

• Rust (stable)

• Deno

• GNAT + gprbuild (for TUI)

• GTK4 + WebKit2GTK (for GUI)

Build Commands

just build           # Build all
just build-core      # Build Rust core only
just build-tui       # Build Ada TUI only
just build-ui        # Build AffineScript UI only
just test            # Run all tests
just fmt             # Format all code
just lint            # Lint all code

Containers

just container-build           # Build Wolfi image
just compose-up                # Start with ArangoDB
just container-run-tui         # Run TUI in container

RSR Compliance

This project follows the Rhodium Standard Repositories specification:

• Tier 2 - Full-featured multi-language project

• See RSR_COMPLIANCE.adoc for details

Related Scripts

Automation scripts from hyperpolymath/scripts:

Script	Purpose
asdfman.sh	Manage asdf plugins and versions
init_bashrc_three_ply.sh	Modular bashrc setup (three-layer architecture)
k-check.sh	Kinoite cluster validation
k-intune.sh	Kinoite tuning scripts
langstrap.sh	Mass language install utilities
sysenv.sh	System environment setup
touchscreen_hunter_killer.sh	Touchscreen calibration/management

These scripts follow the same language policy (Bash, Rust, AffineScript, Deno, Gleam, Guile Scheme) and multi-forge mirroring strategy.

License

MPL-2.0 with Palimpsest philosophy.

Links

• Project State

• Ecosystem Position

• Architecture Decisions

• Palimpsest Philosophy