# Reconciliation

Surface 14. Generated by `src/build_operation_docs.py`. Every figure is read from the residual file it names; each equality below is computed. No residual is netted against another and no row is dropped by an inner join: every file lists its unmatched rows on both sides.

Build: `data/derived/bulk-c4`. Positions: known_then, restated_then, current_later. Grains are declared per section and are never forced equal to one another.

## Populations (grain: request, completed leg, preparation unit)

- known_then: P 28,040 = 28,040; explicitly excluded requests 200; unresolved requests outside P 120; completed legs with unresolved applicability 1; not reportable 0.
- restated_then: P 28,040 = 28,040; explicitly excluded requests 200; unresolved requests outside P 120; completed legs with unresolved applicability 1; not reportable 0.
- current_later: P 28,040 = 28,040; explicitly excluded requests 200; unresolved requests outside P 120; completed legs with unresolved applicability 1; not reportable 0.

Population bridge (known then to each position): current_later: C added 0, removed 0, P delta 0; known_then: C added 0, removed 0, P delta 0; restated_then: C added 0, removed 0, P delta 0.

## Preparation and readiness (grain: preparation unit)

- `governance/preparation-accounting.jsonl`: 28,040 = 28,040 units, each with construction, readiness per target and outcome per position.
- Never-ready encounter attempts (`reconciliation/never-ready-families.json`): 1,341 rows; by blocker: vendor_payment_observation 1,334; line_charge;line_quantity 2; census applicability unknown; the unit's reportability is unresolved, so no readiness conclusion is supplied 1; complete_explicit_service_line_allocation_membership;line_charge;line_quantity;service_date_utc;service_end_at;service_start_at;transport_category;trip_verification_reference 1; coverage_reference 1; subscriber_id;subscriber_relationship 1; trip_verification_reference 1. Sum 1,341 = 1,341.

## Claims and payloads (grain: claim version, field, line)

- `governance/claim-lineage.jsonl`: 12,041 claim versions (2,000 with a predecessor) with bound source ids, allocations and availability; distinct claim headers 10,041 = 10,041; versions minus successors 10,041 = 10,041.
- Source to claim (M18): 10,041 versions, 312,441 fields compared; conforming 312,420, mismatched 0, unassessable 21 (kept, never counted as conforming). Fields sum 312,441 = 312,441.

## Coverage and evidence (grain: completed leg, reporting unit, response row)

- known_then: uncovered legs 10,983 = 10,983; by state client_asserted_only 2,663, no_evidence 3,659, not_submitted 1,342, partial_required_components 1,536, rejected 1,738, unresolved 45; by-state totals equal M02 cells: yes.
  Response rows not validly bound: 93 (each listed with its disposition). Accepted families outside required scope (M12): see `reconciliation/known_then/out-of-scope-accepted.json`.
- restated_then: uncovered legs 10,983 = 10,983; by state client_asserted_only 2,663, no_evidence 3,659, not_submitted 1,342, partial_required_components 1,536, rejected 1,738, unresolved 45; by-state totals equal M02 cells: yes.
  Response rows not validly bound: 93 (each listed with its disposition). Accepted families outside required scope (M12): see `reconciliation/restated_then/out-of-scope-accepted.json`.
- current_later: uncovered legs 10,983 = 10,983; by state client_asserted_only 2,663, no_evidence 3,659, not_submitted 1,341, partial_required_components 1,536, rejected 1,739, unresolved 45; by-state totals equal M02 cells: yes.
  Response rows not validly bound: 90 (each listed with its disposition). Accepted families outside required scope (M12): see `reconciliation/current_later/out-of-scope-accepted.json`.
- M16 at current later by evidence basis: aggregate_only_assertion 90, forwarded_originating 2,548, no_usable_evidence 13,461, originating_structured 6,610, record_specific_client_assertion 5,331; sum 28,040 = 28,040. Unknowns stay in the denominator; client assertions and aggregate notes never count as source evidence.
- Coverage bridges between positions (`reconciliation/coverage-bridges.json`): known_then_to_restated_then: added 0, removed 0, denominator delta 0; restated_then_to_current_later: added 0, removed 0, denominator delta 0.

## Money (grain: financial event, expected slot)

- allowed_amount: expected slots 12,040; known 7,998, unknown 4,002, conflicting 0, not applicable 40; states sum 12,040 = 12,040. Unknown is never zero.
- member_collection: expected slots 12,040; known 6,000, unknown 6,000, conflicting 0, not applicable 40; states sum 12,040 = 12,040. Unknown is never zero.
- member_responsibility: expected slots 12,040; known 12,000, unknown 0, conflicting 0, not applicable 40; states sum 12,040 = 12,040. Unknown is never zero.
- payer_paid: expected slots 12,040; known 6,000, unknown 5,999, conflicting 1, not applicable 40; states sum 12,040 = 12,040. Unknown is never zero.
- submitted_charge: expected slots 12,040; known 11,998, unknown 2, conflicting 0, not applicable 0; states sum 12,040 = 12,040. Unknown is never zero.
- supplier_cost: expected slots 12,040; known 12,000, unknown 0, conflicting 0, not applicable 40; states sum 12,040 = 12,040. Unknown is never zero.
- vendor_payment: expected slots 12,040; known 7,999, unknown 4,001, conflicting 0, not applicable 40; states sum 12,040 = 12,040. Unknown is never zero.
  - events allowed_amount: 7,998 rows, gross positive 279930.00, gross negative 0.00, net 279930.00 USD (gross shown; opposite signs are not netted away).
  - events member_collection: 6,000 rows, gross positive 0.00, gross negative 0.00, net 0.00 USD (gross shown; opposite signs are not netted away).
  - events member_responsibility: 12,000 rows, gross positive 60000.00, gross negative 0.00, net 60000.00 USD (gross shown; opposite signs are not netted away).
  - events payer_paid: 6,000 rows, gross positive 120000.00, gross negative 0.00, net 120000.00 USD (gross shown; opposite signs are not netted away).
  - events settlement: 12,001 rows, gross positive 240000.00, gross negative -20.00, net 239980.00 USD (gross shown; opposite signs are not netted away).
  - events supplier_cost: 12,000 rows, gross positive 323506.52, gross negative 0.00, net 323506.52 USD (gross shown; opposite signs are not netted away).
  - events vendor_payment: 7,999 rows, gross positive 143982.00, gross negative 0.00, net 143982.00 USD (gross shown; opposite signs are not netted away).

## Failed and partial runs

Candidate rebuild attempts are retained, including the failed one (`governance/rebuild-attempts/bulk-c2-attempt-1-failed.json`); no scheduled run exists yet (surface 13 blocked on D10), so there are no operating runs to reconcile.

## Result

22 of 22 computed equalities hold.
