Arcrun

Leo/Arcrun

Fork 0

Commit Graph

Author	SHA1	Message	Date
uncle6me-web	aa49b4eeb2	fix(kbdb): 刪 record 不再刪掉別人還指著的 entry（Arcrun#128 的必然配套）上一筆讓 slot 可以指向既有 entry 之後，同一條 entry 會同時被別的 record 指著。 deleteRecord 舊寫法是「這筆 record 的每個 entry_id 都刪掉」，在共用的情況下會： · 把別人還在用的那條水池資料一起刪掉（他的 slot 從此指向不存在的列），或 · 撞上 `entry_values.entry_id REFERENCES entries(id)` 的 FK 而整個刪除失敗 ⇒ 條件改成「已經沒有任何 entry_values 指著它」才刪（`DELETE FROM entries WHERE id = ? AND NOT EXISTS (SELECT 1 FROM entry_values WHERE entry_id = ?)`）沒有共用時行為與舊版完全相同：這筆 record 的關聯列已先刪掉，若沒有別人指著， NOT EXISTS 恆為真 ⇒ 照樣刪。差別只出現在真的被共用的那一條上。驗（同檔 +2 條，真 SQLite 且 `PRAGMA foreign_keys = ON`） · 兩筆 record 共用一段、刪掉其中一筆：entries 2 → 1（只少掉那筆自己專屬的 title），共用那條還在，另一筆 record 讀回來的 slot 值不受影響 · 沒有共用時：3 個 slot 的 entry 全刪、entry_values 歸零、getRecord 回 null（同舊版） kbdb 全套 232 綠 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>	2026-08-15 14:44:32 +08:00
uncle6me-web	5b22d569c9	fix(kbdb): createRecord 的 slot 可以指向既有 entry——外鍵不再被實作成複製（Arcrun#128） leo 2026-08-15 的心智模型：「blocks 是一個大水池，template/slots 組成虛擬表和 fields，最後都指向水池的一條 entry⋯⋯連到三元組就是外鍵」。而 `entry_values` 的約束只有 `UNIQUE(record_id, slot_name)`、`entry_id` 上沒有任何 unique ⇒ 一條 entry 本來就能被無限多筆 record 的無限多個 slot 參照，儲存層早就是外鍵語意，壞的只有寫入路徑：createRecord 對每個 slot 值都無條件 createEntry ⇒ 每設一次外鍵就把被參照的資料複製一份。那不是外鍵，那是複製。為什麼是地基而不是省空間：複製讓資料量隨「有幾個 App 參照它」線性膨脹，而且兩份從此各自漂移 ⇒ 遲早要有人來清 ⇒ 直接違背這個模型的產品承諾「加一個 App 只要建一份 template，不必遷移、不需要工程師」（llm-wiki-schema.md）。#129（wiki template）、 #130（三元組正規化）、#60（alias 餵了沒用）三票都卡在它後面。做了什麼（不動 schema、不動舊資料、不加表） · CreateRecordInput 多一個 entry_ids：{slot: 既有 entry id}，與 values 並存 —— 給字串照舊新建（舊呼叫端一個字不用改），給 id 就只插一列 entry_values · POST /records 接受只給 entry_ids（舊版這裡回 400），並驗兩個 map 的型別 · 寫入前先把被參照的 entry 讀出來，一次擋掉三種錯，且檢查全在第一筆 INSERT 之前 ⇒ 失敗＝一列都沒寫（base 沒有交易，這是唯一保證得了的原子性） ① id 不存在（FK 只會回一句 SQLITE_CONSTRAINT，說不出是哪個 slot） ② 🔴 跨租戶：新路徑讓呼叫端能自己指定 entry_id，不擋就等於開一扇「把別人的 entry 掛進自己的 record 再讀回內容」的門（rules 02 §6.1 同精神） ③ 指到 template 沒有的 slot → 報錯，不學 values 那條靜默略過（外鍵無聲消失是最難查的失敗：呼叫端以為建好了，template= 查詢卻永遠撈不到）驗（tests/record-entry-ref.test.ts，17 條，真 SQLite 套 0001_base.sql 原檔—— 「列數變不變」是 capture-DB 驗不到的東西，必須有真的表在數） · 五個 slot 全指既有 entry：entries 5 → 5（差 0），entry_values 0 → 5 對照組同樣五段給字串：entries 5 → 10（差 5）＝原本的複製行為 · 一條 entry 同時被兩筆 record、且被同一筆 record 的兩個 slot 指到 → 讀回都正確 · 改水池那一份 → 兩筆 record 都看到新內容（副本做不到，證明真的是同一條） · searchByTemplate('wiki','leo') 撈得到，五個 slot 值正確 · 舊路徑逐項不變：3 筆新 entry、entry_type='value'、owner_id 帶歸屬、 template 沒有的 slot 照舊只 echo 不存；POST 舊 body 仍 200 kbdb 全套 215 → 230 綠（新增 15 條，既有一條都沒動） Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>	2026-08-15 14:43:42 +08:00

Author

SHA1

