audit: math-fix fortieth-pass re-verification (all gates fresh, OFFLAN-OK 23:26Z, deploy + 34/34 sweep, passes3 byte-identical to passes 14-39, all five row JSONs byte-identical (audit/math-fix, gitignored), canonical couple+fire frames re-drawn, all three MIXEDLIVE probes OK incl. 52/56 clamp-driven dagger rows)

MATH-FIX-REPORT.md

@@ -1066,3 +1066,26 @@ Harness note: the sandboxed shell of this pass routes `TMPDIR` to a read-only ca
 **No code change required** — engine/renderer/i18n/tests byte-stable vs pass 38, deployed build verified identical 34/34. All plan acceptance criteria (1–6) re-verified against the deployed build. Final: **MATH_FIX_DONE**.
 
 Addendum (post-push, same pass): audit commit `85ebb1d0fcbe85a70b736ac2d4016703a53b10a6` pushed `0c7ca48..85ebb1d` → `origin/main` (report + fresh off-LAN stamp `2026-10-09T23:23:08Z`; code untouched — the plan's mandated fix commit `08398267040a832bdec0910626423f0dbfeb0a7f` remains the code change under test, confirmed ancestor of `HEAD`). Post-push `git fetch` + full byte sweep re-run vs the new `origin/main`: `git diff 0c7ca48..85ebb1d -- site` = **0 lines** (zero site delta, so the sweep carries over by construction), origin blob == local == webroot md5, tracked **21/21 (3-way)** + gitignored `site/vision/*.jpeg` **13/13 (2-way)** = **34/34 match, 0 mismatch** → `SWEEP-OK`; `HEAD` == `origin/main` == `85ebb1d`.
+
+## Re-verification (fortieth DSH pass, 2026-10-09 23:24–23:29 UTC, post-completion)
+
+Queue gate re-checked at start: tree clean at HEAD `75fe0a1` — **all four fixes are code-complete on `main`** (fix commit `08398267040a832bdec0910626423f0dbfeb0a7f`, ancestor of HEAD confirmed via `git merge-base --is-ancestor`; `git diff 0839826..HEAD -- site` = 0 lines). Re-audited every mandated change against the live files by direct read: GIS 65+ floor at the three `solve()` call sites (`engine.js:249/260/265`, `var g = a >= 65 ? gis(…) : 0`) + Service Canada source comment (`:90–91`) + merge gate `if (yr < 65) gisSum = 0;` (`:382`) with per-partner age≥65 gates (`:376–381`); clawback only when OAS received, capped at OAS paid, in both `solve` legs (`:248/:259`, s.3(1) ETA comment `:80`) and the splitting comparison (`:366–367`); `row.mixed` flag (`:390`) + depletion guard `!row.mixed` (`:395`) + renderer `†` and `#yr-mixed-note` legend (`app.js:810/812/818–819`, `index.html:95`) with `t.mixedNote` EN/FR (`i18n.js:251/512`); FIRE: quiz floor 40 (`app.js:211`) + FIRE hint EN/FR (`i18n.js:96/357`), what-if `min="40"` (`index.html:86`), `fillDefaults` stale-save clamp `retireAge < age+1 → age+1` (`engine.js:188`). **Zero code changes required.** Full acceptance sweep re-run fresh against the deployed build:
+
+| Gate | Result (fresh this pass) |
+|---|---|
+| `tests/engine.test.js` | `RESULT: 61 pass, 0 fail` (36 base + math-fix sections: GIS 65 floor, clawback-only-with-OAS, mixed-row flag/depletion guard, FIRE: `fillDefaults({age:52, retireAge:40}) → 53`, `fillDefaults({age:30, retireAge:40}) → 40`, FIRE first draw @40, rows 40–64 GIS 0 clawback 0, depletion-never-on-mixed) |
+| `tests/i18n.test.js` | `I18N-OK all i18n checks passed (50)` = 48 base + 2 new (mixedNote EN/FR parity, q.retire.hint FIRE EN/FR) |
+| `tests/ui.smoke.js` | `SMOKE-OK all ui smoke checks passed (146)` (`wi-ret min 40` in index.html, legend element present, † fixtures + bilingual legend) |
+| `tests/ps-pension.test.js` / `ps-auto-service.test.js` | `RESULT: 70 pass, 0 fail` / `RESULT: 21 pass, 0 fail` (unchanged files) |
+| `passes3.js` rerun (live engine) | exit 0, `conservation: OK` ×3 → `.tmp/passes3_pass40.txt` (md5 `01075d0e…` — **byte-identical to passes 14–39**, twenty-seven consecutive deterministic passes). PASS 1 row 55 Total $68,327 / Withdraw $102,139 / **OASnet $0 / GIS $0**; GIS first at **65**; depletion 56 honest (max total $166,308 @54, final $0); PASS 2 depletion 82, max $468,146 @64; PASS 3 FIRE first draw @**40**, max $493,710 @39 = hand-math 350000×1.035¹⁰ ✓. `.tmp/mathfix25/scan3.py` (unmodified 32/25-column lineage scanner): PASS 1 rows=43 firstDraw=55 firstGIS=65, row55 wdr=102139 oasnet=0 gis=0, depletion 56, max $166,308 @54; PASS 2 depletion 82 max $468,146 @64; PASS 3 rows=65 firstDraw=40 depletion 48 max $493,710 @39; all GIS>0<65 / OASnet≠0<65 / neg-OAS / growTotalWithDraw lists empty in all three passes → `.tmp/mathfix40/scan40.log` **`diff`-identical to the pass-39 sweep** |
+| `scripts/deploy.sh` | `DEPLOY-OK` (fresh this pass) |
+| Origin byte-check | 3-way sweep `.tmp/mathfix40/sweep40.sh` (pass-39-lineage body; `sed`-derived: header comment + 2 list paths only; lists `.tmp/mathfix40/{tracked,ignored}_site.txt` regenerated this pass from `git ls-files` + `find`/`comm`, `diff`-proven **byte-identical** to the pass-39 lists: 21 tracked + 13 ignored): local `site/` == `origin/main` blob == webroot — **21/21 (3-way) + 13/13 (2-way) = 34/34 match, 0 mismatch** → `SWEEP-OK`; `git fetch` → `HEAD` == `origin/main` == `75fe0a1`; `git merge-base --is-ancestor 0839826 HEAD` ✓ |
+| Live recapture (canonical leg **unmodified** `audit/mathfix_capture.py after` — md5 `49e22a83…` — on retire.krisforbes.ca) | Row JSONs **byte-identical to the lineage**: canonical `after-couple-rows.json` `129e2a45…` + `after-fire-rows.json` `4af12e59…` (fresh recapture this pass), tagged copies `after40-couple-rows.json`/`after40-fire-rows.json` md5-equal to canonical (`.tmp/mathfix40/math-fix/`); K-aware 11-col rowsweep `.tmp/mathfix39/rowsweep38.py` (md5 `3d8823d2…` == pass-33 lineage, unmodified copy) on the canonical set: **ROWSWEEP-OK** — couple 40 rows firstDraw **55** firstGIS **65**, FIRE 57 rows firstDraw **40** firstGIS **65**; **0** neg-OAS, **0** GIS>0 <65, **0** OAS≠0 <65, **0** growing-Total-withdraw pairs. Couple rows 58–64 Total $0 / OAS $0 / GIS $0 (Withdraw $49K @58 then $0 — honest post-depletion drain vs the screenshot's impossible 126→141K @3.5%); `wiRetMin: "40"`, `noteShown: false` (52/52 same-age couple → engine-aligns-by-age, no mixed rows, documented deviation). FIRE: `fire_first_draw_age: "40"`. Mobile 390: slider `min=40 max=72 value=40`, `sliderRight 367 ≤ vw 390` (no clip), chip [25, 145], FIRE hint EN present, `svAfter40: "40 years"` |
+| Live mixed-window probes (all three **md5-copied byte-identical** into `.tmp/mathfix40/` from the attested lineage — self-older `61d66342…`, reachable `4e30a51e…`, 52/56 `377a4167…`; run with tag `after40`) | self-OLDER (me 52/pt 50, ret 51 → clamp 53): 0 † rows, `noteShown: false`, 0 violations; `after40-mixed-rows.json` **`96665bbf…` byte-identical to the lineage (passes 15–39)**. self-YOUNGER REACHABLE (me 50/pt 54, shared ret 51): **`MIXEDLIVE-OK`** — **`daggerRows: ["54"]`** (row 54 Total $195K ` †`), legend **shown**: `† One partner is retired, the other is still working: … not in full retirement mode.`, `gisRowsUnder65/negOASrows/growingTotalWithDrawRows/growRowsMissingDagger` all `[]`; `after40-mixed-reachable-rows.json` `98c29f24…` == passes 26–39. **52/56 clamp-driven probe** (me 52/pt 56, shared ret 55 → partner clamps to 57): **`MIXEDLIVE-OK`** — row 56 Total $269K growing with Withdraw $30K carries **` †`**, **`daggerRows: ["56"]`**, legend shown, `gisRowsUnder65/negOASrows/growRowsMissingDagger` all `[]`; `after40-mixed5256-rows.json` `53d0dec5…` == passes 33–39. Engine-side legs on the exact probe fixtures (`.tmp/mathfix40/legs40.js`, byte-copy of the pass-39 script, `LEGS-OK`): **52/56** → mixed rows exactly `[56]` (Total $140,465 @55 → **$269,227** @56, wdr $30,000, GIS/clawback $0), `depletion 62` fires only on fully-draw rows (guard intact); **50/54** → mixed rows exactly `[54]` ($195,148, wdr $33,404), firstDraw 51, depletion 60, no GIS/clawback <65; **52/50** → no mixed rows, firstDraw 53 (clamp), depletion 56, GIS/clawback <65 empty |
+| Off-LAN (Midhurst `trouble@100.96.20.61`) | `OFFLAN-OK`, `"all_ok": true`, `"http_code": "200"`, `checked_at 2026-10-09T23:26:30Z` → `audit/bilingual-geo-check.json` |
+
+Determinism: `passes3_pass40.txt` (`01075d0e…`, **twenty-seven consecutive** passes 14→40); `after-couple-rows.json` + `after40-couple-rows.json` md5 `129e2a45…` == passes 14–39; `after-fire-rows.json` + `after40-fire-rows.json` `4af12e59…` == passes 15–39; `after40-mixed-rows.json` `96665bbf…` == passes 15–39; `after40-mixed-reachable-rows.json` `98c29f24…` == passes 26–39; `after40-mixed5256-rows.json` `53d0dec5…` == passes 33–39. **Frames** (verified by md5 + PIL band diffs; this harness's model declares no image input, so images are not viewed, matching the passes 24–39 policy): canonical couple redraw `after-couple-table.png` `cbac51ed…` 50,314 B (chart-animation-phase variant, == passes 5/8/10–14/21–23/28/29/32–34/36/39-canonical) vs tagged `after40-couple-table.png` (md5-equal copy); PIL band diff vs the pass-39 tagged `eec99021…` frame: confined to **y=234–899** (666 scanlines, G1 animation band), table JSON byte-identical; `after-fire-table.png` `b4ed3a16…` 53,323 B (documented variant of passes 18–30/34/36/38; band-diff vs `685fd711…` canonical y=234–899); `after40-mixed-table.png` `c1d065cc…` 51,653 B (documented `after16` frame variant, band diff vs `222c81a1…` confined to y=234–899); `after40-mixed5256-table.png` `36b82193…` 63,566 B — **byte-identical to passes 33–39** (PIL: pixel-identical to the pass-39 frame); `after40-mixed-reachable-table.png` `87594d5a…` 65,278 B (documented frame of passes 26–28/31/33/35/37/38, band-pair with `dc6bcf46…`); `after-fire-step-390.png` **md5-identical pair** with `after40-fire-step-390.png` `761e8055…` 167,045 B 1170×2532@3× == passes 26–39, **pixel-identical**.
+
+Harness note: as in pass 39, the sandboxed shell routes `TMPDIR` to a read-only cache, so all Playwright invocations ran with `TMPDIR=/home/ubuntu/projects/retire-planner/.pwtmp` (pure temp dir; no script change). The three mixed probes and `legs` script were `cp`-copied byte-identically (md5-proven at destination) into `.tmp/mathfix40/` and run with argv `after40` (probes resolve `OUT` to `audit/math-fix` two levels up — identical results to the in-place runs of passes 36–39).
+
+**No code change required** — engine/renderer/i18n/tests byte-stable vs pass 39, deployed build verified identical 34/34. All plan acceptance criteria (1–6) re-verified against the deployed build. Final: **MATH_FIX_DONE**.