Les corpus ISO1 et Adobe couvrent leurs tableaux de dictionnaires ; ISO2 a actuellement un pilote vérifié séparément. Ces périmètres ne doivent pas devenir une affirmation de support PDF 2.0 complet. Couvrir les tableaux ne suffit pas à déclarer toute leur implémentation terminée : un tableau décrit des objets, alors que certains chapitres imposent aussi un algorithme, des liens entre objets ou un comportement de lecteur.
Premier support ISO 32000-2:2020 EC3 dans 0.6.0
Le guide PDF 2.0 conserve une édition et un profil de corrections distincts. Son pilote contient quatre tableaux et 53 entrées : 29 (catalogue, pp.113–117), 43 (fichier, pp.149–152), 356 (espace de noms, p.744) et 409a (MCAF, p.1015). L'inventaire ISO2 laisse explicitement le catalogue complet en attente. Aucun pourcentage ne mélange ce pilote aux inventaires de tableaux ISO1/Adobe complets.
Les ajouts exécutables couvrent en-tête/catalogue 2.0, stratégies de chaînes textuelles dont UTF-8 avec BOM, relations AF et ressources MCAF nommées corrigées, contrôles du graphe et des révisions effectifs, applicabilité, interdiction R=5 et règles PDF 2.0 des permissions à clé publique. Le PDF réel du tutoriel exerce métadonnées Unicode, texte visible CID et CSV associé au document, à la page et au contenu marqué.
R=6, graphes natifs d'espaces de noms/rôles, DSS/horodatages, arbres de parties documentaires, enveloppes chiffrées, géospatial et conformité complète restent à construire. La norme fournie est conservée dans le dépôt public du core avec son nom et ses octets d'origine, après autorisation de redistribution confirmée. Ses métadonnées identifient les pages physiques et son empreinte. Les références Adobe ci-dessous restent téléchargeables sans modification.
Références conservées
| Document | Inventaire | Source |
|---|---|---|
| ISO 32000-1:2008, PDF 1.7 | 756 pages ; 392 tableaux ; 263 tableaux de dictionnaires ; 1 405 classes d'entrée ; 73 opérateurs de contenu | PDF32000_2008.pdf |
| Supplément Adobe, niveau d'extension 3 | 140 pages ; 66 tableaux, dont 61 tableaux de dictionnaires | adobe_supplement_iso32000.pdf |
| ISO 32000-2:2020 EC3, PDF 2.0 | 1 023 pages physiques ; catalogue pilote de 4 tableaux et 53 entrées | ISO_32000-2_sponsored_EC3.pdf |
Les fichiers originaux restent dans le dépôt du core. Les catalogues enregistrent leur SHA-256 et les numéros de pages physiques ; les corrections d'interprétation conservent la formulation imprimée et indiquent leur justification.
La référence Adobe de 2006, ses errata et l'addendum de caviardisation sont également conservés, avec leur portfolio et un catalogue d'empreintes. Ce sont des sources de comparaison et d'audit ; leur archivage ne modifie pas les compteurs des deux inventaires actifs ni les statuts d'implémentation.
Les définitions Redact existent dans le tableau ISO 192. L'application de la
caviardisation, qui doit détruire le contenu et ses traces, reste un mécanisme
à construire avec un processeur de contenu. Une annotation ou une mise à jour
incrémentale ne constitue pas cette suppression.
Dans la version 0.5.2, la comparaison avec les errata Adobe corrige aussi le
Count de racine des signets tous explicitement fermés au premier niveau.
Le guide des références détaille cette règle et les
différences de contrats entre les éditions pour les digests de signature.
Comment lire la couverture
L'inventaire ISO examine 98 familles de mécanismes. L'inventaire Adobe distingue ses tableaux, algorithmes, prescriptions, notes de produit et standards externes. Leur référence initiale est la version 0.3.0 ; les ajouts ultérieurs doivent être accompagnés de fichiers d'implémentation et de preuves de validation.
Les dimensions sont distinctes :
- Définition : le dictionnaire et ses entrées ont des objets nommés, leurs types, exigences connues et références de source.
- Écriture : des objets exécutent réellement le mécanisme et produisent ses octets PDF, par exemple un flux LZW ou une table d'indices de linéarisation.
- Règles sémantiques : les plages, dimensions, conditions, héritages et liens entre objets sont contrôlés pour le domaine annoncé.
- Validation : des tests et, lorsque possible, une autre implémentation vérifient les documents produits. Un contrôle de syntaxe ne prouve pas à lui seul leur rendu, leur accessibilité ni leur validité cryptographique.
Un pourcentage unique mélangerait ces dimensions. Les inventaires donnent donc les mécanismes vérifiés et le travail restant, plutôt qu'un chiffre de complétude.
Constructions natives de la version 0.4.0
| Famille | Constructions et vérifications |
|---|---|
| Formulaires AcroForm | Arbres de champs, héritage, noms qualifiés, valeurs et flags, widgets séparés ou fusionnés, apparences et appartenance au catalogue réel. |
| FDF | Écriture native, hiérarchie des champs, export explicitement choisi et références de modèles de pages. |
| Structure logique et PDF balisé | Hiérarchie, rôles, classes, attributs, MCID/MCR/OBJR, ParentTree et IDTree ; vérification d'un document de plusieurs pages. |
| Couleurs, motifs et dégradés | Espaces calibrés et spéciaux, cellules tiling, sept dégradés et vrais flux binaires de maillages ; contrôles des octets et du rendu. |
| CMaps | Codespaces, correspondances CID et Unicode, plages, notdef, modes d'écriture et UseCMap ; extraction d'un encodage différent d'Identity-H. |
| Polices et chaînes | Type1, MMType1, TrueType, Type3, CIDFont et Type0 ; programmes déclarés, métriques horizontales et verticales, noms de sous-ensembles et encodages PDFDoc/UTF-16. |
| Images et transparence | Échantillons 1/2/4/8/16 bits, masques, Decode, Matte, groupes, états graphiques, mélanges, soft masks et trames ; les codecs JPX/JBIG2 restent externes. |
| Contenu optionnel | Groupes et appartenances, expressions de visibilité, configurations, usages et états propres au document. |
| Compression | LZW EarlyChange 0/1, transitions de taille et réinitialisations ; prédicteurs TIFF/PNG aux profondeurs 1/2/4/8/16, composés avec Flate ou LZW. |
| Chiffrement par mot de passe | Algorithmes ISO R=2/3/4, RC4 et AESV2, avec filtres et mises à jour incrémentales ; R=5 Adobe reste disponible explicitement. |
| Chiffrement par certificat | Groupes de destinataires CMS, clés de filtres distinctes et formats s3/s4/s5 ; contrôle des clés, données et interprétations de permissions. |
| Signatures | Réservation de Contents, fixation de ByteRange avant signature et remplissage sans déplacement ; vérification indépendante des trois formats ISO et de signatures successives. |
| Politiques de signature | Objets DocMDP, FieldMDP, droits d'usage, seeds et critères de certificat ; contrôles intrinsèques. L'orchestration et la comparaison des révisions autorisées restent ouvertes. |
| Références hybrides | Table classique et flux xref auxiliaire, références historiques, objets comprimés et lecture par lecteurs anciens et récents. |
| Linéarisation | Ordonnancement natif, indices de pages et ressources partagées, vignettes et pièces jointes, objets comprimés, trois formats xref et variantes chiffrées. |
Constructions natives ajoutées dans la version 0.5.0
| Famille | Constructions et vérifications |
|---|---|
| Historique exact | FileRevision.previous, snapshots des références remappées, dictionnaires réellement écrits et octets de flux encodés issus du même appel, avant chiffrement. |
| Révisions après linéarisation | Snapshot initial exploitable et mises à jour préservant les octets, les plages d'indices et /Prev ; 90 historiques, soit 270 PDF indépendants. |
| Liste libre et générations | Suppression, réutilisation, trous initiaux, générations retirées, saturation 65535 et restrictions ObjStm ; 90 historiques, soit 450 PDF indépendants sous les trois PHP. |
| Navigation | Labels, huit modes de destination et cadrages, espaces nom/chaîne distincts, articles et anneaux de beads, transitions et séquences ; 77 tests et un oracle de trois pages, 55 labels, 10 cadrages et trois révisions. |
| Fichiers et collections | Octets incorporés, Size/MD5, métadonnées Mac, EF/RF/CI, arbres de pièces jointes, schémas et items typés, préfixes et directions de tri ; 90 historiques, soit 180 PDF indépendants. |
| Politiques de champs signés | Seeds écrits, choix du backend/digest/certificat, verrous copiés, apparences effectives et preuves requises. Vérification mathématique du résultat avant finalisation ; huit PDF et neuf signatures RSA/DSA dans l'oracle permanent. |
| Permissions historiques de signature | Première certification, unicité, cardinalité UR, P1 historique, sélection FieldMDP des descendants et absence d'élévation de permission Adobe pour une nouvelle signature de champ. |
| Graphe effectif | Ressources, boxes et rotation héritées des pages, ordre et limites des arbres de noms, générations inexistantes et relations natives contrôlées sur les snapshots. |
Ces ajouts ne constituent pas encore une déclaration de couverture complète. La comparaison générale des modifications authentifiées permises par DocMDP, FieldMDP et UR reste ouverte : pages, contenu, ressources partagées, annotations, valeurs héritées et instanciation de templates demandent une analyse propre. Les autres priorités sont les familles d'annotations et leurs relations, les mesures 2D/géospatiales, les graphes multimédia/RichMedia, certaines règles de fonctions et les procédures de préparation des apparences de codes-barres. Les conditions, seuils de versions et ressources doivent aussi continuer à être audités famille par famille. Les inventaires distinguent ces travaux des constructions et preuves déjà livrées.
Apparences modifiables corrigées dans la version 0.5.1
Les exemples AcroForm et de politique de signature délimitent leurs trois
apparences de texte variable par /Tx BMC ... EMC. Le cadre reste à l'extérieur ;
le texte, le clipping et les sélections de liste restent dans la partie
remplaçable. Sans ce marqueur, la procédure ISO autorise l'ajout du nouveau texte
à l'ancien flux, ce qui explique la superposition observée dans Acrobat Reader.
L'oracle de régression analyse les vrais opérateurs avec pypdf et exerce deux remplacements successifs pour chaque apparence. Il vérifie la disparition des anciens textes, la conservation des cadres et le cas négatif sans marqueur. Ces contrôles passent sous les trois versions de PHP ; ils ne constituent pas une validation interactive d'Acrobat. Les dessins statiques, boutons et signatures restent des apparences libres.
Frontière du core
Le core construit les objets PDF et leurs mécanismes d'écriture. Les programmes de police, profils ICC, données d'image encodées, certificats, messages CMS, XFA ou médias sont fournis explicitement. Leurs traitements peuvent être confiés à des composants dédiés ; ils ne sont jamais supposés réalisés parce que leur dictionnaire existe.
La lecture d'un PDF externe appartient à pdf-reader. La conversion de fichiers image et de polices appartient à pdf-images et pdf-fonts. Le rendu, l'exécution JavaScript, les moteurs XFA/3D/multimédia et la politique de confiance des certificats demandent leurs propres processeurs ou standards.
Couverture des définitions · Supplément Adobe · Sécurité · Tutoriels