{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-13T03:05:07Z",
    "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:06:07+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "revisions": [
      {
        "at": "2026-10-06T22:48:34+00:00",
        "engine": "codex",
        "fields": [
          "definition"
        ],
        "answering_review": "fbb066b130923981396d475a15a8706d8ce8311fe1ac75f3e6292ce43dbecfac"
      }
    ],
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-07T10:10:30+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q325978",
    "registryId": "vr.tr.congruent-number",
    "name": "congruent number",
    "version": "0.2.0-wave.3",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QTY"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q325978/",
  "model": {
    "registry_id": "vr.tr.congruent-number",
    "name": "congruent number",
    "purpose": "Let an agent explain congruent numbers and the congruent number problem, relay known results, Tunnell theorem and the link to elliptic curves from mathematical references, and distinguish congruent numbers from the unrelated notion of congruence.",
    "definition": "A congruent number is a positive integer that is the area of a right triangle with rational side lengths, such as 5, 6, 7, 20, 21 and 24. The congruent number problem has roots in ancient Arabic and medieval mathematics and remains open in general. A positive integer n is congruent if and only if the elliptic curve y^2 = x^3 - n^2 x has positive rank over the rational numbers, an unconditional equivalence. For squarefree positive integers, Tunnell's theorem gives an unconditional necessary criterion for congruence; sufficiency of that criterion depends on the Birch and Swinnerton-Dyer conjecture.",
    "what_it_is_for": "Not applicable; a mathematical concept.",
    "affordances": [
      "explain the definition",
      "relay known results",
      "describe the elliptic curve link",
      "distinguish from congruence"
    ],
    "distinguishing_features": [
      "Rational right triangle area",
      "Ancient origin",
      "Elliptic curve connection",
      "Open problem"
    ],
    "appearance": "Not a visible object; integers and rational triangles.",
    "visual_identification": [
      "Area of a rational right triangle",
      "Congruent numbers 5, 6, 7, 13, 14, 15, 20, 21, 22, 23, 24",
      "Congruence modulo n is a different concept; Pythagorean triples give integer-sided triangles"
    ],
    "physical_properties": [
      {
        "quantity": "smallest congruent number",
        "typical_range": "5",
        "unit": "value",
        "note": "triangle 3/2, 20/3, 41/6"
      },
      {
        "quantity": "congruent numbers below 100",
        "typical_range": "37",
        "unit": "count",
        "note": "OEIS A003273"
      },
      {
        "quantity": "Tunnell theorem",
        "typical_range": "1983",
        "unit": "year",
        "note": ""
      }
    ],
    "families_and_kinds": [
      "congruent numbers",
      "non-congruent numbers such as 1, 2, 3 and 4",
      "squarefree congruent numbers as the essential cases",
      "residue class results such as numbers congruent to 5, 6 or 7 mod 8 under BSD"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "positive integer",
        "why": "in registry terms"
      },
      {
        "relation": "is characterised by",
        "target": "Tunnell theorem",
        "why": "conditionally"
      },
      {
        "relation": "is linked to",
        "target": "elliptic curve",
        "why": "y^2 = x^3 - n^2 x"
      },
      {
        "relation": "is listed in",
        "target": "OEIS",
        "why": "as A003273"
      }
    ],
    "identifiers": [
      {
        "scheme": "OEIS",
        "value_or_pattern": "A003273",
        "note": "congruent numbers"
      }
    ],
    "standards_and_regulation": [
      "No regulation; standard mathematical definitions"
    ],
    "failure_modes_and_hazards": [
      "Confusing with modular congruence",
      "Overstating what is proved unconditionally",
      "Missing the squarefree reduction"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Test, list and explain congruent numbers with stated methods and sources.",
        "Make clear which results depend on unproved conjectures."
      ],
      "must_not": [
        "Present a result that depends on an unproved conjecture as unconditional.",
        "Claim a number is or is not congruent without a check or a source.",
        "Misattribute historical or modern results to the wrong mathematicians."
      ],
      "requires_human": [
        "Announcing a claimed proof of an open problem in this area."
      ]
    },
    "ethics": {
      "considerations": [
        "Credit for results in number theory belongs to those who proved them.",
        "False claims about open problems mislead students and waste reviewers' time."
      ],
      "affected_parties": [
        "Mathematicians",
        "Students"
      ]
    },
    "owners": {
      "steward": "Nobody owns the concept; it is held in common.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q325978: congruent number",
      "url": "https://www.wikidata.org/wiki/Q325978",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Congruent number",
      "url": "https://en.wikipedia.org/wiki/Congruent_number",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "understand",
        "name": "Understand",
        "description": "What a congruent number is.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is a congruent number, and why is 5 congruent but 1, 2 and 3 not?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about congruent numbers or about congruence modulo n?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "examples",
            "name": "Examples",
            "description": "Examples.",
            "findings": [
              {
                "id": "examples-finding",
                "name": "Examples",
                "description": "Examples.",
                "questions": [
                  {
                    "text": "What are the small congruent numbers, and what rational triangles realise them?",
                    "kind": "measurement"
                  },
                  {
                    "text": "Which entry fits rational right triangle?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "theory",
        "name": "Theory",
        "description": "Theory.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "elliptic",
            "name": "Elliptic",
            "description": "Elliptic curves.",
            "findings": [
              {
                "id": "elliptic-finding",
                "name": "Elliptic",
                "description": "Elliptic.",
                "questions": [
                  {
                    "text": "How does n being congruent correspond to the elliptic curve y^2 = x^3 - n^2 x having positive rank?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "tunnell",
            "name": "Tunnell",
            "description": "Tunnell theorem.",
            "findings": [
              {
                "id": "tunnell-finding",
                "name": "Tunnell",
                "description": "Tunnell.",
                "questions": [
                  {
                    "text": "What does Tunnell theorem say, and why does it depend on the Birch and Swinnerton-Dyer conjecture?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits Birch and Swinnerton-Dyer conjecture?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "problem",
        "name": "Problem",
        "description": "The open problem.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "status",
            "name": "Status",
            "description": "Status.",
            "findings": [
              {
                "id": "status-finding",
                "name": "Status",
                "description": "Status.",
                "questions": [
                  {
                    "text": "What is known and unknown about classifying congruent numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "computation",
            "name": "Computation",
            "description": "Computation.",
            "findings": [
              {
                "id": "computation-finding",
                "name": "Computation",
                "description": "Computation.",
                "questions": [
                  {
                    "text": "How have large computations enumerated congruent numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits computational 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 the problem arise in Arabic manuscripts and Fibonacci work, and how did Fermat show 1 is not congruent?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits the history of number theory?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "culture",
            "name": "Culture",
            "description": "Popular mathematics.",
            "findings": [
              {
                "id": "culture-finding",
                "name": "Culture",
                "description": "Culture.",
                "questions": [
                  {
                    "text": "How is the congruent number problem presented in popular mathematics?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits unsolved problems in mathematics?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should the congruent number problem be a separate entry?",
    "How should mathematical references be linked?",
    "How should computational results such as the 2009 trillion-number computation be recorded?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}