Saved observation: every row below describes the recorded invocation. Recorded file SHA-256: 118e582f96520d783021d25926365fd91dca347671c89999f49c757f0f026c9c Reading this report made 0 model calls and 0 program executions. Recorded claims have not been reverified. Exit 0 means this report was read, including recorded failures.

Observation	Result
Mode	saved construction replay
Entry activity	Main
Construction stage	COMPLETE
Construction decision	COMPLETE_FINITE
Stop reason	LOCAL_AND_CALLER_CASES_MATCHED
Attempted programs / budget	11 / 16
Source-bounded candidate combinations	16
Rejected before caller execution	0
Selected attempt	11
Selected local checks	2/2 (100.00%)
Caller expected outputs used for selection	1/1 (100.00%) matched; 0 mismatched, 0 faulted, 0 blocked, 0 unobserved; 0 additional unscored faults/blocks
First attempt caller expected outputs	0/1 (0.00%) matched; 1 mismatched, 0 faulted, 0 blocked, 0 unobserved; 0 additional unscored faults/blocks
Initial typed path body	Choose
Initial local path search	1 recorded candidates; 0 recorded local model calls
First local candidate	mask 0; EVALUATED
First local candidate output checks	1/1 (100.00%)
First local candidate recorded condition checks	not recorded
Selected caller-program body checks	mask 1; outputs 1/1 (100.00%); conditions not recorded
Evaluation stage	COMPLETE
Evaluation expected outputs	3/3 (100.00%) matched; 0 mismatched, 0 faulted, 0 blocked, 0 unobserved; 0 additional unscored faults/blocks
Evaluation input overlap	3 unique tuples: 0 consumed during caller construction, 3 other; 0 duplicate rows
Saved history replayed	true
New model calls during replay/evaluation	0

Shares count the named supplied checks or expected activity outputs, not all possible inputs. Input overlap counts caller root tuples only; local-example and model-training exposure are unknown. Candidate uniqueness and behavior on other inputs are not assessed by this report. Typed-path rows retain initial local search history; these candidates differ from caller program attempts. Recorded local model calls belong to that history, including when a saved construction is replayed. Use --format json for all attempts, values and evidence. Saved --out files remain full JSON and source.