Задание 1.3 из руководства R1. Распожаризация: как не «тушить пожары», а избегать их появления

iurii-kalin · 11.Март.2026 19:36:35

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

Запросил у LLM указать перечень ошибок в исходных рассуждениях. Она выдала реестр

Qwen:

Список ошибок в исходных определениях системы (FPF-отчёт)

Сводная таблица нарушений

№ Категория ошибки Паттерн FPF Цитата из вашего определения Почему это ошибка Как исправить

1 Отсутствие BoundedContext A.1.1 «надсистема в которой есть место» «Надсистема» не имеет declared boundary. По A.1.1:4.1 U.BoundedContext — это не просто «контекст», а governable model locale с явной лексикой и rules. Declare: AgroEcosystem:BoundedContext с explicit vocabulary (что считается частью, что — средой)

2 Конфлакт Boundary + Window A.1 + F.10 «место в пространстве времени» Пространство ≠ граница системы, время ≠ window валидности claim. Boundary (A.1) и Γ_time Window (F.10) — разные объекты. Разделить: Boundary = physical/logical envelope БПЛА; Window = Γ_time для Work (A.15.1:9)

3 «Функция» без Role Assignment A.2.1 + A.7 «выполнять функцию в надсистеме» «Функция» не определена: это Role mask? Method? Capability? По A.7:5.4 только U.System может act; «функция» не закладывается, а назначается через RoleAssignment. Holder#Role:Context@Window syntax, например: UAV_Unit_07#TransformerRole:AgroOps@2025-Season

4 Teleological language A.7:6.2 «заложенную в нее функцию» Specification-as-Execution fallacy. Функция — это не свойство системы, а Role в Context. Переформулировать: Capability declaration с WorkMeasures (A.2.2:7, п.5)

5 Capability ≠ Work A.2.2 vs A.15 «может выполнять измерение» Capability ≠ Work. «Может» ≠ «выполнила в Window». По A.2.2:1 это разные категории. Разделить: Capability (может при условиях) vs Work (сделал в окне)

6 Измерения без Characteristic/Scale/Unit A.17/A.18 «измерение влажности грунтов и состояние растений» По A.18:4 каждый метрик должен иметь явный Characteristic + Scale + Unit. Без этого «измерение» — global word (E.10.D1:AP-4). SoilMoistureContent (ratio, % volumetric); PlantHealthIndex (ordinal, {Healthy, Stressed, Critical})

7 WorkScope не declared A.2.2:7 (отсутствует явно) Условия, при которых способность реализуется (ветер, температура, калибровка), не указаны. Declare WorkScope с environmental/operational constraints

8 MethodDescription не linked A.3.1 (отсутствует явно) Не указано, как выполняются измерения (какой метод, какая версия SOP). Link к MethodDescription с edition pins (например, SoilMoisture_Microwave_v3)

9 Evidence hooks не declared F.12/F.15 (отсутствует явно) Нет указания, какие доказательства подтвердят успешное выполнение работы. Define AcceptanceHarness с predicate + evidenceRefs (E-* claims)

10 Using system не formalized A.2.1 + A.13 «использующая система — ферма» «Ферма» — это Plain word. Кто именно назначает роль? Какой Role у фермы? FarmOps_Manager#DispatcherRole:AgroOps_Yaroslavl_2025 как assigning_authority

11 Location без координат A.15.1 «в ярославской области» Для Work требуется locatable reference (WGS84 или local grid). Добавить: Field_Plot_42, WGS84: [coords]

12 Time window без ISO формата F.10 «1-06-2025 с 10:00 до 18:00» По F.10:8.2 implicit «latest» forbidden. Требуется ISO 8601 с timezone. Γ_time = [2025-06-01T10:00:00+03:00 .. 2025-06-01T18:00:00+03:00]

Категоризация по серьёзности

Уровень № ошибок Описание

Критические (блокируют assurance) 1, 3, 4, 5, 6 Без BoundedContext, Role Assignment, и grounding измерений невозможна верификация claim’ов.

Серьёзные (блокируют планирование) 2, 7, 8, 10, 12 Без WorkScope, MethodDescription, и явного времени невозможно планировать Work.

Минорные (блокируют аудит) 9, 11 Без evidence hooks и точных координат аудит затруднён, но Work может быть выполнен.

Корневые причины (root causes)

Причина Проявление в тексте FPF-паттерн для ремонта

Global words без Context «надсистема», «функция», «ферма» E.10.D1 (D.CTX) + F.5 (Naming Discipline)

Intension/Description/Carrier conflated «заложенную в нее функцию» A.7 (Strict Distinction)

Capability/Work conflation «может выполнять» без Window A.2.2 vs A.15.1

Measurement ungrounded «влажность», «состояние» без Scale/Unit A.17/A.18 (CHR)

Temporal honesty missing Время без ISO/timezone F.10 (Status Windows)

Итог

Аспект Было (ошибки) Стало (после ремонта)

Граница системы Implicit («надсистема») Explicit U.Boundary (A.1)

Функция Teleological («заложенная») RoleAssignment + Method (A.2.1, A.3.1)

Измерения Global words Characteristic/Scale/Unit (A.18)

Время Conflated с местом Γ_time Window (F.10)

Доказательства Not declared EvidenceStatus + acceptance harness (F.15)

Всего обнаружено: 12 нарушений FPF-дисциплины
Критических: 5
Время на ремонт: ~2 часа работы по плану remediation

