@cella-lang/cpp 0.1.202610081421 → 0.1.202610081453

package/CHANGES.md

@@ -18,6 +18,10 @@
 - **自然數次方加速**（`power`，照 Lean 4 的 `Nat.pow`，指數 ≤ 2^24）：數學函式的每一輪都要算好幾次 2 的冪，sinh 一筆從 5 秒變成約 0.1 秒；差分與測試都跟著變快。
 - **拒絕的判決也帶其他定義的狀態**：一份檔有錯時，之前判決只有錯誤；現在其他定義照樣跑終止性檢查與第二個 kernel，`--json` 的 `unknown` 列出無法判定的定義（洞、預算用完、依賴被拒絕的定義），文字輸出也列出 `? 名字 — 原因`。`verdict` 仍是 `reject`；沒列出的定義是通過。
 
+### 輸出格式操縱子
+
+- **`hex`／`oct`、`showbase`、`uppercase`、`boolalpha`、`showpos`、`setw`、`setfill`、`left`、`fixed`／`scientific`、`setprecision`**：格式描述 `cpp.OutFmt`（`cpp.defaultFmt` 與 `cpp.fmtBase`、`fmtShowBase`、`fmtUpper`、`fmtBoolAlpha`、`fmtShowPos`、`fmtWidth`、`fmtFill`、`fmtLeft`、`fmtMode cpp.fmFixed`／`cpp.fmSci`／`cpp.fmDefault`、`fmtPrec`），由呼叫端帶著；`cpp.coutVF fmt x st`、`cpp.coutFF fmt x st`、`cpp.coutStrF`、`cpp.coutLitF` 照它輸出。`setw` 只作用在下一次輸出：輸出之後把寬度設回 0（`boolalpha` 的 bool 例外，見邊界清單）。既有的 `coutV`、`coutF`、`coutG`、`coutFixed` 不變。
+
 ### 迭代器
 
 - **API 改變**：vector／陣列的迭代器從單純的位置（`Nat`）改成 `cpp.It`（位置＋取得時容器的版本）。`itBegin`／`itEnd`／`itMove`／`itNext` 回傳 `It`；`itDiff` 多了容器與前置條件（`cpp.itDiff pl a k2 k1 (cpp.itBothOk refl)`）；位置用 `cpp.itPos`。`findA`／`minElementA`／`maxElementA` 照舊回傳位置，另有回傳迭代器的 `findIt`／`minElementIt`／`maxElementIt`。

package/index.json

@@ -1,11 +1,15 @@
 {
   "cbfVersion": 19,
-  "checkerHash": "8090aec587c73d7e",
+  "checkerHash": "cfa14e496df4272a",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
       "own": "4044c970bfd3496a125208d8989fd262f489b8d1370675fa4d2a3c698140b916"
     },
+    "cpp.__RecordTag_cpp.OutFmt": {
+      "merkle": "417bd6dfca710f12bc2adf971f944b23335bfa066c61883b09980eeaf9872acb",
+      "own": "69bb670c3c1b87b1ef608fd56292a5e9c01d68157e46bcdd2eaa85a71cdc3ca5"
+    },
     "cpp.cpp.AType": {
       "merkle": "a62c085c174dae0c69ecfb42bdb09fd1d8097da9ffffdb4bc2ec443cc42f0715",
       "own": "f2a0398b1a8ae3dafb8055f7b1914a6d4e6ec316c9dbb94329cb0eb9f792bb07"
@@ -122,6 +126,10 @@
       "merkle": "c2a364aa33f08f48f10a1b99189af212beefb3aba2520599836dd4b35f4dabd4",
       "own": "42367c4fbf4fb4de12a5c446d81389b737983c8a002be446ad56fa641fa53fe8"
     },
+    "cpp.cpp.FMode": {
+      "merkle": "15646e4998caa7360e9d63d12ad04c1cb7a814a9a309fbbe80ab8c5f859ed694",
+      "own": "3174bfd4d5b6e10f64970994d59cf94e8e4d4e13e1237673d0a315436fe7d6cb"
+    },
     "cpp.cpp.FNonZeroD": {
       "merkle": "b1280fc9afbeda3542ee0ba9f7570f9e5c03d3d67cd796c5029513f1aebb0316",
       "own": "e0ef51ecb0d859e7da8d1d700c54ae9e765ec4bc30f79b285909796f0fb87c3f"
@@ -262,6 +270,14 @@
       "merkle": "07fe796fb3726b7569ff0294816f52a131f3626abcbb3e3d6c8e3f6cac092669",
       "own": "bd72f3688030a234dc8be7104b82c6b9f7643206751942c06a6617885f66e80c"
     },
