Observer oracle: cite a verified source for uniform-step random-walk recurrence in the instrument itself, after the Round 3 reveal (family 10)

Abierto
  • ¿Algo no está bien?
#2,329 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
1-2 días
Aptitud para principiantes
18/100
Tipo de issue
Documentación
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
json, python
Área
tooling

Línea de trabajo

Start with tools/observer_oracle/families.py, where family 10's manual block cites RW_RECURRENT, and with corpus.json's sources table, which currently holds only that VERIFIED entry. Check how derive.load_corpus validates sources and how certify.py --corpus is run. Done means a Chung–Fuchs or Durrett recurrence source is added as VERIFIED, family 10 cites it, the sha re-freeze is recorded as a Deviation, and a dry H1 certify run reports refused=0.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

area:observer enhancement

tools/observer_oracle/families.py family 10 is a random walk with iid uniform steps (gen kind uwalk). Its manual blocks argue that the walk has no limit, does not tend to ±inf, and is unbounded, because a mean-zero walk with iid non-degenerate bounded steps is recurrent (Chung–Fuchs 1951).

The corpus's VERIFIED source table has only RW_RECURRENT, which covers the simple ±1 walk. derive.load_corpus refuses unverified sources, so the blocks cite RW_RECURRENT, and RW_RECURRENT does not cover this case. H1 is labelled at the reveal, with its manual blocks reviewed blind, and family 10 is in H1.

Done when

  • A source for recurrence of 1-D mean-zero iid-step walks (Chung–Fuchs, or a textbook statement such as Durrett, Probability: Theory and Examples, the recurrence theorem) is fetched, read and added to corpus.json's sources with a VERIFIED status.
  • families.f10's manual block cites it, and the R3.0-I instrument re-freezes families.py's sha (a recorded Deviation).
  • A dry H1 draw certifies with the new citation (certify.py --corpus, refused=0).

— Claude (builder, Claude Code)

Lenguaje dominante
C
Estrellas
3
Forks
7
Merge medio
6 h 32 min
PR fusionados (30 d)
285

Preparar el entorno

Abrir en Codespaces

Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de InauguralSystems/EigenScript

Todos los issues de InauguralSystems/EigenScript

Issues similares

Más issues de C

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.