[Bug] Compilation failure: specification expression cannot use impure construct in mint_stage.move

[iskysun96]

I am attempting to deploy the NFT launchpad module using the create-aptos-dapp NFT minting app, but compilation fails during environmental checking. It appears the Move Prover/Compiler is flagging an impure construct being used in a specification context.

Error Log:

Context:

File: sources/modules/mint_stage.move
Function: borrow_mint_stage_from_object (or a call inlined from it)
Aptos CLI Version: 7.11

Steps to Reproduce:

1. Initialize an NFT minting app via npx create-aptos-dapp.
2. Attempt to compile or deploy the contract.
3. The compiler fails at the environment checking stage with the "impure construct" error.