B.1.6:2 - Solution — separate measurement from aggregation
Start with one direct sentence:
Dated aggregation work
W_aggapplied policyPto the exact C.16 resource-result epistemes for work setW_set, under declared work-part/overlap relations and accounting boundaryB, and obtained aggregation resultR_agg; C.2.1 epistemeE_aggstates that result and A.10/G.6 record its provenance.
If any referenced resource value lacks its resource Characteristic, measurement work, result episteme, Scale/Unit, uncertainty when current, or provenance, it is not repaired by adding a ledger row.
WorkResourceAggregation@Context is a descriptive account for one aggregation claim:
WorkResourceAggregation@Context:
aggregationConcernRef
claimScopeRef?: U.ClaimScope
accountingBoundaryRefs
timeWindowRefs
aggregatedWorkOccurrenceRefs
resourceUseRelationRefs
workPartOrOverlapRelationRefs
nonWorkCarrierPhaseRelationRefs?
resourceCharacteristicRefs
measurementWorkRefs
measurementResultEpistemeRefs
aggregationMethodRef
aggregationOperationDeclarationRef?
aggregationPolicyRef
conversionOrNormalizationRefs?
aggregationWorkRef
aggregationResultRef
aggregationResultEpistemeRef
provenancePathRefs
admissibleUse
stopOrReturnCondition
nonAdmissibleOverread?
stopOrReturnCondition states when to stop or return to another pattern. Include nonAdmissibleOverread? only when it passes F.19’s plausible-reader test. groundedNonAdmissibleOverread? is an alias for that same optional value.
Recover each of these objects and claims independently:
- a resource Characteristic says which quantity or property is accounted for;
- measurement work and a C.16 measurement-result episteme supply each attributed resource value, Scale, Unit, uncertainty, model, calibration, and time stance;
- the aggregation policy declares inclusion, conversion, weighting, missing-value, partition, overlap, and deduplication rules;
- aggregation work has its actual performer identified through A.13 and is independently admitted as dated
U.Workthrough A.15.1; if the aggregation account must also identify the assignment under which the Work was performed, F.6 checks that relation separately; Method, actual inputs through direct relations or A.6.1 bindings, resources, and temporal extent remain separate; - the B.1.6 aggregation result is the typed total, vector, interval, or bounded estimate obtained under that policy and work set;
- a distinct C.2.1 aggregation-result episteme states the result, work set, policy, boundary, time window, qualifications, and uncertainty; and
- A.10/G.6 provenance makes the measurement sources, transformations, aggregation work, and result episteme replayable.
A ledger, dashboard, policy, profile, clause, citation, or graph edge may represent or cite this chain. None establishes work occurrence, actual participation, measurement, aggregation, or result identity by presence.
B.1.6:2.1 - Subject Pattern Map
| Current claim | Subject pattern |
|---|---|
| Resource Characteristic, Scale, Unit, measurement model/calibration, measurement work and result | C.16 for measurement; A.13 for each actual performer; A.15.1 for independent Work admission; F.6 when the result must also identify the assignment under which the Work was performed; and A.6.1 for actual bindings |
| Dated aggregation Work and actual performer | A.13 identifies the actual performer, then A.15.1 independently admits the Work. Add F.6 only if the result must also identify the assignment under which the Work was performed. Method enactment and actual inputs remain separately governed, including A.6.1 bindings when used. |
| Work temporal part, episode, operational part, partition, overlap, retry, resumption, or later occurrence | A.15.1 and the exact Work relation pattern; use B.1.4 only to aggregate already recovered temporal relations |
| Proper temporal restriction of another enduring carrier | that carrier’s direct identity pattern plus A.14 PhaseOf; never a substitute for Work relations |
| Overlap, shared-stock, boundary, and deduplication facts | C.27.TA for interval overlap; the exact stock, resource-use, boundary, or accounting relation pattern for the other fact |
| Aggregation policy and typed aggregation result | B.1.6 |
| Measurement-result and aggregation-result epistemes | C.2.1; A.15.PROD only when their inception through work matters |
| Source recovery and provenance | A.10 and G.6; E.17 for publication |
| Edition currentness | G.11 |
| Planned work or resource readiness | A.15.2 or A.15.5, never a measured aggregation result |
| Transformation, whole reidentification, assurance, comparison, or decision | the applicable A.3.4, B.2, B.3, A.19, C.11, or other pattern for that exact claim |