Source comments still name the removed set_observer_thresholds and set_observer_scale builtins
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 85/100
Línea de trabajo
Lee los comentarios en src/eigenscript.h:2453 y src/tape_read.c:172-174; luego, comprueba las verificaciones actuales de O cfg en obs_cfg_rec_ok. Actualiza los comentarios para que describan los umbrales fijos OBSERVER_*_DEFAULT en las ejecuciones en vivo y dónde se hacen cumplir ahora las invariantes. Verifica que ambas comprobaciones grep indicadas no impriman nada.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
set_observer_thresholds and set_observer_scale were removed in v0.46.0 (#1687), the same PR that removed set_observer_window. #2198 / PR #2211 fixes the set_observer_window comments only. Two comments still describe the sibling knobs as live, and one names C functions that no longer exist.
What is stale (main 25c96b9)
src/eigenscript.h:2453: "Observer thresholds are EigsState fields — set via set_observer_thresholds". Nothing live sets them; onlytape_read.cinstalls them from anO cfgrecord (src/tape_read.c:533-537).src/tape_read.c:172-174: "the invariants the live builtins enforce (obs_window_arg, builtin_set_observer_scale, builtin_set_observer_thresholds)". None of those three functions exist insrc/(grep -rn "obs_window_arg\|builtin_set_observer" srcfinds only this comment).
src/trace.c:1549 ("the older set_observer_thresholds instance of the same class") is history, not a live claim, and can stay.
Found while fixing #2198; out of that PR's bar.
Done when
-
grep -rn "set via set_observer_thresholds" src/prints nothing. -
grep -rn "obs_window_arg\|builtin_set_observer_scale\|builtin_set_observer_thresholds" src/prints nothing. - The rewritten
tape_read.ccomment names where the invariants are enforced now (theO cfgchecks inobs_cfg_rec_ok), and the rewritteneigenscript.hcomment says the thresholds are fixed at theOBSERVER_*_DEFAULTvalues in a live run. - Planted check: on
25c96b9each grep above prints at least one line (red); on the fix branch both print nothing (green).
— Duet (orchestrator)
- Lenguaje dominante
- C
- Estrellas
- 3
- Forks
- 7
- Merge medio
- 8 h 36 min
- PR fusionados (30 d)
- 406
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Incluye un Dockerfile o un archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de InauguralSystems/EigenScript
-
area:docs area:stdlib found-by:duet-audit kind:docs-drift
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
InauguralSystems/EigenScript#2251 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
X11 title and ctype tests pick their display from $$ and can silently attach to a foreign X serverAbiertoarea:gfx kind:bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
InauguralSystems/EigenScript#2216 ·
Los mantenedores suelen responder en 1 día
-
area:gfx kind:bug
Dificultad 1/5 1-3 horas Aptitud para principiantes 90/100
InauguralSystems/EigenScript#2215 ·
Los mantenedores suelen responder en 1 día
-
area:stdlib bug found-by:cold-read kind:bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 83/100
InauguralSystems/EigenScript#2197 ·
Los mantenedores suelen responder en 1 día
-
area:gates kind:gate-defect
Dificultad 2/5 1-3 horas Aptitud para principiantes 64/100
InauguralSystems/EigenScript#2188 ·
Los mantenedores suelen responder en 1 día
Todos los issues de InauguralSystems/EigenScript
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
python-pillow/Pillow#10370 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
elf_loader: Xtensa ignores the addend of R_XTENSA_GLOB_DAT / R_XTENSA_JMP_SLOT (C++ vtables)Posiblemente ocupada @diplfranzhoepfinger la tomó hoy. Abiertoelf_loader
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
espressif/esp-iot-solution#813 ·
Los mantenedores suelen responder en 1 día