Демонстраційна бета
Проєкт 02 · прототип
Право як код
Новий шаблон законодавчого акта: норма описується не суцільною прозою, а як об’єкт із типізованими зв’язками. Такий акт можна перевіряти машинно — як код у репозиторії.
Закон пишуть як спагеті-прозу
Норма — це текст природною мовою: не типізований, не перевірюваний машиною, читається по-різному. Дублі, колізії та «мертві» норми накопичуються, як технічний борг без лінтера й тестів. Автоматично відповісти на просте питання «які в мене права й обов’язки прямо зараз, у моєму віці й ролі» — неможливо.
Дублі
Те саме правило в кількох актах, у різних формулюваннях і з різними винятками.
Колізії
Норми суперечать одна одній, і розв’язує це не система, а юрист у конкретній справі.
Мертві норми
Формально чинні, фактично незастосовні — але знайти їх можна лише вручну.
Право вже об’єктне — лишилося це оформити
Право описує суб’єктів, їхні можливості, контракти та події. Ми розкладаємо норму на сутності й описуємо акт за шаблоном, у якому кожен елемент має тип.
Об’єкт
Благо, з приводу якого виникає правовідношення.
Суб’єкти
Правоуповноважений і правозобов’язаний — хто має право, хто несе обов’язок.
Зміст
Право як метод, обов’язок як інваріант, роль як інтерфейс.
Юридичні факти
Події, які відносини породжують і припиняють: вік, договір, реєстрація, рішення.
Перевірки, яких сьогодні немає
- 01Лінтер законопроєкту. Перевірка нової норми на суперечність із чинним масивом — до внесення, а не після скарг.
- 02Тести на правовідношення. «Дано ситуацію — які норми спрацюють»: очікуваний результат описується разом із нормою.
- 03Правовий зріз людини. Відповідь на питання «які права й обов’язки в мене зараз» будується з ролей і фактів, а не з пошуку по тексту.