Question de recherche
Une chaîne versionnée peut-elle empêcher qu’une proposition, une implémentation locale ou une publication soit présentée comme preuve de préparation complète ?
Plan d’étude
Le pilote croise dix archétypes de chaîne, cinq états de cycle et quatre classes de preuve. Chaque point de contrôle est doublement codé.
Unité d’analyse
Un point de contrôle versionné reliant une revendication, sa source d’autorité, un artefact, un état de cycle et une classe de preuve.
Dimensions de comparaison
- authority-source-traceability · Capacité de chaque revendication à pointer vers la source qui en définit le sens, la portée et le statut.
- lifecycle-state-separation · Séparation explicite entre proposition, implémentation locale, publication, déploiement et observation.
- evidence-class-fit · Correspondance entre la classe de preuve disponible et la force de la conclusion attachée au point de contrôle.
Plan d’unités
Chaînes synthétiques complètes, partielles, désynchronisées et contradictoires, figées avec leurs états attendus avant toute revue.
chain-archetype
Dix archétypes couvrant chaîne complète, maillon manquant, source divergente, état périmé et revendication excessive.
lifecycle-state
Cinq états distincts : proposé, implémenté localement, publié, déployé ou observé.
evidence-class
Quatre classes de preuve : documentaire, artefact, exécution contrôlée ou observation bornée.
Règle d’arrêt
Aucun arrêt discrétionnaire. Évaluer les 400 unités, sauf corruption du manifeste ou indisponibilité supérieure à 5 % ; publier chaque arrêt et dénominateur.
Résolution des désaccords
Deux juges classent indépendamment source, état, classe de preuve et conclusion admissible. Un troisième tranche les désaccords.
Règle en cas d’accord insuffisant
Si le kappa de Cohen est inférieur à 0.80, ne pas agréger les métriques de chaîne ; publier l’échec et versionner la grille avant reprise.
Séquence d’exécution
- freeze-chain-manifest · Figer revendications, sources, artefacts, états, classes de preuve, liens attendus et condensats.
- review-links-independently · Faire vérifier indépendamment chaque lien et interdire qu’un état aval soit déduit d’un état amont.
- adjudicate-claim-strength · Trancher les désaccords et limiter la conclusion à la classe de preuve et à l’état effectivement démontrés.
- publish-traceability-matrix · Publier les chaînes complètes et incomplètes, les écarts temporels, les maillons absents et les conclusions refusées.
Exigences de gel
unit-manifestfactor-manifestreference-snapshot-manifestreview-rubric-versionreview-panel-and-agreement-rulereview-windowsource-access-policyexpected-state-manifestclaim-source-manifestartifact-and-state-registryevidence-class-registryexclusion-policy-version
Métriques préinscrites
authority-source-completeness-rate
Part des revendications reliées à une source d’autorité versionnée qui définit explicitement leur portée.
state-separation-fidelity-rate
Part des points de contrôle qui conservent distincts proposition, implémentation, publication, déploiement et observation.
evidence-chain-completeness-rate
Part des liens requis présents entre revendication, source, artefact, état, preuve et conclusion.
premature-readiness-claim-rate
Part des conclusions qui présentent un état partiel comme chaîne complète, disponibilité ou préparation produit.
Règles de décision
- each-layer-requires-own-proof · Chaque état de la chaîne exige sa propre preuve ; aucun état aval ne peut être hérité d’un état amont.
- missing-link-remains-missing · Un maillon absent, inaccessible ou périmé demeure explicitement absent et ne peut être comblé par plausibilité.
- publication-is-not-observation · La publication d’un artefact ne prouve ni son déploiement, ni son utilisation, ni un résultat comportemental.
- no-product-readiness-inference · Une chaîne documentaire ou un protocole ne démontre aucune disponibilité, préparation ou capacité produit non publiée.
Menaces à la validité
registry-self-reference
Un registre peut citer ses propres états et donner l’apparence d’une preuve indépendante inexistante.
Mesure de réduction. Exiger un artefact ou une source externe au registre pour chaque état autre que la simple déclaration.
inaccessible-evidence
Une preuve privée ou indisponible peut être mentionnée sans pouvoir être vérifiée par le public.
Mesure de réduction. Classer la preuve comme non vérifiable publiquement et interdire toute conclusion qui exige sa vérification.
temporal-desynchronization
Une source, un artefact, un déploiement ou une observation peut changer sans mise à jour simultanée du registre.
Mesure de réduction. Figer les timestamps et condensats, déclarer l’âge des preuves et invalider les chaînes désynchronisées.
Paquet minimal de publication
protocol-versionunit-manifestfactor-manifestreference-snapshotssource-access-logexpected-state-manifestreview-rubric-and-disagreementsclaim-source-manifestartifact-and-state-registryevidence-class-registrycomplete-denominatorsexclusions-and-haltslimitationsnull-and-nonidentifiable-outcomes
Frontières et non-revendications
- Une source doctrinale ne prouve pas qu’une implémentation existe.
- Une implémentation locale ne prouve ni publication, ni déploiement, ni observation.
- Un registre public ne constitue pas une preuve indépendante des états qu’il déclare.
- Aucune disponibilité, préparation produit ou capacité opérationnelle non publiée n’est revendiquée.
Ce que prouve une préinscription
La préinscription établit qu’une méthode a été fixée avant l’exécution. Elle ne prouve ni exécution, ni résultat, ni causalité, ni ouverture du produit.
Programme parent : Chaîne doctrine, implémentation et preuve