City-Lifeline-Cockpit/.scratch/cockpit-shell-panel-layout/verify/t42-device-layer.mjs

/**
 * T42 关联监测设备临时图层 纯逻辑检查（票 42；规格 14 / 决策票 05）。
 *
 * 零依赖 node 断言脚本（约定见 t01-panel-catalog.mjs）。
 * 运行：node .scratch/cockpit-shell-panel-layout/verify/t42-device-layer.mjs
 *
 * 覆盖验收第 9 条点名的三件事：**集合分类**、**快照生命周期**、**计数互斥**；
 * 外加坐标准入只认后端、设备身份不冒充监测点、模式可见性、摘要口径不被污染等静态守卫。
 */
import assert from 'node:assert/strict'
import { readFileSync } from 'node:fs'
import {
    DEVICE_ATTENTION_STATUSES,
    DEVICE_LAYER_KIND,
    DEVICE_PLACEMENT,
    DEVICE_PLACEMENT_TEXT,
    LAYER_MODE,
    associatedLegend,
    classifyDevice,
    countPlacements,
    crossEndpointNotice,
    isVisibleInMode,
    planAssociatedDevices,
    uniqueCodes,
} from '../../../src/modules/cockpit/domain/deviceLayer.js'

const checks = []
function check(name, pass, detail = '') {
    checks.push({ name, pass, detail })
}

/** 设备卡片工厂：默认「有有效坐标」，便于逐条只改一个维度。 */
function card(overrides = {}) {
    return {
        code: 'EQ-1',
        name: '设备一',
        typeName: '压力计',
        status: 'NORMAL',
        statusLabel: '正常',
        statusReasons: [],
        longitude: 110.4,
        latitude: 28.44,
        coordinate: { state: 'VALID', reason: '', crs: 'WGS84', renderable: true, validated: true },
        ...overrides,
    }
}

// ================================================================ A 集合分类（每台恰好一类）
{
    const drawn = classifyDevice({ card: card(), inSnapshot: true, detailOwned: false, mode: LAYER_MODE.OVERVIEW })
    check('A1-valid-coord-is-drawn', drawn === DEVICE_PLACEMENT.DRAWN, `有效坐标 → ${drawn}`)

    // 后端判不可上图：**只认 `renderable`**，前端不重算经纬度。
    const blocked = classifyDevice({
        card: card({ coordinate: { state: 'UNVERIFIED', reason: 'UNVERIFIED_COORDINATE', renderable: false, validated: true } }),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.OVERVIEW,
    })
    check('A2-unverified-goes-no-location', blocked === DEVICE_PLACEMENT.NO_LOCATION,
        `UNVERIFIED/renderable=false → ${blocked}（现网正式边界：清单-only）`)

    // 坐标准入通过但经纬度缺失 → 数据不可用（**不是**无地图位置，两者原因不同）。
    const noCoord = classifyDevice({
        card: card({ longitude: null, latitude: null }),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.OVERVIEW,
    })
    check('A3-missing-numbers-go-unavailable', noCoord === DEVICE_PLACEMENT.UNAVAILABLE,
        `renderable=true 但经纬度缺失 → ${noCoord}（与"后端判无位置"分开）`)

    // 详情还没回来 → 待确认（不算上图、也不算无位置）。
    const pending = classifyDevice({ card: null, inSnapshot: true, detailOwned: false, mode: LAYER_MODE.OVERVIEW })
    check('A4-no-card-is-pending', pending === DEVICE_PLACEMENT.PENDING, `详情未到 → ${pending}`)

    // 详情独有（不在当前快照清单里）→ 不一致，禁止上图。
    const inconsistent = classifyDevice({ card: card(), inSnapshot: false, detailOwned: true, mode: LAYER_MODE.OVERVIEW })
    check('A5-detail-only-is-inconsistent', inconsistent === DEVICE_PLACEMENT.INCONSISTENT,
        `详情独有 → ${inconsistent}（禁止上图）`)

    // 基础设施隐藏；预警处置只留报警/预警。
    check('A6-infrastructure-hides', !isVisibleInMode(LAYER_MODE.INFRASTRUCTURE, 'ALARM'),
        '基础设施模式整体隐藏关联设备图层')
    check('A7-warning-response-only-attention',
        isVisibleInMode(LAYER_MODE.WARNING_RESPONSE, 'ALARM') &&
        isVisibleInMode(LAYER_MODE.WARNING_RESPONSE, 'WARNING') &&
        !isVisibleInMode(LAYER_MODE.WARNING_RESPONSE, 'NORMAL') &&
        !isVisibleInMode(LAYER_MODE.WARNING_RESPONSE, 'OFFLINE') &&
        !isVisibleInMode(LAYER_MODE.WARNING_RESPONSE, 'WORK_ORDER'),
        `预警处置只显示 ${DEVICE_ATTENTION_STATUSES.join('/')}（正常/离线/工单都不上图）`)
    // 状态未知**不猜成正常**、也不因为未知而在总览被隐藏。
    check('A8-unknown-status-still-shown-in-overview', isVisibleInMode(LAYER_MODE.OVERVIEW, ''),
        '总体概览/运行监测不凭状态隐藏（状态未知也显示，视觉归票 44）')
    const unknownHidden = classifyDevice({
        card: card({ status: '' }),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.WARNING_RESPONSE,
    })
    check('A9-unknown-hidden-in-warning-response', unknownHidden === DEVICE_PLACEMENT.HIDDEN,
        `预警处置里状态未知 → ${unknownHidden}（不猜成报警）`)

    // 六类归类各有中文说法（界面不另写措辞）。
    check('A10-placement-text-complete',
        Object.values(DEVICE_PLACEMENT).every((key) => !!DEVICE_PLACEMENT_TEXT[key]),
        `归类文案齐备：${Object.values(DEVICE_PLACEMENT_TEXT).join(' / ')}`)
}

