record
fun record(replica: ReplicaId, taskId: TaskId, timestamp: Long, result: Result): Results<TaskId, Result>
Record a result for taskId on behalf of replica at timestamp.
If a result for taskId already exists locally, the LWWRegister join selects whichever has the higher (timestamp, replicaId) tag. A duplicate execution's result is absorbed — neither value is lost before merge; convergence picks one.
Precondition — tag uniqueness. The (replica, timestamp) pair must uniquely identify this write. Never reuse the same (replica, timestamp) for a different result — see LWWRegister.set for the contract.