CP-20 - Review a proof route

Tool: quanthor

English

Objective. Review a proof route

TOOL: quanthor

REQUIRED INPUTS
Provide the repository or artifact, exact goal, constraints, and evidence already available.

BOUNDED WORK
Check each inference, dependency, counterexample risk, and missing justification.

REQUIRED OUTPUT
A proof-obligation ledger, not a theorem claim.

VALIDATION
Return COMPLETED, NEEDS_INPUT, QUARANTINED, or BLOCKED. Cite files, commands, URLs, and observed results.

HUMAN STOP
Stop before publishing, spending, deleting, changing remote state, exposing a secret, or promoting an unverified claim.

Francais

Objectif. Reviser une route de preuve

TOOL: quanthor

ENTREES REQUISES
Fournir le depot ou l'artefact, l'objectif exact, les contraintes et les preuves deja disponibles.

TRAVAIL BORNE
Verifier inference, dependance, contre-exemple et justification manquante.

SORTIE OBLIGATOIRE
Un registre d'obligations, pas une affirmation de theoreme.

VALIDATION
Retourner COMPLETED, NEEDS_INPUT, QUARANTINED ou BLOCKED. Citer fichiers, commandes, URL et resultats observes.

HUMAN STOP
Arreter avant publication, depense, suppression, changement distant, exposition de secret ou promotion d'une affirmation non verifiee.

Espanol

Objetivo. Revisar una ruta de prueba

TOOL: quanthor

ENTRADAS REQUERIDAS
Proporcionar el repositorio o artefacto, objetivo exacto, restricciones y evidencia disponible.

TRABAJO ACOTADO
Verificar inferencia, dependencia, contraejemplo y justificacion faltante.

SALIDA OBLIGATORIA
Un registro de obligaciones, no una afirmacion de teorema.

VALIDACION
Devolver COMPLETED, NEEDS_INPUT, QUARANTINED o BLOCKED. Citar archivos, comandos, URL y resultados observados.

HUMAN STOP
Detenerse antes de publicar, gastar, borrar, cambiar estado remoto, exponer secretos o promover afirmaciones no verificadas.