RM-005401
Mutual exclusivity is required for allocation-by-relative-cost to be measurable, but the school-test specimen books the same hours leaving untested subjects as both base loss (narrowed curriculum) and incidence shifting (quality transferred to tested domains).
scope_challenge · channel_partition, allocation_measurement
RM-005402
The elasticity hierarchy ranks channels by the responding agent's private cost. A quarterly sales target makes deal-timing cheap for the salesperson and also cheap for the manager whose scoreboard is the quarterly number. When those rankings diverge, shipped response is which agent's ranking binds, not a single-agent elasticity.
alternative_mechanism · cost_function_owner, hierarchy_object
RM-005403
Channels two through four are the Piketty-Saez-Stantcheva three elasticities; formal gaming is narrow Goodhart. The named remainder is cross-domain transfer. Transfer is a result that moves an instrument in another domain, not a mapping of names.
prior_art_overlap · novelty_scope, transfer_status
RM-005404
Section VII lists the OECD 15% minimum tax as a way to raise the cost of formal gaming. Section V already shows carve-outs reopening that channel. The listed repair is itself an intervention and is not given a four-channel forecast in the engineering section.
self_application · repair_vector, engineering_list_status
RM-005405
The capability prediction (better eval-context recognition makes passing less informative because gaming and incidence get cheaper) is carried by planted backdoors that resist removal. Persistence given a backdoor is not a cost ranking that changes with capability.
evidence_burden · prediction_object, sleeper_load
RM-005406
Land-value tax works because the base cannot relocate. Tying an eval surface to internal computation is not the same property: a representation can be rewritten or duplicated while a probe stays clean. The LVT analogue smuggles physical immobility into a movable measurement.
implementation_attack · analogue_scope, immobility_property