vraven.decompiler · class
DecisionProofReport
DecisionProofReport(result: 'DecompilationResult') -> 'None'Render a compact, evidence-led report rather than a generic metrics dashboard.
Usage
from vraven.decompiler import DecisionProofReport
value = DecisionProofReport(...)Methods
write(self, path: 'str | Path', *, format: 'str | None' = None, initial_mode: 'str' = 'interactive_dark', include_plotlyjs: 'bool' = True) -> 'Path'
Write exactly one Decision Proof report in HTML, PDF or JSON format.
write_feature(self, visual: 'str', path: 'str | Path', *, format: 'str | None' = None, initial_mode: 'str' = 'interactive_dark', include_plotlyjs: 'bool' = True) -> 'Path'
Write exactly one evidence-led feature report.
write_feature_html(self, visual: 'str', path: 'str | Path', *, initial_mode: 'str' = 'interactive_dark', include_plotlyjs: 'bool' = True) -> 'Path'
Write one evidence-led standalone feature report with both render modes.
write_feature_json(self, visual: 'str', path: 'str | Path') -> 'Path'
Write one feature audit and its plotted publication data as JSON.
write_feature_pdf(self, visual: 'str', path: 'str | Path') -> 'Path'
Write one publication-light feature report as a PDF.
write_html(self, path: 'str | Path', *, initial_mode: 'str' = 'interactive_dark', include_plotlyjs: 'bool' = True) -> 'Path'
Public method.
write_json(self, path: 'str | Path') -> 'Path'
Write the complete Decision Proof evidence as one machine-readable report.
write_pdf(self, path: 'str | Path') -> 'Path'
Write one publication-light PDF using a local Chromium-family browser.
Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.