w-web-sso 1.1.12 → 1.1.13

package/server/procLang.mjs

@@ -1013,6 +1013,10 @@ let kpLang = {
         eng: 'Invalid app token permissions.',
         cht: '應用系統金鑰權限設定無效。',
     },
+    tokenSessionAddNotAllowed: { //金鑰清單存檔不得新增登入權杖(session 列; ADR-092)
+        eng: 'Login tokens cannot be added. Nothing was saved.',
+        cht: '不可新增登入權杖，本次未儲存任何變更',
+    },
     //應用系統金鑰之各權限名稱, 鍵為 appPerm_<權限字串> (權限全集見 src/appPerms.mjs)
     appPerm_readUsers: {
         eng: 'Read users',
@@ -1324,6 +1328,20 @@ let kpLang = {
         cht: `資料寫入未全部完成，部分變更可能已生效，請重新整理頁面確認後再操作`,
     },
 
+    //多人同時編輯之寫入契約(原則 10): 拒收鍵 baselineMismatch / rowNotFound / baselineFormat 由 procCore.getSaveRejectKey 轉為下列語系鍵, 一律提示重新載入; 拒收時零寫入
+    saveStale: { //載入後資料已被他人或系統更動(baselineMismatch)
+        eng: `The data has been changed by another user or the system since you loaded this page. Nothing was saved. Please reload the page and make your changes again.`,
+        cht: `資料自您載入後已被其他使用者或系統更動，本次未儲存任何變更，請重新載入頁面後再操作`,
+    },
+    saveRowNotFound: { //要修改或刪除之資料已不存在(rowNotFound)
+        eng: `Some of the data no longer exists (it may have been deleted by another user). Nothing was saved. Please reload the page and make your changes again.`,
+        cht: `部分資料已不存在（可能已被其他使用者刪除），本次未儲存任何變更，請重新載入頁面後再操作`,
+    },
+    saveBaselineFormat: { //前端送出之載入基準格式或版本不識(baselineFormat)
+        eng: `The page data version is not recognized. Nothing was saved. Please reload the page and make your changes again.`,
+        cht: `頁面資料版本無法辨識，本次未儲存任何變更，請重新載入頁面後再操作`,
+    },
+
 }
 
 

package/server/procProtect.mjs

@@ -29,7 +29,6 @@ import pm2resolve from 'wsemi/src/pm2resolve.mjs'
 import pmSeries from 'wsemi/src/pmSeries.mjs'
 import getErrorMessage from 'wsemi/src/getErrorMessage.mjs'
 import ds from '../src/schema/index.mjs'
-import ormWrite from './ormWrite.mjs'
 import wrapTimer from './wrapTimer.mjs'
 import { maskToken, safeText } from './srLog.mjs'
 