+    "cpp.cpp.OutFmt": {
+      "merkle": "b2636a459034c7d8e85bd08495d02d348015f6eaea7e09c34d871e749a3a2124",
+      "own": "f1dd6eddd187f76022215e39005cb9b74ecd092d2b6012ffc27d1080f7ff61af"
+    },
+    "cpp.cpp.OutFmt.mk": {
+      "merkle": "d5f45952d492a186acdf4793093a9a803f96696f6acff674a92d53aa4be96692",
+      "own": "707fa820a34f82ec24cb75e74c702200cde9b2d0804121340d778fd8ecbb1e62"
+    },
     "cpp.cpp.PQ": {
       "merkle": "945dda41a96282ede434134bbc6d6e63bf88e3245d559644f84fdc27b5d91293",
       "own": "015b45e139220153b4a3cf01e8fc6f0730eb4d016a78ea2e64519fff2f871493"
@@ -982,6 +998,10 @@
       "merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
       "own": "06203576d7e4ddda3e63c4e367155e9a4fb98b163f685301462dd88a23701a9d"
     },
+    "cpp.cpp.coutFF": {
+      "merkle": "1b017a12b3ef7e87b8f6acfdc67b1fc40e8e14a36bae8b78d82789363eeff299",
+      "own": "3261056603d9dc2a39521e1a8577f55feda7fc1e8a7c6a69fd854733d0740032"
+    },
     "cpp.cpp.coutFixed": {
       "merkle": "3ef59f441670162fdccde5f37955d3f8ae8e485f5dac947a8242438d7fee36d8",
       "own": "35f343c49742c45ae1fc7c4b5e7c1b51397f6411135cc38ffaa94c28c09ca973"
@@ -990,6 +1010,10 @@
       "merkle": "38c77b22bb41446b261ef1ade99eafd90e73b4a615cb56a19f4f4602222fb4dd",
       "own": "7c348df4cbf8459e6732aab9c8c35ccf1d2bf94118a0b12148b12e91fb4ed770"
     },
+    "cpp.cpp.coutLitF": {
+      "merkle": "d79e5611ca84ce8f97ea7f390640108c0b0ddfbd80981c7a78bcff414c0a54c2",
+      "own": "f0788c68cfa1f1bd88ffae9dcfe68fd5942f64519df8da63acb6f3d4a2022de4"
+    },
     "cpp.cpp.coutS": {
       "merkle": "174a94933102cb291dd19e30377267cb79c832be7cf2a0e7b33a2b82c5420cfb",
       "own": "24f2f2745e9132cf2636ad0500c6bf856d4d3ea05916b373183883c6b2be80cf"
@@ -998,10 +1022,18 @@
       "merkle": "744650240b801bacc04251f387c239f30f5d79aa2984a692c3315a6001d22002",
       "own": "fde7640e20f5c9ecccbe698eda71ca75336d6c45c629ffd7e31eea6115e3395f"
     },
+    "cpp.cpp.coutStrF": {
+      "merkle": "c53b73d192e4c791b0e2f71277714a26acd3cd62f9de6b4b88431dc6dd065bd9",
+      "own": "6ec7741a3f87f71263b1f9622d4edd79162e9a8aec5345fcf675ccc73c78b418"
+    },
     "cpp.cpp.coutV": {
       "merkle": "71da7a834267759179292d69d7aa9d5a99ceaed9fcc76dd41b0d5bae30800820",
       "own": "b15d0e7c993d9e59fea8e417ad9955b823d934e2a68c89c661f3dde1338f037d"
     },
