Getting Error in the Burning of FA

[Nishu0]

I am using this code for the whole protocol level to manage my fungible asset module.

    use std::option;
    use std::signer;
    use std::string::{Self};
    use aptos_framework::event;
    use aptos_framework::fungible_asset::{Self, MintRef, TransferRef, BurnRef, Metadata, FungibleStore };
    use aptos_framework::object::{Self, Object, ExtendRef};
    use aptos_framework::primary_fungible_store;

    // ================================ Constants================================= //

    const PROJECT_URL: vector<u8> = b"https://www.qiro.fi/";
    const ICON_URL: vector<u8> = b"https://res.cloudinary.com/dyk5s8gbw/image/upload/v1717438870/fhpgfmybp1kz2en3pbte.png";
    const SEED: vector<u8> = b"QF";

    //friend qiro
    friend qiro::lending_vault;

    // ================================ Resources ================================= //
    struct Management has key {
        extend_ref: ExtendRef,
        mint_ref: MintRef,
        burn_ref: BurnRef,
        transfer_ref: TransferRef,
    }
    // ================================ Events ================================= //
    #[event]
    struct CreateFAEvent has store, drop {
        creator_addr: address,
        // fa_obj_addr: address,
        max_supply: option::Option<u128>,
        name: string::String,
        symbol: string::String,
        decimals: u8,
        coin_type: string::String,
        resource_addr: address,
        icon_uri: string::String,
        project_uri: string::String,
    }

    #[event]
    struct MintFA has store, drop {
        minter: address,
        to: address,
        amount: u64,
    }

    #[event]
    struct BurnFA has drop, store {
        burner: address,
        from: address,
        amount: u64,
    }
    #[event]
    struct TransferFA has drop, store {
        from: address,
        to: address,
        amount: u64,
    }

    // ================================ Friend Functions================================= //

    public(friend) fun create_fa(
        sender: &signer,
        max_supply: option::Option<u128>,
        name: string::String,
        symbol: string::String,
        decimals: u8,
        coin_type: string::String,
        resource_addr: address
    ){
        let account_addr=signer::address_of(sender);
        // Create the fungible asset metadata object. 
        // here sender is signer used to create constructor ref
        let constructor_ref = &object::create_named_object(sender, PROJECT_URL);
        primary_fungible_store::create_primary_store_enabled_fungible_asset(
            constructor_ref,
            max_supply,
            name,
            symbol,
            decimals,
            string::utf8(ICON_URL),
            string::utf8(PROJECT_URL)
        );

        // Generate a signer for the asset metadata object. 
        let metadata_object_signer = &object::generate_signer(constructor_ref);
        //let metadata_object_address=signer::address_of(&metadata_object_signer);
        // Generate asset management refs and move to the metadata object.
        move_to(metadata_object_signer, Management {
            extend_ref: object::generate_extend_ref(constructor_ref),
            mint_ref: fungible_asset::generate_mint_ref(constructor_ref),
            burn_ref: fungible_asset::generate_burn_ref(constructor_ref),
            transfer_ref: fungible_asset::generate_transfer_ref(constructor_ref),
        });
        event::emit(CreateFAEvent {
            creator_addr: account_addr,
            // metadata_object_address,
            max_supply,
            name,
            symbol,
            decimals,
            coin_type,
            resource_addr,
            icon_uri:string::utf8(ICON_URL),
            project_uri:string::utf8(PROJECT_URL)
        });
    }
    /// Mint new assets to the specified account. 
    public(friend) fun mint_fa(
        minter_address: address,
        to: address,
        amount: u64
    ) acquires Management {
        let management = borrow_global<Management>(metadata_address());
        let assets = fungible_asset::mint(&management.mint_ref, amount);
        fungible_asset::deposit_with_ref(&management.transfer_ref, primary_fungible_store::ensure_primary_store_exists(to, metadata()), assets);

        event::emit(MintFA {
            minter: minter_address,
            to,
            amount,
        });
    }

    /// Burn assets from the specified account. 
    public(friend) fun burn_fa(
        burner_address: address, 
        from: address, 
        amount: u64
    ) acquires Management {
        //Withdraw the assets from the account and burn them.
        let management = borrow_global<Management>(metadata_address());
        let store = primary_fungible_store::ensure_primary_store_exists(from, metadata());
        let assets = fungible_asset::withdraw_with_ref(&management.transfer_ref, store, amount);
        fungible_asset::burn(&management.burn_ref, assets);

        event::emit(BurnFA {
            burner: burner_address,
            from,
            amount,
        });
    }

    /* Transfer */
    /// Transfer assets from one account to another. 
    public (friend) fun transfer_fa(from: &signer, to: address, amount: u64) acquires Management {
        // Withdraw the assets from the sender's store and deposit them to the recipient's store.
        let management = borrow_global<Management>(metadata_address());
        let from_store = primary_fungible_store::ensure_primary_store_exists(signer::address_of(from), metadata());
        let to_store = primary_fungible_store::ensure_primary_store_exists(to, metadata());
        let assets = fungible_asset::withdraw_with_ref(&management.transfer_ref, from_store, amount);
        fungible_asset::deposit_with_ref(&management.transfer_ref, to_store, assets);

        event::emit(TransferFA {
            from: signer::address_of(from),
            to,
            amount,
        });
    }

    // ================================ View Functions ================================== //
    #[view]
    public fun metadata_address(): address {
        object::create_object_address(&@qiro, PROJECT_URL)
    }

    #[view]
    public fun metadata(): Object<Metadata> {
        object::address_to_object(metadata_address())
    }

    #[view]
    public fun deployer_store(): Object<FungibleStore> {
        primary_fungible_store::ensure_primary_store_exists(@qiro, metadata())
    }

    // ================================ Tests for FA ================================== //
}```

But when I am trying to compile my code I am facing this error 

error: unresolved spec target
┌─ C:\Users\nisar/.move\https___github_com_aptos-labs_aptos-core_git_mainnet\aptos-move/framework/aptos-framework\sources\object.spec.move:482:10
│
482 │ spec burn_object<T: key>(owner: &signer, object: Object) {
│ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

{
"Error": "Move compilation failed: extended checks failed"

``` Caused due to update https://github.com/aptos-foundation/AIPs/blob/main/aips/aip-99.md```. Is there something I am doing wrong on the burn_fa function? I have tried compiling the example modules shared by Aptos team ```https://github.com/aptos-labs/aptos-core/blob/main/aptos-move/move-examples/fungible_asset/fa_coin/sources/FACoin.move``` and ```https://learn.aptoslabs.com/en/code-examples/dispatchable-fa``` facing the same error.