Worked examples
Seven kinds of work, one grammar.
7 kinds of work, each on a real recorded run. Every one is shown the same way: the problem, the call, the verdict words, what was refused and why, what was not attested, and the files to check it without Factum.
Each run was made against the engine at its current release with no AI engine configured. The documents are constructed for the purpose, with fictitious parties, except where a page says otherwise. Nothing on these pages is a mock-up.
Legal
Is every clause the checklist asks for in this contract, and does the draft hold together?
A short draft: 7 drafting findings, a dangling cross-reference, and 8 of 9 clauses absent. Two drafts compared: one clause changed, one removed.
resolved1gap8changed1removed1
Does each cited authority exist, is it the case the brief names, and is each quotation exact?
5 citations read. One does not exist in the corpus, one names a different case, one quotation is not in the opinion.
not_located1cites_different_case1quote_not_found1
Finance
Does every figure in the earnings release agree with the filing it restates?
455 release figures: 49 tied to the filing, 406 with no counterpart located, none differing, none refused. A real filer, with its name elided.
tied49differs0refused0untied406
Logistics
Is this freight invoice well formed, do its totals agree, and is its container number a possible one?
Three X12 invoices: one well formed, one wrong check digit caught, one total that does not add up caught. Each at its byte position.
findingequipment_check_digit_disagreesfindingtotals_disagree
Analytics and composed checklists
Can a question of one's own be asked from the catalogue's declared items, and counted afterwards?
Four data points, one arithmetic check and the identifier check, taken from one checklist. An item the checklist does not declare is refused by name.
resolved4refusedcomposition_item_unknown
Data in and out
What was read from this document, where was each fact read, and can it be found again?
18 facts admitted, each read back with its byte position and the exact text there. Bytes that are not a document are refused at the door.
admitted18abstentions0refusedbytes_unrecognised
Document fill
Which cells can be filled from these sources by exact key, and which must be refused?
15 cells declared: 5 filled by exact key, 10 refused by name, none guessed. The filled workbook's hash is signed.
filled5refused10
The same four things, every time
A verdict wordFrom a closed list, set under its own name. A colour is added only where the word is located, absent or refused.
A receiptThe rule that answered and the derivation of the value, inside the signature.
A refusal, by nameOne of 96 registered codes, with its remedy class. A refusal is the engine doing its job.
A boundaryWhat the certificate does not certify, under NOT ATTESTED.
Why they are the same is on the system page. Every report type these runs used is in the catalogue.
What is not here
A kind of work appears on this page when a door of the running service does it and a run can be recorded. Work the engine does not yet do is not shown as if it did.