Message

Date

uncle6me-web

aa49b4eeb2

fix(kbdb): 刪 record 不再刪掉別人還指著的 entry（Arcrun#128 的必然配套）

上一筆讓 slot 可以指向既有 entry 之後，同一條 entry 會同時被別的 record 指著。
deleteRecord 舊寫法是「這筆 record 的每個 entry_id 都刪掉」，在共用的情況下會：
  · 把**別人還在用**的那條水池資料一起刪掉（他的 slot 從此指向不存在的列），或
  · 撞上 `entry_values.entry_id REFERENCES entries(id)` 的 FK 而整個刪除失敗
⇒ 條件改成「已經沒有任何 entry_values 指著它」才刪
  （`DELETE FROM entries WHERE id = ? AND NOT EXISTS (SELECT 1 FROM entry_values WHERE entry_id = ?)`）

**沒有共用時行為與舊版完全相同**：這筆 record 的關聯列已先刪掉，若沒有別人指著，
NOT EXISTS 恆為真 ⇒ 照樣刪。差別只出現在真的被共用的那一條上。

驗（同檔 +2 條，真 SQLite 且 `PRAGMA foreign_keys = ON`）
· 兩筆 record 共用一段、刪掉其中一筆：entries 2 → 1（只少掉那筆自己專屬的 title），
  共用那條還在，另一筆 record 讀回來的 slot 值不受影響
· 沒有共用時：3 個 slot 的 entry 全刪、entry_values 歸零、getRecord 回 null（同舊版）

kbdb 全套 232 綠

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

2026-08-15 14:44:32 +08:00

uncle6me-web

5b22d569c9

fix(kbdb): createRecord 的 slot 可以指向既有 entry——外鍵不再被實作成複製（Arcrun#128）

leo 2026-08-15 的心智模型：「blocks 是一個大水池，template/slots 組成虛擬表和
fields，最後都指向水池的一條 entry⋯⋯連到三元組就是外鍵」。

而 `entry_values` 的約束只有 `UNIQUE(record_id, slot_name)`、`entry_id` 上沒有任何
unique ⇒ 一條 entry 本來就能被無限多筆 record 的無限多個 slot 參照，
**儲存層早就是外鍵語意，壞的只有寫入路徑**：createRecord 對每個 slot 值都無條件
createEntry ⇒ 每設一次外鍵就把被參照的資料複製一份。那不是外鍵，那是複製。

為什麼是地基而不是省空間：複製讓資料量隨「有幾個 App 參照它」線性膨脹，而且兩份
從此各自漂移 ⇒ 遲早要有人來清 ⇒ 直接違背這個模型的產品承諾「加一個 App 只要建一份
template，不必遷移、不需要工程師」（llm-wiki-schema.md）。#129（wiki template）、
#130（三元組正規化）、#60（alias 餵了沒用）三票都卡在它後面。

做了什麼（不動 schema、不動舊資料、不加表）
· CreateRecordInput 多一個 entry_ids：{slot: 既有 entry id}，與 values 並存
  —— 給字串照舊新建（舊呼叫端一個字不用改），給 id 就只插一列 entry_values
· POST /records 接受只給 entry_ids（舊版這裡回 400），並驗兩個 map 的型別
· 寫入前先把被參照的 entry 讀出來，一次擋掉三種錯，且**檢查全在第一筆 INSERT 之前**
  ⇒ 失敗＝一列都沒寫（base 沒有交易，這是唯一保證得了的原子性）
    ① id 不存在（FK 只會回一句 SQLITE_CONSTRAINT，說不出是哪個 slot）
    ② 🔴 跨租戶：新路徑讓呼叫端能自己指定 entry_id，不擋就等於開一扇
       「把別人的 entry 掛進自己的 record 再讀回內容」的門（rules 02 §6.1 同精神）
    ③ 指到 template 沒有的 slot → 報錯，不學 values 那條靜默略過
       （外鍵無聲消失是最難查的失敗：呼叫端以為建好了，template= 查詢卻永遠撈不到）

驗（tests/record-entry-ref.test.ts，17 條，真 SQLite 套 0001_base.sql 原檔——
「列數變不變」是 capture-DB 驗不到的東西，必須有真的表在數）
· 五個 slot 全指既有 entry：entries 5 → 5（差 0），entry_values 0 → 5
  對照組同樣五段給字串：entries 5 → 10（差 5）＝原本的複製行為
· 一條 entry 同時被兩筆 record、且被同一筆 record 的兩個 slot 指到 → 讀回都正確
· 改水池那一份 → 兩筆 record 都看到新內容（副本做不到，證明真的是同一條）
· searchByTemplate('wiki','leo') 撈得到，五個 slot 值正確
· 舊路徑逐項不變：3 筆新 entry、entry_type='value'、owner_id 帶歸屬、
  template 沒有的 slot 照舊只 echo 不存；POST 舊 body 仍 200

kbdb 全套 215 → 230 綠（新增 15 條，既有一條都沒動）

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

2026-08-15 14:43:42 +08:00

2 Commits