optimize-design-under-budget

Purpose

Given cost per run and resource budget, choose the most information-efficient feasible design while preserving essential validity constraints.

Input contract

required: [candidate_designs, run_costs, resource_budget, validity_constraints]
optional: [evidence, assumptions, prior_results]
constraints: [use named scientific objects; retain provenance and missingness; $\alpha$ = 0.05 and power = 0.8 where applicable]

Procedure

1. Validate the typed inputs and state the decision this operation must support.
2. Apply the declared operation to the named object; record intermediate values that affect interpretation.
3. Check boundary conditions and counterexamples, then emit the result with uncertainty and source links.