Audits
No external audit of the rail has been completed, and this page does not name auditors that have not audited. What can be stated is the audit posture: what an audit of the rail would verify, and what evidence it would examine.
What an audit would verify
- Conservation. That every settled line on the FK1 rail conserves exactly: credits in equal credits out plus toll. This is checkable line by line from the ledger.
- Metering. That quota keys are metered to the second, and that metered consumption matches the debits recorded against each key.
- Grades. That every line carries one of the five grade labels (live, live-attested, attested, fixture-mechanism, fixture), that the criteria for each label were met, and that fixtures are labeled fixtures in every surface where they appear.
- Toll application. That the toll is applied as stated: 5% in, 5.5% out, posted per line, with no other fees.
What an audit would not change
An audit verifies the record; it does not create capacity and it does not guarantee future uptime. A clean audit of a ledger that shows outages still shows outages.
Until an audit exists
The receipts themselves are the current evidence. Any user can check conservation on their own settlements at receipt verify. Known gaps are listed at honest limits.