CP-19 - Formalize an informal claim

Tool: quanthor

English

Objective. Formalize an informal claim

TOOL: quanthor

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

BOUNDED WORK
Extract definitions, variables, quantifiers, assumptions, and the target statement.

REQUIRED OUTPUT
A draft formal statement with unresolved terms.

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. Formaliser une affirmation

TOOL: quanthor

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

TRAVAIL BORNE
Extraire definitions, variables, quantificateurs, hypotheses et cible.

SORTIE OBLIGATOIRE
Un enonce formel provisoire avec termes non resolus.

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. Formalizar una afirmacion

TOOL: quanthor

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

TRABAJO ACOTADO
Extraer definiciones, variables, cuantificadores, supuestos y objetivo.

SALIDA OBLIGATORIA
Un enunciado formal provisional con terminos no resueltos.

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.