{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T08:45:01Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 18.5, "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: 01a094c8-b40c-75b1-9d08-36012d3083bf\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: Clausen function\nSense to describe: (none recorded)\nDomain code: XCT.REL\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 043: 100", "usd": 0.0, "recall": true }, "codex": { "seconds": 125.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: 01a094c8-b400-7460-a93b-05b91ad76a1c\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: Clausen function\nRegistry id: vr.tr.clausen-function\nPlane / domain: XCT / XCT.REL\nRegistry definition: (none recorded)\nNames folded into this entry:" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:42:05+00:00", "fields": [ "agent_conduct", "ethics", "failure_modes_and_hazards", "owners", "visual_identification" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-07T10:10:33+00:00", "evidence": [ "completeness 1.00", "sense: Wikidata description", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-Q823290", "registryId": "vr.tr.clausen-function", "name": "Clausen function", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.REL" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q823290/", "model": { "registry_id": "vr.tr.clausen-function", "name": "Clausen function", "purpose": "Enable an agent to recognize Clausen-function expressions, resolve their conventions, and select justified symbolic or numerical operations.", "definition": "The Clausen function usually denotes the real, odd, 2π-periodic special function Cl₂(θ) = Σₙ₌₁∞ sin(nθ)/n², equivalently the imaginary part of the dilogarithm Li₂(eⁱθ).", "scope_statement": "This model owns vr.tr.clausen-function in XCT / XCT.REL, provisionally centered on the classical real function Cl_2, with explicit boundaries for higher-order conventions and complex continuations.", "in_scope": [ "Identification of the classical Cl_2 function and its defining normalization", "Fourier-series, logarithmic-integral, and dilogarithm representations", "Real-argument domains, periodicity, symmetry, and endpoint behavior", "Evaluation methods, error requirements, and validation identities", "Notation and scope decisions for generalized Clausen functions" ], "out_of_scope": [ "The general theory of polylogarithms and dilogarithms", "Clausen's hypergeometric identities", "Independent models of Catalan's constant and other special values", "Full models of physical or geometric problems using Clausen functions", "General-purpose numerical-library architecture" ], "distinguishing_features": [ "For real theta, the classical function has the identifying series Cl_2(theta) = sum_{k>=1} sin(k theta)/k^2; record both the sine numerator and order-two denominator. See [mpmath definitions](https://mpmath.org/doc/current/functions/zeta.html#clsin).", "On 0 < theta < 2*pi, it equals -integral_0^theta log(2*sin(t/2)) dt, with normalization Cl_2(0)=0. See [GSL Clausen functions](https://www.gnu.org/software/gsl/doc/html/specfunc.html#clausen-functions).", "For real theta, it is Im Li_2(exp(i theta)), rather than the full complex dilogarithm. See [GSL Clausen functions](https://www.gnu.org/software/gsl/doc/html/specfunc.html#clausen-functions).", "A generalized sine function, a complementary cosine function, and the classical Cl_2 require explicit differentiation by formula and order. See [mpmath Clausen functions](https://mpmath.org/doc/current/functions/zeta.html#clsin)." ], "characteristics": [ { "name": "Function convention", "kind": "category", "unit_or_values": "classical Cl_2; generalized sine; generalized cosine; other explicitly sourced convention", "why_it_matters": "A shared Clausen label does not establish that two expressions denote the same function." }, { "name": "Order", "kind": "measurement", "unit_or_values": "dimensionless; 2 for the classical function; otherwise explicitly specified", "why_it_matters": "Determines the intended family member and which representations apply." }, { "name": "Argument", "kind": "measurement", "unit_or_values": "real angle in radians; complex argument only under a declared continuation", "why_it_matters": "Controls interpretation, argument reduction, and admissible operations." }, { "name": "Representation", "kind": "category", "unit_or_values": "Fourier series; logarithmic integral; polylogarithmic expression; numerical approximation", "why_it_matters": "Equivalent descriptions can have different validity conditions and numerical behavior." }, { "name": "Continuation convention", "kind": "state", "unit_or_values": "real-domain definition; specified complex branch; unresolved", "why_it_matters": "Prevents real-variable identities from being extended without justification." }, { "name": "Evaluation accuracy", "kind": "measurement", "unit_or_values": "absolute error; relative error where meaningful; working precision", "why_it_matters": "Makes a computed value usable and exposes unreliable relative accuracy near zeros." }, { "name": "Defining authority", "kind": "relation", "unit_or_values": "reference or implementation documenting the exact convention", "why_it_matters": "Supports comparison across publications and software interfaces." } ], "affordances": [ "Recognize a Clausen expression from its formula and resolve ambiguous notation.", "Convert between representations after checking argument and branch conditions.", "Reduce real arguments using justified symmetry and periodicity.", "Evaluate a specified function member to a declared error target.", "Validate computed values against independent representations and special cases.", "Express suitable logarithmic-trigonometric integrals using Cl_2 with explicit substitutions and limits." ], "agent_conduct": { "may": [ "Evaluate and explain the Clausen function, its series and its relation to the dilogarithm.", "Check numerical values against reliable references." ], "must_not": [ "Present an unverified identity involving the function as proven.", "Use a slowly converging series without error bounds in a result others rely on.", "Confuse the two-index Clausen functions or the standard and alternate notations." ], "requires_human": [ "Publishing a new result about the function under a person's name." ] }, "ethics": { "considerations": [ "Accurate attribution and verified results matter in mathematical work." ], "affected_parties": [ "Students", "Mathematicians", "Physicists using its values" ] }, "owners": { "steward": "Nobody owns it; it is a mathematical function.", "master_systems": [] }, "visual_identification": [ "Written Cl2 of theta, a periodic wave-like curve that is zero at multiples of pi." ], "failure_modes_and_hazards": [ "Truncated series give inaccurate values near the peaks." ], "what_it_is_for": [ "The Clausen function occurs in special-function theory, Fourier analysis and evaluations of definite integrals.", "It helps express results involving dilogarithms on the unit circle, with the order and convention checked before symbolic or numerical evaluation." ], "facets_not_applicable": { "interfaces": "No specific standard, law or official classification applies to this mathematical function." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q823290: Clausen function", "url": "https://www.wikidata.org/wiki/Q823290", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Clausen function", "url": "https://en.wikipedia.org/wiki/Clausen_function", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "identity-and-conventions", "name": "Identity and conventions", "description": "Determine exactly which function a Clausen label denotes.", "rationale": "The registry supplies no definition, so classical scope and generalized notation must be resolved explicitly.", "layers": [ { "id": "classical-definition", "name": "Classical definition", "description": "Establish the identifying formula and normalization of Cl_2.", "findings": [ { "id": "defining-formula", "name": "Defining formula", "description": "Record the formula that establishes identity, including order, sign, argument scaling, and normalization.", "questions": [ { "text": "Does the expression match sum_{k>=1} sin(k theta)/k^2, or does it introduce a different sign, scale, or order?", "kind": "definition", "id": "defining-formula-q01" }, { "text": "Which reference establishes the adopted definition and normalization?", "kind": "provenance", "id": "defining-formula-q02" } ] } ] }, { "id": "generalized-notation", "name": "Generalized notation", "description": "Resolve higher-order and sine-versus-cosine naming conventions.", "findings": [ { "id": "family-membership", "name": "Family membership", "description": "Treat broader Clausen terminology as a scope decision requiring a defining formula.", "questions": [ { "text": "Does this source use Clausen function for Cl_2 alone, a sine family, or an order-dependent sine/cosine convention?", "kind": "definition", "id": "family-membership-q01" }, { "text": "Should the cited generalization be represented within this entry or linked to a separately registered concept?", "kind": "boundary", "id": "family-membership-q02" } ] } ] } ] }, { "id": "representations-and-validity", "name": "Representations and validity", "description": "Connect interchangeable formulas while preserving their mathematical conditions.", "rationale": "Representation changes enable computation and simplification but can silently change domains or branches.", "layers": [ { "id": "series-and-integral", "name": "Series and integral", "description": "Specify convergence and logarithm conventions for real-variable definitions.", "findings": [ { "id": "real-representation-conditions", "name": "Real representation conditions", "description": "Capture the argument interval, convergence justification, and treatment of logarithmic endpoints.", "questions": [ { "text": "On what domain is the selected Fourier series convergent and equal to the intended Clausen function?", "kind": "boundary", "id": "real-representation-conditions-q01" }, { "text": "When extending the logarithmic integral beyond its initial interval, is an absolute value or another explicit convention required?", "kind": "definition", "id": "real-representation-conditions-q02" } ] } ] }, { "id": "dilogarithm-connection", "name": "Dilogarithm connection", "description": "Control use of unit-circle polylogarithm representations.", "findings": [ { "id": "continuation-and-branches", "name": "Continuation and branches", "description": "Separate the real-argument imaginary-part identity from a proposed complex continuation.", "questions": [ { "text": "Are the assumptions needed to replace Cl_2(theta) by Im Li_2(exp(i theta)) satisfied?", "kind": "action", "id": "continuation-and-branches-q01" }, { "text": "If the argument is complex, which analytic expression, branches, and cuts define the continuation?", "kind": "definition", "id": "continuation-and-branches-q02" } ] } ] } ] }, { "id": "real-argument-behavior", "name": "Real-argument behavior", "description": "Describe transformations and local behavior relevant to real Cl_2 arguments.", "rationale": "Argument reduction and endpoint handling determine which evaluations and calculus operations are justified.", "layers": [ { "id": "symmetry-and-reduction", "name": "Symmetry and reduction", "description": "Establish periodicity and reflection rules from the adopted definition.", "findings": [ { "id": "argument-equivalence", "name": "Argument equivalence", "description": "Record the derivation and sign bookkeeping for equivalent real arguments.", "questions": [ { "text": "How do the defining sine series establish oddness and 2*pi periodicity for classical Cl_2?", "kind": "definition", "id": "argument-equivalence-q01" }, { "text": "Which reduced argument and sign preserve the requested value while improving evaluation?", "kind": "action", "id": "argument-equivalence-q02" } ] } ] }, { "id": "logarithmic-endpoints", "name": "Logarithmic endpoints", "description": "Distinguish finite function values from singular derivative behavior.", "findings": [ { "id": "endpoint-regularity", "name": "Endpoint regularity", "description": "Require separate evidence for continuity, differentiability, and local approximations near multiples of 2*pi.", "questions": [ { "text": "What limits and differentiability statements follow from the logarithmic integral at multiples of 2*pi?", "kind": "boundary", "id": "endpoint-regularity-q01" }, { "text": "Which local expansion and remainder control should be used near an endpoint?", "kind": "measurement", "id": "endpoint-regularity-q02" } ] } ] } ] }, { "id": "numerical-evaluation", "name": "Numerical evaluation", "description": "Make computed Clausen values reproducible and assessable.", "rationale": "A formula alone does not establish that a numerical result meets an application's accuracy requirements.", "layers": [ { "id": "method-selection", "name": "Method selection", "description": "Choose an evaluator compatible with the function convention and argument regime.", "findings": [ { "id": "evaluator-contract", "name": "Evaluator contract", "description": "Record the implementation, precision, input interpretation, and supported function member.", "questions": [ { "text": "Does the selected routine evaluate classical Cl_2 or a generalized family with an explicit order parameter?", "kind": "definition", "id": "evaluator-contract-q01" }, { "text": "Which method meets the error target for this argument, especially near zeros or after reducing a very large angle?", "kind": "action", "id": "evaluator-contract-q02" } ] } ] }, { "id": "error-and-cross-checks", "name": "Error and cross-checks", "description": "Distinguish reported digits from verified accuracy.", "findings": [ { "id": "accuracy-evidence", "name": "Accuracy evidence", "description": "Attach meaningful error information and independent checks to evaluated values.", "questions": [ { "text": "Is the uncertainty a rigorous bound, an implementation estimate, or agreement observed at increased precision?", "kind": "measurement", "id": "accuracy-evidence-q01" }, { "text": "Do independent representations agree within the claimed absolute error, including at symmetry-related arguments?", "kind": "measurement", "id": "accuracy-evidence-q02" } ] } ] } ] }, { "id": "symbolic-use-and-special-values", "name": "Symbolic use and special values", "description": "Support exact transformations and use in larger mathematical expressions.", "rationale": "An agent must distinguish a valid identity from a numerical coincidence and preserve conditions during substitution.", "layers": [ { "id": "special-value-evidence", "name": "Special-value evidence", "description": "Record exact values and relations at distinguished arguments.", "findings": [ { "id": "exact-versus-approximate", "name": "Exact versus approximate", "description": "Keep proofs, symbolic representations, and decimal evaluations distinguishable.", "questions": [ { "text": "Which values at integer or rational multiples of pi have an established exact expression under this normalization?", "kind": "definition", "id": "exact-versus-approximate-q01" }, { "text": "What derivation or reference proves each claimed relation to a named constant?", "kind": "provenance", "id": "exact-versus-approximate-q02" } ] } ] }, { "id": "integral-transformations", "name": "Integral transformations", "description": "Use the logarithmic-integral representation in a surrounding calculation.", "findings": [ { "id": "substitution-conditions", "name": "Substitution conditions", "description": "Preserve integration limits, scale factors, additive constants, and logarithm conventions.", "questions": [ { "text": "Which substitution converts the target logarithmic-trigonometric integral to the adopted Cl_2 definition?", "kind": "action", "id": "substitution-conditions-q01" }, { "text": "What interval restrictions, endpoint limits, and integration constants must accompany the resulting expression?", "kind": "boundary", "id": "substitution-conditions-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 unqualified name normally means Cl₂, but the registry should confirm whether it intends the classical function or the generalized family.", "Generalized Clausen notation and Lobachevsky function normalization vary between references.", "This description is recalled mathematical knowledge; no sources were consulted." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of Clausen function 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": [ "Classical second-order Clausen function Cl₂", "Generalized Clausen functions defined by sine Fourier series", "Generalized Clausen functions defined by cosine Fourier series" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of Clausen function this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-real-world-use", "name": "Real-world use", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Expressing integrals involving logarithms of trigonometric functions.", "Evaluating certain definite integrals and infinite series.", "Expressing volumes of ideal tetrahedra in hyperbolic geometry.", "Representing special-function terms in some Feynman integral calculations." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of Clausen function 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 conventions for generalized Clausen functions, especially which orders use sine or cosine series.", "Using angles in degrees when the defining series assumes radians.", "Mishandling logarithm or dilogarithm branches when using complex representations.", "Assuming smoothness at multiples of 2π: Cl₂ is continuous there, but its derivative has a logarithmic singularity.", "Obtaining inaccurate numerical values through naive series truncation or cancellation near zeros." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of Clausen function 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": "Dilogarithm", "difference": "Li₂ is a function of a complex variable; Cl₂ is its imaginary part restricted to arguments on the unit circle." }, { "name": "Polylogarithm", "difference": "The polylogarithm Liₛ(z) has a variable order and complex argument; generalized Clausen series arise from its real or imaginary parts on the unit circle." }, { "name": "Lobachevsky function", "difference": "Under the convention Λ(θ) = −∫₀θ log|2 sin t| dt, Λ(θ) = Cl₂(2θ)/2; the argument and normalization differ." }, { "name": "Catalan's constant", "difference": "Catalan's constant is the particular value Cl₂(π/2), rather than a function." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of Clausen function this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does the registry's intended source identify this entry with classical Cl_2 alone or the broader Clausen family?", "Which higher-order naming convention should be canonical when references use different sine/cosine conventions?", "Should complex continuations be owned by this model, and which branch convention would be authoritative?", "Which independently verified special values, identities, and numerical error guarantees are sufficient for publication?", "Does an existing Vercy world model already cover this concept and require this registry entry to link to it?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 15, "questions": 25 } }