@@ -49,7 +48,11 @@ let FORWARDED_PORT_MAX = 65535
 function proc(woItems, p, opt = {}) {
 
     //params
+    //procOrm / withTabLocks: 取自 w-serv-orm 實例(與 procCore 同一組, 同表只由同一鎖管理器寫入, 規格 §12); 系統直寫 users / tokens / ips 一律在該表表鎖內、
+    //經 procOrm 且 mustExist(只改不增), 更新者記常數 'system' (R-CONC-01, R-CONC-04, 決策 D7)
     let {
+        procOrm,
+        withTabLocks,
         srLog,
         minForAccountLoginFailed,
         numForAccountLoginFailed,
@@ -62,6 +65,14 @@ function proc(woItems, p, opt = {}) {
         minBlockForIpCallApi,
     } = opt
 
+    //check
+    if (!isfun(procOrm) || !isfun(withTabLocks)) {
+        throw new Error('procProtect needs procOrm and withTabLocks from the WServOrm instance')
+    }
+
+    //SYSTEM_ID: 無使用者可歸屬之系統寫入(計時器、自動封鎖)記於 userIdUpdate 之常數
+    let SYSTEM_ID = 'system'
+
 
     //logError: 封鎖寫入失敗之紀錄 (ADR-080); srLog 未給時略過, 同 blockAccountByToken 之 debug 守衛
     let logError = (o) => {
@@ -174,57 +185,75 @@ function proc(woItems, p, opt = {}) {
     //blockAccount
     let blockAccount = async (account) => {
 
-        //getGenUserByAccount
+        //getGenUserByAccount, 取得使用者主鍵; 封鎖狀態於下方 [tokens, users] 鎖內重讀
         let u = await p.getGenUserByAccount(account)
 
         // //check, 不用檢測, 若resolve必定有, 若reject則由外部處理
         // if (!iseobj(u)) {
         // }
 
-        //getBlockedByUser
-        let b = await getBlockedByUser(u)
+        //[tokens, users] 鎖內: 重讀使用者(新鮮) → 判斷是否已封鎖 → 寫 timeBlocked → 撤銷 token, 同一把鎖完成 (S15):
+        //timeBlocked 為雙方欄位(後台可改、自動封鎖亦寫), 系統直寫須取表鎖, 持舊畫面之後台存檔才會被偵測而拒收 (V4); 讀到之使用者於寫入前不被刪除插隊 (X5)
+        await withTabLocks(['tokens', 'users'], async () => {
 
-        //check
-        if (b) {
-            return //已封鎖, 禁止重複封鎖
-        }
+            //帳號對應再驗: 失敗登入所針對之帳號於等鎖期間可能已被後台改名或停用, 該帳號已不屬於這位使用者則不封鎖(以鎖內新鮮狀態為準)
+            let usAcc = await woItems.users.select({ account, isActive: 'y' })
+            if (size(usAcc) !== 1 || get(usAcc[0], 'id', '') !== u.id) {
+                return
+            }
 
-        //timeBlocked, 依照minBlockForAccountLoginFailed(min)更新封鎖時間
-        let timeBlocked = ot().add(minBlockForAccountLoginFailed, 'minute').format('YYYY-MM-DDTHH:mm:ss.SSSZ')
-        // console.log('timeBlocked', timeBlocked)
+            //重讀使用者, 已被刪除則無從封鎖(其 token 已於刪除時同鎖撤銷)
+            let us = await woItems.users.select({ id: u.id })
+            if (size(us) !== 1) {
+                return
+            }
 
-        //封鎖使用者, 須更新使用者timeBlocked; 逐筆檢查 (ADR-080)
-        let errBlock = null
-        await ormWrite(woItems.users, 'save', {
-            id: u.id,
-            timeBlocked,
-        })
-            .catch((err) => {
-                errBlock = err
-            })
+            //getBlockedByUser
+            let b = await getBlockedByUser(us[0])
 
-        //封鎖使用者, 須刪除該 user 名下所有 token (multi-session 強制全部登出)
-        //(原本走 p.getTokenByKV('userId', u.id) 取單筆, 但 ADR-001 接受同帳號多 active token,
-        //getTokenByKV 之 nts>=2 reject 'duplicate token' 對 multi-session user 必觸發 → token
-        //完全沒刪 → 帳號被鎖但既有 session 仍可用. 改用 select 直接取陣列後全部刪除,
-        //對齊 spec/流程_自動封鎖機制.md A32「強制登出」契約 — Round-3 audit B-01 fix.)
-        //撤銷與刪除 / 停用使用者共用 p.revokeTokensByUserId (一次刪除並逐筆檢查); 封鎖寫入失敗仍撤銷 (依意圖 fail closed, ADR-080)
-        let errRevoke = null
-        await p.revokeTokensByUserId(u.id)
-            .catch((err) => {
-                errRevoke = err
-            })
+            //check
+            if (b) {
+                return //已封鎖, 禁止重複封鎖
+            }
 
-        //check, 失敗記錄後 reject; 封鎖未寫入時, 下次登入失敗仍超過門檻即再嘗試封鎖
-        if (errBlock !== null || errRevoke !== null) {
-            logError({
-                event: 'fun-blockAccount',
-                userId: u.id,
-                errBlock: errBlock !== null ? getErrorMessage(errBlock) : '',
-                errRevoke: errRevoke !== null ? getErrorMessage(errRevoke) : '',
-            })
-            return Promise.reject(`failed to block account`)
-        }
+            //timeBlocked, 依照minBlockForAccountLoginFailed(min)更新封鎖時間
+            let timeBlocked = ot().add(minBlockForAccountLoginFailed, 'minute').format('YYYY-MM-DDTHH:mm:ss.SSSZ')
+            // console.log('timeBlocked', timeBlocked)
+
+            //封鎖使用者, 須更新使用者timeBlocked; 經 procOrm 且 mustExist(只改不增), 更新者記 'system'; 逐筆檢查 (ADR-080)
+            let errBlock = null
+            await procOrm(SYSTEM_ID, 'users', 'save', [{
+                id: u.id,
+                timeBlocked,
+            }], { mustExist: true })
+                .catch((err) => {
+                    errBlock = err
+                })
+
+            //封鎖使用者, 須刪除該 user 名下所有 token (multi-session 強制全部登出)
+            //(原本走 p.getTokenByKV('userId', u.id) 取單筆, 但 ADR-001 接受同帳號多 active token,
+            //getTokenByKV 之 nts>=2 reject 'duplicate token' 對 multi-session user 必觸發 → token
+            //完全沒刪 → 帳號被鎖但既有 session 仍可用. 改用 select 直接取陣列後全部刪除,
+            //對齊 spec/流程_自動封鎖機制.md A32「強制登出」契約 — Round-3 audit B-01 fix.)
+            //撤銷與刪除 / 停用使用者共用 p.revokeTokensByUserIdLocked (持鎖版, 一次刪除並逐筆檢查); 封鎖寫入失敗仍撤銷 (依意圖 fail closed, ADR-080)
+            let errRevoke = null
+            await p.revokeTokensByUserIdLocked(u.id)
+                .catch((err) => {
+                    errRevoke = err
+                })
+
+            //check, 失敗記錄後 reject; 封鎖未寫入時, 下次登入失敗仍超過門檻即再嘗試封鎖
+            if (errBlock !== null || errRevoke !== null) {
+                logError({
+                    event: 'fun-blockAccount',
+                    userId: u.id,
+                    errBlock: errBlock !== null ? getErrorMessage(errBlock) : '',
+                    errRevoke: errRevoke !== null ? getErrorMessage(errRevoke) : '',
+                })
+                return Promise.reject(`failed to block account`)
+            }
+
+        })
 
     }
 
@@ -372,55 +401,78 @@ function proc(woItems, p, opt = {}) {
             return Promise.reject(`invalid userId`)
         }
 
-        //getGenUserByUserId
+        //getGenUserByUserId, 取得使用者主鍵; 封鎖狀態於下方 [tokens, users] 鎖內重讀
         let u = await p.getGenUserByUserId(userId)
 
         // //check, 不用檢測, 若resolve必定有, 若reject則由外部處理
         // if (!iseobj(u)) {
         // }
 
-        //getBlockedByUser
-        let b = await getBlockedByUser(u)
+        //[tokens, users] 鎖內: 重讀使用者(新鮮) → 判斷是否已封鎖 → 寫 timeBlocked → 撤銷 token, 同一把鎖完成 (S16; 理由同 blockAccount)
+        await withTabLocks(['tokens', 'users'], async () => {
 
-        //check
-        if (b) {
-            return //已封鎖, 禁止重複封鎖
-        }
+            //重讀 token 並再驗身分: 鎖外判定其為使用者 token 與擁有者後, 等鎖期間後台存檔可能已將其升為應用系統金鑰(受信任, 不套用個人速率封鎖)、換擁有者, 或已被登出 / 撤銷;
+            //身分已與鎖外判定不符則不封鎖(以鎖內新鮮狀態為準)
+            let tn = null
+            await p.getTokenByKV('token', token)
+                .then((r) => {
+                    tn = r
+                })
+                .catch(() => {})
+            if (tn === null || get(tn, 'isApp', '') === 'y' || get(tn, 'userId', '') !== u.id) {
+                return
+            }
 
-        //timeBlocked, 依照minBlockForTokenCallApi(min)更新封鎖時間
-        let timeBlocked = ot().add(minBlockForTokenCallApi, 'minute').format('YYYY-MM-DDTHH:mm:ss.SSSZ')
-        // console.log('timeBlocked', timeBlocked)
+            //重讀使用者, 已被刪除則無從封鎖(其 token 已於刪除時同鎖撤銷)
+            let us = await woItems.users.select({ id: u.id })
+            if (size(us) !== 1) {
+                return
+            }
 
-        //封鎖使用者, 須更新使用者timeBlocked; 逐筆檢查 (ADR-080)
-        let errBlock = null
-        await ormWrite(woItems.users, 'save', {
-            id: u.id,
-            timeBlocked,
-        })
-            .catch((err) => {
-                errBlock = err
-            })
+            //getBlockedByUser
+            let b = await getBlockedByUser(us[0])
 
-        //封鎖使用者, 須刪除該 user 名下所有 token (含所用 token; 與 blockAccount 同為 multi-session 強制全部登出, 共用 p.revokeTokensByUserId);
-        //原只刪所用 token, 封鎖期間該使用者其他裝置之既有登入照常可用, 與 spec E2E-005 及登入失敗封鎖不一致 (2026-10-11 改, ADR-080)
-        //封鎖寫入失敗仍撤銷 (依意圖 fail closed, ADR-080)
-        let errRevoke = null
-        await p.revokeTokensByUserId(u.id)
-            .catch((err) => {
-                errRevoke = err
-            })
+            //check
+            if (b) {
+                return //已封鎖, 禁止重複封鎖
+            }
 
-        //check, 失敗記錄後 reject
-        if (errBlock !== null || errRevoke !== null) {
-            logError({
-                event: 'fun-blockAccountByToken',
-                userId: u.id,
-                token: maskToken(token),
-                errBlock: errBlock !== null ? getErrorMessage(errBlock) : '',
-                errRevoke: errRevoke !== null ? getErrorMessage(errRevoke) : '',
-            })
-            return Promise.reject(`failed to block account by token`)
-        }
+            //timeBlocked, 依照minBlockForTokenCallApi(min)更新封鎖時間
+            let timeBlocked = ot().add(minBlockForTokenCallApi, 'minute').format('YYYY-MM-DDTHH:mm:ss.SSSZ')
+            // console.log('timeBlocked', timeBlocked)
+
+            //封鎖使用者, 須更新使用者timeBlocked; 經 procOrm 且 mustExist(只改不增), 更新者記 'system'; 逐筆檢查 (ADR-080)
+            let errBlock = null
+            await procOrm(SYSTEM_ID, 'users', 'save', [{
+                id: u.id,
+                timeBlocked,
+            }], { mustExist: true })
+                .catch((err) => {
+                    errBlock = err
+                })
+
+            //封鎖使用者, 須刪除該 user 名下所有 token (含所用 token; 與 blockAccount 同為 multi-session 強制全部登出, 共用 p.revokeTokensByUserIdLocked 持鎖版);
+            //原只刪所用 token, 封鎖期間該使用者其他裝置之既有登入照常可用, 與 spec E2E-005 及登入失敗封鎖不一致 (2026-10-11 改, ADR-080)
+            //封鎖寫入失敗仍撤銷 (依意圖 fail closed, ADR-080)
+            let errRevoke = null
+            await p.revokeTokensByUserIdLocked(u.id)
+                .catch((err) => {
+                    errRevoke = err
+                })
+
+            //check, 失敗記錄後 reject
+            if (errBlock !== null || errRevoke !== null) {
+                logError({
+                    event: 'fun-blockAccountByToken',
+                    userId: u.id,
+                    token: maskToken(token),
+                    errBlock: errBlock !== null ? getErrorMessage(errBlock) : '',
+                    errRevoke: errRevoke !== null ? getErrorMessage(errRevoke) : '',
+                })
+                return Promise.reject(`failed to block account by token`)
+            }
+
+        })
 
     }
 
@@ -739,7 +791,14 @@ function proc(woItems, p, opt = {}) {
 
     //blockIpByIp
     // blockIpByIp 由 timer 單一 caller 觸發, pmSeries 保證序列化, 無 race; 詳 audit F-052 verifier 結論
+    // (計時器之間互不競態, 但與後台 IP 清單存檔 / 計時器登錄新 IP 並行: 讀取與寫入整段在 ips 表鎖內, 規格 §7; S17 / S18)
     let blockIpByIp = async (ip) => {
+        return await withTabLocks(['ips'], () => _blockIpByIp(ip))
+    }
+
+
+    //_blockIpByIp, 須於 ips 表鎖內呼叫
+    let _blockIpByIp = async (ip) => {
         let errTemp = null
 
         //genTimeBlocked
@@ -785,8 +844,8 @@ function proc(woItems, p, opt = {}) {
             })
             // console.log('funNew', oip)
 
-            //insert
-            await woItems.ips.insert(oip)
+            //insert, 經 procOrm 戳記更新者 'system' (R-CONC-04)
+            await procOrm(SYSTEM_ID, 'ips', 'insert', [oip])
                 .catch((err) => {
                     errTemp = err
                 })
@@ -812,12 +871,12 @@ function proc(woItems, p, opt = {}) {
         let timeBlocked = genTimeBlocked()
         // console.log('timeBlocked', timeBlocked)
 
-        //封鎖ip, 須更新ip的timeBlocked; 逐筆檢查 (ADR-080)
+        //封鎖ip, 須更新ip的timeBlocked; 經 procOrm 且 mustExist(只改不增), 更新者記 'system'; 逐筆檢查 (ADR-080)
         let errSave = null
-        await ormWrite(woItems.ips, 'save', {
+        await procOrm(SYSTEM_ID, 'ips', 'save', [{
             id: oip.id,
             timeBlocked,
-        })
+        }], { mustExist: true })
             .catch((err) => {
                 errSave = err
             })
@@ -865,7 +924,8 @@ function proc(woItems, p, opt = {}) {
 
 
     //timer, 偵測新ip出現儲存至ips; 讀取或新增失敗由 wrapTimer 記錄(timer-error), 下一輪重試(原讀取失敗時重入鎖不釋放而永久停擺, ADR-085)
-    setInterval(wrapTimer('ipDetectNew', async () => {
+    //讀取已登錄 IP 清單、比對與新增整段在 ips 表鎖內(S19): 與後台 IP 清單存檔、自動封鎖寫入互斥; 載入後才登錄之 IP 使持舊畫面存檔者被拒(先動先贏), 不致被整表存檔刪除 (X4)
+    setInterval(wrapTimer('ipDetectNew', () => withTabLocks(['ips'], async () => {
 
         //getIpsList
         let oips = await p.getIpsList()
@@ -911,10 +971,12 @@ function proc(woItems, p, opt = {}) {
         })
         // console.log('oipsNew', oipsNew)
 
-        //insert
-        await woItems.ips.insert(oipsNew)
+        //insert, 經 procOrm 戳記更新者 'system' (R-CONC-04); 無新 IP 時不呼叫
+        if (size(oipsNew) > 0) {
+            await procOrm(SYSTEM_ID, 'ips', 'insert', oipsNew)
+        }
 
-    }, timerError), 2000)
+    }), timerError), 2000)
 
 
     //timer, 限制ip最大調用API次數

package/src/baselineOf.mjs

@@ -0,0 +1,76 @@
+import { buildBaseline, digestRow } from 'w-serv-orm/src/baseline.mjs'
+import contracts from './writeContracts/index.mjs'
+
+
+//後台三個清單頁(使用者 / 金鑰 / IP)共用之基準工具 (多人同時編輯之寫入契約, 原則 10; 規則帳本 rulebook_concurrency R-CONC-05):
+//前端於載入(及存檔成功後重新讀取)時, 以 buildBaseline 對「畫面所見之同一快照」自算有序基準 [[id, 列摘要]], 存檔時隨第 4 參數送後端;
+//後端於表鎖內新鮮讀取、重算比對, 不符整次拒收(零寫入, 先動先贏, 回 saveStale 等語系鍵提示重新載入). 不另向後端取雜湊, RPC 回傳形狀不變.
+//算不出基準(列格式異常等)回 null: 送出時 null 被後端視為格式不識而拒收 saveBaselineFormat(提示重新載入), 不降級為不帶基準.
+
+
+//safeBaseline
+function safeBaseline(rows, contract) {
+    try {
+        return buildBaseline(rows, contract)
+    }
+    catch (err) {
+        console.log('buildBaseline catch', err)
+        return null
+    }
+}
+
+
+//baselineOfUsers: rows 為 getUsersList 之回傳(未排序、未變動); 回傳基準陣列或 null
+function baselineOfUsers(rows) {
+    return safeBaseline(rows, contracts.users)
+}
+
+
+//baselineOfIps: rows 為 getIpsList 之回傳
+function baselineOfIps(rows) {
+    return safeBaseline(rows, contracts.ips)
+}
+
+
+//baselineOfTokens: rows 為 getTokensList 之回傳; 回傳 { baseline, baselineSession } 或 null
+//baseline 為應用系統金鑰列(isApp === 'y', 嚴格整表比對), baselineSession 為 session 列(逐列寬鬆比對, 契約 tokensSession)
+function baselineOfTokens(rows) {
+    let baseline = safeBaseline(rows, contracts.tokens)
+    let baselineSession = safeBaseline(rows, contracts.tokensSession)
+    if (baseline === null || baselineSession === null) {
+        return null
+    }
+    return { baseline, baselineSession }
+}
+
+
+//isSameSnapshot: 兩份列(各依主鍵)之契約 fields 摘要是否全相同(含列數); 存檔成功重新讀取後, 送出之列與伺服端列相同者保留現畫面,
+//不同者(如他人於載入後有更動、伺服端正規化)須改以伺服端列取代, 令畫面所見之列與新基準來自同一快照 (規格 §8)
+//不比對列序: 僅供無名次欄(orderKey)之金鑰 / IP 清單使用(顯示序由前端自排); 使用者清單存檔成功後一律以重新讀取之列取代, 不用本函數
+function isSameSnapshot(rowsA, rowsB, contract) {
+    try {
+        if (!Array.isArray(rowsA) || !Array.isArray(rowsB) || rowsA.length !== rowsB.length) {
+            return false
+        }
+        let mp = new Map()
+        for (let r of rowsA) {
+            mp.set(r.id, digestRow(r, contract))
+        }
+        if (mp.size !== rowsA.length) {
+            return false
+        }
+        for (let r of rowsB) {
+            if (mp.get(r.id) !== digestRow(r, contract)) {
+                return false
+            }
+        }
+        return true
+    }
+    catch (err) {
+        return false
+    }
+}
+
+
+export { baselineOfUsers, baselineOfIps, baselineOfTokens, isSameSnapshot }
+export default { baselineOfUsers, baselineOfIps, baselineOfTokens, isSameSnapshot }

package/src/components/LayoutContentIps.vue

@@ -239,6 +239,8 @@ import WPopup from 'w-component-vue/src/components/WPopup.vue'
 import WInputCheckbox from 'w-component-vue/src/components/WInputCheckbox.vue'
 import WAggridVue from 'w-aggrid-vue/src/components/WAggridVue.vue'
 import WTimeminute from 'w-component-vue/src/components/WTimeminute.vue'
+import contracts from '../writeContracts/index.mjs'
+import { baselineOfIps, isSameSnapshot } from '../baselineOf.mjs'
 
 
 export default {
@@ -269,6 +271,7 @@ export default {
             headHeight: 100,
 
             firstLoading: true,
+            baseline: null, //載入時(及存檔成功後重新讀取時)畫面所見之列的有序基準 [[id, 列摘要]], 存檔時送後端比對(多人同時編輯, 先動先贏); null 為未載入或算不出, 送出時被後端拒收
             errMsg: '', //清單載入失敗之訊息(getDataError), 有值時以訊息取代表格
             firstSetting: true,
             systemProcing: false, //程式端載入/重載清單資料期間為true, 用於排除非使用者操作之rowsChange
@@ -329,6 +332,7 @@ export default {
         vo.$fapi.getIpsList(token)
             .then((res) => {
                 // console.log(res)
+                vo.baseline = baselineOfIps(res) //對畫面所見之同一快照自算基準(須在排序、變動之前; buildBaseline 不改輸入)
                 res = sortBy(res, 'ip').reverse()
                 vo.ips = res
                 vo.markDataReload() //程式端寫入資料, 其後續 rowsChange 非使用者變更
@@ -765,8 +769,9 @@ export default {
                 let lang = get(vo, '$store.state.lang', 'eng')
                 // console.log('token', token)
 
-                //updateIpsList (帶 lang, 後端 reject { key, msg } 之 msg 依 lang 翻譯)
-                await vo.$fapi.updateIpsList(token, lang, rows)
+                //updateIpsList (帶 lang, 後端 reject { key, msg } 之 msg 依 lang 翻譯), 第 4 參數帶載入時之基準:
+                //載入後資料已被他人或系統(計時器自動登錄新 IP、自動封鎖)更動者整次拒收(零寫入, 回 saveStale 等語系鍵提示重新載入), 草稿保留(不清 isModified)
+                await vo.$fapi.updateIpsList(token, lang, rows, { baseline: vo.baseline })
                     .catch((err) => {
                         errTemp = err
                     })
@@ -780,6 +785,23 @@ export default {
                     return
                 }
 
+                //儲存成功 → 重新讀取 getIpsList 作為新基準(取自伺服端, 不以自己送出之值當基準), 畫面所見之列須與新基準來自同一快照 (規格 §8):
+                //送出之列與伺服端列的契約欄位摘要全相同者保留現畫面(伺服器專有欄位維持原呈現, 與既有行為相同), 不同者改以伺服端列取代;
+                //重新讀取失敗則基準置 null(其後再存檔被後端拒收並提示重新載入, 不降級為不帶基準)
+                await vo.$fapi.getIpsList(token)
+                    .then((res) => {
+                        vo.baseline = baselineOfIps(res)
+                        if (!isSameSnapshot(rows, res, contracts.ips)) {
+                            res = sortBy(res, 'ip').reverse()
+                            vo.ips = res
+                            vo.markDataReload() //程式端寫入資料, 其後續 rowsChange 非使用者變更
+                        }
+                    })
+                    .catch((err) => {
+                        console.log('refresh getIpsList catch', err)
+                        vo.baseline = null
+                    })
+
                 //isModified
                 vo.isModified = false
 

package/src/components/LayoutContentTokens.vue

@@ -376,6 +376,8 @@ import WAggridVue from 'w-aggrid-vue/src/components/WAggridVue.vue'
 import WTimeminute from 'w-component-vue/src/components/WTimeminute.vue'
 import { keysAppPerm, keysAppPermBase, keysAppPermHigh, getAppPerms, normAppPerms } from '../appPerms.mjs'
 import AppPermsTags from './AppPermsTags.vue'
+import contracts from '../writeContracts/index.mjs'
+import { baselineOfTokens, isSameSnapshot } from '../baselineOf.mjs'
 
 
 export default {
@@ -407,6 +409,7 @@ export default {
             headHeight: 100,
 
             firstLoading: true,
+            baselines: null, //載入時(及存檔成功後重新讀取時)畫面所見之列的基準 { baseline: 應用系統金鑰列〔嚴格整表比對〕, baselineSession: session 列〔逐列寬鬆比對〕 }, 存檔時送後端(多人同時編輯, 先動先贏); null 為未載入或算不出, 送出時被後端拒收
             errMsg: '', //清單載入失敗之訊息(getDataError), 有值時以訊息取代表格
             firstSetting: true,
             systemProcing: false, //程式端載入/重載清單資料期間為true, 用於排除非使用者操作之rowsChange
@@ -490,6 +493,7 @@ export default {
         vo.$fapi.getTokensList(token)
             .then((res) => {
                 // console.log(res)
+                vo.baselines = baselineOfTokens(res) //對畫面所見之同一快照自算基準(須在排序、變動之前; buildBaseline 不改輸入)
                 res = sortBy(res, 'timeCreate').reverse()
                 vo.tokens = res
                 vo.markDataReload() //程式端寫入資料, 其後續 rowsChange 非使用者變更
@@ -1119,8 +1123,9 @@ export default {
                 let lang = get(vo, '$store.state.lang', 'eng')
                 // console.log('token', token)
 
-                //updateTokensList (帶 lang, 後端 reject { key, msg } 之 msg 依 lang 翻譯)
-                await vo.$fapi.updateTokensList(token, lang, rows)
+                //updateTokensList (帶 lang, 後端 reject { key, msg } 之 msg 依 lang 翻譯), 第 4 參數帶載入時之基準:
+                //應用系統金鑰列嚴格整表比對, session 列(登入新增、續期、登出等系統頻繁增刪)逐列寬鬆比對; 不符整次拒收(零寫入, 回 saveStale 等語系鍵提示重新載入), 草稿保留(不清 isModified)
+                await vo.$fapi.updateTokensList(token, lang, rows, vo.baselines === null ? { baseline: null, baselineSession: null } : { baseline: vo.baselines.baseline, baselineSession: vo.baselines.baselineSession })
                     .catch((err) => {
                         errTemp = err
                     })
@@ -1134,6 +1139,23 @@ export default {
                     return
                 }
 
+                //儲存成功 → 重新讀取 getTokensList 作為新基準(取自伺服端, 不以自己送出之值當基準: 寫入時 clearXSS、perms 去重排序等會改寫部分值, 且 session 列於此期間可能已續期或新增),
+                //畫面所見之列須與新基準來自同一快照 (規格 §8): 送出之列與伺服端列的契約欄位摘要全相同者保留現畫面(伺服器專有欄位如 timeUpdate 維持原呈現, 與既有行為相同),
+                //不同者(他人或系統於期間有更動)改以伺服端列取代; 重新讀取失敗則基準置 null(其後再存檔被後端拒收並提示重新載入, 不降級為不帶基準)
+                await vo.$fapi.getTokensList(token)
+                    .then((res) => {
+                        vo.baselines = baselineOfTokens(res)
+                        if (!isSameSnapshot(rows, res, contracts.tokens)) {
+                            res = sortBy(res, 'timeCreate').reverse()
+                            vo.tokens = res
+                            vo.markDataReload() //程式端寫入資料, 其後續 rowsChange 非使用者變更
+                        }
+                    })
+                    .catch((err) => {
+                        console.log('refresh getTokensList catch', err)
+                        vo.baselines = null
+                    })
+
                 //isModified
                 vo.isModified = false
 

package/src/components/LayoutContentUsers.vue

@@ -423,6 +423,7 @@ import WInputCheckbox from 'w-component-vue/src/components/WInputCheckbox.vue'
 import WAggridVue from 'w-aggrid-vue/src/components/WAggridVue.vue'
 import WTimeminute from 'w-component-vue/src/components/WTimeminute.vue'
 import WButtonChip from 'w-component-vue/src/components/WButtonChip.vue'
+import { baselineOfUsers } from '../baselineOf.mjs'
 
 
 export default {
@@ -458,6 +459,7 @@ export default {
             headHeight: 100,
 
             firstLoading: true,
+            baseline: null, //載入時(及存檔成功後重新讀取時)畫面所見之列的有序基準 [[id, 列摘要]], 存檔時送後端比對(多人同時編輯, 先動先贏); null 為未載入或算不出, 送出時被後端拒收
             errMsg: '', //清單載入失敗之訊息(getDataError), 有值時以訊息取代表格
             firstSetting: true,
             systemProcing: false, //程式端載入/重載清單資料期間為true, 用於排除非使用者操作之rowsChange
@@ -573,6 +575,7 @@ export default {
         vo.$fapi.getUsersList(token)
             .then((res) => {
                 // console.log(res)
+                vo.baseline = baselineOfUsers(res) //對畫面所見之同一快照自算基準(須在排序、變動之前; buildBaseline 不改輸入)
                 res = sortBy(res, 'order')
                 vo.users = res
                 vo.markDataReload() //程式端寫入資料, 其後續 rowsChange 非使用者變更
@@ -1550,14 +1553,14 @@ export default {
                 let token = vo.userToken
                 let lang = get(vo, '$store.state.lang', 'eng')
 
-                //updateUsersList
-                await vo.$fapi.updateUsersList(token, lang, rows)
+                //updateUsersList, 第 4 參數帶載入時之基準: 載入後資料已被他人或系統更動者整次拒收(零寫入, 回 saveStale 等語系鍵提示重新載入), 草稿保留(不清 isModified)
+                await vo.$fapi.updateUsersList(token, lang, rows, { baseline: vo.baseline })
                     .catch((err) => {
                         errTemp = err
                     })
 
                 //check
-                //後端 reject (token 過期 / ckKey 衝突 / 密碼策略違反 / 自我鎖死等)
+                //後端 reject (token 過期 / ckKey 衝突 / 密碼策略違反 / 自我鎖死 / 基準不符等)
                 //改用 showCheckYes 強制 admin 點擊確認讀過訊息, 避免 transient toast 漏看
                 if (errTemp !== null) {
                     //hide loading 因 showCheckYes 是 modal, 等待期間 loading 會疊著
@@ -1570,14 +1573,17 @@ export default {
 
                 //儲存成功 → 重拉 getUsersList 同步 server-side data (新增使用者的 timeVerified
                 //在後端被填 now, 既有使用者的 audit fields 也在後端被覆寫, 須刷新前端表格)
+                //新基準取自伺服端重新讀取之列(不以自己送出之值當基準: 寫入時 clearXSS 等會改寫部分字串), 且與畫面所見之列來自同一快照 (規格 §8)
                 await vo.$fapi.getUsersList(token)
                     .then((res) => {
+                        vo.baseline = baselineOfUsers(res)
                         res = sortBy(res, 'order')
                         vo.users = res
                         vo.markDataReload() //程式端寫入資料, 其後續 rowsChange 非使用者變更
                     })
                     .catch((err) => {
                         console.log('refresh getUsersList catch', err)
+                        vo.baseline = null //重新讀取失敗: 舊基準已過期, 不沿用; 其後再存檔被後端拒收並提示重新載入(不降級為不帶基準)
                     })
 
                 //isModified

package/src/schema/tables/ips.mjs

@@ -26,6 +26,10 @@ let settings = {
         name: '封鎖時間',
         type: 'STRING',
     },
+    userIdUpdate: { //最後修改者(伺服器專有, 由 procOrm 戳記; 系統計時器寫入記常數 'system', 見 rulebook_concurrency R-CONC-04)
+        name: '最新變更使用者主鍵',
+        type: 'STRING',
+    },
 }
 
 let funNew = (ndata = {}) => {

package/src/schema/tables/tokens.mjs

@@ -44,6 +44,10 @@ let settings = {
         name: '到期時間',
         type: 'STRING',
     },
+    userIdUpdate: { //最後修改者(伺服器專有, 由 procOrm 戳記; 系統計時器寫入記常數 'system', 見 rulebook_concurrency R-CONC-04); userId 為擁有者, 不被操作者覆寫
+        name: '最新變更使用者主鍵',
+        type: 'STRING',
+    },
     timeUpdate: {
         name: '更新時間',
         type: 'STRING',