quila comments on quila’s Shortform

[quila]

But maybe you only want to “prove” inner alignment and assume that you already have an outer-alignment-goal-function

correct, i’m imagining these being solved separately