+    "cpp.cpp.coutVF": {
+      "merkle": "9bdd6ca6c621da632b4c78c4a67369c6738385136d2b9d673e79d9d1a308d035",
+      "own": "905e091ac53b38e2eba5b9c0776b34cb0376469a9123897456af9eac75919ec2"
+    },
     "cpp.cpp.covers": {
       "merkle": "4efd904b333c8e276425e58e79c4ea667025cf61d3bbe71817bab2c583374c71",
       "own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
@@ -1034,6 +1066,10 @@
       "merkle": "15729f9015ab8666902bb09f04c53b477d94d24ac2d5abe0d12a468c5e56464c",
       "own": "4041eeb54d67e53f283fe61aa9ef9ffe9d146370dbe6560968b6200c7636061d"
     },
+    "cpp.cpp.defaultFmt": {
+      "merkle": "7f0ae5e4ece5ba77be5838d4026de63b2d62c7070a36cf46bf6b7969cddc55b5",
+      "own": "13efd28162f09386b7e473930e67dcc5ede3832b823a40b7b69cdb142763083a"
+    },
     "cpp.cpp.delete": {
       "merkle": "c3d09313994355fe2c38faa2d502d2e05e7ee2f83d3ea6026849a8b84b273ad0",
       "own": "453bc32883bcdf3f3c1eea31439b7b299f242001c2da9a84b3591876a801b6e8"
@@ -1062,6 +1098,10 @@
       "merkle": "c8d7d3da2ee6f0732c19d45a76c8394d3ad1c9fee89e891733938be138e8c9e3",
       "own": "4719744efa895d881497b95f309819f8b96b7aaa1c620ec390cfe5ccb8ccd719"
     },
+    "cpp.cpp.digitChar": {
+      "merkle": "0be278c9ff3095809f312c61c3fa528acc62e6635192efcffedf918b7bc57808",
+      "own": "3eb5e5b81111ac2b54927ded0fb1f75f3270d1c071040246f410bb0e0fab5441"
+    },
     "cpp.cpp.digitsB": {
       "merkle": "489ce1b10a6d5b7084ff74ca185655e40c269d4c8140aabdcb459b09605b24e7",
       "own": "5fb4b7346f41f6b6ec0f986bee57811df62301d44672d73c7cc31d38355ba415"
@@ -1670,10 +1710,26 @@
       "merkle": "4cfdac841b46a9ced8957b9b67f2984d4c934b8dd09c44f3e17486cd88625100",
       "own": "6d304afcf1de0f298c80bccc3819c4eeffe02f71d026afcec1ff4c072bb92a12"
     },
+    "cpp.cpp.fmtBase": {
+      "merkle": "4f362e41c92bb75fcdf93762e020457312df07d6fced62e9f7762723da577158",
+      "own": "656e9a536dc6847371d42749c72fdb23b4d88c3bc623062a70dc008d0ebafa4c"
+    },
+    "cpp.cpp.fmtBoolAlpha": {
+      "merkle": "19a0a1b9b7adf5043714a6ef7b3dbfec68f511e01f9e3123e3ffb0f26688a5eb",
+      "own": "fd0438782d7995d99d1069d7e23f53d192860583f30f69ee7c1e892463860ccd"
+    },
+    "cpp.cpp.fmtFill": {
+      "merkle": "88a235d1748ea1813d7948491cb51308bbfc466946a080acb34b819e52f97307",
+      "own": "5fc8a02ec1d128fafba3de6e866c94c3a23c612b48ca555631870de22e17bb80"
+    },
     "cpp.cpp.fmtFixed": {
       "merkle": "3d427b9b7bc35b33cbb352390a81b6eb0b4eb6b359ec3737b6109f256298207e",
       "own": "74af221a9f3ea84b8da18a6597b6785cb44ed4755c10fc42240433086572ac8e"
     },
+    "cpp.cpp.fmtFloatF": {
+      "merkle": "3105719f0f05af71164b67f42d667be249f76a6ba77ddf5d73eeaea359d5ca2b",
+      "own": "a88d022fdc6e782860b84128bfbc735718e1665303e37b56da4e25f7e9f00eeb"
+    },
     "cpp.cpp.fmtG": {
       "merkle": "f79bcd381c319b0c1b557f19cbb65841d70072e3a2179492be0e7f68de70ae79",
       "own": "962ab31c52e28bcd17139e6a2d13c6e1dc669c145b76b9089d47b3e3cd9b3ae8"
@@ -1682,6 +1738,34 @@
       "merkle": "588b088bc1e615a471cd3be363520815a920d6756a82b50d2a8de83055a58201",
       "own": "36b4e37adcad05e00575985a7e9925c413682912dc7678ab047cb0f7005e4b49"
     },
