Function widen 

pub fn widen(
    policy: &SpacePolicy,
    view: &StudyView,
    space: SpaceSchema,
) -> Result<SpaceSchema>

The ask-path interposition: the ask-time space with every policy-open parameter’s live (replayed) range in place of its seed.

Plus the injection, which adds a policy-declared parameter the inferred space does not carry (the define-by-run bootstrap: the policy is a partial declared space).

Pure over its inputs, and returns space untouched when there is nothing to change — the steady state costs exactly what it costs today. Rebuilds by iterating specs in declaration order, never the name index (determinism.md’s ordering promise; the prefix-local dim_k needs it), with injected parameters appended after every declared one, in policy (name) order.

Errors

Error::InvalidSpace only for the structurally-impossible rebuild failures (a duplicate or empty name from a schema that already refused both) — typed, because library paths return Result, rather than unwrapped.