XML 51 R40.htm IDEA: XBRL DOCUMENT
v3.25.3

Carbon credits, Summary (Details) - Carbon Credits [Member] - USD ($) |  | 3 Months Ended
--- | --- | ---
Nov. 06, 2024 | Oct. 31, 2025
Business Combination [Abstract] |  |
Shares issued (in shares) | 324,987 |
Fair value of shares issued | $ 1,982,424 |
Stop-loss Provision [Abstract] |  |
Stop-loss provision, received |  | $ 1,094,765
Deposit on Carbon Credits [Abstract] |  |
Consideration paid for future delivery |  | 421,403
Deposit related to carbon credit contracts with stop-loss provisions |  | $ 271,403
Minimum [Member] |  |
Stop-loss Provision [Abstract] |  |
Agreement period, if share price falls below purchase prices, obligated to issue additional shares |  | 12 months
Maximum [Member] |  |
Stop-loss Provision [Abstract] |  |
Agreement period, if share price falls below purchase prices, obligated to issue additional shares |  | 18 months

X
- Definition The agreements contain adjustment clauses whereby if the Company's share price falls below the respective purchase prices outlined in the agreements, the Company is obligated to issue additional shares to cover the shortfall, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. Includes, but not limited to, weeks in a year or quarter. + References No definition available. + Details
Name: | devs_AgreementPeriodIfSharePriceFallsBelowPurchasePricesObligatedToIssueAdditionalShares
Namespace Prefix: | devs_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of consideration transferred for future delivery is recorded as a deposit on carbon credits. + References No definition available. + Details
Name: | devs_BusinessCombinationConsiderationTransferredForFutureDelivery
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Number of common shares issued in consideration for these agreements. + References No definition available. + Details
Name: | devs_BusinessCombinationConsiderationTransferredSharesIssued
Namespace Prefix: | devs_
Data Type: | xbrli:sharesItemType
Balance Type: | na
Period Type: | duration

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

X
- Definition Amount of deposit paid for future delivery of carbon credits under contracts with a stop-loss provision. + References No definition available. + Details
Name: | devs_DepositOnCarbonCreditsWithStopLossProvision
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value of common shares issued in business combination value of stock issued pursuant to acquisitions during the period. + References No definition available. + Details
Name: | devs_FairValueOfCommonSharesIssuedInBusinessCombination
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

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

X
- Definition The amount of stop-loss provision for carbon credits received. + References No definition available. + Details
Name: | devs_StopLossProvisionReceived
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

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

X
- Details
Name: | us-gaap_BusinessAcquisitionAxis=devs_CarbonCreditsMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MinimumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MaximumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |