Les 44 contrôles / TS02
TS02 · HTTP et disponibilité
Les redirections sont intentionnelles, directes et sans boucle.
Texte du protocole · 0.1.0-draft.28 · Lecture documentaire, sans évaluation de site.
Version de la règle du contrôle : 0.1.0-draft.28
Repère de lecture : commencez par l’applicabilité et les pièces requises, puis lisez les attendus avec leurs limites. Comprendre les états C, NC, NT et NA · Préparer un dossier
Attendus et preuves
- Entrées requises (identifiants du protocole)
- http, intent
- Quand l’utiliser
- Variantes et anciennes URL dont le comportement attendu est déclaré.
- Comment vérifier
- Tester les variantes HTTP/HTTPS, hôte, slash et anciennes URL avec le nombre de redirections.
- Attendu
- Chaque variante testée suit la destination et le nombre de sauts autorisés, sans boucle ; intention validée par le responsable.
- Preuves à conserver
- Destination finale unique, chaîne documentée, absence de boucle.
- Non-applicabilité
- Aucune redirection ni variante attendue, inventaire à l’appui.
- Limites
- Une redirection valide ne prouve pas la pertinence sémantique de sa destination. La référence exécutable borne les trajectoires serveur HTTP ; les autres mécanismes restent non établis, sans exemption du contrôle.
- Précision sur le résultat
- C exige tous les attendus sur le périmètre déclaré. NC exige une contradiction étayée ; sinon NT. NA exige la preuve de non-applicabilité.
- Portée des références
- Référence technique ; les attendus TSEP restent une proposition éditoriale.
Règles atomiques
TS02-A01 — Plan de redirection approuvé au préalable
- Entrées requises (identifiants du protocole)
- intent
- Quand l’utiliser
- Variantes et anciennes URL dont le comportement attendu est déclaré.
- Comment vérifier
- Déclarer source, destination finale, statuts de redirection et terminaux admis, nombres minimal et maximal de redirections et contexte. Vérifier la revue fournie du responsable, motivée, datée entre déclaration et capture et liée par empreinte au plan/contexte.
- Attendu
- Le plan applicable est explicitement approuvé par le responsable avant la capture. Un rejet explicite lié au même plan est fail ; une revue absente ou non attribuable reste inconclusive.
- Preuves à conserver
- Plan, contexte, identité déclarée et rôle du responsable, date, décision, motif, assistance et provenance de la revue ; empreinte exacte des critères examinés.
- Hypothèses
- Le responsable fournit ses critères avant la capture ; un auteur de laboratoire peut fournir une revue synthétique explicitement identifiée. Une empreinte lie les pièces, sans authentifier une personne.
- Résultat indéterminé
- Plan absent, invalide ou postérieur ; validation manquante, non liée ou hors période ; mécanisme non couvert. L’outil ne fournit aucune approbation humaine.
- Non-applicabilité
- Aucune exemption atomique. La non-applicabilité du contrôle exige un inventaire positif distinct ; elle ne découle pas d’une capture absente.
- Limites
- Une redirection valide ne prouve pas la pertinence sémantique de sa destination. La référence exécutable borne les trajectoires serveur HTTP ; les autres mécanismes restent non établis, sans exemption du contrôle.
TS02-A02 — Trajectoire HTTP conforme au plan
- Entrées requises (identifiants du protocole)
- http, intent
- Quand l’utiliser
- Variantes et anciennes URL dont le comportement attendu est déclaré.
- Comment vérifier
- Lire chaque échange GET attribuable dans l’ordre, résoudre Location, conserver codes et URL, compter les redirections et vérifier destination/statut terminaux. Comparer au plan fixé avant la capture, sans reconstruire les réponses manquantes.
- Attendu
- La chaîne complète respecte destination, statuts et bornes déclarés, sans boucle. Un type interdit, une borne maximale dépassée, une redirection sans Location ou un retour vers une URL déjà parcourue sont fail dès le préfixe complet qui les prouve. Une destination/statut terminal ou un nombre minimal contradictoires sont fail après réponse terminale attribuable.
- Preuves à conserver
- Requêtes et réponses HTTP originales pour chaque saut, URL, complétude, client et contexte ; plan antérieur. Une contradiction prouvée survit aux lacunes ultérieures et à l’absence d’approbation A01.
- Hypothèses
- Le responsable fournit ses critères avant la capture ; un auteur de laboratoire peut fournir une revue synthétique explicitement identifiée. Une empreinte lie les pièces, sans authentifier une personne.
- Résultat indéterminé
- Chaîne inachevée sans contradiction, limite de collecte atteinte, Location ambiguë, fragment ou syntaxe hors portée, requête conditionnelle/authentifiée, capture incomplète ou mal attribuée. Atteindre une borne de collecte ne prouve pas une boucle ; dépasser une borne d’intention est distinct.
- Non-applicabilité
- Aucune exemption atomique. La non-applicabilité du contrôle exige un inventaire positif distinct ; elle ne découle pas d’une capture absente.
- Limites
- Une redirection valide ne prouve pas la pertinence sémantique de sa destination. La référence exécutable borne les trajectoires serveur HTTP ; les autres mécanismes restent non établis, sans exemption du contrôle.