{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://matrixnetwork.me/source/audit/exact-seven-all-source-audit.schema.json",
  "title": "Y Theory public exact-seven all-source audit",
  "description": "Release-bound schema for the redacted public projection. It is intentionally distinct from the repository-only canonical audit schema.",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schema",
    "release",
    "audit_id",
    "audit_source_sha256",
    "status",
    "canonical_conclusion",
    "governed_seven_status",
    "historical_disposition",
    "root_aliases",
    "scan_inventory",
    "duplicate_families",
    "exclusions",
    "source_catalog",
    "authored_pdf_scan",
    "evidence_classes",
    "proof_dependency_graph",
    "external_instantiation_assessments",
    "alternative_implementation_counts",
    "governance",
    "conclusion",
    "public_boundary"
  ],
  "properties": {
    "schema": {
      "const": "y-theory.exact-seven-all-source-public-audit.v2"
    },
    "release": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "living_source_version",
        "release_state"
      ],
      "properties": {
        "living_source_version": {
          "type": "string"
        },
        "release_state": {
          "type": "string"
        }
      }
    },
    "audit_id": {
      "type": "string"
    },
    "audit_source_sha256": {
      "type": "string"
    },
    "status": {
      "type": "string"
    },
    "canonical_conclusion": {
      "type": "string"
    },
    "governed_seven_status": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "current_internal_architecture",
        "internal_derivation",
        "historical_proof_shape",
        "external_empirical_assessment",
        "source_path",
        "source_sha256",
        "source_locator",
        "audit_scope"
      ],
      "properties": {
        "current_internal_architecture": {
          "type": "string"
        },
        "internal_derivation": {
          "type": "string"
        },
        "historical_proof_shape": {
          "type": "string"
        },
        "external_empirical_assessment": {
          "type": "string"
        },
        "source_path": {
          "type": "string"
        },
        "source_sha256": {
          "type": "string"
        },
        "source_locator": {
          "type": "string"
        },
        "audit_scope": {
          "type": "string"
        }
      }
    },
    "historical_disposition": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "prior_conclusion",
        "status",
        "scan_inventory_preserved",
        "source_ledger_preserved",
        "reason"
      ],
      "properties": {
        "prior_conclusion": {
          "type": "string"
        },
        "status": {
          "type": "string"
        },
        "scan_inventory_preserved": {
          "type": "boolean"
        },
        "source_ledger_preserved": {
          "type": "boolean"
        },
        "reason": {
          "type": "string"
        }
      }
    },
    "root_aliases": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "root_alias",
          "scope",
          "resolution",
          "historical_scan_qualifying_derivation_found"
        ],
        "properties": {
          "root_alias": {
            "type": "string"
          },
          "scope": {
            "type": "string"
          },
          "resolution": {
            "type": "string"
          },
          "historical_scan_qualifying_derivation_found": {
            "type": "boolean"
          }
        }
      }
    },
    "scan_inventory": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "filesystem_paths_hashed",
        "unique_sha256",
        "duplicate_groups",
        "paths_in_duplicate_groups",
        "redundant_alias_paths",
        "pdf_paths",
        "unique_pdf_hashes",
        "authored_pdf_hashes",
        "eligible_text_code_paths",
        "unique_text_code_hashes",
        "qualifying_text_code_hashes",
        "zip_archives",
        "unique_zip_hashes",
        "zip_relevant_hits",
        "deduplication_rule"
      ],
      "properties": {
        "filesystem_paths_hashed": {
          "type": "integer"
        },
        "unique_sha256": {
          "type": "integer"
        },
        "duplicate_groups": {
          "type": "integer"
        },
        "paths_in_duplicate_groups": {
          "type": "integer"
        },
        "redundant_alias_paths": {
          "type": "integer"
        },
        "pdf_paths": {
          "type": "integer"
        },
        "unique_pdf_hashes": {
          "type": "integer"
        },
        "authored_pdf_hashes": {
          "type": "integer"
        },
        "eligible_text_code_paths": {
          "type": "integer"
        },
        "unique_text_code_hashes": {
          "type": "integer"
        },
        "qualifying_text_code_hashes": {
          "type": "integer"
        },
        "zip_archives": {
          "type": "integer"
        },
        "unique_zip_hashes": {
          "type": "integer"
        },
        "zip_relevant_hits": {
          "type": "integer"
        },
        "deduplication_rule": {
          "type": "string"
        }
      }
    },
    "duplicate_families": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "family_id",
          "sha256",
          "path_count",
          "independent_reinforcement_count"
        ],
        "properties": {
          "family_id": {
            "type": "string"
          },
          "sha256": {
            "type": "string"
          },
          "path_count": {
            "type": "integer"
          },
          "independent_reinforcement_count": {
            "type": "integer"
          }
        }
      }
    },
    "exclusions": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "exclusion_id",
          "rule"
        ],
        "properties": {
          "exclusion_id": {
            "type": "string"
          },
          "rule": {
            "type": "string"
          }
        }
      }
    },
    "source_catalog": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "source_id",
          "root_alias",
          "relative_path",
          "source_kind",
          "format",
          "sha256",
          "locator_kind",
          "unit_count",
          "decisive_locators"
        ],
        "properties": {
          "source_id": {
            "type": "string"
          },
          "root_alias": {
            "type": "string"
          },
          "relative_path": {
            "type": "string"
          },
          "source_kind": {
            "type": "string"
          },
          "format": {
            "type": "string"
          },
          "sha256": {
            "type": "string"
          },
          "locator_kind": {
            "type": "string"
          },
          "unit_count": {
            "type": "integer"
          },
          "decisive_locators": {
            "type": "array",
            "items": {
              "type": "string"
            }
          }
        }
      }
    },
    "authored_pdf_scan": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "pdf_id",
          "root_alias",
          "relative_path",
          "sha256",
          "page_count",
          "alias_path_count",
          "exact_word_seven_occurrences",
          "classification",
          "historical_scan_qualifying_derivation_found"
        ],
        "properties": {
          "pdf_id": {
            "type": "string"
          },
          "root_alias": {
            "type": "string"
          },
          "relative_path": {
            "type": "string"
          },
          "sha256": {
            "type": "string"
          },
          "page_count": {
            "type": "integer"
          },
          "alias_path_count": {
            "type": "integer"
          },
          "exact_word_seven_occurrences": {
            "type": "integer"
          },
          "classification": {
            "type": "string"
          },
          "historical_scan_qualifying_derivation_found": {
            "type": "boolean"
          }
        }
      }
    },
    "evidence_classes": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "class_id",
          "proof_mode",
          "determination",
          "evidence"
        ],
        "properties": {
          "class_id": {
            "type": "string"
          },
          "proof_mode": {
            "type": "string"
          },
          "determination": {
            "type": "string"
          },
          "evidence": {
            "type": "array",
            "items": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "source_id",
                "locator",
                "supports"
              ],
              "properties": {
                "source_id": {
                  "type": "string"
                },
                "locator": {
                  "type": "string"
                },
                "supports": {
                  "type": "string"
                }
              }
            }
          }
        }
      }
    },
    "proof_dependency_graph": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "scope_boundary",
        "nodes",
        "edges",
        "internal_missing_edges"
      ],
      "properties": {
        "scope_boundary": {
          "type": "string"
        },
        "nodes": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "node_id",
              "node_type",
              "description"
            ],
            "properties": {
              "node_id": {
                "type": "string"
              },
              "node_type": {
                "type": "string"
              },
              "description": {
                "type": "string"
              }
            }
          }
        },
        "edges": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "from",
              "to",
              "relation"
            ],
            "properties": {
              "from": {
                "type": "string"
              },
              "to": {
                "type": "string"
              },
              "relation": {
                "type": "string"
              }
            }
          }
        },
        "internal_missing_edges": {
          "type": "array",
          "items": {}
        }
      }
    },
    "external_instantiation_assessments": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "proposition_id",
          "referent_scope",
          "status",
          "assessment_rule"
        ],
        "properties": {
          "proposition_id": {
            "type": "string"
          },
          "referent_scope": {
            "type": "string"
          },
          "status": {
            "type": "string"
          },
          "assessment_rule": {
            "type": "string"
          }
        }
      }
    },
    "alternative_implementation_counts": {
      "type": "array",
      "items": {
        "anyOf": [
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "implementation_id",
              "source_id",
              "locator",
              "total_stage_counts",
              "indexed_terminal",
              "domain_count",
              "domain_depths",
              "total_layers_or_containers",
              "loop_max_depth",
              "layer_7_node_count",
              "closure_mode"
            ],
            "properties": {
              "implementation_id": {
                "type": "string"
              },
              "source_id": {
                "type": "string"
              },
              "locator": {
                "type": "string"
              },
              "total_stage_counts": {
                "type": "array",
                "items": {
                  "type": "integer"
                }
              },
              "indexed_terminal": {
                "type": "integer"
              },
              "domain_count": {
                "type": "integer"
              },
              "domain_depths": {
                "type": "array",
                "items": {}
              },
              "total_layers_or_containers": {
                "type": "integer"
              },
              "loop_max_depth": {
                "type": "null"
              },
              "layer_7_node_count": {
                "type": "null"
              },
              "closure_mode": {
                "type": "string"
              }
            }
          },
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "implementation_id",
              "source_id",
              "locator",
              "total_stage_counts",
              "indexed_terminal",
              "domain_count",
              "domain_depths",
              "total_layers_or_containers",
              "loop_max_depth",
              "layer_7_node_count",
              "closure_mode"
            ],
            "properties": {
              "implementation_id": {
                "type": "string"
              },
              "source_id": {
                "type": "string"
              },
              "locator": {
                "type": "string"
              },
              "total_stage_counts": {
                "type": "array",
                "items": {
                  "type": "integer"
                }
              },
              "indexed_terminal": {
                "type": "null"
              },
              "domain_count": {
                "type": "null"
              },
              "domain_depths": {
                "type": "array",
                "items": {}
              },
              "total_layers_or_containers": {
                "type": "null"
              },
              "loop_max_depth": {
                "type": "null"
              },
              "layer_7_node_count": {
                "type": "null"
              },
              "closure_mode": {
                "type": "string"
              }
            }
          },
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "implementation_id",
              "source_id",
              "locator",
              "total_stage_counts",
              "indexed_terminal",
              "domain_count",
              "domain_depths",
              "total_layers_or_containers",
              "loop_max_depth",
              "layer_7_node_count",
              "closure_mode"
            ],
            "properties": {
              "implementation_id": {
                "type": "string"
              },
              "source_id": {
                "type": "string"
              },
              "locator": {
                "type": "string"
              },
              "total_stage_counts": {
                "type": "array",
                "items": {
                  "type": "integer"
                }
              },
              "indexed_terminal": {
                "type": "integer"
              },
              "domain_count": {
                "type": "null"
              },
              "domain_depths": {
                "type": "array",
                "items": {}
              },
              "total_layers_or_containers": {
                "type": "null"
              },
              "loop_max_depth": {
                "type": "null"
              },
              "layer_7_node_count": {
                "type": "null"
              },
              "closure_mode": {
                "type": "string"
              }
            }
          },
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "implementation_id",
              "source_id",
              "locator",
              "total_stage_counts",
              "indexed_terminal",
              "domain_count",
              "domain_depths",
              "total_layers_or_containers",
              "loop_max_depth",
              "layer_7_node_count",
              "closure_mode"
            ],
            "properties": {
              "implementation_id": {
                "type": "string"
              },
              "source_id": {
                "type": "string"
              },
              "locator": {
                "type": "string"
              },
              "total_stage_counts": {
                "type": "array",
                "items": {
                  "type": "integer"
                }
              },
              "indexed_terminal": {
                "type": "integer"
              },
              "domain_count": {
                "type": "integer"
              },
              "domain_depths": {
                "type": "array",
                "items": {
                  "type": "integer"
                }
              },
              "total_layers_or_containers": {
                "type": "integer"
              },
              "loop_max_depth": {
                "type": "null"
              },
              "layer_7_node_count": {
                "type": "null"
              },
              "closure_mode": {
                "type": "string"
              }
            }
          },
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "implementation_id",
              "source_id",
              "locator",
              "total_stage_counts",
              "indexed_terminal",
              "domain_count",
              "domain_depths",
              "total_layers_or_containers",
              "loop_max_depth",
              "layer_7_node_count",
              "closure_mode"
            ],
            "properties": {
              "implementation_id": {
                "type": "string"
              },
              "source_id": {
                "type": "string"
              },
              "locator": {
                "type": "string"
              },
              "total_stage_counts": {
                "type": "array",
                "items": {}
              },
              "indexed_terminal": {
                "type": "null"
              },
              "domain_count": {
                "type": "null"
              },
              "domain_depths": {
                "type": "array",
                "items": {}
              },
              "total_layers_or_containers": {
                "type": "null"
              },
              "loop_max_depth": {
                "type": "integer"
              },
              "layer_7_node_count": {
                "type": "integer"
              },
              "closure_mode": {
                "type": "string"
              }
            }
          },
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "implementation_id",
              "source_id",
              "locator",
              "total_stage_counts",
              "indexed_terminal",
              "domain_count",
              "domain_depths",
              "total_layers_or_containers",
              "loop_max_depth",
              "layer_7_node_count",
              "closure_mode"
            ],
            "properties": {
              "implementation_id": {
                "type": "string"
              },
              "source_id": {
                "type": "string"
              },
              "locator": {
                "type": "string"
              },
              "total_stage_counts": {
                "type": "array",
                "items": {}
              },
              "indexed_terminal": {
                "type": "null"
              },
              "domain_count": {
                "type": "null"
              },
              "domain_depths": {
                "type": "array",
                "items": {}
              },
              "total_layers_or_containers": {
                "type": "null"
              },
              "loop_max_depth": {
                "type": "null"
              },
              "layer_7_node_count": {
                "type": "null"
              },
              "closure_mode": {
                "type": "string"
              }
            }
          }
        ]
      }
    },
    "governance": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "claims_modified",
        "release_config_modified",
        "release_version_modified",
        "manifests_modified",
        "site_modified",
        "protected_checkout_modified",
        "automatic_promotion_performed",
        "internal_derivation_status",
        "empirical_validation_status",
        "canonical_status",
        "historical_audit_status",
        "required_claim_language"
      ],
      "properties": {
        "claims_modified": {
          "type": "boolean"
        },
        "release_config_modified": {
          "type": "boolean"
        },
        "release_version_modified": {
          "type": "boolean"
        },
        "manifests_modified": {
          "type": "boolean"
        },
        "site_modified": {
          "type": "boolean"
        },
        "protected_checkout_modified": {
          "type": "boolean"
        },
        "automatic_promotion_performed": {
          "type": "boolean"
        },
        "internal_derivation_status": {
          "type": "string"
        },
        "empirical_validation_status": {
          "type": "string"
        },
        "canonical_status": {
          "type": "string"
        },
        "historical_audit_status": {
          "type": "string"
        },
        "required_claim_language": {
          "type": "string"
        }
      }
    },
    "conclusion": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "exact_conclusion",
        "current_internal_architecture_author_confirmed",
        "premise_qualified_internal_derivation_complete",
        "historical_primitive_cardinality_proof_shape_superseded",
        "external_empirical_universality_established",
        "internally_derived",
        "qualifying_derivation_found",
        "external_assessment_mode",
        "proof_scope"
      ],
      "properties": {
        "exact_conclusion": {
          "type": "string"
        },
        "current_internal_architecture_author_confirmed": {
          "type": "boolean"
        },
        "premise_qualified_internal_derivation_complete": {
          "type": "boolean"
        },
        "historical_primitive_cardinality_proof_shape_superseded": {
          "type": "boolean"
        },
        "external_empirical_universality_established": {
          "type": "boolean"
        },
        "internally_derived": {
          "type": "boolean"
        },
        "qualifying_derivation_found": {
          "type": "boolean"
        },
        "external_assessment_mode": {
          "type": "string"
        },
        "proof_scope": {
          "type": "string"
        }
      }
    },
    "public_boundary": {
      "type": "string"
    }
  }
}