Expand description
Various parameter data structures for the Rocket frontend routes
Structs§
- Report
Params - Configuration parameters for a frontend reports page
- Rerun
Request Params - 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. - Template
Context - A backend-retrieved report used for filling in Tera-templated pages
Constants§
- MAX_
REPORT_ OFFSET - Largest report offset any report path will honour.
OFFSETis 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_sizewouldLIMITthe whole list into one response/render (the unbounded-load class, principle #6); clamp it everywhere.