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

Date when the debt instrument is scheduled to be fully repaid, in YYYY-MM-DD format.

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

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.22(a)(2))
-SubTopic 10
-Topic 210
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Name:	us-gaap_DebtInstrumentMaturityDate
Namespace Prefix:	us-gaap_
Data Type:	xbrli:dateItemType
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

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

Amount of long-term notes classified as other, payable after one year or the normal operating cycle, if longer.

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

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

Name:	us-gaap_ShortTermDebtTypeAxis=jrvs_LoanPayableFiveMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_LongtermDebtTypeAxis=jrvs_LoanPayableMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_LongtermDebtTypeAxis=jrvs_LoanPayableOneMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_LongtermDebtTypeAxis=jrvs_TotalLoanPayableMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_LongtermDebtTypeAxis=jrvs_LoanPayableTwoMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_LongtermDebtTypeAxis=jrvs_LoanPayableThreeMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_LongtermDebtTypeAxis=jrvs_LoanPayableFourMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: