module arch.system.state.resource_machine.data_structures.action.resource_logic_proof;