/** * 票 59 离线闸门：统一分页批次一 —— 共享分页基建（pagination.js + PagerNav.vue）与设备详情三清单。 * * 五组断言（都不启浏览器、不联网，遵循 t46 成例）： * P. 单源：PAGE_SIZE=10；equipmentDetailView 的 pagedRows/HISTORY_PAGE_SIZE 是**兼容再导出** * （同一函数引用），组件里不再有两份翻页算术。 * W. 页码窗口纯函数：≤7 全列；>7 收缩「1 … c−1 c c+1 … Y」恒含首末与省略号；非法输入不抛错。 * J. 跳页夹回纯函数：非数字/0/超 pageCount 一律夹回 1..pageCount，不报错（规范「跳页」节）。 * S. PagerNav 静态守卫：一页不渲染、到边禁用保占位、aria-current="page"、 * 跳页 aria-label/placeholder、**唯一 @page 出口**（不新增第二套页码状态）、断言面 data-* 齐全。 * C. 消费方守卫：EquipmentDetailSections 三清单（预警/报警/工单）都走 pagedOf 窗口行 + * 共享 PagerNav；组件零第二份翻页算术；既有 data-pager/data-page-prev/next/state 面迁移保留。 * K. SFC 真实编译：两份 .vue 用 @vue/compiler-sfc 编译过（t41 教训：拼错的绑定与坏语法只有加载层判得出）。 * * 守卫有牙（变异见 verify/t59-mutations.mjs）： * 窗口全列阈值收缩/省略号丢失/夹回失效/单页画控件/第二套出口/aria 丢失/组件重写算术/兼容导出改名 → 对应断言转红。 * * 运行：node .scratch/cockpit-real-data-wayfinding/verify/t59-shared-pager.mjs */ import assert from 'node:assert/strict' import { readFileSync } from 'node:fs' import { parse, compileScript, compileTemplate } from '@vue/compiler-sfc' import { PAGE_ELLIPSIS, PAGE_SIZE, clampPage, pageWindow, pagedRows as pagedRowsCore } from '../../../src/modules/cockpit/domain/pagination.js' import { HISTORY_PAGE_SIZE, pagedRows as pagedRowsCompat } from '../../../src/modules/cockpit/domain/equipmentDetailView.js' const read = (rel) => readFileSync(new URL(`../../../src/modules/cockpit/${rel}`, import.meta.url), 'utf8') const stripComments = (text) => text.replace(//g, '').replace(/\/\*[\s\S]*?\*\//g, '').replace(/(^|[^:])\/\/.*$/gm, '$1') let passed = 0 let failed = 0 function check(name, condition, message) { if (condition) { passed += 1 console.log(`PASS ${name}`) } else { failed += 1 console.error(`FAIL ${name}: ${message}`) } } // ================================================================ P. 单源与兼容导出 { // P1 页大小单源 = 10（条文 1）；旧名 HISTORY_PAGE_SIZE 与 PAGE_SIZE 同值。 check('P1-page-size-ten', PAGE_SIZE === 10 && HISTORY_PAGE_SIZE === PAGE_SIZE && PAGE_ELLIPSIS === '…', `PAGE_SIZE=${PAGE_SIZE} HISTORY=${HISTORY_PAGE_SIZE}`) // P2 兼容是**同一函数引用**，不是复制粘贴的第二份实现（条文 11 的判据形状）。 check('P2-compat-export-is-same-function', pagedRowsCompat === pagedRowsCore, 'equipmentDetailView.pagedRows 必须是 pagination.pagedRows 的再导出（同一引用）') // P3 旧模块里不许再留有本地实现体（复制粘贴升格=将来必漂移）。 const viewCode = read('domain/equipmentDetailView.js') check('P3-no-second-implementation', !/function pagedRows\(/.test(viewCode) && /from '\.\/pagination\.js'/.test(viewCode), 'equipmentDetailView 只再导出，不再自己实现 pagedRows') // P4 脏输入不抛错（非数组、NaN 页码、非法页大小全部兜底）。 const dirty = pagedRowsCore(null, NaN) check('P4-dirty-input-safe', dirty.page === 1 && dirty.pageCount === 1 && dirty.rows.length === 0, JSON.stringify(dirty)) // P5 越界页码夹回最后一页（条文 6：数据变少导致的越界由分页函数夹回，不画空表）。 const many = pagedRowsCore(Array.from({ length: 23 }, (_, index) => ({ code: `W${index}` })), 99) check('P5-out-of-range-clamps-to-last', many.page === 3 && many.rows.length === 3 && many.pageCount === 3, JSON.stringify({ page: many.page, n: many.rows.length })) } // ================================================================ W. 页码窗口（条文 2） { // W1 少于 7 页全列，不带省略号。 check('W1-five-pages-full', pageWindow(3, 5).join(',') === '1,2,3,4,5', pageWindow(3, 5).join(',')) // W2 恰好 7 页仍全列（阈值边界）。 check('W2-seven-pages-still-full', pageWindow(4, 7).join(',') === '1,2,3,4,5,6,7', pageWindow(4, 7).join(',')) // W3 8 页起步即收缩：恒含首末 + 当前±1 + 省略号。 check('W3-eight-pages-shrinks', pageWindow(5, 8).join(',') === '1,…,4,5,6,…,8', pageWindow(5, 8).join(',')) // W4 中段窗口：10 页看第 5 页 →「1 … 4 5 6 … 10」。 check('W4-middle-window', pageWindow(5, 10).join(',') === '1,…,4,5,6,…,10', pageWindow(5, 10).join(',')) // W5 贴左：当前页邻到首页时左侧不出现假省略号（1,2,3 … 10）。 check('W5-left-edge-no-fake-ellipsis', pageWindow(2, 10).join(',') === '1,2,3,…,10', pageWindow(2, 10).join(',')) // W6 贴右：对称（1 … 8,9,10）。 check('W6-right-edge', pageWindow(9, 10).join(',') === '1,…,8,9,10', pageWindow(9, 10).join(',')) // W7 恒含首末页（条文 2「恒含首末」），任意当前页成立。 const alwaysFirstLast = [1, 3, 5, 8, 15].every((c) => { const items = pageWindow(c, 20) return items[0] === 1 && items[items.length - 1] === 20 && items.includes(Math.min(c, 20)) }) check('W7-first-last-current-always', alwaysFirstLast, '每个窗口都要含首页、末页与当前页') // W8 数字升序且无重复（省略号除外）——渲染层据此直接出按钮。 const nums = pageWindow(6, 12).filter((item) => item !== PAGE_ELLIPSIS) check('W8-ascending-unique', nums.every((n, i) => i === 0 || n > nums[i - 1]), nums.join(',')) // W9 非法输入不抛错：脏页码/脏总数/超界页码都回合法窗口。 let threw = false try { const zero = pageWindow(0, 0) const junk = pageWindow('x', undefined) const over = pageWindow(999, 10) threw = !(zero.length === 1 && junk.length === 1 && over[over.length - 1] === 10 && over.includes(10)) } catch { threw = true } check('W9-illegal-input-no-throw', !threw, '脏输入必须按最小安全形状回，不许抛') } // ================================================================ J. 跳页夹回（规范「跳页」节） { // J1 合法页照收。 check('J1-valid-page', clampPage(5, 10) === 5 && clampPage('7', 10) === 7, `${clampPage(5, 10)}/${clampPage('7', 10)}`) // J2 0/负数夹到 1，超 pageCount 夹到 pageCount（不报错、不越界）。 check('J2-clamp-to-range', clampPage(0, 10) === 1 && clampPage(-4, 10) === 1 && clampPage(99, 10) === 10 && clampPage('100', 3) === 3, `${clampPage(0, 10)}/${clampPage(99, 10)}`) // J3 非数字回 1，**绝不回 NaN**（NaN 会污染页码状态并把控件画成「第 NaN 页」）。 check('J3-non-numeric-clamps-to-one', clampPage('abc', 10) === 1 && clampPage('', 10) === 1 && clampPage(null, 10) === 1 && clampPage(undefined, 10) === 1, `abc→${clampPage('abc', 10)}`) // J4 小数截断、空白容错（输入框里粘进来的值）。 check('J4-truncate-and-trim', clampPage(2.7, 10) === 2 && clampPage(' 4 ', 10) === 4, `${clampPage(2.7, 10)}/${clampPage(' 4 ', 10)}`) // J5 pageCount 本身脏时兜底为 1（宁可不跳，不跳进非法页）。 check('J5-dirty-pagecount-safe', clampPage(5, 0) === 1 && clampPage(5, NaN) === 1, `pageCount=0→${clampPage(5, 0)}`) } // ================================================================ S. PagerNav 静态守卫 { const pager = stripComments(read('components/PagerNav.vue')) // S1 总页数 ≤1 整块不渲染（条文 4 + 跳页节第 4 条），门控在 visible 计算属性。 check( 'S1-one-page-renders-nothing', /const visible = computed\(\(\) => props\.pageCount > 1\)/.test(pager) && /
]*data-pager/.test(pager), 'pageCount>1 是唯一渲染门；整块（含跳页）由 v-if 收口', ) // S2 唯一翻页出口：defineEmits 只声明 page；别处不许再 emit 第二个事件（不新增第二套页码状态）。 check( 'S2-single-page-outlet', /defineEmits\(\['page'\]\)/.test(pager) && !/emit\((?!'page')/.test(pager) && pager.match(/emit\('page'/g).length === 1, '只允许一个 emit("page") 出口（前后页/页码/跳页共用）', ) // S3 到边禁用保占位（票 46 既有语义：disabled 而不是消失）。 check( 'S3-edge-disabled-with-placeholder', /:disabled="page <= 1" data-page-prev/.test(pager) && /:disabled="page >= pageCount" data-page-next/.test(pager), '上一页按 page<=1、下一页按 page>=pageCount 置灰，按钮恒在', ) // S4 无障碍：role=group + 「X分页」aria-label（条文 9）；当前页 aria-current="page"（不可点由表达式守卫）。 check( 'S4-aria-group-current', /role="group" :aria-label="`\$\{listName\}分页`"/.test(pager) && /:aria-current="item === page \? 'page' : undefined"/.test(pager) && /@click="item !== page && go\(item\)"/.test(pager), 'pager 有 group 语义与列表名；当前页 aria-current 且点了不跳', ) // S5 跳页控件：数字输入框 + 跳转按钮 + Enter；aria-label 与 placeholder=当前页（条文逐字）。 check( 'S5-jump-controls', /data-page-jump\b/.test(pager) && /data-page-jump-input/.test(pager) && /aria-label="跳转到指定页"/.test(pager) && /:placeholder="String\(page\)"/.test(pager) && /@keydown\.enter\.prevent="jump"/.test(pager) && /data-page-jump-btn/.test(pager), '输入框/跳转按钮/Enter 三入口 + aria-label + placeholder=当前页', ) // S6 跳页走夹回函数与同一出口；同值不 emit（不发请求、不清列表）。 check( 'S6-jump-goes-through-clamp-and-same-outlet', /const target = clampPage\(jumpValue\.value, props\.pageCount\)/.test(pager) && /if \(target === props\.page\) return/.test(pager) && /go\(target\)/.test(pager), '跳页先 clampPage 再 go()，与当前页同值什么都不做', ) // S7 计数行「第 X/Y 页 · 共 N 条」，total 是 prop（条文 7：不由当前页反推）。 check( 'S7-count-row-wording', /data-page-state>第 \{\{ page \}\}\/\{\{ pageCount \}\} 页 · 共 \{\{ total \}\} 条/.test(pager), '计数行措辞与票 46 一致；总数从 props 来，不做 页×大小 反推', ) // S8 组件是受控的：页码只从 props 进，本地只有跳页输入缓冲；零请求零裸算术。 check( 'S8-controlled-no-local-page-no-fetch', !/\bfetch\(|XMLHttpRequest/.test(pager) && !/Math\.(ceil|trunc|floor)/.test(pager) && !/= ref\(1\)/.test(pager) && /const jumpValue = ref\(''\)/.test(pager), 'PagerNav 不存第二套页码状态、不算窗口、不发请求', ) // S9 断言面迁移完整：票 46 的 data-pager/data-page-prev/next/state 逐字保留，新面是追加不是替换。 check( 'S9-assertion-hooks-present', ['data-pager', 'data-page-prev', 'data-page-next', 'data-page-state', 'data-page-jump', 'data-page-jump-input', 'data-page-number'].every((hook) => new RegExp(hook).test(pager)), '旧面保留 + 跳页新面就位（探针/测试按这些取数）', ) } // ================================================================ C. 消费方：设备详情三清单 { const sections = stripComments(read('components/EquipmentDetailSections.vue')) // C1 三清单同一控件两处接线（events 模板覆盖预警+报警两分区；orders 独立一处）。 const pagerUses = sections.match(/ gotoPage\(panel, target\)"/g) || [] check('C2-single-handler', pageHandlers.length === 2 && /function gotoPage\(panel, target\)/.test(sections), `@page→gotoPage 接线 ${pageHandlers.length} 处`) // C3 工单接入分页（票 59 的新要求）：窗口行渲染 + 计数/空态都读 pagedOf。 check( 'C3-orders-paginated', /v-for="\(order, index\) in pagedOf\(panel\)\.rows"/.test(sections) && /v-if="!pagedOf\(panel\)\.total"[\s\S]{0,160}换一个分类或点「全部」[\s\S]{0,260}emptyList\('工单'\)/.test(sections), '工单走窗口行；空态文案区分"分类下没有"与"真没有"', ) // C4 组件内零第二份翻页算术（条文 11：窗口计算只在 pagination.js 一份）。 check( 'C4-no-local-pagination-arithmetic', !/Math\.(ceil|trunc|floor)/.test(sections) && !/\.slice\(/.test(sections) && !/equipment-pager__btn/.test(sections) && !/hasPrev|hasNext/.test(sections), '组件不出现 ceil/trunc/slice/内联 pager/hasPrev-hasNext 判断（窗口与禁用态都归共享层）', ) // C5 复位规则（条文 5/6）：分类变化回第 1 页；换设备全复位；gotoPage 不做夹取（夹回归 pagedRows）。 check( 'C5-reset-rules-intact', /toggleCategory[\s\S]{0,260}\[panelName\]: 1/.test(sections) && /watch\(\s*\(\) => props\.deviceCode,[\s\S]{0,200}pages\.value = \{\}/.test(sections) && !/Math\.(min|max)/.test((sections.match(/function gotoPage[\s\S]*?\n\}/) || [''])[0]), '换分类/换设备都复位；翻页出口只存状态，夹回由 domain 单源做', ) // C6 分页读的是**过滤后**集合（先筛后翻，条文 5）。 check('C6-filter-before-paginate', /return pagedRows\(visibleRows\(panel\), pages\.value\[panel\.name\] \|\| 1\)/.test(sections), 'pagedRows 输入必须是分类过滤后的行') // C7 pagedOf 是单一委托（一条路径给三清单；不再按 kind 分叉出兜底形状）。 check('C7-pagedof-is-single-delegate', /function pagedOf\(panel\) \{\s*return pagedRows\(visibleRows\(panel\), pages\.value\[panel\.name\] \|\| 1\)/.test(sections), 'pagedOf 只有 pagedRows 一条出口（分叉兜底=第二份形状）') } // ================================================================ K. SFC 真实编译（t41 教训） { const compileSfc = (label, rel) => { let ok = false let why = '' try { const source = read(rel) const { descriptor, errors } = parse(source, { filename: rel }) assert.deepEqual(errors, [], `${rel} parse`) const script = compileScript(descriptor, { id: 't59' }) const template = compileTemplate({ source: descriptor.template.content, filename: rel, id: 't59', compilerOptions: { bindingMetadata: script.bindings }, }) assert.deepEqual(template.errors, [], `${rel} template`) ok = true } catch (error) { why = error.message.split('\n')[0] } check(`K1-${label}-compiles`, ok, why || `${rel} 编译应无错误`) } compileSfc('pagernav', 'components/PagerNav.vue') compileSfc('sections', 'components/EquipmentDetailSections.vue') } console.log('') console.log(`T59 共享分页基建与设备详情三清单：${passed}/${passed + failed} 项通过。`) if (failed) { console.log('未通过项见上方 FAIL。') process.exit(1) } assert.equal(1, 1) console.log('T59 全部通过（浏览器走查按项目规则未自动执行）。')