★ Reinitializable implementation (no _disableInitializers)
Symbiotic's assessment for RD-F-143 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
MigratableEntity.sol (parent of Vault, Delegator, Slasher implementations) explicitly calls _disableInitializers() in its constructor. DefaultCollateral.sol calls _disableInitializers() in its constructor. Confirmed from GitHub raw source. Proxy takeover via re-initialization is blocked by construction for all core contract types.
Sources #
- GitHubMigratableEntity.sol — _disableInitializers() in constructorMigratableEntity.sol constructor — explicitly contains _disableInitializers(); confirmed via WebFetch of GitHub sourceretrieved 2026-05-16
- DefaultCollateral.sol — _disableInitializers() confirmedDefaultCollateral.sol constructor — explicitly calls _disableInitializers(); confirmed via WebFetch of GitHub raw sourceretrieved 2026-05-16
Methodology #
Determine whether the implementation contract does not call `_disableInitializers()` in its constructor, leaving re-initialization possible.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol symbiotic factor RD-F-143 score green collected_at 2026-05-16 09:25:24