AI.FO PROOF
Every night the whole engine is put through a synthetic cohort engineered so that every signal has somewhere to fire. The run publishes nothing unless the suite is green and every signal fires where it is meant to. The figures below are not a dashboard reading; each one is derived from artifacts committed to the repository, so anyone with the code can recompute them.
Coverage is a standing guarantee, not a one-off count. The mapping is pinned to the registry at build time, so a newly shipped signal cannot merge without its own archetype, and the nightly coverage gate fails the entire run if any mapped signal fails to fire. A published night is therefore a night on which the whole catalog was exercised, not merely a night the suite happened to pass. Every registered signal currently has a mapped archetype.
The cohort spans named archetypes, each a company built to make a group of related signals applicable and fire:
These are the three figures the public telemetry artifact exposes, shown with the exact definition the artifact carries for each. They answer different questions and are deliberately kept apart rather than collapsed into one impressive-looking total.
14,070
Active assertions
The assertions the nightly suite actually executed tonight. This is the answer to "what is being checked right now".
45,035
Lifetime authored assertions
Every assertion ever promoted into a committed snapshot, archived and superseded runs included. This is the answer to "how much assertion evidence has been built". Until assertions have been archived or superseded, every authored assertion is also an active assertion, so this figure can match the active count exactly. That is a young archive rather than the same value published under separate labels. The figures separate once retention ages snapshots out, and also when an accepted baseline supersedes a generation, which leaves those assertions authored but no longer active.
365,098
Cumulative verifications
Verification work performed across every recorded run. This is the answer to "how much checking has actually happened", which is a different question from how many distinct assertions exist. The per-run ledger began empty, so early in its life this figure can match the active count exactly. That is a young ledger rather than the same value published under separate labels. The figures separate as CREDITED runs accumulate, which is not the same as runs accumulating: a run that contributed nothing still records an entry, so the match can persist while the ledger grows.
What it proves
What it does not prove
The same figures, stamped with their commit and generation time, are public and need no login at /api/telemetry, and every threshold behind every signal traces to a published methodology. See how verification works for the fail-closed gate that decides whether a narrative publishes at all.