Optional ReadonlyafterOptional ReadonlybeforeOptional ReadonlydiagnosticsOptional ReadonlyenableOptional ReadonlygateAfter-run options used for gate evaluation; defaults to options.after.
Only used to read runtimeServicesEvidence/kernelRef; does not rely on debug logs.
Optional ReadonlygateEvidence trimming level for gate evaluation:
off: minimal summary (must still be runnable)light / full: add explainable detailsOptional ReadonlymaxOptional Readonlymode
Contract diff allowlist (disabled by default).