Cómo un sistema responde solo aquello que puede demostrar

Cómputo determinista, expuesto paso a paso. El modelo no calcula.

• El núcleo de cálculo es determinista: la misma entrada devuelve siempre el mismo resultado.
• Cada paso del cálculo está a la vista, de modo que una persona puede repetirlo a mano o en otra implementación.
• El modelo de lenguaje nunca realiza el cálculo por sí mismo.

Hechos en un almacén direccionable, con origen y licencia. El vacío es una respuesta.

• Los hechos se guardan en un almacén direccionable, separado de los pesos del modelo.
• Cada hecho lleva su origen: fuente, autor o emisor, fecha, licencia.
• Un resultado vacío es una respuesta válida y se devuelve como tal, nunca se rellena con texto generado.

Cada hallazgo se acompaña de la probabilidad de que ocurra al azar, sobre el espacio de búsqueda real.

• Cada hallazgo declarado se presenta junto con la frecuencia con que aparecería por azar.
• El tamaño del espacio de búsqueda se cuenta y se declara, y se corrige por comparaciones múltiples.
• Un resultado negativo se publica en las mismas condiciones que uno positivo.

Reglas de negativa en el código, legibles por máquina, sobre las personas, el futuro y las fuentes ausentes.

• Las reglas de rechazo viven en el código, no en un prompt, y quien llama puede leerlas de forma automática.
• Las reglas nombran lo que el sistema no dirá sobre una persona, sobre el futuro y sobre una fuente que no tiene.
• Quien llama puede leer las reglas antes de mostrar nada a una persona.

Un hash y una llamada reproducible bajo cada respuesta.

• Cada respuesta lleva un registro: un hash de su contenido y la llamada exacta que la reproduce.
• El registro cambia solo cuando cambian la entrada, los datos o la versión del motor.
• La versión del motor forma parte del registro.