P14-L01 · P14 · P14-M01
Classer les assertions de façon cohérente dans les quatre états de preuve
Prérequis: P08-L08 · P09-L08
Objectifs pédagogiques
- Classer les assertions de façon cohérente dans les quatre états de preuve
- Attribuer états de preuve aux assertions individuelles au lieu de traiter badge de rapport comme vérité universelle.
Explication
Un état de preuve s’applique à une affirmation précise. OBSERVED signifie que l’artefact cité conserve un champ ou un événement, dans une limite de mesure indiquée. INFERRED signifie qu’une conclusion découle d’observations citées et d’hypothèses explicites. UNKNOWN signifie qu’une valeur nécessaire manque. INSUFFICIENT EVIDENCE signifie qu’une conclusion proposée n’est pas assez étayée ; cela ne prouve pas pour autant le contraire.
Explication
Écrivez assertion avant état. « Carte fictive contient review » se vérifie dans exemple. « Si drapeau persiste inchangé, prochain échantillon contient review » est inférence conditionnelle sous hypothèse explicite de persistance. Futur échantillon reste absent. « Fournisseur mesurait à instant précis » exige dossier absent ici. « Personne nommée contrôle objet » exige preuve d’identité qu’étiquette abstraite ne fournit pas.
Registre à quatre colonnes : assertion, pointeur, état et limite. Inférence nomme entrées et hypothèses sans hériter seulement confiance du rapport. Mesure ultérieure absente reste UNKNOWN même avec échantillon antérieur. Attribution non étayée reste INSUFFICIENT EVIDENCE même dans rapport détaillé.
ILLUSTRATIVE est origine des cartes. OBSERVED ici signifie visible dans exemple fictif, pas blockchain réelle. Ne transformez jamais étiquette simulée ou table soignée en preuve historique de produit. Plusieurs états peuvent coexister ; badge review reste distinct du reviewStatus éditorial needs_review.
Exemple historique
SIM-ALPHA est étiquette fictive sans chaîne ni adresse. Exemple contient displayedFlag=review ; laterState et allegedOperator sont null. Assertion limitée : « exemple éducatif contient drapeau review ». Couverture fournisseur UNKNOWN et opérateur humain allégué non établi. Aucun capital ni portefeuille.
Ce que les preuves établissent
OBSERVED est limité à artefact sauvegardé précisé ou exemple explicitement fictif. Assertions INFERRED nomment entrées et hypothèses. Cartes fictives définies par auteur, pas observations fournisseur ou rapport BlockAssay réel.
Ce que les preuves n’établissent pas
Champs UNKNOWN restent absents. INSUFFICIENT EVIDENCE ne prouve pas contraire. Aucune attribution humaine non étayée, garantie de sécurité/profit, recommandation financière ou transaction exécutable ne suit.
Erreurs fréquentes
Transformer champs UI/agrégats en dossiers bruts fournisseur ; substituer dates entre sources ; inventer identité ou liens cachés ; traiter horodatage ou badge commercial comme preuve.
Exercice pratique
Classez quatre assertions : (1) exemple affiche review ; (2) prochain échantillon affiche review ; (3) horodatage fournisseur connu ; (4) même personne contrôle cet objet et un autre. Donnez pointeur, hypothèse pertinente et phrase sans élargissement.
Afficher la correction détaillée
(1) OBSERVED dans /classificationCards/displayedFlag et limite ILLUSTRATIVE. (2) INFERRED seulement sous condition de persistance inchangée. Rien n’établit hypothèse ni résultat futur ; sans elle, assertion de persistance future a INSUFFICIENT EVIDENCE et état ultérieur UNKNOWN. (3) UNKNOWN : observedAt et preuves fournisseur absents, non récupérables depuis date de fichier. (4) INSUFFICIENT EVIDENCE : aucun dossier de personne, chaîne ou contrôle. Registre valide sépare les quatre. Ne remplacez pas null par zéro ni absence de preuve par négation de contrôle.
Spécifications visuelles
Quatre cartes liées au registre. Étiquettes distinctes, SIMULATED au-dessus de chaque carte, cellules d’heure manquante et attribution visiblement UNKNOWN/INSUFFICIENT EVIDENCE. Aucun pourcentage de confiance ou couleur de sécurité inféré.
SPECIFICATION_ONLY — production visuelle finale hors de ce travail de contenu.
Liste de contrôle
- Nommer artefact exact et limite d’identité.
- Conserver source/temps/dataStatus de chaque assertion.
- Distinguer OBSERVED, INFERRED, UNKNOWN et INSUFFICIENT EVIDENCE.
- Conserver limites sans données privées ou substituts actuels.
Résumé
- L’intégrité d’un artefact ne garantit pas que les faits sont complets.
- L’origine et la précision de l’horodatage doivent être conservées quand on réutilise une donnée.
- Une conclusion limitée doit rester vraie malgré ses inconnues.
Leçon suivante
P14-L02
Outils
Lecture de preuves hors ligne seulement. Aucun rafraîchissement fournisseur, accès privé, exercice d’argent réel, signature, modification de droit ou génération de sortie runtime.
Sources et limites des affirmations
- SIM: Cartes fictives P14 de traitement des preuves (source interne non publique) — Cartes fictives définies par auteur, pas observations de fournisseur ou rapport BlockAssay réel.
Classification des preuves
ILLUSTRATIVE — Cartes fictives définies par auteur, pas observations fournisseur ou rapport BlockAssay réel.
Date d’observation
null — exemple ILLUSTRATIVE sans horodatage historique d’observation.
Statut de révision
needs_review
Spécifications visuelles
P14-L01-V01
Classer les assertions de façon cohérente dans les quatre états de preuve
Cartes fictives définies par auteur, pas observations de fournisseur ou rapport BlockAssay réel.
Quatre cartes liées au registre. Étiquettes distinctes, SIMULATED au-dessus de chaque carte, cellules d’heure manquante et attribution visiblement UNKNOWN/INSUFFICIENT EVIDENCE. Aucun pourcentage de confiance ou couleur de sécurité inféré.
Quatre cartes liées au registre. Étiquettes distinctes, SIMULATED au-dessus de chaque carte, cellules d’heure manquante et attribution visiblement UNKNOWN/INSUFFICIENT EVIDENCE. Aucun pourcentage de confiance ou couleur de sécurité inféré.
Empiler cartes assertion/source/temps/limite à 390 px ; IDs complets lisibles, tables larges dans défilements locaux. Fournir équivalent textuel complet.
Texte peut être RTL ; identifiants, heures exactes et arithmétique décimale restent LTR. Conserver direction des relations.
SIM-P14-EVIDENCE-WORKFLOW-v1
Sources et limites des affirmations
SIM · ILLUSTRATIVE_FIXTURE
Cartes fictives P14 de traitement des preuves
- Affirmation étayée
- Champs et limites d’assertion de l’exemple et de l’exercice de cette leçon
- Limite de vérification
- Cartes fictives définies par auteur, pas observations de fournisseur ou rapport BlockAssay réel.
- Date de vérification
- 2026-10-02
Source interne non publique : cette preuve a été vérifiée en interne et n’est pas publiée.
Provenance des données
id: SIM-P14-EVIDENCE-WORKFLOW-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Source interne non publique : cette preuve a été vérifiée en interne et n’est pas publiée.
scope: Author-defined fictional cards, not provider observations or an actual BlockAssay report.