Skip to content

Commit 5e8bdad

Browse files
committed
chore: fold lust into intend (deprecated 2026-04-18)
1 parent 2525c13 commit 5e8bdad

3 files changed

Lines changed: 6 additions & 6 deletions

File tree

contractiles/README.adoc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,4 +18,4 @@ This directory contains the generalized contractiles templates. Copy the `contra
1818
* `must/Mustfile` - required invariants and validations.
1919
* `trust/Trustfile.hs` - cryptographic verification steps.
2020
* `dust/Dustfile` - rollback and recovery semantics.
21-
* `lust/Intentfile` - future intent and roadmap direction.
21+
* `intend/Intentfile` - future intent and roadmap direction.

tests/idris2/PropertyTest.idr

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -244,7 +244,7 @@ allSuites =
244244
assertEq (normalisePlatform "Matrix") "matrix"
245245

246246
-- Contractile presence. TS iterates dust/Dustfile, must/Mustfile,
247-
-- lust/Intentfile. NOTE: contractiles/lust/Intentfile is not present in
247+
-- intend/Intentfile. NOTE: contractiles/intend/Intentfile is not present in
248248
-- this repo; the TS test would currently fail on it too. We mirror the
249249
-- iteration faithfully so the Idris2 port preserves the TS semantics
250250
-- (one test per name, missing path -> failure). See the source-bug note
@@ -260,14 +260,14 @@ allSuites =
260260
content <- readFileToString "contractiles/must/Mustfile"
261261
assertTrue "Mustfile present and non-empty" (ok && length content > 0)
262262

263-
, test "property: contractile file exists and non-empty - contractiles/lust/Intentfile" $ do
264-
-- SOURCE BUG: contractiles/lust/Intentfile is referenced by the TS
263+
, test "property: contractile file exists and non-empty - contractiles/intend/Intentfile" $ do
264+
-- SOURCE BUG: contractiles/intend/Intentfile is referenced by the TS
265265
-- iteration but the corresponding directory does not exist in this
266266
-- repo (contractiles/ only contains dust/ and must/). The TS test
267267
-- would also fail. Reported separately; this Idris2 port keeps the
268268
-- assertion so the bug remains visible.
269-
ok <- fileExists "contractiles/lust/Intentfile"
270-
content <- readFileToString "contractiles/lust/Intentfile"
269+
ok <- fileExists "contractiles/intend/Intentfile"
270+
content <- readFileToString "contractiles/intend/Intentfile"
271271
assertTrue "Intentfile present and non-empty (KNOWN SOURCE BUG)" (ok && length content > 0)
272272

273273
-- README.adoc heading count: TS counts /^={1,6}\s+.+/gm matches and

0 commit comments

Comments
 (0)