Формальний об’єкт
Вузли — це стабільні робочі стани для поточного вектора залишкових ресурсів, а не довільні мітки конфігурацій.
Дослідження / EXP-02
Графова реконфігурація після відмови
Інтерактивний прототип: пошкодження змінює граф допустимих станів, а відновлення стає задачею пошуку шляху, а не повернення до номінальної конфігурації.
EXP-02інтерактивний прототипстисла версія
Експеримент стисло
Експеримент стисло
Пошкодження
Синтетичний сценарій назавжди втрачає актуатор A2. Номінальний вузол стає недоступним у графі після відмови.
Допустимість
A(ρ) задає, чи дозволений прямий перехід. C(ρ) містить нормовану вартість переходу: час, енергію, ризик перехідного процесу і додаткову деградацію.
Пошук
Від сертифікованого стану V1 графовий пошук мінімізує вартість шляху, а кінцева корисність Φ входить у критерій J(v).
Обраний маршрут
Прототип обчислює qf → V1 → V2 → V4. V4 — найкращий безпечно досяжний кінцевий стан, а не початковий номінальний стан.
Результат
Для заданих синтетичних ваг V4 має Φ=0.84, вартість шляху 0.36 та J=0.72. Експеримент демонструє структуру рішення, а не фізичну валідацію.
МОДЕЛЬ / ТРАСА
Компактний формальний слід
\[
\rho_d \Rightarrow G(\rho_d) \Rightarrow A(\rho_d),C(\rho_d)
\Rightarrow \pi^*=(V_1,V_2,V_4) \Rightarrow V_4.
\]
АРТЕФАКТИ
Докази та відтворюваність
Основна сторінка навмисно компактна. Сирі дані, код і аудиторські артефакти залишаються доступними для прямої перевірки.