From 3f3b9ad723ce0c2f8f559bdd7d5e3d5aa499ce66 Mon Sep 17 00:00:00 2001 From: Matysh Date: Sun, 6 Sep 2026 20:40:04 +0300 Subject: [PATCH] test: make writer safety mutation observable Issue: #477 User-Visible: no --- test/writer-fixed-point.test.mjs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/writer-fixed-point.test.mjs b/test/writer-fixed-point.test.mjs index f62e5eac..2d03dfa4 100644 --- a/test/writer-fixed-point.test.mjs +++ b/test/writer-fixed-point.test.mjs @@ -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',