3 composite systems verified.
A composite is two parent equations plus a coupling that produce a new physical system. The parents must each have passed Phase 12 canonical verification. The coupling is either a tier-1 equivalence (same variable in both parents under the same I-ADOPT descriptor) or a tier-2 structural analogy with a named port-Hamiltonian transducer. The composite's own canonical problem is then verified under the same four-check pipeline as any single-equation canonical.
How a composite is built
Given two canonically-verified parents and a coupling, the engine substitutes variables according to the transducer and generates the composite equation of motion. A canonical problem for the composite is authored — typically a real physical scenario with a closed-form textbook answer (the simple harmonic oscillator period, the DC motor back-EMF torque curve, the Soret thermodiffusion coefficient). That problem goes through the same four-check verification as any Phase 12 canonical.
The composite's ledger entry carries its parents, the coupling kind, the transducer identity, the reference value, and every check result — full provenance, append-only, hash-chained.
Verified composites
Phase 13 roadmap
- Newton II + Hooke → simple harmonic oscillator period verified
- Newton II + Work-Energy → work done by constant force verified
- Fourier + Fick → Soret thermodiffusion queued (first cross-domain; needs Soret transducer)
- Newton II + Ohm → DC motor back-EMF torque curve queued (electromechanical; needs motor-constant transducer)
- Arrhenius + Fick → reaction-diffusion wavefront speed queued (needs Arrhenius canonical first)