@aiquants/daily-report 0.20.0 → 0.21.0

package/src/server/visibility.spec.ts

@@ -1,403 +0,0 @@
-/**
- * Unit tests for the source-type visibility helpers.
- * sourceType 可視性ヘルパーの単体テスト。
- *
- * ここで固定するのは「無制限 (null) と全拒否 (空集合) を決して取り違えない」という不変条件であり、
- * 取り違えは情報漏洩 (全件配信) か機能停止 (0 件) に直結する。
- */
-
-import { bigint, MsSqlDialect, mssqlSchema, nvarchar, primaryKey } from "drizzle-orm/mssql-core"
-import { describe, expect, it } from "vitest"
-import { buildVisibleSourceTypeCondition, computeSourceTypeDigest, computeViewerScopeDigest, DailyReportViewerScope, deniesEverySourceType, isSourceTypeVisible, normalizeVisibleSourceTypes } from "./visibility"
-
-describe("normalizeVisibleSourceTypes", () => {
-    it("undefined と null は無制限 (null) になる", () => {
-        expect(normalizeVisibleSourceTypes(undefined)).toBeNull()
-        expect(normalizeVisibleSourceTypes(null)).toBeNull()
-    })
-
-    it("空配列は空集合 (0 件) であり、無制限へは倒れない", () => {
-        const result = normalizeVisibleSourceTypes([])
-        // ❗ ここが null になると「権限なし」が「全件可視」へ反転する
-        expect(result).not.toBeNull()
-        expect(result?.size).toBe(0)
-    })
-
-    it("大小文字を畳み込み、前後空白を除去し、重複と空文字を落とす", () => {
-        const result = normalizeVisibleSourceTypes(["NI", " ni ", "kintone", "", "   ", "Kintone"])
-        expect([...(result ?? [])].sort()).toEqual(["kintone", "ni"])
-    })
-
-    it("非文字列要素は可視性を広げずに捨てられる", () => {
-        const raw = ["NI", 42, null, undefined, {}] as unknown as readonly string[]
-        const result = normalizeVisibleSourceTypes(raw)
-        expect([...(result ?? [])]).toEqual(["ni"])
-    })
-
-    it("配列以外 (契約違反の文字列) は文字反復せず全拒否になる", () => {
-        // `for...of "NI"` が文字単位で回ると {"n","i"} という誤った可視集合になる
-        const result = normalizeVisibleSourceTypes("NI" as unknown as readonly string[])
-        expect(result?.size).toBe(0)
-    })
-})
-
-describe("isSourceTypeVisible", () => {
-    it("無制限 (null) は sourceType を問わず常に可視", () => {
-        expect(isSourceTypeVisible(null, "NI")).toBe(true)
-        expect(isSourceTypeVisible(null, null)).toBe(true)
-        expect(isSourceTypeVisible(null, undefined)).toBe(true)
-    })
-
-    it("限定時は大小文字を無視して一致判定する", () => {
-        const set = normalizeVisibleSourceTypes(["ni", "kintone"])
-        expect(isSourceTypeVisible(set, "NI")).toBe(true)
-        expect(isSourceTypeVisible(set, "Kintone")).toBe(true)
-        // 列値のトリムは行わない (SQL 述語と揃えるため。詳細は「JS 判定と SQL 述語の対称性」)
-        expect(isSourceTypeVisible(set, " ni ")).toBe(false)
-    })
-
-    it("限定時に集合外の区分は不可視", () => {
-        const set = normalizeVisibleSourceTypes(["kintone"])
-        expect(isSourceTypeVisible(set, "NI")).toBe(false)
-        expect(isSourceTypeVisible(set, "Internal")).toBe(false)
-    })
-
-    it("限定時に区分不明 (null / undefined) は不可視 (fail-close)", () => {
-        const set = normalizeVisibleSourceTypes(["ni"])
-        expect(isSourceTypeVisible(set, null)).toBe(false)
-        expect(isSourceTypeVisible(set, undefined)).toBe(false)
-    })
-
-    it("空集合はいかなる区分も不可視", () => {
-        const set = normalizeVisibleSourceTypes([])
-        expect(isSourceTypeVisible(set, "NI")).toBe(false)
-        expect(isSourceTypeVisible(set, "Internal")).toBe(false)
-    })
-})
-
-describe("computeSourceTypeDigest", () => {
-    it("無制限と全拒否は互いに異なる固定値になる", () => {
-        expect(computeSourceTypeDigest(null)).toBe("all")
-        expect(computeSourceTypeDigest(normalizeVisibleSourceTypes([]))).toBe("none")
-    })
-
-    it("正規化後に等価な集合は同一ダイジェストになる", () => {
-        const a = computeSourceTypeDigest(normalizeVisibleSourceTypes(["NI"]))
-        const b = computeSourceTypeDigest(normalizeVisibleSourceTypes([" ni "]))
-        expect(a).toBe(b)
-    })
-
-    it("要素順に依存しない", () => {
-        const a = computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni", "kintone"]))
-        const b = computeSourceTypeDigest(normalizeVisibleSourceTypes(["kintone", "ni"]))
-        expect(a).toBe(b)
-    })
-
-    it("論理的に異なる集合は必ず別のダイジェストになる (相互汚染の防止)", () => {
-        const digests = [
-            computeSourceTypeDigest(null),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes([])),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni"])),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes(["kintone"])),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes(["internal"])),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni", "kintone"])),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni", "internal"])),
-            computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni", "kintone", "internal"])),
-        ]
-        expect(new Set(digests).size).toBe(digests.length)
-    })
-
-    it("sentinel と同名のトークンだけを許された閲覧者が無制限 / 全拒否とキャッシュを共有しない", () => {
-        // "all" や "none" へ畳み込まれるトークンだけを持つ集合が sentinel と同じ digest になると、
-        // その閲覧者と無制限閲覧者が同じキャッシュバケットを共有してしまう
-        expect(computeSourceTypeDigest(normalizeVisibleSourceTypes(["all"]))).not.toBe("all")
-        expect(computeSourceTypeDigest(normalizeVisibleSourceTypes(["none"]))).not.toBe("none")
-        expect(computeSourceTypeDigest(normalizeVisibleSourceTypes(["All"]))).not.toBe(computeSourceTypeDigest(null))
-        expect(computeSourceTypeDigest(normalizeVisibleSourceTypes(["NONE"]))).not.toBe(computeSourceTypeDigest(normalizeVisibleSourceTypes([])))
-    })
-
-    it("区切り文字を含みうるトークンでも連結が単射になる (長さ接頭辞)", () => {
-        // 長さ接頭辞が無いと、区切り位置の異なる別集合が同じ連結結果になりうる
-        const a = computeSourceTypeDigest(normalizeVisibleSourceTypes(["ab", "c"]))
-        const b = computeSourceTypeDigest(normalizeVisibleSourceTypes(["a", "bc"]))
-        expect(a).not.toBe(b)
-    })
-
-    it("巨大な集合はハッシュへ退避しつつキー長が有界になる", () => {
-        const many = Array.from({ length: 200 }, (_, index) => `source-type-${index}`)
-        const digest = computeSourceTypeDigest(normalizeVisibleSourceTypes(many))
-        expect(digest.startsWith("sh:")).toBe(true)
-        expect(digest.length).toBeLessThanOrEqual(16)
-    })
-
-    it("退避したハッシュも生連結と衝突しない接頭辞を持つ", () => {
-        const many = Array.from({ length: 200 }, (_, index) => `source-type-${index}`)
-        const hashed = computeSourceTypeDigest(normalizeVisibleSourceTypes(many))
-        const raw = computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni"]))
-        expect(hashed).not.toBe(raw)
-        expect(raw.startsWith("sh:")).toBe(false)
-        // 限定集合は必ず s: 名前空間の下に入る (sentinel と衝突しない)
-        expect(raw.startsWith("s:")).toBe(true)
-    })
-})
-
-describe("JS 判定と SQL 述語の対称性", () => {
-    // 同じ 3 入力に対し、両者が同じ三値意味を返すことを固定する。
-    // どちらか一方だけ畳み込み規則を変えると、SSE (JS 判定) と読み取り (SQL 判定) で
-    // 同じ行の可視性が食い違い、SSE 側が fail-open へずれる
-    it("列値は両側ともトリムしない (空白混じりの値は双方で不可視 = fail-close)", () => {
-        const set = normalizeVisibleSourceTypes(["NI"])
-        // JS 判定: 前後空白付きの列値は一致しない
-        expect(isSourceTypeVisible(set, " NI")).toBe(false)
-        expect(isSourceTypeVisible(set, "NI ")).toBe(false)
-        // 空白なしは一致する (大小文字は無視)
-        expect(isSourceTypeVisible(set, "ni")).toBe(true)
-    })
-
-    it("リゾルバのトークン側だけは前後空白を吸収する", () => {
-        const set = normalizeVisibleSourceTypes([" NI "])
-        expect(isSourceTypeVisible(set, "NI")).toBe(true)
-        expect([...(set ?? [])]).toEqual(["ni"])
-    })
-})
-
-describe("DailyReportViewerScope", () => {
-    it("restrictTo は入力を正規化して保持する", () => {
-        const scope = DailyReportViewerScope.restrictTo(["NI", " ni ", "kintone"])
-        expect([...(scope.visible ?? [])].sort()).toEqual(["kintone", "ni"])
-    })
-
-    it("restrictTo に空配列を渡すと全拒否 (0 件) になる", () => {
-        const scope = DailyReportViewerScope.restrictTo([])
-        expect(scope.visible).not.toBeNull()
-        expect(scope.visible?.size).toBe(0)
-    })
-
-    it("unrestricted は無制限 (null) を保持する", () => {
-        const scope = DailyReportViewerScope.unrestricted("unit test: documents why unfiltered is correct")
-        expect(scope.visible).toBeNull()
-    })
-
-    it("computeViewerScopeDigest はスコープ単位で集合ダイジェストと一致する", () => {
-        const scope = DailyReportViewerScope.restrictTo(["ni"])
-        expect(computeViewerScopeDigest(scope)).toBe(computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni"])))
-        expect(computeViewerScopeDigest(DailyReportViewerScope.unrestricted("unit test"))).toBe("all")
-        expect(computeViewerScopeDigest(DailyReportViewerScope.restrictTo([]))).toBe("none")
-    })
-
-    it("構造的偽造もスプレッド widening も型が拒否する (名目型であることの実証)", () => {
-        const real = DailyReportViewerScope.restrictTo(["ni"])
-
-        // @ts-expect-error 素のオブジェクトはスコープとして通らない (構造的偽造の拒否)
-        const forged: DailyReportViewerScope = { visible: null }
-        // @ts-expect-error 既存スコープを展開して visible だけ差し替える偽装も通らない
-        const widened: DailyReportViewerScope = { ...real, visible: null }
-        // @ts-expect-error コンストラクタは private なので直接生成できない
-        const constructed = new DailyReportViewerScope(null)
-
-        // 生成経路は 2 つの静的ファクトリだけ (実行時にも到達しないことの明示)
-        void forged
-        void widened
-        void constructed
-        expect(real.visible?.has("ni")).toBe(true)
-    })
-
-    it("restrictTo は nullish を受け付けない (無制限の第 2 の入口を作らない)", () => {
-        // 受け付けると「restrict」という名前のまま無制限スコープを生めてしまい、
-        // 「絞り込まれない読み取りは必ず unrestricted() に現れる」という監査不変条件が崩れる
-        // @ts-expect-error null は限定トークン列ではない
-        const fromNull = DailyReportViewerScope.restrictTo(null)
-        // @ts-expect-error undefined も同様 (省略可能フィールドの取りこぼしを型で止める)
-        const fromUndefined = DailyReportViewerScope.restrictTo(undefined)
-        void fromNull
-        void fromUndefined
-        expect(DailyReportViewerScope.restrictTo([]).visible?.size).toBe(0)
-    })
-
-    it("Object.assign による実体の書き換えを実行時に拒否する", () => {
-        const scope = DailyReportViewerScope.restrictTo(["ni"])
-        // private スロット + getter なので、public プロパティへの代入は実行時に失敗する
-        expect(() => Object.assign(scope, { visible: null })).toThrow()
-        expect(scope.visible?.has("ni")).toBe(true)
-    })
-
-    it("公開された可視集合を in-place で広げられない (毎回コピーを返す)", () => {
-        const scope = DailyReportViewerScope.restrictTo(["ni"])
-        const leaked = scope.visible as unknown as Set<string>
-        leaked.add("kintone")
-        // 取得したコピーを汚しても、スコープ本体は変わらない
-        expect(scope.visible?.has("kintone")).toBe(false)
-        expect(scope.visible?.has("ni")).toBe(true)
-    })
-})
-
-describe("DailyReportViewerScope のコメント次元", () => {
-    it("素の配列指定ではコメント次元が本文次元に一致する (単一次元と同義・現行互換)", () => {
-        const scope = DailyReportViewerScope.restrictTo(["NI", "internal"])
-        expect([...(scope.commentable ?? [])].sort()).toEqual(["internal", "ni"])
-        expect([...(scope.commentable ?? [])].sort()).toEqual([...(scope.visible ?? [])].sort())
-    })
-
-    it("comment 省略時もコメント次元は read に従う", () => {
-        const scope = DailyReportViewerScope.restrictTo({ read: ["ni", "internal"] })
-        expect([...(scope.commentable ?? [])].sort()).toEqual(["internal", "ni"])
-    })
-
-    it("comment に空配列を渡すとコメントだけ 0 件になる (本文は残る)", () => {
-        // 要件 4: 「省略」と「空配列」を区別する。空配列は無制限へ倒れてはならない
-        const scope = DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: [] })
-        expect(scope.commentable?.size).toBe(0)
-        expect([...(scope.visible ?? [])].sort()).toEqual(["internal", "ni"])
-    })
-
-    it("コメント次元は read との積集合へ狭められる (read 外のトークンは意味を持たない)", () => {
-        const scope = DailyReportViewerScope.restrictTo({ read: ["internal"], comment: ["internal", "ni", "kintone"] })
-        expect([...(scope.commentable ?? [])]).toEqual(["internal"])
-        // 積集合を外すと ni / kintone が残ってしまう (この 2 行が積集合の番人)
-        expect(scope.commentable?.has("ni")).toBe(false)
-        expect(scope.commentable?.has("kintone")).toBe(false)
-    })
-
-    it("コメント次元にも同じ畳み込み規則が効く (前後空白・大小文字・重複)", () => {
-        const scope = DailyReportViewerScope.restrictTo({ read: ["NI"], comment: [" ni ", "NI", ""] })
-        expect([...(scope.commentable ?? [])]).toEqual(["ni"])
-    })
-
-    it("unrestricted は両次元とも無制限にする", () => {
-        const scope = DailyReportViewerScope.unrestricted("unit test: documents why unfiltered is correct")
-        expect(scope.visible).toBeNull()
-        expect(scope.commentable).toBeNull()
-    })
-
-    it("契約違反の入力は次元ごとに fail-close する", () => {
-        // 素の文字列 (配列ではない) は両次元とも全拒否へ倒す。`in` 判定が実行時に throw しないことも兼ねる
-        const fromString = DailyReportViewerScope.restrictTo("NI" as unknown as readonly string[])
-        expect(fromString.visible?.size).toBe(0)
-        expect(fromString.commentable?.size).toBe(0)
-
-        // comment 側だけが契約違反でも、本文次元は保たれたままコメントだけ全拒否になる
-        const badComment = DailyReportViewerScope.restrictTo({ read: ["ni"], comment: "ni" as unknown as readonly string[] })
-        expect([...(badComment.visible ?? [])]).toEqual(["ni"])
-        expect(badComment.commentable?.size).toBe(0)
-    })
-
-    it("コメント集合も in-place で広げられない (毎回コピーを返す)", () => {
-        const scope = DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: ["ni"] })
-        const leaked = scope.commentable as unknown as Set<string>
-        leaked.add("internal")
-        expect(scope.commentable?.has("internal")).toBe(false)
-        expect(scope.commentable?.has("ni")).toBe(true)
-    })
-
-    it("Object.assign による commentable の書き換えを実行時に拒否する", () => {
-        const scope = DailyReportViewerScope.restrictTo({ read: ["ni"], comment: [] })
-        expect(() => Object.assign(scope, { commentable: null })).toThrow()
-        expect(scope.commentable?.size).toBe(0)
-    })
-
-    it("comment に nullish を綴れず、実行時に届いても fail-close する", () => {
-        // 型では拒否する (「read に従う」の綴りは省略ただ 1 つ)
-        // @ts-expect-error null は「read に従う」の綴りではない
-        const withNull = DailyReportViewerScope.restrictTo({ read: ["ni"], comment: null })
-        // ❗ 実行時にすり抜けた場合も**全拒否**へ倒す。正規化は nullish を無制限へ写すため、
-        //    素通りさせると read より広いコメント集合が生まれる (fail-open)。落ちるのも不可
-        expect(withNull.commentable?.size).toBe(0)
-        expect([...(withNull.visible ?? [])]).toEqual(["ni"])
-        // 省略はこれまでどおり read に従う
-        expect(DailyReportViewerScope.restrictTo({ read: ["ni"] }).commentable?.has("ni")).toBe(true)
-    })
-})
-
-describe("computeViewerScopeDigest の 2 次元化", () => {
-    it("既定 (コメント次元が read に従う) では単一次元ダイジェストと完全同一 (キャッシュ無退行)", () => {
-        // ここが崩れると既存配備の全キャッシュキーが変わり、権限が変わっていないのに一斉ミスする
-        expect(computeViewerScopeDigest(DailyReportViewerScope.restrictTo(["ni"]))).toBe(computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni"])))
-        expect(computeViewerScopeDigest(DailyReportViewerScope.restrictTo({ read: ["ni"] }))).toBe(computeSourceTypeDigest(normalizeVisibleSourceTypes(["ni"])))
-        expect(computeViewerScopeDigest(DailyReportViewerScope.unrestricted("unit test"))).toBe("all")
-        expect(computeViewerScopeDigest(DailyReportViewerScope.restrictTo([]))).toBe("none")
-    })
-
-    it("コメント次元だけが違う閲覧者は別ダイジェストになる (キャッシュ隔離)", () => {
-        // これが等しいと、コメント権限だけを剥奪された同一ユーザーが剥奪前のバケットから
-        // コメント本文入りの詳細を TTL の間受け取り続ける (キーが変わらないので無効化も走らない)
-        const full = computeViewerScopeDigest(DailyReportViewerScope.restrictTo({ read: ["ni", "internal"] }))
-        const noComment = computeViewerScopeDigest(DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: [] }))
-        const partial = computeViewerScopeDigest(DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: ["internal"] }))
-        expect(new Set([full, noComment, partial]).size).toBe(3)
-    })
-
-    it("2 次元ダイジェストは単射で、単一次元表記や sentinel と衝突しない", () => {
-        const scopes = [
-            DailyReportViewerScope.unrestricted("unit test"),
-            DailyReportViewerScope.restrictTo([]),
-            DailyReportViewerScope.restrictTo(["ni"]),
-            DailyReportViewerScope.restrictTo(["internal"]),
-            DailyReportViewerScope.restrictTo(["ni", "internal"]),
-            DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: [] }),
-            DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: ["ni"] }),
-            DailyReportViewerScope.restrictTo({ read: ["ni", "internal"], comment: ["internal"] }),
-            DailyReportViewerScope.restrictTo({ read: ["ni"], comment: [] }),
-            DailyReportViewerScope.restrictTo({ read: ["internal"], comment: [] }),
-        ]
-        const digests = scopes.map(computeViewerScopeDigest)
-        expect(new Set(digests).size).toBe(scopes.length)
-    })
-
-    it("ダイジェストの構造文字や sentinel を含むトークンでも組ごとに一意になる", () => {
-        // ダイジェストは `s:` / `none` / `all` / 長さ接頭辞 / 制御文字区切りで組み立てられる。
-        // それらを**トークンの値そのもの**に混ぜ、境界を誤読させにいっても組が潰れないことを固定する。
-        // ❗ 長さ接頭辞 (`${read.length}:`) 自体は防御的な冗長性であり、現行の名前空間設計
-        //    (`d:` / `s:` / `sh:` / sentinel) の下では接頭辞を外しても衝突は構成できなかった
-        //    (総当たり 2048 組で 0 件)。外してよいという意味ではなく、この test が守っているのは
-        //    「2 次元の組が一意である」という上位の性質であって接頭辞の有無ではない、という表明
-        const adversarial = ["none", "all", "s:1", "1:a", ":", "a"]
-        const scopes: DailyReportViewerScope[] = []
-        for (let i = 0; i < adversarial.length; i++) {
-            for (let j = i + 1; j < adversarial.length; j++) {
-                const read = [adversarial[i], adversarial[j]]
-                scopes.push(DailyReportViewerScope.restrictTo({ read }))
-                scopes.push(DailyReportViewerScope.restrictTo({ read, comment: [] }))
-                scopes.push(DailyReportViewerScope.restrictTo({ read, comment: [adversarial[i]] }))
-                scopes.push(DailyReportViewerScope.restrictTo({ read, comment: [adversarial[j]] }))
-            }
-        }
-        const digests = scopes.map(computeViewerScopeDigest)
-        expect(new Set(digests).size).toBe(scopes.length)
-    })
-})
-
-describe("deniesEverySourceType の三値", () => {
-    it("無制限 (null) は全拒否ではない", () => {
-        expect(deniesEverySourceType(null)).toBe(false)
-    })
-
-    it("空集合だけが全拒否になる", () => {
-        expect(deniesEverySourceType(normalizeVisibleSourceTypes([]))).toBe(true)
-        expect(deniesEverySourceType(normalizeVisibleSourceTypes(["ni"]))).toBe(false)
-    })
-})
-
-describe("buildVisibleSourceTypeCondition の三値", () => {
-    // 実カラムが要るため最小のテスト用テーブルを組む (getColumns / sql テンプレートが実体を要求する)
-    const testTable = mssqlSchema("test").table("Hub", { id: bigint("id", { mode: "number" }).notNull(), sourceType: nvarchar("source_type", { length: 20 }).notNull() }, (t) => [primaryKey({ columns: [t.id] })])
-    const dialect = new MsSqlDialect()
-
-    it("無制限は条件を生成しない (既存述語をそのまま残す)", () => {
-        expect(buildVisibleSourceTypeCondition(testTable.sourceType, null)).toBeUndefined()
-    })
-
-    it("全拒否は 1 = 0 を生成する (呼び出し側の短絡が漏れても認可が反転しない)", () => {
-        const condition = buildVisibleSourceTypeCondition(testTable.sourceType, normalizeVisibleSourceTypes([]))
-        expect(condition).toBeDefined()
-        expect(dialect.sqlToQuery(condition as NonNullable<typeof condition>).sql).toContain("1 = 0")
-    })
-
-    it("限定は LOWER(列) IN (畳み込み済みトークン) を生成する", () => {
-        const condition = buildVisibleSourceTypeCondition(testTable.sourceType, normalizeVisibleSourceTypes(["NI", "kintone"]))
-        const rendered = dialect.sqlToQuery(condition as NonNullable<typeof condition>)
-        expect(rendered.sql).toContain("LOWER(")
-        expect(rendered.sql).toContain("[source_type]")
-        expect(rendered.sql).toContain(" in ")
-        expect(rendered.params).toEqual(expect.arrayContaining(["kintone", "ni"]))
-    })
-})