ra8-firmware/mdl__verify__rabook__internal_8h_source.html

#pragma once


#include <stdint.h>


#include "fw_if_fs.h"

#include "mdl_export.h"

#include "mdl_verify.h"

#include "ra8_attributes.h"

#include "ra8_err.h"


RA8_PRIV ra8_err_t priv_mdl_verify_rabook(fw_fs_file_t*           file,

                                          uint64_t                size_bytes,

                                          mdl_export_workspace_t* workspace,

                                          mdl_verify_report_t*    report);

fw_if_fs.h
Architecture-neutral filesystem namespace, stream, and transaction ports.

mdl_export.h
Package a downloaded chapter folder into a reader-openable container.

mdl_export_workspace_t
struct mdl_export_workspace mdl_export_workspace_t
Caller-owned bounded arena for all exporter scratch state.

mdl_verify.h
Bounded, no-heap structural validation of mdl artifacts.

priv_mdl_verify_rabook
ra8_err_t priv_mdl_verify_rabook(fw_fs_file_t *file, uint64_t size_bytes, mdl_export_workspace_t *workspace, mdl_verify_report_t *report)
Strictly validate one borrowed RBKC .rabook file.
Definition mdl_verify_rabook.c:120

ra8_attributes.h
Annotation-attribute framework macros for ra8-firmware.

RA8_PRIV
#define RA8_PRIV
Module-private helper: shared across TUs but only inside one library.
Definition ra8_attributes.h:219

ra8_err.h
Error Code Definitions for ra8-firmware.

ra8_err_t
ra8_err_codes_t ra8_err_t
Canonical error-return type used by every ra8-firmware API.
Definition ra8_err.h:546

fw_fs_file_t
Caller-owned open file; fields are private to the facade.
Definition fw_if_fs_types.h:218

mdl_verify_report_t
Definition mdl_verify.h:18