w-web-perm 1.1.12 → 1.1.13

package/src/js/cvKpToObj.mjs

@@ -1,8 +1,9 @@
 import iseobj from 'wsemi/src/iseobj.mjs'
-import isestr from 'wsemi/src/isestr.mjs'
 import eachOwn from './eachOwn.mjs'
 import cvKpToArr from './cvKpToArr.mjs'
 import isAuthMode from './isAuthMode.mjs'
+import getEffMode from './getEffMode.mjs'
+import getPropKey from './getPropKey.mjs'
 
 
 /**
@@ -12,19 +13,21 @@ import isAuthMode from './isAuthMode.mjs'
  * 編輯對話框若依名稱為鍵查值會查不到陣列元素 → 顯示停用 → 管理者存檔即撤銷有效授權. 本函數與伺服端共用 cvKpToArr 之解碼(單一擁有者),
  * 並使「編輯器顯示啟用 ⇔ 該元素被伺服端採納(納入合併; 元素層級, 非最終權限樹)」.
  *
- * 存檔後授權不變(複審 R3／R4, 規則帳本 R-AUTH-ORDER-01／R-AUTH-LOSSY-01): 解碼後之鍵序即伺服端序, 編輯器以 keepKeyOrder 保留原鍵序後寫出;
- * 物件形式無法無損表示之格(同名有效 OR／AND 並存; 有效 AND 名稱 ≥ 2 且第一個 AND 名稱因整數式鍵先排而易位)由 getKpLossy 判定,
- * 編輯器對之拒存並顯示固定訊息(authLossyBlocked), 不寫出. 其餘格(含兩個以上 AND 群組)在保序下存檔前後授權相等(unit-cvKpToObj PR-001／PR-001b／PR-003／PR-004 窮舉).
+ * 存檔後授權不變(複審 R3／R4, 規則帳本 R-AUTH-LOSSY-01): 合併規則與項目之儲存順序、物件鍵序、陣列元素序無關(R-AUTH-MERGE-00 第 4 條), 故編輯器不需保留原鍵序;
+ * 物件形式無法無損表示之格(同名有效 OR／AND 並存)由 getKpLossy 判定, 編輯器對之拒存並顯示固定訊息(authLossyBlocked), 不寫出.
+ * 其餘格(含兩個以上 AND 群組)存檔前後授權相等(unit-cvKpToObj PR-001／PR-001b／PR-003／PR-004 窮舉).
  *
- * - opt.hasMode 為 false(預設, crules): 伺服端 mergeRules 以 kpRule[vv.name] = vv.isActive 收斂, 鍵經 JS 屬性鍵轉型(true → 'true'、['T1'] → 'T1'、非物件元素之索引 → '0'),
- *   同名後者覆蓋前者; 本函數以同一個指派式 o[r.name] = … 取得相同鍵與相同覆蓋順序(crules 之合併與順序無關, 無有損格).
- * - opt.hasMode 為 true(cgrups／cpemis): 伺服端 arrFinder 以 === 比對名稱(非字串名稱不授權), 且 isActive 為 'y' 而 mode 非 OR／AND 者不納入合併(不授權).
- *   故僅名稱為非空字串者保留; isActive 為 'y' 而 mode 不合法者改為 'n'(顯示停用——否則存檔會補預設 OR 而把「不授權」變成「授權」); 同名重複者, 各「有效啟用元素」(isActive 'y' 且 mode 合法)
- *   模式一致時合為一個啟用項(與伺服端逐項合併等價: 同模式同規則之重複不改變結果); 無有效啟用元素時為 'n'; 同名 AND 與 OR 並存者(物件形式無法無損表示, 由 getKpLossy 判定並拒存)
- *   此處僅取 AND 支作為顯示值. 鍵序: 有效啟用元素首次出現之序在前(伺服端 AND 合併之第一個 AND 項依此序), 其後為無有效元素之名稱(首次出現之序);
- *   整數式名稱(如 '1')受 JS 屬性序影響恆排前面, 該格由 getKpLossy 判定.
+ * - opt.hasMode 為 false(預設, crules): 伺服端 mergeRules 以 kpRule[vv.name] 收斂, 鍵經 JS 屬性鍵轉型(true → 'true'、['T1'] → 'T1'、非物件元素之索引 → '0'),
+ *   同名重複列所有列皆 y 才 y(任一列非 y 即 n, 與列序無關; 舊規則為後者覆蓋前者); 本函數以同一個鍵轉型(getPropKey)取得相同鍵與相同收斂結果;
+ *   屬性鍵轉型必拋者(name 為 { toString: null } 等物件, 伺服端 mergeRules 同樣略過)略過該元素, 不拋 TypeError(R-KEY-PROP-01).
+ * - opt.hasMode 為 true(cgrups／cpemis): 伺服端 findRefRows 以 === 比對名稱, isActive 為 'y' 之引用一律參與合併(R-PRINCIPLE-00 c／e／f): 查無實體(懸空)者內容全 n、
+ *   mode 缺或非法者視為 AND 限制項(只當交集項、不單獨當基底;該層無合法 mode 之啟用項時全 n; 編輯器存檔時對未被改動者原樣寫回原始 mode, 見 editorRefRows.getRawModeMap, 故不判有損)、名稱為空字串者照常(與名稱為 '' 之列相符, 否則為懸空). 故名稱為字串者(含 '')保留; isActive 為 'y' 而 mode 不合法者改為 mode 'AND'(與伺服端同解讀,
+ *   存檔後授權不變——改為停用會丟掉 AND 限制而放寬, 補預設 OR 則多給); 同名重複者, 各啟用元素之有效模式一致時合為一個啟用項(與伺服端逐項合併等價: 同模式同名之重複不改變結果);
+ *   無啟用元素時為 'n'; 同名 AND 與 OR 並存者(物件形式無法無損表示, 由 getKpLossy 判定並拒存)此處僅取 AND 支作為顯示值. 名稱非字串之元素(物件形式無法表示)略過, 由 getKpLossy 判定並拒存.
+ *   鍵序: 名稱首次出現之序(僅供顯示, 不影響授權).
  *
- * 物件形式: 值為物件者去掉值內 name(外層鍵為名, 規則帳本 R-AUTH-PATH-01: 否則關聯對話框存檔會把授權改指到值內 name 所指之項目); hasMode 時另把 isActive 'y' 而 mode 不合法者改為 'n'.
+ * 物件形式: 值為物件者去掉值內 name(外層鍵為名, 規則帳本 R-AUTH-PATH-01: 否則關聯對話框存檔會把授權改指到值內 name 所指之項目); hasMode 時另把 isActive 'y' 而 mode 不合法者改為 mode 'AND'
+ * (伺服端以之為限制項; 該層無任何合法 mode 之啟用項時結果全 n, 編輯器存檔對未被改動者原樣寫回原始 mode〔getRawModeMap, 方案 A〕, 不再判有損〔run06 放寬〕); hasMode 時非物件值(舊式簡寫 { G1: 'y' })改為 { isActive: 值 }(值為 'y' 者另加 mode 'AND').
  * 無需修改時原樣回傳(同一參考, 既有行為不變). 陣列形式一律回傳無原型物件(原型鍵名〔__proto__、constructor、toString〕可為一般鍵).
  *
  * @param {Object|Array} kp 輸入 JSON5.parse(cgrups／cpemis／crules) 之結果
@@ -37,7 +40,7 @@ import isAuthMode from './isAuthMode.mjs'
  * console.log(kp.A)
  * // => { mode: 'OR', isActive: 'y' }
  * console.log(cvKpToObj([{ name: 'A', isActive: 'y' }], { hasMode: true }).A)
- * // => { isActive: 'n' }  (缺 mode: 伺服端不授權)
+ * // => { isActive: 'y', mode: 'AND' }  (缺 mode: 伺服端視為 AND 限制項, R-PRINCIPLE-00 e)
  *
  */
 function cvKpToObj(kp, opt = {}) {
@@ -56,9 +59,17 @@ function cvKpToObj(kp, opt = {}) {
                 nv = { ...v }
                 delete nv.name
                 if (hasMode && nv.isActive === 'y' && !isAuthMode(nv.mode)) {
-                    nv.isActive = 'n'
+                    nv.mode = getEffMode(nv.mode) //伺服端視 mode 缺或非法者為 AND(R-PRINCIPLE-00 e): 編輯器同樣顯示並存為 AND, 存檔後授權不變(改為停用或 OR 皆會改變授權)
                 }
-                changed = changed || ('name' in v) || (nv.isActive !== v.isActive)
+                changed = changed || ('name' in v) || (nv.isActive !== v.isActive) || (nv.mode !== v.mode)
+            }
+            else if (hasMode) {
+                //非物件值(舊式簡寫 { G1: 'y' }): 伺服端 cvKpToArr 解為 { name, isActive: 值 }(無 mode)——啟用者 mode 缺, 與 mode 非法同解讀; 編輯器以物件值統一表示
+                nv = { isActive: v }
+                if (v === 'y') {
+                    nv.mode = 'AND'
+                }
+                changed = true
             }
             o[k] = nv
         })
