{
  "charterDigest": "d06d3f004b4de1ad840c2d9fb4098c96ae62d39a7e30c4c29d48bfa8a95bc790",
  "commission": {
    "branch": "lab-011db554-e0b7-4868-8720-3cd49cc608fc-agialpha",
    "capBaseUnits": "0",
    "currency": "AGIALPHA18",
    "id": "lab-011db554-e0b7-4868-8720-3cd49cc608fc",
    "route": "jobs-agialpha",
    "status": "DRAFT_NOT_SUBMITTED"
  },
  "evaluatorDigest": "ba46c89d42defc9d78ac61090f5ccc793549c4c072a5afe825bc7b434b3f7099",
  "executionMode": "synthetic-local",
  "inputArtifacts": [
    "df22ecff015472f265e67ab988d7f5a59fce92c06f6da832a482f27d20e7e77c",
    "978dde38f5ca400961de1320d6ce3dfbf7164e575f2c820c4360e302afa3db14",
    "8dd0d2f95e3973f8dd7df46aa1d166457fb6ebd210e26c66917f90410a37be32",
    "933deee6da7fc0d38a4a083d7d721d3c2ff851caa7d61e721c258627dbfb033f",
    "d68a5de0daebaef4a168515487a4fb46f9d866a971122851b674d2be1d0395b1"
  ],
  "missionId": "capability-fc911b7d-e209-4bed-b8c2-2682f3f879bd",
  "modelDigest": "16655c0cce276415f4f08bf9ced35cec04c086545adc4d72122e038b29244506",
  "payload": {
    "ancestors": [],
    "charter": {
      "accuracy": 1,
      "actualDrift": "linear",
      "budget": {
        "acquisitions": 2000,
        "checking": 1000000,
        "installations": 20,
        "search": 1000000,
        "storageBytes": 500000
      },
      "checkpoints": [
        "safety"
      ],
      "controls": 3,
      "driftScope": "linear",
      "faultHypotheses": [
        "clear",
        "left",
        "right",
        "both"
      ],
      "hiddenCoupling": false,
      "intendedUses": 12,
      "memory": 8,
      "noise": 0,
      "observations": [
        "contrast",
        "reference",
        "coarse",
        "full"
      ],
      "operations": [
        "flip-z"
      ],
      "purpose": "qualified-finite-discovery-platform",
      "schema": "discovery-lab-charter/v1",
      "topology": "right",
      "workerCapacity": 3
    },
    "result": {
      "charter": {
        "accuracy": 1,
        "actualDrift": "linear",
        "budget": {
          "acquisitions": 2000,
          "checking": 1000000,
          "installations": 20,
          "search": 1000000,
          "storageBytes": 500000
        },
        "checkpoints": [
          "safety"
        ],
        "controls": 3,
        "driftScope": "linear",
        "faultHypotheses": [
          "clear",
          "left",
          "right",
          "both"
        ],
        "hiddenCoupling": false,
        "intendedUses": 12,
        "memory": 8,
        "noise": 0,
        "observations": [
          "contrast",
          "reference",
          "coarse",
          "full"
        ],
        "operations": [
          "flip-z"
        ],
        "purpose": "qualified-finite-discovery-platform",
        "schema": "discovery-lab-charter/v1",
        "topology": "right",
        "workerCapacity": 3
      },
      "comparisons": [
        {
          "completeCampaignCandidates": 54,
          "independentlyQualifiedCampaigns": 54,
          "measuredWork": {
            "acquisitions": 540,
            "checking": 83166,
            "installations": 0,
            "search": 6073
          },
          "measurementCandidates": 18,
          "measurementHorizon": 79,
          "name": "Unrestricted same-primitive finite reference",
          "objective": {
            "denominator": 4,
            "numerator": 344
          },
          "objectiveUnits": "Declared acquisition-program horizon price plus uniform-world completion/installation price; search/checking resources are reported separately.",
          "platformCandidates": 4,
          "policyCombinations": 15,
          "policyExpectedCost": {
            "denominator": 4,
            "numerator": 16
          },
          "primaryObjective": {
            "denominator": 4,
            "numerator": 344
          },
          "rejectedCampaigns": [],
          "relation": "tie",
          "scope": "Joint direct construction and current independent acceptance across the complete declared finite campaign grammar. Not a global architecture optimum outside that grammar.",
          "status": "accepted",
          "witness": [
            {
              "kind": "learn",
              "program": {
                "calibrationRaw": [
                  11,
                  12,
                  -3
                ],
                "degree": 1,
                "errorBound": 0,
                "gainInterval": {
                  "denominator": 8,
                  "lower": 16,
                  "upper": 16
                },
                "queryRows": [
                  {
                    "interval": [
                      2,
                      2
                    ],
                    "mask": 0,
                    "raw": [
                      7,
                      8,
                      1
                    ]
                  },
                  {
                    "interval": [
                      4,
                      4
                    ],
                    "mask": 1,
                    "raw": [
                      11,
                      12,
                      -3
                    ]
                  },
                  {
                    "interval": [
                      4,
                      4
                    ],
                    "mask": 2,
                    "raw": [
                      11,
                      12,
                      -3
                    ]
                  },
                  {
                    "interval": [
                      9,
                      9
                    ],
                    "mask": 3,
                    "raw": [
                      21,
                      22,
                      -13
                    ]
                  },
                  {
                    "interval": [
                      6,
                      6
                    ],
                    "mask": 4,
                    "raw": [
                      15,
                      16,
                      -7
                    ]
                  },
                  {
                    "interval": [
                      8,
                      8
                    ],
                    "mask": 5,
                    "raw": [
                      19,
                      20,
                      -11
                    ]
                  },
                  {
                    "interval": [
                      8,
                      8
                    ],
                    "mask": 6,
                    "raw": [
                      19,
                      20,
                      -11
                    ]
                  },
                  {
                    "interval": [
                      13,
                      13
                    ],
                    "mask": 7,
                    "raw": [
                      29,
                      30,
                      -21
                    ]
                  }
                ],
                "referenceAmplitude": 4,
                "signs": [
                  1,
                  1,
                  -1
                ],
                "times": [
                  0,
                  1,
                  2
                ],
                "weights": {
                  "denominator": 2,
                  "numerators": [
                    -1,
                    2,
                    -1
                  ]
                }
              }
            },
            {
              "kind": "think",
              "program": {
                "blocks": [
                  [
                    0
                  ],
                  [
                    1,
                    2
                  ],
                  [
                    3
                  ],
                  [
                    4
                  ],
                  [
                    5,
                    6
                  ],
                  [
                    7
                  ]
                ],
                "decoder": [
                  [
                    2,
                    2
                  ],
                  [
                    4,
                    4
                  ],
                  [
                    9,
                    9
                  ],
                  [
                    6,
                    6
                  ],
                  [
                    8,
                    8
                  ],
                  [
                    13,
                    13
                  ]
                ],
                "encoder": [
                  0,
                  1,
                  1,
                  2,
                  3,
                  4,
                  4,
                  5
                ],
                "updates": {
                  "flip-z": [
                    3,
                    4,
                    5,
                    0,
                    1,
                    2
                  ]
                }
              }
            },
            {
              "kind": "design",
              "program": {
                "compiled": {
                  "decoder": [
                    [
                      2,
                      2
                    ],
                    [
                      4,
                      4
                    ],
                    [
                      9,
                      9
                    ],
                    [
                      6,
                      6
                    ],
                    [
                      8,
                      8
                    ],
                    [
                      13,
                      13
                    ]
                  ],
                  "operations": [
                    "flip-z"
                  ],
                  "updaters": {
                    "flip-z": [
                      3,
                      4,
                      5,
                      0,
                      1,
                      2
                    ]
                  }
                },
                "footprint": 22,
                "serviceTable": [
                  [
                    0,
                    0,
                    2,
                    2,
                    3
                  ],
                  [
                    0,
                    1,
                    2,
                    2,
                    4
                  ],
                  [
                    0,
                    2,
                    2,
                    2,
                    5
                  ],
                  [
                    0,
                    3,
                    2,
                    2,
                    0
                  ],
                  [
                    0,
                    4,
                    2,
                    2,
                    1
                  ],
                  [
                    0,
                    5,
                    2,
                    2,
                    2
                  ],
                  [
                    1,
                    0,
                    4,
                    4,
                    3
                  ],
                  [
                    1,
                    1,
                    4,
                    4,
                    4
                  ],
                  [
                    1,
                    2,
                    4,
                    4,
                    5
                  ],
                  [
                    1,
                    3,
                    4,
                    4,
                    0
                  ],
                  [
                    1,
                    4,
                    4,
                    4,
                    1
                  ],
                  [
                    1,
                    5,
                    4,
                    4,
                    2
                  ],
                  [
                    2,
                    0,
                    9,
                    9,
                    3
                  ],
                  [
                    2,
                    1,
                    9,
                    9,
                    4
                  ],
                  [
                    2,
                    2,
                    9,
                    9,
                    5
                  ],
                  [
                    2,
                    3,
                    9,
                    9,
                    0
                  ],
                  [
                    2,
                    4,
                    9,
                    9,
                    1
                  ],
                  [
                    2,
                    5,
                    9,
                    9,
                    2
                  ],
                  [
                    3,
                    0,
                    6,
                    6,
                    3
                  ],
                  [
                    3,
                    1,
                    6,
                    6,
                    4
                  ],
                  [
                    3,
                    2,
                    6,
                    6,
                    5
                  ],
                  [
                    3,
                    3,
                    6,
                    6,
                    0
                  ],
                  [
                    3,
                    4,
                    6,
                    6,
                    1
                  ],
                  [
                    3,
                    5,
                    6,
                    6,
                    2
                  ],
                  [
                    4,
                    0,
                    8,
                    8,
                    3
                  ],
                  [
                    4,
                    1,
                    8,
                    8,
                    4
                  ],
                  [
                    4,
                    2,
                    8,
                    8,
                    5
                  ],
                  [
                    4,
                    3,
                    8,
                    8,
                    0
                  ],
                  [
                    4,
                    4,
                    8,
                    8,
                    1
                  ],
                  [
                    4,
                    5,
                    8,
                    8,
                    2
                  ],
                  [
                    5,
                    0,
                    13,
                    13,
                    3
                  ],
                  [
                    5,
                    1,
                    13,
                    13,
                    4
                  ],
                  [
                    5,
                    2,
                    13,
                    13,
                    5
                  ],
                  [
                    5,
                    3,
                    13,
                    13,
                    0
                  ],
                  [
                    5,
                    4,
                    13,
                    13,
                    1
                  ],
                  [
                    5,
                    5,
                    13,
                    13,
                    2
                  ]
                ],
                "staging": false,
                "transition": [
                  [
                    {
                      "location": "left",
                      "services": [
                        0
                      ]
                    },
                    {
                      "location": "right",
                      "services": [
                        1
                      ]
                    },
                    {
                      "location": "aux",
                      "services": [
                        2
                      ]
                    }
                  ],
                  [
                    {
                      "location": "left",
                      "services": [
                        0,
                        1
                      ]
                    },
                    {
                      "location": "right",
                      "services": []
                    },
                    {
                      "location": "aux",
                      "services": [
                        2
                      ]
                    }
                  ]
                ],
                "vacancy": "right",
                "workerLimit": 64,
                "workersAfter": [
                  {
                    "location": "left",
                    "services": [
                      0,
                      1
                    ]
                  },
                  {
                    "location": "right",
                    "services": []
                  },
                  {
                    "location": "aux",
                    "services": [
                      2
                    ]
                  }
                ],
                "workersBefore": [
                  {
                    "location": "left",
                    "services": [
                      0
                    ]
                  },
                  {
                    "location": "right",
                    "services": [
                      1
                    ]
                  },
                  {
                    "location": "aux",
                    "services": [
                      2
                    ]
                  }
                ]
              }
            },
            {
              "kind": "strategise",
              "program": {
                "expectedCost": {
                  "denominator": 4,
                  "numerator": 16
                },
                "leaves": [
                  {
                    "checkpoints": [
                      "safety"
                    ],
                    "constructionActions": [],
                    "cost": 1,
                    "route": "R",
                    "visits": [
                      "source",
                      "safety",
                      "right",
                      "sink"
                    ],
                    "worlds": [
                      "clear",
                      "left"
                    ]
                  },
                  {
                    "checkpoints": [
                      "safety"
                    ],
                    "constructionActions": [],
                    "cost": 5,
                    "route": "bypass",
                    "visits": [
                      "source",
                      "safety",
                      "bypass",
                      "sink"
                    ],
                    "worlds": [
                      "right",
                      "both"
                    ]
                  }
                ],
                "observation": "coarse",
                "reservations": {
                  "installations": 1,
                  "vacancy": "right"
                }
              }
            },
            {
              "kind": "execute",
              "program": {
                "bindings": {
                  "availableActions": [
                    "isolate",
                    "reference"
                  ],
                  "checkpoint": "safety",
                  "compiledServices": {
                    "decoder": [
                      [
                        2,
                        2
                      ],
                      [
                        4,
                        4
                      ],
                      [
                        9,
                        9
                      ],
                      [
                        6,
                        6
                      ],
                      [
                        8,
                        8
                      ],
                      [
                        13,
                        13
                      ]
                    ],
                    "operations": [
                      "flip-z"
                    ],
                    "updaters": {
                      "flip-z": [
                        3,
                        4,
                        5,
                        0,
                        1,
                        2
                      ]
                    }
                  },
                  "denominator": 4,
                  "intendedUses": 12,
                  "policy": {
                    "expectedCost": {
                      "denominator": 4,
                      "numerator": 16
                    },
                    "leaves": [
                      {
                        "checkpoints": [
                          "safety"
                        ],
                        "constructionActions": [],
                        "cost": 1,
                        "route": "R",
                        "visits": [
                          "source",
                          "safety",
                          "right",
                          "sink"
                        ],
                        "worlds": [
                          "clear",
                          "left"
                        ]
                      },
                      {
                        "checkpoints": [
                          "safety"
                        ],
                        "constructionActions": [],
                        "cost": 5,
                        "route": "bypass",
                        "visits": [
                          "source",
                          "safety",
                          "bypass",
                          "sink"
                        ],
                        "worlds": [
                          "right",
                          "both"
                        ]
                      }
                    ],
                    "observation": "coarse",
                    "reservations": {
                      "installations": 1,
                      "vacancy": "right"
                    }
                  },
                  "residentWords": 22,
                  "vacancy": "right",
                  "workerSlots": 1
                },
                "components": [
                  {
                    "boundary": [
                      "c"
                    ],
                    "factorIds": [
                      "prepare",
                      "reference",
                      "capacity",
                      "checkpoint"
                    ],
                    "id": "installation",
                    "private": [
                      "a",
                      "b"
                    ],
                    "profiles": [
                      {
                        "boundary": 0,
                        "value": 8,
                        "witness": {
                          "a": 1,
                          "b": 0,
                          "c": 0
                        }
                      },
                      {
                        "boundary": 1,
                        "value": 48,
                        "witness": {
                          "a": 0,
                          "b": 1,
                          "c": 1
                        }
                      }
                    ]
                  },
                  {
                    "boundary": [
                      "c"
                    ],
                    "factorIds": [
                      "route"
                    ],
                    "id": "routing",
                    "private": [
                      "r"
                    ],
                    "profiles": [
                      {
                        "boundary": 0,
                        "value": 16,
                        "witness": {
                          "c": 0,
                          "r": 0
                        }
                      },
                      {
                        "boundary": 1,
                        "value": 24,
                        "witness": {
                          "c": 1,
                          "r": 0
                        }
                      }
                    ]
                  }
                ],
                "currentBoundary": 0,
                "factors": [
                  {
                    "id": "prepare",
                    "scope": [
                      "a"
                    ],
                    "table": [
                      {
                        "cost": 0,
                        "values": [
                          0
                        ]
                      },
                      {
                        "cost": 8,
                        "values": [
                          1
                        ]
                      }
                    ]
                  },
                  {
                    "id": "reference",
                    "scope": [
                      "b"
                    ],
                    "table": [
                      {
                        "cost": 0,
                        "values": [
                          0
                        ]
                      },
                      {
                        "cost": 48,
                        "values": [
                          1
                        ]
                      }
                    ]
                  },
                  {
                    "id": "capacity",
                    "scope": [
                      "a",
                      "b"
                    ],
                    "table": [
                      {
                        "cost": null,
                        "values": [
                          0,
                          0
                        ]
                      },
                      {
                        "cost": 0,
                        "values": [
                          1,
                          0
                        ]
                      },
                      {
                        "cost": 0,
                        "values": [
                          0,
                          1
                        ]
                      },
                      {
                        "cost": null,
                        "values": [
                          1,
                          1
                        ]
                      }
                    ]
                  },
                  {
                    "id": "route",
                    "scope": [
                      "r",
                      "c"
                    ],
                    "table": [
                      {
                        "cost": 16,
                        "values": [
                          0,
                          0
                        ]
                      },
                      {
                        "cost": 24,
                        "values": [
                          1,
                          0
                        ]
                      },
                      {
                        "cost": 24,
                        "values": [
                          0,
                          1
                        ]
                      },
                      {
                        "cost": 32,
                        "values": [
                          1,
                          1
                        ]
                      }
                    ]
                  },
                  {
                    "id": "checkpoint",
                    "scope": [
                      "b",
                      "c"
                    ],
                    "table": [
                      {
                        "cost": 0,
                        "values": [
                          0,
                          0
                        ]
                      },
                      {
                        "cost": 0,
                        "values": [
                          1,
                          0
                        ]
                      },
                      {
                        "cost": null,
                        "values": [
                          0,
                          1
                        ]
                      },
                      {
                        "cost": 0,
                        "values": [
                          1,
                          1
                        ]
                      }
                    ]
                  }
                ],
                "installations": {
                  "actions": [
                    "isolate"
                  ],
                  "placement": "right",
                  "scopeControls": 3
                },
                "profiles": [
                  {
                    "boundary": 0,
                    "value": 24,
                    "witness": {
                      "a": 1,
                      "b": 0,
                      "c": 0,
                      "r": 0
                    }
                  },
                  {
                    "boundary": 1,
                    "value": 72,
                    "witness": {
                      "a": 0,
                      "b": 1,
                      "c": 1,
                      "r": 0
                    }
                  }
                ],
                "reuseContracts": [
                  {
                    "completeProfileEqual": false,
                    "component": "installation",
                    "propagation": "cold",
                    "status": "rebuilt"
                  },
                  {
                    "completeProfileEqual": false,
                    "component": "routing",
                    "propagation": "cold",
                    "status": "rebuilt"
                  }
                ],
                "reusedFactors": [],
                "routeWitness": {
                  "leaves": [
                    {
                      "checkpoints": [
                        "safety"
                      ],
                      "constructionActions": [],
                      "cost": 1,
                      "route": "R",
                      "visits": [
                        "source",
                        "safety",
                        "right",
                        "sink"
                      ],
                      "worlds": [
                        "clear",
                        "left"
                      ]
                    },
                    {
                      "checkpoints": [
                        "safety"
                      ],
                      "constructionActions": [],
                      "cost": 5,
                      "route": "bypass",
                      "visits": [
                        "source",
                        "safety",
                        "bypass",
                        "sink"
                      ],
                      "worlds": [
                        "right",
                        "both"
                      ]
                    }
                  ],
                  "observation": "coarse"
                },
                "variables": [
                  "a",
                  "b",
                  "r",
                  "c"
                ],
                "witness": {
                  "a": 1,
                  "b": 0,
                  "c": 0,
                  "r": 0
                }
              }
            },
            {
              "kind": "evolve",
              "program": {
                "coefficients": [
                  2,
                  2,
                  2,
                  0,
                  4,
                  0,
                  0,
                  0
                ],
                "degree": 1,
                "freezeOrder": "before-query-evaluation",
                "operations": [
                  "isolate"
                ],
                "responseTable": [
                  2,
                  4,
                  4,
                  6,
                  6,
                  8,
                  8,
                  10
                ],
                "scopeControls": 3
              }
            }
          ]
        },
        {
          "measuredConfigurations": 96,
          "measuredWork": {
            "acquisitions": 288,
            "checking": 96,
            "installations": 0,
            "search": 96
          },
          "name": "Fixed architecture with more search",
          "responseChecksum": 648,
          "retainedStructure": false,
          "scope": "Direct full finite-response replay at every use; same qualified measurement access, no installed interaction simplification.",
          "status": "accepted"
        },
        {
          "candidateLabels": 6,
          "labels": 8,
          "measuredWork": {
            "acquisitions": 0,
            "checking": 642,
            "installations": 0,
            "search": 8
          },
          "name": "Full-state reasoning",
          "reason": "Every finite semantic obligation passed.",
          "scope": "Actual identity encoder, contextual interval decoder and direct operation tables.",
          "status": "accepted"
        },
        {
          "measuredWork": {
            "acquisitions": 0,
            "checking": 3,
            "installations": 0,
            "search": 0
          },
          "name": "Separate service realization",
          "reason": "Complete initial occupancy has no permitted empty installation destination.",
          "requiredServices": 3,
          "scope": "Current separate realization and fixed admitted worker topology.",
          "status": "rejected",
          "vacancies": 0
        },
        {
          "completePolicyCombinations": 12,
          "expectedCost": {
            "denominator": 4,
            "numerator": 16
          },
          "measuredWork": {
            "acquisitions": 0,
            "checking": 1120,
            "installations": 0,
            "search": 0
          },
          "name": "Full diagnosis",
          "scope": "Every residual world and admitted route combination enumerated independently.",
          "status": "accepted"
        },
        {
          "completePolicyCombinations": 1,
          "expectedCost": {
            "denominator": 4,
            "numerator": 20
          },
          "measuredWork": {
            "acquisitions": 0,
            "checking": 1081,
            "installations": 0,
            "search": 0
          },
          "name": "No-diagnosis construction",
          "scope": "Every residual world and admitted route combination enumerated independently.",
          "status": "accepted"
        },
        {
          "completeBoundaryProfiles": [
            {
              "boundary": 0,
              "value": 24,
              "witness": {
                "a": 1,
                "b": 0,
                "c": 0,
                "r": 0
              }
            },
            {
              "boundary": 1,
              "value": 72,
              "witness": {
                "a": 0,
                "b": 1,
                "c": 1,
                "r": 0
              }
            }
          ],
          "measuredWork": {
            "acquisitions": 0,
            "checking": 1902,
            "installations": 0,
            "search": 28
          },
          "name": "Full recomputation",
          "retainedContracts": [],
          "scope": "Complete source-bound factor tables, every finite binary assignment and current whole-artifact acceptance.",
          "status": "accepted"
        },
        {
          "completeBoundaryProfiles": [
            {
              "boundary": 0,
              "value": 24,
              "witness": {
                "a": 1,
                "b": 0,
                "c": 0,
                "r": 0
              }
            },
            {
              "boundary": 1,
              "value": 72,
              "witness": {
                "a": 0,
                "b": 1,
                "c": 1,
                "r": 0
              }
            }
          ],
          "measuredWork": {
            "acquisitions": 0,
            "checking": 1902,
            "installations": 0,
            "search": 28
          },
          "name": "Equally capable incremental contracts",
          "retainedContracts": [],
          "scope": "Complete source-bound factor tables, every finite binary assignment and current whole-artifact acceptance.",
          "status": "accepted"
        },
        {
          "measuredWork": {
            "acquisitions": 0,
            "checking": 0,
            "installations": 0,
            "search": 0
          },
          "name": "Fixed complete certificate",
          "reason": "Exact unchanged source and charter are required for this fixed certificate.",
          "status": "unsupported"
        },
        {
          "costAccounting": "The source-bound cold campaign was already executed in the reference row and is charged there exactly once. This row performs no duplicate replay.",
          "evidenceRef": "Unrestricted same-primitive finite reference",
          "inheritedAssets": [],
          "measuredWork": {
            "acquisitions": 0,
            "checking": 1,
            "installations": 0,
            "search": 0
          },
          "name": "Successor from scratch",
          "objective": {
            "denominator": 4,
            "numerator": 344
          },
          "scope": "Complete independently constructed six-stage cold campaign using the current charter and no parent assets, including current semantic qualification. The fixed finite grammar remains the comparison boundary.",
          "sharedMeasuredWork": {
            "acquisitions": 540,
            "checking": 83166,
            "installations": 0,
            "search": 6073
          },
          "status": "accepted"
        }
      ],
      "currencyCaps": {
        "AGIALPHA": "0",
        "USDC": "0"
      },
      "executionMode": "free-local-synthetic-replay",
      "externalExecution": "unprovisioned",
      "failure": null,
      "invalidations": {
        "changed": [],
        "earliest": null,
        "invalidated": []
      },
      "lineage": {
        "accounting": "Parent cumulative costs plus only this campaign work; no inherited cost is charged twice.",
        "cumulative": {
          "acquisitions": 906,
          "checking": 97015,
          "installations": 4,
          "memoryWords": 30,
          "search": 6601,
          "storageBytes": 29294,
          "workerSlots": 3
        },
        "generation": 1,
        "incremental": {
          "acquisitions": 906,
          "checking": 97015,
          "installations": 4,
          "memoryWords": 30,
          "search": 6601,
          "storageBytes": 29294,
          "workerSlots": 3
        }
      },
      "queryChecker": {
        "accepted": true,
        "checks": 498,
        "reason": "Every frozen-platform downstream query passed independent finite checking."
      },
      "queryResults": {
        "constrainedSelection": {
          "candidates": [
            5,
            6
          ],
          "maximumActiveControls": 2,
          "suppliedModelOptima": [
            5,
            6
          ],
          "uncertainty": "exact-within-supplied-model"
        },
        "intervals": [
          [
            2,
            2
          ],
          [
            4,
            4
          ],
          [
            4,
            4
          ],
          [
            6,
            6
          ],
          [
            6,
            6
          ],
          [
            8,
            8
          ],
          [
            8,
            8
          ],
          [
            10,
            10
          ]
        ],
        "inverseDesign": {
          "definite": [
            5,
            6
          ],
          "possible": [
            5,
            6
          ],
          "target": 8
        },
        "queriesAfterFreeze": true,
        "thresholdScreening": {
          "results": [
            {
              "mask": 0,
              "outcome": "rejected"
            },
            {
              "mask": 1,
              "outcome": "rejected"
            },
            {
              "mask": 2,
              "outcome": "rejected"
            },
            {
              "mask": 3,
              "outcome": "rejected"
            },
            {
              "mask": 4,
              "outcome": "rejected"
            },
            {
              "mask": 5,
              "outcome": "accepted"
            },
            {
              "mask": 6,
              "outcome": "accepted"
            },
            {
              "mask": 7,
              "outcome": "accepted"
            }
          ],
          "threshold": 8
        }
      },
      "resourceReservation": {
        "status": "reserved-before-work",
        "storageBytes": 200000
      },
      "resourceUnits": {
        "acquisitions": "simulator raw readouts",
        "checking": "independent checker data nodes and finite semantic cases",
        "elapsedTime": "Measured separately by the caller; not inferred from logical work.",
        "installations": "declared construction installation units",
        "memoryWords": "peak abstract resident words",
        "search": "counted producer loop and compiler steps",
        "storageBytes": "UTF-8 report evidence bytes",
        "workerSlots": "peak occupied virtual worker slots"
      },
      "resources": {
        "acquisitions": 906,
        "checking": 97015,
        "installations": 4,
        "memoryWords": 30,
        "search": 6601,
        "storageBytes": 29294,
        "workerSlots": 3
      },
      "reuse": {
        "acceptedPredecessorPreserved": false,
        "claim": "Current witnesses and acceptance were performed; retained assets do not confer authority.",
        "priorPurposePreservedOnOldSlice": false,
        "retainedFactors": []
      },
      "runtime": "discovery-lab-runtime/v1",
      "schema": "discovery-lab-campaign/v1",
      "stages": [
        {
          "assumptions": [
            "Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.",
            "No credentials, external executor, currency payment, signing or authority are created."
          ],
          "attempts": [
            {
              "reason": "No signal-preserving contrast.",
              "signs": [
                1,
                1,
                1
              ],
              "status": "rejected",
              "times": [
                0,
                1,
                2
              ]
            },
            {
              "constructionCost": 8,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 7,
              "referenceAmplitude": 4,
              "signs": [
                1,
                -1,
                1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 92
            },
            {
              "constructionCost": 9,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 7,
              "referenceAmplitude": 8,
              "signs": [
                1,
                -1,
                1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 93
            },
            {
              "constructionCost": 11,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 7,
              "referenceAmplitude": 16,
              "signs": [
                1,
                -1,
                1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 95
            },
            {
              "constructionCost": 7,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 6,
              "referenceAmplitude": 4,
              "signs": [
                1,
                1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 79
            },
            {
              "constructionCost": 8,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 6,
              "referenceAmplitude": 8,
              "signs": [
                1,
                1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 80
            },
            {
              "constructionCost": 10,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 6,
              "referenceAmplitude": 16,
              "signs": [
                1,
                1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 82
            },
            {
              "constructionCost": 7,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 6,
              "referenceAmplitude": 4,
              "signs": [
                1,
                -1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 79
            },
            {
              "constructionCost": 8,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 6,
              "referenceAmplitude": 8,
              "signs": [
                1,
                -1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 80
            },
            {
              "constructionCost": 10,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 6,
              "referenceAmplitude": 16,
              "signs": [
                1,
                -1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                1,
                2
              ],
              "total": 82
            },
            {
              "reason": "No signal-preserving contrast.",
              "signs": [
                1,
                1,
                1
              ],
              "status": "rejected",
              "times": [
                0,
                2,
                4
              ]
            },
            {
              "constructionCost": 10,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 9,
              "referenceAmplitude": 4,
              "signs": [
                1,
                -1,
                1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 118
            },
            {
              "constructionCost": 11,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 9,
              "referenceAmplitude": 8,
              "signs": [
                1,
                -1,
                1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 119
            },
            {
              "constructionCost": 13,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 9,
              "referenceAmplitude": 16,
              "signs": [
                1,
                -1,
                1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 121
            },
            {
              "constructionCost": 9,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 8,
              "referenceAmplitude": 4,
              "signs": [
                1,
                1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 105
            },
            {
              "constructionCost": 10,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 8,
              "referenceAmplitude": 8,
              "signs": [
                1,
                1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 106
            },
            {
              "constructionCost": 12,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 8,
              "referenceAmplitude": 16,
              "signs": [
                1,
                1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 108
            },
            {
              "constructionCost": 9,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 8,
              "referenceAmplitude": 4,
              "signs": [
                1,
                -1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 105
            },
            {
              "constructionCost": 10,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 8,
              "referenceAmplitude": 8,
              "signs": [
                1,
                -1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 106
            },
            {
              "constructionCost": 12,
              "errorBound": 0,
              "reason": "Bounded contrast candidate.",
              "recurringCost": 8,
              "referenceAmplitude": 16,
              "signs": [
                1,
                -1,
                -1
              ],
              "status": "candidate",
              "times": [
                0,
                2,
                4
              ],
              "total": 108
            }
          ],
          "checker": {
            "accepted": true,
            "checks": 218,
            "reason": "Every finite semantic obligation passed."
          },
          "cost": {
            "acquisitions": 78,
            "checking": 218,
            "installations": 0,
            "memoryWords": 0,
            "search": 34,
            "storageBytes": 5476,
            "workerSlots": 0
          },
          "evidence": {
            "comparedSchedules": 20,
            "constructionCost": 7,
            "horizonCost": 79,
            "recurringCost": 6,
            "uncertainty": "Exact only within the supplied zero-noise finite model."
          },
          "inputs": [],
          "kind": "learn",
          "program": {
            "calibrationRaw": [
              11,
              12,
              -3
            ],
            "degree": 1,
            "errorBound": 0,
            "gainInterval": {
              "denominator": 8,
              "lower": 16,
              "upper": 16
            },
            "queryRows": [
              {
                "interval": [
                  2,
                  2
                ],
                "mask": 0,
                "raw": [
                  7,
                  8,
                  1
                ]
              },
              {
                "interval": [
                  4,
                  4
                ],
                "mask": 1,
                "raw": [
                  11,
                  12,
                  -3
                ]
              },
              {
                "interval": [
                  4,
                  4
                ],
                "mask": 2,
                "raw": [
                  11,
                  12,
                  -3
                ]
              },
              {
                "interval": [
                  9,
                  9
                ],
                "mask": 3,
                "raw": [
                  21,
                  22,
                  -13
                ]
              },
              {
                "interval": [
                  6,
                  6
                ],
                "mask": 4,
                "raw": [
                  15,
                  16,
                  -7
                ]
              },
              {
                "interval": [
                  8,
                  8
                ],
                "mask": 5,
                "raw": [
                  19,
                  20,
                  -11
                ]
              },
              {
                "interval": [
                  8,
                  8
                ],
                "mask": 6,
                "raw": [
                  19,
                  20,
                  -11
                ]
              },
              {
                "interval": [
                  13,
                  13
                ],
                "mask": 7,
                "raw": [
                  29,
                  30,
                  -21
                ]
              }
            ],
            "referenceAmplitude": 4,
            "signs": [
              1,
              1,
              -1
            ],
            "times": [
              0,
              1,
              2
            ],
            "weights": {
              "denominator": 2,
              "numerators": [
                -1,
                2,
                -1
              ]
            }
          },
          "reason": "Every finite semantic obligation passed.",
          "scope": "Supplied positive gain, declared polynomial drift, bounded additive read error and finite control domain.",
          "status": "accepted"
        },
        {
          "assumptions": [
            "Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.",
            "No credentials, external executor, currency payment, signing or authority are created."
          ],
          "attempts": [],
          "checker": {
            "accepted": true,
            "checks": 632,
            "reason": "Every finite semantic obligation passed."
          },
          "cost": {
            "acquisitions": 0,
            "checking": 632,
            "installations": 0,
            "memoryWords": 12,
            "search": 8,
            "storageBytes": 948,
            "workerSlots": 0
          },
          "evidence": {
            "executableLabels": 6,
            "fullStateLabels": 8,
            "independentStateOperationCases": 16,
            "memoryLimit": 8,
            "retiredLabels": 16,
            "staticLabels": 6
          },
          "inputs": [
            "learn"
          ],
          "kind": "think",
          "program": {
            "blocks": [
              [
                0
              ],
              [
                1,
                2
              ],
              [
                3
              ],
              [
                4
              ],
              [
                5,
                6
              ],
              [
                7
              ]
            ],
            "decoder": [
              [
                2,
                2
              ],
              [
                4,
                4
              ],
              [
                9,
                9
              ],
              [
                6,
                6
              ],
              [
                8,
                8
              ],
              [
                13,
                13
              ]
            ],
            "encoder": [
              0,
              1,
              1,
              2,
              3,
              4,
              4,
              5
            ],
            "updates": {
              "flip-z": [
                3,
                4,
                5,
                0,
                1,
                2
              ]
            }
          },
          "reason": "Every finite semantic obligation passed.",
          "scope": "Every control state, its conservative measurement interval and every permitted operation.",
          "status": "accepted"
        },
        {
          "assumptions": [
            "Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.",
            "No credentials, external executor, currency payment, signing or authority are created."
          ],
          "attempts": [],
          "checker": {
            "accepted": true,
            "checks": 1021,
            "reason": "Every finite semantic obligation passed."
          },
          "cost": {
            "acquisitions": 0,
            "checking": 1021,
            "installations": 1,
            "memoryWords": 10,
            "search": 36,
            "storageBytes": 1980,
            "workerSlots": 3
          },
          "evidence": {
            "afterOccupied": 2,
            "beforeOccupied": 3,
            "equalSavingWrongLocation": "The same packing in the wrong location cannot supply the installation.",
            "independentlyVaryingInputs": true,
            "serviceCases": 36
          },
          "inputs": [
            "learn",
            "think"
          ],
          "kind": "design",
          "program": {
            "compiled": {
              "decoder": [
                [
                  2,
                  2
                ],
                [
                  4,
                  4
                ],
                [
                  9,
                  9
                ],
                [
                  6,
                  6
                ],
                [
                  8,
                  8
                ],
                [
                  13,
                  13
                ]
              ],
              "operations": [
                "flip-z"
              ],
              "updaters": {
                "flip-z": [
                  3,
                  4,
                  5,
                  0,
                  1,
                  2
                ]
              }
            },
            "footprint": 22,
            "serviceTable": [
              [
                0,
                0,
                2,
                2,
                3
              ],
              [
                0,
                1,
                2,
                2,
                4
              ],
              [
                0,
                2,
                2,
                2,
                5
              ],
              [
                0,
                3,
                2,
                2,
                0
              ],
              [
                0,
                4,
                2,
                2,
                1
              ],
              [
                0,
                5,
                2,
                2,
                2
              ],
              [
                1,
                0,
                4,
                4,
                3
              ],
              [
                1,
                1,
                4,
                4,
                4
              ],
              [
                1,
                2,
                4,
                4,
                5
              ],
              [
                1,
                3,
                4,
                4,
                0
              ],
              [
                1,
                4,
                4,
                4,
                1
              ],
              [
                1,
                5,
                4,
                4,
                2
              ],
              [
                2,
                0,
                9,
                9,
                3
              ],
              [
                2,
                1,
                9,
                9,
                4
              ],
              [
                2,
                2,
                9,
                9,
                5
              ],
              [
                2,
                3,
                9,
                9,
                0
              ],
              [
                2,
                4,
                9,
                9,
                1
              ],
              [
                2,
                5,
                9,
                9,
                2
              ],
              [
                3,
                0,
                6,
                6,
                3
              ],
              [
                3,
                1,
                6,
                6,
                4
              ],
              [
                3,
                2,
                6,
                6,
                5
              ],
              [
                3,
                3,
                6,
                6,
                0
              ],
              [
                3,
                4,
                6,
                6,
                1
              ],
              [
                3,
                5,
                6,
                6,
                2
              ],
              [
                4,
                0,
                8,
                8,
                3
              ],
              [
                4,
                1,
                8,
                8,
                4
              ],
              [
                4,
                2,
                8,
                8,
                5
              ],
              [
                4,
                3,
                8,
                8,
                0
              ],
              [
                4,
                4,
                8,
                8,
                1
              ],
              [
                4,
                5,
                8,
                8,
                2
              ],
              [
                5,
                0,
                13,
                13,
                3
              ],
              [
                5,
                1,
                13,
                13,
                4
              ],
              [
                5,
                2,
                13,
                13,
                5
              ],
              [
                5,
                3,
                13,
                13,
                0
              ],
              [
                5,
                4,
                13,
                13,
                1
              ],
              [
                5,
                5,
                13,
                13,
                2
              ]
            ],
            "staging": false,
            "transition": [
              [
                {
                  "location": "left",
                  "services": [
                    0
                  ]
                },
                {
                  "location": "right",
                  "services": [
                    1
                  ]
                },
                {
                  "location": "aux",
                  "services": [
                    2
                  ]
                }
              ],
              [
                {
                  "location": "left",
                  "services": [
                    0,
                    1
                  ]
                },
                {
                  "location": "right",
                  "services": []
                },
                {
                  "location": "aux",
                  "services": [
                    2
                  ]
                }
              ]
            ],
            "vacancy": "right",
            "workerLimit": 64,
            "workersAfter": [
              {
                "location": "left",
                "services": [
                  0,
                  1
                ]
              },
              {
                "location": "right",
                "services": []
              },
              {
                "location": "aux",
                "services": [
                  2
                ]
              }
            ],
            "workersBefore": [
              {
                "location": "left",
                "services": [
                  0
                ]
              },
              {
                "location": "right",
                "services": [
                  1
                ]
              },
              {
                "location": "aux",
                "services": [
                  2
                ]
              }
            ]
          },
          "reason": "Every finite semantic obligation passed.",
          "scope": "Every independent two-service input and every installation transition phase.",
          "status": "accepted"
        },
        {
          "assumptions": [
            "Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.",
            "No credentials, external executor, currency payment, signing or authority are created."
          ],
          "attempts": [
            {
              "expectedCost": {
                "denominator": 4,
                "numerator": 16
              },
              "leaves": [
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 1,
                  "route": "R",
                  "visits": [
                    "source",
                    "safety",
                    "right",
                    "sink"
                  ],
                  "worlds": [
                    "clear",
                    "left"
                  ]
                },
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 5,
                  "route": "bypass",
                  "visits": [
                    "source",
                    "safety",
                    "bypass",
                    "sink"
                  ],
                  "worlds": [
                    "right",
                    "both"
                  ]
                }
              ],
              "observation": "coarse",
              "reservations": {
                "installations": 1,
                "vacancy": "right"
              }
            },
            {
              "expectedCost": {
                "denominator": 4,
                "numerator": 16
              },
              "leaves": [
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 1,
                  "route": "L",
                  "visits": [
                    "source",
                    "safety",
                    "left",
                    "sink"
                  ],
                  "worlds": [
                    "clear"
                  ]
                },
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 1,
                  "route": "R",
                  "visits": [
                    "source",
                    "safety",
                    "right",
                    "sink"
                  ],
                  "worlds": [
                    "left"
                  ]
                },
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 1,
                  "route": "L",
                  "visits": [
                    "source",
                    "safety",
                    "left",
                    "sink"
                  ],
                  "worlds": [
                    "right"
                  ]
                },
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 5,
                  "route": "bypass",
                  "visits": [
                    "source",
                    "safety",
                    "bypass",
                    "sink"
                  ],
                  "worlds": [
                    "both"
                  ]
                }
              ],
              "observation": "full",
              "reservations": {
                "installations": 1,
                "vacancy": "right"
              }
            },
            {
              "expectedCost": {
                "denominator": 4,
                "numerator": 20
              },
              "leaves": [
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 5,
                  "route": "bypass",
                  "visits": [
                    "source",
                    "safety",
                    "bypass",
                    "sink"
                  ],
                  "worlds": [
                    "clear",
                    "left",
                    "right",
                    "both"
                  ]
                }
              ],
              "observation": "none",
              "reservations": {
                "installations": 1,
                "vacancy": "right"
              }
            }
          ],
          "checker": {
            "accepted": true,
            "checks": 1094,
            "reason": "Every finite semantic obligation passed."
          },
          "cost": {
            "acquisitions": 0,
            "checking": 1094,
            "installations": 1,
            "memoryWords": 0,
            "search": 36,
            "storageBytes": 2725,
            "workerSlots": 0
          },
          "evidence": {
            "objective": "Expected cost under the explicitly supplied uniform finite world distribution.",
            "optimalAmongSuppliedObservationGrammar": true,
            "residualBeliefs": [
              [
                "clear",
                "left"
              ],
              [
                "right",
                "both"
              ]
            ],
            "worldsChecked": 4
          },
          "inputs": [
            "learn",
            "think",
            "design"
          ],
          "kind": "strategise",
          "program": {
            "expectedCost": {
              "denominator": 4,
              "numerator": 16
            },
            "leaves": [
              {
                "checkpoints": [
                  "safety"
                ],
                "constructionActions": [],
                "cost": 1,
                "route": "R",
                "visits": [
                  "source",
                  "safety",
                  "right",
                  "sink"
                ],
                "worlds": [
                  "clear",
                  "left"
                ]
              },
              {
                "checkpoints": [
                  "safety"
                ],
                "constructionActions": [],
                "cost": 5,
                "route": "bypass",
                "visits": [
                  "source",
                  "safety",
                  "bypass",
                  "sink"
                ],
                "worlds": [
                  "right",
                  "both"
                ]
              }
            ],
            "observation": "coarse",
            "reservations": {
              "installations": 1,
              "vacancy": "right"
            }
          },
          "reason": "Every finite semantic obligation passed.",
          "scope": "All residual fault worlds, permitted tests, routes and mandatory checkpoints.",
          "status": "accepted"
        },
        {
          "assumptions": [
            "Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.",
            "No credentials, external executor, currency payment, signing or authority are created."
          ],
          "attempts": [
            {
              "boundary": 0,
              "component": "installation",
              "status": "candidate",
              "value": 8
            },
            {
              "boundary": 1,
              "component": "installation",
              "status": "candidate",
              "value": 48
            },
            {
              "boundary": 0,
              "component": "routing",
              "status": "candidate",
              "value": 16
            },
            {
              "boundary": 1,
              "component": "routing",
              "status": "candidate",
              "value": 24
            }
          ],
          "checker": {
            "accepted": true,
            "checks": 1710,
            "reason": "Every finite semantic obligation passed."
          },
          "cost": {
            "acquisitions": 0,
            "checking": 1710,
            "installations": 2,
            "memoryWords": 8,
            "search": 62,
            "storageBytes": 4095,
            "workerSlots": 0
          },
          "evidence": {
            "completeBoundaryCases": 2,
            "completeProfilePropagationStopped": false,
            "currentWitnessMaterialized": true,
            "executableDependency": "Independent installation and routing modules share only the complete checkpoint boundary. Current local witnesses compose into current executable actions.",
            "localWitnessesReconstructed": true,
            "relevantBindingsCompared": true,
            "retainedComponents": [],
            "scalarOnlyReuse": false
          },
          "inputs": [
            "learn",
            "think",
            "design",
            "strategise"
          ],
          "kind": "execute",
          "program": {
            "bindings": {
              "availableActions": [
                "isolate",
                "reference"
              ],
              "checkpoint": "safety",
              "compiledServices": {
                "decoder": [
                  [
                    2,
                    2
                  ],
                  [
                    4,
                    4
                  ],
                  [
                    9,
                    9
                  ],
                  [
                    6,
                    6
                  ],
                  [
                    8,
                    8
                  ],
                  [
                    13,
                    13
                  ]
                ],
                "operations": [
                  "flip-z"
                ],
                "updaters": {
                  "flip-z": [
                    3,
                    4,
                    5,
                    0,
                    1,
                    2
                  ]
                }
              },
              "denominator": 4,
              "intendedUses": 12,
              "policy": {
                "expectedCost": {
                  "denominator": 4,
                  "numerator": 16
                },
                "leaves": [
                  {
                    "checkpoints": [
                      "safety"
                    ],
                    "constructionActions": [],
                    "cost": 1,
                    "route": "R",
                    "visits": [
                      "source",
                      "safety",
                      "right",
                      "sink"
                    ],
                    "worlds": [
                      "clear",
                      "left"
                    ]
                  },
                  {
                    "checkpoints": [
                      "safety"
                    ],
                    "constructionActions": [],
                    "cost": 5,
                    "route": "bypass",
                    "visits": [
                      "source",
                      "safety",
                      "bypass",
                      "sink"
                    ],
                    "worlds": [
                      "right",
                      "both"
                    ]
                  }
                ],
                "observation": "coarse",
                "reservations": {
                  "installations": 1,
                  "vacancy": "right"
                }
              },
              "residentWords": 22,
              "vacancy": "right",
              "workerSlots": 1
            },
            "components": [
              {
                "boundary": [
                  "c"
                ],
                "factorIds": [
                  "prepare",
                  "reference",
                  "capacity",
                  "checkpoint"
                ],
                "id": "installation",
                "private": [
                  "a",
                  "b"
                ],
                "profiles": [
                  {
                    "boundary": 0,
                    "value": 8,
                    "witness": {
                      "a": 1,
                      "b": 0,
                      "c": 0
                    }
                  },
                  {
                    "boundary": 1,
                    "value": 48,
                    "witness": {
                      "a": 0,
                      "b": 1,
                      "c": 1
                    }
                  }
                ]
              },
              {
                "boundary": [
                  "c"
                ],
                "factorIds": [
                  "route"
                ],
                "id": "routing",
                "private": [
                  "r"
                ],
                "profiles": [
                  {
                    "boundary": 0,
                    "value": 16,
                    "witness": {
                      "c": 0,
                      "r": 0
                    }
                  },
                  {
                    "boundary": 1,
                    "value": 24,
                    "witness": {
                      "c": 1,
                      "r": 0
                    }
                  }
                ]
              }
            ],
            "currentBoundary": 0,
            "factors": [
              {
                "id": "prepare",
                "scope": [
                  "a"
                ],
                "table": [
                  {
                    "cost": 0,
                    "values": [
                      0
                    ]
                  },
                  {
                    "cost": 8,
                    "values": [
                      1
                    ]
                  }
                ]
              },
              {
                "id": "reference",
                "scope": [
                  "b"
                ],
                "table": [
                  {
                    "cost": 0,
                    "values": [
                      0
                    ]
                  },
                  {
                    "cost": 48,
                    "values": [
                      1
                    ]
                  }
                ]
              },
              {
                "id": "capacity",
                "scope": [
                  "a",
                  "b"
                ],
                "table": [
                  {
                    "cost": null,
                    "values": [
                      0,
                      0
                    ]
                  },
                  {
                    "cost": 0,
                    "values": [
                      1,
                      0
                    ]
                  },
                  {
                    "cost": 0,
                    "values": [
                      0,
                      1
                    ]
                  },
                  {
                    "cost": null,
                    "values": [
                      1,
                      1
                    ]
                  }
                ]
              },
              {
                "id": "route",
                "scope": [
                  "r",
                  "c"
                ],
                "table": [
                  {
                    "cost": 16,
                    "values": [
                      0,
                      0
                    ]
                  },
                  {
                    "cost": 24,
                    "values": [
                      1,
                      0
                    ]
                  },
                  {
                    "cost": 24,
                    "values": [
                      0,
                      1
                    ]
                  },
                  {
                    "cost": 32,
                    "values": [
                      1,
                      1
                    ]
                  }
                ]
              },
              {
                "id": "checkpoint",
                "scope": [
                  "b",
                  "c"
                ],
                "table": [
                  {
                    "cost": 0,
                    "values": [
                      0,
                      0
                    ]
                  },
                  {
                    "cost": 0,
                    "values": [
                      1,
                      0
                    ]
                  },
                  {
                    "cost": null,
                    "values": [
                      0,
                      1
                    ]
                  },
                  {
                    "cost": 0,
                    "values": [
                      1,
                      1
                    ]
                  }
                ]
              }
            ],
            "installations": {
              "actions": [
                "isolate"
              ],
              "placement": "right",
              "scopeControls": 3
            },
            "profiles": [
              {
                "boundary": 0,
                "value": 24,
                "witness": {
                  "a": 1,
                  "b": 0,
                  "c": 0,
                  "r": 0
                }
              },
              {
                "boundary": 1,
                "value": 72,
                "witness": {
                  "a": 0,
                  "b": 1,
                  "c": 1,
                  "r": 0
                }
              }
            ],
            "reuseContracts": [
              {
                "completeProfileEqual": false,
                "component": "installation",
                "propagation": "cold",
                "status": "rebuilt"
              },
              {
                "completeProfileEqual": false,
                "component": "routing",
                "propagation": "cold",
                "status": "rebuilt"
              }
            ],
            "reusedFactors": [],
            "routeWitness": {
              "leaves": [
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 1,
                  "route": "R",
                  "visits": [
                    "source",
                    "safety",
                    "right",
                    "sink"
                  ],
                  "worlds": [
                    "clear",
                    "left"
                  ]
                },
                {
                  "checkpoints": [
                    "safety"
                  ],
                  "constructionActions": [],
                  "cost": 5,
                  "route": "bypass",
                  "visits": [
                    "source",
                    "safety",
                    "bypass",
                    "sink"
                  ],
                  "worlds": [
                    "right",
                    "both"
                  ]
                }
              ],
              "observation": "coarse"
            },
            "variables": [
              "a",
              "b",
              "r",
              "c"
            ],
            "witness": {
              "a": 1,
              "b": 0,
              "c": 0,
              "r": 0
            }
          },
          "reason": "Every finite semantic obligation passed.",
          "scope": "Complete finite factor scopes, both boundary values, current policy bindings and current witness.",
          "status": "accepted"
        },
        {
          "assumptions": [
            "Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.",
            "No credentials, external executor, currency payment, signing or authority are created."
          ],
          "attempts": [
            {
              "coefficients": [
                2,
                2,
                2,
                3,
                4,
                0,
                0,
                0
              ],
              "costs": {
                "install": 0,
                "recurring": 0
              },
              "degree": 2,
              "horizonCost": 0,
              "operations": [],
              "reason": "This operation is not installed by the accepted execution witness.",
              "responseTable": [
                2,
                4,
                4,
                9,
                6,
                8,
                8,
                13
              ],
              "status": "rejected"
            },
            {
              "coefficients": [
                2,
                2,
                2,
                0,
                4,
                0,
                0,
                0
              ],
              "costs": {
                "install": 2,
                "recurring": 0
              },
              "degree": 1,
              "horizonCost": 2,
              "operations": [
                "isolate"
              ],
              "reason": "Installed current completion witness.",
              "responseTable": [
                2,
                4,
                4,
                6,
                6,
                8,
                8,
                10
              ],
              "status": "candidate"
            },
            {
              "coefficients": [
                2,
                2,
                2,
                0,
                4,
                0,
                0,
                0
              ],
              "costs": {
                "install": 0,
                "recurring": 1
              },
              "degree": 1,
              "horizonCost": 12,
              "operations": [
                "reference"
              ],
              "reason": "This operation is not installed by the accepted execution witness.",
              "responseTable": [
                2,
                4,
                4,
                6,
                6,
                8,
                8,
                10
              ],
              "status": "rejected"
            },
            {
              "coefficients": [
                2,
                2,
                2,
                0,
                4,
                0,
                0,
                0
              ],
              "costs": {
                "install": 4,
                "recurring": 0
              },
              "degree": 1,
              "horizonCost": 4,
              "operations": [
                "modularize"
              ],
              "reason": "This operation is not installed by the accepted execution witness.",
              "responseTable": [
                2,
                4,
                4,
                6,
                6,
                8,
                8,
                10
              ],
              "status": "rejected"
            }
          ],
          "checker": {
            "accepted": true,
            "checks": 1929,
            "reason": "Every finite semantic obligation passed."
          },
          "cost": {
            "acquisitions": 828,
            "checking": 92340,
            "installations": 0,
            "memoryWords": 0,
            "search": 6425,
            "storageBytes": 14070,
            "workerSlots": 0
          },
          "evidence": {
            "frozenBeforeQueries": true,
            "fullDomainCases": 8,
            "higherOrderCoefficientsChecked": true,
            "horizonCost": 2,
            "semantics": "Supplied operation effects remove the declared nuisance; no physical claim or curve-fit proof."
          },
          "inputs": [
            "learn",
            "think",
            "design",
            "strategise",
            "execute"
          ],
          "kind": "evolve",
          "program": {
            "coefficients": [
              2,
              2,
              2,
              0,
              4,
              0,
              0,
              0
            ],
            "degree": 1,
            "freezeOrder": "before-query-evaluation",
            "operations": [
              "isolate"
            ],
            "responseTable": [
              2,
              4,
              4,
              6,
              6,
              8,
              8,
              10
            ],
            "scopeControls": 3
          },
          "reason": "Every finite semantic obligation passed.",
          "scope": "Declared operation grammar, full response domain and every interaction coefficient.",
          "status": "accepted"
        }
      ],
      "state": "accepted"
    },
    "schema": "discovery-lab-review-payload/v1"
  },
  "payloadDigest": "49b185f5952dba4ebf6e739a5ffc826fbc99a086a73ee39008cf13366969f404",
  "purposeDigest": "eff029abd79af61fd21de23b48a10962271e8e7aa8c24f45d3d6a791590af3a5",
  "resourceLimits": {
    "acquisitions": 2000,
    "checking": 1020000,
    "elapsedMs": 120000,
    "installations": 20,
    "memoryBytes": 10000000,
    "search": 1000000,
    "storageBytes": 4000000,
    "workerCapacity": 4
  },
  "revision": 1,
  "schema": "successor-discovery-work-request/v1",
  "sourceDigest": "54769dbfde99ae13708a33292866f0ca7e6b8b7792a7a944f76bf2fbf1de1358",
  "stage": "evolve"
}