{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-13T01:10:31Z",
    "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:04:07+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-06T19:51:58+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q3205712",
    "registryId": "vr.tr.highly-abundant-number",
    "name": "highly abundant number",
    "version": "0.2.0-wave.3",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QTY"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q3205712/",
  "model": {
    "registry_id": "vr.tr.highly-abundant-number",
    "name": "highly abundant number",
    "purpose": "Let an agent define highly abundant numbers, relay their sequence and known properties from number theory references, and distinguish them from abundant, superabundant and highly composite numbers.",
    "definition": "A positive integer n whose sum of divisors, including n itself, is greater than the sum of divisors of every smaller positive integer, the sequence beginning 1, 2, 3, 4, 6, 8, 10, 12, 16, 18, 20, 24, 30, 36, 42, 48, 60; highly abundant numbers were introduced by Pillai in 1943 and studied by Alaoglu and Erdos, are related to superabundant and highly composite numbers, and are catalogued in the OEIS.",
    "what_it_is_for": "Not applicable; a class of integers.",
    "affordances": [
      "define and list",
      "relay known properties",
      "relate to similar classes",
      "distinguish from related concepts"
    ],
    "distinguishing_features": [
      "Record divisor sum",
      "Introduced by Pillai",
      "Related to superabundant numbers",
      "Not all even"
    ],
    "appearance": "The sequence 1, 2, 3, 4, 6, 8, 10, 12, 16, 18, 20, 24, 30, ...",
    "visual_identification": [
      "Record-setting divisor sums",
      "Sequence OEIS A002093",
      "Abundant numbers exceed twice themselves; superabundant numbers set records for sigma(n)/n"
    ],
    "physical_properties": [
      {
        "quantity": "smallest",
        "typical_range": "1",
        "unit": "number",
        "note": ""
      }
    ],
    "families_and_kinds": [
      "highly abundant numbers in general",
      "superabundant numbers as a subsequence in many cases",
      "highly composite numbers as a related record class",
      "colossally abundant numbers"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "positive integer",
        "why": "in registry terms"
      },
      {
        "relation": "is defined by",
        "target": "divisor function",
        "why": "sigma(n)"
      },
      {
        "relation": "is related to",
        "target": "superabundant number",
        "why": "a similar record class"
      },
      {
        "relation": "is listed in",
        "target": "OEIS",
        "why": "as A002093"
      }
    ],
    "identifiers": [
      {
        "scheme": "OEIS",
        "value_or_pattern": "A002093",
        "note": ""
      }
    ],
    "standards_and_regulation": [
      "No regulation; mathematical conventions"
    ],
    "failure_modes_and_hazards": [
      "Confusing with abundant or highly composite numbers",
      "Assuming all superabundant numbers are highly abundant or vice versa",
      "Computation errors"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "State the defining property of highly abundant numbers and the start of the sequence.",
        "Compute divisor sums and test the property within stated limits."
      ],
      "must_not": [
        "Confuse highly abundant numbers with abundant, superabundant or highly composite numbers.",
        "Attribute the concept to the wrong mathematician.",
        "Publish computed terms without the search bound and method.",
        "Present an unverified conjecture about the sequence as proven."
      ],
      "requires_human": [
        "Publishing a claimed new result about the sequence."
      ]
    },
    "ethics": {
      "considerations": [
        "Similar-sounding number classes are easily mixed up, which misleads learners.",
        "Attribution of mathematical ideas matters to the record."
      ],
      "affected_parties": [
        "Mathematicians",
        "Students",
        "Sequence database editors"
      ]
    },
    "owners": {
      "steward": "Nobody owns a mathematical fact; sequence databases record it by convention.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q3205712: highly abundant number",
      "url": "https://www.wikidata.org/wiki/Q3205712",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Highly abundant number",
      "url": "https://en.wikipedia.org/wiki/Highly_abundant_number",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "define",
        "name": "Define",
        "description": "Definition.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is a highly abundant number, and how is it checked?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about highly abundant, abundant, superabundant or highly composite numbers?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "sequence",
            "name": "Sequence",
            "description": "Sequence.",
            "findings": [
              {
                "id": "sequence-finding",
                "name": "Sequence",
                "description": "Sequence.",
                "questions": [
                  {
                    "text": "What are the first highly abundant numbers, and where is the sequence catalogued?",
                    "kind": "measurement"
                  },
                  {
                    "text": "Which entry fits divisor function?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "results",
        "name": "Results",
        "description": "Results.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "properties",
            "name": "Properties",
            "description": "Known properties.",
            "findings": [
              {
                "id": "properties-finding",
                "name": "Properties",
                "description": "Properties.",
                "questions": [
                  {
                    "text": "What did Alaoglu and Erdos prove about highly abundant numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "relations",
            "name": "Relations",
            "description": "Relations to other classes.",
            "findings": [
              {
                "id": "relations-finding",
                "name": "Relations",
                "description": "Relations.",
                "questions": [
                  {
                    "text": "How do highly abundant numbers relate to superabundant and highly composite numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits superabundant number?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "compute",
        "name": "Compute",
        "description": "Computation.",
        "rationale": "Practice.",
        "layers": [
          {
            "id": "algorithms",
            "name": "Algorithms",
            "description": "Algorithms.",
            "findings": [
              {
                "id": "algorithms-finding",
                "name": "Algorithms",
                "description": "Algorithms.",
                "questions": [
                  {
                    "text": "How are highly abundant numbers computed?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "open",
            "name": "Open",
            "description": "Open questions.",
            "findings": [
              {
                "id": "open-finding",
                "name": "Open",
                "description": "Open.",
                "questions": [
                  {
                    "text": "What open questions exist about odd members and asymptotics?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits open problems in number theory?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "context",
        "name": "Context",
        "description": "History.",
        "rationale": "Context.",
        "layers": [
          {
            "id": "history",
            "name": "History",
            "description": "History.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How did Pillai, Alaoglu and Erdos introduce and study these numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits the history of number theory?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "related",
            "name": "Related",
            "description": "Record-setting classes.",
            "findings": [
              {
                "id": "related-finding",
                "name": "Related",
                "description": "Related.",
                "questions": [
                  {
                    "text": "What other record-setting integer classes exist, from Ramanujan highly composite numbers onward?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits highly composite number?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "What is the relation between highly abundant and superabundant numbers beyond known results?",
    "How should OEIS and literature be linked?",
    "Are there infinitely many odd highly abundant numbers?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}