Co to znamená
Toto není implementováno. Publikuje se, aby známá mezera byla viditelná a nepředpokládalo se, že je pokryta.
Kritérium může jmenovat čtyři druhy důkazů: test, claim, command nebo deployment. Zamýšlený tvar je, že zaznamenaný běh příkazu nebo ověřený stav nasazení splní kritérium tak, jako prošlý běh testu.
Jak to funguje dnes
Kritérium command a kritérium deployment, jehož nasazení existuje, se obě vyřeší, takže je intent validate přijme, a obě se čtou jako not_derivable: ledger důkazů zaznamenává jen běhy testů a tvrzení, takže je nic nemůže splnit. Záměr, jehož kritéria zahrnují jedno z nich, dnes nelze naplnit.
Jak to vidět
majordomus intent show <id> --format json # the criterion's state is not_derivableCo nepokrývá
Zaznamenat běh příkazu by řeklo, že běžel a co vrátil, ne že výsledek, který měl dosvědčit, je pravdivý.
Proč existuje
Ne každý výsledek má test: některé jsou nasazení, které odpovídá, jiné příkaz končící nulou. Říkat, že nejsou nikdy splněny, místo abychom je tiše pokládali za splněné, drží fázi záměru poctivou, dokud je ledger neumí zaznamenat.