XML 68 R57.htm IDEA: XBRL DOCUMENT
v3.25.3

Convertible debentures, Key Inputs Derivative Liabilities (Details) | Oct. 31, 2025 USD ($) | Jul. 31, 2025 USD ($) | Jul. 31, 2024 | Sep. 12, 2023 USD ($)
--- | --- | --- | --- | ---
Probability of De-SPAC Transaction Closing [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.90
Probability of De-SPAC Transaction Closing [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.99
Risk-free Interest Rate [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities | 0.027 |  | 0.0349 |
Risk-free Interest Rate [Member] | Related Party [Member] | Envviron SAS [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities | 0.0233 | 0.0275 |  |
Risk-free Interest Rate [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.0061
Risk-free Interest Rate [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.0425
Expected Term (Years) [Member] | Related Party [Member] | Envviron SAS [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities | 1.38 | 1.63 |  |
Expected Term (Years) [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.01
Expected Term (Years) [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 2
Expected Annual Volatility for the Company [Member] | Related Party [Member] | Envviron SAS [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities | 1.50 | 1.50 |  |
Expected Annual Volatility for the Company [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.925
Expected Annual Volatility for the Company [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 1.50
Expected Annual Volatility for Focus Impact [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.025
Expected Annual Volatility for Focus Impact [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 1
Common Conversion Ratio [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.063
Common Conversion Ratio [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.1462
Foreign Exchange Rate [Member] | Related Party [Member] | Envviron SAS [Member] | Minimum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.718
Foreign Exchange Rate [Member] | Related Party [Member] | Envviron SAS [Member] | Maximum [Member] |  |  |  |
Key Inputs Convertible Debentures [Abstract] |  |  |  |
Derivative liabilities |  |  |  | 0.734

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

X
- Definition Value of input used to measure derivative liability. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -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 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -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 3: http://www.xbrl.org/2003/role/disclosureRef -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 + Details
Name: | us-gaap_DerivativeLiabilityMeasurementInput
Namespace Prefix: | us-gaap_
Data Type: | xbrli:decimalItemType
Balance Type: | na
Period Type: | instant

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=devs_MeasurementInputProbabilityOfDeSPACTransactionMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

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

X
- Details
Name: | srt_CounterpartyNameAxis=devs_EnvvironSASMember
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: |

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=us-gaap_MeasurementInputRiskFreeInterestRateMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=us-gaap_MeasurementInputExpectedTermMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=devs_MeasurementInputExpectedAnnualVolatilityForTheCompanyMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=devs_MeasurementInputExpectedAnnualVolatilityForFocusImpactMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=us-gaap_MeasurementInputConversionPriceMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_MeasurementInputTypeAxis=devs_MeasurementInputForeignExchangeRateMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |