XML 52 R41.htm IDEA: XBRL DOCUMENT
v3.25.3

Carbon credits, Retirement of Carbon Credits (Details) - Carbon Credits [Member] - USD ($) |  | 3 Months Ended |
--- | --- | --- | ---
Aug. 14, 2025 | Oct. 31, 2025 | Jun. 20, 2025
Retirement of Carbon Credits [Abstract] |  |  |
Number of shares to be purchased (in shares) |  |  | 16,500
Share price (in dollars per share) |  |  | $ 6.06
Purchase consideration |  |  | $ 100,000
Percentage of credits to be retired |  |  | 50.00%
Retirement period for carbon credits |  | 5 days |
Purchase consideration paid |  | $ 100,000 |
Number of shares purchased upon retirement of carbon credits (in shares) | 8,250 |  |
Percentage of credits retired | 50.00% |  |
Environmental expense |  | $ 50,000 |
Number of shares to be received (in shares) |  | 8,250 |

X
- Definition Percentage of total carbon credits under the purchase agreement that were retired by the vendor on behalf of the Company. + References No definition available. + Details
Name: | devs_CarbonCreditsRetiredPercentage
Namespace Prefix: | devs_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | instant

X
- Definition Number of shares to be purchased from a vendor. + References No definition available. + Details
Name: | devs_NumberOfSharesToBePurchased
Namespace Prefix: | devs_
Data Type: | xbrli:sharesItemType
Balance Type: | na
Period Type: | instant

X
- Definition The number of carbon credits that have not yet been transferred or delivered. + References No definition available. + Details
Name: | devs_NumberOfSharesToBeReceived
Namespace Prefix: | devs_
Data Type: | xbrli:sharesItemType
Balance Type: | na
Period Type: | instant

X
- Definition The amount of consideration paid to vendor. + References No definition available. + Details
Name: | devs_PaymentOfPurchaseConsideration
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition The percentage of carbon credits to be retired. + References No definition available. + Details
Name: | devs_PercentageOfCarbonCreditsToBeRetired
Namespace Prefix: | devs_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | instant

X
- Definition The amount of consideration to be paid to vendor. + References No definition available. + Details
Name: | devs_PurchaseConsideration
Namespace Prefix: | devs_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

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

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

X
- Definition Cash outflows made during the period for environmental remediation activities. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 230 -SubTopic 10 -Name Accounting Standards Codification -Section 45 -Paragraph 17 -Subparagraph (f) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482740/230-10-45-17 + Details
Name: | us-gaap_PaymentsForEnvironmentalLiabilities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Price of a single share of a number of saleable stocks of a company. + References No definition available. + Details
Name: | us-gaap_SharePrice
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:perShareItemType
Balance Type: | na
Period Type: | instant

X
- Definition Number of shares that have been repurchased and retired during the period. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Section 50 -Paragraph 2 -SubTopic 10 -Topic 505 -Publisher FASB -URI https://asc.fasb.org/1943274/2147481112/505-10-50-2 Reference 2: 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(28)) -Publisher FASB -URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1 Reference 3: 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(29)) -Publisher FASB -URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1 Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 505 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.3-04) -Publisher FASB -URI https://asc.fasb.org/1943274/2147480008/505-10-S99-1 + Details
Name: | us-gaap_StockRepurchasedAndRetiredDuringPeriodShares
Namespace Prefix: | us-gaap_
Data Type: | xbrli:sharesItemType
Balance Type: | na
Period Type: | duration

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