oracle0.6.0

qué es · dónde entra · qué usa un modelo

Dónde
entra
oracle

Cuando un modelo escribe la herramienta y también escribe su prueba, el criterio de éxito deja de ser independiente del generador.

Oracle no agrega otra prueba: cambia de qué está hecho el criterio.

el problema

La misma mano escribe
el artefacto y el criterio

Un test es código, y quien lo escribió puede ajustarlo hasta que pase. No hace falta mala fe: alcanza con que el generador tenga las dos puntas. El verde resultante es cierto y no significa nada.

Oracle parte el lazo poniendo el criterio donde el generador no lo puede acomodar: una medida es un dato, no un procedimiento. Y como es un dato, se puede romper a propósito para preguntarle al corpus si lo nota.

HOY generador artefacto prueba verde escribe también el criterio El verde es cierto. No dice nada del mundo. CON ORACLE medida un dato artefacto evidencia filas veredicto + testigos lee mutador la rompe ¿lo nota el corpus? Un criterio que nada puede romper es decoración.
A la izquierda el lazo cerrado: el generador produce el artefacto y también la prueba que lo juzga. A la derecha Oracle separa quién produce los hechos —el sensor— de quién los juzga —la medida—, y agrega un tercer actor que rompe la medida a propósito para comprobar que el corpus se dé cuenta.

la unidad

Una medida declara
lo que no ve

Ésta es real: vive en el catálogo del proyecto y se juzga a sí misma, porque ella también es una fila de la relación que consulta.

umbral
el número y su comparador. Sin él no hay veredicto, sólo un valor.
segun
de dónde salió ese número: medición, contrato, convención o tanteo. Un umbral sin origen es un número que alguien tipeó.
porque
por qué ése y no otro, ante quien lo discuta.
ambito
a qué proyectos obliga. Un rojo que el receptor no puede arreglar enseña a ignorar la herramienta.
alcance
obligatorio. Qué NO mira. Ninguna medida ve todo, y un verde que no lo declara se lee como si viera todo.
ninguno meta.ninguna_medida_sin_alcance:
    de medida m
    donde m.alcance == ""
    umbral <= 0 segun contrato
        porque "un verde que no declara
        qué NO miró se lee como
        «está bien»…"
    ambito universal
    alcance "ve si el `alcance` está
        VACÍO. NO impone una fórmula
        textual ni un idioma, y NO
        juzga si el punto ciego
        declarado es el correcto"

dónde se apoya cada afirmación

Cinco niveles, y los dos
extremos están cerrados

«¿Esto está bien?» se responde en capas distintas, y confundirlas es de dónde salen los verdes que no significan nada. Oracle numera las capas y se niega a inventar una sexta.

L2 medidas sobre medidas se juzga a sí misma L1 medidas enunciados sobre L0 L0 evidencia filas L−1 qué lee el sensor su alcance y sus unidades L−2 qué leyó, y en qué estado identidad y frescura el terreno no es un nivel
No hay L3: con el catálogo servido como una relación más, una medida sobre medidas sobre medidas se escribe idéntica a una medida sobre medidas. Colapsa, no falta. Y no hay L−3 porque debajo está el terreno, y lo único honesto que se puede hacer con él es declarar qué no se miró — el trabajo del alcance.

para un modelo

Qué usa un LLM de Oracle,
y cuánto

Un modelo lo usa de dos maneras, y conviene no confundirlas. Escribe medidas en un lenguaje de cinco operadores donde cada afirmación obliga a declarar su umbral, su origen y su punto ciego. Y consulta el estado de un proyecto por un servidor MCP de sólo lectura: tres herramientas, ninguna escribe.

catálogo
efectivo

Qué medidas obligan a este proyecto — no todo lo instalado. Distingue «no existe» de «no tiene jurisdicción acá»: lo primero invita a duplicar, lo segundo enseña que el archivo ya tiene dueño.

evaluar

Corre una medida contra una evidencia. Devuelve tres estados y no dos: verde, rojo y sin evidencia, porque «no pude mirar» no es «miré y está mal».

desafiar

Somete un candidato a las dos polaridades y después a sus mutantes, entero en memoria y sin tocar el disco. Dice qué parte no está fijada; no dice que la medida sea correcta.

cuánto de esto llega

180 defectos reales,
y cómo se detectó cada uno

El corpus del proyecto registra cada defecto con la vía por la que apareció. Es la respuesta medida a «cuánto sirve», y también a cuánto no.

152 por observación y mutación · 28 por una persona, un accidente o una herramienta ajena

84%de los defectos documentados los caza el arnés sin que nadie mire
14de los 28 restantes están al alcance de una herramienta MCP
57medidas en el catálogo base: 37 obligan a cualquiera, 20 sólo a Oracle
0dependencias. El núcleo son 9.575 líneas y biblioteca estándar

lo que no promete

La otra mitad de esos 28
no la ataja ningún protocolo

Decir esto es parte del diseño, no una disculpa. Una herramienta que promete más de lo que puede sostener produce exactamente el verde que existe para evitar.