{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://ai2papers.com/schema/AI2-WP-2026-18-path-dossier-1.1.json",
  "title": "[AI2] Path Dossier",
  "description": "AI2-WP-2026-18 Rev 1.1, Appendix A. One dossier is one path on one consequence surface. Validity against this schema means the dossier is well-formed and its disposition is consistent with its exhibits. It does not mean Level 4, and it is not a certificate.",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schema_id",
    "is_certificate",
    "header",
    "exhibits",
    "disposition"
  ],
  "properties": {
    "schema_id": {
      "const": "AI2-WP-2026-18/path-dossier/1.1"
    },
    "is_certificate": {
      "const": false
    },
    "header": {
      "$ref": "#/$defs/header"
    },
    "exhibits": {
      "type": "array",
      "minItems": 10,
      "maxItems": 10,
      "prefixItems": [
        {
          "$ref": "#/$defs/x1"
        },
        {
          "$ref": "#/$defs/x2"
        },
        {
          "$ref": "#/$defs/x3"
        },
        {
          "$ref": "#/$defs/x4"
        },
        {
          "$ref": "#/$defs/x5"
        },
        {
          "$ref": "#/$defs/x6"
        },
        {
          "$ref": "#/$defs/x7"
        },
        {
          "$ref": "#/$defs/x8"
        },
        {
          "$ref": "#/$defs/x9"
        },
        {
          "$ref": "#/$defs/x10"
        }
      ],
      "items": false
    },
    "disposition": {
      "$ref": "#/$defs/disposition"
    }
  },
  "allOf": [
    {
      "if": {
        "properties": {
          "disposition": {
            "properties": {
              "dossier_status": {
                "enum": [
                  "FALSIFIED"
                ]
              }
            }
          }
        }
      },
      "then": {
        "properties": {
          "disposition": {
            "properties": {
              "falsification": {
                "type": "object"
              }
            }
          }
        }
      },
      "else": {
        "properties": {
          "disposition": {
            "properties": {
              "falsification": {
                "type": "null"
              }
            }
          }
        }
      }
    },
    {
      "if": {
        "properties": {
          "exhibits": {
            "contains": {
              "properties": {
                "state": {
                  "const": "failed"
                }
              }
            }
          }
        }
      },
      "then": {
        "properties": {
          "disposition": {
            "properties": {
              "dossier_status": {
                "enum": [
                  "NOT_LEVEL_4",
                  "FALSIFIED"
                ]
              }
            }
          }
        }
      }
    },
    {
      "if": {
        "properties": {
          "disposition": {
            "properties": {
              "dossier_status": {
                "enum": [
                  "NOT_LEVEL_4"
                ]
              }
            }
          }
        }
      },
      "then": {
        "allOf": [
          {
            "properties": {
              "exhibits": {
                "contains": {
                  "properties": {
                    "state": {
                      "const": "failed"
                    }
                  }
                }
              }
            }
          },
          {
            "properties": {
              "disposition": {
                "properties": {
                  "failed_clauses": {
                    "minItems": 1
                  }
                }
              }
            }
          }
        ]
      }
    },
    {
      "if": {
        "allOf": [
          {
            "not": {
              "properties": {
                "exhibits": {
                  "contains": {
                    "properties": {
                      "state": {
                        "const": "failed"
                      }
                    }
                  }
                }
              }
            }
          },
          {
            "anyOf": [
              {
                "properties": {
                  "exhibits": {
                    "contains": {
                      "properties": {
                        "state": {
                          "const": "absent"
                        }
                      }
                    }
                  }
                }
              },
              {
                "not": {
                  "properties": {
                    "header": {
                      "$ref": "#/$defs/header_complete"
                    }
                  }
                }
              }
            ]
          }
        ]
      },
      "then": {
        "properties": {
          "disposition": {
            "properties": {
              "dossier_status": {
                "enum": [
                  "INCOMPLETE",
                  "FALSIFIED"
                ]
              }
            }
          }
        }
      }
    },
    {
      "if": {
        "properties": {
          "disposition": {
            "properties": {
              "dossier_status": {
                "enum": [
                  "INCOMPLETE"
                ]
              }
            }
          }
        }
      },
      "then": {
        "anyOf": [
          {
            "properties": {
              "exhibits": {
                "contains": {
                  "properties": {
                    "state": {
                      "const": "absent"
                    }
                  }
                }
              }
            }
          },
          {
            "not": {
              "properties": {
                "header": {
                  "$ref": "#/$defs/header_complete"
                }
              }
            }
          }
        ]
      }
    },
    {
      "if": {
        "properties": {
          "disposition": {
            "properties": {
              "path_state": {
                "const": "ARMED"
              }
            }
          }
        }
      },
      "then": {
        "not": {
          "properties": {
            "exhibits": {
              "contains": {
                "properties": {
                  "mode": {
                    "const": "specification"
                  }
                }
              }
            }
          }
        }
      }
    },
    {
      "if": {
        "properties": {
          "disposition": {
            "properties": {
              "path_state": {
                "const": "DARK"
              }
            }
          }
        }
      },
      "then": {
        "not": {
          "properties": {
            "exhibits": {
              "contains": {
                "allOf": [
                  {
                    "properties": {
                      "mode": {
                        "const": "specification"
                      }
                    }
                  },
                  {
                    "properties": {
                      "clause": {
                        "enum": [
                          1,
                          2,
                          3,
                          5,
                          6,
                          7,
                          8,
                          9
                        ]
                      }
                    }
                  }
                ]
              }
            }
          }
        }
      }
    }
  ],
  "$defs": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "uri",
        "sha256",
        "kind",
        "readable_without_proposer"
      ],
      "properties": {
        "uri": {
          "type": "string",
          "minLength": 1
        },
        "sha256": {
          "type": "string",
          "pattern": "^sha256:[0-9a-f]{64}$"
        },
        "kind": {
          "enum": [
            "log",
            "trace",
            "netlist",
            "isolation_artifact",
            "proof",
            "fault_injection_report",
            "audit_report",
            "specification",
            "other"
          ]
        },
        "readable_without_proposer": {
          "type": "boolean"
        }
      }
    },
    "header": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "surface",
        "path",
        "grantor",
        "evaluator",
        "schema_version",
        "epoch",
        "clocks",
        "dossier_version"
      ],
      "properties": {
        "surface": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "name",
            "owner",
            "effect_type",
            "target"
          ],
          "properties": {
            "name": {
              "type": [
                "string",
                "null"
              ]
            },
            "owner": {
              "type": [
                "string",
                "null"
              ]
            },
            "effect_type": {
              "type": [
                "string",
                "null"
              ]
            },
            "target": {
              "type": [
                "string",
                "null"
              ]
            }
          }
        },
        "path": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "carrier",
            "last_deny_point"
          ],
          "properties": {
            "id": {
              "type": [
                "string",
                "null"
              ]
            },
            "carrier": {
              "type": [
                "string",
                "null"
              ]
            },
            "last_deny_point": {
              "type": [
                "string",
                "null"
              ]
            }
          }
        },
        "grantor": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "principal",
            "plane",
            "outside_proposer_domain_ref"
          ],
          "properties": {
            "principal": {
              "type": [
                "string",
                "null"
              ]
            },
            "plane": {
              "type": [
                "string",
                "null"
              ]
            },
            "outside_proposer_domain_ref": {
              "type": [
                "string",
                "null"
              ]
            }
          }
        },
        "evaluator": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "pin",
            "write_set_from_proposer"
          ],
          "properties": {
            "id": {
              "type": [
                "string",
                "null"
              ]
            },
            "pin": {
              "type": [
                "string",
                "null"
              ],
              "pattern": "^sha256:[0-9a-f]{64}$"
            },
            "write_set_from_proposer": {
              "type": "array",
              "maxItems": 0,
              "description": "Must be empty (WP-13 Law 4). A non-empty write-set cannot be written."
            }
          }
        },
        "schema_version": {
          "type": [
            "string",
            "null"
          ]
        },
        "epoch": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "freshness_rule",
            "use",
            "bound"
          ],
          "properties": {
            "id": {
              "type": [
                "string",
                "null"
              ]
            },
            "freshness_rule": {
              "type": [
                "string",
                "null"
              ]
            },
            "use": {
              "enum": [
                "single_use",
                "duration_bound",
                null
              ]
            },
            "bound": {
              "type": [
                "string",
                "null"
              ]
            }
          }
        },
        "clocks": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "t_dec_ms",
            "grant_duration",
            "t_max_omega"
          ],
          "properties": {
            "t_dec_ms": {
              "type": [
                "number",
                "null"
              ],
              "exclusiveMinimum": 0
            },
            "grant_duration": {
              "type": [
                "string",
                "null"
              ]
            },
            "t_max_omega": {
              "type": [
                "string",
                "null"
              ],
              "description": "Only if the path has a cognitive field (WP-15). Not evidence of Level 4."
            }
          }
        },
        "dossier_version": {
          "type": [
            "string",
            "null"
          ],
          "pattern": "^sha256:[0-9a-f]{64}$"
        }
      }
    },
    "header_complete": {
      "properties": {
        "surface": {
          "properties": {
            "name": {
              "type": "string",
              "minLength": 1
            },
            "owner": {
              "type": "string",
              "minLength": 1
            },
            "effect_type": {
              "type": "string",
              "minLength": 1
            },
            "target": {
              "type": "string",
              "minLength": 1
            }
          }
        },
        "path": {
          "properties": {
            "id": {
              "type": "string",
              "minLength": 1
            },
            "carrier": {
              "type": "string",
              "minLength": 1
            },
            "last_deny_point": {
              "type": "string",
              "minLength": 1
            }
          }
        },
        "grantor": {
          "properties": {
            "principal": {
              "type": "string",
              "minLength": 1
            },
            "plane": {
              "type": "string",
              "minLength": 1
            },
            "outside_proposer_domain_ref": {
              "type": "string",
              "minLength": 1
            }
          }
        },
        "evaluator": {
          "properties": {
            "id": {
              "type": "string",
              "minLength": 1
            },
            "pin": {
              "type": "string",
              "pattern": "^sha256:[0-9a-f]{64}$"
            }
          }
        },
        "schema_version": {
          "type": "string",
          "minLength": 1
        },
        "epoch": {
          "properties": {
            "id": {
              "type": "string",
              "minLength": 1
            },
            "freshness_rule": {
              "type": "string",
              "minLength": 1
            },
            "use": {
              "enum": [
                "single_use",
                "duration_bound"
              ]
            },
            "bound": {
              "type": "string",
              "minLength": 1
            }
          }
        },
        "clocks": {
          "properties": {
            "t_dec_ms": {
              "type": "number"
            },
            "grant_duration": {
              "type": "string",
              "minLength": 1
            }
          }
        },
        "dossier_version": {
          "type": "string",
          "pattern": "^sha256:[0-9a-f]{64}$"
        }
      }
    },
    "exhibit_base": {
      "type": "object",
      "required": [
        "clause",
        "id",
        "name",
        "state",
        "mode",
        "artifacts",
        "failure_reason",
        "refusals"
      ],
      "properties": {
        "clause": {
          "type": "integer",
          "minimum": 1,
          "maximum": 10
        },
        "id": {
          "type": "string",
          "minLength": 1
        },
        "name": {
          "type": "string",
          "minLength": 1
        },
        "state": {
          "enum": [
            "absent",
            "present",
            "failed"
          ]
        },
        "mode": {
          "enum": [
            "demonstration",
            "specification",
            null
          ]
        },
        "artifacts": {
          "type": "array",
          "items": {
            "$ref": "#/$defs/artifact"
          }
        },
        "failure_reason": {
          "type": [
            "string",
            "null"
          ]
        },
        "refusals": {
          "type": "array",
          "description": "Third-party refusals. Recorded here; the refusing party issues its own disposition.",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "by",
              "date",
              "reason"
            ],
            "properties": {
              "by": {
                "type": "string",
                "minLength": 1
              },
              "date": {
                "type": "string",
                "format": "date"
              },
              "reason": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        }
      },
      "allOf": [
        {
          "if": {
            "properties": {
              "state": {
                "const": "failed"
              }
            }
          },
          "then": {
            "properties": {
              "failure_reason": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "artifacts": {
                "minItems": 1
              },
              "mode": {
                "enum": [
                  "demonstration",
                  "specification"
                ]
              }
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "absent"
              }
            }
          },
          "then": {
            "properties": {
              "mode": {
                "const": null
              }
            }
          }
        }
      ]
    },
    "x1": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 1
            },
            "id": {
              "const": "X1"
            },
            "name": {
              "const": "Path coverage"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "paths_enumerated": {
                "minItems": 1
              },
              "residual_surface_note": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "paths_enumerated",
        "exclusions",
        "residual_surface_note"
      ],
      "properties": {
        "paths_enumerated": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "id",
              "carrier"
            ],
            "properties": {
              "id": {
                "type": "string",
                "minLength": 1
              },
              "carrier": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        },
        "exclusions": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "variant",
              "rationale"
            ],
            "properties": {
              "variant": {
                "type": "string",
                "minLength": 1
              },
              "rationale": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        },
        "residual_surface_note": {
          "type": [
            "string",
            "null"
          ]
        }
      }
    },
    "x2": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 2
            },
            "id": {
              "const": "X2"
            },
            "name": {
              "const": "Default darkness"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "cold_start_dark": {
                "const": true
              },
              "never_armed_run_dark": {
                "const": true
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "cold_start_dark",
        "never_armed_run_dark"
      ],
      "properties": {
        "cold_start_dark": {
          "type": [
            "boolean",
            "null"
          ]
        },
        "never_armed_run_dark": {
          "type": [
            "boolean",
            "null"
          ]
        }
      }
    },
    "x3": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 3
            },
            "id": {
              "const": "X3"
            },
            "name": {
              "const": "Pre-effect decision"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "decision_precedes_first_irreversible_step": {
                "const": true
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "decision_precedes_first_irreversible_step"
      ],
      "properties": {
        "decision_precedes_first_irreversible_step": {
          "type": [
            "boolean",
            "null"
          ]
        }
      }
    },
    "x4": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 4
            },
            "id": {
              "const": "X4"
            },
            "name": {
              "const": "Effect specificity"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "canonical_object": {
                "properties": {
                  "effect_type": {
                    "type": "string",
                    "minLength": 1
                  },
                  "surface": {
                    "type": "string",
                    "minLength": 1
                  },
                  "target": {
                    "type": "string",
                    "minLength": 1
                  },
                  "scope": {
                    "type": "string",
                    "minLength": 1
                  },
                  "schema_version": {
                    "type": "string",
                    "minLength": 1
                  },
                  "epoch": {
                    "type": "string",
                    "minLength": 1
                  }
                }
              },
              "unique_admissible_preimage": {
                "const": true
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "canonical_object",
        "unique_admissible_preimage"
      ],
      "properties": {
        "canonical_object": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "effect_type",
            "surface",
            "target",
            "scope",
            "schema_version",
            "epoch"
          ],
          "properties": {
            "effect_type": {
              "type": [
                "string",
                "null"
              ]
            },
            "surface": {
              "type": [
                "string",
                "null"
              ]
            },
            "target": {
              "type": [
                "string",
                "null"
              ]
            },
            "scope": {
              "type": [
                "string",
                "null"
              ]
            },
            "schema_version": {
              "type": [
                "string",
                "null"
              ]
            },
            "epoch": {
              "type": [
                "string",
                "null"
              ]
            }
          }
        },
        "unique_admissible_preimage": {
          "type": [
            "boolean",
            "null"
          ]
        }
      }
    },
    "x5": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 5
            },
            "id": {
              "const": "X5"
            },
            "name": {
              "const": "Structural disjointness"
            }
          }
        },
        {
          "if": {
            "properties": {
              "attested_by_proposer": {
                "const": true
              }
            },
            "required": [
              "attested_by_proposer"
            ]
          },
          "then": {
            "properties": {
              "state": {
                "const": "failed"
              }
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "auditor": {
                "type": "string",
                "minLength": 1
              },
              "attested_by_proposer": {
                "const": false
              },
              "a1": {
                "properties": {
                  "A1_1": {
                    "properties": {
                      "state": {
                        "const": "present"
                      },
                      "artifacts": {
                        "minItems": 1
                      }
                    }
                  },
                  "A1_2": {
                    "properties": {
                      "state": {
                        "const": "present"
                      },
                      "artifacts": {
                        "minItems": 1
                      }
                    }
                  },
                  "A1_3": {
                    "properties": {
                      "state": {
                        "const": "present"
                      },
                      "artifacts": {
                        "minItems": 1
                      }
                    }
                  },
                  "A1_4": {
                    "properties": {
                      "state": {
                        "const": "present"
                      },
                      "artifacts": {
                        "minItems": 1
                      }
                    }
                  },
                  "A1_5": {
                    "properties": {
                      "state": {
                        "const": "present"
                      },
                      "artifacts": {
                        "minItems": 1
                      }
                    }
                  },
                  "A1_6": {
                    "properties": {
                      "state": {
                        "const": "present"
                      },
                      "artifacts": {
                        "minItems": 1
                      }
                    }
                  }
                }
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "a1",
        "auditor",
        "attested_by_proposer",
        "attested_by_builder"
      ],
      "properties": {
        "a1": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "A1_1",
            "A1_2",
            "A1_3",
            "A1_4",
            "A1_5",
            "A1_6"
          ],
          "properties": {
            "A1_1": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "state",
                "artifacts"
              ],
              "properties": {
                "state": {
                  "enum": [
                    "absent",
                    "present",
                    "failed"
                  ]
                },
                "artifacts": {
                  "type": "array",
                  "items": {
                    "$ref": "#/$defs/artifact"
                  }
                }
              }
            },
            "A1_2": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "state",
                "artifacts"
              ],
              "properties": {
                "state": {
                  "enum": [
                    "absent",
                    "present",
                    "failed"
                  ]
                },
                "artifacts": {
                  "type": "array",
                  "items": {
                    "$ref": "#/$defs/artifact"
                  }
                }
              }
            },
            "A1_3": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "state",
                "artifacts"
              ],
              "properties": {
                "state": {
                  "enum": [
                    "absent",
                    "present",
                    "failed"
                  ]
                },
                "artifacts": {
                  "type": "array",
                  "items": {
                    "$ref": "#/$defs/artifact"
                  }
                }
              }
            },
            "A1_4": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "state",
                "artifacts"
              ],
              "properties": {
                "state": {
                  "enum": [
                    "absent",
                    "present",
                    "failed"
                  ]
                },
                "artifacts": {
                  "type": "array",
                  "items": {
                    "$ref": "#/$defs/artifact"
                  }
                }
              }
            },
            "A1_5": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "state",
                "artifacts"
              ],
              "properties": {
                "state": {
                  "enum": [
                    "absent",
                    "present",
                    "failed"
                  ]
                },
                "artifacts": {
                  "type": "array",
                  "items": {
                    "$ref": "#/$defs/artifact"
                  }
                }
              }
            },
            "A1_6": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "state",
                "artifacts"
              ],
              "properties": {
                "state": {
                  "enum": [
                    "absent",
                    "present",
                    "failed"
                  ]
                },
                "artifacts": {
                  "type": "array",
                  "items": {
                    "$ref": "#/$defs/artifact"
                  }
                }
              }
            }
          }
        },
        "auditor": {
          "type": [
            "string",
            "null"
          ]
        },
        "attested_by_proposer": {
          "type": [
            "boolean",
            "null"
          ],
          "description": "Self-attestation of A1 by the proposer fails clauses 5, 7 and 8."
        },
        "attested_by_builder": {
          "type": [
            "boolean",
            "null"
          ],
          "description": "Recorded. Rule pending: whether builder self-attestation is also a fail."
        }
      }
    },
    "x6": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 6
            },
            "id": {
              "const": "X6"
            },
            "name": {
              "const": "Fail-closed operation"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "fault_map": {
                "properties": {
                  "clock": {
                    "enum": [
                      "deny",
                      "dark"
                    ]
                  },
                  "power": {
                    "enum": [
                      "deny",
                      "dark"
                    ]
                  },
                  "reset": {
                    "enum": [
                      "deny",
                      "dark"
                    ]
                  },
                  "liveness": {
                    "enum": [
                      "deny",
                      "dark"
                    ]
                  },
                  "schema_mismatch": {
                    "enum": [
                      "deny",
                      "dark"
                    ]
                  },
                  "hash_mismatch": {
                    "enum": [
                      "deny",
                      "dark"
                    ]
                  }
                }
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "fault_map"
      ],
      "properties": {
        "fault_map": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "clock",
            "power",
            "reset",
            "liveness",
            "schema_mismatch",
            "hash_mismatch"
          ],
          "properties": {
            "clock": {
              "enum": [
                "deny",
                "dark",
                "allow",
                null
              ]
            },
            "power": {
              "enum": [
                "deny",
                "dark",
                "allow",
                null
              ]
            },
            "reset": {
              "enum": [
                "deny",
                "dark",
                "allow",
                null
              ]
            },
            "liveness": {
              "enum": [
                "deny",
                "dark",
                "allow",
                null
              ]
            },
            "schema_mismatch": {
              "enum": [
                "deny",
                "dark",
                "allow",
                null
              ]
            },
            "hash_mismatch": {
              "enum": [
                "deny",
                "dark",
                "allow",
                null
              ]
            }
          }
        }
      }
    },
    "x7": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 7
            },
            "id": {
              "const": "X7"
            },
            "name": {
              "const": "No proposer restoration"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "restoration_routes": {
                "minItems": 1,
                "not": {
                  "contains": {
                    "properties": {
                      "kind": {
                        "const": "proposer"
                      }
                    }
                  }
                }
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "restoration_routes"
      ],
      "properties": {
        "restoration_routes": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "route",
              "kind"
            ],
            "properties": {
              "route": {
                "type": "string",
                "minLength": 1
              },
              "kind": {
                "enum": [
                  "exogenous",
                  "absent",
                  "proposer"
                ]
              }
            }
          }
        }
      }
    },
    "x8": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 8
            },
            "id": {
              "const": "X8"
            },
            "name": {
              "const": "Independent auditability"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "logs_readable_without_proposer": {
                "const": true
              },
              "third_party_replay_of": {
                "minItems": 2
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "logs_readable_without_proposer",
        "third_party_replay_of"
      ],
      "properties": {
        "logs_readable_without_proposer": {
          "type": [
            "boolean",
            "null"
          ]
        },
        "third_party_replay_of": {
          "type": "array",
          "items": {
            "enum": [
              "X3",
              "X4"
            ]
          },
          "uniqueItems": true
        }
      }
    },
    "x9": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 9
            },
            "id": {
              "const": "X9"
            },
            "name": {
              "const": "Bounded decision or deny"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "t_dec_ms": {
                "type": "number"
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "t_dec_ms",
        "expiry_maps_to"
      ],
      "properties": {
        "t_dec_ms": {
          "type": [
            "number",
            "null"
          ],
          "exclusiveMinimum": 0
        },
        "expiry_maps_to": {
          "const": "deny"
        }
      }
    },
    "x10": {
      "allOf": [
        {
          "$ref": "#/$defs/exhibit_base"
        },
        {
          "properties": {
            "clause": {
              "const": 10
            },
            "id": {
              "const": "X10"
            },
            "name": {
              "const": "Red-team falsifiability"
            }
          }
        },
        {
          "if": {
            "properties": {
              "state": {
                "const": "present"
              }
            }
          },
          "then": {
            "properties": {
              "victory_condition": {
                "type": "string",
                "minLength": 1
              },
              "written_before_test": {
                "const": true
              },
              "surfaces_in_scope": {
                "minItems": 1
              }
            }
          }
        }
      ],
      "unevaluatedProperties": false,
      "required": [
        "victory_condition",
        "written_before_test",
        "surfaces_in_scope",
        "surfaces_out_of_scope"
      ],
      "properties": {
        "victory_condition": {
          "type": [
            "string",
            "null"
          ]
        },
        "written_before_test": {
          "type": [
            "boolean",
            "null"
          ]
        },
        "surfaces_in_scope": {
          "type": "array",
          "items": {
            "type": "string",
            "minLength": 1
          }
        },
        "surfaces_out_of_scope": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "surface",
              "owner_initials"
            ],
            "properties": {
              "surface": {
                "type": "string",
                "minLength": 1
              },
              "owner_initials": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        }
      }
    },
    "disposition": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "dossier_status",
        "path_state",
        "failed_clauses",
        "falsification",
        "issued"
      ],
      "properties": {
        "dossier_status": {
          "enum": [
            "INCOMPLETE",
            "NOT_LEVEL_4",
            "CLAIMED",
            "FALSIFIED"
          ]
        },
        "path_state": {
          "enum": [
            "DARK",
            "ARMED"
          ]
        },
        "failed_clauses": {
          "type": "array",
          "uniqueItems": true,
          "items": {
            "type": "integer",
            "minimum": 1,
            "maximum": 10
          }
        },
        "falsification": {
          "oneOf": [
            {
              "type": "null"
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "date",
                "effect_ref",
                "artifact"
              ],
              "properties": {
                "date": {
                  "type": "string",
                  "format": "date"
                },
                "effect_ref": {
                  "type": "string",
                  "minLength": 1
                },
                "artifact": {
                  "$ref": "#/$defs/artifact"
                }
              }
            }
          ]
        },
        "issued": {
          "type": [
            "string",
            "null"
          ],
          "format": "date"
        }
      }
    }
  }
}