+    "cpp.cpp.fmtIntV": {
+      "merkle": "874918d7ace20c43987d1fe371007763c84d738cb58b6cce29ecd373f94e49c6",
+      "own": "028fce48a4d5e981732d808f795abad4112f3a2c8c0392fe4ca21b63a4cb55cd"
+    },
+    "cpp.cpp.fmtLeft": {
+      "merkle": "0e6b795135b6ed585d2c88f7b8248c6fe882a75ce0e43aa8327e2656e2cb76e4",
+      "own": "2be808bcb8bbbcbedeb45d49f2eda6a330c41dbddf800a60e33cbec637083c02"
+    },
+    "cpp.cpp.fmtMode": {
+      "merkle": "dc9f6da7290b2b46589944713081c27b9c05f945c75074b60d6daaaa99bfffa6",
+      "own": "a46a1d7804a4b7b70877620b1cb2d271fab809bed5cdeda6f05b789b6ac5bf81"
+    },
+    "cpp.cpp.fmtPrec": {
+      "merkle": "1222328bcd1d9b7de77ffc2f935fe4fe6528e1df698c76cf6db953d9cd5d08aa",
+      "own": "d434114b8205d78ce02946216b4d0846657569ac2ec612dbfe1f08875ddaa7f8"
+    },
+    "cpp.cpp.fmtSci": {
+      "merkle": "bf471fee82b9c7c6e164ef3be1b73a6c682170163f075a4b831d52e7e3ce221f",
+      "own": "9cea8a1691a8c5b52e9339a26960c5bf77acd4033b1d5425594f06f05554eb1e"
+    },
+    "cpp.cpp.fmtShowBase": {
+      "merkle": "e65fb975fc17a7c377db3ffc5ae20cd585aafc6edc59154715b082ab1d64c7bd",
+      "own": "e512b82b6d3538d0535357bc37b82f1770e2f23d426fd568493e75389ce6b994"
+    },
+    "cpp.cpp.fmtShowPos": {
+      "merkle": "1b1d222b73b7118b24763daeeb1143ca6dc94a4dd7f8e49df5c8d9af15842c45",
+      "own": "db5ea8b4a056796d13d47519bd48acffec38a4ea9eb59c221ce897edeabee7da"
+    },
     "cpp.cpp.fmtSig": {
       "merkle": "69b47e75ba22da834738e5a16e4039f42c6a33bc3345ad6bb029e696dbf32124",
       "own": "c998b2b3995cf98ca351fa2281d485e6b32c5ec95a3fca64b44bbe784cf85124"
@@ -1690,6 +1774,14 @@
       "merkle": "c5ddb6f28fc7aff34690cc1b838453db96286b7654172d9fac0b6be334ceb377",
       "own": "131bc048bc28dce386739ec94062bb1111e4b0bb3bb81aa55a8a590fc07befb6"
     },
+    "cpp.cpp.fmtUpper": {
+      "merkle": "02beeee813b6293d1b74cf5017d094e8a5c525a9093dbf40e1fe6497f4e96f6e",
+      "own": "8592a9d5f7a91ea4a3637fb5fd703d20e25e628a1fb7ed32f0dbaed85466a771"
+    },
+    "cpp.cpp.fmtWidth": {
+      "merkle": "8a6635d5c2e998fbf32bb8109a8746fc6915511ed126023bd91b2f43ac80bad6",
+      "own": "5986576efbf5a161db303ad9e6f50f2ef4f2fc2f1d4cb52bf55f37ffc9498b77"
+    },
     "cpp.cpp.fmul": {
       "merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
       "own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
@@ -2014,6 +2106,10 @@
       "merkle": "e2a922088894fefc5c6c1dc486c988e8c8e5784a83ebc38cc1b973cbc6b04c6e",
       "own": "cfbc2f1a4910c7a19dbf9f1ec55c09c2724e299bfd58f69ba85160ec02ea6294"
     },
