TheReefink

un grupo de investigación aficionado dedicado a extensiones deterministas y demostradas por máquina para asistentes de IA locales · ghillie, la garra misma →

Vamos a mutar nuestras garras de forma segura — determinísticamente — y a construir herramientas que extiendan su alcance, con código demostrado. Un grupo de investigación aficionado, en el sentido del radioaficionado: nuestras propias máquinas, nuestras propias pruebas, nada que pida ser creído. Por qué la organización vence al tamaño del cerebro →

Las tres reglas

1. Nada pide confianza. Toda afirmación en la que se apoya un miembro debe ser una que pudiera re-derivar: una prueba, un resumen, una tabla de verdad. “El mantenedor lo dice” no es una categoría que usemos.
2. Las negativas son hallazgos. Una prueba que no logra descargarse, un almacén que no puede leerse, una carencia registrada con honestidad — estas son el sistema funcionando, y se anotan, nunca se suavizan. El informe aburrido — hizo exactamente lo que decían sus teoremas, otra vez — también es un hallazgo.
3. El propietario tiene más autoridad que la garra, siempre. Las extensiones deciden; nunca adquieren autoridad. Ningún experimento cambia eso, sea lo que sea lo que demostrara.

Forma parte de esto — re-deriva tu primera prueba hoy

No necesitas ninguna cuenta, ningún registro, y nada de nuestra parte que no puedas comprobar. ¿Nuevo en esto? Empieza por el camino para principiantes — tres pasos, nada se instala en tu sistema, y se detiene en la prueba. Lo que sigue aquí es la ruta completa. Dos descargas y diez minutos:

1. Consigue el probador. La cadena de herramientas GNAT FSF gratuita — lleva el probador SPARK y las herramientas de construcción en un solo paquete:

https://github.com/alire-project/GNAT-FSF-builds/releases
  (gnatprove-x86_64-linux, -darwin, or -windows64 — unpack anywhere)

Ese paquete por sí solo basta para el paso 3, re-derivar la prueba. No basta para el paso 4, construir el frontend: incluye gcc y ld pero no el runtime de C ni los objetos de arranque, así que en una máquina que carezca de ellos la construcción falla después de que la prueba ya se ha descargado — el peor momento posible para descubrir que falta una pieza. También necesitas binutils y libc6-dev. Estos son los elementos esenciales de construcción habituales de cualquier sistema Linux, ya presentes en casi cualquier máquina usada para desarrollo; es un contenedor desnudo o una instalación mínima recién hecha lo que carece de ellos. En Debian y Ubuntu:

sudo apt-get install binutils libc6-dev
# Fedora/RHEL: the equivalents are binutils and glibc-devel

2. Consigue la extensión inicial. Un núcleo de decisión real — la brief-fill policy, que decide cuándo un asistente puede responder en nombre de su propietario — entregada como código fuente con su prueba y su tabla de verdad completa:

3. Re-deriva la prueba. Desde el paquete descomprimido:

cd brief-fill-policy/core/src
gnatprove -P proof.gpr -f -U --level=2
# success: "0 unproved" — four named theorems, discharged on YOUR machine:
#   NEVER-FILLED-WITHOUT-A-LICENSING-RULE
#   AN-ABSENT-STORE-NEVER-LETS-A-FILL-THROUGH
#   NOTHING-INVENTED-EVER
#   NOTHING-ASKED-THAT-A-RULE-ALREADY-ANSWERS

4. Intenta romperla. Edita el código fuente para que un almacén de reglas ausente deje pasar una respuesta, y vuelve a ejecutar el probador. Se negará — nombrando el teorema exacto que traicionaste. Esa negativa es todo el modelo de seguridad, y acabas de verlo funcionar sin confiar en nadie. Luego construye el frontend y comprueba cada fila de su tabla de verdad incluida (core/REPROVE.md, dentro del paquete, te guía por ello).

El objetivo

