{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T09:48:47Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 22.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: 01a09503-aae8-79e2-9eaa-aa6fa0d2bbad\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: foliation\nSense to describe: (none recorded)\nDomain code: XCT.REL\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 043: 1001 regis", "usd": 0.0, "recall": true }, "codex": { "seconds": 87.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: 01a09503-aad9-7fe0-8d9d-89de9be7c56c\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: foliation\nRegistry id: vr.tr.foliation-q684220\nPlane / domain: XCT / XCT.REL\nRegistry definition: (none recorded)\nNames folded into this entry: (none" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:43:42+00:00", "fields": [ "agent_conduct", "ethics", "failure_modes_and_hazards", "owners" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-07T10:10:32+00:00", "evidence": [ "completeness 1.00", "sense: Wikidata description", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-Q684220", "registryId": "vr.tr.foliation-q684220", "name": "foliation", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.REL" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q684220/", "model": { "registry_id": "vr.tr.foliation-q684220", "name": "foliation", "purpose": "Enable an agent to recognise a mathematical foliation, assess evidence for its local and global structure, and determine which constructions and deductions its hypotheses permit.", "definition": "In differential geometry, a regular smooth foliation of an n-dimensional manifold is a partition into connected immersed submanifolds, called leaves, of a fixed dimension p, with local coordinates in which the connected pieces of leaves are slices obtained by fixing n−p transverse coordinates.", "scope_statement": "This model owns foliation as registered by vr.tr.foliation-q684220: a locally product-like decomposition of a manifold into connected immersed leaves, with regular foliations as the baseline and explicitly identified extensions tracked separately. Registry identity: [Wikidata Q684220](https://www.wikidata.org/wiki/Q684220).", "in_scope": [ "Ambient manifold, leaf dimension, codimension and differentiability assumptions", "Foliated charts, plaques and their assembly into maximal connected leaves", "Tangent distributions and evidence establishing their integrability", "Leaf topology, closures, transverse structure and holonomy", "Leaf-space properties and conditions supporting constructions or equivalences", "Explicit boundaries between regular foliations and singular or other extended conventions" ], "out_of_scope": [ "Geological foliation in rocks and foliation as manuscript leaf numbering", "General manifold geometry unrelated to the specified leaf decomposition", "Arbitrary partitions or stratifications without the required foliation structure", "Nonintegrable distributions considered independently of a proposed foliation", "Flow timing and vector-field magnitudes beyond the leaves they generate", "General fibre-bundle theory beyond its relationship to the specified foliation" ], "distinguishing_features": [ "A regular foliation requires compatible local product charts whose plaques describe the decomposition; an arbitrary partition into submanifolds is insufficient.", "Its leaves partition the entire ambient manifold, whereas a lamination may occupy only a proper subset.", "In the smooth regular setting, its tangent planes form a constant-rank involutive distribution; a plane field lacking involutivity does not qualify. See [Moerdijk and Mrčun, Foliations](https://resolve.cambridge.org/core/services/aop-cambridge-core/content/view/A7953BF5BF52D9DA6CB9518D98AF20D5/9780511615450c1_p4-18_CBO.pdf/foliations.pdf).", "A foliation does not automatically supply a global base manifold or locally trivial bundle projection.", "A one-dimensional foliation specifies leaves without necessarily specifying an orientation, speed or preferred generating vector field." ], "characteristics": [ { "name": "Ambient and leaf dimensions", "kind": "measurement", "unit_or_values": "Integers n and p with 0 ≤ p ≤ n; codimension q = n − p", "why_it_matters": "Determines local chart dimensions and which dimension-dependent results can apply." }, { "name": "Regularity convention", "kind": "category", "unit_or_values": "Topological, C^r with r specified, smooth, real analytic or holomorphic", "why_it_matters": "Controls which derivatives, equivalences and integrability arguments are meaningful." }, { "name": "Definition framework", "kind": "category", "unit_or_values": "Regular foliated atlas; regular integrable distribution; explicitly named singular framework", "why_it_matters": "Prevents statements from different conventions being treated as interchangeable." }, { "name": "Integrability assessment", "kind": "state", "unit_or_values": "Established, disproved, unresolved or not applicable to this presentation", "why_it_matters": "Separates a candidate distribution from a verified foliation." }, { "name": "Leaf inclusion and closure", "kind": "relation", "unit_or_values": "For each specified leaf: inclusion into M, intrinsic topology and closure in M", "why_it_matters": "Distinguishes leaf geometry from how the leaf sits or accumulates in the ambient manifold." }, { "name": "Leaf holonomy", "kind": "relation", "unit_or_values": "Based leaf loops mapped to germs of transverse return maps, with transversal and basepoint recorded", "why_it_matters": "Records transverse behaviour invisible in the abstract topology of a leaf." }, { "name": "Orientation data", "kind": "category", "unit_or_values": "Orientability and chosen orientation recorded separately for tangent and normal bundles; unknown allowed", "why_it_matters": "Distinguishes leaf orientation from transverse orientation and supports applicable constructions." }, { "name": "Leaf-space assessment", "kind": "state", "unit_or_values": "Separation properties, manifold status and quotient-map regularity, each established or unresolved", "why_it_matters": "Determines whether leaves can be treated as points of a suitable geometric quotient." } ], "affordances": [ "Check whether proposed charts, equations or tangent planes define a foliation under stated assumptions.", "Recover local plaques and identify maximal leaves where the available presentation permits.", "Assess leaf closures and transverse return behaviour using explicit examples or proofs.", "Determine whether restriction, transverse pullback or transport by diffeomorphism preserves the required structure.", "Compare two presentations using a specified notion of foliated equivalence.", "Gate theorem applications on verified regularity, compactness, holonomy and boundary hypotheses." ], "agent_conduct": { "may": [ "Explain foliations, their leaves and standard examples such as the Reeb foliation.", "Check stated definitions and conditions when helping with proofs." ], "must_not": [ "Present an unproved statement about foliations as a theorem.", "Confuse regular foliations with singular ones in results others rely on.", "Copy proofs or figures from published works without credit." ], "requires_human": [ "Publishing new claims about foliations under a person's name." ] }, "ethics": { "considerations": [ "Accurate attribution and correct proofs matter in mathematical research and teaching." ], "affected_parties": [ "Students", "Mathematicians", "Physicists using the theory" ] }, "owners": { "steward": "Nobody owns it; it is a concept of differential geometry.", "master_systems": [] }, "failure_modes_and_hazards": [ "Mixing up local and global conditions leads to false proofs." ], "what_it_is_for": [ "Foliations are used in differential geometry and topology to study manifolds through families of connected leaves with a consistent local structure.", "They also arise in dynamical systems and the study of integrable distributions, where local solutions organize into geometric subspaces." ], "facets_not_applicable": { "interfaces": "A mathematical foliation is governed by its stated definitions and hypotheses rather than an applicable regulatory or technical standard.", "recognition": "A foliation is an abstract mathematical structure whose defining properties cannot be established by visual inspection of a diagram." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q684220: foliation", "url": "https://www.wikidata.org/wiki/Q684220", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Foliation", "url": "https://en.wikipedia.org/wiki/Foliation", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "foliation-convention", "name": "Foliation convention", "description": "Fix the mathematical meaning and ambient assumptions before interpreting a proposed instance.", "rationale": "Regular, topological and singular uses require different recognition criteria.", "layers": [ { "id": "regularity-and-definition", "name": "Regularity and definition", "description": "Identify the adopted definition and the category in which it operates.", "findings": [ { "id": "adopted-foliation-framework", "name": "Adopted foliation framework", "description": "Record the author's definition and whether the proposal uses a regular atlas, an integrable distribution or a named extension.", "questions": [ { "text": "Which definition and differentiability category does the author use?", "kind": "definition", "id": "adopted-foliation-framework-q01" }, { "text": "Which source explicitly supplies that definition and its hypotheses?", "kind": "provenance", "id": "adopted-foliation-framework-q02" }, { "text": "Are varying leaf dimensions admitted, and under which singular-foliation framework?", "kind": "boundary", "id": "adopted-foliation-framework-q03" } ] } ] }, { "id": "ambient-domain", "name": "Ambient domain", "description": "Specify where the leaf decomposition is asserted to exist.", "findings": [ { "id": "manifold-and-dimensional-assumptions", "name": "Manifold and dimensional assumptions", "description": "Record the ambient manifold, dimensions and any boundary conditions or excluded locus.", "questions": [ { "text": "What are the ambient dimension n, leaf dimension p and codimension n − p?", "kind": "measurement", "id": "manifold-and-dimensional-assumptions-q01" }, { "text": "Does the structure cover all of M, or only a specified open subset or regular locus?", "kind": "boundary", "id": "manifold-and-dimensional-assumptions-q02" }, { "text": "If M has boundary, what tangency or transversality convention is imposed there?", "kind": "definition", "id": "manifold-and-dimensional-assumptions-q03" } ] } ] } ] }, { "id": "local-product-and-integrability", "name": "Local product and integrability", "description": "Establish the local evidence that distinguishes a foliation from a proposed decomposition or plane field.", "rationale": "An agent must verify the defining structure before applying foliation theory.", "layers": [ { "id": "foliated-atlas", "name": "Foliated atlas", "description": "Inspect local product coordinates and compatibility on overlaps.", "findings": [ { "id": "plaque-preserving-charts", "name": "Plaque-preserving charts", "description": "Record charts with coordinates (x, y), plaques at fixed y, and transition maps preserving the local plaque structure.", "questions": [ { "text": "Which charts cover the claimed domain, and which coordinates are leafwise and transverse?", "kind": "definition", "id": "plaque-preserving-charts-q01" }, { "text": "What establishes that transverse transition coordinates are locally independent of leafwise coordinates?", "kind": "provenance", "id": "plaque-preserving-charts-q02" } ] } ] }, { "id": "distribution-test", "name": "Distribution test", "description": "Evaluate a differential presentation under its stated regularity assumptions.", "findings": [ { "id": "constant-rank-and-involutivity", "name": "Constant rank and involutivity", "description": "For a smooth distribution presentation, record rank checks and closure under Lie brackets as the Frobenius test.", "questions": [ { "text": "Do the proposed tangent generators span a smooth subbundle of constant rank throughout the domain?", "kind": "measurement", "id": "constant-rank-and-involutivity-q01" }, { "text": "Which bracket computations or theorem establish involutivity?", "kind": "provenance", "id": "constant-rank-and-involutivity-q02" }, { "text": "Where rank or involutivity fails, must the domain be restricted or the claimed framework changed?", "kind": "action", "id": "constant-rank-and-involutivity-q03" } ] } ] } ] }, { "id": "leaves-and-global-assembly", "name": "Leaves and global assembly", "description": "Track how local plaques form leaves and how those leaves occupy the manifold.", "rationale": "Local product structure alone does not describe global leaf topology or accumulation.", "layers": [ { "id": "leaf-identification", "name": "Leaf identification", "description": "Resolve global leaves from the chosen local or differential presentation.", "findings": [ { "id": "maximal-connected-leaves", "name": "Maximal connected leaves", "description": "Record how connected chains of plaques or maximal integral manifolds identify individual leaves.", "questions": [ { "text": "What criterion determines whether two specified points lie on the same leaf?", "kind": "definition", "id": "maximal-connected-leaves-q01" }, { "text": "What establishes that a proposed leaf is maximal rather than a proper local plaque or integral patch?", "kind": "provenance", "id": "maximal-connected-leaves-q02" } ] } ] }, { "id": "leaf-topology-and-closure", "name": "Leaf topology and closure", "description": "Keep intrinsic properties distinct from properties of the inclusion into the ambient manifold.", "findings": [ { "id": "intrinsic-versus-ambient-behaviour", "name": "Intrinsic versus ambient behaviour", "description": "Record topology, compactness, embeddedness, properness and closure for identified leaves, marking unresolved properties explicitly.", "questions": [ { "text": "What is known about the leaf's intrinsic topology, and is its inclusion embedded or proper?", "kind": "measurement", "id": "intrinsic-versus-ambient-behaviour-q01" }, { "text": "What is its closure in M, and is the leaf closed or dense in a specified region?", "kind": "measurement", "id": "intrinsic-versus-ambient-behaviour-q02" }, { "text": "Which claims hold for every leaf, and which hold only for selected or exceptional leaves?", "kind": "boundary", "id": "intrinsic-versus-ambient-behaviour-q03" } ] } ] } ] }, { "id": "transverse-behaviour", "name": "Transverse behaviour", "description": "Record transverse transport and the conditions under which neighbouring leaves can be compared.", "rationale": "Leaf topology alone does not capture how a foliation behaves across leaves.", "layers": [ { "id": "holonomy-data", "name": "Holonomy data", "description": "Specify transverse return maps with their domains and choices.", "findings": [ { "id": "loop-induced-return-germs", "name": "Loop-induced return germs", "description": "Record the germ induced by a leafwise loop on a local transversal, retaining basepoint and equivalence conventions.", "questions": [ { "text": "Which leaf, basepoint, loop and transversal define the proposed holonomy germ?", "kind": "definition", "id": "loop-induced-return-germs-q01" }, { "text": "What calculation or proof establishes whether the relevant holonomy is trivial, finite or otherwise?", "kind": "provenance", "id": "loop-induced-return-germs-q02" }, { "text": "How are results compared after changing the transversal or basepoint?", "kind": "boundary", "id": "loop-induced-return-germs-q03" } ] } ] }, { "id": "neighbourhood-conclusions", "name": "Neighbourhood conclusions", "description": "Assess claims about neighbourhoods of leaves and additional transverse structure.", "findings": [ { "id": "stability-hypotheses", "name": "Stability hypotheses", "description": "Record the exact stability result proposed and evidence for every required assumption.", "questions": [ { "text": "Which stability theorem is being invoked, and are its compactness, holonomy and regularity hypotheses established?", "kind": "provenance", "id": "stability-hypotheses-q01" }, { "text": "What neighbourhood conclusion does that theorem permit for this particular leaf?", "kind": "action", "id": "stability-hypotheses-q02" } ] }, { "id": "additional-transverse-structure", "name": "Additional transverse structure", "description": "Record transverse orientation, invariant measures or transverse geometric structures only when supplied or established.", "questions": [ { "text": "Which transverse structures are asserted, and how are they defined?", "kind": "definition", "id": "additional-transverse-structure-q01" }, { "text": "What verifies their compatibility with the transverse transition or holonomy maps?", "kind": "provenance", "id": "additional-transverse-structure-q02" } ] } ] } ] }, { "id": "quotients-and-permitted-constructions", "name": "Quotients and permitted constructions", "description": "Determine how the foliation can be represented globally, transformed or compared.", "rationale": "Local foliation data do not automatically justify a smooth quotient or every proposed pullback.", "layers": [ { "id": "leaf-space", "name": "Leaf space", "description": "Assess the quotient obtained by identifying points on the same leaf.", "findings": [ { "id": "quotient-and-fibration-evidence", "name": "Quotient and fibration evidence", "description": "Record quotient topology and separate evidence for any manifold, submersion or fibre-bundle presentation.", "questions": [ { "text": "What is established about the separation properties and manifold status of M modulo its leaves?", "kind": "measurement", "id": "quotient-and-fibration-evidence-q01" }, { "text": "If a map to a base is supplied, are its fibres individual leaves or unions of leaves?", "kind": "boundary", "id": "quotient-and-fibration-evidence-q02" }, { "text": "What additional evidence supports a submersion or locally trivial bundle description?", "kind": "provenance", "id": "quotient-and-fibration-evidence-q03" } ] } ] }, { "id": "construction-and-comparison", "name": "Construction and comparison", "description": "Specify admissible transformations and the equivalence relation used to compare outputs.", "findings": [ { "id": "restriction-and-pullback", "name": "Restriction and pullback", "description": "Record the subset or map involved and verify the conditions needed for an induced foliation.", "questions": [ { "text": "Is the proposed restriction to an open set, a saturated subset or a transverse submanifold?", "kind": "boundary", "id": "restriction-and-pullback-q01" }, { "text": "For a pullback along a smooth map, what establishes transversality to the foliation?", "kind": "provenance", "id": "restriction-and-pullback-q02" }, { "text": "What are the resulting domain and leaf dimension, and which connected components become leaves?", "kind": "action", "id": "restriction-and-pullback-q03" } ] }, { "id": "foliated-equivalence", "name": "Foliated equivalence", "description": "Record whether comparison means the same foliation on M, equivalence by a leaf-preserving diffeomorphism or another explicitly defined relation.", "questions": [ { "text": "Which equivalence relation is required for this comparison?", "kind": "definition", "id": "foliated-equivalence-q01" }, { "text": "What map or atlas-compatibility argument establishes the claimed equivalence?", "kind": "provenance", "id": "foliated-equivalence-q02" }, { "text": "Must the comparison preserve leaf orientation, transverse orientation or additional transverse structure?", "kind": "boundary", "id": "foliated-equivalence-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": [ "The mathematical sense is inferred from domain XCT.REL; no sense or registry identifier was supplied.", "The definition describes regular smooth foliations; singular and holomorphic settings require modified hypotheses.", "The listed kinds overlap, and definitions of singular foliation vary across mathematical frameworks." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of foliation 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": [ "Regular foliations", "Singular foliations", "Holomorphic foliations", "Riemannian foliations", "Transversely measured foliations", "Codimension-one foliations" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of foliation 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": [ "Describing orbit structures of nonsingular smooth flows.", "Organising integral manifolds of differential equations and integrable distributions.", "Studying manifold topology through leaf geometry and holonomy.", "Decomposing Poisson manifolds into symplectic leaves, generally as a singular foliation.", "Representing spacetime slicings in relativity when suitable spacelike foliations exist." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of foliation 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": "Leaf dimension p of a regular foliation", "typical_range": "Integer from 0 to n for an n-dimensional ambient manifold", "unit": "dimensionless" }, { "quantity": "Codimension q of a regular foliation", "typical_range": "q = n−p, an integer from 0 to n", "unit": "dimensionless" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of foliation 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": [ "A smooth constant-rank tangent distribution need not define a foliation: Frobenius integrability requires closure under Lie brackets.", "Leaves can be dense or fail to be embedded, invalidating an intuitive picture of separated parallel sheets.", "The space of leaves can fail to be Hausdorff and need not be a manifold.", "Singular foliations require additional definitions; variable-dimensional leaves are outside the regular local-coordinate model.", "A local foliation chart does not establish that the entire manifold is a product or fibre bundle." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of foliation 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": "Tangent distribution", "difference": "A distribution assigns tangent subspaces pointwise; a regular foliation supplies leaves whose tangent spaces form an integrable distribution." }, { "name": "Fibre bundle", "difference": "A fibre bundle has a projection onto a base with local trivializations; a foliation need not have a manifold leaf space or such a projection." }, { "name": "Lamination", "difference": "A lamination permits more general transverse spaces and can occupy only a subset of an ambient manifold; a regular foliation locally fills the manifold with slices." }, { "name": "Geological foliation", "difference": "Geological foliation is a planar fabric in rock; mathematical foliation is a locally specified decomposition into leaves." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of foliation this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Should this registry entry's eventual researched model encompass named singular-foliation frameworks, or describe them only as explicit extensions of the regular baseline?", "Which source-backed conventions should govern topological regularity and manifolds with boundary?", "Does an existing Vercy world model already own this mathematical concept, requiring a registry link instead of a second publication?", "Which worked examples should validate recognition of compact leaves, dense leaves and nontrivial holonomy?", "Which equivalence notion and level of proof should an agent require before treating two computational or symbolic presentations as the same foliation?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 18, "questions": 38 } }