Дополните ваш пост описанием ошибок, допущенных до критики LLM. Также укажите, допустила ли сама LLM подобные ошибки при попытке определить систему (такое бывало!)

В контексте упражнения не заметил ошибок со стороны LLM.

№	Категория ошибки	Паттерн FPF	Цитата из вашего определения	Почему это ошибка	Как исправить
1	Отсутствие BoundedContext	A.1.1	«надсистема в которой есть место»	«Надсистема» не имеет declared boundary. По A.1.1:4.1 `U.BoundedContext` — это не просто «контекст», а governable model locale с явной лексикой и rules.	Declare: `AgroEcosystem:BoundedContext` с explicit vocabulary (что считается частью, что — средой)
2	Конфлакт Boundary + Window	A.1 + F.10	«место в пространстве времени»	Пространство ≠ граница системы, время ≠ window валидности claim. Boundary (A.1) и Γ_time Window (F.10) — разные объекты.	Разделить: `Boundary` = physical/logical envelope БПЛА; `Window` = `Γ_time` для Work (A.15.1:9)
3	«Функция» без Role Assignment	A.2.1 + A.7	«выполнять функцию в надсистеме»	«Функция» не определена: это Role mask? Method? Capability? По A.7:5.4 только `U.System` может act; «функция» не закладывается, а назначается через RoleAssignment.	`Holder#Role:Context@Window` syntax, например: `UAV_Unit_07#TransformerRole:AgroOps@2025-Season`
4	Teleological language	A.7:6.2	«заложенную в нее функцию»	Specification-as-Execution fallacy. Функция — это не свойство системы, а Role в Context.	Переформулировать: `Capability` declaration с `WorkMeasures` (A.2.2:7, п.5)
5	Capability ≠ Work	A.2.2 vs A.15	«может выполнять измерение»	Capability ≠ Work. «Может» ≠ «выполнила в Window». По A.2.2:1 это разные категории.	Разделить: `Capability` (может при условиях) vs `Work` (сделал в окне)
6	Измерения без Characteristic/Scale/Unit	A.17/A.18	«измерение влажности грунтов и состояние растений»	По A.18:4 каждый метрик должен иметь явный Characteristic + Scale + Unit. Без этого «измерение» — global word (E.10.D1:AP-4).	`SoilMoistureContent` (ratio, % volumetric); `PlantHealthIndex` (ordinal, {Healthy, Stressed, Critical})
7	WorkScope не declared	A.2.2:7	(отсутствует явно)	Условия, при которых способность реализуется (ветер, температура, калибровка), не указаны.	Declare `WorkScope` с environmental/operational constraints
8	MethodDescription не linked	A.3.1	(отсутствует явно)	Не указано, как выполняются измерения (какой метод, какая версия SOP).	Link к `MethodDescription` с edition pins (например, `SoilMoisture_Microwave_v3`)
9	Evidence hooks не declared	F.12/F.15	(отсутствует явно)	Нет указания, какие доказательства подтвердят успешное выполнение работы.	Define `AcceptanceHarness` с predicate + evidenceRefs (E-* claims)
10	Using system не formalized	A.2.1 + A.13	«использующая система — ферма»	«Ферма» — это Plain word. Кто именно назначает роль? Какой Role у фермы?	`FarmOps_Manager#DispatcherRole:AgroOps_Yaroslavl_2025` как assigning_authority
11	Location без координат	A.15.1	«в ярославской области»	Для Work требуется locatable reference (WGS84 или local grid).	Добавить: `Field_Plot_42, WGS84: [coords]`
12	Time window без ISO формата	F.10	«1-06-2025 с 10:00 до 18:00»	По F.10:8.2 implicit «latest» forbidden. Требуется ISO 8601 с timezone.	`Γ_time = [2025-06-01T10:00:00+03:00 .. 2025-06-01T18:00:00+03:00]`

Уровень	№ ошибок	Описание
Критические (блокируют assurance)	1, 3, 4, 5, 6	Без BoundedContext, Role Assignment, и grounding измерений невозможна верификация claim’ов.
Серьёзные (блокируют планирование)	2, 7, 8, 10, 12	Без WorkScope, MethodDescription, и явного времени невозможно планировать Work.
Минорные (блокируют аудит)	9, 11	Без evidence hooks и точных координат аудит затруднён, но Work может быть выполнен.

Причина	Проявление в тексте	FPF-паттерн для ремонта
Global words без Context	«надсистема», «функция», «ферма»	E.10.D1 (D.CTX) + F.5 (Naming Discipline)
Intension/Description/Carrier conflated	«заложенную в нее функцию»	A.7 (Strict Distinction)
Capability/Work conflation	«может выполнять» без Window	A.2.2 vs A.15.1
Measurement ungrounded	«влажность», «состояние» без Scale/Unit	A.17/A.18 (CHR)
Temporal honesty missing	Время без ISO/timezone	F.10 (Status Windows)

Аспект	Было (ошибки)	Стало (после ремонта)
Граница системы	Implicit («надсистема»)	Explicit `U.Boundary` (A.1)
Функция	Teleological («заложенная»)	`RoleAssignment` + `Method` (A.2.1, A.3.1)
Измерения	Global words	`Characteristic/Scale/Unit` (A.18)
Время	Conflated с местом	`Γ_time Window` (F.10)
Доказательства	Not declared	`EvidenceStatus` + acceptance harness (F.15)