# EM-PEO-09 local evidence

- The full current compensation, employment, position, money, valuation, decision, payment, disclosure and measurement specifications, registry reservations and relevant prior work were frozen before adjudication.
- Claude and Grok agree on four identifier-unassigned roots: Compensation Band, Compensation Assignment, Benefit Plan and Benefit Enrollment. Compensation Review remains WM-REC-010 decision semantics.
- WM-ECO-031 owns payroll calculation and payslip faces; WM-ECO-009 owns instruction, execution and settlement. Net pay, payslip and submission do not prove settlement or authority acceptance.
- Every amount pins currency, basis, period, frequency, FTE normalization and source. Mid-period changes append versions with explicit proration; FX conversions preserve source, direction, determination time and rounding.
- Eligibility is plan-owned. Election and coverage are enrollment-owned. Enrollment may outlive Employment and coverage may remain active with zero pay or no payroll period.
- Aggregate and per-person derived observations follow cohort-floor, complementary-suppression, join, repeated-query and uniform-response constraints without inventing numeric controls absent from WM-XCT-005.
- One Claude Opus high no-tools frozen audit returned REVISE. All twenty closed checklist items were remediated once without rerunning the audit.
- Candidate revision 3 contains 71 stable rules and 81 declarative fixtures. The combined validator and all four offline dossiers pass.
- No model, catalogue or runtime identifier is allocated. Publication remains held by allocation, relation approval, canonical base status, privacy/public-benefit specifications, jurisdiction profiles and source pins.