← Python API
vraven.decompiler · class

MechanismCertificate

MechanismCertificate(schema_version: 'str', model_class: 'str', target: 'int', validity_envelope: 'ValidityEnvelope', coverage: 'CoverageCertificate', fidelity: 'FidelityCertificate', claims: 'list[ClaimRecord]', dark_matter: 'dict[str, float]', warnings: 'list[str]', metadata: 'dict[str, Any]' = <factory>) -> None

MechanismCertificate(schema_version: 'str', model_class: 'str', target: 'int', validity_envelope: 'ValidityEnvelope', coverage: 'CoverageCertificate', fidelity: 'FidelityCertificate', claims: 'list[ClaimRecord]', dark_matter: 'dict[str, float]', warnings: 'list[str]', metadata: 'dict[str, Any]' = <factory>)

Usage

from vraven.decompiler import MechanismCertificate

value = MechanismCertificate(...)

Methods

from_dict(payload: 'Mapping[str, Any]') -> "'MechanismCertificate'"

Public method.

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

Public method.

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

Public method.

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