Struct PolicyIr 

pub struct PolicyIr {
    pub cors: Option<CorsIr>,
    pub security: SecurityIr,
    pub max_body_bytes: Option<i64>,
}

P6.11’s real PolicyIr/CorsIr/SecurityIr ([DECISION D], #1171) — the interpreted (not passed-through) form of a from http service’s cors/security/limits blocks, bynk_lower::lower_policy_ir’s own return value. The reference names PolicyIr once, in the IrItem::Service sketch itself (:1132), and never elsewhere — the same “referenced, not specified” gap every trailing struct in this module has carried before its own slice specified it.

Interpreted, not passed through — the one discipline this struct exists to enforce. Every AST policy type (bynk_syntax::ast::CorsPolicy/SecurityPolicy/LimitsPolicy) stores raw, unvalidated {name, value: Expr} pairs; meaning only exists through each type’s own already-shipped typed accessor (CorsPolicy::origins()/credentials()/allow_headers()/ max_age_secs(), SecurityPolicy::nosniff()/hsts_max_age_secs(), LimitsPolicy::max_body()) — carrying the raw AST struct here instead would embed exactly the kind of unresolved value this whole track (R6.13) exists to remove from the IR. The shipped emitter already never reads a policy’s own .fields directly (emitter/workers_entry.rs), so this is that emitter’s own already-established reading of the AST, moved upstream, not a new interpretation invented here.

Fields

cors: Option<CorsIr>

security: SecurityIr

Not Option — unlike cors/limits, security: None on the AST means defaults (nosniff on), not no headers (ADR 0164 Decision A) — keeping this Option here would re-export exactly the ambiguity this struct exists to remove. The None-source arm of bynk_lower::lower_policy_ir materialises SecurityIr { nosniff: true, hsts_max_age_secs: None } — the emitter’s own already-shipped default, verbatim, not invented here.

max_body_bytes: Option<i64>

LimitsPolicy::max_body()’s own return value, flattened directly — no dedicated LimitsIr struct. LimitsPolicy has exactly one accessor; a one-field wrapper would carry no more information than this Option<i64> itself, the same “no further structure” precedent EmbedIr/IndexIr already set.

Trait Implementations

impl Clone for PolicyIr

fn clone(&self) -> PolicyIr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PolicyIr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.