FACTUM

Worked examples · Finance

The tie-out: earnings against the filing.

An earnings release states figures before the periodic filing does. A tie-out agrees each figure in the release with the filing, under declared correspondences: each one tied, differing, refused, or with no counterpart.

The problem

A public company that releases the results of a completed quarter or year furnishes the release to the SEC under Item 2.02 of Form 8-K. The figures then appear again in the periodic filing.

No SEC rule states that the two must agree figure by figure. That they do is a matter of the company's own controls and of liability for misstatement, and agreeing them is a tie-out: each figure traced to its counterpart, or stated as having none.

Recorded outputOne certify call of a real company's earnings release against its annual filing, under one of the engine's declared pairings. The company is real, so its name is elided here and this certificate is not offered for download. It was recorded in a separate run from the other examples, on the same engine release. No AI engine was configured.

Every release figure, one verdict

49tied
0differs
0refused
406untied

455 figures of the release were in the declared population. Each received exactly one verdict. Nothing was differing under the declared correspondences, and nothing was refused.

"Untied" is a statement, not a failure: the certificate says that no counterpart was located in the filing under the declared rules, and names what was searched.

POST /api/tenants/{tenant}/certify?reportType=earnings-release-vs-filing&filename={release}&pair={pairing}&scope=earnings
cash and cash equivalents: 10681tied
Check how this was answered
verdict tied
this result says "cash and cash equivalents" release "ATTACHMENT I-b CONDENSED CONSOLIDATED BALANCE SHEET (Preliminary) December 31, 2025" = 10681: TIED to filing "December 31, 2025" = 10681 (fact obsnode-obs-1793936219133-1uw-1tujgy) under declared-correspondence: ATTACHMENT I-b CONDENSED CONSOLIDATED BALANCE SHEET (Preliminary) December 31, 2025 <-> December 31, 2025, declared-scale: release at 10^6 (pairing [filer]) - rests on the DECLARED scale 10^6 for the release
equivalence ["declared-correspondence: ATTACHMENT I-b CONDENSED CONSOLIDATED BALANCE SHEET (Preliminary) December 31, 2025 <-> December 31, 2025","declared-scale: release at 10^6 (pairing [filer])"]
checklist version eafbd5e42d4c05f5c7114788da787522e85f5835e870bde61be7b1ca3a0591fe
Source where the release states it
10,681
the release, raw-bytes, byte 399,771, 6 bytes
6,501: 6501untied
Check how this was answered
verdict untied
this result says "6,501" release "4Q25" = 6501: UNTIED - no counterpart was located in the filing under the declared rules (searched identical-field-name in scope "earnings"; 0 same-subject filing figure(s) were not comparable) - its scale 10^6 is the DECLARED one for the release, not the document's
equivalence ["identical-field-name"]
checklist version eafbd5e42d4c05f5c7114788da787522e85f5835e870bde61be7b1ca3a0591fe
Source where the release states it
6,501
the release, raw-bytes, byte 12,319, 5 bytes

Two rows of the 455, verbatim except that the company's name is elided.

Every pair of figures, compared

Beside the tie-out, the certificate compares the two documents' stored figures pair by pair: 1,612 pairs across 455 release records and 3,954 filing records.

The comparison is serialized as an argument graph, so its structure can be read by a program: 882 nodes, 1,274 edges, 98 arguments and 0 attacks. An argument that stands has not thereby won.

supports98contradicts0incomparable0silent1514

Boundary

CERTIFIED: this report states, for the declared pair of documents, which stored figures of one were compared with which stored figures of the other under the declared correspondences, what each comparison found, one tie verdict for each declared target figure naming the equivalence rule it rests on, and the content hash each document's stored records carry. For the other 502 figure sides its tie verdicts name, it also states the byte range in that document's stored bytes at which the figure was read and the text there.

NOT ATTESTED That either document is correct, or that either is authoritative over the other, is not attested. A figure that differs between the two documents is reported as a location at which they differ and never as a finding about which of them is wrong. That a tied figure states the same fact as its counterpart beyond equality under the named equivalence rule is not attested. That either document is complete beyond the questions this checklist declares is not attested. Where in either document a tied figure sits is not attested for 2 of the 504 figure sides the tie verdicts name: 0 were stored before positions were recorded and 2 were refused a position by name, and each says so on its own verdict. Where in either document a compared figure sits is stated only where a tie verdict names it; a comparison verdict carries its two figures by fact identifier and value. That a figure for which this report states no comparison has no counterpart in the other document is not attested; it is a statement about what the declared correspondences matched. That two documents whose content hashes differ are different documents is not attested; one document hashed in two byte frames carries two hashes.

A tie-out needs a declared pair

The same call without naming the pairing is refused. The refusal says what to declare.

refusedpairing_required remedy declare

Recorded outputThe refusal, status 422.
report type earnings-release-vs-filing compares TWO documents and declares 5 pairing(s), so a run must name which one: [filer], [filer], [filer], [filer], [filer] There is no default - a certificate about a pair nobody chose is a certificate about a comparison nobody asked for.