Documentation

This documentation describes how to interact with ULM-PD Engine, how execution is governed by invariants, and how results and refusals should be interpreted.

Documentation reflects declared behaviour only. Undeclared capabilities are neither implied nor supported.

Getting started

• Installation and licensing
• Basic usage
• Input expectations

Detailed walkthroughs will appear here as invariant packs and associated domains expand.

Input and execution model

• Natural language as input
• Translation to invariant-governed execution
• Deterministic execution semantics

Refusal and boundary behaviour

• Invariant violations
• Undefined invariants
• Boundary states returned as data

Refusal has a single meaning. See Invariants. The Large Language Model does not "do math", it is a natural language interface only.

Invariant packs, domains and capabilities

Mathematics Core (included)

• arithmetic
• calculus
• algebra
• discrete_math
• number_theory
• linear_algebra
• probability
• geometry
• vector_calculus
• special_functions
• elliptic_curves
• symbolic_analysis
• set_theory
• graph_theory
• logic
• information_theory
• optimization
• symbolic_state
• systems
• dynamical_systems
• control_theory

Other invariant packs (coming soon)

Each domain exposes only explicitly declared capabilities.

Examples

Example queries and outputs will be added to illustrate correct usage and interpretation.

Documentation is expanded incrementally as execution surfaces are declared. Behaviour not documented here should not be assumed.