Convertible debentures - Key Inputs Convertible Debentures (Details) - Envviron SAS [Member] - Related Party [Member]	Jan. 31, 2026	Jul. 31, 2025	Sep. 12, 2023
Probability of De-SPAC Transaction Closing [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			90
Probability of De-SPAC Transaction Closing [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			99
Risk-free Interest Rate [Member]
Convertible debentures [Abstract]
Derivative liabilities	2.36	2.75
Risk-free Interest Rate [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			0.61
Risk-free Interest Rate [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			4.25
Expected Term (Years) [Member]
Convertible debentures [Abstract]
Derivative liabilities	1.38	1.63
Expected Term (Years) [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			0.01
Expected Term (Years) [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			2
Expected Annual Volatility for the Company [Member]
Convertible debentures [Abstract]
Derivative liabilities	150	150
Expected Annual Volatility for the Company [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			92.5
Expected Annual Volatility for the Company [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			150
Expected Annual Volatility for Focus Impact [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			2.5
Expected Annual Volatility for Focus Impact [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			100
Common Conversion Ratio [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			0.063
Common Conversion Ratio [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			0.1462
Foreign Exchange Rate [Member] \| Minimum [Member]
Convertible debentures [Abstract]
Derivative liabilities			0.718
Foreign Exchange Rate [Member] \| Maximum [Member]
Convertible debentures [Abstract]
Derivative liabilities			0.734