← Python API
vraven · class

FormalCausalMechanismCertificate

FormalCausalMechanismCertificate(model_name: 'str', property: 'str', norm: 'str', input_domain: 'tuple[float | None, float | None]', target: 'int', competitor: 'int', mechanism_spec: 'MechanismPropertySpec', causal_spec: 'CausalEffectPropertySpec', selected_causal_coordinates: 'list[int]', selected_coordinate_clean_effects: 'list[float]', points: 'list[JointMechanismPoint]', decision_radius_lower_bound: 'float', representation_geometry_radius_lower_bound: 'float', representation_top_k_radius_lower_bound: 'float', representation_radius_lower_bound: 'float', causal_geometry_radius_lower_bound: 'float', causal_sign_radius_lower_bound: 'float', causal_effect_radius_lower_bound: 'float', joint_radius_lower_bound: 'float', selected_coordinate_clean_effect_lower_bounds: 'list[float]' = <factory>, causal_coordinate_status: 'CausalCoordinateStatus' = 'inconclusive', causal_coordinate_reason: 'str | None' = 'Clean-effect eligibility was not recorded for this certificate.', causal_coordinate_eligible_count: 'int' = 0, causal_coordinate_required_count: 'int' = 0, cohort_points: 'list[FormalMechanismCohortPoint]' = <factory>, cohort_applicability_records: 'list[FormalMechanismApplicabilityRecord]' = <factory>, selected_cohort_indices: 'list[int]' = <factory>, input_spec: 'InputDomainSpec | None' = None, coordinate_selection: 'CoordinateSelectionProvenance | None' = None, evaluation_sample_ids: 'list[str]' = <factory>, publication_readiness: 'PublicationReadinessLedger | None' = None, verifier: 'str' = 'vraven_formal_causal_mechanism_relational_ibp_v3', assumptions: 'list[str]' = <factory>, limitations: 'list[str]' = <factory>, metadata: 'dict[str, Any]' = <factory>) -> None

Proof ledger for decision, representation and causal-effect survival.

Usage

from vraven import FormalCausalMechanismCertificate

value = FormalCausalMechanismCertificate(...)

Methods

save(self, path: 'str | Path') -> 'Path'

Public method.

to_dict(self) -> 'dict[str, Any]'

Public method.

write_html(self, path: 'str | Path') -> 'Path'

Public method.

Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.