Optionalplainput: a parameter this program owns. stored: set outside it.
The value, marked secret. What this program put wins over what is stored.
OptionalwrittenA put's parameter, by URN. Known at preview, and an Output built from it waits for the write, which a hand-assembled parameter ARN does not.
The value when it is known as the program evaluates, for size checks.