{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://matrixnetwork.me/schemas/y-theory-toroidal-mind-simulator-audit-v1.json",
  "title": "Y-Theory Toroidal Mind Simulator Audit",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schema",
    "audit_id",
    "reviewed_at",
    "review_state",
    "purpose",
    "sources",
    "assumptions",
    "formal_findings",
    "replay",
    "known_defects",
    "current_bindings",
    "proof_scope_vector",
    "non_promotions",
    "decision"
  ],
  "properties": {
    "schema": {"const": "y-theory.toroidal-mind-simulator-audit.v1"},
    "audit_id": {"const": "TOROIDAL-MIND-SIMULATOR-AUDIT-2026-09-01"},
    "reviewed_at": {"const": "2026-09-01"},
    "review_state": {"const": "candidate_pending_current_human_review"},
    "purpose": {"type": "string", "minLength": 40},
    "sources": {
      "type": "array",
      "minItems": 11,
      "maxItems": 11,
      "uniqueItems": true,
      "items": {"$ref": "#/$defs/source"}
    },
    "assumptions": {
      "type": "array",
      "minItems": 9,
      "maxItems": 9,
      "uniqueItems": true,
      "items": {"$ref": "#/$defs/assumption"}
    },
    "formal_findings": {
      "type": "array",
      "minItems": 8,
      "maxItems": 8,
      "uniqueItems": true,
      "items": {"$ref": "#/$defs/formalFinding"}
    },
    "replay": {"$ref": "#/$defs/replay"},
    "known_defects": {
      "type": "array",
      "minItems": 8,
      "maxItems": 8,
      "uniqueItems": true,
      "items": {"$ref": "#/$defs/defect"}
    },
    "current_bindings": {"$ref": "#/$defs/currentBindings"},
    "proof_scope_vector": {"$ref": "#/$defs/proofScopeVector"},
    "non_promotions": {"$ref": "#/$defs/nonPromotions"},
    "decision": {"$ref": "#/$defs/decision"}
  },
  "$defs": {
    "sha256": {
      "type": "string",
      "pattern": "^[0-9a-f]{64}$"
    },
    "decimal": {
      "type": "string",
      "pattern": "^-?[0-9]+(?:\\.[0-9]+)?(?:e[+-]?[0-9]+)?$"
    },
    "portablePath": {
      "type": "string",
      "minLength": 1,
      "pattern": "^(?![A-Za-z]:)(?!/)(?!\\\\)(?!.*\\\\).+$"
    },
    "source": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "source_id",
        "artifact_kind",
        "relative_path",
        "sha256",
        "authority_role",
        "bytes_present_in_living_source"
      ],
      "properties": {
        "source_id": {"type": "string", "pattern": "^[a-z0-9_]+$"},
        "artifact_kind": {"type": "string", "minLength": 3},
        "relative_path": {"$ref": "#/$defs/portablePath"},
        "sha256": {"$ref": "#/$defs/sha256"},
        "authority_role": {"type": "string", "minLength": 8},
        "bytes_present_in_living_source": {"type": "boolean"}
      }
    },
    "assumption": {
      "type": "object",
      "additionalProperties": false,
      "required": ["assumption_id", "statement", "formal_role", "limitation"],
      "properties": {
        "assumption_id": {"type": "string", "pattern": "^A[1-9]$"},
        "statement": {"type": "string", "minLength": 20},
        "formal_role": {"type": "string", "minLength": 10},
        "limitation": {"type": "string", "minLength": 20}
      }
    },
    "formalFinding": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "finding_id",
        "statement",
        "proof_state",
        "assumption_ids",
        "earned_result",
        "boundary",
        "claim_bindings"
      ],
      "properties": {
        "finding_id": {"type": "string", "pattern": "^F[1-8]$"},
        "statement": {"type": "string", "minLength": 30},
        "proof_state": {
          "enum": [
            "exact_under_explicit_assumptions",
            "model_property_exact_under_declared_state_definition",
            "exact_coordinate_transform_not_observerhood",
            "bounded_metric_theorem_interpretation_unvalidated",
            "executable_candidate_dynamics_not_canonical",
            "exact_source_typing_and_scope_correction",
            "source_fidelity_gap_confirmed"
          ]
        },
        "assumption_ids": {
          "type": "array",
          "minItems": 1,
          "uniqueItems": true,
          "items": {"type": "string", "pattern": "^A[1-9]$"}
        },
        "earned_result": {"type": "boolean"},
        "boundary": {"type": "string", "minLength": 30},
        "claim_bindings": {
          "type": "array",
          "minItems": 1,
          "uniqueItems": true,
          "items": {"enum": ["YT-GEO-002", "YT-NUM-001", "YT-NUM-004", "YT-NUM-005", "YT-NUM-006", "YT-COS-001"]}
        }
      }
    },
    "metricSet": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "measured_winding_ratio",
        "phase_lock_0_to_1",
        "coherence_mean",
        "triad_embedding_max_error",
        "inverse_coordinate_roundtrip_max_error"
      ],
      "properties": {
        "measured_winding_ratio": {"$ref": "#/$defs/decimal"},
        "phase_lock_0_to_1": {"$ref": "#/$defs/decimal"},
        "coherence_mean": {"$ref": "#/$defs/decimal"},
        "triad_embedding_max_error": {"$ref": "#/$defs/decimal"},
        "inverse_coordinate_roundtrip_max_error": {"$ref": "#/$defs/decimal"}
      }
    },
    "depthOutcome": {
      "type": "object",
      "additionalProperties": false,
      "required": ["layers", "weight_mode", "coordinate_conformance", "metrics"],
      "properties": {
        "layers": {"type": "integer", "enum": [1, 2, 6, 7, 8, 13]},
        "weight_mode": {"const": "fibonacci"},
        "coordinate_conformance": {"const": "passed_at_machine_precision"},
        "metrics": {"$ref": "#/$defs/metricSet"}
      }
    },
    "weightOutcome": {
      "type": "object",
      "additionalProperties": false,
      "required": ["layers", "weight_mode", "measured_winding_ratio", "phase_lock_0_to_1", "coherence_mean"],
      "properties": {
        "layers": {"const": 7},
        "weight_mode": {"enum": ["equal", "fibonacci", "reverse_fibonacci"]},
        "measured_winding_ratio": {"$ref": "#/$defs/decimal"},
        "phase_lock_0_to_1": {"$ref": "#/$defs/decimal"},
        "coherence_mean": {"$ref": "#/$defs/decimal"}
      }
    },
    "primaryResiduals": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "triad_sum_max_error",
        "triad_circle_max_error",
        "standard_torus_implicit_max_error",
        "torus_to_triad_inverse_max_error",
        "clifford_s3_norm_max_error",
        "stereographic_torus_implicit_max_error"
      ],
      "properties": {
        "triad_sum_max_error": {"$ref": "#/$defs/decimal"},
        "triad_circle_max_error": {"$ref": "#/$defs/decimal"},
        "standard_torus_implicit_max_error": {"$ref": "#/$defs/decimal"},
        "torus_to_triad_inverse_max_error": {"$ref": "#/$defs/decimal"},
        "clifford_s3_norm_max_error": {"$ref": "#/$defs/decimal"},
        "stereographic_torus_implicit_max_error": {"$ref": "#/$defs/decimal"}
      }
    },
    "replay": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "protocol",
        "runtime",
        "model_source_sha256",
        "preset",
        "golden_ratio_injected",
        "target_golden_ratio",
        "primary_layers",
        "primary_metrics",
        "primary_residuals",
        "alternative_depth_outcomes",
        "depth_selection_conclusion",
        "weight_sensitivity",
        "weight_sensitivity_conclusion",
        "packaged_output_reproducibility"
      ],
      "properties": {
        "protocol": {"const": "import_model_run_recursive_preset_vary_depth_and_weight_without_editing_source"},
        "runtime": {"const": "CPython 3.12.13; NumPy 2.3.5"},
        "model_source_sha256": {"$ref": "#/$defs/sha256"},
        "preset": {"const": "recursive"},
        "golden_ratio_injected": {"const": false},
        "target_golden_ratio": {"const": "1.618033988749895"},
        "primary_layers": {"const": 7},
        "primary_metrics": {"$ref": "#/$defs/metricSet"},
        "primary_residuals": {"$ref": "#/$defs/primaryResiduals"},
        "alternative_depth_outcomes": {
          "type": "array",
          "minItems": 6,
          "maxItems": 6,
          "uniqueItems": true,
          "items": {"$ref": "#/$defs/depthOutcome"}
        },
        "depth_selection_conclusion": {"type": "string", "minLength": 50},
        "weight_sensitivity": {
          "type": "array",
          "minItems": 3,
          "maxItems": 3,
          "uniqueItems": true,
          "items": {"$ref": "#/$defs/weightOutcome"}
        },
        "weight_sensitivity_conclusion": {"type": "string", "minLength": 40},
        "packaged_output_reproducibility": {"enum": ["numerically_replayable_not_byte_identical"]}
      }
    },
    "defect": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "defect_id",
        "severity",
        "finding",
        "required_repair",
        "supplied_package_status",
        "integrated_candidate_status",
        "verification"
      ],
      "properties": {
        "defect_id": {"type": "string", "pattern": "^D[1-8]$"},
        "severity": {"enum": ["high", "medium", "low"]},
        "finding": {"type": "string", "minLength": 30},
        "required_repair": {"type": "string", "minLength": 25},
        "supplied_package_status": {"const": "confirmed_defect"},
        "integrated_candidate_status": {
          "enum": [
            "pending_repair_verification",
            "repaired_and_tested",
            "partially_repaired",
            "not_in_scope_for_integrated_runtime"
          ]
        },
        "verification": {"type": "string", "minLength": 20}
      }
    },
    "claimBinding": {
      "type": "object",
      "additionalProperties": false,
      "required": ["claim_id", "current_status", "audit_use"],
      "properties": {
        "claim_id": {"enum": ["YT-GEO-002", "YT-NUM-004", "YT-NUM-005", "YT-NUM-006", "YT-COS-001"]},
        "current_status": {"type": "string", "minLength": 20},
        "audit_use": {"type": "string", "minLength": 20}
      }
    },
    "formationBinding": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "relative_path",
        "observed_at_audit_sha256",
        "binding_mode",
        "geometry_model_id",
        "geometry_minus_best_baseline_milli",
        "geometry_predictive_lift",
        "predictive_wisdom_status",
        "approved_relation_count"
      ],
      "properties": {
        "relative_path": {"$ref": "#/$defs/portablePath"},
        "observed_at_audit_sha256": {"$ref": "#/$defs/sha256"},
        "binding_mode": {"const": "audit_time_snapshot_plus_live_semantic_guard"},
        "geometry_model_id": {"const": "relational_position_nearest_neighbor_v1"},
        "geometry_minus_best_baseline_milli": {"const": -95},
        "geometry_predictive_lift": {"const": "not_observed_in_prequential_run"},
        "predictive_wisdom_status": {"const": "not_earned"},
        "approved_relation_count": {"const": 0}
      }
    },
    "auditedArtifactBinding": {
      "type": "object",
      "additionalProperties": false,
      "required": ["relative_path", "observed_at_audit_sha256", "binding_mode"],
      "properties": {
        "relative_path": {"$ref": "#/$defs/portablePath"},
        "observed_at_audit_sha256": {"$ref": "#/$defs/sha256"},
        "binding_mode": {"const": "audit_time_snapshot_plus_live_semantic_guard"}
      }
    },
    "currentBindings": {
      "type": "object",
      "additionalProperties": false,
      "required": ["claim_registry", "claims", "structure_proof_audit", "exact_seven_audit", "formation_runtime"],
      "properties": {
        "claim_registry": {"$ref": "#/$defs/auditedArtifactBinding"},
        "claims": {
          "type": "array",
          "minItems": 5,
          "maxItems": 5,
          "uniqueItems": true,
          "items": {"$ref": "#/$defs/claimBinding"}
        },
        "structure_proof_audit": {"$ref": "#/$defs/auditedArtifactBinding"},
        "exact_seven_audit": {"$ref": "#/$defs/auditedArtifactBinding"},
        "formation_runtime": {"$ref": "#/$defs/formationBinding"}
      }
    },
    "proofScopeVector": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "referent",
        "source_authority",
        "internal_structural_status",
        "internal_proof_mode",
        "primitive_cardinality_theorem_status",
        "seven_twelve_distinction",
        "simulator_status",
        "simulator_independent_proof",
        "alternative_n_coordinate_relevance",
        "external_empirical_universality",
        "runtime_predictive_result"
      ],
      "properties": {
        "referent": {"const": "recursive_depth_of_each_active_dimension_in_complete_y_theory_mind"},
        "source_authority": {"const": "current_direct_author_derivation_correction"},
        "internal_structural_status": {"const": "premise_qualified_internal_derivation_established"},
        "internal_proof_mode": {"const": "ten_band_inheritance_recoverable_relation_depth_bridge_and_recursive_self_similarity"},
        "primitive_cardinality_theorem_status": {"const": "separate_not_required_by_declared_positional_derivation"},
        "seven_twelve_distinction": {"const": "exactly_derived"},
        "simulator_status": {"const": "compressed_candidate_instantiation_not_source_of_proof"},
        "simulator_independent_proof": {"const": false},
        "alternative_n_coordinate_relevance": {"const": "does_not_test_complete_mind_closure"},
        "external_empirical_universality": {"const": "not_established"},
        "runtime_predictive_result": {"const": "not_validly_tested_for_this_claim"}
      }
    },
    "nonPromotions": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "canonical_claim_registry_mutated",
        "canonical_claim_ids_added",
        "canonical_claim_scope_corrected",
        "relation_candidates_promoted",
        "simulator_independently_proves_seven",
        "source_seven_depth_architecture_preserved",
        "twelve_address_cell_preserved_as_fidelity_target",
        "physical_torus_universality_claimed",
        "observerhood_or_consciousness_claimed",
        "biological_or_physical_mind_model_established",
        "historical_sync_installer_executed",
        "production_deployment_authorized"
      ],
      "properties": {
        "canonical_claim_registry_mutated": {"const": true},
        "canonical_claim_ids_added": {"const": []},
        "canonical_claim_scope_corrected": {"const": ["YT-NUM-004"]},
        "relation_candidates_promoted": {"const": 0},
        "simulator_independently_proves_seven": {"const": false},
        "source_seven_depth_architecture_preserved": {"const": true},
        "twelve_address_cell_preserved_as_fidelity_target": {"const": true},
        "physical_torus_universality_claimed": {"const": false},
        "observerhood_or_consciousness_claimed": {"const": false},
        "biological_or_physical_mind_model_established": {"const": false},
        "historical_sync_installer_executed": {"const": false},
        "production_deployment_authorized": {"const": false}
      }
    },
    "decision": {
      "type": "object",
      "additionalProperties": false,
      "required": ["accepted_as", "not_accepted_as", "publication_label", "required_next_gate", "overall_conclusion"],
      "properties": {
        "accepted_as": {
          "type": "array",
          "minItems": 4,
          "uniqueItems": true,
          "items": {"type": "string", "minLength": 15}
        },
        "not_accepted_as": {
          "type": "array",
          "minItems": 5,
          "uniqueItems": true,
          "items": {"type": "string", "minLength": 15}
        },
        "publication_label": {"const": "formal candidate and conformance model"},
        "required_next_gate": {
          "type": "array",
          "minItems": 6,
          "uniqueItems": true,
          "items": {"type": "string", "minLength": 15}
        },
        "overall_conclusion": {"type": "string", "minLength": 80}
      }
    }
  }
}