{
  "representation": "semantic_multi_role_relation_schema_v1",
  "items": 65,
  "source_schemas": 65,
  "lean_schemas": 50,
  "lean_incomplete": 15,
  "registry": {
    "roles": 483,
    "simplices": 115,
    "slots": 483
  },
  "hashes": {
    "items": "487ecd22919a5e3b0174a2846ab8fe7c0daf4d3feccccf8ea6571aec04c41bed",
    "assessments": "f12735802ba0d4d94b776a91581a13a508eab0ce90ba8973a6c9c4e4d1390272",
    "key": "f827cac92ee4e907554fadcc7c0e006ef2b829350f74e7f8b54ca11945e62836",
    "builder": "7b3a982101f620c1480d95b5e483ca6186a7e9c32ce587fb132a90bfb38a01bc",
    "schema_module": "958b81e89c0befeb32d24036c130f2b37bd2e881bd5b009acf873cbcdada50ae",
    "registry_module": "7b434b1eb178f597d4f60591a5ab74eff0c96a40fa751cb0ba75589b52e56271"
  },
  "limitations": [
    "Source annotations come from a non-independent current-chat diagnostic.",
    "Source quantifiers are preserved as unreviewed; existing given tags are not repaired.",
    "References are symbol/syntax candidates, not complete semantic dependencies.",
    "No cross-theorem identity or proof dependency is inferred.",
    "Fewer than two projected Lean roles is a projection limitation, not proof that objects are absent."
  ]
}