A receipt's model is copied into the run's state when the receipt verifies and is never read again, and the land stage refuses a records commit whose receipts report no model, so a receipt verified without one leaves the lane with no way to land: on 2026-11-01 a host-written receipt for run-2611012100266247 omitted the model, the lane passed three review rounds, and the landing refused; correcting the receipt file changed nothing, implement step --restart refuses a lane at land, and the remedy's fix round cannot be reached, so the model had to be written into state.json by hand (internal/core/implement/loop/land.go, assistedByTrailers).

A receipt's model is copied into the run's state when the receipt verifies and is never read again, and the land stage refuses a records commit whose receipts report no model, so a receipt verified without one leaves the lane with no way to land: on 2026-11-01 a host-written receipt for run-2611012100266247 omitted the model, the lane passed three review rounds, and the landing refused; correcting the receipt file changed nothing, implement step --restart refuses a lane at land, and the remedy's fix round cannot be reached, so the model had to be written into state.json by hand (internal/core/implement/loop/land.go, assistedByTrailers).

Grounds

• pursued: no lane is stuck at land for want of a model; shown wrong if a lane whose receipt file or route reports a model is still refused at land, or one needs its state edited by hand