{ "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "https://matrixnetwork.me/source/audit/structure-of-mind-proof-mode-audit.schema.json", "title": "Y Theory public Structure-of-Mind proof-mode 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", "scope", "method", "source_catalog", "external_references", "runtime_binding", "current_formation_runtime", "topics", "summary", "public_boundary" ], "properties": { "schema": { "const": "y-theory.structure-proof-mode-public-audit.v1" }, "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" }, "scope": { "type": "object", "additionalProperties": false, "required": [ "topics", "claim_ids", "axes", "excluded_actions" ], "properties": { "topics": { "type": "array", "items": { "type": "string" } }, "claim_ids": { "type": "array", "items": { "type": "string" } }, "axes": { "type": "array", "items": { "type": "string" } }, "excluded_actions": { "type": "array", "items": { "type": "string" } } } }, "method": { "type": "object", "additionalProperties": false, "required": [ "unit_of_assessment", "internal_derivation_rule", "cross_source_rule", "model_bridge_rule", "external_support_rule", "runtime_rule" ], "properties": { "unit_of_assessment": { "type": "string" }, "internal_derivation_rule": { "type": "string" }, "cross_source_rule": { "type": "string" }, "model_bridge_rule": { "type": "string" }, "external_support_rule": { "type": "string" }, "runtime_rule": { "type": "string" } } }, "source_catalog": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "source_kind", "format", "sha256", "locator_kind", "unit_count", "public_address", "authority_scope" ], "properties": { "source_id": { "type": "string" }, "source_kind": { "type": "string" }, "format": { "type": "string" }, "sha256": { "type": "string" }, "locator_kind": { "type": "string" }, "unit_count": { "type": "integer" }, "public_address": { "type": "string" }, "authority_scope": { "type": "string" } } } }, "external_references": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "reference_id", "kind", "title", "authors", "year", "doi", "url", "supports", "does_not_support" ], "properties": { "reference_id": { "type": "string" }, "kind": { "type": "string" }, "title": { "type": "string" }, "authors": { "type": "string" }, "year": { "type": "integer" }, "doi": { "type": "string" }, "url": { "type": "string" }, "supports": { "type": "string" }, "does_not_support": { "type": "string" } } } }, "runtime_binding": { "type": "object", "additionalProperties": false, "required": [ "runtime_name", "summary_path", "summary_sha256", "source_scope", "geometry_model_id", "geometry_all_target_score_rate_milli", "best_baseline_model_id", "best_baseline_all_target_score_rate_milli", "geometry_minus_best_baseline_milli", "geometry_predictive_lift", "predictive_wisdom_status", "semantic_scope", "audit_effect", "temporal_scope" ], "properties": { "runtime_name": { "type": "string" }, "summary_path": { "type": "string" }, "summary_sha256": { "type": "string" }, "source_scope": { "type": "string" }, "geometry_model_id": { "type": "string" }, "geometry_all_target_score_rate_milli": { "type": "integer" }, "best_baseline_model_id": { "type": "string" }, "best_baseline_all_target_score_rate_milli": { "type": "integer" }, "geometry_minus_best_baseline_milli": { "type": "integer" }, "geometry_predictive_lift": { "type": "string" }, "predictive_wisdom_status": { "type": "string" }, "semantic_scope": { "type": "string" }, "audit_effect": { "type": "string" }, "temporal_scope": { "type": "string" } } }, "current_formation_runtime": { "type": "object", "additionalProperties": false, "required": [ "protocol", "record_location", "prediction_issue_event_count", "model_prediction_record_count", "issue_before_target_verified", "model_outcomes", "geometry_model_id", "geometry_all_target_score_rate_milli", "best_baseline_model_id", "best_baseline_all_target_score_rate_milli", "geometry_minus_best_baseline_milli", "geometry_predictive_lift", "held_out_baseline_comparison", "predictive_wisdom_status", "claim" ], "properties": { "protocol": { "type": "string" }, "record_location": { "type": "string" }, "prediction_issue_event_count": { "type": "integer" }, "model_prediction_record_count": { "type": "integer" }, "issue_before_target_verified": { "type": "boolean" }, "model_outcomes": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "model_id", "model_role", "issued", "scored", "hit", "miss", "abstain", "score_milli_total" ], "properties": { "model_id": { "type": "string" }, "model_role": { "type": "string" }, "issued": { "type": "integer" }, "scored": { "type": "integer" }, "hit": { "type": "integer" }, "miss": { "type": "integer" }, "abstain": { "type": "integer" }, "score_milli_total": { "type": "integer" } } } }, "geometry_model_id": { "type": "string" }, "geometry_all_target_score_rate_milli": { "type": "integer" }, "best_baseline_model_id": { "type": "string" }, "best_baseline_all_target_score_rate_milli": { "type": "integer" }, "geometry_minus_best_baseline_milli": { "type": "integer" }, "geometry_predictive_lift": { "type": "string" }, "held_out_baseline_comparison": { "type": "string" }, "predictive_wisdom_status": { "type": "string" }, "claim": { "type": "string" } } }, "topics": { "type": "array", "items": { "anyOf": [ { "type": "object", "additionalProperties": false, "required": [ "topic_id", "title", "claim_ids", "overall_conclusion", "proved_in_audit", "premises_or_postulates_remaining", "external_obligations", "axes", "current_claims" ], "properties": { "topic_id": { "type": "string" }, "title": { "type": "string" }, "claim_ids": { "type": "array", "items": { "type": "string" } }, "overall_conclusion": { "type": "string" }, "proved_in_audit": { "type": "array", "items": { "type": "string" } }, "premises_or_postulates_remaining": { "type": "array", "items": { "type": "string" } }, "external_obligations": { "type": "array", "items": { "type": "string" } }, "axes": { "type": "object", "additionalProperties": false, "required": [ "internal_y_derivation", "nonduplicate_cross_source_reinforcement", "structural_correspondence_model_bridge", "external_empirical_support", "named_runtime_predictive_result" ], "properties": { "internal_y_derivation": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "nonduplicate_cross_source_reinforcement": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "structural_correspondence_model_bridge": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "external_empirical_support": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": {} } } }, "named_runtime_predictive_result": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } } } }, "current_claims": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "id", "title", "status", "statement", "guardrail", "proof_vector" ], "properties": { "id": { "type": "string" }, "title": { "type": "string" }, "status": { "type": "string" }, "statement": { "type": "string" }, "guardrail": { "type": "string" }, "proof_vector": { "type": "object", "additionalProperties": false, "required": [ "schema", "audit_id", "audit_path", "topic_id", "overall_conclusion", "axes" ], "properties": { "schema": { "type": "string" }, "audit_id": { "type": "string" }, "audit_path": { "type": "string" }, "topic_id": { "type": "string" }, "overall_conclusion": { "type": "string" }, "axes": { "type": "object", "additionalProperties": false, "required": [ "internal_y_derivation", "nonduplicate_cross_source_reinforcement", "structural_correspondence_model_bridge", "external_empirical_support", "named_runtime_predictive_result" ], "properties": { "internal_y_derivation": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "nonduplicate_cross_source_reinforcement": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "structural_correspondence_model_bridge": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "external_empirical_support": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "named_runtime_predictive_result": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } } } } } } } } } } }, { "type": "object", "additionalProperties": false, "required": [ "topic_id", "title", "claim_ids", "overall_conclusion", "proved_in_audit", "premises_or_postulates_remaining", "external_obligations", "axes", "current_claims" ], "properties": { "topic_id": { "type": "string" }, "title": { "type": "string" }, "claim_ids": { "type": "array", "items": { "type": "string" } }, "overall_conclusion": { "type": "string" }, "proved_in_audit": { "type": "array", "items": { "type": "string" } }, "premises_or_postulates_remaining": { "type": "array", "items": { "type": "string" } }, "external_obligations": { "type": "array", "items": { "type": "string" } }, "axes": { "type": "object", "additionalProperties": false, "required": [ "internal_y_derivation", "nonduplicate_cross_source_reinforcement", "structural_correspondence_model_bridge", "external_empirical_support", "named_runtime_predictive_result" ], "properties": { "internal_y_derivation": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "nonduplicate_cross_source_reinforcement": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "structural_correspondence_model_bridge": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "external_empirical_support": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } }, "named_runtime_predictive_result": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "source_id", "locator", "locator_kind", "supports" ], "properties": { "source_id": { "type": "string" }, "locator": { "type": "string" }, "locator_kind": { "type": "string" }, "supports": { "type": "string" } } } } } } } }, "current_claims": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": [ "id", "title", "status", "statement", "guardrail", "proof_vector" ], "properties": { "id": { "type": "string" }, "title": { "type": "string" }, "status": { "type": "string" }, "statement": { "type": "string" }, "guardrail": { "type": "string" }, "proof_vector": { "type": "object", "additionalProperties": false, "required": [ "schema", "audit_id", "audit_path", "topic_id", "overall_conclusion", "axes" ], "properties": { "schema": { "type": "string" }, "audit_id": { "type": "string" }, "audit_path": { "type": "string" }, "topic_id": { "type": "string" }, "overall_conclusion": { "type": "string" }, "axes": { "type": "object", "additionalProperties": false, "required": [ "internal_y_derivation", "nonduplicate_cross_source_reinforcement", "structural_correspondence_model_bridge", "external_empirical_support", "named_runtime_predictive_result" ], "properties": { "internal_y_derivation": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "nonduplicate_cross_source_reinforcement": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "structural_correspondence_model_bridge": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "external_empirical_support": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } }, "named_runtime_predictive_result": { "type": "object", "additionalProperties": false, "required": [ "state", "determination", "evidence_count" ], "properties": { "state": { "type": "string" }, "determination": { "type": "string" }, "evidence_count": { "type": "integer" } } } } } } } } } } } } ] } }, "summary": { "type": "object", "additionalProperties": false, "required": [ "topic_count", "axis_count_per_topic", "claim_count", "earned_results", "premise_qualified_internal_derivation", "external_empirical_result", "named_runtime_result", "claim_registry_mutated", "report_disposition", "claim_registry_mutated_during_audit", "proof_vectors_preserved_in_current_claim_registry", "later_governed_refinements_present" ], "properties": { "topic_count": { "type": "integer" }, "axis_count_per_topic": { "type": "integer" }, "claim_count": { "type": "integer" }, "earned_results": { "type": "array", "items": { "type": "string" } }, "premise_qualified_internal_derivation": { "type": "string" }, "external_empirical_result": { "type": "string" }, "named_runtime_result": { "type": "string" }, "claim_registry_mutated": { "type": "boolean" }, "report_disposition": { "type": "string" }, "claim_registry_mutated_during_audit": { "type": "boolean" }, "proof_vectors_preserved_in_current_claim_registry": { "type": "boolean" }, "later_governed_refinements_present": { "type": "boolean" } } }, "public_boundary": { "type": "string" } } }