vraven.decompiler · class
CertificateBuilder
CertificateBuilder()Public VRAVEN API symbol.
Usage
from vraven.decompiler import CertificateBuilder
value = CertificateBuilder(...)Methods
build(self, captured: 'CapturedModel', atlas: 'ConceptAtlas', causal_graph: 'CausalMechanismGraph', program: 'MechanismProgram', counterfactual: 'CounterfactualProof | None', *, target: 'int') -> 'MechanismCertificate'
Public method.
Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.