🔐 Federation Status Board

Generated 2026-06-10  ·  235 tracked claims  ·  Trunkit cert ledger (cert.board_summary)

203
verified
3
failed
29
unknown
86%
verified rate

By area

Cross-lab structures
✓ 3 ? 1
Curry (provenance)
✓ 4 ? 2
Math: homology
✓ 1 ? 3
Math: kan engines
✓ 26 ? 10
Methods & self-checks
✓ 7
Other
✓ 140 ✗ 3 ? 13
TEL behavior
✓ 3
TEL builds
✓ 8
TEL constants
✓ 1
TEL graphics
✓ 5
TEL results & hygiene
✓ 5

❌ Needs attention

[Other]agent LabOrderAgent session sess-001 proposed OrderDefinitiveTest — decision: rejected
[Other]AXIOM REFUTED: tau_mersenne_exponential in divisor_growth_lemmas.lean (sha 3556b0bc31a1d5ff) asserts
[Other]INTERNAL INCONSISTENCY: lemma eligible_count=tau vs validator data: eligible_count(2,5)=4 but tau(2^
all verified some unknown, no failures has failures no claims yet