Skip to content

Commit eb3cdf3

Browse files
committed
W45 §3.5 Step 1g: integrate derivation-drift falsifier into gate_phoenix.sh
Adds Step 1g per spec §2.7.3 python#3, invoking scripts/w45_section_3_5_derivation_drift.sh --strict after Step 1e (W44 DO-NOT-USE caller gate). Step 1f reserved for future W45 §1-§2 bridge-sig falsifier integration. Pattern mirrors Step 1e (W44): capture output, exit code, GATE_PASS flag, FAILURES annotation. ~15L diff. Authorization: supervisor 00:22:51Z post-push priority (1) per spec §2.7.3 python#3 integration step; ~10L estimate (actual 15L for output capture + failure annotation parity with Step 1e).
1 parent bfc6321 commit eb3cdf3

1 file changed

Lines changed: 15 additions & 0 deletions

File tree

scripts/gate_phoenix.sh

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -204,6 +204,21 @@ else
204204
echo "W44 DO-NOT-USE caller gate: PASS" | tee -a "$RESULTS_FILE"
205205
fi
206206

207+
# Step 1g: W45 §3.5 derivation-drift falsifier (per spec §2.7.3 #3).
208+
# Step 1f reserved for future W45 §1-§2 bridge-sig falsifier integration.
209+
echo "" | tee -a "$RESULTS_FILE"
210+
echo "--- Step 1g: W45 §3.5 Derivation-Drift Falsifier ---" | tee -a "$RESULTS_FILE"
211+
W45_35_OUTPUT=$("$SCRIPT_DIR/w45_section_3_5_derivation_drift.sh" --strict 2>&1) && W45_35_EXIT=0 || W45_35_EXIT=$?
212+
echo "$W45_35_OUTPUT" | tee -a "$RESULTS_FILE"
213+
if [ "$W45_35_EXIT" -ne 0 ]; then
214+
echo "GATE FAIL — W45 §3.5 derivation-drift falsifier detected unprotected derivation surface" | tee -a "$RESULTS_FILE"
215+
GATE_PASS=0
216+
W45_35_FAILURES=$(echo "$W45_35_OUTPUT" | grep -c "\[FAIL\]" || true)
217+
FAILURES="$FAILURES w45_section_3_5:$W45_35_FAILURES"
218+
else
219+
echo "W45 §3.5 derivation-drift falsifier: PASS" | tee -a "$RESULTS_FILE"
220+
fi
221+
207222
# Step 2: Verify JIT compiles and executes
208223
echo "" | tee -a "$RESULTS_FILE"
209224
echo "--- Step 2: JIT Smoke Test ---" | tee -a "$RESULTS_FILE"

0 commit comments

Comments
 (0)