{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-13T01:37:50Z",
    "providers": [
      "Claude"
    ],
    "breadth": "written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify",
    "pass": 2,
    "wave": 3,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-06T10:00:00Z",
      "ingestedAt": "2026-10-06T07:02:17+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-06T19:52:02+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q868473",
    "registryId": "vr.tr.smooth-function",
    "name": "smooth function",
    "version": "0.2.0-wave.3",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QLT"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q868473/",
  "model": {
    "registry_id": "vr.tr.smooth-function",
    "name": "smooth function",
    "purpose": "Let an agent define smooth functions and related classes, relay their properties and examples from analysis and geometry references, explain their role in manifolds and physics, and distinguish smooth from continuous, differentiable and analytic functions.",
    "definition": "A function that has continuous derivatives of all orders, also called infinitely differentiable or of class C infinity, the standard regularity assumption in differential geometry and analysis, with examples such as polynomials, exponentials and bump functions that are smooth yet vanish outside a bounded set, Schwartz functions that decay rapidly with all derivatives, and flat functions with all derivatives zero at a point; smooth maps between manifolds, local diffeomorphisms, Lie group actions and harmonic maps are built on this notion.",
    "what_it_is_for": "Not applicable; a mathematical class of functions.",
    "affordances": [
      "define and give examples",
      "relay properties",
      "explain role in geometry",
      "distinguish from related classes"
    ],
    "distinguishing_features": [
      "Derivatives of all orders",
      "Not necessarily analytic",
      "Partitions of unity",
      "Foundation of manifolds"
    ],
    "appearance": "A graph without corners or cusps for functions of one variable.",
    "visual_identification": [
      "Infinitely differentiable function",
      "Bump, Schwartz, flat functions, smooth maps",
      "Continuous functions may lack derivatives; analytic functions are smoother still; C^k functions have only k derivatives"
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "smooth functions on the real line and Euclidean space",
      "bump functions and partitions of unity",
      "Schwartz functions",
      "flat functions",
      "smooth maps between manifolds and local diffeomorphisms",
      "smooth Lie group actions",
      "harmonic maps as smooth maps satisfying an equation"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "continuously differentiable function",
        "why": "in registry terms"
      },
      {
        "relation": "is a kind of",
        "target": "k times continuously differentiable function",
        "why": "in registry terms, for all k"
      },
      {
        "relation": "is a kind of",
        "target": "scalar function of scalar variable",
        "why": "in registry terms, in the one-variable case"
      },
      {
        "relation": "is contrasted with",
        "target": "analytic function",
        "why": "which equals its Taylor series"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "No regulation; mathematical conventions"
    ],
    "failure_modes_and_hazards": [
      "Confusing smooth with analytic",
      "Assuming smoothness where only continuity holds",
      "Conflating distinct special classes"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Define, test and use smoothness conditions in analysis and numerical work.",
        "Explain where smoothness assumptions hold and where they fail in a model."
      ],
      "must_not": [
        "Assume a function is smooth in a proof or model without checking it.",
        "Hide that a numerical method's error bound depends on an unverified smoothness assumption.",
        "Present a result from a smooth model as valid for data with shocks or kinks."
      ],
      "requires_human": [
        "Relying on a smooth model for decisions with safety or financial consequences."
      ]
    },
    "ethics": {
      "considerations": [
        "Smoothness assumptions in engineering and finance models fail precisely in crises.",
        "Clear statements of assumptions let others check and reuse work."
      ],
      "affected_parties": [
        "Engineers and modellers",
        "People affected by model-based decisions",
        "Students"
      ]
    },
    "owners": {
      "steward": "Nobody owns the concept; it belongs to shared mathematical knowledge.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q868473: smooth function",
      "url": "https://www.wikidata.org/wiki/Q868473",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Smoothness",
      "url": "https://en.wikipedia.org/wiki/Smoothness",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "define",
        "name": "Define",
        "description": "Definition.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition and examples.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is a smooth function, and what are standard examples?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the function smooth, merely differentiable, continuous or analytic?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "classes",
            "name": "Classes",
            "description": "Special classes.",
            "findings": [
              {
                "id": "classes-finding",
                "name": "Classes",
                "description": "Classes.",
                "questions": [
                  {
                    "text": "What are bump functions, Schwartz functions and flat functions, and why do they matter?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits the specific class?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "theory",
        "name": "Theory",
        "description": "Properties and theory.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "properties",
            "name": "Properties",
            "description": "Properties.",
            "findings": [
              {
                "id": "properties-finding",
                "name": "Properties",
                "description": "Properties.",
                "questions": [
                  {
                    "text": "What properties do smooth functions have, including Taylor expansions and why they need not be analytic?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "geometry",
            "name": "Geometry",
            "description": "Manifolds and maps.",
            "findings": [
              {
                "id": "geometry-finding",
                "name": "Geometry",
                "description": "Geometry.",
                "questions": [
                  {
                    "text": "How do smooth maps, diffeomorphisms and Lie group actions build differential geometry?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits differentiable manifold?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "apply",
        "name": "Apply",
        "description": "Applications.",
        "rationale": "Practice.",
        "layers": [
          {
            "id": "physics",
            "name": "Physics",
            "description": "Physics and PDE.",
            "findings": [
              {
                "id": "physics-finding",
                "name": "Physics",
                "description": "Physics.",
                "questions": [
                  {
                    "text": "How are smooth functions used in physics, distributions and partial differential equations, including harmonic maps?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "computation",
            "name": "Computation",
            "description": "Computation and approximation.",
            "findings": [
              {
                "id": "computation-finding",
                "name": "Computation",
                "description": "Computation.",
                "questions": [
                  {
                    "text": "How are smooth functions approximated and used in numerical methods and machine learning?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits smoothing?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "context",
        "name": "Context",
        "description": "History and terminology.",
        "rationale": "Context.",
        "layers": [
          {
            "id": "history",
            "name": "History",
            "description": "History.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How did the concept of smoothness and the C^k hierarchy develop?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits the history of analysis?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "terminology",
            "name": "Terminology",
            "description": "Terminology.",
            "findings": [
              {
                "id": "terminology-finding",
                "name": "Terminology",
                "description": "Terminology.",
                "questions": [
                  {
                    "text": "How does the word smooth vary in meaning across mathematical fields?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits smoothness?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should bump function and Schwartz space be separate entries?",
    "How should analysis references be linked?",
    "The registry entry has merged aliases naming unrelated geometric objects; should they be split off?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}