Classic recipe reference

Generated by python -m reprobit.recipe_reference; do not edit this table by hand. Roles, labels, cost classes, and execution coverage come from reprobit.intervention_metadata; per-unit weights come from reprobit.costs.CostModel.

Availability describes the library's implementation. A recipe still needs valid parameters, its semantic proof, and fresh verification before it can certify a result. See Interventions for each family's behavior and proof requirements and Costs for cost attribution.

Family	Role	Human label	Cost class (points per unit)	Execution path	Availability
declaration_shape	donor	Declaration shape adjustment	state_carrier (1)	donor-compile	Available
donor_source_overlay	donor	Donor source overlay adjustment	cross_tu_or_overlay (100)	donor-compile	Available
forward_declaration_run	donor	Forward declaration run adjustment	state_carrier (1)	donor-compile	Available
pad_shape	donor	Pad shape adjustment	generated_supplier (5)	donor-compile	Available
extern_run_pair	donor	Extern run pair adjustment	state_carrier (1)	donor-compile	Available
forward_run_with_shape	donor	Forward run with shape adjustment	generated_supplier (5)	donor-compile	Available
declaration_run_triple	donor	Declaration run triple adjustment	state_carrier (1)	donor-compile	Available
prefix_forward_after_includes_extern	donor	Prefix forward after includes extern adjustment	state_carrier (1)	donor-compile	Available
equal_body_strict	function	Equal body strict adjustment	equal_body_donor (25)	clean-candidate	Available
equal_body_eh_structural_local	function	Equal body eh structural local adjustment	structural_donor (50)	clean-candidate	Available
same_slot_resize	function	Same slot resize adjustment	structural_donor (50)	clean-candidate	Available
equal_body_eh_reloc_layout	function	Equal body eh reloc layout adjustment	structural_donor (50)	clean-candidate	Available
retail_exact_reloc_divergent	function	Retail exact reloc divergent adjustment	cross_tu_or_overlay (100)	clean-candidate	Available
retail_exact_donor_rewriting	function	Retail exact donor rewriting adjustment	semantic_rewrite (250)	clean-candidate	Available
retail_exact_instruction_mosaic	function	Retail exact instruction mosaic adjustment	binary_surgery (500)	clean-candidate	Available
retail_exact_register_bijection	function	Retail exact register bijection adjustment	semantic_rewrite (250)	clean-candidate	Available
retail_exact_source_equal_body	function	Retail exact source equal body adjustment	cross_tu_or_overlay (100)	clean-candidate	Available
retail_exact_composed_rewriting	function	Retail exact composed rewriting adjustment	semantic_rewrite (250)	clean-candidate	Available
retail_exact_source_target_closure	function	Retail exact source target closure adjustment	cross_tu_or_overlay (100)	clean-candidate	Available
retail_exact_web_recolour	function	Retail exact web recolour adjustment	semantic_rewrite (250)	clean-candidate	Available
retail_exact_cross_tu_complete_target_resize	function	Retail exact cross tu complete target resize adjustment	cross_tu_or_overlay (100)	clean-candidate	Available
retail_exact_register_bijection_reencoding	function	Retail exact register bijection reencoding adjustment	semantic_rewrite (250)	clean-candidate	Available
retail_exact_same_tu_instruction_hybrid_resize	function	Retail exact same tu instruction hybrid resize adjustment	binary_surgery (500)	clean-candidate	Available
retail_exact_simulated_elision	—	—	Not costable as a classic recipe	quarantine-only	Use legacy.oracle_install
source_overlay_graph	project	Source overlay graph adjustment	cross_tu_or_overlay (100)	source-overlay	Available
archive_admission	—	—	link_ordering (10)	link-or-postlink	Unavailable
image_metadata	project	Image metadata adjustment	generated_supplier (5)	link-or-postlink	Available
image_link_order	project	Image link order adjustment	link_ordering (10)	link-or-postlink	Available
image_binary_repack	project	Image binary repack adjustment	binary_surgery (500)	link-or-postlink	Available