Check a Filecoin sector number before restoring a sealing queue
After recovering a scheduler database, an apparently unused local sector number may already be allocated onchain. Reusing it can invalidate the reconstructed job plan.
Query allocation, not just sector metadata
Look up the proposed sector number under its provider actor. The result is a boolean. Store the chain observation separately from the scheduler's local reservation record.
{"jsonrpc":"2.0","id":1,"method":"Filecoin.StateMinerSectorAllocated","params":["f01234",9001,[]]}
Reconcile concurrent reservations
A true result rules out treating this number as globally fresh for the provider. A false result describes the sampled state and cannot detect another locally queued precommit. Serialize number assignment across workers and reconcile pending messages before releasing the rebuilt queue.