Name:	jrvs_LoanAmountAfterUnamortizedDebtDiscount
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- References

No definition available.

Name:	jrvs_LongTermDebtMaturityYear
Namespace Prefix:	jrvs_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

Name:	jrvs_PaymentOfDebtAmount
Namespace Prefix:	jrvs_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Amount, after accumulated amortization, of debt discount.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 835
-SubTopic 30
-Section 45
-Paragraph 1A
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482925/835-30-45-1A

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 835
-SubTopic 30
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482949/835-30-55-8

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1D
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D

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

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://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/2147479440/944-210-S99-1

Reference 3: 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/2147479853/942-210-S99-1

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

The interest rate applicable to the portion of the carrying amount of long-term borrowings outstanding as of the balance sheet date, including current maturities, which accrues interest at a set, unchanging rate.

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

Name:	us-gaap_LongTermDebtPercentageBearingFixedInterestRate
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
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.

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