R-DCC — Derived Capability Classes

R-DCC introduces Derived Capability Classes (DCCs) — named bundles of substrate axioms and capabilities that are frequently assumed together in research papers. R-DCC is a non-normative reference document; it introduces no new axioms, mechanisms, or theoretical claims.

Goals of DCCs:

• Eliminate repeated axiom enumeration in B-series and other papers
• Make capability assumptions explicit, named, and reviewable
• Preserve axiomatic traceability without polluting representational derivations
• Strengthen programme coherence and scalability

What is a DCC: A named collection of axioms that together define a substrate capability envelope. Structure includes: name (e.g., DCC-QM), capability description, axiom bundle, R-CCC mapping, and usage guidance.

What DCCs Are: Named capability bundles for convenience; synthesis of existing axioms; reference material for consistent capability assumptions.

What DCCs Are NOT: New axioms or primitives; normative requirements (always non-normative); replacements for explicit axiom references in derivations; mechanisms or theoretical claims.

Paper ID: R-DCC | Series: R-series (Reference) | Status: Reference document | Dependencies: Informed by A, R-CCC, M1–M4