{ "model": { "rank": 2531, "code": "thing-q33456", "model_id": "vr.tr.exponentiation", "name": "exponentiation", "purpose": "Enable an AI agent to recognise an exponentiation, determine whether it is defined under the applicable mathematical conventions, and choose justified evaluation, comparison or transformation actions.", "family": "Thing Registry", "category": "Cross-cutting context", "status": "research-draft", "kind": "thing", "plane": "XCT", "domain": "XCT.QLT", "industry": "", "version": "", "url": "/models/thing/q33456/", "tier": 2, "score": 103, "payload": { "layer": "wikidata", "aliases": [], "aliasCount": 0, "merged": 0, "knownIn": 103, "facets": null, "markers": [], "lexicalClass": "", "senseRank": null, "alsoRegisteredAs": null, "source": { "dataset": "wikidata", "item": "Q33456", "url": "https://www.wikidata.org/wiki/Q33456", "license": "CC0 1.0" } }, "research": { "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-07T09:51:40Z", "providers": [ "Codex", "Grok" ], "missingProviders": [], "pass": 2, "cost": { "grok": { "usd": 0.00980526, "turns": 1, "seconds": 155, "error": null }, "codex": { "seconds": 85.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: 01a07b45-2a6f-74f1-8ab2-724faaa668da\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: exponentiation\nRegistry id: vr.tr.exponentiation\nPlane / domain: XCT / XCT.REL\nRegistry definition: (none recorded)\nNames folded into this entry: (no" } } }, "metaModel": { "id": "THING-Q33456", "registryId": "vr.tr.exponentiation", "name": "exponentiation", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.REL" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q33456/", "model": { "registry_id": "vr.tr.exponentiation", "name": "exponentiation", "purpose": "Enable an AI agent to recognise an exponentiation, determine whether it is defined under the applicable mathematical conventions, and choose justified evaluation, comparison or transformation actions.", "definition": "Exponentiation is the binary operation that sends a base a and an exponent b to a power a^b, defined as iterated multiplication of a when b is a natural number and extended to integer, rational, real and complex exponents by taking inverses, roots and the identity a^b = exp(b Log a), which is single-valued for positive real a and in general multi-valued once Log is.", "scope_statement": "This model owns exponentiation as an operation applied to a base and an exponent, including operand roles, mathematical setting, defining conventions, result interpretation, admissible power laws and evaluation requirements.", "in_scope": [ "Identification of the base, exponent and grouping in a power expression.", "Operand domains and the mathematical structure that gives exponentiation meaning.", "Conditions of definedness, including zero, negative bases and noninteger exponents.", "Single-valued, branch-selected or multivalued interpretations where applicable.", "Conditions for evaluating, comparing and rewriting powers.", "Exact and approximate results, including numerical limits and error requirements." ], "out_of_scope": [ "General multiplication and the full theory of the algebraic structure containing the base.", "Logarithms and root extraction as independently modelled operations.", "Exponential functions considered as functions with domains, graphs, derivatives and integrals.", "General equation solving, including complete solution sets for exponential equations.", "Applications such as compound interest, radioactive decay and cryptographic protocols.", "Programming-language operator specifications except where they determine the meaning or evaluation of a recorded power." ], "distinguishing_features": [ "A power assigns different roles to its operands: in a^b, a is the base and b is the exponent; swapping them generally changes the result.", "For a positive integer exponent n, a^n denotes a product of n copies of a, whereas n times a denotes repeated addition.", "Exponentiation starts with a base and an exponent; root extraction and logarithms instead seek an operand from a specified power value.", "A power expression records an application of an operation; treating x ↦ a^x as a function additionally requires identifying x as a variable and specifying its domain.", "The symbol ^ establishes exponentiation only when the notation or execution context assigns it that meaning; in some contexts it denotes a different operation." ], "characteristics": [ { "name": "Operand roles and grouping", "kind": "relation", "unit_or_values": "Base expression, exponent expression and explicit parenthesisation", "why_it_matters": "Distinguishes expressions such as (-a)^b, -(a^b), (a^b)^c and a^(b^c)." }, { "name": "Mathematical setting", "kind": "category", "unit_or_values": "Real numbers, complex numbers, modular arithmetic, another explicitly specified structure, or unresolved", "why_it_matters": "Determines which powers exist, what their results mean and which identities are available." }, { "name": "Base properties", "kind": "state", "unit_or_values": "Known or unknown zero status, sign where ordered, magnitude where defined, and invertibility where required", "why_it_matters": "Controls cases such as negative exponents, real fractional powers and monotonic comparison." }, { "name": "Exponent class", "kind": "category", "unit_or_values": "Positive integer, zero, negative integer, noninteger rational, irrational real, nonreal complex, or unresolved", "why_it_matters": "Selects the applicable definition and the obligations for extending beyond repeated multiplication." }, { "name": "Definedness", "kind": "state", "unit_or_values": "Defined, conditionally defined, undefined under the selected convention, or unresolved", "why_it_matters": "Prevents an agent from treating every syntactically valid power as an available value." }, { "name": "Value interpretation", "kind": "category", "unit_or_values": "Single-valued, selected branch, multivalued, or unresolved; record the governing convention", "why_it_matters": "Prevents a selected value from being mistaken for every permitted value." }, { "name": "Result representation", "kind": "category", "unit_or_values": "Exact symbolic expression, exact numeric value, certified enclosure, approximate numeric value, or unevaluated expression", "why_it_matters": "Determines whether downstream equality tests and transformations can rely on exactness." }, { "name": "Numerical error requirement", "kind": "measurement", "unit_or_values": "Absolute tolerance in result units, dimensionless relative tolerance, or requested precision", "why_it_matters": "Determines whether an approximate evaluation is adequate for the intended action." } ], "affordances": [ "Resolve notation into a base, exponent and explicit grouping.", "Check definedness and expose assumptions needed to obtain a value.", "Evaluate a power exactly or approximately under a declared interpretation.", "Apply or reject a power-law rewrite after checking its domain and branch conditions.", "Compare or bound powers using justified sign, ordering and magnitude information.", "Preserve an unevaluated power or request a missing convention when evaluation would otherwise change its meaning." ] }, "sources": [ { "id": "wikipedia-exponentiation", "title": "Exponentiation. Wikimedia Foundation", "url": "https://en.wikipedia.org/wiki/Exponentiation", "what_it_supports": "Definition via iterated multiplication and its extensions; 0^0 conventions; notation; distinction from the exponential function and from tetration.", "url_status": "live" }, { "id": "iso-80000-2", "title": "ISO 80000-2:2019 Quantities and units - Part 2: Mathematics. International Organization for Standardization", "url": "", "what_it_supports": "Standard mathematical notation and names for powers, exponents and roots used in scientific writing." }, { "id": "ieee-754-2019", "title": "IEEE Std 754-2019, IEEE Standard for Floating-Point Arithmetic. IEEE", "url": "", "what_it_supports": "Recommended operations pow, pown and powr, including domain conventions such as pow(±0, ±0) = 1 and the treatment of negative bases." }, { "id": "knuth-taocp-2", "title": "The Art of Computer Programming, Volume 2: Seminumerical Algorithms. Donald E. Knuth, Addison-Wesley", "url": "", "what_it_supports": "Binary (square-and-multiply) exponentiation, modular exponentiation, and the place of exponentiation in the hyperoperation hierarchy." }, { "id": "nist-dlmf", "title": "NIST Digital Library of Mathematical Functions, Chapter 4 (Elementary Functions). National Institute of Standards and Technology", "url": "https://dlmf.nist.gov/", "what_it_supports": "Analytic definition of exp and Log and the resulting treatment of real and complex powers, including branch cuts.", "url_status": "live" } ], "structure": { "bundles": [ { "id": "power-expression", "name": "Power expression", "description": "Records what expression is being interpreted as exponentiation and how its operands are bound.", "rationale": "An agent must identify the actual power before assessing its meaning or evaluating it.", "layers": [ { "id": "operand-binding", "name": "Operand binding", "description": "Separates the base and exponent from surrounding signs and operations.", "findings": [ { "id": "base-exponent-grouping", "name": "Base, exponent and grouping", "description": "Record the two operands and preserve grouping rather than inferring it from a flattened string.", "questions": [ { "text": "Which complete expression is the base, and which complete expression is the exponent?", "kind": "definition", "id": "base-exponent-grouping-q01" }, { "text": "Do minus signs or nested powers belong inside an operand or outside this exponentiation?", "kind": "boundary", "id": "base-exponent-grouping-q02" } ] } ] }, { "id": "notation-context", "name": "Notation context", "description": "Establishes how the source notation denotes a power.", "findings": [ { "id": "operator-interpretation", "name": "Operator interpretation", "description": "Record the notation or language convention that makes the expression an exponentiation.", "questions": [ { "text": "What source or notation convention establishes that the operator denotes exponentiation?", "kind": "provenance", "id": "operator-interpretation-q01" }, { "text": "How does that convention group an unparenthesised expression such as a^b^c?", "kind": "definition", "id": "operator-interpretation-q02" } ] } ] } ] }, { "id": "domain-and-definition", "name": "Domain and definition", "description": "Records the setting and exponent class that determine the meaning of the power.", "rationale": "Repeated multiplication alone does not define every exponentiation an agent may encounter.", "layers": [ { "id": "ambient-structure", "name": "Ambient structure", "description": "Identifies where the operands live and where a result is permitted to live.", "findings": [ { "id": "operand-result-domains", "name": "Operand and result domains", "description": "Record the mathematical setting, relevant operations and any permitted extension of the result domain.", "questions": [ { "text": "In which domains or structures are the base, exponent and intended result interpreted?", "kind": "definition", "id": "operand-result-domains-q01" }, { "text": "May evaluation extend a real-valued expression into complex values, or must it remain within the declared domain?", "kind": "boundary", "id": "operand-result-domains-q02" } ] } ] }, { "id": "exponent-definition", "name": "Exponent-dependent definition", "description": "Connects the exponent class to the definition being used.", "findings": [ { "id": "power-construction", "name": "Power construction", "description": "Record whether the power uses repeated multiplication, an inverse, a root-based convention or another specified extension.", "questions": [ { "text": "What is known about the exponent's class, and what definition gives the power meaning for that class?", "kind": "definition", "id": "power-construction-q01" }, { "text": "For a negative integer exponent, is the base invertible in the selected setting?", "kind": "boundary", "id": "power-construction-q02" }, { "text": "For a noninteger exponent, which definition or convention authorises the extension beyond integer powers?", "kind": "provenance", "id": "power-construction-q03" } ] } ] } ] }, { "id": "definedness-and-branches", "name": "Definedness and branches", "description": "Records exceptional inputs and choices that determine whether a power has an admissible value.", "rationale": "Zero, negative bases and complex interpretations can make evaluation conditional or convention-dependent.", "layers": [ { "id": "exceptional-operands", "name": "Exceptional operands", "description": "Checks input cases that require more than the ordinary positive-base rule.", "findings": [ { "id": "zero-and-negative-base-cases", "name": "Zero and negative-base cases", "description": "Record the actual base and exponent conditions before assigning definedness.", "questions": [ { "text": "Can the base be zero, and if so is the exponent positive, zero, negative or still unknown?", "kind": "boundary", "id": "zero-and-negative-base-cases-q01" }, { "text": "If both operands are zero, which context-specific convention governs 0^0?", "kind": "definition", "id": "zero-and-negative-base-cases-q02" }, { "text": "For a negative real base and a noninteger exponent, does the selected real or complex interpretation define a value?", "kind": "boundary", "id": "zero-and-negative-base-cases-q03" } ] } ] }, { "id": "branch-selection", "name": "Branch selection", "description": "Makes any branch choice or multivalued interpretation explicit.", "findings": [ { "id": "selected-power-values", "name": "Selected power values", "description": "Record whether an interpretation selects one value or retains multiple values, together with its governing branch convention.", "questions": [ { "text": "Is this power interpreted as single-valued, branch-selected or multivalued?", "kind": "definition", "id": "selected-power-values-q01" }, { "text": "If the definition uses a complex logarithm, which logarithm branch or set of logarithm values is used?", "kind": "definition", "id": "selected-power-values-q02" }, { "text": "Would crossing a branch boundary require changing the selected value or refusing the proposed continuation?", "kind": "action", "id": "selected-power-values-q03" } ] } ] } ] }, { "id": "power-laws-and-comparison", "name": "Power laws and comparison", "description": "Records the conditions under which powers may be rewritten or ordered.", "rationale": "Familiar power laws can become invalid when operand domains, invertibility or branch choices change.", "layers": [ { "id": "conditional-rewrites", "name": "Conditional rewrites", "description": "Attaches applicability conditions to each proposed algebraic transformation.", "findings": [ { "id": "rewrite-obligations", "name": "Rewrite obligations", "description": "Record the intended identity and establish its conditions before using it.", "questions": [ { "text": "Which rewrite is proposed: combining equal bases, distributing a power over a product, or replacing a power of a power?", "kind": "action", "id": "rewrite-obligations-q01" }, { "text": "Are both sides defined and equal under the recorded domain, operand assumptions and branch choices?", "kind": "boundary", "id": "rewrite-obligations-q02" }, { "text": "If the bases belong to a structure with noncommutative multiplication, does the rewrite require a commutativity condition?", "kind": "boundary", "id": "rewrite-obligations-q03" } ] } ] }, { "id": "ordering-and-bounds", "name": "Ordering and bounds", "description": "Establishes whether available operand information supports comparing or bounding results.", "findings": [ { "id": "comparison-conditions", "name": "Comparison conditions", "description": "Record the ordered setting, operand restrictions and direction of monotonicity needed for a comparison.", "questions": [ { "text": "Does the result domain support the requested order comparison?", "kind": "boundary", "id": "comparison-conditions-q01" }, { "text": "For a positive real base, is it below one, equal to one or above one, and what does that imply when comparing exponents?", "kind": "measurement", "id": "comparison-conditions-q02" }, { "text": "What bounds on the base and exponent justify a bound on this power without exact evaluation?", "kind": "action", "id": "comparison-conditions-q03" } ] } ] } ] }, { "id": "evaluation-and-result", "name": "Evaluation and result", "description": "Records how the power is to be computed and how its result may safely be used.", "rationale": "A mathematically defined power may still be unevaluated, approximated inaccurately or outside a computational representation's range.", "layers": [ { "id": "evaluation-plan", "name": "Evaluation plan", "description": "Selects an evaluation approach consistent with the mathematical interpretation and required output.", "findings": [ { "id": "method-and-target", "name": "Method and target", "description": "Record whether evaluation should produce an exact value, approximation, enclosure or retained symbolic expression.", "questions": [ { "text": "Does the intended use require an exact value, a certified bound or a numerical approximation?", "kind": "action", "id": "method-and-target-q01" }, { "text": "Which evaluation method preserves the declared domain and branch interpretation for these operands?", "kind": "action", "id": "method-and-target-q02" }, { "text": "Would retaining the power symbolically preserve information that the available numerical representation would lose?", "kind": "boundary", "id": "method-and-target-q03" } ] } ] }, { "id": "result-quality", "name": "Result quality", "description": "Separates mathematical definedness from computational success and approximation quality.", "findings": [ { "id": "accuracy-and-range", "name": "Accuracy and range", "description": "Record evaluation status, numerical error and representation limits before accepting the result.", "questions": [ { "text": "What precision or error bound accompanies the computed power, and does it meet the intended use?", "kind": "measurement", "id": "accuracy-and-range-q01" }, { "text": "Did evaluation encounter overflow, underflow or a domain error, and does that reflect the mathematics or only the implementation?", "kind": "boundary", "id": "accuracy-and-range-q02" }, { "text": "Would uncertain or rounded operands materially change the result or its definedness, requiring higher precision or an explicit enclosure?", "kind": "action", "id": "accuracy-and-range-q03" } ] } ] } ] }, { "id": "evidence-and-external-alignment", "name": "Evidence and external alignment", "description": "What the world already says about this thing, gathered so the model can be checked against it.", "rationale": "A model that cannot be lined up against existing standards, identifiers and practice cannot be adopted by anyone who already uses them.", "layers": [ { "id": "reported-evidence", "name": "Reported evidence", "description": "Findings from the breadth pass, kept separate from the structural claims.", "findings": [ { "id": "evidence-kinds", "name": "Kinds and varieties", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "Natural-number powers (iterated multiplication of the base)", "Integer powers (negative exponents as multiplicative inverses)", "Rational powers and nth roots (principal versus real root)", "Real powers of a positive base via exp and ln", "Complex powers (principal branch versus the multi-valued logarithm)", "Modular exponentiation a^e mod m", "Powers in algebraic structures (monoids, rings, matrices A^n)", "Ordinal exponentiation (transfinite; not commutative in the exponent)" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-identifiers", "name": "Identifiers and schemes", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ { "scheme": "Wikidata", "value_or_pattern": "Q334204", "note": "Item commonly used for the binary operation exponentiation, as distinct from the exponential function." }, { "scheme": "IEEE 754 recommended operation names", "value_or_pattern": "pow | pown | powr", "note": "pow is general; pown is integral exponent; powr is exp(y log x) and requires a positive base." }, { "scheme": "Unicode", "value_or_pattern": "U+00B2, U+00B3, U+2070-U+2079; ASCII U+005E (^) as an ad hoc infix", "note": "Typographic superscripts versus the ASCII circumflex used as a power operator in some languages." }, { "scheme": "Programming operator / library", "value_or_pattern": "** | pow() | Math.pow", "note": "Python, Fortran, Ada and JavaScript use **; C, Java and many libraries use pow. In C, Java and Python, ^ is bitwise XOR, not power." } ], "questions": [ { "id": "evidence-identifiers-q01", "text": "Which of these identifiers and schemes hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-standards-and-regulation", "name": "Standards and regulation", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "ISO 80000-2:2019 Quantities and units - Part 2: Mathematics (International Organization for Standardization) - notation for powers and roots.", "IEEE Std 754-2019 IEEE Standard for Floating-Point Arithmetic (IEEE) - pow, pown, powr and their exceptional cases.", "ISO/IEC 9899 (C language, ISO/IEC) and corresponding language standards - library function pow and related domain errors.", "FIPS 186-5 Digital Signature Standard (NIST) and RFC 8017 PKCS #1 (IETF) - modular exponentiation as used in RSA." ], "questions": [ { "id": "evidence-standards-and-regulation-q01", "text": "Which of these standards and regulation hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-real-world-use", "name": "Real-world use", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "Compound interest and present-value discounting written as (1 + r)^n.", "Scientific notation and SI order-of-magnitude prefixes based on powers of ten (and binary prefixes as powers of two).", "Public-key cryptography: RSA decryption/signature and Diffie-Hellman as modular exponentiation with large exponents.", "Physical power laws (inverse-square intensity, polynomial monomials in models) and complexity bounds written n^k versus k^n.", "Spreadsheet, calculator and language runtimes evaluating a^b, including integer powering by squaring." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-measurements", "name": "Typical measurements", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ { "quantity": "exponent (as a pure number)", "typical_range": "elementary use about −10 to 10; binary64 pow exponents that stay finite depend on the base; cryptographic exponents up to thousands of bits", "unit": "1 (dimensionless)" }, { "quantity": "IEEE binary64 power result (finite)", "typical_range": "about 4.9e-324 (min subnormal) to about 1.8e308; outside this, underflow to 0 or overflow to infinity", "unit": "1, or the unit of the base raised to the exponent" }, { "quantity": "RSA/DH modulus size (bit length of m in a^e mod m)", "typical_range": "2048 to 4096 in current civil practice", "unit": "bit" }, { "quantity": "multiplications in square-and-multiply", "typical_range": "on the order of log2(|e|) to 2 log2(|e|)", "unit": "1 (count of multiplications)" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-failure-modes-and-hazards", "name": "Failure modes and hazards", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "0^0 is an indeterminate form in analysis; IEEE 754 pow and many programming languages return 1, so the same expression is undefined in one setting and defined in another.", "Negative base with a non-integer real exponent is undefined over the reals: libraries return NaN, raise a domain error, or switch to complex arithmetic.", "Floating-point overflow to infinity and underflow to zero; large exponents also lose all precision in the significand of a^b when computed as exp(b ln a).", "Complex a^b is discontinuous across the branch cut of Log, usually the negative real axis, so mathematically close bases can yield far results.", "Secret-exponent modular exponentiation leaks via timing, cache and power side-channels unless exponentiation is constant-time.", "Writing a^b as a^b in C, Java or Python performs bitwise XOR, not power, silently giving a wrong integer." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-regional-variation", "name": "Regional variation", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "Infix notation: superscript in print; ** in Python, Fortran, Ada and JavaScript; ^ in TeX, MATLAB, Excel, R and classic BASIC; ↑ in Knuth up-arrow notation.", "0^0 is taught as undefined in real analysis and as 1 in combinatorics (empty product) and in most programming languages.", "Names: English exponentiation / raising to a power; French élévation à une puissance; German Potenzieren / Potenz.", "Scientific notation: 1.5×10^3 or 1.5e3 in much English-language computing versus 1,5·10^3 with a decimal comma in much of continental Europe." ], "questions": [ { "id": "evidence-regional-variation-q01", "text": "Which of these regional variation hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-neighbours", "name": "Neighbouring kinds and how to tell them apart", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ { "name": "exponential function", "difference": "The exponential is the unary map x ↦ b^x (usually e^x). Exponentiation is the binary map (a, b) ↦ a^b; the exponential is the slice with the base fixed." }, { "name": "tetration (and higher hyperoperations)", "difference": "Tetration iterates exponentiation (a tower of height n). Exponentiation iterates multiplication only once; Knuth's ↑ versus ↑↑ is the notation test." }, { "name": "multiplication", "difference": "a^n for natural n is n-fold multiplication of a; multiplication itself is not an exponent. Test: a^2 = a·a, not a new primitive at this level." }, { "name": "logarithm", "difference": "Logarithm inverts exponentiation in the exponent: log_a(a^b) = b (on a suitable branch). It is not a power." }, { "name": "matrix exponential exp(A)", "difference": "exp(A) = Σ A^k/k! is an analytic function of a matrix. The matrix power A^n is repeated multiplication; they coincide only in special cases such as A = tI." }, { "name": "polynomial (power-law) growth versus exponential growth", "difference": "n^k with fixed k is polynomial in n; k^n with fixed k>1 is exponential in n. Asymptotically k^n / n^k → ∞." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of exponentiation this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does the registry intend exponentiation to cover only scalar numerical powers, or also matrix, operator, ordinal and cardinal exponentiation?", "Which neighbouring registered entries own exponential functions, logarithms and root extraction, and how should shared assumptions be linked?", "Which conventions should be adopted for 0^0 in each supported mathematical and computational context?", "Should complex exponentiation default to a specified principal branch, require an explicit branch choice or permit a multivalued result?", "Which authoritative mathematical references and execution-environment specifications should substantiate the supported definitions, rewrite conditions and evaluation behaviour?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 18, "questions": 35 } }, "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 exponentiation, record what state it is in, and decide what may be done with it.", "whatItIs": "Enable an AI agent to recognise an exponentiation, determine whether it is defined under the applicable mathematical conventions, and choose justified evaluation, comparison or transformation actions.", "characteristics": { "substance": "abstract", "origin": "conceptual", "agency": "inert" }, "whatYouCanDoWithIt": [ "observed and measured" ], "distinguishingFeatures": [ "Described in 103 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 exponentiation, 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": [], "standing": "Described in 103 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 exponentiation from another, and a exponentiation 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 exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation 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 exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation from the things most often confused with it.", "questions": [ { "id": "distinguishing-features-q01", "text": "What identifies and describes what distinguishes a exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation 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 exponentiation between them.", "questions": [ { "id": "stages-and-transitions-q01", "text": "What identifies and describes the lifecycle of a exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation, how often and by whom.", "findings": [ { "id": "observation-record", "name": "Observation record", "description": "How an observation of a exponentiation 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 exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation 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 exponentiation 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 exponentiation 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 exponentiation 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 exponentiation?", "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 exponentiation?", "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 exponentiation 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 exponentiation and how confident it is.", "questions": [ { "id": "claim-provenance-q01", "text": "What identifies and describes a claim about a exponentiation, 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 exponentiation, 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 exponentiation 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 exponentiation is retired without being erased.", "questions": [ { "id": "validity-and-supersession-q01", "text": "What identifies and describes the validity of a claim about a exponentiation, 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 exponentiation, 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 exponentiation 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 } } } }