XML 81 R70.htm IDEA: XBRL DOCUMENT
v3.25.3

Commitments and contingencies (Details) |  |  |  | 3 Months Ended |  |  |
--- | --- | --- | --- | --- | --- | --- | ---
Oct. 28, 2025 USD ($) | Nov. 13, 2024 USD ($) | Feb. 16, 2024 USD ($) | Oct. 31, 2025 USD ($) Lawsuit Demand | Jul. 31, 2025 USD ($) | Jul. 08, 2024 USD ($) | Sep. 12, 2023 USD ($)
Other Commitments [Abstract] |  |  |  |  |  |  |
Minimum advance of royalty to be paid by August 1, 2024 and August 1, 2025 | $ 1,000,000 |  |  |  |  |  |
Minimum advance of royalty to be paid by August 1, 2025 and August 1, 2026 | 1,270,000 |  |  |  |  |  |
Minimum advance of royalty to be paid by August 1, 2026 and August 1, 2027 | 1,270,000 |  |  |  |  |  |
Accrued annual fee payable |  |  |  | $ 6,582,418 | $ 7,059,064 |  |
Number of demands eligible security holder can make | Demand |  |  |  | 3 |  |  |
Excise taxes payable |  |  |  | $ 2,410,973 | $ 2,410,973 |  |
Interest and penalties percentage |  |  |  | 10.00% |  |  |
Underpayment penalty percentage |  |  |  | 5.00% |  |  |
Percentage of underpayment penalty of total liability |  |  |  | 25.00% |  |  |
Minimum advance of royalty to be paid, 2025 | 1,000,000 |  |  |  |  |  |
Minimum advance of royalty to be paid 2026 | 1,270,000 |  |  |  |  |  |
Minimum advance of royalty to be paid 2027 | $ 1,270,000 |  |  |  |  |  |
Number of trading days used to calculate volume-weighted average price | 10 days |  |  |  |  |  |
Percentage of warrants exercisable | 25.00% |  |  |  |  |  |
Warrant term | 3 years |  |  |  |  |  |
Number of pending or threatened lawsuits | Lawsuit |  |  |  | 0 |  |  |
Focus Impact Partners [Member] | Strategic Consulting Agreement [Member] |  |  |  |  |  |  |
Other Commitments [Abstract] |  |  |  |  |  |  |
Annual consulting fee |  | $ 500,000 |  |  |  |  |
Quarterly consulting fee |  | 125,000 |  |  |  |  |
Minimum equity and debt financing |  | $ 5,000,000 |  |  |  |  |
Agreement term |  | 3 years |  |  |  |  |
Advance notice period for termination of agreement |  | 120 days |  |  |  |  |
Agreement extension term |  | 1 year |  |  |  |  |
Strategic Partnership Agreement [Member] | Devvio Inc. [Member] |  |  |  |  |  |  |
Other Commitments [Abstract] |  |  |  |  |  |  |
Minimum advance of royalty to be paid by August 1, 2024 and August 1, 2025 |  |  |  |  |  |  | $ 1,000,000
Minimum advance of royalty to be paid by August 1, 2025 and August 1, 2026 |  |  |  |  |  |  | 1,270,000
Minimum advance of royalty to be paid by August 1, 2026 and August 1, 2027 |  |  |  |  |  |  | 1,270,000
Minimum royalty advance to be paid to avoid termination of contract from Year 2027 and 2028 |  |  |  |  |  |  | 1,000,000
Period of minimum royalty advance extended |  |  |  | 1 year |  |  |
Minimum advance of royalty to be paid, 2025 |  |  |  |  |  |  | 1,000,000
Minimum advance of royalty to be paid 2026 |  |  |  |  |  |  | 1,270,000
Minimum advance of royalty to be paid 2027 |  |  |  |  |  |  | $ 1,270,000
Amended Strategic Partnership Agreement [Member] | Devvio Inc. [Member] |  |  |  |  |  |  |
Other Commitments [Abstract] |  |  |  |  |  |  |
Minimum advance of royalty to be paid by August 1, 2024 and August 1, 2025 |  |  |  |  |  | $ 1,000,000 |
Minimum advance of royalty to be paid by August 1, 2025 and August 1, 2026 |  |  |  |  |  | 1,270,000 |
Minimum advance of royalty to be paid by August 1, 2026 and August 1, 2027 |  |  |  |  |  | 1,270,000 |
Minimum royalty advance to be paid to avoid termination of contract from Year 2027 and 2028 |  |  |  |  |  | 1,000,000 |
Minimum advance of royalty to be paid, 2025 |  |  |  |  |  | 1,000,000 |
Minimum advance of royalty to be paid 2026 |  |  |  |  |  | 1,270,000 |
Minimum advance of royalty to be paid 2027 |  |  |  |  |  | $ 1,270,000 |
Licensing Agreements [Member] | Greenlines Technology Inc. [Member] |  |  |  |  |  |  |
Other Commitments [Abstract] |  |  |  |  |  |  |
Payment of purchase commitment |  |  | $ 42,000 |  |  |  |
Period for closing of business combination agreement |  |  | 15 days |  |  |  |
Annual fee for use of licensed technology |  |  | $ 12,000 |  |  |  |
Accrued annual fee payable |  |  |  | $ 10,000 |  |  |

