From ab0cdf47f453bf3e12df0201cd7bd1835fb03cae Mon Sep 17 00:00:00 2001
From: "Somhairle H. Marisol" <muqiu-han@outlook.com>
Date: Sat, 19 Sep 2026 18:47:24 +0800
Subject: fix: M3c 关系半衰期单位错误
 86400L(=24模拟分钟)→ticksPerDay(1模拟日=5,184,000tick) + 衰减改真半衰
 exp(-ln2*age/halfLife)(age=halfLife 处权重恰0.5, 旧式 exp(-age/halfLife) 为
 e^-1≈0.368) + 单测锁定(1天=5184000tick/halfLife=1天/半衰权重0.5,
 手算期望随真半衰语义更新) + headless 批验新增旧判据 old_crit 观测报告(60%
 覆盖判据保留为门)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/LivingVillage.Kernel.Tests/RelationTests.fs | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

(limited to 'src/LivingVillage.Kernel.Tests')

diff --git a/src/LivingVillage.Kernel.Tests/RelationTests.fs b/src/LivingVillage.Kernel.Tests/RelationTests.fs
index f1d9673..0f9de83 100644
--- a/src/LivingVillage.Kernel.Tests/RelationTests.fs
+++ b/src/LivingVillage.Kernel.Tests/RelationTests.fs
@@ -70,13 +70,31 @@ type RelationTests () =
         if old >= fresh then Assert.Fail("older valence must weigh less than newer valence")
         if older >= old then Assert.Fail("weight must strictly decrease with age")
 
+    [<TestMethod>]
+    member _.OneDayEqualsTicksPerDayConstant () =
+        // 守卫：1 模拟日 = 24h * 3600s * 60tick/s = 5,184,000 tick
+        if Sim.ticksPerDay <> 5_184_000L then Assert.Fail($"ticksPerDay={Sim.ticksPerDay}, expected 5184000")
+
+    [<TestMethod>]
+    member _.RelationHalfLifeEqualsOneDay () =
+        // HALF_LIFE 必须 = 1 模拟日（修复单位错误：原 86400L 实为 24 模拟分钟）
+        if Sim.relationHalfLifeTicks <> Sim.ticksPerDay then
+            Assert.Fail($"relationHalfLifeTicks={Sim.relationHalfLifeTicks}, ticksPerDay={Sim.ticksPerDay}")
+
+    [<TestMethod>]
+    member _.RelationDecayWeightAtHalfLifeIsHalf () =
+        // 真半衰语义：age = halfLife 处权重恰为 0.5（旧式 exp(-age/halfLife) 给出 e^-1≈0.368）
+        let now = 2L * Sim.relationHalfLifeTicks
+        let w = Sim.relationDecayWeight now (now - Sim.relationHalfLifeTicks)
+        if abs (w - 0.5f) > 1e-4f then Assert.Fail($"weight at one half-life = {w}, expected 0.5")
+
     [<TestMethod>]
     member _.RelationMatrixMatchesHandComputedDecay () =
-        // 单次闲聊记忆（tick=0, valence=0.3），now = 1 个半衰期 → 双向累加 2 * 0.3 * e^-1
+        // 单次闲聊记忆（tick=0, valence=0.3），now = 1 个半衰期 → 真半衰权重恰 0.5 → 双向累加 2 * 0.3 * 0.5
         let w = RelationHarness.handWorld Sim.relationHalfLifeTicks
                     [ RelationHarness.chatted 0L 1 ] [ RelationHarness.chatted 0L 0 ]
         let m = Sim.relationMatrix w
-        let expected = 2.0f * Sim.chatValence * float32 (System.Math.Exp(-1.0))
+        let expected = 2.0f * Sim.chatValence * 0.5f
         if abs (m.[0, 1] - expected) > 1e-6f then Assert.Fail($"m[0,1]={m.[0, 1]} expected={expected}")
         if abs (m.[1, 0] - expected) > 1e-6f then Assert.Fail($"m[1,0]={m.[1, 0]} expected={expected}")
         if m.[0, 0] <> 0.0f then Assert.Fail("diagonal must be zero")
-- 
cgit v1.2.3