Fair Value Measurement - Schedule of Significant Unobservable Inputs (Level 3) and the Change in Fair Value (Details) - USD ($) $ in Thousands	6 Months Ended	12 Months Ended
Jun. 30, 2025	Dec. 31, 2024
Common Stock Warrant Liability
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Fair value, beginning balance	$ 20,835	$ 4,440
Change in fair value	2,469	16,395
Fair value, ending balance	23,304	20,835
Term Loan Derivative Liability
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Fair value, beginning balance	0	903
Change in fair value		222
(Derecognition) recognition		(1,125)
Fair value, ending balance		0
2025 Convertible Notes Derivative Liability
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Fair value, beginning balance	0
Change in fair value	(2,493)
(Derecognition) recognition	31,900
Fair value, ending balance	$ 29,407	$ 0

Fair Value, Measurement With Unobservable Inputs Reconciliation, Recurring Basis, Liability, (Derecognition) Recognition

No definition available.

+ Details

Name:	htfl_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityDerecognitionRecognition
Namespace Prefix:	htfl_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

Name:	us-gaap_FairValueLiabilitiesMeasuredOnRecurringBasisUnobservableInputReconciliationCalculationRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of gain (loss) recognized in income from liability measured at fair value on recurring basis using unobservable input (level 3).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityGainLossIncludedInEarnings
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Fair value of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-3

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationsRecurringBasisLiabilityValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Details

Name:	us-gaap_FairValueByLiabilityClassAxis=htfl_CommonStockWarrantLiabilityMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByLiabilityClassAxis=htfl_TermLoanDerivativeLiabilityMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByLiabilityClassAxis=htfl_A2025ConvertibleNotesDerivativeLiabilityMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: