C.3.1:6 - Continuity Decision
Compare the old and proposed declarations in this order:
| Question | Continuity consequence |
|---|---|
| What candidate domain and operative membership condition did the old kind use? | Write at least one intended member and one relevant non-member or boundary case that exposes the discriminator. |
| What exact criterion, domain, assumption, dependency, or interpretation changed? | Separate a wording, unit, source, or scheme change from a changed membership law. |
| Under an explicit alignment, do the old and new conditions classify the boundary probes alike for the receiving typed use, and does the operative discriminator keep the same meaning? | If yes, the same kind may continue; cite the actual declaration edition in each judgment. If no, identify another kind. |
| Did only the practice, source, team, or publication locality change? | Run the same comparison. Locality alone supplies no result and no KindBridge. |
| Are two distinct kinds now being related? | State an obtaining U.SubkindOf fact when its criterion or closed-domain branch passes. Use C.3.3 only for a separately justified directional correspondence. |
Preserving change. CoolingPumpSignature-3 replaces litres-per-second with an exactly aligned SI expression, preserves the pump candidate domain, cooling-performance discriminator, intended member and non-member probes, and maintenance use. The same CoolingPumpKind continues; new judgments cite edition 3.
Identity-breaking change. A proposed edition replaces physical cooling performance with the presence of schema label CoolingPump. A physical pump without the row changes from member to non-member and a labelled non-performing row can appear to qualify. The operative distinction and candidate domain changed; identify another kind rather than continuing CoolingPumpKind.
Locality change. Journal and grant teams may reuse one exact ReviewerSystemRole when candidate Systems, required contribution, and acceptance condition remain aligned. If grant review requires a different contribution or admits a materially different candidate boundary, identify another kind. The two labels decide neither case.