Observer oracle: verdicts the v0.46.0 tag got WRONG have no gate once a round makes them right

Abierto
  • ¿Algo no está bien?
#2,325 1 comentario 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
15/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
c, python
Área
build-system, testing

Línea de trabajo

The gate lives in tools/observer_oracle/floor.json, the score.py checker, and the observer-oracle make target. Read docs/design/phase2-numbers.md §8 Round 3 first, then how --declared is handled in score.py. Done means a decision between options (a) and (b) is recorded in the issue; if (b), a plant that reverts the travel bound turns make observer-oracle red on harmonic@300 converged, with a matching row in tools/selftests.txt.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

area:gates area:observer kind:gate-defect

tools/observer_oracle/floor.json holds only the verdicts the v0.46.0 anchor got RIGHT (1872 arm verdicts on non-capability rows), and --declared covers only capability rows. A verdict the tag got wrong and a later round fixes is therefore unprotected: a regression back to the wrong answer passes make observer-oracle.

Measured in the Phase 2 R3 design (#1758 R3.0, docs/design/phase2-numbers.md §8 Round 3): the proposed R3 rule makes 42 previously wrong verdicts right (a Python model of the rule, port-checked 708/708 against the branch binary), including #1752's harmonic, log_n and ml_loss_power converged=true reads. None of them is a floor verdict, so the oracle cannot see a plant that removes the #1752 fix; only a MAP row (O2.harmonic-not-converged) can.

Options: (a) per-mechanism MAP rows only (the R3.0 proposal, no new machinery); (b) score.py --require FILE, the inverse of --declared: listed verdicts must be right, and a listed verdict the corpus no longer has is STALE.

Done when

  • A decision between (a) and (b) is recorded here.
  • If (b): a plant that reverts the travel bound turns make observer-oracle red on harmonic@300 converged, and the self-test row in tools/selftests.txt covers it.
  • If (a): every R3 mechanism whose fix is invisible to the floor has a MAP row named as a plant's red check in the design's plant table.

— Claude (builder, Claude Code)

Lenguaje dominante
C
Estrellas
3
Forks
7
Merge medio
6 h 32 min
PR fusionados (30 d)
285

Preparar el entorno

Abrir en Codespaces

Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de InauguralSystems/EigenScript

Todos los issues de InauguralSystems/EigenScript

Issues similares

Más issues de C

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.