NDL search misses transient loss of direct-ascent clearance after mixed-gas switches #48

Closed
opened 2026-10-31 04:06:57 +00:00 by pedro · 1 comment
Owner

Both ZHL-16C and ZHL-16B return no limit within 240 minutes when the current and endpoint states permit ascent, assuming monotonic clearance.

Reproduce: descend on Air to 21 m at 20 m/min, hold 30 minutes, ascend to 4.5 m at 9 m/min, then switch to Heliox 21/79 (GF high 85%). Initial NDL is null (>240 minutes); after two minutes NDL is zero and GF45/85 planning prescribes a two-minute stop at 3 m. Later clearance returns, so the endpoint shortcut misses the first boundary.

Location: src/models/zhl16c.ts noDecoLimit.

Acceptance: find the earliest loss of modeled direct-ascent clearance without assuming a monotonic predicate; regress both models, retain reference corpus agreement, and keep projection cost bounded. This is model consistency, not operational dive validation.

Both ZHL-16C and ZHL-16B return no limit within 240 minutes when the current and endpoint states permit ascent, assuming monotonic clearance. Reproduce: descend on Air to 21 m at 20 m/min, hold 30 minutes, ascend to 4.5 m at 9 m/min, then switch to Heliox 21/79 (GF high 85%). Initial NDL is null (>240 minutes); after two minutes NDL is zero and GF45/85 planning prescribes a two-minute stop at 3 m. Later clearance returns, so the endpoint shortcut misses the first boundary. Location: src/models/zhl16c.ts noDecoLimit. Acceptance: find the earliest loss of modeled direct-ascent clearance without assuming a monotonic predicate; regress both models, retain reference corpus agreement, and keep projection cost bounded. This is model consistency, not operational dive validation.
Author
Owner

Fixed in 8d5e43b; integrated in main at 3dd512d and deployed to production (deploy run 734 succeeded; hosted assets verified against the local build). pnpm verify: 176/176 tests, offline retention, typecheck, build and release checks pass.

Fixed in 8d5e43b; integrated in main at 3dd512d and deployed to production (deploy run 734 succeeded; hosted assets verified against the local build). `pnpm verify`: 176/176 tests, offline retention, typecheck, build and release checks pass.
pedro closed this issue 2026-10-31 19:26:12 +00:00
Sign in to join this conversation.
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: pedro/DiveSim#48
No description provided.