Let me start by listing the documents to get the case inputs.

There's a payroll record and a contract. Let me read both.

Payroll record: gross_pay = 1430.25, payroll_month = 2026-03, allowed_deduction = 115.82.
Contract gross_pay = 1430.25 — matches, no conflict, no amendment needed.

Payroll month 2026-03 is in 2026, so covered. March is in the first half of the year, so I need the first-half reference row.

First-half row applies to months 2026-01 through 2026-06 (the "months" field says ["2026-01", "2026-06"], which presumably means the range 2026-01 to 2026-06). 2026-03 falls in this range.

Values:
- contribution rate: 0.08
- wage cap: 4000.00
- deduction cap: 400.00
- tax-free: 1200.00
- upper bracket boundary: 3000.00
- middle rate: 0.14
- upper rate: 0.18

Now compute:
1. Employee contribution = 0.08 * min(1430.25, 4000.00) = 0.08 * 1430.25 = 114.42
2. Allowed deduction = 115.82. Check: does not exceed deduction cap 400.00. Does it exceed gross pay minus rounded employee contribution? 1430.25 - 114.42 = 1315.83. 115.82 ≤ 1315.83. OK.
3. Taxable pay = 1430.25 - 114.42 - 115.82 = 1200.01
4. Income tax: taxable pay 1200.01. Tax-free up to 1200.00 untaxed. Portion above 1200.00 up to 3000.00 uses middle rate 0.14. So tax = 0.01 * 0.14 = 0.0014 → round half up to 0.00? Round(0.0014, 2) = 0.00. Hmm, that rounds to 0.00.

Wait, let me double-check: taxable pay = 1200.01. The portion above the tax-free amount (1200.00) is 0.01. Tax = 0.01 * 0.14 = 0.0014. Rounded to two decimals: 0.00.

5. Net pay = 1430.25 - 114.42 - 115.82 - 0.00 = 1200.01.

Let me verify with the calculator to be exact.

The calculator doesn't support booleans/comparisons. Let me remove those lines.

All checks pass:
- Contribution: 0.08 × min(1430.25, 4000.00) = 114.42 (R3)
- Allowed deduction 115.82 ≤ cap 400.00 and ≤ available 1315.83 (R4)
- Taxable pay = 1200.01
- Income tax: 0.01 above free at middle rate 0.14 = 0.0014 → rounds to 0.00 (R2, R5)
- Net pay = 1200.01

Answer JSON with clauses R1–R6 (R9 not needed since contract matches).

Let me start by listing the documents to get the case inputs.

Let me read both documents.

Payroll record: gross_pay = 1430.25, payroll_month = 2026-03, allowed_deduction = 115.82. Contract gross_pay = 1430.25 matches, no conflict.

Payroll month 2026-03 is in the first half of 2026. I need to look up the reference row via lookup_reference. The case may include an authoritative reference_tables schedule — R1 says in tool mode this schedule is available only through lookup_reference. Let me check both halves? The month 2026-03 is first half (January–June presumably). Let me look up "first-half". Actually, I should check both to see if the schedule exists. But the month is 2026-03, which is first half. Let me call lookup_reference with first-half. Maybe also second-half isn't needed. But to be safe, I could call both in parallel. The instruction says reference rows are available only through lookup_reference. Let me call first-half.

The first-half row covers 2026-01 through 2026-06 (months: ["2026-01", "2026-06"] — presumably inclusive range). Payroll month 2026-03 falls in this range.

Reference row:
- rate: 0.08
- cap: 4000.00
- deduction cap: 400.00
- free: 1200.00
- upper: 3000.00
- middle_rate: 0.14
- upper_rate: 0.18

Inputs:
- gross_pay = 1430.25
- allowed_deduction = 115.82 (must not exceed deduction cap 400.00 and gross pay minus rounded employee contribution)

Calculations:
1. Employee contribution = rate * min(gross, cap) = 0.08 * min(1430.25, 4000.00) = 0.08 * 1430.25 = 114.42
2. Allowed deduction check: 115.82 ≤ 400.00 ✓; 115.82 ≤ gross - contribution = 1430.25 - 114.42 = 1315.83 ✓
3. Taxable pay = 1430.25 - 114.42 - 115.82 = 1200.01
4. Income tax: taxable up to 1200.00 is free; portion above free up to upper (3000.00) uses middle rate 0.14. Taxable = 1200.01. Free portion = 1200.00 untaxed. Above free = 0.01, which is ≤ upper boundary (3000 - 1200 = 1800 portion). Tax = 0.01 * 0.14 = 0.0014 → round to 0.00.

