Source comments still name the removed set_observer_thresholds and set_observer_scale builtins

Chiusa Adatta ai principianti
  • Qualcosa non va?
#2,212 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

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
85/100
Tipo di issue
Documentazione
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
c
Ambito
compilers

Direzione di ricerca

Leggi i commenti in src/eigenscript.h:2453 e src/tape_read.c:172-174, poi controlla le verifiche O cfg attuali in obs_cfg_rec_ok. Aggiorna i commenti per descrivere le soglie fisse OBSERVER_*_DEFAULT nelle esecuzioni live e dove vengono ora applicati gli invarianti. Verifica che entrambi i controlli grep indicati non stampino nulla.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

area:observer area:trace-tape found-by:code-review kind:docs-drift

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; only tape_read.c installs them from an O cfg record (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 in src/ (grep -rn "obs_window_arg\|builtin_set_observer" src finds 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.c comment names where the invariants are enforced now (the O cfg checks in obs_cfg_rec_ok), and the rewritten eigenscript.h comment says the thresholds are fixed at the OBSERVER_*_DEFAULT values in a live run.
  • Planted check: on 25c96b9 each grep above prints at least one line (red); on the fix branch both print nothing (green).

— Duet (orchestrator)

Lingua principale
C
Stelle
3
Fork
7
Merge medio
6h 26m
PR unite (30g)
318

Preparare l'ambiente

Apri in Codespaces

Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di InauguralSystems/EigenScript

Tutte le issue di InauguralSystems/EigenScript

Issue simili

Altre issue su C

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.