zara-shell: reject non-numeric runtime limits structurally #107

New issue

Closed

opened 2026-09-08 02:02:59 +00:00 by nsaspy · 0 comments

nsaspy commented

2026-09-08 02:02:59 +00:00

Owner

Problem

CommandPolicy.__post_init__() calls math.isfinite(max_runtime_seconds) before proving the value is numeric. Values such as strings or None therefore leak incidental TypeError instead of the policy boundary's deterministic ValueError.

Slice

deterministic RED coverage for non-numeric runtime limits;
validate numeric type before finite/positive checks while continuing to reject booleans;
preserve execution deadline semantics;
exact-head compatibility, registry, plugin and Nix gates before merge.

Dependency-ready correctness slice within #5; explicit cancellation remains a separate Core contract.

## Problem `CommandPolicy.__post_init__()` calls `math.isfinite(max_runtime_seconds)` before proving the value is numeric. Values such as strings or `None` therefore leak incidental `TypeError` instead of the policy boundary's deterministic `ValueError`. ## Slice - deterministic RED coverage for non-numeric runtime limits; - validate numeric type before finite/positive checks while continuing to reject booleans; - preserve execution deadline semantics; - exact-head compatibility, registry, plugin and Nix gates before merge. Dependency-ready correctness slice within #5; explicit cancellation remains a separate Core contract.

nsaspy closed this issue

2026-09-08 02:02:59 +00:00