A.6.1:5.2 - Clinical work: dose-adjustment operations
A clinical team declares a dose-adjustment mechanism over one common patient subject and one common dose-value domain. The headline fields and the heterogeneous operation positions connect as follows; every named ValueKind must already resolve under the effective reference scheme.
| Declaration locus | Filled value and connection |
|---|---|
SubjectKind | Patient; required argument patient has ValueKind = Patient and identifies the patient for whom one calculation is proposed. |
RangedValueKind | DoseValue; required argument currentDose has ValueKind = DoseValue, and the LawSet states the dose bounds and unit-preserving rules over that domain. |
optional ResultKind | DoseRange; result proposedDoseRange has ValueKind = DoseRange. This field is present because the returned range is not one DoseValue. If the operation instead returned one DoseValue, omit the separate ResultKind; if several operations returned unrelated local kinds, keep those kinds in their own result declarations rather than forming a union. |
| other operation-local arguments | drug : Drug, patientMass : MassValue, and renalFunction : RenalFunctionMeasure; these exact ValueKinds constrain this operation but do not replace or widen the family-level subject and range. |
Admission conditions state which measurements and qualification intervals make one calculation admissible. Applicability names the patient-population U.ClaimScope, qualification interval, selected CHR:ReferencePlane (normally world for the patient-side use claim), and clinical conditions under which the declaration is used.
An exact claim-bearing clinical-protocol episteme is a U.MethodDescription only when it describes one admitted U.Method and satisfies A.3.2; its publication form and carrier remain separate. One clinician’s treatment occurrence is work only when the A.15.1 occurrence basis obtains. Exact laboratory measurement values may be bound as arguments of one admitted calculation application, while the measurement and evidence relations that warrant their use remain separate. The returned dose-range binding records only the range returned by that application. A prescription and any materialized result episteme require their own governing claims.
Practical payoff: protocol presentation, one treatment occurrence, and the declared calculation laws can change independently.