Propose consolidating a notebook's hard-coded values into one parameter cell

The server enumerates every literal the transformation may touch, the LLM selects and names the ones worth exposing as parameters, and the server resolves that selection into verified replacement spans plus the parameter cell to insert at the top. A proposal the LLM could not produce, or that verification emptied, comes back absent.