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

- References

No definition available.

Name:	jrvs_RelatedPartyOwnershipInterestPercentage
Namespace Prefix:	jrvs_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

The average effective interest rate during the reporting period.

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(22)(a)(1))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

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

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

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

Contractual interest rate for funds borrowed, under the debt agreement.

Name:	us-gaap_DebtInstrumentInterestRateStatedPercentage
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
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/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)(i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

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
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22)(a)(2))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

Reference 4: 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

Name:	us-gaap_DebtInstrumentMaturityDate
Namespace Prefix:	us-gaap_
Data Type:	xbrli:dateItemType
Balance Type:	na
Period Type:	duration

Period of time between issuance and maturity of debt instrument, in PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

No definition available.

Name:	us-gaap_DebtInstrumentTerm
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

Amount of interest expense classified as other.

No definition available.

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

Including the current and noncurrent portions, aggregate carrying amount of all types of notes payable, as of the balance sheet date, with initial maturities beyond one year or beyond the normal 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

Reference 4: 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)(17))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478777/944-210-S99-1

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

Amount of transactions with related party during the financial reporting period.

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

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

The cash outflow to repay long-term debt that is not secured by collateral. Excludes repayments of tax exempt unsecured debt.

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

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

Number of shares of stock issued attributable to transactions classified as other.

No definition available.

Name:	us-gaap_StockIssuedDuringPeriodSharesOther
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

Value of shares of stock issued attributable to transactions classified as other.

No definition available.

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

Name:	us-gaap_IncomeStatementLocationAxis=us-gaap_OperatingExpenseMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

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

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

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

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

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