homeostasis_verdict tool v0.1

STEP: 1521 / 公開日: 2026-08-28 / Test: 27/27 PASS / Lean 4: 5 theorem zero sorry / Type: STEP 1501 生物学 arc candidate 実装 (biology 2nd tool、 Lyapunov 生物版)

❶ 細胞 homeostasis 判定: concentration + range [min, max] → 5 case verdict (in-range TRUE / depleted ZERO / deficient FALSE / excess INFINITY / invalid NEITHER)。

❷ Lyapunov 生物版 (STEP 1497 制御理論 sibling): 生体 の 内部濃度 が 生存 range 内に あるかの 判定 tool。

❸ 15 姉妹 verdict tool 目 (biology domain 2nd tool)。

決定表 (6 case)

#ConditionVerdictReason
1invalid range (min>max, negative)NEITHERinvalid_range
2non-finite valueNEITHERinvalid_value
3conc=0 かつ min>0ZEROcomplete_depletion
4conc < minFALSEdeficient_apoptosis
5min ≤ conc ≤ maxTRUEhomeostasis_maintained
6conc > maxINFINITYexcess_toxicity

使用例

// 血糖値 例: 70-140 mg/dL range
homeostasisVerdict({ concentration: 100, minVal: 70, maxVal: 140 });
// { verdict: 'TRUE', reason: 'homeostasis_maintained', relativePosition: 0.428 }

homeostasisVerdict({ concentration: 200, minVal: 70, maxVal: 140 });
// { verdict: 'INFINITY', reason: 'excess_toxicity', deviation: 60 }

homeostasisVerdict({ concentration: 50, minVal: 70, maxVal: 140 });
// { verdict: 'FALSE', reason: 'deficient_apoptosis', deviation: -20 }

homeostasisVerdict({ concentration: 0, minVal: 70, maxVal: 140 });
// { verdict: 'ZERO', reason: 'complete_depletion' }

Lean 4 (5 theorem zero sorry)

homeo_depleted_gives_zero        : conc=0, min>0 → ZERO
homeo_deficient_gives_false      : concmax (well-formed min≤max) → INFINITY
homeo_zero_min_zero_gives_true   : conc=0, min=0 → TRUE (edge)

Rei stack との 対応

Honest scope

❶ pure static range check、 real Hodgkin-Huxley / MAP kinase cascade 未 embed。

❷ 時系列 dynamics 未対応、 各 timepoint の 独立判定のみ (系列判定は evolution_verdict 併用)。

❸ 「世界初」 なし = Cannon 1932 homeostasis 既知 D-FUMT₈ mapping。

❹ 累計 defer 37 → 36。