Apply a proposed research operation

Rejects stale proposals and rechecks the current rules. One atomic write saves both the research change and its history entry. Blocked operations and failed writes leave the previous state intact.

Usage

bg_research_apply(project, proposal)

Arguments

project

A writable bg_handle.

proposal

A result of bg_research_propose().

Value

The new research state. history records the generated id.

Details

Bindings and derived evidence are derived again under the research lock. If the derivation differs from the proposal's, for example because the node was re-run in between, the proposal is stale. The record stores exactly the derivation that apply checked.