Payroll roster (employer er-100)
Demo snapshot — build-time-generated from payroll.store via payroll.render-html (clojure -M:dev:render-html), regenerated nightly.
| Employee | Name | Jurisdiction | Status | Annual salary | Last op status |
|---|---|---|---|---|---|
| emp-1 | Jane Doe (demo) | us-federal | active | 96000.00 | HARD hold · tax-withholding-calculation-gate |
| emp-2 | John Roe (demo) | us-ca | disputed | 84000.00 | committed |
| emp-3 | Alex Kim (demo) | us-ny | active | 110000.00 | HARD hold · source-provenance-gate |
Action gate (PayrollGovernor)
HARD holds cannot be overridden. Withholding amounts are checked against the R0 flat-rate estimate tolerance and must cite an allowed withholding-table class; filings must cite a covered form and be submitted on or before the statutory due date; a disputed employee's payroll always escalates to a human.
| Op | Gate |
|---|---|
:payroll/process | auto-commit when clean, non-disputed employee |
:filing/submit | auto-commit when clean, form covered & before due date |
:disclosure/query | governed read · column set capped by contract tier |
:dispute/request | ALWAYS human approval, any phase, any confidence |
Audit ledger (this run)
Append-only decision-fact log — every proposal, hold and commit this scenario produced.
| Fact | Op | Subject | Basis |
|---|---|---|---|
| committed | process | emp-1 | employee-id, period, gross, withholding |
| committed | submit | fil-2026-q1-941 | form, period, as-of |
| committed | process | emp-2 | employee-id, period, gross, withholding |
| committed | request | emp-1 | withholding |
| policy-hold | process | emp-3 | source-provenance-gate |
| policy-hold | process | emp-1 | tax-withholding-calculation-gate |
| policy-hold | submit | fil-2026-q1-941 | filing-deadline-gate |