| /- | |
| Copyright (C) 2026 HCALC contributors | |
| SPDX-License-Identifier: AGPL-3.0-only | |
| PRODUCTION surface re-exports (authority: ../spec/PRODUCTION.md). | |
| Domain Gap-* defs live in Hcalc.Axioms / Hcalc.Carrier. | |
| -/ | |
| import Hcalc.Axioms | |
| import Hcalc.Carrier | |
| import Hcalc.Pipeline | |
| import Hcalc.Convergence | |
| namespace Hcalc.Production | |
| export Hcalc (Carrier Tp C LambdaM Xi InstanceBridge hcalcStepCore toFoundryStep | |
| epsProd deltaProd tolProd evalOptObj residualNorm | |
| definitionRecord_Tp definitionRecord_C definitionRecord_LambdaM definitionRecord_Xi | |
| definitionRecord_Carrier definitionRecord_OptObj definitionRecord_ContractAlg | |
| definitionRecord_ShapeMap definitionRecord_Converge) | |
| export Hcalc.Pipeline (step stepProd J optimize done) | |
| export Hcalc.Convergence (HypContractive unique_fixed_point) | |
| end Hcalc.Production | |