PLAN

Caller-only arithmetic failure probe

Frozen before execution. Preserve every original candidate and case from examples/caller-fill-rejection. Add one assignment immediately before bounded: boundary input.used >= input.limit; cap input.limit / (input.used - input.limit). The local training input used=0/limit=8 skips this cap. The source-local holdout used=9/limit=8 evaluates cap=8. The original caller construction case used=8/limit=8 reaches a zero divisor. Give all six source assignments a budget of six.

Observe whether native arithmetic failure retains earlier attempts and permits trying the later bounded assignment. Preserve exit code, raw output, diagnostic, exact source and clean compiler identity. This is a failure-discovery experiment, not an expectation change or a claimed implementation of continuation. Distinguish language arithmetic failure from toolchain failure, cancellation and timeouts.