Jokainen testisarja, jokainen tulos ja jokainen, joka tarkisti sen itse.

Nämä testit ovat Vaaran omia, eikä niiden takana ole hyväksymismenettelyä. Ylläpitäjä lisää tapaukset ja päättää, mitä tulos tarkoittaa, eikä kenelläkään muulla ole ääntä. Se on todellinen raja kaikille puolueettomuusväitteille, ja se sanotaan tässä suoraan.

Testikokoelma antaa kapeamman ja tarkistettavan asian: jokainen tapaus lasketaan uudelleen talletetuista tavuista ilman Vaaran koodia, joten kuka tahansa voi kiistää odotetun tuloksen ja näyttää laskunsa. Uudelleenlaskennan voi tarkistaa kuka tahansa. Tekijyyttä ei.

Jokaisen merkin SVG-tiedostossa on sen oman rivin tiiviste, ja rivi, johon se sitoutuu, on tarjolla sen vieressä JCS-kanonisina tavuina (RFC 8785). Tiedostossa on vain ne tavut, joten merkin tarkistaminen on yksi komento eikä vaadi jäsennintä, kanonisoijaa eikä Vaaraa.

curl -s https://vaara.io/badge/<slug>.json | sha256sum
curl -s https://vaara.io/badge/<slug>.svg | grep digest

python scripts/vcr_chain.py            # nothing removed from the table

Jos ne täsmäävät, merkki kuvaa juuri sitä riviä. Sama ominaisuus, jonka varassa koko testikokoelma toimii, sovellettuna itse merkkiin: väite, joka lasketaan uudelleen tavuista, ja jonka voi tarkistaa luottamatta osapuoleen tai Vaaraan.

Ehdot ovat sitovia englanniksi, ja ne näkyvät samoina molemmilla kielillä. Ne on kirjoitettu ennen kuin mitään on myytävänä, jotta listalle harkitseva voi lukea kaupallisen kannan päätöksen hetkellä eikä vasta jälkikäteen.

• A row is permanent. This records something that happened. A run took place on a date at a commit, and that stays true, so the entry stays. Asking will not remove it. Rows are chained, so removing or reordering one changes every digest after it, and each published head is recorded in a public transparency log the maintainer does not operate, so a rewritten chain reaches a head that matches no witnessed entry. Both halves are checkable by you rather than promised by us.
• What the chain gives, and what it does not. Rewriting or reordering a published row changes every digest after it, and anyone recomputing the chain sees the break. Removing rows from the end is a different thing: what remains is a perfectly valid shorter chain, and a reader holding only this file cannot tell. So removal is detectable relative to a retained head. vcr_chain.py says on every run whether the tail is pinned instead of leaving it to be assumed, and reports tailPinned in its JSON so nothing downstream reads verified as verified to be complete. Each published head is also recorded in a public transparency log the maintainer does not operate, which pins the tail for a reader who retained nothing of their own. The residual is narrow and real: a row added after the last witnessing carries only the chain until the next head is published.
• Every row names what kind of run it was. What a run establishes is a property of who wrote the verifier and who wrote the vectors, not of how well it went, and the four are not degrees of one another. A reproduction is the author's checkers over the author's vectors: it establishes that the artefact runs and is byte-stable somewhere other than the author's machine, and nothing about the specification text. A construction reproduction derives a published value from the prose that describes it, without running the author's verifier and without writing a second implementation: it establishes whether the description was sufficient to get there, which is a question about the text answerable with no code on either side. An independent implementation from the text, run against the author's vectors, establishes something about the text, because a second reader had to decide what the sentences meant and then build to that decision. An independent implementation run against independently constructed vectors establishes something about both. A row that does not name its kind reads as the first, because that is the weakest claim available. Rows listed before this field existed carry no kind and are never edited to add one, so this rule covers them instead.
• Nothing is edited after the fact. A correction is a new row referring to the earlier one, never a rewrite of it.
• What an outside suggestion can change. Wording here changes when it is shown to be false, and anyone may show that, including a party that competes with Vaara. A case, an expected verdict or a checker changes only on evidence that the current one is wrong, never on request and never to make a party pass. Every such change is a commit anyone can diff.
• A row and its badge are free, and stay free. There is no paid tier of being listed and no version of a row that counts for more.
• Vaara may sell services built on these same vectors, including a countersigned result. Being listed here is never a condition of buying anything, and buying something is never a condition of being listed.
• No listed party's name, affiliation or badge is used to sell anything. Rows are a record, not a customer list and not a reference.
• Each row records the version of these terms it agreed to. Terms may change for rows added later. A row already listed keeps the terms it was listed under, and a change is never applied backwards.