Completeness is explicit: the model exposes activity and gap minutes, coverage, range length, balance, pending rest allocation, and evidence status. Queries use the same canonical branch as the rule engine, so abandoned rollback data does not return. Outputs include localized PDF, raw activity CSV, compensation CSV, VTC JSON, and a SHA-256-protected session envelope. The module demonstrates temporal aggregation, range projection, data-quality modelling, format-specific serialization, localization, and automated verification.