// ================================================================ B 快照清单 × 详情（差异如实并列）
{
    // 规格点名的算例：快照 `[A,B]`、详情 `[B,C]`。
    const plan = planAssociatedDevices({
        snapshotCodes: ['A', 'B'],
        cards: [card({ code: 'B', name: '乙设备' }), card({ code: 'C', name: '丙设备' })],
        mode: LAYER_MODE.OVERVIEW,
        pointCode: 'MP-1',
    })

    check('B1-total-comes-from-snapshot', plan.total === 2,
        `总数＝当前快照去重 deviceCodes（${plan.total}），不含详情独有`)
    // **总数 ≠ 清单行数**：清单会多出「详情独有」的行，拿行数当总数会虚报关联设备数。
    // （本票真机走查抓到过这个 UI 口径错误：总数显示 2 而快照只有 1 台。）
    check('B1b-total-is-not-row-count', plan.rows.length === 3 && plan.total === 2,
        `清单 ${plan.rows.length} 行 ≠ 总数 ${plan.total}（详情独有那行不计入总数）`)
    check('B2-snapshot-only-is-pending',
        plan.rows.some((row) => row.code === 'A' && row.placement === DEVICE_PLACEMENT.PENDING),
        'A 以编码占位并标「设备详情待确认」')
    check('B3-detail-only-is-inconsistent',
        plan.rows.some((row) => row.code === 'C' && row.placement === DEVICE_PLACEMENT.INCONSISTENT),
        'C 保留卡片但标「与当前快照不一致」且禁止上图')
    check('B4-all-codes-kept', plan.rows.length === 3 && ['A', 'B', 'C'].every((code) => plan.rows.some((r) => r.code === code)),
        `两边都不静默丢弃：${plan.rows.map((r) => r.code).join(',')}`)
    check('B5-only-snapshot-drawn',
        plan.rows.filter((row) => row.placement === DEVICE_PLACEMENT.DRAWN).map((row) => row.code).join(',') === 'B',
        '只有同时属于快照清单且坐标准入有效的设备进入显示候选')

    const notice = crossEndpointNotice(plan.rows)
    check('B6-cross-endpoint-notice', notice.risky && notice.text.includes('不同版'),
        `跨端点风险如实提示：「${notice.text}」`)

    // 完全一致时不该无端报警。
    const clean = planAssociatedDevices({
        snapshotCodes: ['A'],
        cards: [card({ code: 'A' })],
        mode: LAYER_MODE.OVERVIEW,
        pointCode: 'MP-1',
    })
    check('B7-no-notice-when-consistent', crossEndpointNotice(clean.rows).risky === false,
        '快照与详情一致时不弹风险提示（避免恒真提示）')

    // 去重：后端源顺序去重未排序，前端不重排。
    check('B8-dedupe-keeps-order',
        JSON.stringify(uniqueCodes(['B', 'A', 'B', '', '  ', 'C', 'A'])) === JSON.stringify(['B', 'A', 'C']),
        `去重保序：${uniqueCodes(['B', 'A', 'B', '', '  ', 'C', 'A']).join(',')}`)

    // 清单尚未加载（快照里还没有这个点位）→ 全空且如实可辨。
    const notLoaded = planAssociatedDevices({ snapshotCodes: [], cards: [], mode: LAYER_MODE.OVERVIEW, pointCode: 'MP-X' })
    check('B9-empty-snapshot-yields-no-rows', notLoaded.total === 0 && notLoaded.rows.length === 0,
        '点位不在当前快照时总数为 0（调用方据此显示"待当前快照核对"，不猜总数）')
}

