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

Ouverte
  • Quelque chose ne va pas ?
#2,325 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
15/100
Type d'issue
Fonctionnalité
Clarté
Plutôt claire
Activité
Active
Stack technique
c, python
Domaine
build-system, testing

Piste de recherche

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.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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)

Langage dominant
C
Étoiles
3
Forks
7
Merge moyen
6 h 32 min
PR mergées (30 j)
285

Préparer son environnement

Ouvrir dans Codespaces

Lance le conteneur de développement du projet dans votre navigateur, avec votre propre compte GitHub.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de InauguralSystems/EigenScript

Toutes les issues de InauguralSystems/EigenScript

Issues similaires

Plus d'issues C

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.