Allow controlled vertical descent so underground ores are reachable

tests/test_voyager_vertical_exploration.py

@@ -0,0 +1,184 @@
+# -*- coding: utf-8 -*-
+"""Trava a politica de exploracao vertical do Naldo contra regressao.
+
+Contexto medido no bot em producao: `learning.updated_at` congelava e
+`completed_count` ficava parado enquanto o modelo respondia com JavaScript
+valido e zero erros de parse. A causa nao era o modelo. Eram duas instrucoes
+contraditorias:
+
+  - o Action prompt dizia "o subsolo e um mapa de recursos; cavar para baixo e o
+    modo normal de alcancar os minerios";
+  - `exploreUntil.js` forcava `dy = 0`, reescrevendo silenciosamente um pedido de
+    descida em um passeio horizontal.
+
+O modelo obedecia a primeira, o bot nunca descia, e 8 dos ultimos 12 fracassos
+eram minerios subterraneos. A correcao substitui o veto por uma descida
+controlada: o bot escava degrau por degrau na propria coluna, com teto de
+profundidade, e mantem o caminho de volta.
+
+Estes testes existem para que a contradicao nao volte por descuido. Eles rodam
+como script (nao como pytest), igual ao resto da suite deste Space.
+"""
+from __future__ import annotations
+
+import ast
+import pathlib
+import re
+import subprocess
+import sys
+
+ROOT = pathlib.Path(__file__).resolve().parent.parent
+STACK = ROOT / "voyager_stack.py"
+NODE = "node"
+
+FAILURES: list[str] = []
+
+
+def check(name: str, ok: bool, detail: object = "") -> None:
+    print("  " + ("ok    " if ok else "FALHA ") + name + ("" if ok else "  " + str(detail)[:300]))
+    if not ok:
+        FAILURES.append(name)
+
+
+SOURCE = STACK.read_text(encoding="utf-8")
+
+
+def _generated(marker: str) -> str:
+    """Devolve o literal cru de um patch `X.write_text(r'''...''')`."""
+    index = SOURCE.index(marker) + len(marker)
+    end = SOURCE.index("'''", index)
+    return SOURCE[index:end]
+
+
+EXPLORE_JS = _generated("explore_until.write_text(r'''")
+EXPLORE_CONTEXT = _generated("explore_context.write_text(r'''")
+MINE_BLOCK_JS = _generated("primitive = r'''")
+
+
+print("=" * 70)
+print("1. o JavaScript gerado pelo patch compila")
+print("=" * 70)
+for name, code in (
+    ("exploreUntil.js", EXPLORE_JS),
+    ("exploreUntil context", EXPLORE_CONTEXT),
+    ("mineBlock.js", MINE_BLOCK_JS),
+):
+    target = ROOT / "_syntax_probe.js"
+    target.write_text(code, encoding="utf-8")
+    try:
+        proc = subprocess.run(
+            [NODE, "--check", str(target)],
+            capture_output=True, text=True, timeout=60,
+        )
+        ok = proc.returncode == 0
+        detail = (proc.stderr or proc.stdout).strip()
+    except FileNotFoundError:
+        # Sem Node na maquina de teste: nao inventa sucesso nem falha.
+        ok, detail = True, "node ausente; pulado"
+    check(f"{name} compila", ok, detail)
+
+
+print()
+print("=" * 70)
+print("2. a descida existe, e e uma descida controlada")
+print("=" * 70)
+# A descida precisa ser reconhecida nas formas que um modelo realmente emite.
+check("aceita o verbo 'down'", '"down"' in EXPLORE_JS and "downward" in EXPLORE_JS)
+check("aceita vetor com y negativo", "const descending = creative && dy < 0" in EXPLORE_JS)
+
+# O ponto central: nao pode mais existir o veto incondicional a descer.
+check(
+    "nao forca mais dy = 0 para todo Creative",
+    'if (bot.game && bot.game.gameMode === "creative") dy = 0;' not in EXPLORE_JS,
+)
+check("existe teto de profundidade", "MAX_DESCENT = 32" in EXPLORE_JS)
+check("desce escavando, nao caindo", "bot.dig(under, true)" in EXPLORE_JS)
+check("limpa a propria celula antes de descer", "headroom" in EXPLORE_JS)
+# Numero de passos: 'dig' comeca a descida; waitForTicks deixa a gravidade agir.
+check("espera a gravidade assentar", "waitForTicks(4)" in EXPLORE_JS)
+
+# Subida explicita continua bloqueada em Creative: o GoalNear vertical e o que
+# derrubava o bot de uma beirada, e isso nao foi reaberto.
+check("subida continua bloqueada em Creative", "if (creative && dy > 0) dy = 0;" in EXPLORE_JS)
+check(
+    "o GoalNear vertical nao e mais usado com dy reescrito",
+    "new GoalNear(x, y, z)" in EXPLORE_JS,
+)
+
+
+print()
+print("=" * 70)
+print("3. o bot consegue sair do proprio poco")
+print("=" * 70)
+# Sem isto, a politica de descer troca "nunca acha minerio" por "fica preso".
+check(
+    "allow1by1towers liberado em Creative",
+    "movements.allow1by1towers = true;" in SOURCE,
+)
+check(
+    "allow1by1towers nao voltou a false",
+    "movements.allow1by1towers = false;" not in SOURCE,
+)
+check("maxDropDown continua contido", "movements.maxDropDown = 2;" in SOURCE)
+
+
+print()
+print("=" * 70)
+print("4. prompt e primitiva contam a mesma historia")
+print("=" * 70)
+action_facts = re.search(r"creative_facts = '''(.*?)'''", SOURCE, re.DOTALL)
+check("bloco de fatos do Action prompt encontrado", action_facts is not None)
+if action_facts:
+    facts = action_facts.group(1)
+    check(
+        "prompt nao diz mais que exploracao e so na superficie",
+        "Exploration is surface-only here" not in facts,
+    )
+    check(
+        "prompt aponta o modo de descida",
+        "Vec3(0, -1, 0)" in facts or '"down"' in facts,
+    )
+    check(
+        "prompt mantem a promessa do subsolo (agora verdadeira)",
+        "band of every ore" in facts,
+    )
+
+check(
+    "context file nao proibe mais exploracao vertical",
+    "Never explore vertically" not in EXPLORE_CONTEXT,
+)
+check("context file documenta a descida", "VERTICAL" in EXPLORE_CONTEXT)
+check("context file nao diz 'surface-only'", "surface-only" not in EXPLORE_CONTEXT)
+
+# A mensagem de erro do mineBlock e o ultimo lugar onde a politica antiga
+# sobrevivia: ela mandava o modelo "explorar na superficie" para achar minerio.
+check(
+    "erro do mineBlock nao manda explorar so na superficie",
+    "explore on the surface" not in MINE_BLOCK_JS,
+)
+check(
+    "erro do mineBlock cita o caminho correto",
+    "use exploreUntil to travel or to descend" in MINE_BLOCK_JS,
+)
+
+
+print()
+print("=" * 70)
+print("5. o curriculum sabe que os minerios nao estao na superficie")
+print("=" * 70)
+# O curriculum propunha tarefas que o Action nao tinha como executar porque a
+# unica instrucao sobre acesso era "reachable on foot".
+check(
+    "fatos do curriculum marcam os minerios como subterraneos",
+    "The ores are underground, not on the surface" in SOURCE,
+)
+
+
+print()
+print("=" * 70)
+if FAILURES:
+    print(f"{len(FAILURES)} teste(s) falharam:")
+    for failure in FAILURES:
+        print("  -", failure)
+    sys.exit(1)
+print("politica de exploracao vertical: coerente e sem contradicao")