Name:	jrvs_GoodwillInterestAllocatedAmount
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- References

No definition available.

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

Amount of noncash expense included in interest expense to amortize debt discount and premium associated with the related debt instruments. Excludes amortization of financing costs. Alternate captions include noncash interest expense.

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(8))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483621/220-10-S99-2

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1F
-Subparagraph (b)(2)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1F

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-3

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

Amount of amortization expense attributable to debt issuance costs.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(8))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483621/220-10-S99-2

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1F
-Subparagraph (b)(2)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481139/470-20-50-1F

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 28
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-28

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-3

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

Amount of the required periodic payments applied to interest.

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

Amount of the required periodic payments applied to principal.

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

Amount of interest capitalized during the period.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 835
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483013/835-20-50-1

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

Including the current and noncurrent portions, aggregate carrying value as of the balance sheet date of loans payable (with maturities initially due after one year or beyond the operating cycle if longer).

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478546/942-210-S99-1

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16)(a)(2))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478777/944-210-S99-1

Name:	us-gaap_LoansPayable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of long-term loans payable classified as other.

Name:	us-gaap_OtherLoansPayable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Cash payments for and related to principal collection on loans related to operating activities.

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

Name:	us-gaap_PaymentsForLoans
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

The cash inflow from a borrowing with the highest claim on the assets of the entity in case of bankruptcy or liquidation (with maturities initially due after one year or beyond the operating cycle, if longer).

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

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

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=jrvs_DirectorsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_TitleOfIndividualAxis=srt_ChiefExecutiveOfficerMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

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

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

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

Name:	us-gaap_FinancingReceivableRecordedInvestmentByClassOfFinancingReceivableAxis=us-gaap_ConstructionLoansMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: