{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T10:37:57Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 16.8, "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: 01a09530-f0ca-70d3-af96-46200c97e302\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: isohedral figure\nSense to describe: (none recorded)\nDomain code: XCT.QLT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 043: 100", "usd": 0.0, "recall": true }, "codex": { "seconds": 69.8, "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: 01a09530-f0d8-7190-bbf0-4047fa47fbd1\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: isohedral figure\nRegistry id: vr.tr.isohedral-figure\nPlane / domain: XCT / XCT.QLT\nRegistry definition: (none recorded)\nNames folded into this entry:" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:45:13+00:00", "fields": [ "agent_conduct", "ethics", "owners", "visual_identification" ] }, "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-Q3847067", "registryId": "vr.tr.isohedral-figure", "name": "isohedral figure", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QLT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q3847067/", "model": { "registry_id": "vr.tr.isohedral-figure", "name": "isohedral figure", "purpose": "Enable an agent to recognise, verify and manipulate an isohedral figure by establishing whether its specified faces form a single orbit under symmetries of the whole figure.", "definition": "An isohedral figure is a geometric figure with faces, such as a polyhedron or tiling, whose symmetry group acts transitively on those faces, so that any face can be mapped onto any other by a symmetry of the entire figure.", "scope_statement": "For vr.tr.isohedral-figure in XCT / XCT.QLT, this model owns the interpretation and verification of face transitivity for a specified geometric realisation; the working core is polyhedral, while tilings and higher-dimensional interpretations require an explicit convention.", "in_scope": [ "The face set on which isohedrality is asserted", "Ambient geometry and the permitted whole-figure symmetries", "Face orbits and evidence of transitivity", "Distinctions between congruent faces and symmetry-equivalent faces", "The effect of realisation, decoration and geometric transformations on isohedrality" ], "out_of_scope": [ "General construction and classification of polyhedra independently of face transitivity", "Vertex transitivity and edge transitivity as independent classification tasks", "Classification of tile shapes by their ability to admit isohedral tilings", "Physical dice fairness, material density and rolling dynamics", "Manufacturing tolerances and structural performance of physical replicas" ], "distinguishing_features": [ "For any two designated faces, a permitted symmetry must preserve the entire figure and carry one face onto the other.", "Congruent faces alone do not establish isohedrality: their equivalence must extend to a symmetry of the whole figure.", "Vertex or edge transitivity cannot substitute for a single face orbit.", "A combinatorial permutation of faces establishes geometric isohedrality only when realised by an allowed geometric symmetry.", "An isohedral tiling concerns equivalence of whole tiles within a tiling; a polyhedron's isohedrality concerns equivalence of its faces." ], "characteristics": [ { "name": "Geometric interpretation", "kind": "category", "unit_or_values": "polyhedral face transitivity | explicitly specified extension | unresolved", "why_it_matters": "Determines which entities must be symmetry-equivalent." }, { "name": "Ambient geometry", "kind": "category", "unit_or_values": "Euclidean | spherical | hyperbolic | other specified geometry", "why_it_matters": "Determines which transformations count as isometries." }, { "name": "Designated face set", "kind": "relation", "unit_or_values": "Reference to a face decomposition with face dimension and incidence data", "why_it_matters": "Transitivity is undefined until the acted-on set is fixed." }, { "name": "Symmetry convention", "kind": "category", "unit_or_values": "full isometry group | orientation-preserving subgroup | decoration-preserving subgroup | other specified subgroup", "why_it_matters": "Restricting the symmetry group can split a single face orbit." }, { "name": "Face orbit count", "kind": "measurement", "unit_or_values": "Positive integer or infinite cardinal when established; otherwise unknown", "why_it_matters": "One orbit establishes transitivity under the recorded group." }, { "name": "Face congruence class count", "kind": "measurement", "unit_or_values": "Positive integer when established; otherwise unknown", "why_it_matters": "Multiple congruence classes rule out transitivity under isometries, but one class does not prove it." }, { "name": "Verification state", "kind": "state", "unit_or_values": "unassessed | candidate | proved isohedral | proved non-isohedral | unresolved", "why_it_matters": "Separates a geometric claim from the strength of its supporting evidence." }, { "name": "Verification certificate", "kind": "relation", "unit_or_values": "Reference to exact symmetry generators, orbit proof or obstruction", "why_it_matters": "Allows another agent to reproduce or challenge the classification." } ], "affordances": [ "Test whether exact whole-figure symmetries act transitively on the designated faces.", "Construct a face correspondence from one representative face to every other face.", "Reject candidate isohedrality using a verified symmetry invariant that separates faces.", "Identify which face orbits split when reflections or decoration-changing symmetries are excluded.", "Reassess isohedrality after changing coordinates, subdividing faces or applying a geometric construction." ], "agent_conduct": { "may": [ "Define, classify and draw isohedral figures and tilings from mathematical sources.", "Check whether a figure is face-transitive in calculations." ], "must_not": [ "Present a figure as isohedral when its faces are not all equivalent under its symmetries.", "Misattribute discoveries in tiling theory." ], "requires_human": [ "Publishing classification results as new mathematics." ] }, "ethics": { "considerations": [ "Accurate mathematics underpins design, crystallography and teaching." ], "affected_parties": [ "Students", "Designers", "Mathematicians" ] }, "owners": { "steward": "Nobody owns the concept; it belongs to mathematics.", "master_systems": [] }, "visual_identification": [ "A solid or tiling in which every face is the same shape and is placed alike, such as a cube or a rhombic dodecahedron." ], "what_it_is_for": [ "Isohedral figures are studied in geometry, symmetry theory and the classification of polyhedra and tilings.", "They are used in geometric modelling and pattern design when every face must be equivalent under a symmetry of the entire figure." ], "failure_modes_and_hazards": [ "Mistaking congruent faces for symmetry-equivalent faces can produce incorrect classifications and invalidate geometric arguments.", "Assuming face transitivity guarantees structural strength or manufacturing suitability can lead to unreliable physical designs." ], "facets_not_applicable": { "interfaces": "No specific standard, law or official classification is applicable to the mathematical property of face transitivity." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q3847067: isohedral figure", "url": "https://www.wikidata.org/wiki/Q3847067", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Isohedral figure", "url": "https://en.wikipedia.org/wiki/Isohedral_figure", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "isohedral-meaning", "name": "Isohedral meaning", "description": "Fix the interpretation of the registry term before classifying an instance.", "rationale": "The missing registry definition leaves the scope of 'figure' and 'face' unsettled.", "layers": [ { "id": "polyhedral-core", "name": "Polyhedral core", "description": "Anchor the working interpretation in whole-figure face transitivity.", "findings": [ { "id": "face-transitivity-definition", "name": "Face transitivity definition", "description": "The working polyhedral interpretation requires the symmetry group to act transitively on faces; the reference definition of an isohedron additionally specifies convexity. Source: [Wolfram MathWorld: Isohedron](https://mathworld.wolfram.com/Isohedron.html).", "questions": [ { "text": "Which reference supplies the definition used for this instance?", "kind": "provenance", "id": "face-transitivity-definition-q01" }, { "text": "Does that definition require convexity, or explicitly admit nonconvex figures?", "kind": "boundary", "id": "face-transitivity-definition-q02" } ] } ] }, { "id": "extended-interpretations", "name": "Extended interpretations", "description": "Prevent changes in the acted-on entities from silently changing the meaning.", "findings": [ { "id": "faces-versus-tiles", "name": "Faces versus tiles", "description": "In isohedral tilings, the symmetry action concerns tiles of the whole tiling. Any use of that interpretation here must be explicit. Source: [Wolfram MathWorld: Isohedral Tiling](https://mathworld.wolfram.com/IsohedralTiling.html).", "questions": [ { "text": "Is the assertion about a polyhedron's faces or a tiling's tiles?", "kind": "definition", "id": "faces-versus-tiles-q01" }, { "text": "For a higher-dimensional figure, does 'face' mean a two-dimensional face or a facet?", "kind": "boundary", "id": "faces-versus-tiles-q02" } ] } ] } ] }, { "id": "face-realisation", "name": "Face realisation", "description": "Specify the geometric figure and the faces whose equivalence is being assessed.", "rationale": "A drawing or connectivity pattern alone can leave the relevant geometry and face decomposition ambiguous.", "layers": [ { "id": "face-decomposition", "name": "Face decomposition", "description": "Identify face boundaries and their incidence within the whole figure.", "findings": [ { "id": "designated-faces", "name": "Designated faces", "description": "Record the adopted face decomposition, including whether coplanar subdivisions count as separate faces.", "questions": [ { "text": "What boundary and incidence data identify each designated face?", "kind": "definition", "id": "designated-faces-q01" }, { "text": "Are coplanar subdivisions, holes or intersecting face boundaries admitted by the convention?", "kind": "boundary", "id": "designated-faces-q02" } ] } ] }, { "id": "metric-realisation", "name": "Metric realisation", "description": "Distinguish exact geometry from an illustration or approximate mesh.", "findings": [ { "id": "exactness-and-congruence", "name": "Exactness and congruence", "description": "Record coordinates or defining constraints and compare face shapes as an initial obstruction test; congruence alone leaves the transitivity question open.", "questions": [ { "text": "Which exact coordinates or geometric constraints define this realisation?", "kind": "provenance", "id": "exactness-and-congruence-q01" }, { "text": "How many face congruence classes are established, and with what numerical uncertainty?", "kind": "measurement", "id": "exactness-and-congruence-q02" } ] } ] } ] }, { "id": "symmetry-action", "name": "Symmetry action", "description": "Record transformations that preserve the whole figure and their action on faces.", "rationale": "Isohedrality concerns global symmetry, so local face matching must be connected to valid transformations.", "layers": [ { "id": "admissible-symmetries", "name": "Admissible symmetries", "description": "Fix the geometric and decoration constraints on transformations.", "findings": [ { "id": "symmetry-group-convention", "name": "Symmetry group convention", "description": "Record whether all isometries are allowed and whether colours, labels or orientations are part of the preserved figure.", "questions": [ { "text": "Must a symmetry preserve only geometry, or also face colours, labels and orientations?", "kind": "definition", "id": "symmetry-group-convention-q01" }, { "text": "Are orientation-reversing isometries permitted in the asserted classification?", "kind": "boundary", "id": "symmetry-group-convention-q02" } ] } ] }, { "id": "face-orbits", "name": "Face orbits", "description": "Operationalise transitivity through the induced permutations of faces.", "findings": [ { "id": "orbit-computation", "name": "Orbit computation", "description": "For each verified symmetry generator, record its face permutation and compute the resulting orbits. Distinguish a known subgroup from the full permitted symmetry group.", "questions": [ { "text": "Which whole-figure isometries generate the tested action, and how does each permute faces?", "kind": "measurement", "id": "orbit-computation-q01" }, { "text": "How many face orbits result, and is the tested group known to be complete?", "kind": "measurement", "id": "orbit-computation-q02" } ] } ] } ] }, { "id": "transitivity-evidence", "name": "Transitivity evidence", "description": "Distinguish a proof, a counterexample and an incomplete symmetry search.", "rationale": "Failure to discover a face-mapping symmetry is weaker than proving none exists.", "layers": [ { "id": "positive-certificate", "name": "Positive certificate", "description": "Make a claim of isohedrality reproducible.", "findings": [ { "id": "transitive-subgroup-witness", "name": "Transitive subgroup witness", "description": "A verified subgroup acting transitively suffices for a positive certificate; identifying every symmetry is unnecessary for that conclusion.", "questions": [ { "text": "What verified transformations carry a representative face to every designated face?", "kind": "measurement", "id": "transitive-subgroup-witness-q01" }, { "text": "How can an agent check that these transformations preserve the whole geometric realisation?", "kind": "action", "id": "transitive-subgroup-witness-q02" } ] } ] }, { "id": "negative-and-unresolved-results", "name": "Negative and unresolved results", "description": "Require a genuine obstruction before rejecting isohedrality.", "findings": [ { "id": "orbit-separation-certificate", "name": "Orbit separation certificate", "description": "Support non-isohedrality with a complete permitted-group computation or an invariant separating faces; otherwise retain an unresolved result.", "questions": [ { "text": "Which invariant prevents two identified faces from being exchanged by any permitted symmetry?", "kind": "measurement", "id": "orbit-separation-certificate-q01" }, { "text": "Could undiscovered symmetries merge the currently computed face orbits?", "kind": "boundary", "id": "orbit-separation-certificate-q02" }, { "text": "What additional computation or exact geometric data would settle the unresolved claim?", "kind": "action", "id": "orbit-separation-certificate-q03" } ] } ] } ] }, { "id": "classification-and-change", "name": "Classification and change", "description": "Control comparisons with neighbouring symmetry properties and reassess modified figures.", "rationale": "An agent needs to know which conclusions transfer and which require fresh verification.", "layers": [ { "id": "neighbouring-symmetry-properties", "name": "Neighbouring symmetry properties", "description": "Keep face transitivity distinct from other forms of geometric uniformity.", "findings": [ { "id": "independent-transitivity-claims", "name": "Independent transitivity claims", "description": "Record vertex, edge and flag transitivity separately, and do not treat abstract incidence automorphisms as geometric isometries without evidence.", "questions": [ { "text": "Which vertex, edge or flag transitivity claims have been independently established?", "kind": "boundary", "id": "independent-transitivity-claims-q01" }, { "text": "Does the available certificate concern geometric isometries or only incidence-preserving permutations?", "kind": "provenance", "id": "independent-transitivity-claims-q02" } ] } ] }, { "id": "modified-realisations", "name": "Modified realisations", "description": "Track whether a construction preserves the face set and its transitive symmetry action.", "findings": [ { "id": "post-transformation-verification", "name": "Post-transformation verification", "description": "After deformation, subdivision, decoration or dual construction, identify the resulting face set and verify the relevant symmetry action before transferring an isohedral classification.", "questions": [ { "text": "Which previously verified face-mapping symmetries remain isometries preserving the modified figure?", "kind": "measurement", "id": "post-transformation-verification-q01" }, { "text": "Does the operation change the designated faces or split their symmetry orbit?", "kind": "boundary", "id": "post-transformation-verification-q02" }, { "text": "What new certificate is required before the modified figure can be classified as isohedral?", "kind": "action", "id": "post-transformation-verification-q03" } ] } ] } ] }, { "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": [ "With no recorded sense, check whether the registry intends polyhedra specifically or also includes tilings.", "The definition assumes geometric symmetries; combinatorial face transitivity under incidence-preserving automorphisms is a distinct notion." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of isohedral figure this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-kinds", "name": "Kinds and varieties", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Convex isohedral polyhedra", "Nonconvex isohedral polyhedra", "Isohedral tilings" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of isohedral figure 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": [ "Classifying polyhedra and tilings by symmetry", "Designing polyhedral dice with geometrically equivalent faces", "Studying duality between face-transitive and vertex-transitive polyhedra" ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of isohedral figure 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": "Number of face orbits under the full symmetry group", "typical_range": "Exactly 1", "unit": "dimensionless count" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of isohedral figure 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": [ "Congruent faces alone do not establish isohedrality; symmetries of the entire figure must relate them.", "A monohedral tiling need not be isohedral: its tiles can be congruent without being equivalent under the tiling's symmetries.", "Isohedral geometry alone does not guarantee fair physical dice; mass distribution and manufacturing imperfections also matter." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of isohedral figure 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": "Isogonal figure", "difference": "Its symmetries act transitively on vertices; isohedrality requires transitivity on faces." }, { "name": "Isotoxal figure", "difference": "Its symmetries act transitively on edges; isohedrality requires transitivity on faces." }, { "name": "Regular polyhedron", "difference": "Under the flag-transitivity definition, regularity requires transitivity on incident vertex-edge-face triples, a stronger requirement than face transitivity." }, { "name": "Monohedral tiling", "difference": "All tiles are congruent, but they need not belong to a single orbit under the symmetry group of the whole tiling." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of isohedral figure this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does the registry intend 'isohedral figure' to cover only polyhedra, or also tilings and higher-dimensional figures?", "Does the intended definition require convexity, and which nonconvex or self-intersecting realisations, if any, are admitted?", "Should unqualified isohedrality always use the full geometric symmetry group, with orientation and decoration restrictions recorded as separate claims?", "Which convention should determine the designated face set when coplanar subdivisions or higher-dimensional faces are present?", "Which existing Vercy model, if any, already owns this concept and should serve as its single source of truth?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 16, "questions": 28 } }