pub fn render_export_html(export: &CorpusExport) -> Result<String, String>Expand description
render_export_html(export) — the vendored shell with the export JSON
injected into its single data seam.
PortalShellMissing is unreachable with a compile-time embed; the
PortalSeamMissing guard is retained for contract fidelity (its message
bytes feed decided: <msg>, exit 2). Both are operational errors in the
oracle, not caller errors.