{ "model": { "rank": 5160, "code": "thing-q238231", "model_id": "vr.tr.disk", "name": "disk", "purpose": "Enable an agent to recognise a geometric disk, record its boundary and geometric assumptions, and determine which measurements, comparisons and transformations are valid.", "family": "Thing Registry", "category": "Cross-cutting context", "status": "research-draft", "kind": "thing", "plane": "XCT", "domain": "XCT.QLT", "industry": "", "version": "", "url": "/models/thing/q238231/", "tier": 2, "score": 69, "payload": { "layer": "wikidata", "aliases": [ "ice floe carousel", "Newton disc", "unit disk" ], "aliasCount": 3, "merged": 3, "knownIn": 69, "facets": null, "markers": [], "lexicalClass": "", "senseRank": null, "alsoRegisteredAs": "vr.tr.disk", "source": { "dataset": "wikidata", "item": "Q238231", "url": "https://www.wikidata.org/wiki/Q238231", "license": "CC0 1.0" } }, "research": { "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-09T21:47:26Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 16.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: 01a08823-166b-7f62-b493-20c92986cd84\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: disk\nSense to describe: (none recorded)\nDomain code: XCT.QLT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 005: 1001 registered", "usd": 0, "recall": true }, "codex": { "seconds": 50.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: 01a08823-1671-7993-89a7-643a287b6f6a\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: disk\nRegistry id: vr.tr.disk\nPlane / domain: XCT / XCT.QLT\nRegistry definition: (none recorded)\nNames folded into this entry: (none)\n\n\nContext for th" } } }, "metaModel": { "id": "THING-Q238231", "registryId": "vr.tr.disk", "name": "disk", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QLT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q238231/", "model": { "registry_id": "vr.tr.disk", "name": "disk", "purpose": "Enable an agent to recognise a geometric disk, record its boundary and geometric assumptions, and determine which measurements, comparisons and transformations are valid.", "definition": "In plane geometry, a disk is the region consisting of all points whose distance from a fixed center is less than a given positive radius (open disk) or less than or equal to it (closed disk).", "scope_statement": "This model owns disk as an abstract geometric region, provisionally interpreting XCT / XCT.QLT as referring to the geometric sense; it distinguishes Euclidean open and closed disks from topological disks and excludes physical storage devices.", "in_scope": [ "Open and closed disks in the Euclidean plane", "Centre, radius, interior and boundary relationships", "Point membership and relationships between disks", "Area, boundary length and transformations under stated geometric assumptions", "Topological uses of disk, with their conventions explicitly recorded" ], "out_of_scope": [ "Computer storage disks, drives and their data", "Physical disk-shaped components and their material properties", "Circles considered solely as boundary curves", "Annuli and punctured disks as independent kinds of region", "Higher-dimensional balls and spheres", "General ellipses and arbitrary planar regions" ], "distinguishing_features": [ "A Euclidean disk contains all planar points whose distance from a fixed centre is less than, or at most, a specified positive radius.", "A circle contains only points at the specified radius; a disk includes points closer to the centre.", "An annulus with a positive inner radius excludes a central region that a Euclidean disk includes.", "An open disk excludes its boundary; a closed disk includes it.", "A topological disk is identified through a stated homeomorphism convention, which does not supply a Euclidean centre or radius." ], "characteristics": [ { "name": "Interpretation", "kind": "category", "unit_or_values": "Euclidean open disk | Euclidean closed disk | topological open disk | topological closed disk | unresolved", "why_it_matters": "Determines which recognition tests and geometric operations apply." }, { "name": "Ambient space and metric", "kind": "relation", "unit_or_values": "Reference to the containing space and its distance function, where applicable", "why_it_matters": "Distance and boundary depend on the space and metric being used." }, { "name": "Centre", "kind": "relation", "unit_or_values": "Point in the stated Euclidean plane; not intrinsic to a purely topological disk", "why_it_matters": "Anchors Euclidean membership, intersection and transformation calculations." }, { "name": "Radius", "kind": "measurement", "unit_or_values": "Positive real length in stated units; zero requires an explicit degeneracy convention", "why_it_matters": "Determines Euclidean extent, area and boundary length." }, { "name": "Boundary inclusion", "kind": "category", "unit_or_values": "Included | excluded | unresolved", "why_it_matters": "Changes membership at the edge and whether tangency creates an intersection." }, { "name": "Area", "kind": "measurement", "unit_or_values": "Squared length units; πr² for a Euclidean disk", "why_it_matters": "Supports size comparison under a specified measure." }, { "name": "Boundary length", "kind": "measurement", "unit_or_values": "Length units; 2πr for the Euclidean boundary circle", "why_it_matters": "Records edge extent even when the boundary is excluded from the disk." }, { "name": "Membership determination", "kind": "state", "unit_or_values": "Inside | on boundary | outside | indeterminate under available precision", "why_it_matters": "Separates mathematical classification from uncertainty in numerical inputs." } ], "affordances": [ "Test whether a point belongs to an open or closed Euclidean disk.", "Calculate Euclidean area and boundary length from a known radius.", "Classify two Euclidean disks as disjoint, overlapping, tangent, nested or coincident.", "Construct a disk from a centre, radius and boundary convention.", "Apply a transformation and determine whether its image remains a Euclidean disk.", "Assess a topological disk claim against a specified reference space and supporting argument." ] }, "sources": [], "structure": { "bundles": [ { "id": "disk-sense-and-conventions", "name": "Disk sense and conventions", "description": "Establish which mathematical meaning of disk governs the instance.", "rationale": "The name alone does not resolve geometric versus topological meaning or boundary inclusion.", "layers": [ { "id": "geometric-or-topological", "name": "Geometric or topological", "description": "Separate distance-defined disks from spaces identified by topological equivalence.", "findings": [ { "id": "governing-disk-definition", "name": "Governing disk definition", "description": "Record the adopted definition before assigning centre, radius or metric properties.", "questions": [ { "text": "Does disk mean a Euclidean distance-defined region or a space homeomorphic to a specified standard disk?", "kind": "definition", "id": "governing-disk-definition-q01" }, { "text": "Which registry context or mathematical reference supports this interpretation?", "kind": "provenance", "id": "governing-disk-definition-q02" } ] } ] }, { "id": "boundary-and-degeneracy", "name": "Boundary and degeneracy", "description": "Make edge inclusion and exceptional radius conventions explicit.", "findings": [ { "id": "admissible-radius-and-edge", "name": "Admissible radius and edge", "description": "Distinguish strict and non-strict distance inequalities and identify any admitted degenerate cases.", "questions": [ { "text": "Is membership defined by distance less than the radius or less than or equal to it?", "kind": "boundary", "id": "admissible-radius-and-edge-q01" }, { "text": "Must the radius be positive, or does the adopted convention admit a zero-radius case?", "kind": "definition", "id": "admissible-radius-and-edge-q02" } ] } ] } ] }, { "id": "euclidean-extent-and-measure", "name": "Euclidean extent and measure", "description": "Record the information needed to locate and measure a Euclidean disk.", "rationale": "A centre and radius support calculations only within an identified plane, metric and unit system.", "layers": [ { "id": "centre-radius-and-plane", "name": "Centre, radius and plane", "description": "Establish the geometric inputs that determine the disk.", "findings": [ { "id": "distance-based-construction", "name": "Distance-based construction", "description": "Record a centre point, radius and containing plane without confusing a planar disk embedded in three dimensions with a solid ball.", "questions": [ { "text": "What centre, radius, units and Euclidean plane determine this disk?", "kind": "measurement", "id": "distance-based-construction-q01" }, { "text": "If coordinates have three components, what restricts the region to a plane rather than a three-dimensional ball?", "kind": "boundary", "id": "distance-based-construction-q02" } ] } ] }, { "id": "area-and-boundary-length", "name": "Area and boundary length", "description": "Derive measures while preserving their geometric assumptions.", "findings": [ { "id": "valid-euclidean-measures", "name": "Valid Euclidean measures", "description": "For a Euclidean disk of radius r, record area πr² and boundary-circle length 2πr; edge exclusion does not change its area.", "questions": [ { "text": "What area and boundary length follow from the radius in the declared units?", "kind": "measurement", "id": "valid-euclidean-measures-q01" }, { "text": "Is a Euclidean metric available, or would assigning these measurements to a topological disk require additional structure?", "kind": "boundary", "id": "valid-euclidean-measures-q02" } ] } ] } ] }, { "id": "membership-and-disk-relations", "name": "Membership and disk relations", "description": "Support point classification and spatial comparisons between Euclidean disks.", "rationale": "Boundary conventions affect containment and intersection, especially at exact contact.", "layers": [ { "id": "point-membership", "name": "Point membership", "description": "Evaluate distance against the radius and distinguish uncertainty from edge inclusion.", "findings": [ { "id": "interior-edge-exterior-test", "name": "Interior, edge and exterior test", "description": "Compare point-to-centre distance with the radius, then apply the disk's boundary convention to decide membership.", "questions": [ { "text": "Is the point-to-centre distance smaller than, equal to or greater than the radius?", "kind": "measurement", "id": "interior-edge-exterior-test-q01" }, { "text": "If finite precision prevents a reliable comparison, should the result remain indeterminate or follow a declared approximation rule?", "kind": "action", "id": "interior-edge-exterior-test-q02" } ] } ] }, { "id": "pairwise-position", "name": "Pairwise position", "description": "Compare centre separation and radii for disks in the same Euclidean plane.", "findings": [ { "id": "overlap-containment-and-contact", "name": "Overlap, containment and contact", "description": "Use centre separation, radii and edge inclusion together to distinguish boundary-circle contact from actual disk intersection.", "questions": [ { "text": "How does centre separation compare with the sum and absolute difference of the two radii?", "kind": "measurement", "id": "overlap-containment-and-contact-q01" }, { "text": "At a contact point or coincident boundary, do the inclusion conventions permit intersection or containment?", "kind": "boundary", "id": "overlap-containment-and-contact-q02" } ] } ] } ] }, { "id": "transformations-and-topological-equivalence", "name": "Transformations and topological equivalence", "description": "Determine what survives when a disk is moved, scaled or continuously deformed.", "rationale": "Preserving disk topology does not necessarily preserve circular geometry or its measurements.", "layers": [ { "id": "euclidean-disk-transformations", "name": "Euclidean disk transformations", "description": "Track the effects of transformations on centre, radius and circular shape.", "findings": [ { "id": "disk-preservation-test", "name": "Disk preservation test", "description": "Euclidean similarities with positive scale preserve disks; unequal scaling along perpendicular axes produces an ellipse instead.", "questions": [ { "text": "Does the proposed transformation preserve distances up to one positive scale factor?", "kind": "action", "id": "disk-preservation-test-q01" }, { "text": "What are the transformed centre, radius, area and boundary length if it does?", "kind": "measurement", "id": "disk-preservation-test-q02" } ] } ] }, { "id": "topological-disk-claims", "name": "Topological disk claims", "description": "Evaluate equivalence to an open or closed standard disk without importing unsupported metric properties.", "findings": [ { "id": "homeomorphism-and-boundary-context", "name": "Homeomorphism and boundary context", "description": "Record the reference disk and evidence of homeomorphism, distinguishing a manifold boundary from a boundary relative to an ambient space.", "questions": [ { "text": "What homeomorphism or applicable theorem supports equivalence to the chosen open or closed standard disk?", "kind": "provenance", "id": "homeomorphism-and-boundary-context-q01" }, { "text": "Does boundary refer to the space's manifold boundary or its boundary in a specified ambient space?", "kind": "definition", "id": "homeomorphism-and-boundary-context-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 geometric sense is inferred from the domain context; the registry supplies no explicit sense.", "Unqualified 'disk' can mean open or closed depending on the author's convention.", "A topological disk is defined by homeomorphism to a standard disk, rather than by a center and radius; boundary conventions should be checked." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of disk 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": [ "Open disk", "Closed disk", "Unit disk", "Topological disk" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of disk 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": [ "Representing circular regions in geometry and spatial modelling", "Defining neighborhoods in mathematical analysis", "Providing domains for complex functions and boundary-value problems", "Modelling idealized circular cross-sections" ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of disk 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": "Radius", "typical_range": "Any positive real value; no universal typical range", "unit": "Length units, or dimensionless in abstract mathematics" }, { "quantity": "Area", "typical_range": "πr² for a Euclidean disk of radius r", "unit": "Square length units, or dimensionless" }, { "quantity": "Boundary circumference", "typical_range": "2πr for a Euclidean disk of radius r", "unit": "Length units, or dimensionless" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of disk 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": [ "Confusing the disk with its boundary circle", "Leaving boundary inclusion unspecified when it affects membership, compactness, or existence of extrema", "Applying Euclidean area and circumference formulas to a topological disk without specifying its geometry" ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of disk this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-regional-variation", "name": "Regional variation", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Both 'disk' and 'disc' occur in mathematical English; spelling does not reliably distinguish mathematical senses." ], "questions": [ { "id": "evidence-regional-variation-q01", "text": "Which of these regional variation hold for the sense of disk 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": "circle", "difference": "A circle consists only of points exactly one radius from the center; a disk includes the interior." }, { "name": "ball", "difference": "A Euclidean disk is a two-dimensional ball; balls also occur in other dimensions and metric spaces." }, { "name": "annulus", "difference": "An annulus has a central hole bounded by an inner circle; a disk has no such hole." }, { "name": "physical disk", "difference": "A physical disk is a material object with thickness; a geometric disk is an abstract two-dimensional region." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of disk this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does the registry's originating record confirm the geometric sense of disk rather than another abstract or physical sense?", "Does an existing Vercy world model already own this concept and require the registry entry to link to it?", "Should an unqualified disk default to a closed Euclidean disk, or must every instance declare its convention?", "Should topological disks and disks defined using non-Euclidean metrics remain within this entry, and what limits should govern those extensions?", "Which source-backed convention should govern zero-radius cases and their recognition as disks?" ], "statistics": { "bundles": 5, "layers": 9, "findings": 15, "questions": 23 } }, "draft": { "generator": "vr.draft.v3", "status": "draft-generated", "researched": false, "archetype": "abstract concept", "method": "Written from the archetype playbook - what this kind of thing needs beyond identity and provenance - and from the structure that recurred across 6,333 models already researched by two engines. Applied to this entry by rule. No source was read for this thing and no claim here is researched. This entry carries no facets of its own, so they were inferred from its domain - a guess about a whole domain applied to one thing.", "facetsInferred": true, "nextPass": "A researcher replaces this draft with a sourced specification. Treat every sentence below as a proposal to argue with.", "purpose": "Give an agent a durable, checkable way to recognise a disk, record what state it is in, and decide what may be done with it.", "whatItIs": "Enable an agent to recognise a geometric disk, record its boundary and geometric assumptions, and determine which measurements, comparisons and transformations are valid.", "characteristics": { "substance": "abstract", "origin": "conceptual", "agency": "inert" }, "whatYouCanDoWithIt": [ "observed and measured" ], "distinguishingFeatures": [ "Names folded into this entry, which a task may need to split apart again: ice floe carousel, Newton disc, unit disk.", "3 finer distinctions are held as aliases rather than separate entries, because telling them apart needs a task that asks for it.", "Described in 69 Wikipedia languages, which is a measure of how widely the thing is known, not of how important it is." ], "openQuestionsForResearch": [ "Which of the bundles below does a real task actually need, and which are ceremony?", "What does this thing have that the facets do not capture at all?", "Which neighbouring kind is most often confused with a disk, and on what evidence are they told apart?" ], "whatItIsMadeOf": "an abstraction with no physical instance", "physicalCharacter": [ "Does nothing on its own; everything it does, something else did to it.", "These come from the domain this entry sits in rather than from the entry itself, so treat them as a first guess about the whole domain applied to one thing." ], "whatCanBeDoneWithIt": [ "observe it, measure it, record its state" ], "howItIsRecognised": [ "Nothing to see. What is recognised is an instance of it, and which instances count is exactly what is argued about." ], "relatedModels": [ { "relation": "covers", "note": "Finer kinds folded into this entry because telling them apart needs a task that asks for it. Each is a model waiting to be split out when one does.", "targets": [ "ice floe carousel", "Newton disc", "unit disk" ] } ], "standing": "Described in 69 Wikipedia languages, which measures how widely it is written about rather than how important or how common it is. 3 finer distinctions are held inside this entry as names rather than as separate models.", "structure": { "bundles": [ { "id": "identity-and-classification", "name": "Identity, naming and classification", "description": "How an agent tells one disk from another, and a disk from things that resemble it.", "rationale": "Recognition comes before every other claim. Without stable identity nothing else in the model can be trusted to be about the same thing twice.", "layers": [ { "id": "naming-and-identifiers", "name": "Names and identifiers", "description": "The names this thing goes by and the identifiers that survive translation and time.", "findings": [ { "id": "preferred-name-and-aliases", "name": "Preferred name, aliases and local names", "description": "Which name to use, which names mean the same thing, and which merely sound similar.", "questions": [ { "id": "preferred-name-and-aliases-q01", "text": "What identifies and describes the name of a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "preferred-name-and-aliases-q02", "text": "Who or what asserted this about the name of a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "preferred-name-and-aliases-q03", "text": "What may an agent decide or do once the name of a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] }, { "id": "stable-identifiers", "name": "Stable identifiers and external keys", "description": "Identifiers that keep pointing at this kind of thing across systems and languages.", "questions": [ { "id": "stable-identifiers-q01", "text": "What identifies and describes an identifier for a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "stable-identifiers-q02", "text": "Who or what asserted this about an identifier for a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "stable-identifiers-q03", "text": "What may an agent decide or do once an identifier for a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "classification-and-granularity", "name": "Classification and granularity", "description": "Where a disk sits among kinds, and how finely a task needs to cut it.", "findings": [ { "id": "kind-and-parents", "name": "Kind, parents and neighbouring kinds", "description": "The classes this thing belongs to and the ones it is next to.", "questions": [ { "id": "kind-and-parents-q01", "text": "What identifies and describes the kind of a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "kind-and-parents-q02", "text": "Who or what asserted this about the kind of a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "kind-and-parents-q03", "text": "What may an agent decide or do once the kind of a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] }, { "id": "distinguishing-features", "name": "Distinguishing features", "description": "What separates a disk from the things most often confused with it.", "questions": [ { "id": "distinguishing-features-q01", "text": "What identifies and describes what distinguishes a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "distinguishing-features-q02", "text": "Who or what asserted this about what distinguishes a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "distinguishing-features-q03", "text": "What may an agent decide or do once what distinguishes a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "state-and-lifecycle", "name": "State and lifecycle", "description": "The states a disk passes through and the events that move it between them.", "rationale": "Most decisions about a thing depend on what state it is in now, which is a claim with a time on it, not a property.", "layers": [ { "id": "lifecycle-stages", "name": "Lifecycle stages", "description": "From coming into existence to ceasing to be one of these.", "findings": [ { "id": "stages-and-transitions", "name": "Stages and transitions", "description": "The stages worth naming and what moves a disk between them.", "questions": [ { "id": "stages-and-transitions-q01", "text": "What identifies and describes the lifecycle of a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "stages-and-transitions-q02", "text": "Who or what asserted this about the lifecycle of a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "stages-and-transitions-q03", "text": "What may an agent decide or do once the lifecycle of a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "observations-and-status", "name": "Observations and current status", "description": "What is observed about a disk, how often and by whom.", "findings": [ { "id": "observation-record", "name": "Observation record", "description": "How an observation of a disk is recorded so that it can be superseded rather than overwritten.", "questions": [ { "id": "observation-record-q01", "text": "What identifies and describes an observation of a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "observation-record-q02", "text": "Who or what asserted this about an observation of a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "observation-record-q03", "text": "What may an agent decide or do once an observation of a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "definitions-in-contest", "name": "Definitions and who holds them", "description": "What disk is taken to mean, and by whom.", "rationale": "When a field disagrees about a concept, the disagreement is the content. A model that picks one definition silently destroys the information.", "layers": [ { "id": "competing-definitions", "name": "Competing definitions", "description": "The main readings and the traditions behind them.", "findings": [ { "id": "definition-map", "name": "Definitions and their holders", "description": "Each definition with the school or body that holds it.", "questions": [ { "id": "definition-map-q01", "text": "Which definitions of disk are in use, and which tradition or body holds each?", "kind": "definition" }, { "id": "definition-map-q02", "text": "What turns on the difference between them in practice?", "kind": "boundary" } ] } ] }, { "id": "operationalisation", "name": "Operationalisation", "description": "How it is measured or applied when it has to be.", "findings": [ { "id": "operational-record", "name": "Measures and proxies", "description": "Instruments and indicators used to stand in for it.", "questions": [ { "id": "operational-record-q01", "text": "How is disk operationalised or measured in practice, and by what instrument?", "kind": "measurement" }, { "id": "operational-record-q02", "text": "What does that operationalisation leave out, and when does that matter?", "kind": "boundary" } ] } ] } ] }, { "id": "instances-and-use", "name": "Instances, use and consequence", "description": "What counts as an instance of disk and what follows from calling something that.", "rationale": "Applying a concept is an act with consequences, so a model must say what the label licenses and what it does not.", "layers": [ { "id": "instances", "name": "What counts as an instance", "description": "Clear cases, borderline cases and non-cases.", "findings": [ { "id": "instance-tests", "name": "Tests for an instance", "description": "What would settle whether something falls under it.", "questions": [ { "id": "instance-tests-q01", "text": "What would settle whether something is an instance of disk?", "kind": "boundary" }, { "id": "instance-tests-q02", "text": "Which borderline cases are argued about, and on what grounds?", "kind": "definition" } ] } ] }, { "id": "consequence", "name": "Consequence of application", "description": "Rights, duties or decisions that follow from the label.", "findings": [ { "id": "consequence-record", "name": "What the label licenses", "description": "What an agent may do once something is classified this way.", "questions": [ { "id": "consequence-record-q01", "text": "What follows practically once something is treated as disk?", "kind": "action" }, { "id": "consequence-record-q02", "text": "What must an agent not infer from the label alone?", "kind": "action" } ] } ] } ] }, { "id": "provenance-and-evidence", "name": "Provenance, evidence and time", "description": "Where every claim about a disk came from and when it held.", "rationale": "A claim without a source and a time cannot be superseded, only overwritten, and an agent that overwrites loses the ability to explain itself.", "layers": [ { "id": "source-and-authority", "name": "Source and authority", "description": "Who said it, on what evidence, and how strongly.", "findings": [ { "id": "claim-provenance", "name": "Claim provenance and confidence", "description": "The authority behind each claim about a disk and how confident it is.", "questions": [ { "id": "claim-provenance-q01", "text": "What identifies and describes a claim about a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "claim-provenance-q02", "text": "Who or what asserted this about a claim about a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "claim-provenance-q03", "text": "What may an agent decide or do once a claim about a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "time-and-versions", "name": "Time, versions and supersession", "description": "When a claim was true, when it was learnt, and what replaced it.", "findings": [ { "id": "validity-and-supersession", "name": "Validity period and supersession", "description": "How an old claim about a disk is retired without being erased.", "questions": [ { "id": "validity-and-supersession-q01", "text": "What identifies and describes the validity of a claim about a disk, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "validity-and-supersession-q02", "text": "Who or what asserted this about the validity of a claim about a disk, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "validity-and-supersession-q03", "text": "What may an agent decide or do once the validity of a claim about a disk is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] } ] }, "statistics": { "bundles": 5, "layers": 10, "findings": 12, "questions": 32 } } } }