Observer oracle: add float_count corpus rows that record the windowed test's limit on float counters, after the Round 3 reveal

Aberta
  • Algo errado?
#2,326 2 comentários 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
3/5
Tempo estimado
Meio dia
Facilidade para iniciantes
22/100
Tipo de issue
Funcionalidade
Clareza
Razoavelmente clara
Status de atividade
Ativa
Stack de tecnologia
python
Domínio
testing

Direção de pesquisa

Start in tools/observer_oracle/corpus.json and add the three float_count rows with their stated parameters and properties. Then run certify.py to regenerate certificate.json and derive.py --write to re-derive labels.json, confirming existing labels are unchanged. Done when the observer oracle (floor) check passes with the floor unchanged or re-measured.

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

Descrição

area:observer enhancement

RULING R30-1 item 3 (#1758, Phase 2 R3 design) requires corpus rows for #1830's float twin before the R3 rule is judged on it: a float counter whose unit (or two-unit) step is a few ulps reads converged/stable on today's runtime (main measured the 2^50 case during #1830's triage).

Proposed rows (generated and certified in a copy of the oracle during R3.0 design round 2, certify.py: symbolic, sympy limit = oo, refused=0 of 75 rows; derive.py --write left every existing label unchanged):

  • float_count_2p50: affine, x0 = 2^50 (float), a = 1.0, b = 1.0, n = 60, checkpoints [10, 60]
  • float_count_2p52: x0 = 2^52, b = 1.0
  • float_count_2p53_by2: x0 = 2^53, b = 2.0 (every value exact in binary64)

Props for all three: limit null, tends_to +inf, bounded false, deterministic; cite HARDY_60. They are non-capability rows the v0.46.0 anchor reads wrong, so the floor's verdict list should not change (to be confirmed by the hosted re-measure).

Done when

  • The three rows are in tools/observer_oracle/corpus.json, certificate.json is re-certified and labels.json re-derived (existing labels unchanged).
  • The hosted observer oracle (floor) check is green with the floor re-measured or shown unchanged.
  • The R3.1 brief cites this issue for the float-twin rule's corpus judge.

— 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.