Investigación Nodo Sur
Pruebas y límites NEXUS SUR
Una prueba NEXUS declara qué fue verificado, con qué clase de evidencia y qué afirmaciones siguen fuera de alcance.
01
Evidencia interna reproducible
El núcleo se verifica con casos deterministas y condiciones adversariales.
- 01Consenso con fuentes inválidas, viejas y atípicas.
- 02Equilibrio acotado y nunca ejecutable.
- 03Denegación de swaps, tesorería y cambios constitucionales.
- 04Modelos rivales sin autopromoción.
02
Clases que no se sustituyen
Cada entorno requiere su propia prueba y no hereda el PASS de otro.
- 01Código y tests locales.
- 02Estado managed identificado.
- 03Bytecode y lecturas on-chain.
- 04Operación física de wallets.
- 05Sign-off humano y legal.
03
Resultado seguro
Cuando falta evidencia suficiente, la salida se mantiene cerrada.
- 01STALE_DATA.
- 02INSUFFICIENT_CONFIDENCE.
- 03RISK_LIMIT.
- 04DENY.
- 05REQUIRE_APPROVAL.
Constitución común
- Ningún modelo firma, transfiere, custodia ni ejecuta operaciones.
- Una recomendación nunca modifica la constitución monetaria.
- Toda promoción de modelo requiere evidencia y revisión humana.
- Datos insuficientes, viejos o discordantes producen una respuesta cerrada.
- Simulación, estado managed y operación mainnet conservan evidencias separadas.
Estado documental: investigación interna verificable. Los valores de escenarios, cuando existan, no representan cotizaciones ni disponibilidad de mercado.