Skip to main content

Module params

Module params 

Source
Expand description

Various parameter data structures for the Rocket frontend routes

Structs§

ReportParams
Configuration parameters for a frontend reports page
RerunRequestParams
The JSON body of a human rerun request. Auth is the signed-in [crate::frontend::actor:: AdminSession] cookie now — no token in the body — so only the free-text purpose remains.
TemplateContext
A backend-retrieved report used for filling in Tera-templated pages

Constants§

MAX_REPORT_OFFSET
Largest report offset any report path will honour. OFFSET is scan-and-discard, so a deep offset is a multi-second query that pins a connection (KNOWN_ISSUES P-4); cap the paginate depth. The reports are an inspection surface (look at affected papers) — bulk action uses rerun, which filters server-side without enumerating.
MAX_REPORT_PAGE_SIZE
Largest report page size any report path (human screen or agent endpoint) will honour. The deepest report rung is a per-task entry list, so an unbounded page_size would LIMIT the whole list into one response/render (the unbounded-load class, principle #6); clamp it everywhere.