{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T10:40:59Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 19.4, "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: 01a09533-b73d-7bf2-a5f6-e941d305cb46\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: jet\nSense to describe: (none recorded)\nDomain code: ACT.ACT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 043: 1001 registered ", "usd": 0.0, "recall": true }, "codex": { "seconds": 70.4, "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: 01a09533-b747-7b13-8112-a07a83169979\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: jet\nRegistry id: vr.tr.jet-q1324982\nPlane / domain: ACT / ACT.ACT\nRegistry definition: (none recorded)\nNames folded into this entry: (none)\n\n\nContext" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T13:00:00Z", "ingestedAt": "2026-10-06T08:53:21+00:00", "fields": [ "agent_conduct", "ethics", "owners" ] } }, "metaModel": { "id": "THING-Q1324982", "registryId": "vr.tr.jet-q1324982", "name": "jet", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "ACT.ACT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q1324982/", "model": { "registry_id": "vr.tr.jet-q1324982", "name": "jet", "purpose": "Enable an agent to recognise a mathematical jet, record the local derivative information it retains, and determine which comparisons and operations are justified.", "definition": "In differential geometry, an r-jet of a smooth map at a point is its equivalence class under agreement of its value and all derivatives through order r at that point, a condition independent of the chosen local coordinates.", "scope_statement": "Provisionally interpret vr.tr.jet-q1324982 as the mathematical jet: local map data identified by agreement through a specified derivative order, with finite-order smooth jets as the core scope. The definition follows the authors' treatment in [Natural Operations in Differential Geometry](https://www.maths.tcd.ie/EMIS/monographs/KSM/kmsbookh.pdf); the registry identifier's intended meaning remains to be confirmed.", "in_scope": [ "Order of contact and the equivalence relation defining an individual jet", "Source point, target value, and the spaces between which representatives map", "Derivative coordinates and their representation conventions", "Truncation, compatible composition, and comparison of jets", "Evidence for whether derivative data satisfy a specified local differential constraint" ], "out_of_scope": [ "Aircraft, propulsion jets, fluid streams, and jet gemstone", "Complete functions and their behaviour away from the source point", "Jet bundles as independently modelled geometric spaces", "General differential-equation solving and global existence theory", "Automatic differentiation software and numerical differentiation algorithms", "Algebraic jet schemes without an explicitly established connection to this entry" ], "distinguishing_features": [ "A proposed instance must specify an order and source point, rather than merely name a differentiable function.", "Representatives are compared through the retained derivative order; agreement of values alone does not establish equality of positive-order jets.", "A Taylor polynomial is a coordinate representation to interpret, rather than sufficient evidence of a coordinate-independent identity.", "An individual jet must be distinguished from a jet field assigning data across a region.", "A finite jet retains less information than a function germ; equality of finite jets does not establish equality on a neighbourhood." ], "characteristics": [ { "name": "Retained order", "kind": "category", "unit_or_values": "Nonnegative integer k; infinite order requires an explicit extension", "why_it_matters": "Sets which derivatives must agree and which differential constraints can be evaluated." }, { "name": "Source and target", "kind": "relation", "unit_or_values": "Source space M, source point p, target space N, target value q", "why_it_matters": "Establishes the ambient setting for equality, coordinate changes, and composition." }, { "name": "Representative category", "kind": "category", "unit_or_values": "Smooth maps, sufficiently differentiable maps, local sections, or explicitly declared alternative", "why_it_matters": "Identifies the regularity and structural restrictions imposed on representatives." }, { "name": "Derivative coordinates", "kind": "measurement", "unit_or_values": "Components indexed by target coordinate and derivative multi-index through order k; units inherited from coordinates", "why_it_matters": "Provides the retained local data needed for concrete calculations." }, { "name": "Coefficient convention", "kind": "category", "unit_or_values": "Raw partial derivatives or Taylor coefficients divided by multi-index factorials", "why_it_matters": "Prevents apparently different encodings from being mistaken for different jets." }, { "name": "Constraint assessment", "kind": "state", "unit_or_values": "Unchecked, satisfies specified constraint, violates specified constraint, or insufficient retained order", "why_it_matters": "Separates a recorded jet from evidence that it is admissible for a particular application." }, { "name": "Representation evidence", "kind": "category", "unit_or_values": "Symbolic exact data, certified bounds, numerical estimates, or unspecified", "why_it_matters": "Determines whether an agent can assert exact equality or only numerical compatibility." } ], "affordances": [ "Construct a jet from a representative map with sufficient derivative information.", "Compare two candidate jets after aligning their source, target, order, and coordinates.", "Discard higher-order information by truncating to a lower order.", "Compose compatible jets while recording the available resulting order.", "Translate derivative coordinates using a specified change of charts.", "Evaluate a local differential constraint whose required order is available." ], "agent_conduct": { "may": [ "Define jets of smooth maps, compute them in local coordinates and state the order.", "Explain the coordinate independence of jets with sources." ], "must_not": [ "Confuse the geometric jet with jet aircraft or fluid jets in answers.", "Present a computation in one chart as coordinate-independent without checking.", "Present an incomplete or incorrect proof as established.", "Claim results from the literature without citing them." ], "requires_human": [ "Relying on jet computations in a published proof or engineering model." ] }, "ethics": { "considerations": [ "Mathematical errors in published work mislead others who build on it.", "Credit for results matters to mathematicians." ], "affected_parties": [ "Students", "Mathematicians" ] }, "owners": { "steward": "Nobody owns the concept; it is shared mathematical knowledge.", "master_systems": [] }, "what_it_is_for": [ "In the supplied particle physics sense, jets are studied in collider and heavy ion experiments as collimated groups of particles associated with quarks or gluons.", "Reconstructed jets help researchers investigate strong interactions, collision dynamics and the properties of matter produced in collisions.", "Jet measurements depend on the reconstruction algorithm, detector response and treatment of background activity." ], "visual_identification": [ "Detector event displays may show a localized cluster of energy deposits in angular coordinates.", "Several reconstructed particle tracks may point in similar directions rather than forming one isolated track.", "A jet commonly contains multiple reconstructed constituents, although its appearance depends on detector coverage and display conventions." ], "failure_modes_and_hazards": [ "Background activity or overlapping collisions can be misidentified as a jet and bias results.", "Detector calibration errors can distort reconstructed jet energy and inferred collision properties.", "Comparing jets defined by incompatible reconstruction choices can produce misleading conclusions." ], "facets_not_applicable": { "interfaces": "No single mandatory standard defines reconstructed particle jets across experiments and analysis methods." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q1324982: jet", "url": "https://www.wikidata.org/wiki/Q1324982", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Jet (particle physics)", "url": "https://en.wikipedia.org/wiki/Jet_%28particle_physics%29", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "contact-and-identity", "name": "Contact and identity", "description": "Record what local information makes this jet the same as another.", "rationale": "An agent needs an explicit equivalence test before treating two representations as one jet.", "layers": [ { "id": "order-and-equivalence", "name": "Order and equivalence", "description": "Specify the derivative order retained and the agreement criterion.", "findings": [ { "id": "retained-contact", "name": "Retained contact", "description": "Record the proposed order and how agreement through that order is established.", "questions": [ { "text": "What is k, and does the equality test include the map value and every partial derivative through order k?", "kind": "definition", "id": "retained-contact-q01" }, { "text": "Which available expressions or derivative records establish the claimed agreement?", "kind": "provenance", "id": "retained-contact-q02" } ] } ] }, { "id": "representative-boundary", "name": "Representative boundary", "description": "Separate retained local information from properties of a chosen representative.", "findings": [ { "id": "information-not-retained", "name": "Information not retained", "description": "Identify conclusions that depend on information beyond the recorded jet.", "questions": [ { "text": "Does the proposed conclusion depend only on derivatives through k, or also on higher derivatives or nearby values?", "kind": "boundary", "id": "information-not-retained-q01" }, { "text": "Is a property of the supplied representative being attributed to every representative of this jet?", "kind": "boundary", "id": "information-not-retained-q02" } ] } ] } ] }, { "id": "geometric-setting", "name": "Geometric setting", "description": "Locate the jet within the spaces and map category that give its data meaning.", "rationale": "Matching derivative arrays are insufficient when their geometric settings differ.", "layers": [ { "id": "source-and-target", "name": "Source and target", "description": "Identify where representatives start and where their values lie.", "findings": [ { "id": "anchored-map-data", "name": "Anchored map data", "description": "Require explicit source and target anchors for the proposed jet.", "questions": [ { "text": "What are M, N, p, and q, and is q the common value of representatives at p?", "kind": "definition", "id": "anchored-map-data-q01" }, { "text": "Are two jets being compared at the same source point and within the same target setting?", "kind": "boundary", "id": "anchored-map-data-q02" } ] } ] }, { "id": "map-category", "name": "Map category", "description": "Declare regularity and any section or geometric restrictions.", "findings": [ { "id": "allowed-representatives", "name": "Allowed representatives", "description": "Record which kinds of local maps may represent this jet.", "questions": [ { "text": "Are representatives arbitrary maps or local sections of a specified bundle?", "kind": "definition", "id": "allowed-representatives-q01" }, { "text": "What regularity assumptions support derivatives through the requested order?", "kind": "boundary", "id": "allowed-representatives-q02" } ] } ] } ] }, { "id": "derivative-representation", "name": "Derivative representation", "description": "Make coordinate encodings interpretable and comparable.", "rationale": "An agent must detect changes in encoding before judging that the underlying local data changed.", "layers": [ { "id": "coefficient-encoding", "name": "Coefficient encoding", "description": "Specify derivative indexing, normalisation, and evidence quality.", "findings": [ { "id": "interpretable-coefficients", "name": "Interpretable coefficients", "description": "Require enough annotation to reconstruct what each stored coefficient denotes.", "questions": [ { "text": "Which target component and derivative multi-index does each coefficient represent?", "kind": "measurement", "id": "interpretable-coefficients-q01" }, { "text": "Are coefficients raw derivatives or factorial-normalised Taylor coefficients, and are their values exact or estimated?", "kind": "measurement", "id": "interpretable-coefficients-q02" } ] } ] }, { "id": "chart-comparison", "name": "Chart comparison", "description": "Record the coordinate transformations needed to compare encodings.", "findings": [ { "id": "coordinate-change-evidence", "name": "Coordinate change evidence", "description": "Track the charts and transition data used to identify different representations.", "questions": [ { "text": "Which source and target charts produced these coefficients?", "kind": "provenance", "id": "coordinate-change-evidence-q01" }, { "text": "Are transition maps and their required derivatives available to transform both records into common coordinates?", "kind": "action", "id": "coordinate-change-evidence-q02" } ] } ] } ] }, { "id": "operations-and-realisation", "name": "Operations and realisation", "description": "Determine which manipulations and differential interpretations are supported.", "rationale": "A useful jet model must support local calculations while distinguishing pointwise data from claims about maps over a region.", "layers": [ { "id": "truncation-and-composition", "name": "Truncation and composition", "description": "Record compatibility and information requirements for jet operations.", "findings": [ { "id": "operation-preconditions", "name": "Operation preconditions", "description": "Make the inputs, requested order, and compatibility checks explicit before an operation.", "questions": [ { "text": "For truncation, is the requested order no greater than the recorded order?", "kind": "action", "id": "operation-preconditions-q01" }, { "text": "For composition, does the first jet's target value match the second jet's source point, and what order do both support?", "kind": "action", "id": "operation-preconditions-q02" } ] } ] }, { "id": "differential-constraints", "name": "Differential constraints", "description": "Assess equation compatibility and the additional evidence needed for a jet field.", "findings": [ { "id": "local-constraint-test", "name": "Local constraint test", "description": "Record a named differential constraint and the scope of the conclusion obtained from evaluating it.", "questions": [ { "text": "Which equation or differential relation is being tested, and does its order fit within k?", "kind": "measurement", "id": "local-constraint-test-q01" }, { "text": "Does the result establish only admissibility at this point, or is there separate evidence for a solution on a neighbourhood?", "kind": "boundary", "id": "local-constraint-test-q02" } ] }, { "id": "jet-field-realisation", "name": "Jet field realisation", "description": "When individual jets are assembled over a region, record whether they come from one underlying map or section.", "questions": [ { "text": "Is this record an individual jet or a field of jets over a specified region?", "kind": "definition", "id": "jet-field-realisation-q01" }, { "text": "What compatibility conditions or supplied representative establish that the field is the jet prolongation of a map or section?", "kind": "provenance", "id": "jet-field-realisation-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": [ "The mathematical sense is inferred from the abstract-concept context; the registry records no sense, and 'jet' also names an aircraft, a fluid stream and a gemstone material.", "This account concerns smooth differential geometry; algebraic-geometric jets require a different formulation.", "This is recalled knowledge, with no sources consulted." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of jet 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": [ "Zero-order jets, recording values", "First-order jets, recording values and first derivatives", "Higher finite-order jets", "Infinite jets, recording derivatives of every order", "Jets of sections of a fibre bundle" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of jet 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": [ "Expressing differential equations as conditions on jet spaces", "Representing differential operators in terms of derivatives of bounded order", "Formulating variational calculus and field equations on jet bundles", "Studying local singularities of smooth maps", "Studying symmetries of differential equations through prolongation" ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of jet 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": "Jet order", "typical_range": "Nonnegative integers; infinite jets retain all orders", "unit": "Dimensionless" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of jet 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 finite jet generally does not determine the map in a neighbourhood of the point.", "For smooth maps, equality of infinite jets does not imply equality on a neighbourhood.", "An arbitrary section of a jet bundle need not be the jet prolongation of an underlying section; compatibility conditions matter." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of jet 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": "Taylor polynomial", "difference": "A Taylor polynomial represents finite derivative data in coordinates; a jet is the underlying coordinate-independent equivalence class." }, { "name": "Germ of a smooth map", "difference": "Germs identify maps that agree on some neighbourhood; jets identify maps by agreement of derivatives at a point." }, { "name": "Tangent vector", "difference": "A tangent vector can be represented by a first-order jet of a curve through a fixed point; jets also describe more general maps and higher derivatives." }, { "name": "Jet bundle", "difference": "A jet is one equivalence class; a jet bundle collects jets over varying base points." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of jet this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does Q1324982 confirm the mathematical meaning of jet, and what explains the supplied ACT / ACT.ACT classification?", "Does an existing Vercy world model already own this concept, requiring a registry link instead of a separate publication?", "Should the entry cover only finite smooth jets, or also infinite, analytic, algebraic, and nonholonomic variants?", "Which reference conventions should govern derivative normalisation and the distinction between jets of maps and jets of sections?", "Which intended tasks require numerical comparison tolerances or explicit tests for realising a field of jets?" ], "statistics": { "bundles": 5, "layers": 9, "findings": 15, "questions": 24 } }