Midnight R&D PRIKAZ / SINTETIČKI PILOT

TOK DOKAZA / ŠEST KORAKA

Što se stvarno dogodi između zahtjeva i dokaza.

Jedan zahtjev, od privatnog izvornog zapisa do javne obveze. Ovo je tok, ne popis — i granica privatnosti je nacrtana tamo gdje stvarno stoji.

Motiv: mnogi ulazi sažimaju se kroz jedan otvor u jednu obvezu Lijevo ulaze brojni privatni ulazi, u sredini prolaze kroz otvor, desno izlazi jedna obveza.

Tok u šest koraka

Isprekidana linija je privatna strana, puna je javna. Odaberite korak u shemi ili na popisu.

Shema toka dokaza u šest koraka Privatna strana drži izvorni zapis. Granica privatnosti odvaja je od javnog zapisa na kojem su samo obveze i markeri. Zadnji korak je fail-closed. GRANICA PRIVATNOSTI PRIVATNA STRANA JAVNI ZAPIS

Nacrt: privatna strana → granica privatnosti → javni zapis

OBJAŠNJAVAJUĆA SHEMA PROTOKOLA

Putovanje zahtjeva kroz protokol

Podatak uđe, provjere ga, a van izađe samo dokaz — ne i podatak.

Nije živi podaci, nije pokrenut sustav, nije produkcijska telemetrija. Nema izmišljenih brojača ni vremenskih oznaka: svaki broj dolazi iz dokazne datoteke i nosi svoj izvor.

    Kraj: dokaz je izašao, a podatak nije.

    ŠTO OVO NE DOKAZUJE

        Granica privatnosti

        Omjer se vidi, ne samo čita. Svaki kvadrat je jedno inventarizirano polje; privatna vrijednost se nikad ne objavljuje, objavljuje se samo obveza izvedena iz nje.

        Kapije i zapis o pregledu

        Dvije odvojene činjenice: ko je recenzent zapisa i je li recenzija provedena. Prvo je odgovoreno, drugo još nije — nijedna kapija ne nosi potvrdu.

        Granice i otvoreni rizici

        Izvorne granice, bez ublažavanja.

        Granice izvedbe

          Granice mjerenja

            Otvoreni rezidualni rizici

            Izvorni artefakti

            Želite vidjeti kako se to dokazuje?

            Puni zapis — kapije, klasifikacije, otvoreni rizici i izvori — stoji na stranici Dokazi.