uscha.dev
cómo funciona

Cuatro flujos, una regla: el humano juzga, el motor mide

uscha tiene un frente para sistemas nuevos y uno para los que ya existen. Los dos terminan en el mismo lugar — un veredicto humano que el motor puede chequear. Estos cuatro diagramas muestran el flujo greenfield, el brownfield, el mecanismo de curación (kit 1.64–1.65) donde una única decisión humana es el único juicio del loop — y la pata del diamante (1.72–1.90) que los tres alimentan: compilar, certificar bajo un oráculo oculto, round-trip.

1 · greenfield

Discovery — vos traés la idea, el método propone la forma

La skill explora primero, después pregunta de a una — cada una con una respuesta recomendada. Vos confirmás o corregís; nunca authoreás la forma desde una hoja en blanco. El paquete se escribe al repo a medida que las decisiones cristalizan.

hasta que converge Idea + material de referencia opcional: docs, URLs, código existente Explora antes de preguntar lee refs y código primero Propone la forma una pregunta a la vez, cada una con respuesta recomendada DECISIÓN HUMANA Confirmar o corregir ARTEFACTOS · EN EL REPO SPEC · ADRs · ACCEPTANCE CONTEXT · DOMAIN-MODEL · RISKS → /uscha-devloop build + loop de QA medido
artefacto decisión humana paso de skill / motor
2 · brownfield

Reverse Discovery — extraer hechos, después poner en cuarentena las afirmaciones

El comportamiento del sistema que corre es la verdad. La skill extrae hechos (mapa, golden), después authorea candidatas en cuarentena — nunca specs. La regla vieja "nunca authorees un spec inferido" se renegoció en ADR-009: podés authorear candidatas, nunca podés promoverlas sin un veredicto.

re-chequea hasta 0 Sistema existente comportamiento observable = verdad Map — hechos SYSTEM-MAP · bordes · deps HUMANO APRUEBA · INV-GOLDEN-01 Characterize → golden .received → STOP → .approved CANDIDATAS · CUARENTENA discovery/*.md · evidence + confidence GATE MEDIDO · subcmd 34 curation-check exit 2 malformado · 1 sin juzgar · 0 ok VEREDICTO HUMANO preserve · fix · undefined una candidata a la vez BEHAVIOR-LEDGER.md + ADR append-only, verificado contra git Summary → el humano escribe el SPEC solo de candidatas YA JUZGADAS
artefacto gate medido decisión humana paso de skill

INV-GOLDEN-01 se aplica mecánicamente en Claude Code (un hook PreToolUse bloqueante); en los demás targets el kit lo reporta como advisory — el control medido en todos lados es golden-diff, que compara bytes.

3 · curación · 1.64–1.65

Curación — un veredicto humano, todo lo demás medido

Este es el diferenciador. Una candidata se valida a máquina; una candidata sin veredicto bloquea el PR, nombrándose a sí misma (INV-CURATION-01). La única decisión humana se abre en tres buckets. Un fix declara su divergencia esperada, que el oráculo golden después chequea. roundtrip reporta trazabilidad por id — advisory, nunca un gate.

CANDIDATA · discovery/*.md evidence.type · refs · confidence MEDIDO valida frontmatter + refs refs resuelven · confinadas al repo · inference⇒low GATE · subcmd 34 curation-check sin veredicto → bloquea pr-ready, nombrando la candidata LA ÚNICA DECISIÓN HUMANA DEL LOOP VEREDICTO HUMANO preserve  ·  fix  ·  undefined preserve promover tal cual fix promover + divergencia declarada undefined excluida ORÁCULO · golden-diff golden.divergences.json declarada+diverge=ok · declarada+idéntica=ROJO roundtrip (subcmd 35) · advisory · trazable por id · exit 0 siempre
candidata / artefacto gate medido el veredicto humano advisory
4 · la pata del diamante · 1.72–1.90

Compilar, certificar, round-trip — la ida que alimentan los tres flujos

El paquete curado se vuelve un grafo tipado. Cualquier modelo lo compila; el motor solo valida el contrato de salida y nunca compila. Un oráculo oculto — authoreado antes de cualquier compilación, nunca en el prompt — certifica si el resultado es el mismo sistema. Después los órganos de reversa intentan re-anclar el activo desde el código compilado, y esa proporción se publica con su techo.

oculto · nunca en el prompt EL ACTIVO · ir-extract paquete de specs + ledger → un grafo tipado (IR) CUALQUIER MODELO · el LLM compila compilación ciega → código cuatro compiladores ciegos, dos vendors, mismo paquete, sin oráculo a la vista MEDIDO · compile-validate contrato de salida — solo mecánico exit 2 ante violación · el motor nunca compila AUTHOREADO POR UN HUMANO ANTES DE COMPILAR · ORACLE.json el oráculo oculto ¿es el MISMO sistema? · casos etiquetados por criterio de aceptación MEDIDO · bootstrap-oracle · bench PASS · PARTIAL · FAIL 12 arquetipos · 8 PASS · 4 PARTIAL (medido en septiembre de 2026) · un oráculo que un stub satisface baja a FAIL ADVISORY · bench-roundtrip · bench-r2 cuánto del activo se re-ancla desde el código 0.815 = cuánto del spec se re-ancla desde el código · NOISY = cuánto discrepan reejecuciones del mismo modelo
gate medido oráculo authoreado por humano instrumento advisory paso de modelo / skill

Cada nodo de arriba mapea a un subcomando o invariante real de qa_ledger.py (kit 1.96.0). Estos tres flujos son la capa de juicio humano. La ida que alimentan — el LLM como compilador bajo un contrato validado, compilaciones ciegas juzgadas por un oráculo oculto, y el round trip medido de vuelta — es el diamante: la misma doctrina, un nivel arriba.