CC-C31.RSA-1 | The text starts from ReusableStructureTriage unless an accounting basis and structure refs are already named. |
CC-C31.RSA-2 | Any accounting description names accountingBasisRef, structureRefs, structuralAspectRefs, reusable slots, bespoke residue slots, residual uncertainty slots, admissible use, and non-admissible use. |
CC-C31.RSA-3 | Report-only shares are marked report-only unless every outside-RSA use being made and named in the claim-use boundary meets the conditions defined by its applicable pattern. |
CC-C31.RSA-4 | No text treats RSA as proof of modularity, quality, or any outside-RSA use named in the claim-use boundary. |
CC-C31.RSA-5 | Heterogeneous slot labels are not summed unless a declared accounting basis and aggregation rule make the operation admissible. |
CC-C31.RSA-6 | Each bespoke residue interpretation states a repair direction, bounded-exception condition, source-return condition, or governing-pattern application. |
CC-C31.RSA-7 | For an evidence-validity claim, use A.10 to recover its source-to-use basis and G.6 when a citable provenance path is needed; use B.3 for an assurance claim, including one about safety-case support. |
CC-C31.RSA-8 | RSA does not duplicate the C.31 characteristic taxonomy; it uses C.31 only when a modularity characteristic under evaluation, such as bespoke residue, evidence reuse, or residual uncertainty, must govern the accounting interpretation. |
CC-C31.RSA-9 | Source-return condition is present when accounting hides action-relevant source distinctions. |
CC-C31.RSA-10 | Outside-RSA comparison, ranking, selection, gate use, or decision use names comparator admission named by value such as CG-Spec, ComparatorSetRef, or a comparator-governing reference named by value; otherwise the RSA share remains report-only. |
CC-C31.RSA-11 | The RSA note names reopen or lowering conditions for source distinction change, accounting-basis change, structure-edition change, implicit-interface change, comparator change, evidence or assurance decay, downstream reliance, repeated bounded exception, and reuse move side effects when those conditions are needed for the record. |
CC-C31.RSA-12 | Source labels such as block, layer, expert, cache, router, gate, or pruning mask use C.30.STRAT before they become structureRefs, structuralAspectRefs, accounting-basis fields, repair actions, or source-return conditions. |