Goal: define the bounded OPY-to-canonical-WIR contract for nested or multidimensional indexed assignments.
Context: PR #54 / Issue #46 proves single-level indexed assignment and indexed power modification only. Deeper targets are outside the current claim.
Scope: use minimized pinned-oracle source cases to define supported nesting, provenance, and canonical operation shape; add lowering only after the contract is executable.
Non-goals: no opportunistic #46 expansion, #47 control flow, or duplicated Workshop catalog semantics.
Acceptance: supported depth and rejection boundary documented; supported cases match through canonical WIR equivalence; matrix claims only executable evidence.
Follow-up from #54 review; not part of #46 completion.
Goal: define the bounded OPY-to-canonical-WIR contract for nested or multidimensional indexed assignments.
Context: PR #54 / Issue #46 proves single-level indexed assignment and indexed power modification only. Deeper targets are outside the current claim.
Scope: use minimized pinned-oracle source cases to define supported nesting, provenance, and canonical operation shape; add lowering only after the contract is executable.
Non-goals: no opportunistic #46 expansion, #47 control flow, or duplicated Workshop catalog semantics.
Acceptance: supported depth and rejection boundary documented; supported cases match through canonical WIR equivalence; matrix claims only executable evidence.
Follow-up from #54 review; not part of #46 completion.