X
- Definition Advance notice period for termination of agreement, PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. + References No definition available. + Details
Name: | devs_AdvanceNoticePeriodForTerminationOfAgreement
Namespace Prefix: | devs_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Extension of agreement term, PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. + References No definition available. + Details
Name: | devs_AgreementExtensionTerm
Namespace Prefix: | devs_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Term of agreement, in PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. + References No definition available. + Details
Name: | devs_AgreementTerm
Namespace Prefix: | devs_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Annual consulting fee payable for providing consulting services on reaching specific terms. + References No definition available. + Details
Name: | devs_AnnualConsultingFee
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition The annual fee for the use of licensed technology payable on the first day of each calendar year under a business combination agreement (BCA). + References No definition available. + Details
Name: | devs_AnnualFeeForUseOfLicensedTechnology
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of contractual obligation, minimum advance royalty, to be paid in next fiscal year following current fiscal year. + References No definition available. + Details
Name: | devs_ContractualObligationMinimumAdvanceRoyaltyToBePaidInYearOne
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of contractual obligation, minimum advance royalty, to be paid in third fiscal year following current fiscal year. + References No definition available. + Details
Name: | devs_ContractualObligationMinimumAdvanceRoyaltyToBePaidInYearThree
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of contractual obligation, minimum advance royalty, to be paid in second fiscal year following current fiscal year. + References No definition available. + Details
Name: | devs_ContractualObligationMinimumAdvanceRoyaltyToBePaidInYearTwo
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Carrying value as of the balance sheet date of liabilities incurred through that date and payable for excise taxes. Used to reflect the current portion of the liabilities (due within one year or within the normal operating cycle if longer). + References No definition available. + Details
Name: | devs_ExciseTaxesPayableCurrent
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition The rate of interest and penalties applicable if the entity fails to meet its obligations in full. + References No definition available. + Details
Name: | devs_InterestAndPenaltiesPercentage
Namespace Prefix: | devs_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | instant

X
- Definition Minimum amount of debt and equity to be raised. + References No definition available. + Details
Name: | devs_MinimumEquityAndDebtFinancing
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of contractual obligation, minimum advance royalty, to be paid from year four onwards in order to avoid termination of contract. + References No definition available. + Details
Name: | devs_MinimumRoyaltyAdvanceToBePaidToAvoidTerminationOfContractFromYearFour
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Number of days used to determine the volume-weighted average price, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References No definition available. + Details
Name: | devs_NumberOfDaysForVolumeWeightedAveragePrice
Namespace Prefix: | devs_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition The number of demands eligible security holder can make, excluding short form demands. + References No definition available. + Details
Name: | devs_NumberOfDemandsEligibleSecurityHolderCanMake
Namespace Prefix: | devs_
Data Type: | xbrli:integerItemType
Balance Type: | na
Period Type: | instant