// ================================================================ C 计数互斥（各类之和可解释总数）
{
    // 计数互斥的算例**刻意只用"数据可用"的设备**：把优先级判定留给 C6/C7 专门测，
    // 两条断言各管一件事（否则退回模式优先后先红的是 C3，C6 的判据就形同虚设 —— 变异 M12 实测）。
    const plan = planAssociatedDevices({
        snapshotCodes: ['A', 'C', 'D', 'F'],
        cards: [
            card({ code: 'A', status: 'ALARM' }), // 报警 → 预警处置里可上图
            card({ code: 'C', status: 'NORMAL' }), // 数据没问题，只是本模式不显示
            // D 无卡片 → 待确认
            card({ code: 'F', status: 'WARNING' }), // 预警 → 也可上图
        ],
        mode: LAYER_MODE.WARNING_RESPONSE,
        pointCode: 'MP-1',
    })

    const counts = plan.counts
    const sum = Object.values(counts).reduce((total, value) => total + value, 0)
    check('C1-counts-are-mutually-exclusive', sum === plan.rows.length,
        `六类之和 ${sum} == 行数 ${plan.rows.length}（每台恰好一类）`)
    check('C2-drawn-count-matches-rows',
        counts[DEVICE_PLACEMENT.DRAWN] === 2 && counts[DEVICE_PLACEMENT.DRAWN] === plan.rows.filter((r) => r.placement === DEVICE_PLACEMENT.DRAWN).length,
        `已上图计数与行一致：${counts[DEVICE_PLACEMENT.DRAWN]}（报警 + 预警两台）`)
    check('C3-each-reason-has-a-row',
        counts[DEVICE_PLACEMENT.HIDDEN] === 1 && counts[DEVICE_PLACEMENT.PENDING] === 1,
        `差额各有实例可解释：${JSON.stringify(counts)}`)

    // **数据可用性先于模式可见性**（本票实现时抓到并修掉的真问题）。
    // 算例必须是「模式**会**隐藏它、且数据也有问题」的组合 —— 否则两种顺序结果相同、判据形同虚设：
    //   · `NORMAL` + `renderable:false`：先判模式 → HIDDEN（谎话：切模式也看不到它）；
    //     先判数据 → NO_LOCATION（实话：它任何模式都上不了图）。
    //   （早先用 `ALARM` 当算例是错的：ALARM 在预警处置里可见，两种顺序都落 NO_LOCATION，
    //     变异 M12 因此测不出来 —— 这正是变异测试的价值。）
    const blockedInWarningMode = classifyDevice({
        card: card({ status: 'NORMAL', coordinate: { state: 'UNVERIFIED', reason: 'UNVERIFIED_COORDINATE', renderable: false, validated: true } }),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.WARNING_RESPONSE,
    })
    check('C6-data-availability-beats-mode-visibility',
        blockedInWarningMode === DEVICE_PLACEMENT.NO_LOCATION,
        `预警处置里正常但坐标被否决 → ${blockedInWarningMode}（**不是**"模式隐藏"：切模式也看不到它）`)
    // 反过来：数据好的设备在预警处置里因为状态被隐藏，这才是真的"模式隐藏"。
    const normalInWarningMode = classifyDevice({
        card: card({ status: 'NORMAL' }),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.WARNING_RESPONSE,
    })
    check('C7-good-data-hidden-by-mode',
        normalInWarningMode === DEVICE_PLACEMENT.HIDDEN,
        `预警处置里正常设备 → ${normalInWarningMode}（数据没问题，只是本模式不显示）`)

    // 独立图例：只统计本图层，且**合计 == 行数**（与摘要图例互不计入）。
    //
    // 行数**不写死**：分类是跟着规格长的（票 44 追加了 `terrain-pending`），
    // 钉死 6 行会让"分类变多"这件事在闸门里表现为假红（本票实测）。
    // 真正要守的判据是"图例与计数同源且完整"，所以判"行数 == 分类数"。
    const legend = associatedLegend(counts)
    const legendSum = legend.reduce((total, row) => total + row.count, 0)
    const placementKinds = Object.keys(DEVICE_PLACEMENT).length
    check('C4-legend-independent-and-complete',
        legendSum === plan.rows.length && legend.length === placementKinds,
        `设备图例合计 ${legendSum} == 行数 ${plan.rows.length}；图例 ${legend.length} 行 == 分类 ${placementKinds} 类（独立于摘要图例）`)

    // 空输入不炸、全 0。
    const empty = countPlacements([])
    check('C5-empty-counts-zero', Object.values(empty).every((value) => value === 0), '空清单各类为 0')

    // 票 44：**坐标有效但地形未就绪** → 单列 `terrain-pending`（规格明写要与坐标无效分开）。
    const terrainPending = classifyDevice({
        card: card(),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.OVERVIEW,
        terrainReady: false,
    })
    check('C8-terrain-pending-is-its-own-class',
        terrainPending === DEVICE_PLACEMENT.TERRAIN_PENDING,
        `坐标有效 + 地形未就绪 → ${terrainPending}（不是 no-location、也不算已上图）`)
    // 对照组：地形就绪时同一台设备正常可上图（证明是地形那一条在起作用）。
    const terrainReady = classifyDevice({
        card: card(),
        inSnapshot: true,
        detailOwned: false,
        mode: LAYER_MODE.OVERVIEW,
        terrainReady: true,
    })
    check('C9-terrain-ready-same-device-draws',
        terrainReady === DEVICE_PLACEMENT.DRAWN,
        `同一台设备地形就绪 → ${terrainReady}（对照组，证明判据是地形而非数据）`)
}

