phase2-numbers design §6 restates stale counts: 230 numeric, 51 other, 42 LOSS with the six bit_* (table and inventory: 231, 52, 36)
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 76/100
- Tipo di issue
- Bug
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Attiva
- Ambito
- documentation, testing
Direzione di ricerca
Leggi §6 in docs/design/phase2-numbers.md insieme alla tabella corrispondente e all’intestazione di docs/design/phase2-inventory.txt, poi esamina tools/phase2_inventory.py per capire se può controllare il testo in prosa. Aggiorna il paragrafo in modo che corrisponda all’inventario oppure rimuovi i conteggi ripetuti e rimanda alla sua intestazione; se aggiungi un controllo, includi un plant che dimostri che fallisce in caso di discrepanza. Il lavoro è concluso quando i conteggi non aggiornati e l’affermazione bitwise sono corretti o controllati come descritto.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Found while writing #1758's R1.6 per-builtin behaviour table, 2026-10-20.
Finding
docs/design/phase2-numbers.md on phase2-numbers (tip 4ac31e67) restates counts in its §6 prose that its own table and the inventory contradict:
| §6 prose | the table between the builtin-table markers / docs/design/phase2-inventory.txt |
|---|---|
| line 1324: "230 numeric builtins" | 231 (registered=312 numeric=231 classified=231) |
| line 1326: "51 other" | 52 (classes: ... other=52; num_type joined as other) |
| line 1331: "42 are LOSS" | 36 (LOSS (36)) |
line 1335: "bitwise: the six bit_*, sign_extend, hex" |
the six bit_* rows are marked - (their loss closed in R1.5, N8); only sign_extend and hex are LOSS |
The paragraph says the counts are "checked by tools/phase2_inventory.py, which prints them". The script prints the right numbers, but nothing compares them with the prose, so the prose drifted while the gate stayed green.
Done when
- §6's counts paragraph agrees with the table: 231 numeric, 52 other, 36 LOSS, and a bitwise line without the six
bit_*. - Either
tools/phase2_inventory.pycompares the paragraph's figures with the table and fails on a mismatch (with one plant that shows it fires), or the paragraph stops restating the figures and points to the inventory file's header.
Generated by Claude Code
- Lingua principale
- C
- Stelle
- 3
- Fork
- 7
- Merge medio
- 9h 50m
- PR unite (30g)
- 327
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Include un Dockerfile o un file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di InauguralSystems/EigenScript
-
area:lint-tooling kind:bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
InauguralSystems/EigenScript#1998 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
phase2: test_bitwise.eigs cites ctl.scan.* rows; the MAP's refusal controls are ctl.N8.refuse-*Apertaarea:gates kind:docs-drift
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 86/100
InauguralSystems/EigenScript#1851 ·
I maintainer di solito rispondono entro 1 giorno
-
UB: (int) cast of a user double outside int range in dispatch / vm_index_is_int / flat_index_atApertaarea:runtime-vm kind:silent-wrong
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
InauguralSystems/EigenScript#1748 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
area:gfx bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
InauguralSystems/EigenScript#1684 ·
I maintainer di solito rispondono entro 1 giorno
-
area:consumer
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
InauguralSystems/EigenScript#1658 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di InauguralSystems/EigenScript
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
I maintainer di solito rispondono entro 1 giorno
-
area:buffer good first issue type:documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
sudo-project/sudo#586 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 2 giorni
-
Abort (SIGABRT) when stderr is a closed pipe: uncaught fmt::system_error in ccache_main's catchForse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 3 giorni