Indeks deklaracji możliwości i dowodów

To tłumaczenie ma charakter informacyjny; identyfikatory i wartości przeznaczone do odczytu maszynowego nie są tłumaczone.

Ten indeks dzieli możliwości na trzy wymiary, których nie można wzajemnie z siebie wywodzić. Źródłem do odczytu maszynowego jest claims.json. CI sprawdza identyfikatory deklaracji, ścieżki dowodów i opisy ograniczeń.

Deklaracja	Format	Wymiar	Poziom	Podsumowanie ograniczenia
ODS-PACKAGE-001	ODS	PackageFidelity	round-trip-verified	Odczyt i zapis pakietu w obie strony nie oznacza ponownego obliczania formuł ani pełnej semantyki arkusza kalkulacyjnego.
ODS-SEMANTIC-001	ODS	SemanticApiDepth	semantic-contract-verified	Odczytuje zapisane wartości i formuły, ale nie oblicza ich ponownie.
ODT-SEMANTIC-001	ODT	SemanticApiDepth	semantic-contract-verified	Nie udostępnia mechanizmu układu ani renderowania.
ODP-SEMANTIC-001	ODP	SemanticApiDepth	semantic-contract-verified	ODP jest ładowany jako DOM i pakiet; nie deklarujemy strumieniowego interfejsu API slajdów.
ODG-SEMANTIC-001	ODG	SemanticApiDepth	semantic-contract-verified	Nie implementuje układu SmartArt ani renderowania na poziomie pikseli.
ODF-INTEROP-001	ODF	InteropEvidence	interop-tested	Testy z określoną wersją LibreOffice nie gwarantują zgodności pikseli we wszystkich pakietach biurowych.

PackageFidelity odpowiada jedynie na pytanie, czy pakiet można bezpiecznie przetworzyć. SemanticApiDepth określa, jaką część semantyki dokumentu interfejs API potrafi zrozumieć i zmienić. InteropEvidence wskazuje faktycznie przetestowane oprogramowanie zewnętrzne i jego wersje. Najwyższy poziom w jednym wymiarze nie zastępuje pozostałych dwóch wymiarów.

Jedynym źródłem prawdy dla grup semantycznych, operacji CRUD, części standardów, implementacji, testów, dowodów interoperacyjności i ograniczeń czterech głównych formatów jest semantic-coverage.json. eng/Test-SemanticCoverage.ps1 blokuje w CI niepełne deklaracje. Granice źródeł zastosowanego procesu clean-room opisano w provenance/semantic-api-clean-room.md.

Schemat pokrycia semantycznego v3 wymaga ponadto, aby każdy temat miał dowody dla Create, Get, Find, Set, Update, Remove, Clear, RoundTrip i Interop, powiązane ze specyfikacjami, implementacją, testami, ograniczeniami i pochodzeniem clean-room. Każda rodzina musi także mieć maszynowo zweryfikowane dowody dotyczące istniejących dokumentów, zachowania nieznanej zawartości, ODF 1.1–1.3, diagnostyki obniżenia wersji i nieprawidłowych danych wejściowych. Zobacz przewodnik migracji oraz dokumentację fasad semantycznych czterech formatów.