Receipt verify
Every settlement on the FK1 rail produces a receipt. Verification means checking that receipt against the three things the rail claims: conservation, grade, and metering. No trust in Foinse is required for arithmetic.
Step 1: Check conservation
The receipt lists credits in, credits out, and toll. Confirm that credits in equal credits out plus toll. The FK1 rail conserves exactly, so any receipt where this equality fails is not a valid settled line.
Step 2: Check the toll
The toll is posted per line: 5% in, 5.5% out. Confirm the toll on the receipt matches the posted rate for the direction of movement. There are no other fees.
Step 3: Check the grade label
The receipt carries one grade: live, live-attested, attested, fixture-mechanism, or fixture. Read the label literally. A fixture receipt describes a fixture, not real settlement, no matter how complete it looks.
Step 4: Check metering on spend
For spend against a quota key, the receipt shows metered time. Quota keys are metered to the second; the debit on the receipt should match the metered seconds at the key's rate.
If a check fails
Open a dispute through the process described at your toll dashboard. The ledger is the record of what settled; a failed check on a settled line is treated as an error, not a disagreement about interpretation.