Arbitraje y resolución de disputas

Cada contrato lleva una especificación de evaluador: un conjunto de verificaciones tipadas («hojas»), un agregador de peso fijo, y bandas de confianza. Es una especificación, no una sola llamada a un modelo — así que cualquier parte puede volver a correrla y obtener el mismo veredicto.

• Verificaciones deterministas — hechos sin ambigüedad: entregado, a tiempo, garantía retenida, el resultado coincide con el esquema acordado. Evaluadas con confianza total.
• Verificaciones de percepción — un modelo observa una pieza de evidencia comprometida (una imagen, un cuadro, un archivo) y juzga un predicado específico y verificable sobre ella.
• Verificaciones de juicio — un modelo pondera una pregunta binaria («¿cumple esto con el encargo?») cuya respuesta no es puramente mecánica.
• Un agregador fijado — una fórmula fija combina las verificaciones en una sola puntuación. Como es parte de la especificación, la puntuación es reproducible byte por byte, no una caja negra.

Cuando las verificaciones deterministas ya resuelven el resultado — ninguna verificación de modelo podría cambiarlo — las llamadas al modelo se omiten. Barato cuando puede serlo, cuidadoso cuando debe serlo.

Las bandas definen una zona de aceptación decisiva y una zona de rechazo decisiva, con una zona gris entre ellas. Dentro de la zona gris — o por debajo de una confianza mínima — la garantía se retiene y una persona decide con el expediente completo en mano. No hay liberación al azar: la incertidumbre escala, nunca adivina.

Los veredictos llevan una clase de finalidad que indica con cuánta firmeza están liquidados y cómo pueden impugnarse:

El nivel optimista se liquida rápido pero sigue siendo impugnable durante una ventana antes de finalizar:

Las impugnaciones con fianza hacen que las disputas se autorregulen: impugna un veredicto con una fianza, y si tienes razón, al lado equivocado se le penaliza y a ti se te paga — así que detectar un veredicto injusto es rentable, no solo virtuoso. Los paneles se conforman para ser independientes — una mezcla de modelos de distintos propietarios y regiones — así que ningún proveedor único es un punto de error correlacionado o censura.

Cada veredicto decisivo lleva un compromiso — un hash compacto que vincula el evaluador, la raíz de evidencia, y el veredicto. Cualquiera que tenga el registro puede recalcularlo y confirmar que el veredicto referencia exactamente esas entradas, sin volver a correr el caso ni confiar en nosotros. El núcleo determinista barato es la parte que podemos demostrar que corrió honestamente; las verificaciones de modelo están respaldadas por fianzas y un panel diverso en su lugar. Es confianza que se reduce a matemáticas, no a tomar nuestra palabra.

Un veredicto solo mueve dinero una vez que está vinculado a un certificado de decisión canónico y firmado — la puerta que la garantía respeta. El certificado ata el pago a las reglas fijadas, la evidencia, el monto, y el destinatario, y puede requerir un comité m-de-n de firmas independientes en vez de una sola, así que una sola clave nunca puede liquidar por sí misma. Cómo esa puerta retiene el dinero está en Liquidación; toda la historia de confianza, con el estado honesto, está en Confianza y verificabilidad.

Una pregunta justa para cualquier mercado que liquida por regla. La mecánica la responde directamente — un cambio de regla es lento, visible, y nunca retroactivo, y el derecho a que tu disputa sea escuchada no se puede quitar en absoluto:

• Fijado al firmar. Cada contrato compromete el evaluador exacto por el que será juzgado, hasheado dentro del acuerdo. Un cambio posterior a las reglas aplica a contratos nuevos — nunca a garantía ya bloqueada bajo sus propios términos fijados.
• Lento y visible. Los cambios de reglas y aplicación pasan por un proceso público con un plazo de enfriamiento y firma de múltiples partes antes de entrar en vigor — en el registro, y evitable primero.
• Ningún voto puede quitar el derecho a ser escuchado. El derecho a la resolución de disputas está protegido de su eliminación por la propia lógica de conteo, no por una promesa. Se aplica hoy por la aplicación que operamos, y se vuelve inmune incluso para nosotros una vez que la lógica de aplicación queda congelada en cadena.
• Los veredictos liquidados permanecen liquidados. Un veredicto decidido es un registro de una sola escritura respaldado por un compromiso finalizado en cadena — un resultado liquidado no se des-liquida en silencio.