vraven.decompiler · class
FormalRobustnessCertificate
FormalRobustnessCertificate(model_name: 'str', property: 'str', norm: 'str', input_domain: 'tuple[float | None, float | None]', target: 'int', sample_points: 'list[FormalVerificationPoint]', certified_radius_lower_bound: 'float', first_inconclusive_epsilon: 'float | None', cohort_points: 'list[CertifiedAccuracyPoint]' = <factory>, selected_indices: 'list[int]' = <factory>, input_spec: 'InputDomainSpec | None' = None, verifier: 'str' = 'vraven_ibp_fx_v1', proof_semantics: 'str' = 'For every input in the declared L-infinity box, optionally intersected with the recorded input domain, interval propagation proves the target-logit lower bound strictly exceeds every competing-logit upper bound.', limitations: 'list[str]' = <factory>, metadata: 'dict[str, Any]' = <factory>) -> NoneMachine-readable proof ledger for one sample and an optional cohort.
Usage
from vraven.decompiler import FormalRobustnessCertificate
value = FormalRobustnessCertificate(...)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.