Code complexity vs audit coverage

Symbiotic's assessment for RD-F-024 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Six independent firms audited the core repo plus Certora formal verification. The total audit coverage breadth (5 manual firms + 1 code competition + FV) is extremely strong. No audit firm flagged code complexity as a concern or insufficient coverage. ChainSecurity found only minor issues; Certora FV passed all specified invariants.

Sources #

Audit
Certora Symbiotic Formal VerificationCertora FV: all invariants passedretrieved 2026-05-16
GitHub
Symbiotic Core Audits Directorysymbioticfi/core/tree/main/audits: 6 PDF files from distinct firmsretrieved 2026-05-16

Methodology #

Determine whether the cyclomatic complexity or LOC-per-audit-day ratio exceeds the curator-declared credibility threshold for the audit to be meaningful.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol symbiotic factor RD-F-024 score green collected_at 2026-05-16 09:25:24