{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T11:52:55Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 17.1, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.4\n--------\nworkdir: R:\\02_PROJECTS\\02_Meta_Models_Platforms\\Ver.cy\\current\\thing-registry-backlog\nmodel: gpt-6-astra\nprovider: openai\napproval: never\nsandbox: read-only\nreasoning effort: none\nreasoning summaries: none\nsession id: 01a09575-88bf-7b92-837b-daaf009b9505\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: Pappus chain\nSense to describe: (none recorded)\nDomain code: XCT.QLT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 044: 1001 re", "usd": 0.0, "recall": true }, "codex": { "seconds": 72.9, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.4\n--------\nworkdir: R:\\02_PROJECTS\\02_Meta_Models_Platforms\\Ver.cy\\current\\thing-registry-backlog\nmodel: gpt-6-astra\nprovider: openai\napproval: never\nsandbox: read-only\nreasoning effort: none\nreasoning summaries: none\nsession id: 01a09575-88bf-7520-82ed-1c03e54d7985\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: Pappus chain\nRegistry id: vr.tr.pappus-chain\nPlane / domain: XCT / XCT.QLT\nRegistry definition: (none recorded)\nNames folded into this entry: (none)\n" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:40:34+00:00", "fields": [ "agent_conduct", "ethics", "failure_modes_and_hazards", "owners", "visual_identification" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-07T10:10:31+00:00", "evidence": [ "completeness 1.00", "sense: Wikidata description", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-Q511431", "registryId": "vr.tr.pappus-chain", "name": "Pappus chain", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QLT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q511431/", "model": { "registry_id": "vr.tr.pappus-chain", "name": "Pappus chain", "purpose": "Enable an agent to recognise, construct and validate a Pappus chain while keeping its supporting geometry, indexing convention and mathematical justification explicit.", "definition": "A Pappus chain is a sequence of circles in an arbelos, each tangent to the outer semicircle and one fixed inner semicircle, with successive circles mutually tangent.", "scope_statement": "This model owns vr.tr.pappus-chain as an ordered circle configuration, using the classical arbelos construction as its baseline and explicitly recording the conventions required to interpret extensions.", "in_scope": [ "The supporting arbelos, selected pair of boundary circles and chain branch", "The seed circle, successor rule and indexing convention", "Circle centres, radii, tangencies and containment constraints", "The Pappus height relation and its applicability conditions", "Construction methods, finite representations and validation evidence" ], "out_of_scope": [ "The arbelos and its properties independent of a chain", "General circle packing and Apollonian gasket constructions", "Steiner chains and their closure conditions", "Pappus's hexagon theorem and centroid theorems", "General inversion theory beyond its application to this configuration" ], "distinguishing_features": [ "In the classical arbelos construction, the first circle touches all three boundary semicircles; successive circles touch their predecessor and the selected outer and inner boundaries. [Boas, Reflections on the Arbelos](https://haroldpboas.gitlab.io/preprints/arbelos.pdf)", "Recognition requires an ordered successor sequence with a fixed supporting pair; an arbitrary collection of tangent circles is insufficient.", "The supporting circles meet at a tangency point toward which the classical branch progresses; a closed ring of circles requires a different classification.", "With the arbelos incircle indexed as 1, the centre height of circle n equals n times its diameter. This checks the convention and geometry together. [Boas, Reflections on the Arbelos](https://haroldpboas.gitlab.io/preprints/arbelos.pdf)" ], "characteristics": [ { "name": "Construction convention", "kind": "category", "unit_or_values": "classical arbelos branch | explicitly specified extension", "why_it_matters": "Determines which recognition tests and theorems apply." }, { "name": "Supporting circle pair", "kind": "relation", "unit_or_values": "outer circle and selected internally tangent inner circle", "why_it_matters": "Identifies the two persistent boundaries and their shared tangency point." }, { "name": "Arbelos proportion", "kind": "measurement", "unit_or_values": "dimensionless ratio of selected inner radius to outer radius, strictly between 0 and 1", "why_it_matters": "Records the shape independently of overall scale." }, { "name": "Index origin and direction", "kind": "category", "unit_or_values": "declared seed label, successor direction and permitted integer indices", "why_it_matters": "Prevents index shifts from invalidating formulas or joining the wrong circles." }, { "name": "Member geometry", "kind": "measurement", "unit_or_values": "centre coordinates and positive radius in a declared Euclidean frame and length unit", "why_it_matters": "Supports reconstruction and independent geometric checks." }, { "name": "Height-to-diameter ratio", "kind": "measurement", "unit_or_values": "dimensionless perpendicular centre height divided by circle diameter", "why_it_matters": "Provides an index-sensitive check when the classical height theorem applies." }, { "name": "Representation extent", "kind": "state", "unit_or_values": "infinite construction rule | finite prefix with rule | finite candidate sample", "why_it_matters": "Separates a mathematical chain from a drawing or an unverified list." }, { "name": "Geometric verification", "kind": "state", "unit_or_values": "symbolically verified | numerically checked with tolerance | unverified | inconsistent", "why_it_matters": "Determines whether an agent may assert exact membership or only approximate agreement." } ], "affordances": [ "Construct a finite prefix from a valid arbelos and declared branch.", "Extend the sequence by selecting the forward tangent-circle solution.", "Check supporting tangencies, consecutive tangencies and containment.", "Translate between indexing conventions before comparing formulas.", "Use inversion to derive or verify the chain construction.", "Render a finite approximation with its omitted tail and numerical tolerance identified." ], "agent_conduct": { "may": [ "Explain the Pappus chain and its classical theorem on circle heights.", "Draw or compute chains from stated parameters and check tangency numerically." ], "must_not": [ "Present an unproved claim about the chain as a theorem.", "Attribute results to the wrong mathematician or period without evidence.", "Copy figures or proofs from published works without credit." ], "requires_human": [ "Publishing a new result about the chain under a person's name." ] }, "ethics": { "considerations": [ "Accurate attribution respects the history of mathematics and its scholars." ], "affected_parties": [ "Students", "Mathematicians", "Historians of mathematics" ] }, "owners": { "steward": "Nobody owns it; it is a concept of geometry.", "master_systems": [] }, "visual_identification": [ "A row of ever-smaller circles inside an arbelos, each touching its neighbours and two of the semicircles." ], "failure_modes_and_hazards": [ "Floating-point drawing errors accumulate along the chain and give false tangency." ], "what_it_is_for": [ "A Pappus chain is encountered in Euclidean geometry when studying tangent circles inside an arbelos.", "It is used in geometric constructions, proofs and teaching examples involving circle tangency, inversion and relationships between circle sizes and positions.", "Computational drawings use explicit boundary and indexing conventions to check that the intended chain has been constructed." ], "facets_not_applicable": { "interfaces": "No dedicated standard, law or official classification applies to the Pappus chain as a mathematical construction." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q511431: Pappus chain", "url": "https://www.wikidata.org/wiki/Q511431", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Pappus chain", "url": "https://en.wikipedia.org/wiki/Pappus_chain", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "supporting-geometry", "name": "Supporting geometry", "description": "Identify the arbelos and the persistent boundary pair that define the chain.", "rationale": "A chain cannot be recognised from successive tangencies without its supporting configuration.", "layers": [ { "id": "arbelos-frame", "name": "Arbelos frame", "description": "Establish the baseline, diameter subdivision and chosen half-plane.", "findings": [ { "id": "valid-arbelos", "name": "Valid arbelos", "description": "Record the outer diameter endpoints and their interior subdivision point so that the three semicircles can be reconstructed.", "questions": [ { "text": "Which collinear points define the outer diameter and its two positive subdiameters?", "kind": "definition", "id": "valid-arbelos-q01" }, { "text": "Which half-plane contains the semicircles, and which coordinate frame and length scale represent them?", "kind": "measurement", "id": "valid-arbelos-q02" } ] } ] }, { "id": "persistent-boundaries", "name": "Persistent boundaries", "description": "Distinguish the two boundaries retained throughout the chosen branch from the third seed boundary.", "findings": [ { "id": "selected-support-pair", "name": "Selected support pair", "description": "Identify the outer circle, selected inner circle and their shared tangency point.", "questions": [ { "text": "Which inner semicircle remains tangent to every member after the incircle?", "kind": "definition", "id": "selected-support-pair-q01" }, { "text": "Do the supporting circles satisfy internal tangency with strictly positive, unequal radii?", "kind": "boundary", "id": "selected-support-pair-q02" } ] } ] } ] }, { "id": "sequence-and-membership", "name": "Sequence and membership", "description": "Specify how the seed and successive members form one ordered branch.", "rationale": "Tangency equations alone can recover a predecessor or select an unintended branch.", "layers": [ { "id": "seed-and-indexing", "name": "Seed and indexing", "description": "Make the starting member and correspondence between labels and geometry explicit.", "findings": [ { "id": "index-contract", "name": "Index contract", "description": "Record whether the incircle is labelled 1 and whether a boundary circle is included as an auxiliary member labelled 0.", "questions": [ { "text": "Which geometric circle receives the first index, and is an auxiliary boundary circle counted as a member?", "kind": "definition", "id": "index-contract-q01" }, { "text": "How do these labels translate to the indexing used by the chosen formula or reference?", "kind": "provenance", "id": "index-contract-q02" } ] } ] }, { "id": "successor-selection", "name": "Successor selection", "description": "Define advancement along the branch without reversal or duplication.", "findings": [ { "id": "forward-tangent-member", "name": "Forward tangent member", "description": "Select the admissible circle tangent to the supporting pair and current member, excluding the predecessor and respecting the chosen branch.", "questions": [ { "text": "Which geometric condition selects the forward solution among the tangent-circle candidates?", "kind": "action", "id": "forward-tangent-member-q01" }, { "text": "Does the proposed member lie in the intended region without overlapping earlier members?", "kind": "boundary", "id": "forward-tangent-member-q02" } ] } ] } ] }, { "id": "metric-invariants", "name": "Metric invariants", "description": "Connect measured or symbolic member geometry to the conditions defining the chain.", "rationale": "A convincing diagram can conceal incorrect contact types, radii or indices.", "layers": [ { "id": "tangency-equations", "name": "Tangency equations", "description": "Check internal boundary contact and external member contact separately.", "findings": [ { "id": "contact-residuals", "name": "Contact residuals", "description": "For outer centre O and radius R, inner centre I and radius a, require |P_n-O|=R-r_n, |P_n-I|=a+r_n and |P_n-P_(n-1)|=r_n+r_(n-1) where applicable.", "questions": [ { "text": "Do the recorded centres and radii satisfy all applicable contact equations with the correct tangency signs?", "kind": "measurement", "id": "contact-residuals-q01" }, { "text": "Are these equalities exact, or what scale-relative residual tolerance is accepted?", "kind": "measurement", "id": "contact-residuals-q02" } ] } ] }, { "id": "height-theorem", "name": "Height theorem", "description": "Apply the classical height relation only after checking its baseline and indexing assumptions.", "findings": [ { "id": "height-index-consistency", "name": "Height-index consistency", "description": "Record the perpendicular centre height h_n and test h_n=2nr_n under incircle-first indexing.", "questions": [ { "text": "Is height measured perpendicular to the arbelos diameter line, with the incircle indexed as 1?", "kind": "boundary", "id": "height-index-consistency-q01" }, { "text": "Does h_n/(2r_n) equal the declared index exactly or within the stated numerical tolerance?", "kind": "measurement", "id": "height-index-consistency-q02" } ] } ] } ] }, { "id": "construction-and-proof", "name": "Construction and proof", "description": "Record reproducible ways to generate members and justify their properties.", "rationale": "An agent needs evidence that a construction continues correctly beyond the displayed circles.", "layers": [ { "id": "inversion-construction", "name": "Inversion construction", "description": "Use inversion at the supporting circles' common tangency point to obtain parallel boundaries and an equal-radius circle sequence. [Boas, Reflections on the Arbelos](https://haroldpboas.gitlab.io/preprints/arbelos.pdf)", "findings": [ { "id": "invertible-construction-record", "name": "Invertible construction record", "description": "Retain the inversion centre, inversion radius, transformed seed and direction needed to reconstruct the original branch.", "questions": [ { "text": "Which inversion maps the supporting pair to parallel lines, and where does the seed map?", "kind": "action", "id": "invertible-construction-record-q01" }, { "text": "Does inverse transformation recover the intended branch and its declared indices?", "kind": "boundary", "id": "invertible-construction-record-q02" } ] } ] }, { "id": "formula-justification", "name": "Formula justification", "description": "Associate coordinate or radius formulas with their parameter meanings and supporting derivations.", "findings": [ { "id": "parameter-compatible-formulas", "name": "Parameter-compatible formulas", "description": "Require explicit correspondence between formula symbols, arbelos dimensions, branch and member labels.", "questions": [ { "text": "Which derivation or source supports the formula, and what normalization and indexing does it assume?", "kind": "provenance", "id": "parameter-compatible-formulas-q01" }, { "text": "Does substitution verify the seed and the general tangency conditions rather than only a few plotted members?", "kind": "action", "id": "parameter-compatible-formulas-q02" } ] } ] } ] }, { "id": "extent-and-boundaries", "name": "Extent and boundaries", "description": "Distinguish an infinite chain from its finite representation and delimit admissible extensions.", "rationale": "Truncation, numerical collapse and changes to the supporting configuration can otherwise be mistaken for mathematical properties.", "layers": [ { "id": "tail-representation", "name": "Tail representation", "description": "Record how a finite construction represents continued approach to the supporting tangency point.", "findings": [ { "id": "finite-prefix-contract", "name": "Finite prefix contract", "description": "Identify the final represented index and the rule governing subsequent members.", "questions": [ { "text": "What is the largest represented index, and what construction or formula specifies the omitted tail?", "kind": "definition", "id": "finite-prefix-contract-q01" }, { "text": "Is generation stopped by a geometric error bound, a display threshold or numerical loss of distinctness?", "kind": "action", "id": "finite-prefix-contract-q02" } ] } ] }, { "id": "extension-admissibility", "name": "Extension admissibility", "description": "Keep changes of convention distinct from changes to the mathematical configuration.", "findings": [ { "id": "classical-versus-extended-instance", "name": "Classical versus extended instance", "description": "Classify reflected branches, auxiliary members and broader circle-chain constructions through explicit definitions rather than their shared name.", "questions": [ { "text": "Is the candidate a classical arbelos branch, a reflection of one or an extension requiring a separate definition?", "kind": "boundary", "id": "classical-versus-extended-instance-q01" }, { "text": "Which recognition tests and theorem assumptions remain valid after the proposed extension?", "kind": "boundary", "id": "classical-versus-extended-instance-q02" } ] } ] } ] }, { "id": "evidence-and-external-alignment", "name": "Evidence and external alignment", "description": "What the world already says about this thing, gathered so the model can be checked against it.", "rationale": "A model that cannot be lined up against existing standards, identifiers and practice cannot be adopted by anyone who already uses them.", "layers": [ { "id": "reported-evidence", "name": "Reported evidence", "description": "Findings from the breadth pass, kept separate from the structural claims.", "findings": [ { "id": "evidence-confidence-notes", "name": "Check these first", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "This is a recall-based account; no sources were consulted.", "Check the starting-circle and indexing conventions before comparing formulas across references." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of Pappus chain this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-real-world-use", "name": "Real-world use", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "A classical example in Euclidean geometry for studying circle tangency.", "Used to demonstrate inversion methods and derive relationships among circle radii and centre positions." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of Pappus chain this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-measurements", "name": "Typical measurements", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "quantity": "Height of a circle's centre above the arbelos baseline", "typical_range": "h_n = 2n r_n, where r_n is the circle's radius and n = 1 denotes the circle tangent to all three bounding semicircles", "unit": "Any consistent unit of length" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of Pappus chain this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-failure-modes-and-hazards", "name": "Failure modes and hazards", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Applying the centre-height formula with a different indexing convention produces incorrect results.", "Confusing tangency to complete supporting circles with membership in the intended arbelos can select the wrong geometric configuration." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of Pappus chain this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-neighbours", "name": "Neighbouring kinds and how to tell them apart", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "name": "Arbelos", "difference": "The arbelos is the region bounded by three semicircles with collinear diameters; the Pappus chain is a circle configuration within it." }, { "name": "Steiner chain", "difference": "A Steiner chain lies between two nonintersecting circles; the two fixed supporting circles of a Pappus chain are tangent." }, { "name": "Apollonian gasket", "difference": "An Apollonian gasket recursively fills gaps in a circle packing; a Pappus chain follows a single sequence tangent to two fixed boundaries." }, { "name": "Pappus's hexagon theorem", "difference": "The hexagon theorem concerns collinearity of intersections formed from points on two lines, rather than chains of tangent circles." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of Pappus chain this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Should this registry entry cover only classical arbelos branches or also broader configurations called Pappus chains in specialist literature?", "Should a boundary circle indexed as 0 be represented as a chain member or solely as construction support?", "Which canonical indexing and branch convention should Vercy use when exchanging formulas between sources?", "Which source-backed formulas should be adopted for member coordinates and rigorous finite-tail error bounds?", "Should similarity-related configurations be treated as the same abstract instance or as distinct geometric realizations?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 15, "questions": 25 } }