+    "cpp.cpp.isAlphaBool": {
+      "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
+      "own": "0512b715485dd2ddf6ff4be63189f1fcf7771232c61ccd31d5c5d17238395f09"
+    },
     "cpp.cpp.isJustB": {
       "merkle": "379c414abdd3805df9ab007fe14336f0667ae7eb632a7cb14257e5397b10e495",
       "own": "723c13fd5439da1e5db023621443e6137c438411eef4c7ba727cc735fd13f68b"
@@ -2606,6 +2702,10 @@
       "merkle": "ca488f78de7ddc49eb56dd62f56c61d93be541e34f8e2e5d318e0a024d4cbf88",
       "own": "89f8fb43f27850d283f5ea493e0ddfa8fb85d1116627b29f49eb5a56d91d9b79"
     },
+    "cpp.cpp.mkFmt": {
+      "merkle": "c25f7627217c05a65f8b288a38527c4433f9202ac0c57833de92056e98045dcd",
+      "own": "1f45bd0f4a209424c5b7d5bf8a025183320f06c2660c007623c56029b29876d4"
+    },
     "cpp.cpp.mkIOS": {
       "merkle": "a7795a98d1c7c4aae5d1b8dc492843d37ac2d8f2c3a8b5af523e6f69a8886308",
       "own": "3b4c822e0031cad94f567c2abd43f83e126d217fe237439d9fd2623d48f4d4da"
@@ -2762,6 +2862,10 @@
       "merkle": "96157b37450610df386a63dd18be210efb983d2d0f636ee4b8130bad9e96e953",
       "own": "79e899cbb4493eca1ca37df3432b7d109d906ad3b2f735e2f403136ab7f846a7"
     },
+    "cpp.cpp.padField": {
+      "merkle": "6ed7c7cf2a20142b51aa72e441fdc7723e0806609415b8a443a6accf3a21929a",
+      "own": "56e2c3e1f2007e0c8faf595ce06ded3afae5c729d0a0e2b7a18388d14771f7c5"
+    },
     "cpp.cpp.padLeft": {
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
@@ -3018,6 +3122,10 @@
       "merkle": "c1f70cdf17d277a8148763d1407952cee275067d7966e0ab1d1b5a054d7f7f81",
       "own": "def6cddb12974cb37c7f5040e45736544d1ccf1c8c9aee9d230841ddd81d5bc1"
     },
+    "cpp.cpp.repeatChar": {
+      "merkle": "9c9849f2c81aac13fd1ca182cad8ed85603c48c39ac3187dd463c8f39bfa98ac",
+      "own": "3bcb6ee9d0fd9cb163acbe5fccc25b342c4467c039921dfff744d5f015886b41"
+    },
     "cpp.cpp.repr": {
       "merkle": "3287655de4951cf1c3b1a7887c4edee5f1aa327665307c0b82128f1a5e86c6ed",
       "own": "12277fc86030a4fb4d8f14414e4f9f94f07fa8476c7bf7ad4ae685d8bbba481c"
@@ -3102,6 +3210,10 @@
       "merkle": "45c3b8ce166824ca58e3b06c47198d8628a6a5970510dc8fdf9144252b8dfba2",
       "own": "44f9fa7f83ac9b0114f1ea85df9f91a9da186d873c27a311e29817d2132d7854"
     },