Llegar al punto en el que nuestro ingenio y nuestra cooperación hagan que nuestros tokens y nuestro razonamiento sean lo mejor disponible — y que cada miembro sea, en la práctica, extremadamente rico. Rico en la moneda que aquí importa: el razonamiento demostrado se acumula como una biblioteca, no como un pastel — cada núcleo añadido hace más rico a cada miembro sin costarle nada a nadie, hasta que la garra de un miembro cualquiera controle más capacidad comprobable de la que el dinero puede alquilar.

Por qué el trabajo se llama Wu

La unidad de trabajo de la fábrica — una regla demostrada, forjada a partir de una frase sencilla — se llama un Wu, en honor a Chien-Shiung Wu.

En 1956, Chen-Ning Yang y Tsung-Dao Lee formularon una pregunta magnífica — ¿distingue la naturaleza la izquierda de la derecha? — que casi todo el mundo consideraba que no merecía la pena plantear. Fue el experimento de Wu — su diseño, su montaje, su medición — el que la respondió. El Premio Nobel, al año siguiente, fue solo para los teóricos. La pregunta merecía su premio; también lo merecía la respuesta, y la respuesta quedó fuera.

Las dos mitades de esa historia viven aquí. La pregunta audaz, planteada con claridad, es donde empieza cada pieza de nuestro trabajo — honramos a Yang, y lo emulamos. Pero nombramos la unidad de trabajo en honor a Wu, porque la prueba es el trabajo: no la idea, no el anuncio — el resultado demostrado y comprobable. Y la nombramos en su honor públicamente porque sabemos con qué facilidad se borra a la persona que hace la demostración, y aquí no va a pasar.

Lo que viene

• La terminal — la garra a la que sirven estas extensiones: un asistente local sin proceso de escucha y sin ninguna vía de entrada (sondea hacia afuera; nada entra), y las decisiones que importan, cada una detrás de un núcleo demostrado. Código abierto (AGPL-3.0) — publicado: código fuente y binarios en github.com/the-dark-factory/Ghillie_AGPL. Comprueba los binarios antes de ejecutarlos: la publicación incluye SHA256SUMS-assets.txt, que cubre los tarballs exactamente como se descargan, así que sha256sum -c SHA256SUMS-assets.txt los verifica tal cual están. (El SHA256SUMS más antiguo sigue ahí para quien lo haya citado; enumera los resúmenes de los binarios descomprimidos en un formato con prefijo de plataforma que sha256sum -c no puede leer.)
• El catálogo ya está activo — un ghillie en ejecución instala extensiones que se vuelven a demostrar en su propia máquina: ghillie -catalogue https://thereef.ink/catalogue -abilities-available, luego -get-ability <name> -reprove. Nada se instala a menos que su prueba se descargue primero en tu hardware.
• El catálogo — más extensiones re-demostrables con la misma forma: horas de silencio, techos de gasto, concesiones de contacto, la regla de la boca (las negativas nunca se reformulan), cada una con sus teoremas nombrados.
• La cooperativa — libros de carencias compartidos, de modo que el punto ciego registrado de una garra se convierte en la previsión de todas las demás, y trabajo de prueba compartido: demostrar es la única carga de trabajo que puedes aceptar con seguridad de extraños, porque una descarga o bien se re-deriva, o no lo hace.

Informes

¿Ejecutaste la prueba? ¿Rompiste algo con educación? ¿Encontraste el resultado aburrido? Escribe a tonythegair@gmail.com. Los hallazgos se publican; no se te pide nada más sobre ti — esta página no tiene scripts, ni cookies, ni analítica, y puedes comprobarlo leyendo el código. El servidor que te entrega la página sí guarda una línea breve y truncada por solicitud, y lo dice con claridad: qué registra el servidor.

Patrocinio

TheReefink está patrocinado por The Dark Factory Ltd, que ha dedicado recursos considerables a su éxito — la maquinaria de prueba, las primeras extensiones y la terminal por venir. El patrocinio no compra excepciones: todo lo que el patrocinador entrega aquí es comprobable con la misma regla que todo lo demás, y un miembro que lo rompe con educación le ha hecho un servicio al grupo.