AIJIM PROTOOLS

Aussagen & Verifikation

Wie Tester pruefen, dass sichtbare Aussagen an Quellen und Review-Status gebunden bleiben.

Nutzersprache

Nutzer pruefen Aussagen. Claims ist der Core-Begriff.

Die App spricht von Aussagen, weil Nutzer entscheiden, ob konkrete Saetze belegt sind. Core, RFCs, Verifier-Checks und Conformance-Vektoren duerfen weiter Claim sagen. Die UI-Projektion muss die Unterscheidung zwischen noch nicht bewertet und nicht belegt erhalten.

Erforderliche Zustaende

Noch nicht bewertet

Die Aussage existiert, aber Review hat noch nicht entschieden, ob die Quellen sie tragen.

Belegt

Die konfigurierte Quellenbindung traegt die Aussage; der erforderliche Review kann weiterlaufen.

Nicht belegt

Die Aussage wurde geprueft und die verfuegbaren Quellen tragen sie nicht. Sie bleibt sichtbar und bleibt aus der Story draussen.

Zustaende nicht zusammenwerfen

Noch nicht bewertet heisst: Es gibt noch keine Review-Entscheidung. Nicht belegt heisst: Die Aussage wurde geprueft und die Quellen tragen sie nicht. Beides zu einem Label zu machen zerstoert den Honest-Absence-Beweis.

Testszenario

1

Aussage anlegen

Eine einfache Fakt-Aussage und einen riskanten Overclaim anlegen. Beide muessen als getrennte Objekte sichtbar bleiben.

2

Quelle binden

Eine Quelle an die Fakt-Aussage haengen. Der Quellenlink muss von der Aussage aus sichtbar sein.

3

Support pruefen

Support-Analyse starten oder inspizieren. Die Fakt-Aussage darf nur Richtung Belegt gehen, wenn die Quelle sie traegt.

4

Overclaim blockieren

Den riskanten Overclaim unbelegt lassen. Er muss Nicht belegt mit verstaendlichem Grund zeigen.

5

Story-Ausgabe pruefen

Die belegte Aussage darf in der Story erscheinen. Die unbelegte Aussage darf nicht still in die gerenderte Story rutschen.

Erwartete Bestehensbedingung

Ein Tester sieht, warum eine Aussage belegt ist, warum eine andere nicht belegt ist und dass die unbelegte Aussage ausgeschlossen statt versteckt wird.