SCORU: concept introduced in a title not explained in the paragraph that follows

In {3 Cemented and Disputable commitments}, the Disputable part is not explained in the paragraph that follows.

src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    commitment claims that the PVM (Proof-generating Virtual Machine) is in a
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    pre-boot state and waiting to start booting by interpreting the boot sector with
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    respect to the Machine semantics.
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    {3 Cemented and Disputable commitments}
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli:    Commitments accepted as true by the protocol are referred to as Cemented.
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    {3 Stakers}
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    The Stakers table maps Stakers (implicit accounts) to commitments hashes.
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-
src/proto_alpha/lib_protocol/sc_rollup_commitment_storage.mli-    Let [Stakers(S)] mean "looking up the key S in [Stakers]".