I1008 — Obě projekce jsou prokázány jako týž model

✕BLOKOVÁNO vlna 4 · p0 · profil implementation · bezpečné paralelně

Součást capability-graph — Jeden graf schopností, dvě projekce a žádný druhý inventář toho, co tento repozitář umí.

Cíl

Otestovat, že statická a runtime reprezentace grafu jsou po odebrání polí existujících jen za běhu shodné, aby se z publikovaného webu a běžícího serveru nemohly stát alternativní reality.

Proč

Dvě vykreslení jednoho modelu se tiše rozcházejí a rozdíl objeví člověk, který důvěřoval tomu špatnému. Test parity je jediná věc, která je udržuje poctivá.

Aktuální stav

Dnes existuje jen jedna projekce, takže není co porovnávat.

Cílový stav

Jeden test sestaví obojí, odstraní pole jen pro runtime a ověří rovnost, a selže, když kterákoli projekce získá pole, o kterém ta druhá neví.

Rozsah

• test/cases

Mimo rozsah

• Tvrzení shody vykresleného markupu místo modelu

Závislosti

• I1006✓HOTOVO Runtime čte graf přes registr, stejně jako každé jiné čtení
• I1007○PŘIPRAVENO Web vykresluje stejný graf, vygenerovaný jednou

Kritéria přijetí

• Porovnání se provádí nad normalizovaným modelem, ne nad HTML
• Pole pouze za běhu se odstraňují explicitním seznamem, který vlastní test, takže přidání jednoho na kteroukoli stranu bez deklarace selže
• Test běží v CI při každé změně

Validace

• bash test/run.sh

Požadované důkazy

• parity_tested

Důkazy

Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.

Riziko

Test parity, který odstraňuje příliš mnoho, projde triviálně. Odstraňovaný seznam je malý, explicitní a zkontrolovaný.

Časová osa

zahájeno

—

ověřeno

—

dokončeno

—

Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.

Kanonický záznam: .ai/repo/project/issues/I1008.yaml. Načtěte ho zpět pomocí majordomus plan show I1008.