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 annual principal payment for debt instrument.

Name:	us-gaap_DebtInstrumentAnnualPrincipalPayment
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

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

Amount of cash paid for interest, including, but not limited to, capitalized interest and payment to settle zero-coupon bond attributable to accreted interest of debt discount and debt instrument with insignificant coupon interest rate in relation to effective interest rate of borrowing attributable to accreted interest of debt discount; classified as operating and investing activities.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482913/230-10-50-2

Name:	us-gaap_InterestPaid
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
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

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), excluding current portion.

Name:	us-gaap_LongTermLoansPayable
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

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: