B.1.6:4 - Ledger Discipline

The ledger is a replay surface, not the source of the aggregation claim. For every resource component it records:

• resource Characteristic, Scale, Unit, polarity when relevant, and accounting boundary;
• exact measured or estimated subject, time window, and work occurrence to which the value applies;
• C.16 measurement work and measurement-result episteme, including model, calibration, uncertainty, and provenance refs when current;
• every A.15.1 Work-part relation used by the ledger, every C.27.TA overlap fact used by it, and any separately current non-Work carrier PhaseOf, each independently established by its subject pattern;
• shared resource, meter, person, tool, stock, data, port, or time-window overlap and the exact deduplication rule;
• conversions, normalizations, imputations, and their declared method/policy refs;
• the aggregation policy edition and actual aggregation work occurrence;
• aggregation result and distinct C.2.1 result episteme; and
• A.10/G.6 source and provenance refs, G.11 currentness when current, admissible use, stop or reopen condition, and any guard justified by F.19’s plausible-reader test.

Measured, estimated, normalized, converted, allocated, and planned values remain visibly different. A planned value does not become a measurement result or performed-work resource use. A citation to a meter or invoice does not establish the measurement work; a ledger row does not establish work parthood or overlap.

Use PortionOf only for a resource portion with its A.14 measure and additivity basis. Use PhaseOf only for a proper temporal restriction of one unchanged non-Work carrier after its direct identity rule and interval conditions hold. For Work, use A.15.1 TemporalPartOf_work, EpisodeOf_work, OperationalPartOf_work, or another admitted Work-part relation only between independently admitted Work participants after its predicate passes. Route interval overlap through C.27.TA. Use retry or resumption only through a locally declared species with the needed participant meanings, predicate, identity, cardinality, and applicability; otherwise keep separately identified occurrences. Belonging to a collection, common timestamps, shared identifiers, a phase label, or co-listing in the ledger establishes none of those relations.