@@ -70,39 +81,39 @@ function cvKpToObj(kp, opt = {}) {
     let o = Object.create(null)
     if (!hasMode) {
         eachOwn(arr, (r) => {
+            let k = getPropKey(r.name) //同伺服端 mergeRules: 屬性鍵轉型必拋者(如 { toString: null })不對應任何規則, 略過而非拋 TypeError(R-KEY-PROP-01)
+            if (k === null) {
+                return true //跳出換下一個
+            }
             let rest = { ...r }
             delete rest.name
-            o[r.name] = rest //同伺服端 kpRule[vv.name] = vv.isActive: 鍵轉型與覆蓋順序相同
+            if (k in o) {
+                rest.isActive = (o[k].isActive === 'y' && rest.isActive === 'y') ? 'y' : 'n' //同伺服端 mergeRules: 同名重複列所有列皆 y 才 y(與列序無關)
+            }
+            o[k] = rest
         })
         return o
     }
     let seen = [] //名稱之首次出現序(kpG 為物件, 整數式鍵會被 JS 屬性序重排, 故另存陣列)
-    let kpG = Object.create(null) //名稱 → { acts: 有效啟用元素, last: 最後一個元素, effAt: 首個有效啟用元素之位置(無則 -1) }
-    eachOwn(arr, (r, i) => {
-        if (!isestr(r.name)) { //伺服端 arrFinder 以 === 比對, 非字串(含元素非物件之索引名稱)不授權
+    let kpG = Object.create(null) //名稱 → { acts: 有效啟用元素, last: 最後一個元素 }
+    eachOwn(arr, (r) => {
+        if (typeof r.name !== 'string') { //非字串名稱(含元素非物件之索引名稱)物件形式無法表示: 以 === 比對不到任何群組／權限, 但啟用者仍以懸空引用參與合併, 由 getKpLossy 判定並拒存(R-PRINCIPLE-00 f)
             return true //跳出換下一個
         }
         let rest = { ...r }
         delete rest.name
         if (!(r.name in kpG)) {
-            kpG[r.name] = { acts: [], last: null, effAt: -1 }
+            kpG[r.name] = { acts: [], last: null }
             seen.push(r.name)
         }
         kpG[r.name].last = rest
-        if (rest.isActive === 'y' && isAuthMode(rest.mode)) {
-            kpG[r.name].acts.push(rest)
-            if (kpG[r.name].effAt < 0) {
-                kpG[r.name].effAt = i
-            }
+        if (rest.isActive === 'y') { //啟用元素一律參與合併: mode 缺或非法者視為 AND 限制項(R-PRINCIPLE-00 e; 有合法項時與 AND 等價), 空字串名稱亦保留(R-PRINCIPLE-00 f)
+            kpG[r.name].acts.push({ ...rest, mode: getEffMode(rest.mode) })
         }
     })
 
-    //鍵序(R-AUTH-ORDER-01): 有效啟用元素首次出現之序在前(停用或缺 mode 之元素不算, 否則停用在前者會使伺服端之第一個 AND 項易位), 其後為無有效元素之名稱(首次出現之序)
-    let names = [
-        ...seen.filter((n) => kpG[n].effAt >= 0).sort((a, b) => kpG[a].effAt - kpG[b].effAt),
-        ...seen.filter((n) => kpG[n].effAt < 0),
-    ]
-    eachOwn(names, (name) => {
+    //鍵序無關授權(R-AUTH-MERGE-00 第 4 條), 依名稱首次出現之序輸出
+    eachOwn(seen, (name) => {
         let g = kpG[name]
         let modes = []
         eachOwn(g.acts, (a) => {

package/src/js/draftSync.mjs

@@ -0,0 +1,70 @@
+//清單頁「草稿」對 store 推播之處置(R-PRINCIPLE-00 原則 7, 使用者 2026-10-22 裁示; 規則帳本 R-BASELINE-01、R-DRAFT-KEEP-01; ADR-037 Update(run11)): 純函數(不依賴 Vue／DOM), 四個清單頁共用.
+//
+//背景: 清單頁以 computed(changeParams)監看 store, 資料推播(伺服器約 2 秒輪詢, 他人或外部同步改了表)使 store 變新時, 修改前一律重建 items 與基準, 使管理員尚未儲存之編輯被靜默丟棄,
+//再存回「儲存成功」(verify01 情境 5 實證). 原則 7 要求: 有未存之編輯時收到推播, 保留草稿與其載入時之基準、提示「資料已被更新」, 存檔即被伺服端依表雜湊拒收並提示重新載入; 無未存編輯時照舊重建.
+//
+//changeParams 之重算另有其他觸發(genOpt 內讀取之反應式來源, 如語系切換使表頭文字重算): 那些觸發維持修改前之行為(重建), 只有「store 變新且有未存編輯」才保留草稿.
+
+import { isBaselineStale } from './rowDigest.mjs'
+
+
+/**
+ * 判斷來源 store 資料(任一依賴表之列陣列)是否已更新: 逐一比對參照(Vuex 每次推播以新陣列取代整表, 同參照即未更新)
+ *
+ * @param {Array|null} prev 輸入上次建立草稿時之各表參照陣列(null 為尚未建立過)
+ * @param {Array} now 輸入目前各表參照陣列
+ * @returns {Boolean} 回傳是否有任一表參照改變(prev 為 null 或長度不同視為已更新)
+ */
+function refsChanged(prev, now) {
+    if (!Array.isArray(prev) || !Array.isArray(now) || prev.length !== now.length) {
+        return true
+    }
+    return now.some((r, k) => r !== prev[k])
+}
+
+
+/**
+ * 決定清單頁對這次 changeParams 重算之處置
+ *
+ * - 'keep': 來源 store 變新(推播)而有未存編輯 → 保留草稿與其載入時之基準, 不重建(基準是否已過期由呼叫端以 isDraftStale 判定並提示)
+ * - 'keepQuiet': 同 'keep'(保留草稿與基準, 不重建), 但此推播是「自己之存檔請求進行中」所致(伺服端已寫入、回應尚未抵達; run12)——不是他人更新, 呼叫端不得據以顯示過期提示:
+ *   存檔成功即重建(草稿被捨棄、提示歸零), 存檔失敗由存檔流程依目前 store 重算提示
+ * - 'rebuild': 其餘一律重建 items 與基準(同修改前)——首次載入; 使用者切換編輯模式(使用者自己的動作, 草稿隨之放棄); store 變新且無未存編輯; 其他反應式依賴觸發之重算(如語系切換)
+ *
+ * hasDraft、saving 以函數傳入、惰性求值: hasDraft 僅於 store 變新時才呼叫(非首次、編輯模式未變), saving 僅於確定要保留草稿時才呼叫。
+ *
+ * @param {Object} p 輸入參數物件
+ * @param {Boolean} p.first 輸入是否尚未建立過草稿(首次)
+ * @param {Boolean} p.editChanged 輸入編輯模式是否被切換
+ * @param {Boolean} p.storeChanged 輸入來源 store 是否變新(見 refsChanged)
+ * @param {Function} p.hasDraft 輸入回傳「是否有未存編輯」之函數
+ * @param {Function} [p.saving] 輸入回傳「自己之存檔請求是否進行中」之函數(未給視為否)
+ * @returns {String} 回傳 'rebuild'｜'keep'｜'keepQuiet'
+ */
+function planDraftSync({ first, editChanged, storeChanged, hasDraft, saving }) {
+    if (first === true || editChanged === true || storeChanged !== true) {
+        return 'rebuild'
+    }
+    if (!(typeof hasDraft === 'function' && hasDraft() === true)) {
+        return 'rebuild'
+    }
+    return (typeof saving === 'function' && saving() === true) ? 'keepQuiet' : 'keep'
+}
+
+
+/**
+ * 草稿所依據之基準相對於目前 store 整表是否已過期(供顯示「資料已被更新」提示; 判準同伺服端 checkBaseline, 單一擁有者 rowDigest.compareBaseline)
+ *
+ * @param {Object} p 輸入參數物件
+ * @param {Array} p.keys 輸入該表 schema 欄位名陣列
+ * @param {Array} p.rows 輸入目前 store 之該表列
+ * @param {Array} p.baseline 輸入草稿載入時之基準
+ * @returns {Boolean} 回傳是否過期(有任一列內容不同或列被增刪; 僅 order／伺服器管理欄不同不算)
+ */
+function isDraftStale({ keys, rows, baseline }) {
+    return isBaselineStale({ keys, rows, baseline })
+}
+
+
+export { refsChanged, planDraftSync, isDraftStale }
+export default planDraftSync

package/src/js/eachOwn.mjs

@@ -1,5 +1,5 @@
 //迭代使用端傳入之物件: 供伺服端寫入前驗證(server/validateRows.mjs)、權限評估(src/plugins/mShare.mjs)與前端清單元件解析 cgrups／cpemis／crules 後之物件共用
-//規則見 CLAUDE_rulebook.md「迭代使用端傳入之物件」(R-OBJ-ITER-01)
+//規則見 sgud/rule/rulebook.md「迭代使用端傳入之物件」(R-OBJ-ITER-01)
 //本檔無外部相依
 
 

package/src/js/editorRefRows.mjs

@@ -0,0 +1,284 @@
+import eachOwn from './eachOwn.mjs'
+import getOwn from './getOwn.mjs'
+import cvKpToArr from './cvKpToArr.mjs'
+import getEffMode from './getEffMode.mjs'
+import isAuthMode from './isAuthMode.mjs'
+
+
+//編輯對話框之「引用清單(cgrups／cpemis) ↔ 對話框之列」轉換, 單一擁有者(規則帳本 R-PRINCIPLE-00 c／e／f、R-AUTH-MERGE-00 第 5 條):
+//  直接編輯器 VeCgrups／VeCpemis(列＝被引用表之全部列＋額外列)與反向關聯對話框 VeGrupBlngUsers／VePemiBlngGrups(每列改寫另一實體之字串)共用.
+//  伺服端 getUserRules 對 isActive 為 'y' 之引用一律參與合併——查無列(懸空)者以其 mode 參與、內容全 n; mode 缺或非法者視為 AND 限制項(有合法項時與 AND 等價); 名稱 '' 照常比對——
+//  故編輯器存檔不得丟棄任何啟用中之引用(丟棄 AND 項即放寬). 輸入為 cvKpToObj(…, { hasMode: true }) 之結果(以名稱為鍵);
+//  純函數, 不依賴 Vue／DOM／lodash, 不解析字串(JSON5.parse 由呼叫端執行, 站點見 unit-cvKpToObj SITE-AD-001). 往返不變式見 unit-editorRows.
+
+
+let isPlainObj = (v) => v !== null && typeof v === 'object' && !Array.isArray(v)
+
+
+//restoreLim: 限制項(mode 缺或非法之啟用引用)寫回其原始 mode(見 getRawModeMap): 保留解碼值之其他欄位, mode 換回原值(原為缺則不寫 mode 鍵), isActive 為 'y'
+let restoreLim = (v, lim) => {
+    let o = isPlainObj(v) ? { ...v } : {}
+    delete o.mode
+    let m = getOwn(lim, 'mode')
+    if (m !== undefined) {
+        o.mode = m
+    }
+    o.isActive = 'y'
+    return o
+}
+
+
+/**
+ * 取得「mode 缺或非法之啟用引用」(伺服端之限制項)之原始 mode, 供存檔時原樣寫回(R-PRINCIPLE-00 e; 未被管理者改動之項寫回其原始 mode)
+ *
+ * 伺服端 mergeRules 把 mode 缺或非 OR／AND 之啟用項當「限制項」: 只當 AND 交集項、不單獨當基底, 該層沒有任何 mode 合法之啟用項時全 n.
+ * 編輯器(cvKpToObj)把此類項顯示為「AND、啟用」; 存檔若寫出合法 AND, 限制項即變成可當基底之 AND——例: { G1: 缺 mode, G2: AND } 管理者停用唯一合法項 G2 後存檔,
+ * G1 成為唯一基底而授予其內容(預期為全 n, 多給). 故記下原始 mode, 存檔時對仍為「AND、啟用」(開啟時之狀態, 視為未改)者寫回原始 mode(putRowsToKp／putRefEntry);
+ * 管理者改過 mode 或停用者照其選擇寫出.
+ * 只記「該名稱所有啟用元素皆 mode 缺或非法」者: 同名另有 mode 合法之啟用元素時(如陣列 [AND, 缺 mode]), 伺服端結果同該合法項, 寫出合法 mode 即授權不變, 寫回限制項反而收回.
+ * 純量值({ "G1": "y" })伺服端解為 { isActive: 'y' }(無 mode), 視同缺 mode. 名稱非字串之元素不記(由 getKpLossy 拒存).
+ *
+ * @param {*} raw 輸入 JSON5.parse(cgrups／cpemis) 之結果(物件或陣列形式; 其他視為無引用)
+ * @returns {Object} 回傳無原型物件 名稱 → { mode: 原始 mode 值(可為 undefined) }
+ * @example
+ *
+ * let kp = getRawModeMap(JSON.parse('{"G1":{"isActive":"y"},"G2":{"mode":"or","isActive":"y"},"G3":{"mode":"AND","isActive":"y"}}'))
+ * console.log(Object.keys(kp), kp.G2.mode)
+ * // => ['G1', 'G2'] or
+ *
+ */
+function getRawModeMap(raw) {
+    let kpLim = Object.create(null) //無原型: 鍵為使用者資料(R-KEY-01)
+    let kpValid = Object.create(null)
+    eachOwn(cvKpToArr(raw), (r) => {
+        if (r.isActive !== 'y' || typeof r.name !== 'string') {
+            return true //跳出換下一個
+        }
+        if (isAuthMode(r.mode)) {
+            kpValid[r.name] = true
+            return true //跳出換下一個
+        }
+        if (!(r.name in kpLim)) {
+            kpLim[r.name] = { mode: r.mode }
+        }
+    })
+    let out = Object.create(null)
+    eachOwn(kpLim, (v, name) => {
+        if (kpValid[name] !== true) {
+            out[name] = v
+        }
+    })
+    return out
+}
+
+
+/**
+ * 由解碼後之單一引用值取得對話框列之狀態, 與伺服端同解讀
+ *
+ * - 值為物件: isActive 為 'y' 者啟用; 啟用者之 mode 取有效值(getEffMode: 缺或非法 → 'AND'), 停用者 mode 合法則沿用、否則顯示預設 'OR'(停用項不參與合併, mode 無授權效果, 同修前顯示).
+ * - 值為純量(物件形式 { "G1": "y" }; cvKpToObj 物件形式對非物件值原樣保留): 伺服端 cvKpToArr 解為 { isActive: 值 }(無 mode → AND), 此處同解讀——
+ *   修前以 lodash get(值, 'isActive') 取不到而顯示停用、存檔寫出 { mode: 'OR', isActive: 'n' }, 丟掉該 AND 引用即放寬.
+ * - 無此引用(null／undefined): 停用、'OR'.
+ *
+ * @param {*} p 輸入 getOwn(cvKpToObj 之結果, 名稱, null)
+ * @returns {Object} 回傳 { mode: 'OR'|'AND', enable: 'y'|'n' }
+ * @example
+ *
+ * console.log(getRefState({ mode: 'or', isActive: 'y' }))
+ * // => { mode: 'AND', enable: 'y' }
+ * console.log(getRefState('y'))
+ * // => { mode: 'AND', enable: 'y' }
+ *
+ */
+function getRefState(p) {
+    let o = isPlainObj(p) ? p : { isActive: p }
+    let m = getOwn(o, 'mode')
+    let enable = getOwn(o, 'isActive') === 'y' ? 'y' : 'n'
+    let mode = enable === 'y' ? getEffMode(m) : (isAuthMode(m) ? m : 'OR')
+    return { mode, enable }
+}
+
+
+/**
+ * 取得「啟用中而對話框之表列未顯示」之引用, 各一列(由呼叫端附於表列之後), 使存檔原樣寫回(R-PRINCIPLE-00 c／f)
+ *
+ * 對話框之表列以 getOwn(解碼結果, 表列.name) 顯示引用, 存檔只寫出名稱為字串之列; 故「顯示到」以表列 name 為字串且 === 引用名稱判定.
+ * 與伺服端 findRefRows 之差異僅在表列無 name(findRefRows 視為 '')或 name 非字串者——此類表列不會以字串名稱寫出, 其所對應之引用仍須以額外列保留.
+ * 一般情形即「引用之名稱查無列(懸空; 含名稱 '')」. 停用之引用無授權影響, 不產生額外列(存檔時照舊不寫出). 順序: 解碼結果之鍵序(僅供顯示, 不影響授權).
+ *
+ * @param {Object} kpDec 輸入 cvKpToObj(…, { hasMode: true }) 之結果(非物件視為無引用)
+ * @param {Array} tabRows 輸入被引用表之列(群組表／權限表)
+ * @returns {Array} 回傳額外列 [{ name, mode, enable: 'y', dangling: true }]
+ */
+function getRefRowsExtra(kpDec, tabRows) {
+    let rs = []
+    if (!isPlainObj(kpDec)) {
+        return rs
+    }
+    let kpShown = Object.create(null) //無原型: 鍵為使用者資料(R-KEY-01)
+    eachOwn(tabRows, (v) => {
+        let n = isPlainObj(v) ? v.name : undefined
+        if (typeof n === 'string') {
+            kpShown[n] = true
+        }
+    })
+    eachOwn(kpDec, (p, name) => {
+        let st = getRefState(p)
+        if (st.enable !== 'y' || kpShown[name] === true) {
+            return true //跳出換下一個
+        }
+        rs.push({
+            name,
+            mode: st.mode,
+            enable: 'y',
+            dangling: true,
+        })
+    })
+    return rs
+}
+
+
+/**
+ * 取得同名多列(被引用表之歷史同名, R-PRINCIPLE-00 d)中 (mode, enable) 不全相同者之名稱
+ *
+ * 物件形式每個名稱只有一個值, 同名各列設定不同時無法寫出(寫出任一列即靜默捨棄其他列之設定), 編輯器拒存(warnDupRowsInconsistent); 全相同則寫出一次.
+ *
+ * @param {Array} rows 輸入對話框之列 [{ name, mode, enable }]
+ * @returns {Array} 回傳名稱陣列(不重複, 依首次出現序); 名稱非字串之列不計
+ */
+function getDupRowsInconsistent(rows) {
+    let kpFirst = Object.create(null) //無原型: 鍵為使用者資料(R-KEY-01)
+    let out = []
+    eachOwn(rows, (r) => {
+        if (!isPlainObj(r) || typeof r.name !== 'string') {
+            return true //跳出換下一個
+        }
+        if (!(r.name in kpFirst)) {
+            kpFirst[r.name] = r
+            return true //跳出換下一個
+        }
+        let f = kpFirst[r.name]
+        if ((f.mode !== r.mode || f.enable !== r.enable) && !out.includes(r.name)) {
+            out.push(r.name)
+        }
+    })
+    return out
+}
+
+
+/**
+ * 由直接編輯器之列寫出引用清單物件 { 名稱: { mode, isActive } }, 寫入呼叫端提供之無原型容器(R-KEY-01: 名稱可為 __proto__ 等原型鍵)
+ *
+ * 名稱為字串者(含 '', R-PRINCIPLE-00 f: 原樣保留; 含懸空之額外列)寫出; 名稱非字串、mode 非 OR／AND、enable 非非空字串之列略過(對話框不會產生此類列).
+ * 同名多列後者覆蓋前者(呼叫端須先以 getDupRowsInconsistent 拒存不一致者; 一致者覆蓋結果相同).
+ * rawModeMap(getRawModeMap 之結果, 選填): 限制項之列仍為「啟用、mode 為其有效值(AND)」(開啟時之狀態, 視為未改)者寫回原始 mode(restoreLim), 不寫成合法 AND——
+ * 否則限制項變為可當基底之 AND 而多給(見 getRawModeMap); 管理者改過 mode 或停用者照列寫出. 不給＝一律照列寫出.
+ *
+ * @param {Object} kpOut 輸入寫出用之無原型容器(呼叫端建立)
+ * @param {Array} rows 輸入對話框之列 [{ name, mode, enable }]
+ * @param {Object} [rawModeMap] 輸入 getRawModeMap(原始解析結果)
+ * @returns {Object} 回傳 kpOut
+ */
+function putRowsToKp(kpOut, rows, rawModeMap) {
+    eachOwn(rows, (r) => {
+        if (!isPlainObj(r)) {
+            return true //跳出換下一個
+        }
+        let name = r.name
+        let mode = r.mode
+        let enable = r.enable
+        if (typeof name !== 'string' || !isAuthMode(mode) || typeof enable !== 'string' || enable === '') {
+            return true //跳出換下一個
+        }
+        let lim = getOwn(rawModeMap, name, null)
+        if (lim !== null && enable === 'y' && mode === getEffMode(getOwn(lim, 'mode'))) {
+            kpOut[name] = restoreLim(null, lim)
+            return true //跳出換下一個
+        }
+        kpOut[name] = {
+            mode,
+            isActive: enable,
+        }
+    })
+    return kpOut
+}
+
+
+/**
+ * 反向關聯對話框改寫單一實體(使用者／群組)之引用清單: 只改「名稱為 name」之一項, 其餘引用項(含懸空、名稱 ''、mode 缺/非法〔解碼已為 AND〕、停用項、純量值)原樣保留,
+ * 其授權效果不變(R-PRINCIPLE-00 c／e／f; 修前以列上經 fltKp* 篩過之 grups／pemis 重組, 查無列之啟用引用被丟棄即放寬)
+ *
+ * 目標狀態(enable 為 'y' 時 { mode, isActive: 'y' }; 否則移除該項)與現值(getRefState)相同 → 回 false(未變更: 呼叫端不改寫字串, 逐字元不動);
+ * 不同 → 把 kpDec 之自有項(name 除外)複製入 kpOut 並寫入目標狀態, 回 true. mode 取有效值(getEffMode: 非 OR 者為 AND).
+ * rawModeMap(getRawModeMap(該實體字串之原始解析結果), 選填): 複製其餘項時, 啟用中之限制項寫回其原始 mode(restoreLim; 解碼值為 AND, 寫成合法 AND 會多給, 見 getRawModeMap).
+ *
+ * @param {Object} kpOut 輸入寫出用之無原型容器(R-KEY-01; 呼叫端建立)
+ * @param {Object} kpDec 輸入 cvKpToObj(…, { hasMode: true }) 之結果(非物件視為無引用)
+ * @param {String} name 輸入本對話框所管之群組／權限名稱
+ * @param {String} enable 輸入 'y' 為歸屬, 其他為不歸屬
+ * @param {String} mode 輸入歸屬時之合併模式
+ * @param {Object} [rawModeMap] 輸入 getRawModeMap(原始解析結果)
+ * @returns {Boolean} 回傳是否變更(true 時 kpOut 已填入欲寫出之內容)
+ * @example
+ *
+ * let kp = Object.create(null)
+ * console.log(putRefEntry(kp, { GX: { mode: 'AND', isActive: 'y' } }, 'G1', 'y', 'OR'), JSON.stringify(kp))
+ * // => true {"GX":{"mode":"AND","isActive":"y"},"G1":{"mode":"OR","isActive":"y"}}
+ *
+ */
+function putRefEntry(kpOut, kpDec, name, enable, mode, rawModeMap) {
+    let cur = getRefState(getOwn(kpDec, name, null))
+    let on = enable === 'y'
+    let m = getEffMode(mode)
+    if (on === (cur.enable === 'y') && (!on || m === cur.mode)) {
+        return false
+    }
+    if (isPlainObj(kpDec)) {
+        eachOwn(kpDec, (v, k) => {
+            if (k === name) {
+                return true //跳出換下一個
+            }
+            let lim = getOwn(rawModeMap, k, null)
+            kpOut[k] = (lim !== null && getRefState(v).enable === 'y') ? restoreLim(v, lim) : v
+        })
+    }
+    if (on) {
+        kpOut[name] = {
+            mode: m,
+            isActive: 'y',
+        }
+    }
+    return true
+}
+
+
+/**
+ * 對話框之列中 row[key] 精確 === val 之全部索引(單列切換與批次操作用)
+ *
+ * 直接編輯器之同名多列代表同一個引用(物件形式一個名稱只有一個值), 切換須對所有精確同名列一併套用, 同名列狀態恆一致(warnDupRowsInconsistent 僅作防呆);
+ * 修前以 lodash get(row, 'name', '') 找第一列(批次以 kpRow[name] 只剩最後一列): 同名第二列之操作改到第一列、全選後同名列不一致而被拒存,
+ * 且表列無 name 欄者(undefined)被當成 '' 搶先命中名稱 '' 之額外列. 反向關聯對話框以列身分 id 定位(群組／使用者之 name 可重複).
+ * 比對為精確 ===(undefined 不等於 '', 數字 5 不等於 '5'); 非物件之列略過.
+ *
+ * @param {Array} rows 輸入對話框之列
+ * @param {String} key 輸入欄位名('name' 或 'id')
+ * @param {*} val 輸入欲比對之值
+ * @returns {Array} 回傳索引陣列(由小到大)
+ * @example
+ *
+ * console.log(getRowIdxs([{ name: 'A' }, { id: 'x' }, { name: 'A' }, { name: '' }], 'name', 'A'))
+ * // => [0, 2]
+ *
+ */
+function getRowIdxs(rows, key, val) {
+    let ks = []
+    eachOwn(rows, (r, k) => {
+        if (isPlainObj(r) && getOwn(r, key) === val) {
+            ks.push(k)
+        }
+    })
+    return ks
+}
+
+
+export { getRefState, getRefRowsExtra, getDupRowsInconsistent, getRawModeMap, putRowsToKp, putRefEntry, getRowIdxs }