Rozszerzenie formatu dokumentów o struktury weryfikowalne przez operacje logiczne (automatyzacja, komputery)

[Kamil]

Uszanowanie wszystkim ambitnym kolegom biorącym udział w projektach potencjalnych nowych ustaw podatkowych.

Jako entuzjasta i inżynier systemów informatycznych, cenię sobie bardzo w przepisach(kodzie) interpretowalnych przez komputery, możliwość zautomatyzowanej weryfikacji logiki, semantyki i potencjalnych rezultatów / konfliktów wynikających z implementacji i wykonywania tychże przepisów.

Coś, co jest bardzo trudne do wykonania nawet dla języka prawnego, pomimo jego ściślejszych zasad, a zupełnie niemożliwe dla luźnego języka naturalnego. Wszyscy wiemy o 'luźnej interpretacji prawa' i wielu się z tym pogodziło

Tym którzy z nadzieją patrzą w przyszłość, chciałbym zaproponować rozszerzenie dokumentów w tym repozytorium, o ścisły format logiczny, interpretowalny i weryfikowalny komputerowo, jakim jest Catala, lub inne, podobne narzędzie.
Kilka więcej słów o takiej kodyfikacji i implementacji w prawie francuskim: https://youtu.be/OiaFTFSAa1I?feature=shared

Zapraszam do dyskusji.