diff --git a/apps/tests/phase122_if_only_normalized_emit_min.hako b/apps/tests/phase122_if_only_normalized_emit_min.hako new file mode 100644 index 00000000..91b46b6a --- /dev/null +++ b/apps/tests/phase122_if_only_normalized_emit_min.hako @@ -0,0 +1,19 @@ +// Phase 122: if-only Normalized JoinModule emission (dev-only) +// Goal: Minimal if-only pattern to test Normalized emission +// Expected: flag=0 → return 1, flag=1 → return 2 + +static box Main { + main() { + local flag = 0 + local result + + if flag == 0 { + result = 1 + } else { + result = 2 + } + + print(result) + return "OK" + } +} diff --git a/tools/smokes/v2/profiles/integration/apps/phase122_if_only_normalized_emit_vm.sh b/tools/smokes/v2/profiles/integration/apps/phase122_if_only_normalized_emit_vm.sh new file mode 100644 index 00000000..7520a111 --- /dev/null +++ b/tools/smokes/v2/profiles/integration/apps/phase122_if_only_normalized_emit_vm.sh @@ -0,0 +1,98 @@ +#!/bin/bash +# Phase 122: if-only Normalized JoinModule emission (VM) +# +# Verifies that Normalized JoinModule emission works correctly in dev mode +# with structure verification, and that strict mode does not fail. + +source "$(dirname "$0")/../../../lib/test_runner.sh" +source "$(dirname "$0")/../../../lib/output_validator.sh" +export SMOKES_USE_PYVM=0 +require_env || exit 2 + +PASS_COUNT=0 +FAIL_COUNT=0 +RUN_TIMEOUT_SECS=${RUN_TIMEOUT_SECS:-10} + +echo "[INFO] Phase 122: if-only Normalized JoinModule emission (VM)" + +# Test 1: phase122_if_only_normalized_emit_min.hako +echo "[INFO] Test 1: phase122_if_only_normalized_emit_min.hako" +INPUT="$NYASH_ROOT/apps/tests/phase122_if_only_normalized_emit_min.hako" + +set +e +OUTPUT=$(timeout "$RUN_TIMEOUT_SECS" env \ + NYASH_DISABLE_PLUGINS=1 \ + HAKO_JOINIR_STRICT=1 \ + NYASH_JOINIR_DEV=1 \ + "$NYASH_BIN" --backend vm "$INPUT" 2>&1) +EXIT_CODE=$? +set -e + +if [ "$EXIT_CODE" -eq 124 ]; then + echo "[FAIL] hakorune timed out (>${RUN_TIMEOUT_SECS}s)" + FAIL_COUNT=$((FAIL_COUNT + 1)) +elif [ "$EXIT_CODE" -eq 0 ]; then + EXPECTED="1" + if validate_numeric_output 1 "$EXPECTED" "$OUTPUT"; then + # Also check that Phase 122 emission was logged + if echo "$OUTPUT" | grep -q "\[trace:dev\] phase122/emit:"; then + echo "[PASS] Output verified: 1, Phase 122 emission logging present" + PASS_COUNT=$((PASS_COUNT + 1)) + else + echo "[WARN] Output correct but Phase 122 emission logging missing" + PASS_COUNT=$((PASS_COUNT + 1)) + fi + else + echo "[INFO] output (tail):" + echo "$OUTPUT" | tail -n 50 || true + FAIL_COUNT=$((FAIL_COUNT + 1)) + fi +else + echo "[FAIL] hakorune failed with exit code $EXIT_CODE" + echo "[INFO] output (tail):" + echo "$OUTPUT" | tail -n 50 || true + FAIL_COUNT=$((FAIL_COUNT + 1)) +fi + +# Test 2: phase103_if_only_merge_min.hako (regression check) +echo "[INFO] Test 2: phase103_if_only_merge_min.hako (regression)" +INPUT="$NYASH_ROOT/apps/tests/phase103_if_only_merge_min.hako" + +set +e +OUTPUT=$(timeout "$RUN_TIMEOUT_SECS" env \ + NYASH_DISABLE_PLUGINS=1 \ + HAKO_JOINIR_STRICT=1 \ + NYASH_JOINIR_DEV=1 \ + "$NYASH_BIN" --backend vm "$INPUT" 2>&1) +EXIT_CODE=$? +set -e + +if [ "$EXIT_CODE" -eq 124 ]; then + echo "[FAIL] hakorune timed out (>${RUN_TIMEOUT_SECS}s)" + FAIL_COUNT=$((FAIL_COUNT + 1)) +elif [ "$EXIT_CODE" -eq 0 ]; then + EXPECTED="2" + if validate_numeric_output 1 "$EXPECTED" "$OUTPUT"; then + echo "[PASS] Output verified: 2 (regression check passed)" + PASS_COUNT=$((PASS_COUNT + 1)) + else + echo "[INFO] output (tail):" + echo "$OUTPUT" | tail -n 50 || true + FAIL_COUNT=$((FAIL_COUNT + 1)) + fi +else + echo "[FAIL] hakorune failed with exit code $EXIT_CODE" + echo "[INFO] output (tail):" + echo "$OUTPUT" | tail -n 50 || true + FAIL_COUNT=$((FAIL_COUNT + 1)) +fi + +echo "[INFO] PASS: $PASS_COUNT, FAIL: $FAIL_COUNT" + +if [ "$FAIL_COUNT" -eq 0 ]; then + test_pass "phase122_if_only_normalized_emit_vm: All tests passed" + exit 0 +else + test_fail "phase122_if_only_normalized_emit_vm: $FAIL_COUNT test(s) failed" + exit 1 +fi