Files
EVEngine/scripts/migrate_evescript.py
西风逍遥游 31880f0021 feat(examples): gate examples in CI and make repository scripts UTF-8 on every host
`examples/<name>/` was a tested surface in name only. The source-quality job had
no examples check at all, and scripts/smoke_examples.sh accepted any process that
had not printed one of its error markers: a project that died during startup,
exited after a single frame, or crashed without a marker was reported as PASS.
Nothing stopped a malformed or unregistered example from reaching dev, which is
how 14 examples arrived without READMEs and 20 were never registered in the
overview table.

Source side
- scripts/check_examples.py classifies every directory under examples/ as either
  runnable (main.nut plus a config.nut that assigns the engine `config` table) or
  as a reviewed non-runnable sample listed in NON_RUNNABLE_EXAMPLES with a
  reason. Both kinds must own a README.md and appear in examples/README.md.
  Stale exemptions and overview links to missing directories fail as well.
- `make check/examples` and a new source-quality CI step run the gate.
- scripts/tests/test_check_examples.py covers it and pins each failure mode
  against fixtures.

Runtime side
- scripts/smoke_examples.sh now enforces liveness, not just marker absence: every
  runnable example must still be running after MIN_RUN_SECONDS (default 2s; CI
  passes 2s), and a process that dies inside that window fails whatever its exit
  code. A clean self-exit after the window passes with an explicit note instead
  of being silently accepted as a pass.
- The Linux CI step sets MIN_RUN_SECONDS=2 and keeps RUN_SECONDS=6, so the job's
  wall clock is unchanged (13.7 min of its 20 min budget on dev).

