@operato/twin-kernel 0.7.88 → 0.7.89

package/dist/contract.d.ts

@@ -671,7 +671,27 @@ export type Effectivity = 'not-yet' | 'expired';
  * `at` 를 주지 않으면 **판단하지 않는다**(`undefined`). 모르는 시각으로 폐기를 단정하면, 시각을 안 넘긴
  * 소비처 전부가 자원을 잃는다. 파싱 불가한 시각도 같다 — 짐작해 고치지 않는다.
  */
-export declare function effectivityAt(p: EffectivePeriod | undefined, at?: ISOTime): Effectivity | undefined;
+/**
+ * 끝나는 시각을 **포함하는가** — 축마다 다르다. 규칙은 한 벌이고 규약만 밝힌다.
+ *
+ * ── 왜 이 칸이 생겼나 (2026-08-30) ────────────────────────────────────────
+ * 처음에는 이 판정이 한 곳뿐이었고 끝을 포함했다. 자원에는 그것이 맞다 — 폐기 일자가 있는 지게차는
+ * 띄엄띄엄 있고, 두 자원의 기간이 한 순간을 함께 갖는 일이 문제가 되지 않는다.
+ *
+ * 그런데 **선언은 빈틈없이 이어진다.** 8월 요금 주기가 끝나는 순간이 9월 주기가 시작하는 순간이다.
+ * 끝을 포함하면 그 한 순간에 두 단가가 동시에 유효해지고, 어느 것으로 계산했는지 말할 수 없다.
+ *
+ * 그때 같은 판정을 하는 함수를 하나 더 만들었다. 규칙이 두 벌이 되면 한쪽만 고쳐지는 날이 온다 —
+ * 이 저장소가 오늘 하루 그 부류를 여러 번 고쳤다. 그래서 함수는 하나로 두고 **규약을 인자로** 받는다.
+ */
+export interface EffectivityOptions {
+    /**
+     * `'inclusive'`(기본) — 끝나는 시각까지 유효하다. 자원의 유효 기간이 이쪽이다.
+     * `'exclusive'` — 끝나는 시각은 다음 구간의 것이다. 이어지는 주기(요금·단가)가 이쪽이다.
+     */
+    end?: 'inclusive' | 'exclusive';
+}
+export declare function effectivityAt(p: EffectivePeriod | undefined, at?: ISOTime, opts?: EffectivityOptions): Effectivity | undefined;
 /**
  * 자원 **등급 정의** — ISA-95 가 세 자원에 똑같이 정의한 한 모양.
  *

package/dist/contract.js

@@ -376,17 +376,7 @@ export function judgeAgainstSpec(spec, result) {
     }
     return allJudged ? 'pass' : undefined;
 }
-/**
- * 이 시각에 유효 기간 밖인가 — **한 규칙**으로 개체·등급·설비↔자산 매핑을 모두 판정한다.
- *
- * **표준은 날짜만 정하고 "밖이면 어떻게 되는가" 는 정하지 않는다.** 그 판단은 우리 것이므로 여기 밝힌다:
- * 기간 밖이면 **그 자원은 그 시각의 모델에 참여하지 않는다**(배정되지 않고, 가용 분모에 들지 않는다).
- * 지우지는 않는다 — 이유를 달아 남긴다. 조용히 사라지면 "왜 없어졌나" 를 아무도 답할 수 없다.
- *
- * `at` 를 주지 않으면 **판단하지 않는다**(`undefined`). 모르는 시각으로 폐기를 단정하면, 시각을 안 넘긴
- * 소비처 전부가 자원을 잃는다. 파싱 불가한 시각도 같다 — 짐작해 고치지 않는다.
- */
-export function effectivityAt(p, at) {
+export function effectivityAt(p, at, opts) {
     if (!p || !at)
         return undefined;
     const atMs = parsedMs(at);
@@ -396,7 +386,7 @@ export function effectivityAt(p, at) {
     if (Number.isFinite(from) && atMs < from)
         return 'not-yet';
     const to = p.effectiveEnd ? parsedMs(p.effectiveEnd) : NaN;
-    if (Number.isFinite(to) && atMs > to)
+    if (Number.isFinite(to) && (opts?.end === 'exclusive' ? atMs >= to : atMs > to))
         return 'expired';
     return undefined;
 }

package/dist/ems-kernel.js

@@ -28,6 +28,8 @@
 import { FlowEngine } from "./flow-engine.js";
 /* 기간 사실의 이름은 유입 문과 한 규칙이다(§`periodFactId`). */
 import { periodFactId } from "./energy-ingest.js";
+/* 「이 시각에 유효한가」는 커널에 규칙이 한 벌이다 — 선언 축도 그것을 쓴다. */
+import { effectivityAt } from "./contract.js";
 import { firstFitPolicy } from "./allocation-policy.js";
 import { CMD, ENERGY_EVENT, minuteOfDayAt, localDayIndexAt, localDayStartMs } from "./contract.js";
 import { EMS_PROPERTY, METER_DIRECTION, electricalUpstreamOf, generationFractionAt } from "./ems-profile.js";
@@ -1749,22 +1751,30 @@ function putDeclaration(list, d) {
     return next.length > 24 ? next.slice(next.length - 24) : next;
 }
 /**
- * **이 시각에 유효한 선언** — 시작했고 아직 끝나지 않은 것.
+ * **이 시각에 유효한 선언** — 판정은 커널의 한 규칙이 한다(§`effectivityAt`).
+ *
+ * 여기서 하는 일은 **고르는 것**뿐이다. 「유효한가」를 여기서 다시 판정하면 규칙이 두 벌이 되고,
+ * 한쪽만 고쳐지는 날이 온다. 실제로 이 함수는 처음에 자기 판정을 들고 있었다.
+ *
+ * 선언은 **빈틈없이 이어진다** — 8월 주기가 끝나는 순간이 9월 주기가 시작하는 순간이다. 그래서 끝을
+ * 포함하지 않는다(`end: 'exclusive'`). 포함하면 그 한 순간에 두 단가가 동시에 유효해진다.
  *
  * 유효한 것이 없으면 답하지 않는다. 가장 가까운 것을 골라 주지 않는다 — 아직 시작하지 않은 단가로
- * 오늘을 계산하거나, 이미 끝난 단가를 지금 것인 양 쓰게 된다. 둘 다 오류 없이 틀린 값을 만든다.
+ * 오늘을 계산하거나 이미 끝난 단가를 지금 것인 양 쓰게 된다. 둘 다 오류 없이 틀린 값을 만든다.
  *
  * 구간이 겹치면 **나중에 시작한 것**이 이긴다(더 좁게 정한 선언이 앞선다).
  */
 function inEffectAt(list, atMs) {
+    if (!list?.length)
+        return undefined;
+    const at = new Date(atMs).toISOString();
     let best;
     let bestFrom = -Infinity;
-    for (const d of list ?? []) {
-        const from = Date.parse(String(d.from));
-        const to = Date.parse(String(d.to));
-        if (!Number.isFinite(from) || !Number.isFinite(to))
+    for (const d of list) {
+        if (effectivityAt({ effectiveStart: d.from, effectiveEnd: d.to }, at, { end: 'exclusive' }) !== undefined)
             continue;
-        if (atMs < from || atMs >= to)
+        const from = Date.parse(String(d.from));
+        if (!Number.isFinite(from))
             continue;
         if (from > bestFrom) {
             best = d;

package/dist-cjs/index.cjs

@@ -366,14 +366,14 @@ function judgeAgainstSpec(spec, result) {
   }
   return allJudged ? "pass" : void 0;
 }
-function effectivityAt(p, at) {
+function effectivityAt(p, at, opts) {
   if (!p || !at) return void 0;
   const atMs = parsedMs(at);
   if (!Number.isFinite(atMs)) return void 0;
   const from = p.effectiveStart ? parsedMs(p.effectiveStart) : NaN;
   if (Number.isFinite(from) && atMs < from) return "not-yet";
   const to = p.effectiveEnd ? parsedMs(p.effectiveEnd) : NaN;
-  if (Number.isFinite(to) && atMs > to) return "expired";
+  if (Number.isFinite(to) && (opts?.end === "exclusive" ? atMs >= to : atMs > to)) return "expired";
   return void 0;
 }
 var PARSED_MAX = 64;
@@ -9650,13 +9650,14 @@ function putDeclaration(list, d) {
   return next.length > 24 ? next.slice(next.length - 24) : next;
 }
 function inEffectAt(list, atMs) {
+  if (!list?.length) return void 0;
+  const at = new Date(atMs).toISOString();
   let best;
   let bestFrom = -Infinity;
-  for (const d of list ?? []) {
+  for (const d of list) {
+    if (effectivityAt({ effectiveStart: d.from, effectiveEnd: d.to }, at, { end: "exclusive" }) !== void 0) continue;
     const from = Date.parse(String(d.from));
-    const to = Date.parse(String(d.to));
-    if (!Number.isFinite(from) || !Number.isFinite(to)) continue;
-    if (atMs < from || atMs >= to) continue;
+    if (!Number.isFinite(from)) continue;
     if (from > bestFrom) {
       best = d;
       bestFrom = from;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/twin-kernel",
-  "version": "0.7.88",
+  "version": "0.7.89",
   "type": "module",
   "description": "Twin Domain Kernel — framework-agnostic, zero-dep (domain + sim + 3-channel contract). WMS/YMS/MES, EPCIS 2.0 · ISA-95.",
   "publishConfig": {