Deklaracje, które można audytować.

Moduł słowackiego VAT tworzy deklarację i zestawienie kontrolne, pokazuje dowody księgowe stojące za każdą kwotą i sygnalizuje to, co się nie uzgadnia. Celowo zatrzymuje się przed złożeniem: gotowy plik przesyła na portal podatkowy człowiek. Tę samą granicę system wyznacza wokół swojej AI.

Deklaracja jest przedstawiana jako zestaw czterech widoków: deklaracja, siatka pól, dowody i zestawienie kontrolne.

• Silnik pól odtwarza siedemnaście zestawów filtrów z oryginalnego systemu i nie zależy od bazy danych, zegara ani ustawień regionalnych.
• Rejestruje dowody w trakcie obliczeń. Ponieważ dowody są rejestrowane w trakcie obliczeń, panel transakcji stojących za polem nie może być sprzeczny z liczbą wydrukowaną nad nim.
• Kody stawek zmieniają się w zależności od roku, sumy pochodne zachowują kolejność ustawową, a każde pole jest zaokrąglane do dwóch miejsc po przecinku, zanim zostanie z niego cokolwiek wyprowadzone.

Zestawienie kontrolne jest budowane z wierszy samej deklaracji, bez drugiego zapytania, więc oba dokumenty nie mogą się rozejść. Sekcje są przypisywane na podstawie atrybutu analitycznego każdego wiersza księgi, a puste sekcje pozostają widoczne z wartością zero.

Oba pliki są pisane w XML ręcznie, ponieważ dokładne konwencje oczekiwane przez portal nie są nigdzie opublikowane w postaci schematu.

• Niewykorzystane pole jest pustym elementem, nigdy zerem.
• Element główny zestawienia kontrolnego jest wyprowadzany z okresu.
• Każda sekcja ma własny zestaw atrybutów.

Jako specyfikację wykorzystano sześć rzeczywistych przyjętych złożeń oraz własny moduł zapisu oryginalnego systemu, a wyniki bieżącej wersji posłużyły jako punkt kontrolny. Odrzucona deklaracja dała początek dwóm stałym regułom, które znajdują się teraz w jednym miejscu: które kwoty zmieniają znak przy których typach transakcji oraz że zaokrąglenie następuje przed wyprowadzeniem.

Wokół obu deklaracji znajdują się wykazy pomocnicze, formularz drukowany dla każdego dokumentu oraz edytor kodów VAT. Wykazy są grupowane według sekcji zestawienia kontrolnego na poziomie pozycji, więc faktura obejmująca dwie sekcje pojawia się w obu.

Edytor jest jedynym miejscem zapisu w całym module. Zmienia kod analityczny lub kod sekcji jednego wiersza księgi wewnątrz transakcji, która jest wycofywana, o ile nie zmieni się dokładnie jeden wiersz, i od razu odmawia działania, gdy deklaracja za dany okres została już złożona.