Specifications

Normative docs for runtime behavior, canonical objects, and public API policy.

• PDELie — Specification (v0.x)
  • Purpose
• 1. Scope
  • Stable (v0.x)
  • Experimental
• 2. Pipeline
• 3. Canonical Objects
  • FieldBatch
  • DerivativeBatch
  • ResidualEvaluator
  • ResidualBatch
  • GeneratorFamily
  • InvariantMapSpec
  • VerificationReport
• 4. Residual Ontology
• 5. Identifiability
• 6. Verification Protocol
• 7. Grid Policy
• 8. Preprocessing
• 9. Serialization
• 10. Final Rule
• CONTRACTS AND DEFAULT EVALUATION CONVENTIONS
• 1. CANONICAL OBJECT SCHEMAS
  • 1.0 Schema Version Policy
  • 1.1 FieldBatch
  • 1.2 DerivativeBatch
  • 1.3 ResidualEvaluator
  • 1.4 ResidualBatch
  • 1.5 GeneratorFamily
  • 1.6 InvariantMapSpec
  • 1.7 VerificationReport
• 2. RESIDUAL ONTOLOGY
• 3. DEFAULT VERIFICATION SETTINGS
  • Norm
  • Epsilon sweep
  • Held-out evaluation
  • Classification rules
• 4. IDENTIFIABILITY CONVENTIONS
  • Normalization
  • Span comparison
  • Closure residual
• 5. GRID POLICY (v0.x)
  • Supported
  • Representable but NOT guaranteed
  • Unsupported
• 6. BENCHMARK CONTROL RULES
  • Mandatory
• 7. SUCCESS CRITERIA
• 8. SERIALIZATION RULES
• FINAL RULE
• PDELie — Architecture
  • Module layout
  • Responsibilities
  • Internal layering
  • Development order
• API Stability Policy
  • Stable API (v0.x)
  • Experimental API
  • Internal / Private
• PDELie Support Matrix
  • Core Workflows
  • PDE Support Matrix
  • Selected Runtime Helpers
  • Boundary Statement