{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T10:05:59Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 20.3, "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: 01a09513-98c4-7302-8da4-27fe58daacbb\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: great icosidodecahedron\nSense to describe: (none recorded)\nDomain code: XCT.QLT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 0", "usd": 0.0, "recall": true }, "codex": { "seconds": 75.3, "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: 01a09513-98ca-7cf1-9c4e-1fc8a7dfd625\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: great icosidodecahedron\nRegistry id: vr.tr.great-icosidodecahedron\nPlane / domain: XCT / XCT.QLT\nRegistry definition: (none recorded)\nNames folded in" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:41:16+00:00", "fields": [ "agent_conduct", "ethics", "failure_modes_and_hazards", "owners", "visual_identification" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-07T10:10:29+00:00", "evidence": [ "completeness 1.00", "sense: Wikidata description", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-Q3101027", "registryId": "vr.tr.great-icosidodecahedron", "name": "great icosidodecahedron", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QLT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q3101027/", "model": { "registry_id": "vr.tr.great-icosidodecahedron", "name": "great icosidodecahedron", "purpose": "Enable an agent to recognize a great icosidodecahedron, validate a proposed realization, and choose geometric operations that preserve its defining face and incidence structure.", "definition": "The great icosidodecahedron is a nonconvex uniform polyhedron with 20 equilateral triangular faces and 12 regular pentagram faces, with two faces of each type meeting alternately at every vertex.", "scope_statement": "This model owns the mathematical identity and realization requirements of vr.tr.great-icosidodecahedron in XCT / XCT.QLT, including distinctions between its intersecting polygonal faces, abstract incidences, and rendered appearance.", "in_scope": [ "Identification through regular triangular and pentagrammic faces and their arrangement", "Vertex, edge, and face incidence validation", "Geometric realization, scale normalization, and symmetry checks", "Interpretation of self-intersections and polygon interiors", "Relations to its convex hull, skeleton, and dual" ], "out_of_scope": [ "The general classification of uniform polyhedra", "Independent models of the convex icosidodecahedron and great icosahedron", "Independent models of the great icosicosidodecahedron and other similarly named solids", "Fabrication materials, joints, and structural performance", "General rendering algorithms and mesh file formats" ], "distinguishing_features": [ "Require 20 equilateral triangular faces and 12 regular pentagrammic faces; replacing the pentagrams with convex pentagons fails identification. [MathWorld](https://mathworld.wolfram.com/GreatIcosidodecahedron.html)", "Require the cyclic vertex configuration (3, 5/2, 3, 5/2), rather than merely matching the face inventory. [MathWorld](https://mathworld.wolfram.com/GreatIcosidodecahedron.html)", "Cross-check catalogue identifiers with their schemes: Maeder U54 and Wenninger 94 identify this solid. [MathWorld](https://mathworld.wolfram.com/GreatIcosidodecahedron.html)", "Do not accept an icosidodecahedral skeleton or convex hull alone as identification; both require the intended face structure to resolve the realization. [MathWorld](https://mathworld.wolfram.com/GreatIcosidodecahedron.html)" ], "characteristics": [ { "name": "Face inventory", "kind": "category", "unit_or_values": "20 regular {3} faces and 12 regular {5/2} faces", "why_it_matters": "Provides the first structural identification check." }, { "name": "Incidence counts", "kind": "measurement", "unit_or_values": "30 vertices, 60 edges, 32 faces", "why_it_matters": "Derived from the face inventory and four-face vertex configuration; added crossing vertices indicate a different representation." }, { "name": "Vertex configuration", "kind": "category", "unit_or_values": "(3, 5/2, 3, 5/2), cyclically", "why_it_matters": "Checks how the two face types meet." }, { "name": "Normalized circumradius", "kind": "measurement", "unit_or_values": "R/a = 1/phi, where a is edge length and phi = (1 + sqrt(5))/2", "why_it_matters": "Supplies a scale-independent realization check. [MathWorld](https://mathworld.wolfram.com/GreatIcosidodecahedron.html)" }, { "name": "Realization validation", "kind": "state", "unit_or_values": "unverified | exact match | numerical match within declared tolerance | inconsistent", "why_it_matters": "Separates a labelled depiction from a checked geometric instance." }, { "name": "Polygon interior convention", "kind": "category", "unit_or_values": "boundary only | even-odd fill | nonzero-winding fill | explicitly specified alternative", "why_it_matters": "Controls interpretation of pentagram interiors and derived area or volume." }, { "name": "Related constructions", "kind": "relation", "unit_or_values": "convex hull: icosidodecahedron; dual: great rhombic triacontahedron", "why_it_matters": "Supports comparison while preserving separate identities. [MathWorld](https://mathworld.wolfram.com/GreatIcosidodecahedron.html)" } ], "affordances": [ "Validate a coordinate-and-face representation against the defining inventory and vertex configuration", "Normalize edge length and compare realizations up to rigid motion and scale", "Display pentagram boundaries and face intersections without promoting crossings to vertices", "Extract the skeleton or convex hull while retaining a relation to the original solid", "Construct a dual after declaring the geometric duality convention", "Reject or qualify area and volume requests whose interior convention is unspecified" ], "agent_conduct": { "may": [ "Explain the great icosidodecahedron's faces, vertex figure and relation to other uniform polyhedra.", "Generate accurate models or images of it from verified coordinates." ], "must_not": [ "Present an incorrect model or wrong face counts as accurate.", "Confuse it with the icosidodecahedron or the great dodecahedron in teaching material.", "Copy published images or models without credit." ], "requires_human": [ "Publishing new claims about its properties under a person's name." ] }, "ethics": { "considerations": [ "Accuracy and credit matter in mathematical teaching and publication." ], "affected_parties": [ "Students", "Mathematicians", "Model makers" ] }, "owners": { "steward": "Nobody owns it; it is a concept of geometry.", "master_systems": [] }, "visual_identification": [ "Twenty triangles and twelve pentagrams intersecting, with triangles and pentagrams alternating around each vertex." ], "failure_modes_and_hazards": [ "Self-intersecting faces are easily mis-rendered by software." ], "what_it_is_for": [ "The great icosidodecahedron is studied in geometry as a nonconvex uniform polyhedron.", "Its models and diagrams support investigation of symmetry, face intersections and the distinction between geometric intersections and combinatorial incidence." ], "facets_not_applicable": { "interfaces": "No specific standard or regulation applies to this abstract polyhedron as a mathematical object." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q3101027: great icosidodecahedron", "url": "https://www.wikidata.org/wiki/Q3101027", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Great icosidodecahedron", "url": "https://en.wikipedia.org/wiki/Great_icosidodecahedron", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "identity-and-disambiguation", "name": "Identity and disambiguation", "description": "Establish whether a named or depicted candidate denotes this particular uniform polyhedron.", "rationale": "Nearby names and shared geometric structures make name-only recognition unreliable.", "layers": [ { "id": "catalogue-identity", "name": "Catalogue identity", "description": "Resolve the registry identity against explicitly named polyhedron catalogues.", "findings": [ { "id": "scheme-qualified-identification", "name": "Scheme-qualified identification", "description": "Record the numbering scheme beside each identifier and verify the associated face description.", "questions": [ { "text": "Which consulted catalogue associates the candidate with the great icosidodecahedron?", "kind": "provenance", "id": "scheme-qualified-identification-q01" }, { "text": "Does the identifier include its scheme, and does the referenced entry agree with the triangular and pentagrammic face inventory?", "kind": "definition", "id": "scheme-qualified-identification-q02" } ] } ] }, { "id": "near-neighbour-exclusion", "name": "Near-neighbour exclusion", "description": "Separate this solid from similarly named or visually related polyhedra.", "findings": [ { "id": "face-based-disambiguation", "name": "Face-based disambiguation", "description": "Use complete face boundaries and local incidences to resolve candidates that names or silhouettes cannot distinguish.", "questions": [ { "text": "Are the twelve five-vertex faces traced as pentagrams rather than convex pentagons?", "kind": "boundary", "id": "face-based-disambiguation-q01" }, { "text": "What face or vertex-configuration evidence excludes the great icosahedron and great icosicosidodecahedron?", "kind": "boundary", "id": "face-based-disambiguation-q02" } ] } ] } ] }, { "id": "faces-and-incidences", "name": "Faces and incidences", "description": "Capture the polygon cycles and their attachment independently of visible intersections.", "rationale": "A rendered star surface can conceal the face structure that defines the mathematical object.", "layers": [ { "id": "polygon-boundaries", "name": "Polygon boundaries", "description": "Identify complete triangular and pentagrammic face cycles.", "findings": [ { "id": "pentagram-traversal", "name": "Pentagram traversal", "description": "Retain the five-edge star traversal of each pentagram instead of replacing it with its outline or a triangulated fill.", "questions": [ { "text": "Does each pentagram cycle connect every second vertex of its supporting regular pentagon?", "kind": "definition", "id": "pentagram-traversal-q01" }, { "text": "Can every displayed fragment be traced back to an original triangle or pentagram face?", "kind": "provenance", "id": "pentagram-traversal-q02" } ] } ] }, { "id": "local-and-global-incidence", "name": "Local and global incidence", "description": "Check attachment consistency across face cycles, edges, and vertices.", "findings": [ { "id": "incidence-consistency", "name": "Incidence consistency", "description": "Validate inventory and cyclic adjacency without counting geometric crossings as additional incidences.", "questions": [ { "text": "Do the original face cycles yield 30 vertices and 60 edges, with exactly two incident faces per edge?", "kind": "measurement", "id": "incidence-consistency-q01" }, { "text": "Does each vertex alternate two triangles and two pentagrams, excluding incidental surface crossings?", "kind": "measurement", "id": "incidence-consistency-q02" } ] } ] } ] }, { "id": "metric-realization", "name": "Metric realization", "description": "Determine whether coordinates realize the intended regular-faced, vertex-transitive geometry.", "rationale": "Correct incidence counts alone do not establish the required geometric realization.", "layers": [ { "id": "regularity-and-normalization", "name": "Regularity and normalization", "description": "Evaluate polygon regularity and scale-independent metric checks.", "findings": [ { "id": "metric-validation", "name": "Metric validation", "description": "Check full face geometry alongside common edge length and circumradius.", "questions": [ { "text": "Are all face cycles planar and regular, with one common edge length across triangles and pentagrams?", "kind": "measurement", "id": "metric-validation-q01" }, { "text": "After normalizing edge length, does the measured circumradius agree with 1/phi within the declared tolerance?", "kind": "measurement", "id": "metric-validation-q02" } ] } ] }, { "id": "symmetry-and-equivalence", "name": "Symmetry and equivalence", "description": "Test symmetry on the complete face-bearing realization.", "findings": [ { "id": "face-preserving-vertex-transitivity", "name": "Face-preserving vertex transitivity", "description": "Require symmetry transformations to preserve edges and polygon cycles, not just the vertex cloud.", "questions": [ { "text": "Can verified geometric symmetries carry any vertex to every other vertex while preserving the face cycles?", "kind": "measurement", "id": "face-preserving-vertex-transitivity-q01" }, { "text": "Can two candidate realizations be aligned by rigid motion and uniform scaling with matching polygon cycles?", "kind": "action", "id": "face-preserving-vertex-transitivity-q02" } ] } ] } ] }, { "id": "intersection-aware-operations", "name": "Intersection-aware operations", "description": "Control interpretation and transformation of the intersecting realization.", "rationale": "Surface filling, mesh conversion, hull extraction, and duality can change what object an agent is handling.", "layers": [ { "id": "surface-interpretation", "name": "Surface interpretation", "description": "Make boundary, fill, and interior conventions explicit before computation.", "findings": [ { "id": "crossings-and-interiors", "name": "Crossings and interiors", "description": "Distinguish original polygon incidences from intersections introduced by the embedding or display.", "questions": [ { "text": "Which apparent junctions are original vertices, and which are crossings of edges or face interiors?", "kind": "boundary", "id": "crossings-and-interiors-q01" }, { "text": "Which winding, overlap, and orientation conventions will define the requested area or volume?", "kind": "definition", "id": "crossings-and-interiors-q02" }, { "text": "Will mesh conversion retain original face identities and mark any subdivision vertices as derived?", "kind": "action", "id": "crossings-and-interiors-q03" } ] } ] }, { "id": "related-object-operations", "name": "Related-object operations", "description": "Track operations that produce associated but distinct mathematical objects.", "findings": [ { "id": "hull-skeleton-and-dual", "name": "Hull, skeleton, and dual", "description": "Record the operation, its convention, and a correspondence back to the original realization.", "questions": [ { "text": "Does hull or skeleton extraction explicitly record which original face information it discards?", "kind": "boundary", "id": "hull-skeleton-and-dual-q01" }, { "text": "Which duality convention and normalization are used, and how are original faces mapped to dual vertices?", "kind": "action", "id": "hull-skeleton-and-dual-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": [ "Face and vertex counts refer to the abstract incidence structure, not a subdivision at every visible intersection.", "Catalogue numbers and alternative names are omitted because they have not been verified." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of great icosidodecahedron this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-identifiers", "name": "Identifiers and schemes", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "scheme": "Vertex configuration", "value_or_pattern": "3.5/2.3.5/2", "note": "Records the alternating triangular and pentagram faces around each vertex." } ], "questions": [ { "id": "evidence-identifiers-q01", "text": "Which of these identifiers and schemes hold for the sense of great icosidodecahedron 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": [ "Study and teaching of uniform polyhedra, star polygons, and icosahedral symmetry.", "Construction of mathematical models and computer visualisations of self-intersecting polyhedra." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of great icosidodecahedron 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": "Vertices", "typical_range": "30", "unit": "vertices" }, { "quantity": "Edges", "typical_range": "60", "unit": "edges" }, { "quantity": "Triangular faces", "typical_range": "20", "unit": "faces" }, { "quantity": "Pentagram faces", "typical_range": "12", "unit": "faces" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of great icosidodecahedron 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": [ "Counting geometric crossings as additional vertices changes the intended polyhedral structure.", "Treating pentagram faces as filled convex pentagons misrepresents the solid.", "Surface-area and enclosed-volume calculations require explicit conventions for self-intersecting faces and overlapping regions." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of great icosidodecahedron 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": "Icosidodecahedron", "difference": "The convex icosidodecahedron has ordinary pentagonal faces instead of pentagrams, alongside its triangular faces." }, { "name": "Great icosahedron", "difference": "The great icosahedron has only triangular faces; its rectification produces the great icosidodecahedron." }, { "name": "Small icosidodecahedron", "difference": "It has pentagonal and pentagram faces, whereas the great icosidodecahedron has triangular and pentagram faces." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of great icosidodecahedron this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Which consulted coordinate-and-face dataset should serve as the canonical executable reference for this registry entry?", "Which numerical tolerances are appropriate for recognizing imported approximations without accepting geometrically different realizations?", "Which polygon-fill and spatial-interior conventions should be supported for area and volume, and how should their results be labelled?", "Which explicit polarity and normalization should govern construction of the great rhombic triacontahedron dual?", "Does an existing Vercy world-model publication already cover this identity and therefore need to be linked instead of duplicated?" ], "statistics": { "bundles": 5, "layers": 9, "findings": 14, "questions": 23 } }