Windows / GBK
- scripts/utf8_stdio.py re-encodes stdout/stderr as UTF-8 and every scripts/*.py
  program calls it as the first statement of its __main__ block. On a Chinese
  Windows a redirected stream falls back to the ANSI code page (cp936), and
  printing a character that code page cannot encode (arrows, superscripts, bullet
  separators, emoji - all common in this repository) raised UnicodeEncodeError
  and turned a checker into a traceback.
- The mirror image is input: read_text() without encoding= decoded UTF-8
  repository text as cp936 and raised UnicodeDecodeError.
- scripts/tests/test_utf8_stdio.py enforces both conventions for every script and
  test module; text file I/O and child-process decoding now pass encoding="utf-8"
  explicitly.
- Unit-test invocations run with `python3 -X utf8` so the runner's own output
  never follows the host code page.

Violations the new gates found on top of dev, fixed here: 14 examples shipped
without a README (fluid3d, mesh-impact-lab, mesh-modifier-lab, spline-tube-lab on
the earlier dev tip, plus pcg-depth-of-field, pcg-detail-overwrite,
pcg-layer-culling, pcg-location-system, pcg-runtime-orchestration,
pcg-scene-player-culling, pcg-snow-wind, pcg-thunder-strike, pcg-ui-scaler and
pcg-underwater added by #397), 20 were missing from the overview table (those 14
plus archspace-editor, geometry-stroke-lab, interior-mapping, layered-animation,
triplanar-decal, terrain-stamping), and scripts/export_meshret_onnx.py had no
UTF-8 stdio guard.

Verified locally: `python -m ruff check scripts` (All checks passed);
scripts/check_test_manifest.py; scripts/check_quality_metadata.py;
scripts/check_architecture_contracts.py --base HEAD; scripts/check_nodiscard.py;
`make -n check/examples`; scripts/check_examples.py (125 examples: 118 runnable,
7 reviewed non-runnable); and `python -X utf8 -m unittest discover -s scripts/tests
-p "test_*.py"` (155 tests, OK). The runtime half of the contract needs a Linux
headless build, so it is verified by the CI examples smoke step rather than
locally.
2026-09-15 20:20:23 +08:00

230 lines
7.2 KiB
Python

#!/usr/bin/env python3
"""Migrate repository game scripts to EveScript v1 declarations.
The migration is deliberately syntax-aware enough to preserve nested table,
array, call, string and comment contents. It only rewrites root-scope forms
whose EveScript lowering is exactly equivalent:
if (!("score" in getroottable())) score <- 0;
score <- persist("score", function() { return 0; });
Both become:
persist score = 0
Run without --write to audit; --check fails when migratable legacy forms remain.
"""
from __future__ import annotations
import argparse
from dataclasses import dataclass
from pathlib import Path
import re
import sys
import utf8_stdio
EXCLUDED_DIRS = {".git", "build", "third-party"}
@dataclass(frozen=True)
class Edit:
start: int
end: int
replacement: str
kind: str
name: str
def _masked(source: str) -> str:
"""Return source with comments/strings blanked while preserving newlines."""
out = list(source)
quote: str | None = None
line_comment = False
block_comment = False
i = 0
while i < len(out):
ch = source[i]
nxt = source[i + 1] if i + 1 < len(source) else ""
if line_comment:
if ch == "\n":
line_comment = False
else:
out[i] = " "
elif block_comment:
if ch == "*" and nxt == "/":
out[i] = out[i + 1] = " "
i += 1
block_comment = False
elif ch != "\n":
out[i] = " "
elif quote is not None:
if ch == "\\":
out[i] = " "
if i + 1 < len(out):
if source[i + 1] != "\n":
out[i + 1] = " "
i += 1
elif ch == quote:
out[i] = " "
quote = None
elif ch != "\n":
out[i] = " "
elif ch in {'"', "'"}:
out[i] = " "
quote = ch
elif ch == "/" and nxt == "/":
out[i] = out[i + 1] = " "
i += 1
line_comment = True
elif ch == "/" and nxt == "*":
out[i] = out[i + 1] = " "
i += 1
block_comment = True
i += 1
return "".join(out)
def _brace_depth(masked: str) -> list[int]:
depth = 0
result = [0] * (len(masked) + 1)
for i, ch in enumerate(masked):
result[i] = depth
if ch == "{":
depth += 1
elif ch == "}":
depth = max(0, depth - 1)
result[len(masked)] = depth
return result
def _statement_end(masked: str, start: int) -> int | None:
paren = bracket = brace = 0
for i in range(start, len(masked)):
ch = masked[i]
if ch == "(":
paren += 1
elif ch == ")":
paren -= 1
elif ch == "[":
bracket += 1
elif ch == "]":
bracket -= 1
elif ch == "{":
brace += 1
elif ch == "}":
brace -= 1
elif ch == ";" and paren == bracket == brace == 0:
return i
return None
_GUARD = re.compile(
r"(?m)^(?P<indent>[ \t]*)if\s*\(\s*!\s*\(\s*"
r"(?P<quote>[\"'])(?P<slot>[A-Za-z_]\w*)(?P=quote)\s+in\s+getroottable\s*\(\s*\)\s*"
r"\)\s*\)\s*(?P<brace>\{\s*)?(?P=slot)\s*<-\s*"
)
_LEGACY_PERSIST = re.compile(
r"(?m)^(?P<indent>[ \t]*)(?P<slot>[A-Za-z_]\w*)\s*<-\s*persist\s*\(\s*"
r"(?P<quote>[\"'])(?P=slot)(?P=quote)\s*,\s*function\s*\(\s*\)\s*\{\s*return\s+"
)
def _guard_edits(source: str, masked: str, depths: list[int]) -> list[Edit]:
edits: list[Edit] = []
for match in _GUARD.finditer(source):
if depths[match.start()] != 0:
continue
expr_end = _statement_end(masked, match.end())
if expr_end is None:
continue
end = expr_end + 1
if match.group("brace") is not None:
closing = re.match(r"[ \t]*\}[ \t]*(?:\r?\n)?", source[end:])
if closing is None:
continue
end += closing.end()
expression = source[match.end():expr_end].strip()
replacement = f"{match.group('indent')}persist {match.group('slot')} = {expression}"
if source[end - 1:end] == "\n":
replacement += "\n"
edits.append(Edit(match.start(), end, replacement, "guard", match.group("slot")))
return edits
def _legacy_persist_edits(source: str, masked: str, depths: list[int]) -> list[Edit]:
edits: list[Edit] = []
for match in _LEGACY_PERSIST.finditer(source):
if depths[match.start()] != 0:
continue
expr_end = _statement_end(masked, match.end())
if expr_end is None:
continue
tail = re.match(r";\s*\}\s*\)\s*;?", source[expr_end:])
if tail is None:
continue
end = expr_end + tail.end()
expression = source[match.end():expr_end].strip()
replacement = f"{match.group('indent')}persist {match.group('slot')} = {expression}"
edits.append(Edit(match.start(), end, replacement, "persist-call", match.group("slot")))
return edits
def migrate_source(source: str) -> tuple[str, list[Edit]]:
masked = _masked(source)
depths = _brace_depth(masked)
edits = _guard_edits(source, masked, depths) + _legacy_persist_edits(source, masked, depths)
edits.sort(key=lambda edit: edit.start)
for previous, current in zip(edits, edits[1:]):
if previous.end > current.start:
raise ValueError(f"overlapping migration edits for {previous.name} and {current.name}")
migrated = source
for edit in reversed(edits):
migrated = migrated[:edit.start] + edit.replacement + migrated[edit.end:]
return migrated, edits
def nut_files(root: Path) -> list[Path]:
return sorted(
path
for path in root.rglob("*.nut")
if not any(part in EXCLUDED_DIRS for part in path.relative_to(root).parts)
)
def main() -> int:
parser = argparse.ArgumentParser(description=__doc__)
parser.add_argument("--root", type=Path, default=Path(__file__).resolve().parents[1])
parser.add_argument("--write", action="store_true", help="rewrite migratable files in place")
parser.add_argument("--check", action="store_true", help="fail if migratable legacy syntax remains")
args = parser.parse_args()
root = args.root.resolve()
files = nut_files(root)
changed: list[tuple[Path, list[Edit]]] = []
for path in files:
source = path.read_text(encoding="utf-8-sig")
migrated, edits = migrate_source(source)
if not edits:
continue
changed.append((path, edits))
if args.write:
path.write_text(migrated, encoding="utf-8", newline="")
action = "migrated" if args.write else "migratable"
edit_count = sum(len(edits) for _, edits in changed)
print(f"EveScript scan: {len(files)} .nut files, {edit_count} {action} declarations in {len(changed)} files")
for path, edits in changed:
names = ", ".join(edit.name for edit in edits)
print(f" {path.relative_to(root).as_posix()}: {names}")
if args.check and changed:
return 1
return 0
if __name__ == "__main__":
utf8_stdio.enable_utf8_stdio()
sys.exit(main())