/**
 * Simulation — PDE-based engineering solvers for HoloScript.
 *
 * Layer 0: Shared infrastructure (grid, materials, BCs, convergence)
 * Layer 1: Domain solvers (thermal, structural, hydraulic, saturation)
 * Layer 4: Multi-physics coupling
 *
 * Solver factories are registered with SimulationSolverFactory
 * by SimulationProvider (r3f-renderer) on mount, so trait handlers
 * can instantiate solvers without importing engine directly.
 */
export { RegularGrid3D } from './RegularGrid3D';
export { applyBoundaryConditions, type BoundaryCondition, type BCType, type BCFace, } from './BoundaryConditions';
export { getMaterial, findMaterial, registerMaterial, listMaterials, thermalDiffusivity, type ThermalMaterial, type StructuralMaterial, type HydraulicMaterial, type SimulationMaterial, } from './MaterialDatabase';
export { conjugateGradient, jacobiIteration, type ConvergenceResult } from './ConvergenceControl';
export { TwinGraphService, runIndustrialLineTwinGraphDemo, type IndustrialLineTwinDemoResult, type TwinCustodyReceipt, type TwinDtdlBridgeSource, type TwinDtdlContent, type TwinDtdlInterface, type TwinGraphOperation, type TwinGraphOperationAction, type TwinGraphQuery, type TwinGraphQueryResult, type TwinGraphServiceOptions, type TwinGraphSnapshot, type TwinHistoryReceipt, type TwinNode, type TwinNodeInput, type TwinPropertyPredicate, type TwinPropertyRecord, type TwinPropertyValue, type TwinReceiptTriad, type TwinRelationship, type TwinRelationshipInput, type TwinRelationshipPredicate, type TwinReplayVerification, type TwinTelemetryBatch, type TwinTelemetryRecord, type TwinTelemetrySample, } from './TwinGraphService';
export { ThermalSolver, type ThermalConfig, type ThermalSource } from './ThermalSolver';
export { StructuralSolver, type StructuralConfig, type StructuralConstraint, type StructuralLoad, } from './StructuralSolver';
export { StructuralSolverTET10, tet4ToTet10, type TET10Config, type TET10Constraint, type TET10Load, type TET10Stats, } from './StructuralSolverTET10';
export { HydraulicSolver, type HydraulicConfig, type HydraulicPipe, type HydraulicNode, type HydraulicValve, } from './HydraulicSolver';
export { SaturationManager, type SaturationConfig, type SaturationEvent, } from './SaturationManager';
export { AcousticSolver, buildLayeredVelocity, type AcousticConfig, type AcousticSource, type AcousticBC, type AcousticStats, } from './AcousticSolver';
export { FDTDSolver, type Complex, type EMSource, type FarFieldResult, type FDTDConfig, type FDTDStats, type NTFSurfaceConfig, type RunningDFTPhasor, } from './FDTDSolver';
export { NavierStokesSolver, type NavierStokesConfig, type CFDBC, type NavierStokesStats, } from './NavierStokesSolver';
export { MultiphaseNSSolver, type MultiphaseConfig, type MultiphaseStats, } from './MultiphaseNSSolver';
export { MolecularDynamicsSolver, type MDConfig, type MDStats } from './MolecularDynamicsSolver';
export { DEMSolver, type DEMConfig, type DEMStats } from './DEMSolver';
export { AdjointHeatSolver, type AdjointHeatConfig, type GradientResult, } from './AdjointHeatSolver';
export { ReactionDiffusionSolver, type ReactionDiffusionConfig, type ReactionDiffusionStats, type Species, type Reaction, } from './ReactionDiffusionSolver';
export { AffinityODESolver, type AffinityConfig, type AffinityState, type AffinityStats, type AgentParams, type PersonalityArchetype, type SternbergParams, type NashEffortParams, } from './AffinityODESolver';
export { meshBox, meshSurface, meshQuality, findNodesOnFace, findNodesInSphere, registerWasmMesher, type TetMesh, type BoxMeshOptions, type SurfaceMesh, type SurfaceMeshOptions, type WasmMesher, } from './AutoMesher';
export { TetGenWasmMesher } from './wasm/TetGenWasmMesher';
export { marchingCubes, decideManufacturingBackend, estimateMarchingCubesTolerance, type ManufacturingBackendDecision, type MarchingCubesOptions, type MarchingCubesToleranceEstimate, } from './manufacturing/MarchingCubes';
export { analyzePrintability, type PrintabilityOptions, type PrintabilityReport, type OverhangStats, type ThinWallHeuristic, type AABB, } from './manufacturing/PrintabilityAnalyzer';
export { parseSTL, buildSTL, parseOBJ, importScalarFieldCSV, importTableCSV, importStructuredPoints, importUnstructuredGrid, parseGmsh, MeshImportError, importMesh, importMeshSync, detectFormat, type VTKStructuredResult, type VTKUnstructuredResult, type MeshFormat, type ImportOptions, type ImportedMesh, } from './import/index';
export { ContractedSimulation, DeterministicStepper, computeStateDigest, hashGeometry, validateUnits, validateMeshSanity, validatePhysicsSanity, checkSimulationParameterEnvelopeInheritance, assertSimulationParameterEnvelopeInheritance, acceptsCrossScale, coarsestCommonScale, verifyContinuation, verifyContinuationChain, SCALE_ALIASES, SCALE_FROM_ALIAS, SCALE_ORDER, DEFAULT_SCALE_ENVELOPES, type SimulationProvenance, type ReceiptContinuation, type ContinuationLink, type InteractionEvent, type ContractViolation, type ContractConfig, type ParameterEnvelopeProofSource, type ParameterEnvelopeInheritanceResult, type ParameterEnvelopeInheritanceStatus, type SimulationScale, type ScaleEnvelope, } from './SimulationContract';
export { EQUIVALENCE_V1, buildEquivalenceV1Record, canonicalWireSnapshot, stableStringify, toEquivalenceWireInput, wireFormatEquivalent, wireKey, type EquivalenceV1Record, type EquivalenceV1SolverType, type EquivalenceWireInput, } from './equivalenceRecord';
export { AGENT_DIALOG_V1, buildAgentDialogV1Record, canonicalDialogSnapshot, dialogWireKey, wireFormatEquivalentDialog, type AgentDialogV1Record, type AgentDialogV1SolverType, type AgentDialogWireInput, type DialogTurn, } from './agentDialogRecord';
export { NETWORK_EVENT_V1, buildNetworkEventV1Record, canonicalNetworkEventSnapshot, networkEventWireKey, wireFormatEquivalentNetworkEvent, type NetworkEvent, type NetworkEventV1Record, type NetworkEventV1SolverType, type NetworkEventWireInput, } from './networkEventRecord';
export { IMPOSSIBILITY_V1, aggregateEvidence, buildImpossibilityV1Record, direction, evidenceWireKey, rank, validateEvidence, type EvidenceCohort, type FormatTag, type ImpossibilityEvidence, type ImpossibilityRating, type ImpossibilityV1Record, type ImpossibilityV1SolverType, type RatingDirection, } from './impossibilityEvidence';
export { CONJECTURE_NOVELTY_THRESHOLD, CONJECTURE_V1, DEFAULT_CONJECTURE_PRIOR_ART_CORPUS, assessConjectureNovelty, buildConjectureStableKey, buildConjectureV1Receipt, computeMeshFacts, createDegenerateTriangleCandidate, createSquareSheetCandidate, createTetrahedronSurfaceCandidate, collisionEquivalenceProbe, curvatureBoundProbe, eulerCharacteristicProbe, geometryHashOrderInvariantProbe, manifoldEdgeProbe, nonDegenerateGeometryProbe, type CandidateEvaluation, type ConjectureClaim, type ConjectureCounterexample, type ConjectureFalsifiabilityGate, type ConjectureFalsifiabilityStatus, type ConjectureIntakeAssessment, type ConjectureKind, type ConjectureNoveltyAssessment, type ConjectureNoveltyMatch, type ConjectureParameterValue, type ConjectureProbe, type ConjectureProbeEvaluationResult, type ConjectureProbePredicate, type ConjecturePriorArtEntry, type ConjectureReceipt, type ConjectureStatus, type ConjectureV1SolverType, type GeometryConjectureCandidate, type MeshFacts, type ProbeResult, type ProbeStatus, } from './ConjectureEngine';
export { CONJECTURE_RUNNER_V1, PROOF_CARRYING_GEOMETRY_SMOKE_SUITE, GENERATED_GEOMETRY_FAMILY_SUITE, ConjectureRunner, attachSemanticAdvisoriesToRunnerResult, runConjectureRunner, runConjectureRunnerWithSemanticAdvisory, runConjectureCostCell, runProofCarryingGeometryConjectureCycle, runGeneratedGeometryConjectureCycle, type ConjectureCandidateCost, type ConjectureCostCellResult, type ConjectureGraduationTarget, type ConjectureProbeTiming, type ConjectureRunnerClassification, type ConjectureRunnerGate, type ConjectureRunnerInput, type ConjectureRunnerPhase, type ConjectureRunnerReplay, type ConjectureRunnerResult, type ConjectureRunnerResultWithSemanticAdvisory, type ConjectureRunnerSemanticAdvisory, type ConjectureRunnerSemanticAdvisorySummary, type ConjectureRunnerStage, type ConjectureRunnerStatus, type ConjectureRunnerSuite, type ConjectureRunnerV1SolverType, type ConjectureScenarioRole, } from './ConjectureRunner';
export { RENDER_MANIFOLD_V1, renderManifoldFromReceipts, verifyRenderManifoldReplay, type RenderManifoldArtifact, type RenderManifoldSolverType, type RenderedSurface, } from './RenderManifold';
export { regularPolygonSheetCandidate, generateRegularPolygonSheetFamily, collapsingTriangleCandidate, generateCollapsingTriangleFamily, sharedEdgeFanCandidate, generateSharedEdgeFanFamily, collisionEquivalenceQuadCandidate, generateCollisionEquivalenceFamily, curvatureConeCandidate, generateCurvatureConeFamily, type RegularPolygonSheetFamilyOptions, type CollapsingTriangleFamilyOptions, type SharedEdgeFanFamilyOptions, type CollisionEquivalenceFamilyOptions, type CurvatureConeFamilyOptions, } from './ConjectureGenerator';
export { SDFPointEvaluator, evaluateSDFNode, sampleSDFDistanceField, type SDFCSGOperation, type SDFDistanceField, type SDFDomainOperation, type SDFEvaluation, type SDFNode, type SDFPoint, type SDFPrimitive, type SDFSampleBounds, type SDFSampleResolution, } from './SDFPointEvaluator';
export { PROOF_CARRYING_SDF_V1, LIPSCHITZ_TOLERANCE, empiricalLipschitzRatio, sphereCandidate, gyroidCandidate, generateSphereFamily, generateGyroidFamily, runProofCarryingSdfConjecture, type SdfConjectureCandidate, type SdfConjectureStatus, type ProofCarryingSdfReceipt, type ProofCarryingSdfOptions, type LipschitzWitness, type LipschitzResult, type SdfScenario, type SdfEvaluation, type SdfCounterexample, } from './SdfConjecture';
export { KNOWN_RESULTS_CORPUS, assessNoveltyAgainstKnownResults } from './ConjecturePriorArtCorpus';
export { SEMANTIC_NOVELTY_MODEL, SEMANTIC_NOVELTY_THRESHOLD, embedSemantic, cosineSimilarity as semanticCosineSimilarity, assessSemanticNovelty, calibrateNoveltyThreshold, LABELED_NOVELTY_EVAL_SET, type SemanticNoveltyStatus, type SemanticNoveltyMatch, type SemanticNoveltyAssessment, type LabeledNoveltyPair, type ThresholdCalibration, } from './SemanticNoveltyEncoder';
export { DETERMINISM_MANIFEST_VERSION, DETERMINISM_DEFAULT_PRECISION, DETERMINISM_DEFAULT_REPEATS, DETERMINISM_PROBE_TEXTS, quantizeToken, vectorFingerprint, buildDeterminismManifest, compareDeterminismManifests, assessDeterminismGate, DEFAULT_DETERMINISM_TOLERANCE, compareRawWithinTolerance, assessRawToleranceGate, type DeterminismProbeEntry, type DeterminismManifest, type BuildDeterminismManifestOptions, type ManifestComparison, type DeterminismVerdict, type DeterminismGateAssessment, type RawVectorManifest, type RawToleranceComparison, type RawToleranceGateAssessment, } from './SemanticDeterminismGate';
export { SEMANTIC_CORPUS_INDEX_VERSION, buildSemanticCorpusIndex, nearestByCosine, assessSemanticNoveltyIndexed, serializeIndex, deserializeIndex, type EmbeddedCorpusEntry, type SemanticCorpusIndex, type BuildIndexOptions, } from './SemanticCorpusIndex';
export { attachSemanticAdvisory, type ConjectureReceiptWithAdvisory, type AttachSemanticAdvisoryOptions, } from './ConjectureSemanticAdvisory';
export { VERDICT_LEDGER_V1, recordVerdict, reopenVerdict, currentVerdict, hasBeenReopened, verdictHistory, conjectureStatusToVerdict, verdictFromConjectureReceipt, type VerdictStatus, type VerdictEntry, type VerdictLedger, type VerdictLedgerSolverType, type RecordVerdictInput, type ReopenVerdictInput, } from './VerdictLedger';
export { ERDOS_STRAUS_V1, verifyErdosStraus, findErdosStrausDecomposition, findEqualUnitFraction, runErdosStrausConjecture, type ErdosStrausReceipt, type ErdosStrausOptions, type ErdosStrausSolverType, type NumberConjectureStatus, type NumberConjectureScenario, type NumberConjectureEvaluation, type NumberConjectureCounterexample, type UnitFractionDecomposition, } from './NumberTheoryConjecture';
export { TROPICAL_BEZOUT_V1, degreeTriangle, twiceArea, convexHull, minkowskiSum, mixedVolume2D, runTropicalBezoutConjecture, type LatticePoint, type TropicalBezoutReceipt, type TropicalBezoutOptions, type TropicalBezoutSolverType, type TropicalConjectureStatus, type TropicalScenario, type MixedVolumeEvaluation, type TropicalCounterexample, } from './TropicalBezoutConjecture';
export { type CAELTrace, type CAELTraceEntry, type CAELTraceEvent, encodeCAELValue, decodeCAELValue, hashCAELEntry, toCAELJSONL, parseCAELJSONL, verifyCAELHashChain, } from './CAELTrace';
export { CAELRecorder } from './CAELRecorder';
export { CAELReplayer } from './CAELReplayer';
export { forkTrace, forkAndChoose, dream, mulberry32, type CAELSolverFactory, type ForkAlternative, type ForkBranchResult, type ForkAndChooseResult, type DreamConfig, type DreamEpisodeResult, type DreamResult, } from './CAELForkDream';
export { CAELAgentLoop, FieldSensorBridge, SimpleActionSelector, StructuralActionMapper, type SensorReading, type CAELSensorBridge, type CognitionSnapshot, type CAELCognitionEngine, type AgentAction, type ActionDecision, type CAELActionSelector, type WorldDelta, type CAELActionMapper, type CAELAgentConfig, type FieldSensorPoint, type FieldSensorBridgeConfig, type SimpleActionSelectorConfig, type StructuralActionMapperConfig, } from './CAELAgent';
export { SNNCognitionEngine, type SNNCognitionEngineConfig } from './SNNCognitionEngine';
export { CRDTCAELBridge, type CRDTCAELBridgeConfig } from './CRDTCAELBridge';
export { SimulationRecorder, type RecorderConfig, type FieldSnapshot } from './SimulationRecorder';
export { SimulationPlayback, type PlaybackConfig, type PlaybackState } from './SimulationPlayback';
export { registerSimulationSolvers } from './register';
export { initSimulationSolvers, resetSimulationRegistry } from './simulation-registry';
export { serializeSimulation, deserializeSimulation, simulationToBase64, base64ToSimulation, estimateURLSize, type SerializedSimulation, } from './SimulationSerializer';
export { interpretResults, querySimulation, generateAutoReport, type SimulationInsight, type InsightSeverity, type InsightCategory, } from './intelligence/index';
export { CouplingManager, type FieldCoupling } from './CouplingManager';
export { CouplingManagerV2, type FieldCouplingV2, type CouplingStatsV2 } from './CouplingManagerV2';
export { type SimSolver, type SolverMode, type FieldData } from './SimSolver';
export { ThermalSolverAdapter, StructuralSolverAdapter, TET10SolverAdapter, HydraulicSolverAdapter, AcousticSolverAdapter, FDTDSolverAdapter, ReactionDiffusionSolverAdapter, AffinityODESolverAdapter, } from './adapters/SolverAdapters';
export { ParameterSpace, applyOverrides, ExperimentOrchestrator, summarize, sensitivity, paretoFront, exportSweepCSV, type ParameterRange, type ParameterSample, type ExperimentConfig, type ExperimentResult, type ExperimentRunResult, type SolverHandle, type SweepSummary, type SensitivityResult, type ParetoPoint, } from './experiment/index';
export { UncertaintyQuantification, computeScalarDistribution, computeFieldDistribution, type UQConfig, type UQResult, type UQSolverHandle, type ScalarDistribution, type FieldDistribution, } from './UncertaintyQuantification';
export { runFairnessSweep, runFairnessRobustness, analyzeDisparity, defaultPerturber, emitFairnessReceipt, emitRobustnessReceipt, computeReplayFingerprint, computeDecisionDigest, verifyReceiptIntegrity, replayFairnessReceipt, verifyReplayExecution, canonicalize, hashContent, FAIRNESS_JURISDICTIONS, FAIRNESS_STATISTICAL_TESTS, JURISDICTION_CONFIGS, compileBiasAuditReport, evaluateJurisdictionTests, isFairnessJurisdiction, resolveJurisdictionConfig, DEFAULT_FAIRNESS_CROSSWALK, DEFAULT_ROBUSTNESS_CROSSWALK, type BiasAuditReportInput, type BiasAuditReportOutput, type FairnessJurisdiction, type FairnessStatisticalTest, type FairnessModel, type FairnessRecord, type FairnessPerturbation, type CohortPerturber, type FairnessSweepOptions, type FairnessSweepResult, type FairnessRobustnessOptions, type FairnessRobustnessResult, type DeterminismGrade, type FairnessMetrics, type FairnessReplayKey, type FairnessReceipt, type FairnessRobustnessReceipt, type JurisdictionAuditSummary, type JurisdictionConfig, type JurisdictionDecisionRecord, type JurisdictionTestResult, type RobustnessBand, type ReplayVerdict, } from './fairness/index';
export { UnitRegistry, DimensionalMismatchError, registry, type UnitDefinition, } from './units/UnitRegistry';
export { type Temperature, type Pressure, type Force, type Length, type Area, type Volume, type Time, type Mass, type Density, type Velocity, type ThermalConductivity, type SpecificHeat, type ThermalDiffusivity, type HeatTransferCoefficient, type Power, type Energy, type YoungsModulus, type YieldStrength, type Stress, type Acceleration, type Strain, type PoissonRatio, type FlowRate, temperature, pressure, force, length, area, volume, time, mass, density, velocity, thermalConductivity, specificHeat, thermalDiffusivity as thermalDiffusivityQuantity, power, energy, youngsModulus, yieldStrength, stress, acceleration, strain, poissonRatio, flowRate, celsiusToKelvin, kelvinToCelsius, fahrenheitToKelvin, kelvinToFahrenheit, } from './units/PhysicalQuantity';
export { getMaterialAtTemperature, getThermalConductivity, getSpecificHeat, getDensity, getDynamicViscosity, hasTemperatureDependentData, getTemperatureRange, listTemperatureDependentMaterials, } from './MaterialProperties';
export { exportSTLBinary, exportSTLAscii, type STLBinaryOptions, type STLAsciiOptions, exportStructuredPoints, exportUnstructuredGrid, exportPolyData, exportConvergenceHistory, exportScalarFieldCSV, exportTable, exportMaterialTable, createMetadata, validateMetadata, serializeMetadata, deserializeMetadata, type SimulationMetadata, } from './export/index';
export { errorL2, errorLinf, relativeErrorL2, computeObservedOrder, convergenceOrderTwoLevel, richardsonExtrapolation, gridConvergenceIndex, runConvergenceStudy, type ConvergenceStudyResult, } from './verification/ConvergenceAnalysis';
export { createVerificationReport, renderReportMarkdown, renderReportLatex, type SolverType, type ConvergencePlotPoint, type ConvergencePlotData, type BenchmarkResult, type VerificationReport, } from './verification/ReportGenerator';
export { createSimulationRun, compareRuns, ProvenanceTracker, type SimulationRun, type SimulationRunConfig, type SimulationRunResult, type RunComparison, } from './provenance/index';
export { SIMULATION_EVIDENCE_PACK_SCHEMA_VERSION, buildSimulationEvidencePack, createGeneratedArtifactReceipt, hashEvidenceArtifact, verifySimulationEvidencePack, verifySimulationEvidencePackJson, type BuildSimulationEvidencePackInput, type EvidenceJsonValue, type SimulationEvidenceFieldTolerance, type SimulationEvidenceGeneratedArtifact, type SimulationEvidenceHardwareValidation, type SimulationEvidencePack, type SimulationEvidencePackValidation, type SimulationEvidenceReplayRecord, type SimulationEvidenceRequirements, type SimulationEvidenceSolverConfig, type SimulationEvidenceToleranceTable, type SimulationEvidenceVerificationResult, } from './SimulationEvidencePack';
export { RoboticsImportValidationHarness, runRoboticsImportValidationDemo, validateRoboticsImport, type RoboticsArtifact, type RoboticsArtifactFormat, type RoboticsArtifactHashReceipt, type RoboticsArtifactProvenance, type RoboticsCameraMetadata, type RoboticsCustodyReceipt, type RoboticsImuMetadata, type RoboticsImportScenario, type RoboticsImportValidationHarnessOptions, type RoboticsImportValidationInput, type RoboticsImportValidationReceipt, type RoboticsImportValidationResult, type RoboticsJsonValue, type RoboticsLidarMetadata, type RoboticsReceiptTriad, type RoboticsRequiredSensorType, type RoboticsRos2ProofReceipt, type RoboticsRos2PubSubProof, type RoboticsRos2TopicMapping, type RoboticsRos2TopicProof, type RoboticsSensorCoverageReceipt, type RoboticsSensorMetadata, type RoboticsSimulatorTarget, type RoboticsSyntheticDataExportFixture, type RoboticsSyntheticDataReceipt, } from './RoboticsImportValidation';
//# sourceMappingURL=index.d.ts.map