Опубликованный пакет / CLIR
elec.diagnostics
v0.1.0National Institute for Occupational Safety and Health — Electrical Safety in the Workplace
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.19
- возможности
- defeasible, judgment, value:quantity
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/elec-diagnostics.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 3
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| diagnostic_hypothesis | text, enum | гипотеза диагностики | breaker_nuisance_trippingbreaker_trips_immediatelybreaker_trips_under_loadflickeringmotor_overheatingoutlet_discolorationoutlet_sparkingpanel_hummingphase_current_imbalance_exceeds_thresholdrcd_trips_without_load | DC/5.7DC/diagnostics |
| next_safe_action | text, enum | следующее безопасное действие | breaker_nuisance_trippingbreaker_trips_immediatelybreaker_trips_under_loadburning_smelldiagnostic_case_isolationflickeringinspector_observes_warm_outletmotor_overheatingoutlet_discolorationoutlet_sparkingoutlet_warmpanel_hummingphase_current_imbalance_exceeds_thresholdrcd_trips_without_loadabsence_of_energy_verifiedisolation_receiptlockout_appliednotification_givenshutdown_performedstored_energy_released | DC/5.7DC/diagnosticsniosh/electrical-safety/recommendations |
| outlet_warm | text | розетка греется: наблюдение по каналу суждения | inspector_observes_warm_outlet | DC/diagnostics |
Входы · 20
| Имя | Параметры | Смысл |
|---|---|---|
| breaker_nuisance_tripping | text | автомат срабатывает повторно без выявленной перегрузки (ложное срабатывание) |
| breaker_trips_immediately | text | автомат срабатывает сразу |
| breaker_trips_under_load | text | автомат срабатывает под нагрузкой |
| burning_smell | text | запах гари: наблюдение по каналу суждения |
| diagnostic_case_isolation | text, text | диагностическое дело ссылается на дело изоляции LOTO того же оборудования |
| flickering | text | мерцание: наблюдение по каналу суждения |
| inspector_observes_warm_outlet | text | квалифицированный осмотр установил нагрев розетки |
| motor_overheating | text | измеренная температура обмотки двигателя превышает паспортный предел (сравнение предъявлено) |
| outlet_discoloration | text | потемнение или оплавление корпуса розетки: наблюдение |
| outlet_sparking | text | видимое искрение розетки: наблюдение, стоп-фактор безопасности |
| outlet_warm | text | розетка греется: наблюдение по каналу суждения |
| panel_humming | text | гудение электрощита: наблюдение |
| phase_current_imbalance_exceeds_threshold | text | измеренная несимметрия токов фаз превышает предъявленный порог |
| rcd_trips_without_load | text | УЗО срабатывает без нагрузки |
| absence_of_energy_verified | text | отсутствие энергии проверено перед началом работы (§1910.147(d)(6)) |
| isolation_receipt | text, text | квитанция подтверждает изоляцию и сброс энергии |
| lockout_applied | text | устройства блокировки/бирки применены к каждому источнику энергии (§1910.147(d)(4)) |
| notification_given | text | затронутые работники уведомлены об отключении (§1910.147(d)(1)) |
| shutdown_performed | text | нормальное отключение оборудования выполнено (§1910.147(d)(2)) |
| stored_energy_released | text | накопленная энергия снята или сдержана (§1910.147(d)(5)) |