Ontoluswith formaltk
Reason formally about your matters.
Everything a matter touches, made into one addressable record — with a reasoning layer that derives conclusions from premises you can inspect.
The workbench: the matter's record, a derivation with its premises, and the audit trail — one screen.
Three layers, one record
01
The record
Drafts, executed agreements, correspondence — one canonical form, every paragraph citable. What enters a prompt is a decision with a named rule, recorded and reviewable, never a side effect of what search ranked highly.
02
The ontology
Parties, obligations, definitions and deadlines lifted out of the record into a legal ontology with time built in — so which clause superseded which is a stated fact with provenance, not a guess.
03
formaltk
A formal reasoning layer over both. Conclusions derive from premises in the record through rules you can open and reject — a chain of inference, not a chat transcript.
Context you can defend
Every prompt is compiled through named admission rules. The packet records the rule, the blocks admitted, and — unusually — what was kept out and why: a privileged memo stopped by the privilege gate is a recorded exclusion, not an accident.
Conclusions with premises
formaltk connects the matter's context to the ontology and derives step by step. Open any inference, see the premise blocks it rests on, reject a step and the conclusion falls with it.
Every model call budgeted and logged
One gateway, one ledger, no direct provider calls anywhere. Answers cite blocks that resolve to the exact paragraph — with a coverage badge saying how much of the document the answer actually saw.
We never receive your privileged correspondence
The desktop app is the connector: admission rules are evaluated on your machine, before anything crosses the wire. Only admissible material reaches the cloud — a claim your firm can verify, not a promise.
Reasoning grounded in the record. A record that stays on your desk.
Ontolus is in early access — request an account, and once approved, download the desktop app and sign in.
Ontolus— Precision contract mapping for complex corporate transactions · with formaltk
Writing© 2026 Vectorfold Studio