{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-12T20:57:04Z",
    "providers": [
      "Claude"
    ],
    "breadth": "written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify",
    "pass": 2,
    "wave": 3,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-06T10:00:00Z",
      "ingestedAt": "2026-10-06T07:03:14+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q856215",
    "registryId": "vr.tr.indexed-family",
    "name": "indexed family",
    "version": "0.2.0-wave.3",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QLT"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q856215/",
  "model": {
    "registry_id": "vr.tr.indexed-family",
    "name": "indexed family",
    "purpose": "Let an agent define indexed families precisely, distinguish them from sets, sequences and tuples, explain notation and operations such as unions and products over families, and route specialised uses such as natural transformations to their own entries.",
    "definition": "In mathematics, a collection of objects each labelled by an element of an index set, formally a function from the index set to the objects, written as x sub i for i in I; indexed families generalise sequences and tuples, allow repeated members, and are the standard way to write families of sets, parametric families of functions and distributions, and collections indexed by arbitrary sets.",
    "what_it_is_for": "Organising collections labelled by an index.",
    "affordances": [
      "define and use the notation",
      "distinguish families from sets and sequences",
      "explain operations over families",
      "route specialised uses"
    ],
    "distinguishing_features": [
      "Indexed by a set",
      "Repetition allowed",
      "Generalises sequences and tuples",
      "Standard in set theory and analysis"
    ],
    "appearance": "Not visible; notation with subscripts over an index set.",
    "visual_identification": [
      "Function from an index set to objects",
      "Members may repeat; order comes from the index",
      "A set has no indices; a sequence is indexed by natural numbers"
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "families of sets",
      "sequences and tuples as special cases",
      "parametric families of functions and distributions",
      "families indexed by arbitrary sets",
      "families in category theory such as natural transformations, a related use"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "function",
        "why": "from an index set"
      },
      {
        "relation": "generalises",
        "target": "sequence",
        "why": "indexed by natural numbers"
      },
      {
        "relation": "is used in",
        "target": "set theory",
        "why": "families of sets"
      },
      {
        "relation": "is related to",
        "target": "parametric model",
        "why": "parametric families in statistics"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "No regulation; notation follows ISO 80000-2 and standard texts"
    ],
    "failure_modes_and_hazards": [
      "Confusing a family with the set of its members",
      "Ignoring repeated members",
      "Mixing the index set with the members"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Define indexed families and work examples with stated index sets.",
        "Explain how families differ from sets, sequences and tuples."
      ],
      "must_not": [
        "Confuse a family with the set of its members.",
        "Ignore repeated members when counting or comparing.",
        "Mix up the index set and the set of values.",
        "Present notation from one text as universal."
      ],
      "requires_human": [
        "Approving assessed mathematical work where marks have consequences."
      ]
    },
    "ethics": {
      "considerations": [
        "Clear definitions prevent errors that propagate into proofs and software."
      ],
      "affected_parties": [
        "Learners",
        "Mathematicians"
      ]
    },
    "owners": {
      "steward": "Nobody owns the concept; it belongs to the shared body of mathematics.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q856215: indexed family",
      "url": "https://www.wikidata.org/wiki/Q856215",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Indexed family",
      "url": "https://en.wikipedia.org/wiki/Indexed_family",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "define",
        "name": "Define",
        "description": "What an indexed family is.",
        "rationale": "Definition.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition and notation.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is an indexed family, and how is it written and read?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about a family, a set, a sequence or a tuple?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "distinctions",
            "name": "Distinctions",
            "description": "Distinctions.",
            "findings": [
              {
                "id": "distinctions-finding",
                "name": "Distinctions",
                "description": "Distinctions.",
                "questions": [
                  {
                    "text": "How does a family differ from the set of its members and from a sequence?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits sequences?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "operate",
        "name": "Operate",
        "description": "Operations over families.",
        "rationale": "Theory.",
        "layers": [
          {
            "id": "operations",
            "name": "Operations",
            "description": "Unions, products, sums.",
            "findings": [
              {
                "id": "operations-finding",
                "name": "Operations",
                "description": "Operations.",
                "questions": [
                  {
                    "text": "How are unions, intersections, products and sums taken over families?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits Cartesian product?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "choice",
            "name": "Choice",
            "description": "Axiom of choice.",
            "findings": [
              {
                "id": "choice-finding",
                "name": "Choice",
                "description": "Choice.",
                "questions": [
                  {
                    "text": "How do families of sets relate to the axiom of choice?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "use",
        "name": "Use",
        "description": "Uses across mathematics.",
        "rationale": "Application.",
        "layers": [
          {
            "id": "analysis",
            "name": "Analysis",
            "description": "Parametric families.",
            "findings": [
              {
                "id": "analysis-finding",
                "name": "Analysis",
                "description": "Analysis.",
                "questions": [
                  {
                    "text": "How are parametric families of functions and distributions used?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits parametric statistics?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "category",
            "name": "Category",
            "description": "Category theory.",
            "findings": [
              {
                "id": "category-finding",
                "name": "Category",
                "description": "Category.",
                "questions": [
                  {
                    "text": "How do indexed families appear in category theory, and how do natural transformations differ?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits natural transformation?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "learn",
        "name": "Learn",
        "description": "Teaching.",
        "rationale": "Study.",
        "layers": [
          {
            "id": "teach",
            "name": "Teach",
            "description": "Teaching.",
            "findings": [
              {
                "id": "teach-finding",
                "name": "Teach",
                "description": "Teaching.",
                "questions": [
                  {
                    "text": "How are indexed families introduced in courses, and which misconceptions arise?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits set theory?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "notation",
            "name": "Notation",
            "description": "Notation.",
            "findings": [
              {
                "id": "notation-finding",
                "name": "Notation",
                "description": "Notation.",
                "questions": [
                  {
                    "text": "What notational conventions apply, and where do they vary?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits mathematical notation?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should family of sets be a separate entry?",
    "How should notation standards be linked?",
    "The registry entry has merged aliases for natural transformations and stochastic flows, which are distinct concepts; should they be split off?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}