From a77d2a235a74aae91bdf3c9a7dd7d19ae8032066 Mon Sep 17 00:00:00 2001 From: Xiwei Pan <90967972+isPANN@users.noreply.github.com> Date: Wed, 4 Nov 2026 23:29:50 -0800 Subject: [PATCH] Render upper_bound parameter contracts in the paper The paper renderer matched "bound-only", but the graph export emits "upper_bound", so every upper-bound formula rendered as unavailable. Match the exported names explicitly and panic on unknown contracts. Co-Authored-By: Claude Opus 5.5 --- docs/paper/reductions.typ | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/paper/reductions.typ b/docs/paper/reductions.typ index 8e0462b7a..48791cea9 100644 --- a/docs/paper/reductions.typ +++ b/docs/paper/reductions.typ @@ -641,8 +641,9 @@ #let format-parameter-contract(fields) = { let parts = fields.map(o => { if o.contract == "exact" { raw(o.field + " = " + o.formula) } - else if o.contract == "bound-only" { raw(o.field + " <= " + o.formula) } - else { raw(o.field + " unavailable: " + o.reason) } + else if o.contract == "upper_bound" { raw(o.field + " <= " + o.formula) } + else if o.contract == "unavailable" { raw(o.field + " unavailable: " + o.reason) } + else { panic("unknown parameter contract: " + o.contract) } }) [_Parameter contract:_ #parts.join(", ").] }