LLM outputs that validate themselves.

from minifmt import Registry, parse, dumps, spec_block, roundtrip_ok

reg = Registry.load()                       # descubre forks/*/contract.json
c = reg.get("log")

instruccion = spec_block(c, lang="es")      # bloque para el prompt de sistema
doc = parse(respuesta, c, strict=False)     # tolerante: no lanza, acumula

doc.records                                 # registros válidos, ya tipados
for e in doc.errors:                        # MiniError: code, line, field, message
    print(e)

texto = dumps(doc.to_canonical(), c)          # canónico -> .mini
assert roundtrip_ok(doc.to_canonical(), c)

import { Registry, parse, dumps, specBlock } from '@mini-format/core';

const reg = Registry.load();            // descubre ../forks/*/contract.json
const c = reg.get('log');

const lenient = parse(texto, c, { strict: false });
lenient.records;            // registros válidos
lenient.errors;             // MiniError[] con code, line, field, message
lenient.invalidLines();     // líneas rechazadas: las que hay que regenerar
lenient.missingRecords;     // n − líneas recibidas
lenient.diagnostics();      // mismas claves que la referencia Python

import { createReader } from '@mini-format/core';

const reader = createReader(c, {                  // strict: false por defecto
  onRecord: ({ record, line, index }) => mostrar(record),
  onError: (e) => console.warn(String(e)),
});
for await (const token of respuestaDelModelo) reader.push(token);

const res = reader.end();
res.missing;      // registros que faltan respecto de n
res.truncated;    // se cortó: incompleto o menos líneas que n
res.terminated;   // el flujo terminó en salto de línea

mini forks                                  # lista las familias
mini validate respuesta.mini                # estricto: sale con 1 si hay errores
mini diagnose respuesta.mini                # tolerante: informe JSON con líneas a regenerar
mini to-json respuesta.mini | jq .          # .mini -> JSON canónico
mini from-json datos.json -p log            # JSON canónico -> .mini
mini prompt log --lang es                   # bloque de especificación para el modelo
mini tokens respuesta.mini --enc o200k_base # tokens y bytes, con el tokenizador declarado
mini check-forks                            # invariantes + fixtures de ida y vuelta
mini new-fork quiz2 --from a --add "nivel:enum{facil|dificil}"

$ python conformance/run_python.py
303 casos · 303 pasan · 0 fallan

$ cd ts && npm test
conformance.test.ts · 303/303

# las expectativas salen de la norma y de los fixtures publicados,
# nunca se calculan ejecutando la implementación

$ mini new-fork quiz2 --from a --add "feedback:str" "level:enum{easy|hard}"
$ mini check-forks

# cinco invariantes mantienen toda familia analizable por construcción:
#  I1 una línea = un registro     I4 campos nuevos solo al final
#  I2 prefijo y n obligatorios     I5 los fixtures hacen ida y vuelta
#  I3 el núcleo heredado no cambia (cambio incompatible => prefijo nuevo)