ProducedBy

Which attempt of which run produced a version. Both halves, because a run's generation is the fence §7.5 and §7.6 rely on: a late registration from an older attempt is recorded as that attempt's, not the current one's.

Type object

Shape

Field	Type	Description
runrequired	RunId
generationrequired	AttemptGeneration	Which attempt of a run is current - the fence §7.5 and §7.6 rely on. A monotonic counter per run, starting at [`AttemptGeneration::FIRST`]. An event, an MCP call or a session lookup carrying an older generation may not touch status, control or authority; see [`crate::AttemptGeneration::admits`]. It is a counter rather than an id so "older" is a comparison, not a lookup.

Example

{
  "run": "00000000-0000-4000-8000-000000000000",
  "generation": 0
}

The contract has no example values, so example bodies are generated from each schema: every field is shown with a placeholder of its type.

Generated from contract version 1. Last updated November 12, 2026.