german/houseplan-card
1
0
Fork 0
mirror of https://github.com/Matysh/houseplan-card synced 2026-09-29 03:09:36 +00:00
Code Issues Actions 6 Packages Projects Releases Wiki Activity

test: make writer safety mutation observable

Browse Source 
Issue: #477
User-Visible: no
This commit is contained in:
Matysh
2026-09-06 17:52:05 +00:00
committed by claude[bot]
parent a979699a57
commit 3f3b9ad723
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/writer-fixed-point.test.mjs
+6
View File
@@ -213,8 +213,14 @@ test('#477 source contract routes every explicit chain finish through one finali
assert.match(card, /Escape releases the active wall chain[\s\S]{0,250}_finishWallChain\(\)/);
assert.doesNotMatch(runtime, /_markupClick[\s\S]{0,1200}_finalizeWallChainPartitions/,
'the latency-critical terminal click must not run the finalizer');
assert.match(finishTransaction,
/safe = wallModelOffGridValueCount[\s\S]{0,500}host\._checkSpacePhysicalGeometry/,
'the finish candidate must be judged by the bounded production physical proof');
assert.match(finishTransaction, /if \(!safe\) return rejectUnsafe\(runtime, before\);/);
assert.ok(
finishTransaction.indexOf('host._checkSpacePhysicalGeometry')
< finishTransaction.indexOf('if (!safe) return rejectUnsafe(runtime, before);')
&&
finishTransaction.indexOf('if (!safe) return rejectUnsafe(runtime, before);')
< finishTransaction.indexOf('adoptWallSegmentModelCandidateInPlace'),
'the finish candidate must pass the physical guard before live adoption',