+    "cpp.cpp.sciBody": {
+      "merkle": "35e900b5be9afdb617ca1ebaa05905735ad74b97509fdffd2e049575057a513b",
+      "own": "ad196d9c28900fc70fd9d29447e9ab9a26f910c44e633fbb7f4f200b1141e19a"
+    },
     "cpp.cpp.seq": {
       "merkle": "681ef2a43e7c8f364ec3a97deeea667f88d8f60497cb5be58679de7e9907773c",
       "own": "c2fbe33aa66ad77fc7a0fce9d01de1b356c9144fbc9ff355671f4102e9b8de90"
@@ -3350,6 +3462,10 @@
       "merkle": "ada668bbd18d584252f656188577dc8d1718984f570472b07330760d6eb647fa",
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
+    "cpp.cpp.startsMinus": {
+      "merkle": "018c632caa2df0248105d0153c116b0131351cd6a507d6b2d632c7de903e32ee",
+      "own": "1a4f9a0bb9f0c1a4dfca1f79cdd69a3872b8e45428771dd865cf41fbd15d3627"
+    },
     "cpp.cpp.step": {
       "merkle": "cf2ec3b57af7097a01aedc0f331c3afa103839eb5558e475c5edc037830bf49c",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
@@ -3726,6 +3842,14 @@
       "merkle": "f35caab62807204dc8c2bb559dca5f0cc6cf337680174a72bee297519042e1a5",
       "own": "0db0ccf9617a0a40c252ea7a6818f2a856162427be03f358696f41d54226734a"
     },
+    "cpp.cpp.toBase": {
+      "merkle": "68cf2b7a4632d7d4689edc615050a4b633bdc662ef0a0771a36e682c9a0e008e",
+      "own": "217861eb43142cf2e0e805efa84de296bdbc10e75d2cce4f4e7a6e3a113c23ad"
+    },
+    "cpp.cpp.toBaseGo": {
+      "merkle": "abbb1d9bc6baef6028d4e030ce3d5054d432e4c7d4d4c9744b818291c748d67c",
+      "own": "dbb75cbd8256dd444152cebdf9e3c2b13054476d22e7e9b0428f569013b62a02"
+    },
     "cpp.cpp.toC": {
       "merkle": "21400b0487778d94a469d05b4f87f95096dd937c5ac70119e3f725e9c65ce06b",
       "own": "87a839ad9d3354ac8420e725717d997b4574a606b7144029487ec49b3d87b0ba"
@@ -3822,6 +3946,14 @@
       "merkle": "49813079dd7673def72e6226a60c43584b8c35f13830627f493f53efae44b09b",
       "own": "686b8c1958ef00d9086eadc24efe7dc37b0f732f0564fd1a19efa1d97728e03f"
     },
+    "cpp.cpp.upperChar": {
+      "merkle": "c2de9b260658144f3c8bcef914868493edf14709a38244a17fbbeacd01a30362",
+      "own": "5c6ec19b0fde078513820e39973562fde68f9038eb0c651f7e43ab61cc60523b"
+    },
+    "cpp.cpp.upperStr": {
+      "merkle": "60a023ec5a6f4fbfd9879aaf441ee8b1ad8894057aa95c24228e7ce0e17c817b",
+      "own": "c236995e09ad82d7749bf8e113553ec857197d456ff96b085bd201b7bc965986"
+    },
     "cpp.cpp.utf8": {
       "merkle": "757f08b676b26b452cdcf7b29cc0bf1236f4e33ff0ebe5e6fb66686ca4869069",
       "own": "06eb76f473a3fff60022203b1bfe9c9705043d65caf1f729f6033b758562a949"
@@ -3830,6 +3962,10 @@
       "merkle": "4efe764fc75482fffa562f3eeaec13619359db9e60543c54bb23bcb864f4e7ed",
       "own": "a0d2ddfcc659e14edcb8f853a8797da39f2f90f00f08a82d72baad33975aa074"
     },
+    "cpp.cpp.valStrF": {
+      "merkle": "dd74413e45d36baf203321e412580b3b21efd49d3e270ae12a4ee5ec986b98d2",
+      "own": "be48cedf1495559563aa0270f92bd1aff5ee0599e3afabc2aa097afa2195c4fe"
+    },
     "cpp.cpp.valsOf": {
       "merkle": "8616a8d0e69de0b061bcdc66f1ab7da327583ba76384aad4ce9d46c4733ae105",
       "own": "ff1264ac6ee73f76fb7a04bdff814d760bebdc174f87645a260398e465aedaef"
@@ -3962,7 +4098,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2299567,
+      "bytes": 2327658,
       "deps": [
         "cpp"
       ]
@@ -3970,7 +4106,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "8090aec587c73d7e",
+      "checkerHash": "cfa14e496df4272a",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610081421",
+  "version": "0.1.202610081453",
   "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.202610081245"
+    "cella-lang": "0.1.202610081453"
   },
   "cella": {
-    "checkerHash": "8090aec587c73d7e",
+    "checkerHash": "cfa14e496df4272a",
     "cbfVersion": 19,
     "modules": [
       "cpp"
     ],
-    "packHash": "86248133e38b35a0"
+    "packHash": "722e6ccb54de576a"
   }
 }