from src.domain.app_blocks.fast_lane_proof import assert_declared_applications_composable


def test_all_declared_fast_lane_applications_close_over_frozen_composition():
    proofs = assert_declared_applications_composable()
    assert len(proofs) == 25
    assert all(item.composition_proven for item in proofs)