@cella-lang/cpp 0.1.202610081556 → 0.1.202610081645

package/CHANGES.md

@@ -3,6 +3,12 @@
 給使用這個套件的工具（產生 `cpp.*` 項的翻譯器）看的 API 變更。每一版的完整邊界清單在 `README.md`。
 雜湊（每個定義的 own／merkle，見 `index.json`）在不穩定期可能改變；下面列出改變的定義。
 
+## 2026-10-09
+
+### 檢查器
+
+- 套件格式 CBF 20（Π 可以帶模態）：要用支援 CBF 20 的檢查器載入。每個定義的 own／merkle 雜湊都不變。
+
 ## 2026-10-08
 
 ### 定理

package/index.json

@@ -1,6 +1,6 @@
 {
-  "cbfVersion": 19,
-  "checkerHash": "fe5a6d3009b729cb",
+  "cbfVersion": 20,
+  "checkerHash": "213439d9a8798375",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -4414,7 +4414,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "fe5a6d3009b729cb",
+      "checkerHash": "213439d9a8798375",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610081556",
+  "version": "0.1.202610081645",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -20,14 +20,14 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610081556"
+    "cella-lang": "0.1.202610081645"
   },
   "cella": {
-    "checkerHash": "fe5a6d3009b729cb",
-    "cbfVersion": 19,
+    "checkerHash": "213439d9a8798375",
+    "cbfVersion": 20,
     "modules": [
       "cpp"
     ],
-    "packHash": "33ac70bdd5a9ec1f"
+    "packHash": "262dcf0da837a757"
   }
 }