[Anionix]

Summary

• generate cardinality=0 for generated zero-row cases
• bound recursive or non-JSON worker details without crashing the parent
• preserve VALUE_MISMATCH for ValueError while classifying other verifier exceptions as HARNESS_FAILED
• add timeout-output, deep-detail, and boundary regression tests

Verification

• nix develop --command ruff check src tests
• nix develop --command pyright
• nix develop --command uv run --frozen pytest -q
• git diff --check

Fresh branch from current origin/main; non-overlapping follow-up to #180 and related to the robustness audit in #176.

[Anionix]

Superseded by #183, which merged the same contract fixes together with the release validation required by the native corpus evidence.