{ "model": { "rank": 2850, "code": "thing-q41299", "model_id": "vr.tr.quadratic-equation", "name": "quadratic equation", "purpose": "Enable an AI agent to recognise a quadratic equation, determine its admissible solutions, and choose valid transformations and solution methods under explicit domain assumptions.", "family": "Thing Registry", "category": "Information and virtual systems", "status": "research-draft", "kind": "thing", "plane": "INF", "domain": "INF.MED", "industry": "", "version": "", "url": "/models/thing/q41299/", "tier": 2, "score": 96, "payload": { "layer": "wikidata", "aliases": [], "aliasCount": 0, "merged": 0, "knownIn": 96, "facets": null, "markers": [], "lexicalClass": "", "senseRank": null, "alsoRegisteredAs": null, "source": { "dataset": "wikidata", "item": "Q41299", "url": "https://www.wikidata.org/wiki/Q41299", "license": "CC0 1.0" } }, "research": { "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-07T11:52:35Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 20.3, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.3\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: 01a07bb5-745a-7830-a878-f8783f9ac180\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: quadratic equation\nSense to describe: (none recorded)\nDomain code: INF.MED\nAlso known as: (none)\n\n\nContext for this batch of 711 things:\n# Batch 003: 10", "usd": 0, "recall": true }, "codex": { "seconds": 71.6, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.3\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: 01a07bb5-746d-7c23-aff0-023ba99b0d2e\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: quadratic equation\nRegistry id: vr.tr.quadratic-equation\nPlane / domain: INF / INF.MED\nRegistry definition: (none recorded)\nNames folded into this en" } } }, "metaModel": { "id": "THING-Q41299", "registryId": "vr.tr.quadratic-equation", "name": "quadratic equation", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "INF.MED" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q41299/", "model": { "registry_id": "vr.tr.quadratic-equation", "name": "quadratic equation", "purpose": "Enable an AI agent to recognise a quadratic equation, determine its admissible solutions, and choose valid transformations and solution methods under explicit domain assumptions.", "definition": "A quadratic equation in one variable is a polynomial equation of degree two, conventionally written ax² + bx + c = 0 with a ≠ 0.", "scope_statement": "This model owns a quadratic equation as a mathematical constraint in one unknown, including its coefficients, interpretation domain, equivalent representations, root structure and solution status; it does not treat the equation as a document or physical carrier.", "in_scope": [ "Recognition of the form ax² + bx + c = 0 with a nonzero", "Coefficient domain, unknown domain and parameter restrictions", "Standard, factored and completed-square representations", "Roots, multiplicities and admissibility constraints", "Solution methods, equivalence conditions and numerical verification" ], "out_of_scope": [ "Quadratic functions as mappings with their full graph and optimisation behaviour", "Quadratic inequalities and their interval solution sets", "Multivariable quadratic equations, quadratic forms and conic sections", "General polynomial equations of degrees other than two", "Documents, software implementations and physical systems in which an equation occurs" ], "distinguishing_features": [ "After valid simplification, the equation is polynomial in one designated unknown and has degree exactly two.", "The leading coefficient is nonzero under the stated parameter assumptions; cases where it vanishes require separate classification.", "The equality imposes a constraint to solve, whereas a quadratic expression alone has no asserted equality and a quadratic function specifies a mapping.", "Expressions such as xy + x + 1 = 0 are not univariate quadratic equations unless the unknown designation and treatment of other symbols make the degree exactly two.", "An equation that becomes quadratic only after squaring, substitution or denominator clearing requires recorded domain restrictions and a solution correspondence." ], "characteristics": [ { "name": "Designated unknown", "kind": "category", "unit_or_values": "Symbol and interpretation of the single unknown", "why_it_matters": "Degree and coefficient status depend on which symbol is being solved for." }, { "name": "Coefficient triple", "kind": "measurement", "unit_or_values": "(a, b, c), with exact or approximate values and any applicable units", "why_it_matters": "Determines the equation and whether its terms are dimensionally compatible." }, { "name": "Coefficient domain", "kind": "category", "unit_or_values": "Integers, rationals, reals, complex numbers or another explicitly identified algebraic domain", "why_it_matters": "Controls permissible arithmetic, factorisation and applicability of solution formulas." }, { "name": "Admissible unknown domain", "kind": "category", "unit_or_values": "Specified number system with optional interval, integrality or contextual restrictions", "why_it_matters": "A mathematically valid root may fall outside the permitted solution set." }, { "name": "Quadratic status", "kind": "state", "unit_or_values": "Confirmed quadratic, conditional on parameters, degenerate or unresolved", "why_it_matters": "Prevents use of quadratic methods when the leading coefficient can be zero." }, { "name": "Discriminant", "kind": "measurement", "unit_or_values": "Δ = b² − 4ac, represented exactly or with numerical uncertainty", "why_it_matters": "For real coefficients, its sign distinguishes two distinct real roots, a repeated real root and no real roots." }, { "name": "Root multiplicity", "kind": "category", "unit_or_values": "Simple or double for each established root", "why_it_matters": "Distinguishes a repeated root from two distinct solutions." }, { "name": "Representation relationship", "kind": "relation", "unit_or_values": "Equivalent equation, conditional equivalence or transformation with candidate solutions requiring checks", "why_it_matters": "Records whether a rewritten equation preserves the original admissible solution set." }, { "name": "Solution status", "kind": "state", "unit_or_values": "Unsolved, partially solved, fully solved or numerically unresolved", "why_it_matters": "Separates finding candidates from establishing all admissible solutions." } ], "affordances": [ "Normalise an equation into standard form while preserving domain restrictions.", "Classify roots using coefficient assumptions and the discriminant.", "Select factoring, completing the square or the quadratic formula when their prerequisites hold.", "Partition parameter values into quadratic and degenerate cases.", "Compute exact or approximate roots and verify their admissibility in the original equation.", "Compare representations and identify whether their solution sets coincide under stated assumptions." ] }, "sources": [], "structure": { "bundles": [ { "id": "quadratic-identity", "name": "Quadratic identity", "description": "Establishes what makes the recorded constraint a quadratic equation in one unknown.", "rationale": "An equation's apparent notation can conceal a different degree, a different unknown or a conditional leading coefficient.", "layers": [ { "id": "unknown-and-degree", "name": "Unknown and degree", "description": "Identifies the unknown and establishes the degree after justified simplification.", "findings": [ { "id": "univariate-quadratic-test", "name": "Univariate quadratic test", "description": "Recognition requires a designated unknown and a polynomial form of degree exactly two in that unknown.", "questions": [ { "text": "Which symbol is the unknown, and which remaining symbols are fixed coefficients or parameters?", "kind": "definition", "id": "univariate-quadratic-test-q01" }, { "text": "After collecting terms through valid operations, is the highest nonzero power of the unknown exactly two?", "kind": "boundary", "id": "univariate-quadratic-test-q02" } ] } ] }, { "id": "coefficient-cases", "name": "Coefficient cases", "description": "Records the coefficient triple and conditions on the leading coefficient.", "findings": [ { "id": "nonzero-leading-coefficient", "name": "Nonzero leading coefficient", "description": "The quadratic classification requires a ≠ 0; a = 0 produces a linear or constant equation that must be handled separately.", "questions": [ { "text": "What are a, b and c in ax² + bx + c = 0, and are their values exact, approximate or parameter-dependent?", "kind": "measurement", "id": "nonzero-leading-coefficient-q01" }, { "text": "For which parameter values does a vanish, and what equation remains in each such case?", "kind": "boundary", "id": "nonzero-leading-coefficient-q02" } ] } ] } ] }, { "id": "domains-and-admissibility", "name": "Domains and admissibility", "description": "Makes the arithmetic setting and restrictions on acceptable roots explicit.", "rationale": "The same written quadratic can have different solution sets and require different methods in different domains.", "layers": [ { "id": "algebraic-setting", "name": "Algebraic setting", "description": "Separates the coefficient domain from the domain in which solutions are sought.", "findings": [ { "id": "permitted-arithmetic", "name": "Permitted arithmetic", "description": "Division, square roots and factorisation must be interpreted in the declared algebraic setting; the familiar quadratic formula is not universally applicable.", "questions": [ { "text": "In which domain do the coefficients lie, and in which domain must the unknown take values?", "kind": "definition", "id": "permitted-arithmetic-q01" }, { "text": "Are division by 2a and the required square-root operations available in this setting?", "kind": "action", "id": "permitted-arithmetic-q02" } ] } ] }, { "id": "inherited-restrictions", "name": "Inherited restrictions", "description": "Preserves restrictions supplied by an original expression or an application.", "findings": [ { "id": "admissible-root-filter", "name": "Admissible root filter", "description": "Roots of the polynomial are candidates until checked against exclusions, interval bounds, integrality requirements and contextual constraints.", "questions": [ { "text": "Which restrictions on the unknown were inherited from denominators, radicals, substitutions or the originating problem?", "kind": "provenance", "id": "admissible-root-filter-q01" }, { "text": "Which polynomial roots satisfy every recorded restriction, including any unit and sign requirements?", "kind": "boundary", "id": "admissible-root-filter-q02" } ] } ] } ] }, { "id": "representations-and-transformations", "name": "Representations and transformations", "description": "Connects standard, factored and completed-square forms through justified transformations.", "rationale": "Different forms reveal different properties, but transformations can lose restrictions or introduce candidates.", "layers": [ { "id": "equivalent-forms", "name": "Equivalent forms", "description": "Records useful representations and the conditions under which they express the same constraint.", "findings": [ { "id": "form-correspondence", "name": "Form correspondence", "description": "Standard form exposes coefficients, factored form exposes roots when the factors exist in the chosen domain, and completed-square form exposes a squared offset.", "questions": [ { "text": "Which standard, factored or completed-square forms are available in the declared domain?", "kind": "definition", "id": "form-correspondence-q01" }, { "text": "Does expansion or another valid identity establish that each proposed form preserves the original equation?", "kind": "action", "id": "form-correspondence-q02" } ] } ] }, { "id": "transformation-conditions", "name": "Transformation conditions", "description": "Tracks operations whose validity depends on nonzero expressions or restricted substitutions.", "findings": [ { "id": "solution-set-preservation", "name": "Solution-set preservation", "description": "Multiplication, division, squaring and changes of unknown require explicit checks for lost roots, introduced roots and excluded values.", "questions": [ { "text": "Which steps require a divisor to be nonzero or a substitution to be invertible on the admissible domain?", "kind": "boundary", "id": "solution-set-preservation-q01" }, { "text": "How will candidates be mapped back and checked when the quadratic was obtained from a different original equation?", "kind": "action", "id": "solution-set-preservation-q02" } ] } ] } ] }, { "id": "root-structure-and-solving", "name": "Root structure and solving", "description": "Determines root type and multiplicity and selects a justified solution procedure.", "rationale": "An agent must distinguish the existence and structure of roots from the mechanics of computing them.", "layers": [ { "id": "discriminant-classification", "name": "Discriminant classification", "description": "Uses the discriminant within its applicable domain to classify roots.", "findings": [ { "id": "real-coefficient-root-cases", "name": "Real-coefficient root cases", "description": "For real coefficients with a ≠ 0, positive, zero and negative discriminants indicate two distinct real roots, a double real root and a nonreal conjugate pair respectively.", "questions": [ { "text": "What is b² − 4ac, and is its sign established exactly or only estimated numerically?", "kind": "measurement", "id": "real-coefficient-root-cases-q01" }, { "text": "Given the coefficient and solution domains, how many distinct roots exist and what are their multiplicities?", "kind": "definition", "id": "real-coefficient-root-cases-q02" } ] } ] }, { "id": "solution-method-selection", "name": "Solution method selection", "description": "Chooses a method based on available structure and the required output.", "findings": [ { "id": "method-preconditions", "name": "Method preconditions", "description": "Factoring, direct square-root extraction, completing the square and the quadratic formula offer different routes whose suitability depends on coefficients and domain assumptions.", "questions": [ { "text": "Do zero coefficients, a visible factorisation or a perfect-square form permit a simpler justified solution?", "kind": "action", "id": "method-preconditions-q01" }, { "text": "Should the result be exact, parameter-conditional or numerical, and which applicable method supports that requirement?", "kind": "action", "id": "method-preconditions-q02" } ] } ] } ] }, { "id": "verification-and-numerical-reliability", "name": "Verification and numerical reliability", "description": "Checks solution correctness, completeness and sensitivity to numerical error.", "rationale": "A reported root can be inadmissible, incomplete or inaccurate even when a familiar formula was used.", "layers": [ { "id": "solution-validation", "name": "Solution validation", "description": "Checks candidates against the original constraint and accounts for all applicable cases.", "findings": [ { "id": "correctness-and-completeness", "name": "Correctness and completeness", "description": "Validation combines substitution into the original equation with a domain-appropriate argument that all admissible roots and parameter cases have been covered.", "questions": [ { "text": "Does each candidate satisfy the original equation exactly or to a justified numerical tolerance?", "kind": "action", "id": "correctness-and-completeness-q01" }, { "text": "What establishes that no admissible root or exceptional parameter case was omitted?", "kind": "boundary", "id": "correctness-and-completeness-q02" } ] } ] }, { "id": "finite-precision-behaviour", "name": "Finite-precision behaviour", "description": "Records precision limits, cancellation risk and sensitivity near repeated roots.", "findings": [ { "id": "numerical-root-confidence", "name": "Numerical root confidence", "description": "Finite-precision evaluation can suffer cancellation, overflow or underflow, while roots near a repeated-root case can be sensitive to coefficient perturbations; a small residual alone does not establish a small root error.", "questions": [ { "text": "What coefficient uncertainty and arithmetic precision affect the discriminant and computed roots?", "kind": "measurement", "id": "numerical-root-confidence-q01" }, { "text": "Is rescaling, a cancellation-avoiding evaluation or higher precision needed to justify the requested accuracy?", "kind": "action", "id": "numerical-root-confidence-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": [ "This describes the conventional algebraic sense in one variable; the supplied domain code INF.MED should be checked for classification fit.", "Root counts and discriminant statements assume real or complex coefficients as specified; other coefficient fields require additional qualifications.", "This is recalled mathematical knowledge, with no sources consulted." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of quadratic equation 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": [ "Quadratic equations with real coefficients", "Quadratic equations with complex coefficients", "Monic quadratic equations, with a = 1", "Pure quadratic equations, with b = 0", "Quadratic equations with zero constant term, c = 0" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of quadratic equation 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": [ "Calculating times or positions in constant-acceleration motion.", "Finding intersections of a parabola with a straight line.", "Solving area and dimension constraints in geometry.", "Finding break-even points in quadratic revenue or cost models.", "Determining eigenvalues of a two-by-two matrix through its characteristic equation." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of quadratic equation 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": "Polynomial degree", "typical_range": "Exactly 2", "unit": "Dimensionless" }, { "quantity": "Number of distinct real roots for real coefficients", "typical_range": "0, 1, or 2", "unit": "Count" }, { "quantity": "Number of complex roots counted with multiplicity", "typical_range": "Exactly 2 for complex coefficients", "unit": "Count" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of quadratic equation 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": [ "Treating an equation with a = 0 as quadratic; its degree is lower.", "For real coefficients, misclassifying roots: the discriminant b² − 4ac is positive for two distinct real roots, zero for a repeated real root, and negative for two nonreal complex conjugate roots.", "Losing a root by dividing by an expression that can equal zero, such as x when c = 0.", "Introducing extraneous solutions through transformations such as squaring without checking the original equation.", "Losing numerical accuracy through cancellation in direct evaluation of the quadratic formula, especially when subtracting nearly equal quantities." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of quadratic equation 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": "Quadratic polynomial", "difference": "A polynomial is an expression; a quadratic equation imposes an equality involving a polynomial of degree two." }, { "name": "Quadratic function", "difference": "A quadratic function maps inputs to outputs; a quadratic equation asks which inputs satisfy an equality." }, { "name": "Linear equation", "difference": "A linear polynomial equation has degree one rather than two." }, { "name": "Quadratic inequality", "difference": "An inequality compares expressions using an order relation rather than equality." }, { "name": "General second-degree equation in two variables", "difference": "It can include x², xy, and y² terms and describe a conic; the sense covered here has one variable." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of quadratic equation this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Should this registry entry cover arbitrary coefficient fields and rings, including characteristic two, or establish real and complex arithmetic as its default scope?", "Should equations reducible to a quadratic by substitution be represented here as derived equations or owned entirely by neighbouring equation models?", "What identity rule should distinguish an equation from scalar multiples and other representations with the same admissible solution set?", "What numerical error evidence and tolerance conventions should be required before an approximate solution is marked fully solved?", "Does an existing Vercy world model already own this concept, and how should the supplied INF / INF.MED placement align with its treatment as a mathematical constraint?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 16, "questions": 26 } }, "draft": { "generator": "vr.draft.v3", "status": "draft-generated", "researched": false, "archetype": "work, medium or creative form", "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 quadratic equation, record what state it is in, and decide what may be done with it.", "whatItIs": "Enable an AI agent to recognise a quadratic equation, determine its admissible solutions, and choose valid transformations and solution methods under explicit domain assumptions.", "characteristics": { "substance": "information", "origin": "conceptual", "agency": "inert" }, "whatYouCanDoWithIt": [ "read and interpreted", "observed and measured" ], "distinguishingFeatures": [ "Described in 96 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 quadratic equation, and on what evidence are they told apart?" ], "whatItIsMadeOf": "content that has to be carried by something else", "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": [ "read it and act on what it says", "observe it, measure it, record its state" ], "howItIsRecognised": [ "What is seen is a copy or a performance, not the work. Recognising the work means recognising the content through whatever is carrying it." ], "relatedModels": [], "standing": "Described in 96 Wikipedia languages, which measures how widely it is written about rather than how important or how common it is.", "structure": { "bundles": [ { "id": "identity-and-classification", "name": "Identity, naming and classification", "description": "How an agent tells one quadratic equation from another, and a quadratic equation 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 quadratic equation, 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 quadratic equation, 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 quadratic equation 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 quadratic equation, 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 quadratic equation, 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 quadratic equation 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 quadratic equation 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 quadratic equation, 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 quadratic equation, 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 quadratic equation 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 quadratic equation from the things most often confused with it.", "questions": [ { "id": "distinguishing-features-q01", "text": "What identifies and describes what distinguishes a quadratic equation, 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 quadratic equation, 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 quadratic equation 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 quadratic equation 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 quadratic equation between them.", "questions": [ { "id": "stages-and-transitions-q01", "text": "What identifies and describes the lifecycle of a quadratic equation, 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 quadratic equation, 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 quadratic equation 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 quadratic equation, how often and by whom.", "findings": [ { "id": "observation-record", "name": "Observation record", "description": "How an observation of a quadratic equation 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 quadratic equation, 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 quadratic equation, 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 quadratic equation is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "content-and-access", "name": "Content, encoding and access", "description": "What a quadratic equation says, how it is encoded and who may read it.", "rationale": "An informational thing carries content that can be copied, versioned and withheld, none of which its physical carrier explains.", "layers": [ { "id": "content-and-encoding", "name": "Content and encoding", "description": "The content itself, its format and its language.", "findings": [ { "id": "content-and-format", "name": "Content, format and language", "description": "What a quadratic equation contains and in what form it is held.", "questions": [ { "id": "content-and-format-q01", "text": "What identifies and describes the content of a quadratic equation, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "content-and-format-q02", "text": "Who or what asserted this about the content of a quadratic equation, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "content-and-format-q03", "text": "What may an agent decide or do once the content of a quadratic equation is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "access-and-rights", "name": "Access, rights and retention", "description": "Who may read, copy or change it, and for how long it is kept.", "findings": [ { "id": "access-rules", "name": "Access rules and retention", "description": "The permissions attached to a quadratic equation and the period it survives.", "questions": [ { "id": "access-rules-q01", "text": "What identifies and describes access to a quadratic equation, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "access-rules-q02", "text": "Who or what asserted this about access to a quadratic equation, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "access-rules-q03", "text": "What may an agent decide or do once access to a quadratic equation is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "work-and-manifestation", "name": "Work, version and copy", "description": "Which level of quadratic equation a statement is about.", "rationale": "The work, the edition, the file and the copy in hand are four things; rights and content attach to different ones.", "layers": [ { "id": "levels", "name": "Levels of the thing", "description": "Work, expression, manifestation and item, in plain terms.", "findings": [ { "id": "level-rules", "name": "What belongs at each level", "description": "Which facts hold for the work and which only for one copy.", "questions": [ { "id": "level-rules-q01", "text": "For quadratic equation, which facts belong to the work itself, which to a version, and which to a single copy?", "kind": "boundary" }, { "id": "level-rules-q02", "text": "What identifier exists at each level, and which one is being cited?", "kind": "definition" } ] } ] }, { "id": "versions", "name": "Versions, editions and variants", "description": "How versions differ and which is canonical to whom.", "findings": [ { "id": "version-record", "name": "Versions and canonicity", "description": "Differences that matter and who calls one authoritative.", "questions": [ { "id": "version-record-q01", "text": "Which versions or editions of quadratic equation exist, and how do they differ substantively?", "kind": "definition" }, { "id": "version-record-q02", "text": "Who treats which version as authoritative, and for what purpose?", "kind": "provenance" } ] } ] } ] }, { "id": "authorship-and-rights", "name": "Authorship, rights and permitted use", "description": "Who made quadratic equation and what may be done with it.", "rationale": "Rights are jurisdictional, time-limited and attached to a level, and an agent that ignores that will copy what it may not.", "layers": [ { "id": "authorship", "name": "Authorship and contribution", "description": "Who contributed what, and in what capacity.", "findings": [ { "id": "contribution-record", "name": "Contributors and roles", "description": "The people and bodies behind it, with their roles.", "questions": [ { "id": "contribution-record-q01", "text": "Who authored or contributed to quadratic equation, in what roles, and how is that attested?", "kind": "provenance" }, { "id": "contribution-record-q02", "text": "Where authorship is disputed or anonymous, what is recorded instead?", "kind": "boundary" } ] } ] }, { "id": "rights", "name": "Rights and permissions", "description": "Which rights subsist, where, until when, and what they permit.", "findings": [ { "id": "rights-record", "name": "Rights, term and permitted acts", "description": "The regime in force and what it allows.", "questions": [ { "id": "rights-record-q01", "text": "What rights subsist in quadratic equation, in which jurisdictions, and until when?", "kind": "definition" }, { "id": "rights-record-q02", "text": "Which acts are permitted without further permission, and which must an agent refuse?", "kind": "action" } ] } ] } ] }, { "id": "provenance-and-evidence", "name": "Provenance, evidence and time", "description": "Where every claim about a quadratic equation 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 quadratic equation and how confident it is.", "questions": [ { "id": "claim-provenance-q01", "text": "What identifies and describes a claim about a quadratic equation, 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 quadratic equation, 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 quadratic equation 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 quadratic equation is retired without being erased.", "questions": [ { "id": "validity-and-supersession-q01", "text": "What identifies and describes the validity of a claim about a quadratic equation, 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 quadratic equation, 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 quadratic equation is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] } ] }, "statistics": { "bundles": 6, "layers": 12, "findings": 14, "questions": 38 } } } }