Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

terraphim_rlm: require a per-sub-result verification plan (recheck / control / independent route)

Abierto
  • ¿Algo no está bien?
#969 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
48/100
Tipo de issue
Nueva funcionalidad
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
rust
Área
ai, testing-qa

Línea de trabajo

Start with the RLM design doc and the rlm_* sub-call result definitions, then inspect the RLM test suite and executor paths. Done means the design states the verification requirement, results carry the accepted verified_by values with gated refusal of none, and a control test fails when execution is skipped or silently falls back.

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

Descripción

Proposal

Make a verification plan for each sub-result a design requirement for terraphim_rlm decompositions. Decomposition alone does not make a long recursive run trustworthy. Every sub-call that produces a result the parent relies on should declare how that result is checked, for example:

  • an exact or deterministic re-check (a recomputation, test, schema or invariant);
  • a known-answer control instance run through the same path;
  • an independent second route, where it is cheap.

Why

The nine-loop computation (Anthropic, 2026-09-25) is a budget-bounded, decomposable, long-running job of exactly the kind RLM targets. The result was trusted because of its checks, not because of the run itself: an eight-loop control checked against the published value, exact arithmetic modulo several primes, and a cross-check between two representations. The open bugs #3405 (the Firecracker stub reports exit 0 when no VM ran) and #3406 (silent fallback to LocalExecutor) are the failure class this guards against. A sandbox that reports success when nothing ran passes every check except a known-answer control.

Acceptance

  • The RLM design doc states the requirement.
  • rlm_* sub-call results carry a verified_by field: none, recheck, control or independent. The parent can refuse results marked none for gated outputs.
  • At least one control instance in the RLM test suite fails loudly when the executor does not actually run code (covers #3405 and #3406).

Mirror of Gitea terraphim/terraphim-ai# (source of truth).

Lenguaje dominante
Rust
Estrellas
65
Forks
5
Merge medio
1 h 17 min
PR fusionados (30 d)
2

Preparar el entorno

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 terraphim/terraphim-ai

Todos los issues de terraphim/terraphim-ai

Issues similares

Más issues de Rust

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.