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

Aberta
  • Algo errado?
#2,325 1 comentário 0 reações 0 responsáveis Ver no GitHub

Mantenedores costumam responder em até 1 dia

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
15/100
Tipo de issue
Funcionalidade
Clareza
Razoavelmente clara
Status de atividade
Ativa
Stack de tecnologia
c, python
Domínio
build-system, testing

Direção de pesquisa

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.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

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)

Linguagem predominante
C
Estrelas
3
Forks
7
Merge médio
6h 32min
PRs com merge (30d)
285

Preparar o ambiente

Abrir no Codespaces

Inicia o contêiner de desenvolvimento do projeto no navegador, com a sua própria conta do GitHub.

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de InauguralSystems/EigenScript

Todas as issues de InauguralSystems/EigenScript

Issues semelhantes

Mais issues de C

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.