Альтернативная конституция

Проиндексированные конституции разных стран — это здорово. Но это совсем не помогает начать какую-либо работу. Для начала необходим структурный разбор существующего текста. Какая терминология там используется? Какое назначение у каждой главы, какие отношения она регулирует? Я не юрист, а просто it-шник и вижу здесь минимум месяц только подготовительной работы для каждого участника. Иначе утонем в отсебятине.

Я вот сейчас рискую сказать глупость, но идея интересная. А ещё более глупое интересное, что с айтишным подходом можно написать юнит-тесты для конституции и для законов вообще. Если в достаточной мере их формализовать, можно в виде тестов оформить тезисы, которые должны будут выполняться, и при нарушениях которых можно быстро понять, что с законами что-то не так.

На правах рандомного примера. Тезис (== статья конституции): "Каждое убийство должно быть наказано". Если какая-либо комбинация законов позволяет этот тезис нарушить, значит конституция не работает.

Б-же, а представляете, что может стать доступным? Удобная навигация по законам, статический анализ, подсветка в VS Code, автодополнение, простите, я замечтался.

Мы может и умеем сообща над кодом работать, но юридический документ это совсем не код, увы.

Не очень понятно к какому действию побуждает статья...

Но последнее время тоже задумываюсь над общими моментами в работе программистов и законотворцев. И тут и там идет управление сущностями, в одном случае даными и их иерархиями в IT-системах, в другом — людьми и их иерархиями в реальной жизни. В одном случае программист придумывает правила, чем универсальнее тем лучше, и по ним данные создаются, перемещаются, обновляются. В другом случае законотворцы тоже придумываются правила, по которым между людьми и прочими юрлицами создаются, перемещаются и обновляются некие атрибуты, как виртуальные (права, обязанности, гражданство, претензии и пр.), так и материальные (дом, гараж, пенсия и т.п.).
Проблема в том, что у законотворцев нет своего языка программирования, и они вынуждены всю бизнес-логику описывать на обычном человечьем, что приводит к тому что их код невозможно читать если ты не юрист.
Поэтому думаю назрела необходимость создать ЯП ориентированный на описание законодательства. Тексты законов можно было бы тогда продублировать на этом языке, и тогда количество ориентирующихся в законах граждан выросло бы во много раз, так многие проходили в школе информатику.

Пример текста закона

ФЕДЕРАЛЬНЫЙ ЗАКОН О ГРАЖДАНСТВЕ РОССИЙСКОЙ ФЕДЕРАЦИИ
Статья 6. Двойное гражданство
Часть 4.
Абзац 2.
Законный представитель гражданина Российской Федерации, указанный в абзаце первом настоящей части или в части 2 статьи 6 Федерального закона «О внесении изменений в статьи 6 и 30 Федерального закона „О гражданстве Российской Федерации“ и отдельные законодательные акты Российской Федерации», в связи с нахождением за пределами Российской Федерации не подавший уведомление, указанное в абзаце первом настоящей части, в сроки, установленные соответственно абзацем первым настоящей части и частью 2 статьи 6 Федерального закона «О внесении изменений в статьи 6 и 30 Федерального закона „О гражданстве Российской Федерации“ и отдельные законодательные акты Российской Федерации», обязан подать такое уведомление не позднее тридцати дней со дня въезда в Российскую Федерацию.

и эквивалентного кода

функция Обязанность повлечьОбязанность(Человек человек, Человек законныйПредставитель) {
    if(человек.имеетАтрибут(ГРАЖДАНСТВО, СТРАНА.РФ) 
       && человек.количество(ГРАЖДАНСТВО) > 1
       && ( человек.возраст() < 18 || !человек.дееспособный() )
       && человек.датаВъезда() <> null
       ) {
        if(законныйПредставитель <> null) {
            return new Обязанность(
                обязанКто: законныйПредставитель,
                обязанЧто: уведомитьОДвойномГражданстве(...),
                обязанКогда: человек.датаВъезда()+30,
            );
        }
        else
            return new Обязанность(
                обязанКто: СТРАНА.РФ.Полиция.findInstance(человек.адрес),
                обязанЧто: обработатьОтсутствиеЗаконногоПредставителя(...),
                обязанКогда: сегодня(),
            );
    }
}

Вариант в коде короче и лучше, так как легче прописать последовательность действий в случае нештатных ситуаций.
Опаснсть возникновения лапши в таком коде конечно тоже существует, но хуже чем что есть сейчас в текстах законов вряд ли будет.
Ну и бонусом, если будет доступен код законов в компьютерном виде, то можно было бы и автоматизировать их исполнение.

Попытался добавить формализма в текст конституции. Получил примерно такое:

:= при чтении заменяется на "это есть"
& при чтении заменяется на "и"
| при чтении заменяется на "или"

------- Статья 1 ---------

1. Россия := (демократическое & федеративное & правовое) государство;
   Форма правления России := Республиканская;

2. Российская Федерация := Россия;

------- Статья 2 ---------

Высшая ценность := человек & его права & его свободы;

Обязанность государства := (признание & соблюдение & защита) высшей ценности;

------- Статья 3 ---------

1. Народ := многонациональный народ России;
   Народ := носитель суверенитета & единственный источник власти;

2. Способ осуществления власти := непосредственно народом | через органы гос. власти и органы местного самоуправления;

3. Непосредственно народом := через референдум | через свободные выборы;

4. Захват власти := то, что преследуется по федеральному закону;  // по какому именно?

------- Статья 4 ---------

1. Распространение суверенитета := вся территория России;

2. Высший закон := конституция & федеральные законы;  // одинаковый приоритет?

3. Обязанность государства := обеспечить (целостность & неприкосновенность) территории России;

------- Статья 5 ---------

1. Равноправные субъекты := республики & края & области & города фед. подчинения & автономные области & автономные округа;
   Россия := равноправные субъекты;

...

Вроде гораздо лучше, чем оригинальный текст, но ещё не язык программирования.

Мне кажется, что ответ понятен — нет, не могут. Для иллюстрации можно посмотреть на флеймы вокруг CoC и разных переименований, вроде master в git.

Но вообще, идея интересная. И, что характерно, ее можно практически применить. Например, создать какой-нибудь сложный open governance проект. Придумать, как собирать "налоги", эти налоги направлять на оплату площадок и юристов. Взамен налогов обеспечить этот самый governance — поддержку софта согласно пожеланиям пользователей. Была пара идей, было бы интересно попробовать реализовать (наверное, в юрисдикции США). Если найду, у кого можно проконсультироваться по этому поводу, обязательно попробую несколько своих идей на эту тему...

Являются ли программисты теми, кто пишет сценарий будущего или просто теми, кто пишет патчи за деньги?

И являются, как субъекты действительного прогресса производительных сил, и не являются, как очень часто плывущие по волнам невежества рабочие, не осознающие своих классовых интересов, а чаще даже своей политпозиции.

Но совсем уж наивно думать, что можно написать свою конституцию, и её продуманный и изысканный текст заставит кого бы то ни было такой памфлет исполнять)

1. Ждём изобретения и ввода полноценного ничем не ограниченного (никаких трёх законов робототехники) ИИ и нарекаем его Сesare.
2. Принимаем Конституцию IT-иков из одной фразы: "Признаём абсолютную монархию с ИИ в роли Императора".

Ave Сesare !

Форум Свободной России пишет проект конституции
https://aillarionov.livejournal.com/1192376.html#t109047992