Struct DecoratorGate 

pub struct DecoratorGate { /* private fields */ }

The file-level optimization-decorator contract (## No <opt> / ## Require <opt>) in ONE place, so no compile/run/emit tier can silently drop it — the drift that let the decorators be ignored on the C, VM, wasm and isa paths. Every tier does the same two steps: install_decorators(...) at scope entry, then gate.verify()? after compilation.

Implementations

impl DecoratorGate

pub fn for_required(required: Vec<Opt>) -> DecoratorGate

Open a fired-trace for required (when non-empty and no trace is already active) WITHOUT touching the active config — for the run/VM/wasm/isa seam, where ## No was already installed upstream (parse_seam) and only ## Require remains to enforce. Pair with verify (checks) or close (discards on a prior error).

pub fn close(self)

End the trace this gate owns without checking ## Require — used when compilation already failed so its own error propagates instead of a spurious ## Require message.

pub fn verify(self) -> Result<(), String>

Close the trace this gate owns and fail loudly on any ## Require <opt> whose optimization did not fire for the program — the honest answer when a backend cannot provide a demanded optimization (e.g. ## Require memo under the VM/wasm tier, where memoization is an AOT-codegen construct). Returns the ready-to-surface error message.