Name:	jrvs_CashPaidForAcquisitionOrDispositionOfBusinessesNetOfCashAcquired
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

Name:	jrvs_OwnershipPercentageOfIssuedAndOutstandingCapitalStock
Namespace Prefix:	jrvs_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

- References

No definition available.

Name:	jrvs_PromissoryNoteByRacMergerLlcAmount
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

Net yield on interest-earning assets calculated as difference between total interest earned and total interest paid divided by total interest-earning assets.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Name Regulation S-K (SK)
-Number 229
-Section 1402
-Paragraph b
-Subparagraph (5)
-Publisher SEC

Name:	srt_InterestEarningAssetsNetYield
Namespace Prefix:	srt_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	duration

Face amount or stated value per share of common stock.

Name:	us-gaap_CommonStockParOrStatedValuePerShare
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	instant

Face amount or stated value per share of preferred stock nonredeemable or redeemable solely at the option of the issuer.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(28))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 505
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481112/505-10-50-13

Name:	us-gaap_PreferredStockParOrStatedValuePerShare
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	instant

Number of shares issued for nonredeemable preferred shares and preferred shares redeemable solely at option of issuer. Includes, but is not limited to, preferred shares issued, repurchased, and held as treasury shares. Excludes preferred shares classified as debt.

Name:	us-gaap_PreferredStockSharesIssued
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

The cash inflow from the capital received in cash from a partner in a partnership during the period.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 14
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-14

Name:	us-gaap_ProceedsFromPartnershipContribution
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

Amount of cash inflow from the sale of other assets as part of operating activities.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 25
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-25

Name:	us-gaap_ProceedsFromSaleOfOtherAssets1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

Percentage of subsidiary's or equity method investee's stock owned by parent immediately after all stock transactions.

No definition available.

Name:	us-gaap_SubsidiaryOrEquityMethodInvesteeCumulativePercentageOwnershipAfterAllTransactions
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	duration

Name:	us-gaap_AwardDateAxis=jrvs_JulyEightTwoThousandTwentyFiveMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_RelatedPartyTransactionAxis=jrvs_RACMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_PlanNameAxis=jrvs_ReorganizationMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: