Unverified does not mean unsupported; it means no claim is registered. This generated page does not infer support from importability or an unrelated passing test.
Module ownership¶
| Module | Maturity | Boundary | Dimensional policy | Ownership | Non-ownership |
|---|---|---|---|---|---|
jaxstro.astrometry | validated | runtime | Angles in radians/degrees and proper motion in mas/yr as named. | Astrometric constants. | Survey or population models. |
jaxstro.atmospheres | validated | mixed | Source coordinates and flux semantics are explicit per product. | Catalog and artifact preparation plus evidence-gated evaluation. | Photometry or model validity. |
jaxstro.constants | validated | static | CGS unless the symbol explicitly names another unit. | Source-backed physical constants. | Runtime source lookup. |
jaxstro.contracts | validated | tooling | Metadata only; scientific units are recorded by owned contracts. | Scientific contract vocabulary, validation, and rendering. | Runtime scientific acceptance or automatic certification. |
jaxstro.coords | validated | runtime | Positions in pc, velocities in km/s, angles in degrees, proper motions in mas/yr, and parallax in mas where documented. | Coordinate transformations. | Domain frame selection. |
jaxstro.evidence | validated | tooling | Every metric carries explicit producer-owned units. | Portable computational-evidence schemas, validation, and rendering. | Method-specific scientific thresholds or source-provenance claims. |
jaxstro.geometry | validated | runtime | Caller-owned coordinate units; angles follow each function contract. | Generic geometric transformations. | Domain geometry policy. |
jaxstro.jaxconfig | validated | static | No physical dimensions. | Explicit JAX precision configuration. | Import-time global configuration. |
jaxstro.numerics | validated | runtime | Caller-owned units; each callable declares dimensional behavior. | Generic numerical mechanics. | Domain acceptance, retry policy, or physical state. |
jaxstro.params | validated | runtime | Leaf units remain caller-owned through transformations. | Selective PyTree/vector parameter bridges. | Inference algorithms or identifiability. |
jaxstro.provenance | validated | tooling | Metric units remain explicit in producer-owned payloads. | Runtime artifact manifests. | Scientific-source validation. |
jaxstro.quantity | validated | runtime | Dimensions and scales are represented explicitly in Unit metadata. | Dimensional quantity evaluation. | Approved ecosystem adoption or cutover. |
jaxstro.spatial | validated | mixed | Coordinates use caller-owned consistent length units. | Spatial indexing, candidates, and exact pairs. | Force or encounter semantics. |
jaxstro.spectra | validated | mixed | Spectral coordinates and density semantics carry explicit unit metadata. | Generic spectral representations and remapping. | Filters, photometry, or instruments. |
jaxstro.testing | validated | tooling | Every reported metric retains producer-declared units. | Validation and provenance tooling. | Runtime scientific acceptance. |
jaxstro.units | validated | static | CGS is canonical; named systems declare mass, length, and time scales. | Canonical ecosystem unit systems. | Hidden domain unit defaults. |
Transform and AD contracts¶
| Callable | Maturity | AD semantics | Transform claims | Boundaries | Evidence | Limitations and cost |
|---|---|---|---|---|---|---|
jaxstro.numerics.implicit_bracketed_root | validated | certified_implicit | jit: supported | Rejected assumption or numerical certificate. [returns_nan] | root.implicit_bracketed_root (validation_test); root.implicit_bracketed_root.certification (artifact) -> rootfinding.implicit-gradients gates exponential.absolute_residual.gate, exponential.bracket_width.gate, exponential.relative_ad_analytic_error.gate, exponential.relative_ad_fd_error.gate, exponential.slope_magnitude.gate, exponential.certificate.gate, linear.absolute_residual.gate, linear.bracket_width.gate, linear.relative_ad_analytic_error.gate, linear.relative_ad_fd_error.gate, linear.slope_magnitude.gate, linear.certificate.gate, quadratic.absolute_residual.gate, quadratic.bracket_width.gate, quadratic.relative_ad_analytic_error.gate, quadratic.relative_ad_fd_error.gate, quadratic.slope_magnitude.gate, quadratic.certificate.gate | Requires a unique mathematical root.; Requires a smooth selected branch and adequate slope conditioning.; Runs the safeguarded primal before exposing a custom-root derivative. |
jaxstro.numerics.initialize_bracket | validated | value_first | none claimed | none registered | root.initialize_bracket (unit_test) | Primary purpose is auditable forward-value control flow. |
jaxstro.numerics.interpolation.interp1d | validated | smooth_pathwise | none claimed | Queries outside the table clamp to endpoint values. [saturates] | numerics.interp1d (validation_test) | AD evidence covers interior off-knot, branch-stable queries. |
jaxstro.numerics.map_safeguarded_bracketed_root | validated | value_first | jit: supported; vmap: conditional (Values and shapes are preserved, but physical per-lane skipping is not guaranteed.) | Missing sign bracket or nonfinite admissible evaluation. [structured_result] | root.map_safeguarded_bracketed_root (unit_test); root.map_safeguarded_bracketed_root.performance (benchmark) -> rootfinding.performance gates flat_slope.hybrid-no-more-evaluations, linear.hybrid-no-more-evaluations, monotone_kink.hybrid-no-more-evaluations, oscillatory_fixed_point_residual.hybrid-no-more-evaluations, quadratic.hybrid-no-more-evaluations | No implicit-root derivative claim.; Use lax.map when physical per-lane skipping of expensive residuals matters. |
jaxstro.numerics.interpolation.monotone_cubic_interp | validated | smooth_pathwise | none claimed | none registered | numerics.monotone_cubic_interp (validation_test) | Sign, plateau, knot, and overshoot branch boundaries are nonsmooth. |
jaxstro.numerics.powerlaw_cdf | validated | smooth_pathwise | none claimed | Outside x support clamps to zero or one. [saturates] | numerics.powerlaw_cdf (validation_test) | none registered |
jaxstro.numerics.powerlaw_logpdf | validated | smooth_pathwise | none claimed | Outside x support returns negative infinity. [returns_sentinel] | numerics.powerlaw_logpdf (validation_test) | none registered |
jaxstro.numerics.powerlaw_ppf | validated | smooth_pathwise | none claimed | Quantile input is defined on the closed unit interval. [undefined] | numerics.powerlaw_ppf (validation_test) | none registered |
jaxstro.numerics.propose_bracketed | validated | value_first | none claimed | none registered | root.propose_bracketed (unit_test) | Primary purpose is auditable forward-value control flow. |
jaxstro.numerics.regular_grid_interp | validated | smooth_pathwise | none claimed | clamp policy holds queries at the nearest boundary. [saturates]; reject policy raises for invalid concrete queries. [raises] | numerics.regular_grid_interp (validation_test) | Coordinate derivatives are claimed only inside branch-stable cells. |
jaxstro.numerics.safeguarded_bracketed_root | validated | value_first | jit: supported; vmap: conditional (Values and shapes are preserved, but physical per-lane skipping is not guaranteed.) | Missing sign bracket or nonfinite admissible evaluation. [structured_result] | root.safeguarded_bracketed_root (unit_test); root.safeguarded_bracketed_root.performance (benchmark) -> rootfinding.performance gates flat_slope.hybrid-no-more-evaluations, linear.hybrid-no-more-evaluations, monotone_kink.hybrid-no-more-evaluations, oscillatory_fixed_point_residual.hybrid-no-more-evaluations, quadratic.hybrid-no-more-evaluations | No implicit-root derivative claim.; Use lax.map when physical per-lane skipping of expensive residuals matters. |
jaxstro.numerics.update_bracket | validated | value_first | none claimed | none registered | root.update_bracket (unit_test) | Primary purpose is auditable forward-value control flow. |
jaxstro.testing.compare_gradients | validated | validation_only | none claimed | none registered | testing.compare_gradients (integration_test) | Does not determine downstream scientific acceptance. |
jaxstro.testing.render_registry | validated | validation_only | none claimed | none registered | testing.render_registry (integration_test) | Does not determine downstream scientific acceptance. |
jaxstro.testing.validate_card | validated | validation_only | none claimed | none registered | testing.validate_card (integration_test) | Does not determine downstream scientific acceptance. |
Unclassified callable surfaces¶
The runtime export audit found 208 public callables without callable-level records:
jaxstro.atmospheres.acquisition_rows_to_markdownjaxstro.atmospheres.build_bosz_indexjaxstro.atmospheres.build_newera_lowres_indexjaxstro.atmospheres.discover_bosz_filesjaxstro.atmospheres.discover_newera_lowres_filesjaxstro.atmospheres.parse_bosz_filenamejaxstro.atmospheres.parse_newera_lowres_filenamejaxstro.atmospheres.parse_sonora_2024_filenamejaxstro.atmospheres.parse_tlusty_floatjaxstro.atmospheres.parse_tlusty_flux_filenamejaxstro.atmospheres.plan_targeted_acquisitionjaxstro.atmospheres.read_newera_lowres_headerjaxstro.atmospheres.resolve_data_dirjaxstro.atmospheres.select_topologyjaxstro.atmospheres.validate_spectrum_overlapjaxstro.contracts.audit_runtime_inventoryjaxstro.contracts.collect_contractsjaxstro.contracts.get_callable_contractjaxstro.contracts.get_module_contractjaxstro.coords.cartesian_to_sphericaljaxstro.coords.cluster_to_galactic_cartesianjaxstro.coords.compute_parallaxjaxstro.coords.compute_proper_motionsjaxstro.coords.equatorial_to_galacticjaxstro.coords.galactic_to_equatorialjaxstro.coords.sky_tangentjaxstro.coords.spherical_to_cartesianjaxstro.coords.zenith_parallacticjaxstro.evidence.artifact_from_dictjaxstro.evidence.artifact_to_dictjaxstro.evidence.artifact_to_jsonjaxstro.evidence.artifact_to_markdownjaxstro.evidence.build_evidence_indexjaxstro.evidence.check_artifactjaxstro.evidence.emit_artifactjaxstro.evidence.validate_artifactjaxstro.geometry.angular_distancejaxstro.geometry.compose_rigidjaxstro.geometry.invert_rigidjaxstro.geometry.normalizejaxstro.geometry.quaternion_conjugatejaxstro.geometry.quaternion_from_axis_anglejaxstro.geometry.quaternion_multiplyjaxstro.geometry.quaternion_rotatejaxstro.geometry.rigid_transformjaxstro.geometry.rotation_matrixjaxstro.jaxconfig.enable_high_precisionjaxstro.numerics.ScalarFnjaxstro.numerics.adaptive_open_uniform_knotsjaxstro.numerics.addjaxstro.numerics.add_diagonal_jitterjaxstro.numerics.advance_bracketed_rootjaxstro.numerics.armijo_backtrackingjaxstro.numerics.bilinear_interpjaxstro.numerics.bin_centersjaxstro.numerics.bisect_manyjaxstro.numerics.block_diagjaxstro.numerics.bracket_expandjaxstro.numerics.bspline_antiderivativejaxstro.numerics.bspline_basisjaxstro.numerics.bspline_derivativejaxstro.numerics.bspline_design_matrixjaxstro.numerics.bspline_evaljaxstro.numerics.bspline_eval_deboorjaxstro.numerics.bspline_integraljaxstro.numerics.bspline_roughness_penaltyjaxstro.numerics.cell_neighbors_1djaxstro.numerics.cell_to_face_averagejaxstro.numerics.chebyshev_t_basisjaxstro.numerics.clenshaw_curtis_nodesjaxstro.numerics.composejaxstro.numerics.conservative_rebinjaxstro.numerics.conservative_remap_1djaxstro.numerics.convergence_summaryjaxstro.numerics.correlation_from_covariancejaxstro.numerics.correlation_matrixjaxstro.numerics.covariance_matrixjaxstro.numerics.divergence_1djaxstro.numerics.empirical_fisher_productjaxstro.numerics.eulerjaxstro.numerics.euler_stepjaxstro.numerics.eval_cubic_splinejaxstro.numerics.face_geometry_1djaxstro.numerics.fit_bspline_lstsqjaxstro.numerics.fold_in_streamjaxstro.numerics.gauss_hermite_nodesjaxstro.numerics.gauss_laguerre_nodesjaxstro.numerics.gauss_legendre_nodesjaxstro.numerics.gauss_newton_productjaxstro.numerics.geometric_bin_centersjaxstro.numerics.geometric_bin_edgesjaxstro.numerics.gradient_inf_normjaxstro.numerics.hermite_coefficientsjaxstro.numerics.hermite_e_basisjaxstro.numerics.huber_lossjaxstro.numerics.hvpjaxstro.numerics.initialize_bracketed_root_statejaxstro.numerics.inverse_cdf_drawjaxstro.numerics.is_positive_definitejaxstro.numerics.jacobian_vector_productjaxstro.numerics.jvpjaxstro.numerics.key_streamjaxstro.numerics.laguerre_basisjaxstro.numerics.legendre_basisjaxstro.numerics.log_gridjaxstro.numerics.log_normalizejaxstro.numerics.log_planck_lambda_cgsjaxstro.numerics.log_planck_nu_cgsjaxstro.numerics.lognormal_cdfjaxstro.numerics.lognormal_logpdfjaxstro.numerics.lognormal_ppfjaxstro.numerics.midpointjaxstro.numerics.midpoint_stepjaxstro.numerics.monotone_inverse_interpjaxstro.numerics.natural_cubic_spline_coeffsjaxstro.numerics.newton_ppfjaxstro.numerics.normal_cdfjaxstro.numerics.normal_logpdfjaxstro.numerics.normal_ppfjaxstro.numerics.normalize_log_weightsjaxstro.numerics.objective_summaryjaxstro.numerics.open_uniform_knotsjaxstro.numerics.planck_lambda_cgsjaxstro.numerics.planck_nu_cgsjaxstro.numerics.positive_definite_jitterjaxstro.numerics.pseudo_huber_lossjaxstro.numerics.qr_solvejaxstro.numerics.relative_step_normjaxstro.numerics.residual_resamplejaxstro.numerics.rk4jaxstro.numerics.rk4_stepjaxstro.numerics.scalejaxstro.numerics.seed_manifestjaxstro.numerics.solve_fixed_stepjaxstro.numerics.squared_lossjaxstro.numerics.stratified_resamplejaxstro.numerics.stratified_uniformjaxstro.numerics.structured_edges_1djaxstro.numerics.svd_solvejaxstro.numerics.systematic_resamplejaxstro.numerics.tensor_product_design_matrixjaxstro.numerics.transposejaxstro.numerics.trilinear_interpjaxstro.numerics.truncated_normal_cdfjaxstro.numerics.truncated_normal_logpdfjaxstro.numerics.truncated_normal_ppfjaxstro.numerics.vector_jacobian_productjaxstro.numerics.velocity_verletjaxstro.numerics.vjpjaxstro.numerics.weighted_lstsqjaxstro.provenance.environment_snapshotjaxstro.provenance.hash_artifactjaxstro.provenance.manifest_to_jsonjaxstro.provenance.manifest_to_markdownjaxstro.quantity.format_unitjaxstro.quantity.from_dictjaxstro.quantity.get_unitjaxstro.quantity.parse_unitjaxstro.quantity.register_global_unitjaxstro.quantity.to_dictjaxstro.quantity.unit_from_dictjaxstro.quantity.unit_to_dictjaxstro.spatial.approx_knn_candidatesjaxstro.spatial.assign_particles_to_binsjaxstro.spatial.assign_to_cells_linearjaxstro.spatial.fill_binsjaxstro.spatial.fill_bins_exactjaxstro.spatial.gather_candidates_from_binsjaxstro.spatial.gather_candidates_two_stenciljaxstro.spatial.gather_candidates_with_stenciljaxstro.spatial.gather_pairs_within_radiusjaxstro.spatial.morton_decode_3djaxstro.spatial.morton_encode_3djaxstro.spatial.wyhash32jaxstro.spectra.resample_spectrumjaxstro.spectra.surface_flux_to_luminosityjaxstro.spectra.surface_flux_to_observer_fluxjaxstro.spectra.to_flux_lambdajaxstro.spectra.to_flux_nujaxstro.spectra.to_frequencyjaxstro.spectra.to_wavelengthjaxstro.testing.CardStatusjaxstro.testing.Expectjaxstro.testing.GradContractjaxstro.testing.assert_no_stalejaxstro.testing.assert_partitionjaxstro.testing.audit_entry_pointjaxstro.testing.check_directional_derivativejaxstro.testing.compare_jacobiansjaxstro.testing.contract_requires_fdjaxstro.testing.default_contract_for_expectjaxstro.testing.default_numerics_trust_reportjaxstro.testing.directional_derivativejaxstro.testing.finite_difference_gradjaxstro.testing.finite_difference_jacobianjaxstro.testing.has_nearby_citationjaxstro.testing.is_grad_contractjaxstro.testing.is_inference_readyjaxstro.testing.render_cardjaxstro.testing.render_familyjaxstro.testing.render_indexjaxstro.testing.resolve_node_idsjaxstro.testing.scan_module_numeric_literalsjaxstro.testing.test_body_has_assertjaxstro.testing.trust_report_to_dictjaxstro.testing.trust_report_to_jsonjaxstro.testing.trust_report_to_markdownjaxstro.units.get_units
The absence from the table is not a support or maturity claim.
Module-inherited public types¶
These immutable record or type constructors inherit their module-level contract:
jaxstro.atmospheres.AcquisitionDecisionjaxstro.atmospheres.ArtifactReportjaxstro.atmospheres.AtmosphereAdapterjaxstro.atmospheres.AtmosphereAdapterRegistryjaxstro.atmospheres.AtmosphereCatalogCoveragejaxstro.atmospheres.AtmosphereLibraryjaxstro.atmospheres.AtmosphereLibraryCandidatejaxstro.atmospheres.AtmosphereParamsjaxstro.atmospheres.AtmosphereQueryjaxstro.atmospheres.AtmosphereSelectionjaxstro.atmospheres.BoszBackendjaxstro.atmospheres.BoszFilejaxstro.atmospheres.BoszIndexjaxstro.atmospheres.BoszMetadatajaxstro.atmospheres.GridTopologyjaxstro.atmospheres.NewEraBackendjaxstro.atmospheres.NewEraLowResFilejaxstro.atmospheres.NewEraLowResHeaderjaxstro.atmospheres.NewEraLowResIndexjaxstro.atmospheres.NewEraLowResMetadatajaxstro.atmospheres.OverlapDiagnosticjaxstro.atmospheres.PreparationResultjaxstro.atmospheres.PreparedAtmospherejaxstro.atmospheres.ProductDescriptorjaxstro.atmospheres.Sonora2024Metadatajaxstro.atmospheres.SonoraBackendjaxstro.atmospheres.TlustyBackendjaxstro.atmospheres.TlustyFluxMetadatajaxstro.atmospheres.TopologyKindjaxstro.atmospheres.TopologySelectionjaxstro.contracts.ADSemanticsjaxstro.contracts.BoundaryContractjaxstro.contracts.CallableContractjaxstro.contracts.ContractInventoryjaxstro.contracts.EvidenceKindjaxstro.contracts.EvidenceReferencejaxstro.contracts.ExecutionBoundaryjaxstro.contracts.FailureModejaxstro.contracts.MaturityLeveljaxstro.contracts.ModuleContractjaxstro.contracts.SupportLeveljaxstro.contracts.TransformContractjaxstro.evidence.ComparisonRecordjaxstro.evidence.ComparisonRelationjaxstro.evidence.EnvironmentRecordjaxstro.evidence.EvidenceArtifactjaxstro.evidence.EvidenceClassjaxstro.evidence.EvidenceFreshnessErrorjaxstro.evidence.EvidenceIndexjaxstro.evidence.EvidenceIndexEntryjaxstro.evidence.EvidenceStatusjaxstro.evidence.MetricRecordjaxstro.numerics.Arrayjaxstro.numerics.BSpline1Djaxstro.numerics.BlockDiagonalOperatorjaxstro.numerics.BracketHistoryjaxstro.numerics.BracketProposaljaxstro.numerics.BracketStatejaxstro.numerics.BracketedRootResultjaxstro.numerics.BracketedRootStatejaxstro.numerics.CellNeighbors1Djaxstro.numerics.DenseOperatorjaxstro.numerics.DiagonalOperatorjaxstro.numerics.FaceGeometry1Djaxstro.numerics.ImplicitRootAssumptionsjaxstro.numerics.ImplicitRootCertificatejaxstro.numerics.ImplicitRootResultjaxstro.numerics.LineSearchResultjaxstro.numerics.LinearOperatorjaxstro.numerics.Mesh1Djaxstro.numerics.NaturalCubicSpline1Djaxstro.numerics.ODEResultjaxstro.numerics.ProductOperatorjaxstro.numerics.RootTracejaxstro.numerics.ScaledOperatorjaxstro.numerics.SumOperatorjaxstro.numerics.TransposeOperatorjaxstro.numerics.VerletResultjaxstro.params.AbstractBijectorjaxstro.params.Expjaxstro.params.Identityjaxstro.params.Parameterizationjaxstro.params.Sigmoidjaxstro.params.Softplusjaxstro.provenance.ArtifactHashjaxstro.provenance.EnvironmentSnapshotjaxstro.provenance.MethodManifestjaxstro.quantity.Dimensionjaxstro.quantity.DimensionErrorjaxstro.quantity.EquivalencyErrorjaxstro.quantity.Quantityjaxstro.quantity.QuantityErrorjaxstro.quantity.Unitjaxstro.quantity.UnitConversionErrorjaxstro.quantity.UnitParseErrorjaxstro.quantity.UnitRegistryjaxstro.quantity.UnitRegistryErrorjaxstro.spectra.CoveragePolicyjaxstro.spectra.FluxInterpolationjaxstro.spectra.PointResamplingMethodjaxstro.spectra.PreparedRectilinearStenciljaxstro.spectra.PreparedSimplexStenciljaxstro.spectra.SpectralAxisjaxstro.spectra.SpectralCoordinatejaxstro.spectra.SpectralPlanjaxstro.spectra.SpectralSamplingjaxstro.spectra.SpectralSemanticjaxstro.spectra.Spectrumjaxstro.spectra.SpectrumProvenancejaxstro.spectra.SpectrumResultjaxstro.spectra.SpectrumStatusjaxstro.spectra.SpectrumStatusCodejaxstro.testing.AuditResultjaxstro.testing.Casejaxstro.testing.DifferenceReportjaxstro.testing.Directionjaxstro.testing.EdgeConfigjaxstro.testing.EvidenceAnchorjaxstro.testing.MethodEvidencejaxstro.testing.NumericalTrustReportjaxstro.testing.ProvenanceCardjaxstro.testing.ProvenanceCardErrorjaxstro.testing.SourceReferencejaxstro.units.PhotometricUnitsjaxstro.units.UnitSystem