// ================================================================ D 静态守卫（口径不被污染）
{
    const root = new URL('../../../src/modules/cockpit/', import.meta.url)
    const read = (rel) => readFileSync(new URL(rel, root), 'utf8')

    const engine = read('services/cesiumEngine.js')
    const mapService = read('services/mapService.js')
    const store = read('stores/deviceLayerStore.js')
    const selection = read('pointSelection.js')
    const shell = read('CockpitShell.vue')

    // ① 独立数据源：设备图层与摘要标记层必须是两个数据源（结构性保证不写回摘要）。
    check('D1-separate-data-source',
        /export const DEVICE_MARKER_SOURCE = 'cockpit-associated-device-markers'/.test(engine) &&
        /export const POINT_MARKER_SOURCE = 'cockpit-point-markers'/.test(engine) &&
        /DEVICE_MARKER_SOURCE/.test(mapService),
        '关联设备有自己的数据源，与摘要点位标记分开')

    // ② 设备身份同时带 deviceCode 与 monitoringPointCode，**绝不写 pointCode**（不冒充监测点）。
    const syncBody = (/export function syncAssociatedDevices[\s\S]*?\n\}/.exec(engine) || [''])[0]
    check('D2-device-identity-not-point-identity',
        /deviceCode: device\.code/.test(syncBody) && /monitoringPointCode: device\.pointCode/.test(syncBody) &&
        !/\bpointCode:/.test(syncBody.replace(/monitoringPointCode/g, '')),
        '设备实体带 deviceCode + monitoringPointCode，且不写 pointCode（不冒充监测点）')

    // ③ 设备图层不写摘要计数（`data-map-markers*` 只由摘要路径写）。
    // 按**函数体**切片：设备图层的读数走 `data-map-devices*`，与摘要的 `data-map-markers*` 分开。
    const devicePaintBody = (/function paintDeviceState\(\)[\s\S]*?\n\}/.exec(mapService) || [''])[0]
    check('D3-device-layer-does-not-touch-summary-counters',
        /dataset\.mapDevices\b/.test(devicePaintBody) && !/mapMarkers/.test(devicePaintBody),
        '设备图层只写 data-map-devices*，不碰摘要的 data-map-markers*')

    // ④ 坐标准入只认后端 renderable（不重算经纬度范围）。
    const domain = read('domain/deviceLayer.js')
    check('D4-admission-only-backend-renderable',
        /isRenderable\(card\)/.test(domain) && !/longitude\s*[<>]=?\s*-?1[78]0/.test(domain),
        '准入只认 isRenderable（后端结论），前端不另算经纬度范围')

    // ⑤ 绝不复制监测点坐标：设备行只从卡片取坐标。
    check('D5-never-copies-point-coordinates',
        /longitude: card \? card\.longitude : null/.test(domain) &&
        !/longitude:\s*object\.longitude|point\.longitude/.test(domain),
        '设备坐标只来自设备卡片，绝不借用点位坐标或人工偏移')

    // ⑥ 快照变化先撤旧图层（规格明写）。
    // 守卫必须**只截 `invalidateForSnapshot` 自己的函数体**：整个文件里 `clearAssociatedDevices()`
    // 还有别的调用点（`syncForSelection` 的空选择分支、`reset`），对全文匹配会被它们满足
    // —— 变异 M16 实测：拿掉这一处仍全绿。这是本仓第四次栽在"守卫比它要守的东西宽"上。
    const invalidateBody = (/function invalidateForSnapshot\(\)[\s\S]*?\n    \}/.exec(store) || [''])[0]
    check('D6-snapshot-change-clears-first',
        /clearAssociatedDevices\(\)/.test(invalidateBody) &&
        invalidateBody.indexOf('clearAssociatedDevices()') < invalidateBody.indexOf('syncForSelection') &&
        /syncDeviceLayerForSnapshot/.test(shell),
        '快照变化时**先**撤下旧图层再等新的（撤下在重算之前；外壳确实调了它）')

    // ⑦ 同快照翻页不重建：计划指纹去重。
    check('D7-same-plan-not-repainted',
        /lastPlanKey/.test(store) && /key === lastPlanKey/.test(store),
        '同一份计划（同点位同清单）不重画 ⇒ 翻页不闪烁')

    // ⑧ 统一入口：地图与台账都走 selectMonitoringPoint，且它启动设备图层。
    check('D8-single-entry-starts-device-layer',
        /deviceLayerStore\.syncForSelection/.test(selection),
        '统一选择入口启动设备图层（地图与台账因此行为一致）')

    // ⑨ 卸载时拆监听并复位（票 15/37 的"漏取消"坑）。
    check('D9-teardown',
        /for \(const stop of stopDeviceWatches\) stop\(\)/.test(shell) && /deviceLayerStore\.reset\(\)/.test(shell),
        '卸载时拆掉四个监听并复位设备图层')

    // ⑩ 设备类型键与摘要对象并列而不相同。
    check('D10-device-kind-distinct', DEVICE_LAYER_KIND === 'monitoring-device' && !/DEVICE_LAYER_KIND\s*=\s*'monitoring-point'/.test(domain),
        `设备类型键 ${DEVICE_LAYER_KIND} 与 monitoring-point 并列而不相同`)
}

const failed = checks.filter((item) => !item.pass)
console.log('')
for (const item of checks) {
    if (!item.pass) console.log(`  ✗ ${item.name}${item.detail ? ` — ${item.detail}` : ''}`)
}
console.log(`T42 关联设备图层检查：${checks.length - failed.length}/${checks.length} 项通过。`)
if (failed.length) process.exit(1)
console.log('T42 关联设备图层全部通过。')