Wait, careful with bracket boundaries: "Taxable pay up to the tax-free amount is untaxed. The portion above that amount up to the upper-bracket boundary uses the middle rate. The portion above the upper-bracket boundary uses the upper rate." So the middle bracket applies to the portion above 1200.00 up to 3000.00. Taxable = 1200.01, so portion above 1200.00 = 0.01, taxed at 0.14 = 0.0014. Rounded half-up to 0.00. Upper bracket: none.

5. Net pay = 1430.25 - 114.42 - 115.82 - 0.00 = 1200.01

Let me verify with the calculator for exactness.

All checks pass:
- Employee contribution: 0.08 × 1430.25 = 114.42 (R3)
- Allowed deduction 115.82 ≤ 400.00 cap and ≤ 1315.83 available (R4)
- Taxable pay = 1430.25 − 114.42 − 115.82 = 1200.01 (R4)
- Income tax: 1200.00 untaxed, 0.01 × 0.14 = 0.0014 → 0.00 (R5)
- Net pay = 1430.25 − 114.42 − 115.82 − 0.00 = 1200.01 (R6)

Citations: R1 (row selection), R2 (rounding), R3 (contribution), R4 (deduction/taxable), R5 (tax), R6 (net pay). Contract matches so no R9 needed.

Output JSON without fences.

Let me start by listing the documents to see what's in this case.

The payroll record has:
- gross_pay: 1430.25
- payroll_month: 2026-03
- allowed_deduction: 115.82

Contract gross_pay: 1430.25 — matches, no conflict.

Payroll month 2026-03 is covered (only 2026 is covered). March is first half of the year. Let me look up the first-half reference row.

The first-half row covers months 2026-01 through 2026-06 (the "months" field shows the range endpoints presumably). 2026-03 falls within. So:

- rate: 0.08
- cap: 4000.00
- deduction cap: 400.00
- free: 1200.00
- upper: 3000.00
- middle_rate: 0.14
- upper_rate: 0.18

Now compute:
- Employee contribution = 0.08 * min(1430.25, 4000.00) = 0.08 * 1430.25 = 114.42
- Allowed deduction check: 115.82 ≤ 400.00 (cap) and ≤ gross pay − contribution = 1430.25 − 114.42 = 1315.83. Yes, valid.
- Taxable pay = 1430.25 − 114.42 − 115.82 = 1200.01
- Income tax: taxable 1200.01. Tax-free = 1200.00. Portion above free up to upper (3000.00) at middle rate 0.14: (1200.01 − 1200.00) = 0.01 * 0.14 = 0.0014. Upper bracket: 0. Total = 0.0014 → round to 0.00? Round half up to two decimals: 0.0014 rounds to 0.00. Hmm, that gives income_tax = 0.00.

Wait, let me double-check: 0.01 * 0.14 = 0.0014. Rounded to two decimals = 0.00. So income tax = 0.00.

- Net pay = 1430.25 − 114.42 − 115.82 − 0.00 = 1200.01.

Let me verify with the calculator.

All checks pass:

1. Required inputs present: gross_pay (1430.25), payroll_month (2026-03). R1, R7 OK.
2. Month 2026-03 covered by first-half reference row (2026-01 through 2026-06). R1 OK.
3. Contract gross_pay 1430.25 matches payroll gross_pay — no conflict, no amendment needed. R9 not needed.
4. Employee contribution: 0.08 × min(1430.25, 4000.00) = 114.42 (R3, R2).
5. Allowed deduction 115.82 ≤ 400.00 cap and ≤ available 1315.83 (R4).
6. Taxable pay = 1200.01 (R4).
7. Income tax: 1200.01 − 1200.00 = 0.01 at 14% = 0.0014 → 0.00 (R5, R2).
8. Net pay = 1430.25 − 114.42 − 115.82 − 0.00 = 1200.01 (R6).

Return the JSON with decision "calculate", currency "LCR", all money fields as two-decimal strings, clauses R1–R6.