You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Define DocMatrix, Formatrix Docs, and Blocky Writer as independent options that
can compose into one precision-document suite. No user should have to convert
everything to Microsoft Word—or any other mandatory hub format—to obtain
multi-format viewing, editing, conversion, or fixed-layout form placement.
Component boundaries
DocMatrix: multi-format conversion and precision coordination.
Formatrix Docs: tabbed views of one logical document across TXT,
user-selected-delimiter tabular text, Markdown, AsciiDoc, Djot, and A2ML;
synchronised editing is the intended progression.
Blocky Writer: fitting and placement into fixed-layout PDF and
application-form boxes, baselines, and per-character cells designed for hand
spacing.
ForthWall: an optional, proposed capability-bounded execution layer for
critical operations; never a mandatory end-user product or runtime.
Each component must remain useful on its own. Composition is explicit and
user-selected.
Precision composition contract
The user's native input remains authoritative unless they explicitly select
another representation.
Every conversion identifies its parser/renderer versions and declares what
is preserved, approximated, unsupported, or lost.
Intermediate representations are inspectable, content-addressed, and linked
to their source; no opaque Word or proprietary round trip is required.
No component silently normalises punctuation, Unicode/whitespace,
attribution, terminology, document structure, or page geometry.
Ambiguous or lossy transformations are proposals requiring approval.
A composed operation carries exact input/output hashes, provenance,
evidence spans or page coordinates, and a replayable operation record.
Each component verifies its own contract, then an independent end-to-end
verifier checks the composed result.
Audit/propose is the non-interactive default. Automatic mutation remains
disabled for ambiguous or critical operations.
Proof obligations do not transfer
Conversion round-trip tests do not prove synchronised editor state.
Editor tests do not prove fixed-layout PDF geometry.
Exact page coordinates do not prove semantic correctness.
Deterministic Forth execution does not prove that the chosen operation or
location was correct.
Every cross-component pipeline must satisfy all participating contracts plus
end-to-end fixtures for the actual composition.
Acceptance criteria
Each repository README and GitHub description states its own boundary and
links to the other optional components.
A versioned interchange contract defines content, format identity,
provenance, hashes, evidence spans, page coordinates, loss reporting, and
refusal reasons.
Users can run each component independently and opt into combinations.
No supported workflow requires Microsoft Word as an intermediate.
Native-format and lossy-conversion policies are configurable and visible.
Cross-component positive, negative, ambiguous, stale-input, lossy,
round-trip, and fault-injection fixtures run in CI.
Goal
Define DocMatrix, Formatrix Docs, and Blocky Writer as independent options that
can compose into one precision-document suite. No user should have to convert
everything to Microsoft Word—or any other mandatory hub format—to obtain
multi-format viewing, editing, conversion, or fixed-layout form placement.
Component boundaries
user-selected-delimiter tabular text, Markdown, AsciiDoc, Djot, and A2ML;
synchronised editing is the intended progression.
application-form boxes, baselines, and per-character cells designed for hand
spacing.
critical operations; never a mandatory end-user product or runtime.
Each component must remain useful on its own. Composition is explicit and
user-selected.
Precision composition contract
another representation.
is preserved, approximated, unsupported, or lost.
to their source; no opaque Word or proprietary round trip is required.
attribution, terminology, document structure, or page geometry.
evidence spans or page coordinates, and a replayable operation record.
verifier checks the composed result.
disabled for ambiguous or critical operations.
Proof obligations do not transfer
location was correct.
Every cross-component pipeline must satisfy all participating contracts plus
end-to-end fixtures for the actual composition.
Acceptance criteria
links to the other optional components.
provenance, hashes, evidence spans, page coordinates, loss reporting, and
refusal reasons.
round-trip, and fault-injection fixtures run in CI.
implementation and proof criteria are met.