X
- Definition The rate of underpayment penalty of total liability applicable if the entity fails to meet its obligations in full. + References No definition available. + Details
Name: | devs_PercentageOfUnderpaymentPenaltyOfTotalLiability
Namespace Prefix: | devs_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | instant

X
- Definition Percentage of securities that would be issuable upon the exercise of warrants or rights. + References No definition available. + Details
Name: | devs_PercentageOfWarrantsExercisable
Namespace Prefix: | devs_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | duration

X
- Definition The period for completing the business combination agreement in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. + References No definition available. + Details
Name: | devs_PeriodForClosingOfBusinessCombinationAgreement
Namespace Prefix: | devs_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Quarterly consulting fee payable for providing consulting services on reaching specific terms. + References No definition available. + Details
Name: | devs_QuarterlyConsultingFee
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition The rate of underpayment penalty applicable if the entity fails to meet its obligations in full. + References No definition available. + Details
Name: | devs_UnderpaymentPenaltyPercentage
Namespace Prefix: | devs_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | instant

X
- Definition Carrying value as of the balance sheet date of obligations incurred and payable, pertaining to costs that are statutory in nature, are incurred on contractual obligations, or accumulate over time and for which invoices have not yet been received or will not be rendered. Examples include taxes, interest, rent and utilities. Used to reflect the current portion of the liabilities (due within one year or within the normal operating cycle if longer). + References 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(20)) -Publisher FASB -URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1 + Details
Name: | us-gaap_AccruedLiabilitiesCurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Period covered by the long-term purchase commitment, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. + References No definition available. + Details
Name: | us-gaap_LongtermPurchaseCommitmentPeriod
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Number of pending claims pertaining to a loss contingency. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 450 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 4 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147483076/450-20-50-4 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 450 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 9 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org/1943274/2147483076/450-20-50-9 + Details
Name: | us-gaap_LossContingencyPendingClaimsNumber
Namespace Prefix: | us-gaap_
Data Type: | xbrli:integerItemType
Balance Type: | na
Period Type: | instant

X
- References No definition available. + Details
Name: | us-gaap_OtherCommitmentsAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 942 -SubTopic 235 -Name Accounting Standards Codification -Section S99 -Paragraph 2 -Publisher FASB -URI https://asc.fasb.org/1943274/2147477314/942-235-S99-2 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 235 -SubTopic 10 -Name Accounting Standards Codification -Section S50 -Paragraph 4 -Publisher FASB -URI https://asc.fasb.org/1943274/2147480738/235-10-S50-4 Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 235 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 3 -Subparagraph (SX 210.12-04(a)) -Publisher FASB -URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3 + Details
Name: | us-gaap_PurchaseObligation
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Period between issuance and expiration of outstanding warrant and right embodying unconditional obligation requiring redemption by transferring asset at specified or determinable date or upon event certain to occur, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References 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/2009/role/commonPracticeRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (bbb)(1) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482106/820-10-50-2 + Details
Name: | us-gaap_WarrantsAndRightsOutstandingTerm
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Details
Name: | us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=devs_FocusImpactPartnersLLCMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_RelatedPartyTransactionAxis=devs_StrategicConsultingAgreementMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_TypeOfArrangementAxis=devs_StrategicPartnershipAgreementMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=devs_DevvioIncorporationMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_TypeOfArrangementAxis=devs_AmendedStrategicPartnershipAgreementMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_TypeOfArrangementAxis=us-gaap_LicensingAgreementsMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=devs_GreenlinesTechnologyIncMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |