audit: math-fix pass 45 re-verification (all gates fresh, OFFLAN-OK 23:47Z, deploy + 34/34 sweep, passes3 byte-identical to passes 14-44, all five row JSONs byte-identical (audit/math-fix, gitignored), md5-identical couple+fire+step390 frame pairs this pass, all three MIXEDLIVE probes OK incl. 52/56 clamp-driven dagger row, 222c81a1/87594d5a/36b82193 documented frames)
This commit is contained in:
1 parent
041328412e
commit
4743ba3565
2 files changed
+26
-1
No files matched your search
@@ -1199,3 +1199,28 @@ Harness note: as in passes 39–43, the sandboxed shell routes `TMPDIR` to a rea
|
||||
**No code change required** — engine/renderer/i18n/tests byte-stable vs pass 43, 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 `29025314d9b33dc9c681a7f44e7a9d793be7df37` pushed `3854fb4..2902531` → `origin/main` (report + fresh off-LAN stamp `2026-10-09T23:43:35Z`; 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 3854fb4..2902531 -- 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` == `2902531`.
|
||||
|
||||
---
|
||||
|
||||
## Re-verification (forty-fifth DSH pass, 2026-10-09 23:46–23:52 UTC, post-completion)
|
||||
|
||||
Queue gate re-checked at start: tree clean at HEAD `36ef257` — **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 carried through the audit chain). 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 `:79–82`) and the splitting comparison (`:366–367`), `row.oasClawback = r.cw` (`:302`) + merge `row.oasClawback = clawSum` (`:371`); `row.mixed` flag (`:390`) + depletion guard `!row.mixed` (`:395`) + renderer `†` and `#yr-mixed-note` legend (`app.js:810/812/817–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 incl. GIS-65-floor, clawback-only-with-OAS (0 pre-65; >0 at 67 with 150k draw; capped at OAS paid), mixed-flag/depletion-guard, `fillDefaults({age:52, retireAge:40}) → 53` / `fillDefaults({age:30, retireAge:40}) → 40`, FIRE first draw @40, rows 40–64 GIS 0 clawback 0 — last line: `PASS stale 52y/retire-40 state: project clamps → first draw at 53`) |
|
||||
| `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 → `audit/math-fix/passes3-pass45.txt` (md5 `01075d0e…` — **byte-identical to passes 14–44**, thirty-two 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/mathfix45/scan45.log` **`diff`-identical to the pass-44 sweep** |
|
||||
| `scripts/deploy.sh` | `DEPLOY-OK` (fresh this pass) |
|
||||
| Origin byte-check | 3-way sweep `.tmp/mathfix45/sweep45.sh` (pass-44-lineage body; `sed`-derived: header comment + 2 list paths only, `diff`-proven only-44→45 substitutions; lists `.tmp/mathfix45/{tracked,ignored}_site.txt` regenerated this pass from `git ls-files` + `find`/`comm`, `diff`-proven **byte-identical** to the pass-44 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` == `36ef257`; `git merge-base --is-ancestor 0839826 HEAD` ✓ |
|
||||
| Live recapture (canonical leg **unmodified** `audit/mathfix_capture.py after` — md5 `49e22a83…` — + tagged `capture_tagged.py after45` — md5 `9489cef4…` == passes 30–44 byte-copy — 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 `after45-couple-rows.json`/`after45-fire-rows.json` md5-equal to canonical; K-aware 11-col rowsweep `.tmp/mathfix45/rowsweep41.py` (md5 `3d8823d2…` == pass-33 lineage, unmodified byte-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; `.tmp/mathfix45/rowsweep45.log` **byte-identical to the pass-44 log**. 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/mathfix45/` from the attested lineage — self-older `61d66342…`, reachable `4e30a51e…`, 52/56 `377a4167…`; run with tag `after45`) | self-OLDER (me 52/pt 50, ret 51 → clamp 53): 0 † rows, `noteShown: false`, 0 violations; `after45-mixed-rows.json` **`96665bbf…` byte-identical to the lineage (passes 15–44)**. self-YOUNGER REACHABLE (me 50/pt 54, shared ret 51): **`MIXEDLIVE-OK`** — **`daggerRows: ["54"]`** (row 54 Total $195K ` †`, Withdraw $33K), legend **shown**: `† One partner is retired, the other is still working: … not in full retirement mode.`, `gisRowsUnder65/negOASrows/growingTotalWithDrawRows/growRowsMissingDagger` all `[]`; `after45-mixed-reachable-rows.json` `98c29f24…` == passes 26–44. **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, all violation lists `[]`; `after45-mixed5256-rows.json` `53d0dec5…` == passes 33–44. All three probe logs **`diff`-identical to the pass-44 logs**. Engine-side legs on the exact probe fixtures (`.tmp/mathfix45/legs42.js`, byte-copy of the pass-41/42 script md5 `33084975…`, `LEGS-OK`, output **`diff`-identical to the pass-44 log**): **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:47:04Z` → `audit/bilingual-geo-check.json` |
|
||||
|
||||
Determinism: `passes3-pass45.txt` (`01075d0e…`, **thirty-two consecutive** passes 14→45); `after-couple-rows.json` + `after45-couple-rows.json` md5 `129e2a45…` == passes 14–44; `after-fire-rows.json` + `after45-fire-rows.json` `4af12e59…` == passes 15–44; `after45-mixed-rows.json` `96665bbf…` == passes 15–44; `after45-mixed-reachable-rows.json` `98c29f24…` == passes 26–44; `after45-mixed5256-rows.json` `53d0dec5…` == passes 33–44. **Frames** (verified by md5 + PIL band diffs; this harness's model declares no image input, so images are not viewed, matching the passes 24–44 policy): canonical couple redraw `after-couple-table.png` == `after45-couple-table.png` **`eec99021…` md5-identical pair this pass** (canonical frame, == passes 15–20/24–27/35/37/41–43; PIL band diff vs the pass-44 canonical `cbac51ed…` variant confined to **y=234–899** = the G1 animation band; table JSON byte-identical, so the evidence row set is unchanged); `after-fire-table.png` == `after45-fire-table.png` `685fd711…` **byte-identical pair** (canonical frame, PIL bbox `None` vs the pass-44 frame — pixel-identical); `after45-mixed-table.png` `222c81a1…` — **byte-identical to `after44-mixed-table.png`** (documented frame of passes 14–26/29–34/36–38/43–44); `after45-mixed5256-table.png` `36b82193…` — **the passes 33–40/43 lineage frame** (vs the pass-44 `6d792f12…` band-limited variant: PIL bbox `(0,234,1280,900)` confined to **y=234–899**, DOM row JSON byte-identical); `after45-mixed-reachable-table.png` `87594d5a…` — **byte-identical to `after44-mixed-reachable-table.png`** (documented frame of passes 26–28/31/33/35/37/38/40–42/44); `after-fire-step-390.png` **md5-identical pair** with `after45-fire-step-390.png` `761e8055…` 167,045 B 1170×2532@3× == passes 26–44, **pixel-identical** (PIL bbox `None`).
|
||||
|
||||
Harness note: as in passes 39–44, the sandboxed shell routes `TMPDIR` to a read-only cache, so all Playwright invocations ran with `TMPDIR=/home/ubuntu/projects/retire-planner/.tmp/pw45` (pure temp dir; no script change). The three mixed probes, `capture_tagged.py`, `legs42.js` and the rowsweep were `cp`-copied byte-identically (md5-proven at destination) into `.tmp/mathfix45/` and run with argv `after45` (probes resolve `OUT` to `audit/math-fix` two levels up — identical results to the in-place runs of passes 37–44).
|
||||
|
||||
**No code change required** — engine/renderer/i18n/tests byte-stable vs pass 44, deployed build verified identical 34/34. All plan acceptance criteria (1–6) re-verified against the deployed build. Final: **MATH_FIX_DONE**.
|
||||
@@ -5,7 +5,7 @@
|
||||
"has_i18n_script": true,
|
||||
"i18n_js_fr_strings": true,
|
||||
"i18n_js_size": 39689,
|
||||
"checked_at": "2026-10-09T23:43:35Z",
|
||||
"checked_at": "2026-10-09T23:47:04Z",
|
||||
"vantage": "trouble@100.96.20.61 (Midhurst, off-LAN)",
|
||||
"all_ok": true
|
||||
}
|
||||
Reference in new issue
Block a user