@cella-lang/cpp 0.1.202610081453 → 0.1.202610081530

package/CHANGES.md

@@ -18,6 +18,19 @@
 - **自然數次方加速**（`power`，照 Lean 4 的 `Nat.pow`，指數 ≤ 2^24）：數學函式的每一輪都要算好幾次 2 的冪，sinh 一筆從 5 秒變成約 0.1 秒；差分與測試都跟著變快。
 - **拒絕的判決也帶其他定義的狀態**：一份檔有錯時，之前判決只有錯誤；現在其他定義照樣跑終止性檢查與第二個 kernel，`--json` 的 `unknown` 列出無法判定的定義（洞、預算用完、依賴被拒絕的定義），文字輸出也列出 `? 名字 — 原因`。`verdict` 仍是 `reject`；沒列出的定義是通過。
 
+### string 與 vector 的其餘成員
+
+- **string**：`cpp.strFindFrom`、`cpp.strFindChar`／`strFindCharFrom`、`cpp.strRfind`／`strRfindFrom`／`strRfindChar`、`cpp.getlineD s delim st`（`getline` 的分隔字元）。
+- **vector**：`cpp.atV`（前置條件同 `v[i]`）、`cpp.assignA`、`cpp.reserveA`、`cpp.eraseRange`（區間）、`cpp.insertNIt`（插入 n 個）。
+
+### 數字與文字之間
+
+- **`std::cin >> d`**（`double`、`float`）：`cpp.cinF f x st`，照 libc++ 的 `num_get`（`cpp.rfVal`、`cpp.rfSt` 取值與串流）。
+- **`std::stod`／`std::stof`**：`cpp.stod s (cpp.stodOk refl)`、`cpp.stof`——最長的合法前綴（含十六進位浮點、inf、nan）；例外（invalid_argument、out_of_range）是前置條件。
+- **`std::stol`／`stoll`／`stoul`／`stoull`**：`cpp.stol p s (cpp.stoOk refl)` 等（`cpp.stoT t s ok` 是一般形）。
+- **`std::to_string(double)`**：`cpp.toStringF x`（`%f`）。
+- 已知限制：`stod`／`stof` 的結果是次正規數（out_of_range）時，前置條件寫在函式套用裡會讓檢查用光預算（判成無法判定），單獨寫的時候正常拒絕。
+
 ### 輸出格式操縱子
 
 - **`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` 不變。

package/index.json

@@ -102,6 +102,10 @@
       "merkle": "71710401b491267505566755d399cd775c9c7392c79b055f9f3ae3833526a0be",
       "own": "ec5cb06b69b843dd853ddf6234b63bf2113ce388471feaacdb3170cf23bb9cbc"
     },
+    "cpp.cpp.DigN": {
+      "merkle": "e310bc47e7cf557c834d7c25daee71cdd6d5e07042de037cc2c0a69f87a1df2f",
+      "own": "37eb3afcd46e0a359c60d704b19f03ba4225ca6655c13b24df41b9a2c8525950"
+    },
     "cpp.cpp.Digits": {
       "merkle": "fd81324c20eef0ece2931038d298080833f2da455e438d63437aa931bc4df97b",
       "own": "029e560fd404553dea06c01c6f66db20d741a96800a805e84889c225a16f4776"
@@ -122,6 +126,14 @@
       "merkle": "afb694fb47f23e172ada64cada095416bd51ffd222ee73ed5e1ebc0b0d3f2f84",
       "own": "4c300a2aea91a5ea05c1e664af303f604c41becfa13a475a2ca7870c2a29c591"
     },
+    "cpp.cpp.EraseRangeD": {
+      "merkle": "ff3c66704f1a50e1f17ae95eadd7c8bee93b067b7302cdd44bbcd740f7ce9739",
+      "own": "2913e66159ee1d6d78d5767445d82a36adf8248bbd6e08ddf6ec873f87e1c1c4"
+    },
+    "cpp.cpp.ExpP": {
+      "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
+      "own": "03d00284480b6d02fe2bd8effe332bb6a7e0ec2989ded20d9f7e0c72740ae026"
+    },
     "cpp.cpp.FFmt": {
       "merkle": "c2a364aa33f08f48f10a1b99189af212beefb3aba2520599836dd4b35f4dabd4",
       "own": "42367c4fbf4fb4de12a5c446d81389b737983c8a002be446ad56fa641fa53fe8"
@@ -134,6 +146,10 @@
       "merkle": "b1280fc9afbeda3542ee0ba9f7570f9e5c03d3d67cd796c5029513f1aebb0316",
       "own": "e0ef51ecb0d859e7da8d1d700c54ae9e765ec4bc30f79b285909796f0fb87c3f"
     },
+    "cpp.cpp.FParse": {
+      "merkle": "8e936b3dfc4dee4f78a4684f897377f55bbe25598be8b2fa4e2e316eac324d67",
+      "own": "a3c4b18fca9e5f2214087bd5295fb67a02b6ac49cbc38a1588157793c0926a55"
+    },
     "cpp.cpp.FSameSizeD": {
       "merkle": "7d65f9ea7f6b0a16d33b1e2c0d4b106653beead29fb54c7fbc59e84508b6d6f8",
       "own": "f32cc8ecf132548822b89b518ca89f0f2447fe03c4db0f5019d3d75349f4594e"
@@ -318,6 +334,10 @@
       "merkle": "e40cada6fa32b1efa4d7de92f9144ad528c6f1d7450cfb6a7f06857c440c3724",
       "own": "a4000a8025e5fd1f869fcd92044925ccbd19a1529683e65dd854cce7905db67d"
     },
+    "cpp.cpp.ReadF": {
+      "merkle": "fb287a80e023e979fc1309464a5a2aa7f36165cc244bd1d8d383debcde65c7f2",
+      "own": "072e48ad4d0490379ad8562edbb42134a0853031dfeb7970ce63282b3dbb3ee0"
+    },
     "cpp.cpp.ReadS": {
       "merkle": "e58c63d65ede45a6a31a0dc3449201e97a5c497961b9c6d8ad86a2d575255147",
       "own": "2c89844d4671be02b5055235c3179d8fd818737e1e4d7e9e417a8b2d7fdfe0ac"
@@ -398,6 +418,14 @@
       "merkle": "18a38766c5fd119d392ed62eb3b61c328e770619054000ffd772b554e393eb15",
       "own": "5c7cebc46fa1c38613e942c27fa7f779097579f9d77f54652e8153d3a24d9be8"
     },
+    "cpp.cpp.StoOkD": {
+      "merkle": "14c17872231a794de9d483a67075aecac7ba487f3ef517a16cb116a3a053a2ac",
+      "own": "089cfbba0c71a006da0c463340ce452f4c085e39bdb5f8ac37cfb40cc396521a"
+    },
+    "cpp.cpp.StodOkD": {
+      "merkle": "fdadd7dc496a89d67dad4143e82e13b60d9757e8a6be8e92bada302ba6d80785",
+      "own": "8e39b77a2880bd9b5dc488920f736a7b7588fe1a0d608f47b4cfa0897425aba0"
+    },
     "cpp.cpp.StoiOkD": {
       "merkle": "b64aa9667724a3084aa73cdc392c582802edfb1c77f135a9f9dc298ce076cc0e",
       "own": "5af2aa6102ffc48080aecb9e3197c71b8d5f67808e2041b1a608ddfd35c7bf3a"
@@ -502,6 +530,10 @@
       "merkle": "63ce87888940f1fa2ca5e40040a0dffdf0fd7fd44462708b191fd43bf996b965",
       "own": "b1120fd892c0fe20c8c7613b9a55a89fa4aa713d214ce1432e8fe5049e03a033"
     },
+    "cpp.cpp.addUsed": {
+      "merkle": "4c1f9a1fe83a9a42d8a42feef636823213ed41363f967049141853d1161fb512",
+      "own": "2d6cb6884b887789f3440bf3b8607cac25d002567d0ef5d81ca9cc754084a634"
+    },
     "cpp.cpp.addV": {
       "merkle": "ed640cf94b2e95b2d02c286d272673a556e50cbc6b015b6a3adb1b3d2a68bd56",
       "own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
@@ -522,6 +554,10 @@
       "merkle": "2797de816974335e84ea5174aeede30c6a184340b47b48ac19d6b39bf4db6e90",
       "own": "c167bd1a3297cd070b72d4234f2842d1931eb01627c793265403f714f674df74"
     },
+    "cpp.cpp.afterDelim": {
+      "merkle": "643b70a4512be11e01b7efa98e851346cbe684d52acc6113b9a5d8d521be6694",
+      "own": "df13c755511ed62e0f9b1588a5d99c8df6297f2b70b7470a1042f6feb81292bb"
+    },
     "cpp.cpp.afterLine": {
       "merkle": "b5ef423be6b0113035c2a46e956c7f1edc96a9aef1f676cf01f8a562ab6468ee",
       "own": "0fa1ba30b1abef19dd23a05492a6c7eec7f14ff22c48ffdecd84f7dbc8dcfb0c"
@@ -610,6 +646,10 @@
       "merkle": "76394046af7e4b200938e255fa5a6f546c1f31cbda04c385b69bbb032d2f57eb",
       "own": "05bf5bac7b0eda566d3d05dee6443dc885b3384f87917f228a894c40f4758cb8"
     },
+    "cpp.cpp.assignA": {
+      "merkle": "eeed744889ca056047e778e5f833cc3348e3b585a036d5be01a6b257827c64fa",
+      "own": "590728cc6004beb47d5aa116fa748f9bd3db4ac994f8bf41b684a13c85c7d971"
+    },
     "cpp.cpp.assocSet": {
       "merkle": "6c0b450857f68c773c127c4c1dcc6c793e268d773764af4c06cc7b2d09e31b1b",
       "own": "bd0d0885fdbef9f994cfe842efd339b57f33c479196063bc1ed1fa8969f616fd"
@@ -630,6 +670,10 @@
       "merkle": "5788aa7b8bc41921e48a4d557267688f3dcfc722840c11a7d6e974e4f4412ff6",
       "own": "80f9ece5515014cb96fbd5798983c86555d24fc87a42e5207cd1be250fa5083d"
     },
+    "cpp.cpp.atV": {
+      "merkle": "8fcdb09a7aae639aa081d8fd86f7fb4eac91a7610b3e77515ed6b08e58759325",
+      "own": "dc720d9c1753e21f0c658e05188f1bf51aba570294e781422e7f6a209ec398ce"
+    },
     "cpp.cpp.atan2Fin": {
       "merkle": "67673a52fa631f02075e8bcc4f14c00bdab35dc866d48467f99a796acb692ef1",
       "own": "7c059d35edc959b9df76d964d419076498994fe4beeef838eb4534e4e6833d8d"
@@ -674,6 +718,10 @@
       "merkle": "b13606b16bb2987b562b054348a119809e340d7851d9159b6c44f3d7900d92f1",
       "own": "d55457b1ffae8170691dc1ae3f3855735c315dadba16416da1d6e052ef64ac37"
     },
+    "cpp.cpp.atomB": {
+      "merkle": "d6e606a3f78cce7406bb66c220c0f7a366308dc56b1d738935c9a1676bc0f767",
+      "own": "c4f87b05d104c375f550ad2227972370b5e9d77d44a3bd034c359798b5c07589"
+    },
     "cpp.cpp.avr.Int": {
       "merkle": "f283f1566869a5f2e89279a7c2bc36cc717d82ffd0d12457ea53ef16e89f5665",
       "own": "948687d513255e558f901d1c950fa4039c71e6fc5b47dde521157df38b997cd0"
@@ -690,6 +738,10 @@
       "merkle": "b4527fefeb2ff35dd631fb8050198668c14d43ce2bc7df467adaa2f5267ceb39",
       "own": "454eee96e1a29c483cee6d7734eb1e63398b51120278a7c14255edcccbd3c931"
     },
+    "cpp.cpp.binValue": {
+      "merkle": "67b596c3106e666e4aa73fdf77888a8d335638402d6825b98e880a6e92af3cf6",
+      "own": "60a6d9314c6a1230ee61263af101cb48578d5e4f65b0f3f4b6970d982428ca0e"
+    },
     "cpp.cpp.binary32": {
       "merkle": "defa811bdea4b6beb5f275b6d0816428c933337d6c80bfa51997aa83fcdc1d8a",
       "own": "a232b2ee6182bb05047a7bcf5d4cfb0e324d8074e0bfc711c6bac1dcd315ec0a"
@@ -870,6 +922,10 @@
       "merkle": "1842da71fb1bcf098a960468618fed418a85ee3328305b77951ac0da37fc47dc",
       "own": "bff31031400b7d754110ae122b70446abab0aa4bc1c689f59f2b684100b208e0"
     },
+    "cpp.cpp.cinF": {
+      "merkle": "81a066f8c4f962339db4f748446cbcf8afe5e62f825f30be829cd085e5a80cff",
+      "own": "75d9c92a3fe66c2102e5663dbf36a96c76589fc8bcdc095e9dd0be1932e17af3"
+    },
     "cpp.cpp.cinGo": {
       "merkle": "ecc7a8cd5e25aa3ab36b41b706368136ef341c733cb0fd67803fe6b59b725025",
       "own": "248f7531b9d675f6a64288f5b181ae2b6ae71af1994b7c17a243aa20fd0b835e"
@@ -894,6 +950,10 @@
       "merkle": "1464e3db1309efd77e5f25addc125fdf23c5f749a350541870774bf6a9c0893b",
       "own": "5bb4865667e559e9644bcd66ae37e15a8a13fc92a19b8ed681f6cc2c7b0e9db2"
     },
+    "cpp.cpp.collectF": {
+      "merkle": "2c744c65458313342ce5ea0ccb637e02795ca04b391c904e7c4696e701028c80",
+      "own": "d073e795a7917aebf49e95a36ba0091a5485004c2b3a582c5dd6bcd84e9de58a"
+    },
     "cpp.cpp.common": {
       "merkle": "d898b4d6a3e3d2f9322e6f213956d9885e8036d3cbff002c6e51b520ab2f2259",
       "own": "fe8870cf3e9c5efa9ae7268a06a639c911b69713da5058c2cb840f7f88b70e57"
@@ -1058,6 +1118,18 @@
       "merkle": "4ff70fff850da8a17dd0faef8ebafc3ab910e18369f3b8dbf38c45fb9f1bbe30",
       "own": "4cffc2a83298fb2ce4191abcd5434ca514fa1f9917fa5904115f5d4631b5b4f5"
     },
+    "cpp.cpp.decNum": {
+      "merkle": "db92ba9d7c874981cafa7dd14e093cbe2996a1d550275fed197356edfe94d2a2",
+      "own": "5790b472337e966cc051f984cd85a31a6a9afa6d33f56e071f9dcb558aa42d26"
+    },
+    "cpp.cpp.decValB": {
+      "merkle": "ed9876a297bce17b939ca4ebf83de24cd6d51a3d3b59073cd7e585c6cc0462b7",
+      "own": "f58f617e57cc75e9957d2612e58be2156ad46921b60c1dbfe49f00159dac01c1"
+    },
+    "cpp.cpp.decValue": {
+      "merkle": "5d07d4db3aa869553eddaa6c0ac2feba4e9850f18a24aa6926147a1f9edebf56",
+      "own": "c6f18652f306cb14876464d452d9455fda26c38e9062d2f4578b3ed925ea7c15"
+    },
     "cpp.cpp.declArr": {
       "merkle": "3eaf2a3dbc7bfbd33d731370e613d0a87edb0d646cb9f61de6b31cf19d703a2a",
       "own": "112d742acfee5acee5f0d79410421c27c6d743dd21a6eeff02b6152b08ad0ce4"
@@ -1106,6 +1178,10 @@
       "merkle": "489ce1b10a6d5b7084ff74ca185655e40c269d4c8140aabdcb459b09605b24e7",
       "own": "5fb4b7346f41f6b6ec0f986bee57811df62301d44672d73c7cc31d38355ba415"
     },
+    "cpp.cpp.digitsIn": {
+      "merkle": "c5d04fa157ce718c00e6603e3ad780feca6ab4791f7ebc9b90445ec4a44421a2",
+      "own": "0044244af3af0e25b7900117197c789cf7a4cffdcf080f7372ab87b20aad0703"
+    },
     "cpp.cpp.div": {
       "merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
       "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
@@ -1294,6 +1370,14 @@
       "merkle": "5f5c0e2d2d50b8baf0a1a1f1cc29b56887219c0b414008ed4c3f74bef6b682b8",
       "own": "244f3d5d82676f2696dd4382cd3a0d29d231c28de46a95b21aa6cfd465f658e2"
     },
+    "cpp.cpp.eraseRange": {
+      "merkle": "f9bf3a5cb6f786083ee1dd17a8b46abc7134421b29933e8b4943acffb544cfd6",
+      "own": "849bf48cab846e14f200ab965363638325a61d161d618b55e36bff7f93890160"
+    },
+    "cpp.cpp.eraseRangeB": {
+      "merkle": "9e67001cb203142c5a31d0b7102da33e88ef619d95fd8d236d49b6d5c52e9299",
+      "own": "8e1b8029bddd6b63128130376eca868e3a7c0497755e42363566eb909a83a34f"
+    },
     "cpp.cpp.eraseV": {
       "merkle": "70a7a88d1654aa5af3260b6d5e97d913b966db665a6210ff5c5bd469e411142d",
       "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
@@ -1338,6 +1422,10 @@
       "merkle": "9d236ae34756686f3df837b0688c4c412c5a42c535a8c2eab81550886d3c0378",
       "own": "0b923c27e35cdbdec04e2993a8504f0fbfe1196babcc8baa4210040f7a8aadef"
     },
+    "cpp.cpp.expPart": {
+      "merkle": "1acabd3cc32977b284422246676389dce4f70ab1e1d7d0fe9621189e5dbc1757",
+      "own": "cf6b0ab4769668628e621dbc8028ba0d1a446bf1743dee9db0d512a6504c9e4a"
+    },
     "cpp.cpp.expSeries": {
       "merkle": "f5221e7d3bab67dede2f9aa65502651628b944c9e24118b099846a75dedf3553",
       "own": "91c5a2ceff14abd3b3254f8e2ba2bc34bf5561272fb16f89756f4652bce58133"
@@ -1858,6 +1946,18 @@
       "merkle": "25daf5f535833960cc37bdd348345d75205046c678a09d3f35f7d8bb840a0040",
       "own": "cdf1d859afba722109a32d4a9a0eb441d540afa3a042ecf7057095b9cd4d4a50"
     },
+    "cpp.cpp.fpErange": {
+      "merkle": "3aa0d5ff95ec97189f89f9438630e4b29b429568821644eec7894fb12bed786b",
+      "own": "8857dd14be33141b2e4b181e2eb29f0669f0d5f34a38349f095547e1e2f0593e"
+    },
+    "cpp.cpp.fpUsed": {
+      "merkle": "3ff51693f917e7128b92731319a92f58d8fc19b9167b0ca8a5c7f055c65ae71d",
+      "own": "a347fad651232c27d4a8a0d0467ad2c476cd478a4e7482e3aa8bf8c98405459d"
+    },
+    "cpp.cpp.fpVal": {
+      "merkle": "bcbda2dfab3f89553b5c132d5324475896d8d4f093fe175c5cf7ed807f1ee0d6",
+      "own": "ab913f52e354f7e42f85c5563ac696c6174159ac0072ce8b7bc2e7bedba980e8"
+    },
     "cpp.cpp.fpow": {
       "merkle": "b6b7447ee62c16782521f15842d6a99319f0c4d9b394c6ceac0f3f5a95240b35",
       "own": "19369025115c66775d9b192facac1905819358e8faa20aaafdb2094e737bad49"
@@ -1978,6 +2078,10 @@
       "merkle": "19fff09e4369064d582c7a98bcb5e47f155c7af44f369dad5e808682b62c3999",
       "own": "2d24adb32bb82e49ebdad42d22fcd50a968354fcd0641cc0dfa388b787d45e85"
     },
+    "cpp.cpp.getlineD": {
+      "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
+      "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -2006,6 +2110,14 @@
       "merkle": "88d674275de34211a0bdfdb7c6ac7dc9bf7e8ddfecc1371d837b6be2065f59e5",
       "own": "e0b745e391ad768f140bff1eb9b46da18d28c61e930e19b7b732691cb54eaf25"
     },
+    "cpp.cpp.hexNum": {
+      "merkle": "47a0978f83f519b5f379f7f22a2493e03a39d4a0563b9357aed6580611ddf96d",
+      "own": "8cd45a591dbd00e92f0adca1b6394d9edbb7806b85778c9906b6e8eca4dbd934"
+    },
+    "cpp.cpp.hexValB": {
+      "merkle": "af4d057092558c644240a5106d6082b7e2fa6d4079ce74cb65578b62543d3511",
+      "own": "6ecb80b5c980c5b130c9c63d0267ae3f0013bb1b4ffa082fac8e1cadb8712bfc"
+    },
     "cpp.cpp.hypTry": {
       "merkle": "eb1f0f3eb75ac9f22a4c117ad4449fc38c9be6fd41df48ad049ca2cbbe9348b5",
       "own": "351d7d441d9ff7ee0eeace3b5e5930fcd41c95a8aae84e9144613aa05a479a17"
@@ -2042,6 +2154,10 @@
       "merkle": "1034d94eacb82adfb90d361875c4a1e491c7eae0c4b6523c6997c393079a8c98",
       "own": "5356c5242dc19d4a2eae185345e6f33023dd53c44b1958fe13fd27c0a9ac7ea6"
     },
+    "cpp.cpp.infNan": {
+      "merkle": "57d2f83ce851b1a69e9cff1c71d6d2d82afd1ca9877626bdb7cdfdc9d0f04eac",
+      "own": "f6598efb6d224f03e2500962ca5f053cb855dc99eba24a6387ca85125ca13fe1"
+    },
     "cpp.cpp.initB": {
       "merkle": "82530a4000e32a99996a6ebcab2836f9f776b1669db022a1510cad7bb3abe008",
       "own": "683db7871033280059f9d628b630a290d390e56b69003d74c2785b7ef5b8072e"
@@ -2070,6 +2186,10 @@
       "merkle": "7f62d8f0cd3c8062d569c5ce5c63497df8508b5eaf43499917bc2c19b7d702ee",
       "own": "4118edb93832b60fd630423eb3881dd09aec4d07090adf8f91f6215c2d369b00"
     },
+    "cpp.cpp.insertNIt": {
+      "merkle": "92eaaf299fb614ba24227b676c7e2829d9ff00c3cb8a02f123a473fe09836a1b",
+      "own": "4cdcd3e479b1d077fce67dcfacae3b851bd7e23b7d6093e420881834b4341fa4"
+    },
     "cpp.cpp.insertNth": {
       "merkle": "918f64322976567b21f7da8d1974bd92d8ff71776129feaa0e3f5d7040111d22",
       "own": "4afc2d71362f0e4161c89143a45279f67cd92ea601bd09ca3248cfb0a23c1e8e"
@@ -2110,6 +2230,10 @@
       "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
       "own": "0512b715485dd2ddf6ff4be63189f1fcf7771232c61ccd31d5c5d17238395f09"
     },
+    "cpp.cpp.isB": {
+      "merkle": "dfe81d0c457ed5ba36dad0cadfbb96d78ba2104ac0c76220368ceefc1da7b2fb",
+      "own": "b9b58c124b1b8db31c924adabdf26794d8c1c16702683774e378764ea4334077"
+    },
     "cpp.cpp.isJustB": {
       "merkle": "379c414abdd3805df9ab007fe14336f0667ae7eb632a7cb14257e5397b10e495",
       "own": "723c13fd5439da1e5db023621443e6137c438411eef4c7ba727cc735fd13f68b"
@@ -2462,6 +2586,10 @@
       "merkle": "109488acf500d224da29e1ea5e61fb357c6837843180b419eafe141f9fc4faf7",
       "own": "62396beba73d62a4ef9110253121ab3e520d4b91ba79105d4faa1cc5e997ddf0"
     },
+    "cpp.cpp.lowerB": {
+      "merkle": "7c2ddc955f942a2d7c8070d890479baba48e4a31c247380e10b30c60e1f6720a",
+      "own": "a350b04a214d273680a66698bdc4b9fa4ea9fd6e39da23b83b5e6417be9c736d"
+    },
     "cpp.cpp.lp64.Int": {
       "merkle": "830a776c42b702fe9984210179b83bd8b6b9db97753998c497a77e73f63307d7",
       "own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
@@ -2634,6 +2762,10 @@
       "merkle": "8a89ddb4f685424d12ed6d9c97340bfb82b42d1dc5de42270ee49e6d2ead0b38",
       "own": "122bd86045946dc4957e5ab007e0e2dea3432b27ff054d41a067fa6b16dcc8f9"
     },
+    "cpp.cpp.memN": {
+      "merkle": "2eb7a8c924cbc7876cf4f5a7768bc25cbc9302b1075c808acd1d75bd7aa777b0",
+      "own": "a824186e13d96e26bddee1cacda4cd2b122edcf52c77c50e55ff9de18ad14d04"
+    },
     "cpp.cpp.memNew": {
       "merkle": "79d5bca0dd88261a299908f10a2c14a29bcb13961c1b99d76fdb7d5848b07a3f",
       "own": "4709635877b49ccbf27705340916d69ce0ad7361e1bc3436f0d6b4a045a26d91"
@@ -2782,6 +2914,10 @@
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
     },
+    "cpp.cpp.nposV": {
+      "merkle": "4d38ea87128e21aab09e8851514c004d73d6a25f7ada8ae8e745ed8e36bfdc44",
+      "own": "0dba07841472160acbd655b0e522f0d250679752fe437efcb7727cd6b4efdf06"
+    },
     "cpp.cpp.nsub": {
       "merkle": "47e8765583ffa4e2b693e1cb45366b36db9af2e0e99327ffac7d5bd2e8cb00de",
       "own": "fc60dfc162b5dc4654d7c9f6558429704aab51502b196f45731a5d539114851e"
@@ -2822,6 +2958,10 @@
       "merkle": "1104103f851548bc4c43a6069bd68da6e36d7b2c1e2a725e8050bd14fc588e07",
       "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
     },
+    "cpp.cpp.numGetF": {
+      "merkle": "6625699ca96b689ba4f5f42369d46a671875bef31f5586ac0cbf772547dbccab",
+      "own": "44f71546685d2dd57f34b71b940739290d27ab5a04c05cc8a5445d283095af0c"
+    },
     "cpp.cpp.objBytes": {
       "merkle": "698de08c2485a4cfdd370c7c4c57f19cad202a09d88700ed5a2adf33e4078bdf",
       "own": "8843b39996c42f7d7b699872e161eef67ed544a89b2d7f9a7b0d140161aa6d2f"
@@ -3090,6 +3230,10 @@
       "merkle": "87a467fd7e8bc7c7db3566288a95cdd11172a66566757773a5b09637317b6967",
       "own": "b2f3b3b765a47cc5625e70ca33b7d607591f9049caab9cd21f591716c0565ac6"
     },
+    "cpp.cpp.rangeErr": {
+      "merkle": "33cb293597621cf07f8d39c7c37571d016dcaf7f78d34206a5fa8283d8def0d9",
+      "own": "1c7dab4265665e56fe659e8f012fee5ca5074b634c433254b90b02676169991a"
+    },
     "cpp.cpp.rankOf": {
       "merkle": "f1e067d799066a4310b380df0941d9c83694a5171d54a421e5b576566b46771e",
       "own": "a09d219d6a028f7dd474f27afed92ffe2b666978f8d882e0f35433751159c3f7"
@@ -3134,6 +3278,10 @@
       "merkle": "d7da61d9ad9c0b56258997090955305d4a962c695aaeda8f3d9db0033eeb745b",
       "own": "d97ae355b9476219c5f5390ff1df13d5bf87d17c127f41f51952224f4b4385eb"
     },
+    "cpp.cpp.reserveA": {
+      "merkle": "b8560c50d0dbedd234780b143a76e3cffb33e39147a93f2dba4fa5d6a8dd06ac",
+      "own": "bf1e4ea65f75cd99e464757dc94c3ba12bea835087dbf2516d23c5626db396af"
+    },
     "cpp.cpp.resizeA": {
       "merkle": "9cf4316f6505cb047aab5da552236b109785435878253eba59a98306154ad84b",
       "own": "09a73f3387469e6655d31ac4b3f5c55ed04791ed8fe6da6b6025a71352e44b09"
@@ -3150,6 +3298,18 @@
       "merkle": "f81910fcb80c1322fbc7134f4c5da941ad03dec52ad7a0c1accb7e6bfce400fd",
       "own": "ececdc52f770193c7f638c6c44f3e1be424de3c493a7a1a99b84b4b69f845ee4"
     },
+    "cpp.cpp.rfSt": {
+      "merkle": "cfdca374199ae96d1d12178aa4fce2f158fc16c1e71ec4f59192f852cfdca5e1",
+      "own": "edcb10cbaa9595db019c3cba721d7019bf25c6ba8e192e67ee64b7ef6853223c"
+    },
+    "cpp.cpp.rfVal": {
+      "merkle": "d03b5e506e5e7f831652d141ec428f0d639491999ac9cce4e17b263f808bfb61",
+      "own": "2e670006d957695808d3a5411d966525e6db3ee2ca2c3bcc2d8402e9416d6f63"
+    },
+    "cpp.cpp.rfindGo": {
+      "merkle": "10163f8e1bf2660766a876c12a57cb82439086081c8d24afa464528ec67f66d1",
+      "own": "774405778185c9a82ce46a64e5c8e813846e88f941f2af07a96b66ceb63cfa5b"
+    },
     "cpp.cpp.rne": {
       "merkle": "03e918176ead3c1b197d3b80516107072e1025f3f30197219db549f28c12fe0a",
       "own": "2d4b0fdd58876d3713ec253e3262b2e7420a856450c6a9d1400ef3b20ebf3b49"
@@ -3402,6 +3562,10 @@
       "merkle": "16d2c3fa6c392acaeb652596d361f7f1c560208a1ef2382853bdec70c031e2c9",
       "own": "b1e8f12a67b8e97990a11e62d0767ce1cbd8a3e214b72c61dba64a2d6a849c37"
     },
+    "cpp.cpp.sizeArg": {
+      "merkle": "9f40dc7ccf0fa36ed20e71dd6b53aea02591de74ac3147350623d63e595a0bb6",
+      "own": "eae6dfb9b23d3fd55bacd1355ef8d86cd016300b9b34c6ecc29cef72c2f5cd15"
+    },
     "cpp.cpp.sizeOf": {
       "merkle": "6da5866f8fb0e7cea658b89da84b6ed7eecceb22d9e7f3da25b185ebcb6437db",
       "own": "17f99dc2224ac3cc7727ffedd804ecb32b886e0b369adae09bfb3011abb502be"
@@ -3462,6 +3626,10 @@
       "merkle": "ada668bbd18d584252f656188577dc8d1718984f570472b07330760d6eb647fa",
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
+    "cpp.cpp.startsL": {
+      "merkle": "335af703ac91a793ee9b1d2b2e7ced11d7f0b8eef5fa5ac9f6b699aac494a090",
+      "own": "e6c2a186c357e44e29cbe67415fa03c782c1df8efc6278b183737379fedf9445"
+    },
     "cpp.cpp.startsMinus": {
       "merkle": "018c632caa2df0248105d0153c116b0131351cd6a507d6b2d632c7de903e32ee",
       "own": "1a4f9a0bb9f0c1a4dfca1f79cdd69a3872b8e45428771dd865cf41fbd15d3627"
@@ -3522,6 +3690,34 @@
       "merkle": "4e7bbc3e61146690b10686f04f53560611971dc59a1cdf7f5f99e77fcbea70fc",
       "own": "bed35f742ab3070b06390b184919ce296e8d75109d498a56d8e3138b27b76281"
     },
+    "cpp.cpp.stoOkB": {
+      "merkle": "ba84a43701b838a6c5f1d971030d6b76fcc459918cf77d5bda282809c6a4813c",
+      "own": "d7b1f78a56017e50ba8b66ccfda4f0a8353e77a70d79ba3100de5f29d9f86f7f"
+    },
+    "cpp.cpp.stoT": {
+      "merkle": "cfb85bb6a8418084ff841f49f0132a66eb37d448f5e30c0801a02a7d561aafe7",
+      "own": "0cf4f643032753c09e3a1f2ee7edd80e935b467f062733cb17648a649bdf8f6e"
+    },
+    "cpp.cpp.stod": {
+      "merkle": "36f46a248a41f5036c69acc9bc1968a351da748cac4f865b8364243163ce0db6",
+      "own": "6ca8183f53951384842ca8d671c5c92c723e3158d528c0a07d23912e07fe3968"
+    },
+    "cpp.cpp.stodF": {
+      "merkle": "7c24cefa6936c6d031040b25e78d4ace4fa752a942eb2482198ab0c14593af54",
+      "own": "dc3aa215bab9531e8f7b1e906398a93ee8b57303099c672fe2c2152aaedb1c9e"
+    },
+    "cpp.cpp.stodOkB": {
+      "merkle": "159867111dbde48058ba8dcaea2bc852ca0fddbcfb2ebf62104d82e19a67c8f8",
+      "own": "1a8c1ab799da2e6cebaf4c8634ec7aac0c2fd2dd3682edc86a73153314b4f33c"
+    },
+    "cpp.cpp.stodRaw": {
+      "merkle": "abeceb85850d53fbfd5265eb20e55e2762d8efc69f96ad89389084a8ee4d5309",
+      "own": "283cb9eb35cd1c7cab9957ed135c1c5022d58dd83398b4d5ba35f128a05ec273"
+    },
+    "cpp.cpp.stof": {
+      "merkle": "706584c905e7d355e3d2294fc40bc9400dedfcd3fa96c874ff9e56c0cb3b751b",
+      "own": "3dd24a2a0ad091f412d8369c6c087d4401c2322a777408730901f4c91cc1a3d3"
+    },
     "cpp.cpp.stoi": {
       "merkle": "60ae71e376450cd64f1e4bbe3dc862c3879f3fffce9bf045b862eabd0e9e8054",
       "own": "d62e6cf31cc60bd5e2780c7e691d7a5c312c971d97bad9b3f8ad2713c42ca862"
@@ -3538,6 +3734,14 @@
       "merkle": "8fa571599bc904d774eee066e1801b8bd5f332daead38c50a7f4d9756c56dbe2",
       "own": "54bd7a228a618550ac744fdaa0cd461d3cbe782f6be50f4a583411135c0389c7"
     },
+    "cpp.cpp.stol": {
+      "merkle": "43c8d01ff1a01ff036f1ef7f768c958dc2f55c9eaf8d6f23cc35314304ff5987",
+      "own": "24c141acc629008ca9de673ece68c79e5722fa19309fa8ad2327cceb2eb3ce63"
+    },
+    "cpp.cpp.stoll": {
+      "merkle": "9dcd2d187b0113093928f81594eee93fc622f1cd317c3cf26cdd990b2329083a",
+      "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
+    },
     "cpp.cpp.store": {
       "merkle": "4383c40a95d4dff7b64637a698b9c48ac61039e7cfe6d0eac4419e71e7fcf284",
       "own": "f9dbec514456fb8a597f394fd81e1403e38f5b024cadf0e6a7d7e4d658f888c1"
@@ -3546,6 +3750,14 @@
       "merkle": "a19235d8e89569ff6326ae1fad0366b8f335408c93b8271d2277b1744fcb271d",
       "own": "2c2f8ff26754c83537a077a972551817f1f88a8b14ae55649cfe46bdf26124b0"
     },
+    "cpp.cpp.stoul": {
+      "merkle": "d1b431ca7b1703515f1f817178ff27a3c471f371770fe710642cbcdad0a3d5cd",
+      "own": "22b189aa43d62ff30ceb28caccacab5750703a4d22bbe4dbd98c25b5f40f132e"
+    },
+    "cpp.cpp.stoull": {
+      "merkle": "0fc1d9c1dfbd41be5c49284e1e1f7b2cf607089bdf8d07575341c7427f0bd961",
+      "own": "9c866c5d92cbc04c81bfd4addd11e0541414a2462d6aa43ac391ea25c8ac794f"
+    },
     "cpp.cpp.strAt": {
       "merkle": "d519966299740af29757c7e99e16419fe924c8647d35f4b072815ff835668153",
       "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
@@ -3582,6 +3794,18 @@
       "merkle": "6b3abb7fb48d2de9019fc9142f1acdb9fc19197619980ef570e1ce003eb6c4e5",
       "own": "da1a3c6b0e49ccf87de178d4a2c71e6bd19a60ead095518daf58d3d1ccfba580"
     },
+    "cpp.cpp.strFindChar": {
+      "merkle": "8443299efc864a079b73902a6c6ca381b752541faccc1478f87b8479206c8015",
+      "own": "48ac337b749c51af5850145a5215317e119fc483fd8ed7ec364aa056091050c2"
+    },
+    "cpp.cpp.strFindCharFrom": {
+      "merkle": "d6d314b9adbd3314e900cfa5e2a5f4acd0e1ab2c0a636fc54e36426430c1a5a2",
+      "own": "22fe2becab0e94f563112df37bd98b0b07dd36253f10340ff5a522b070155f29"
+    },
+    "cpp.cpp.strFindFrom": {
+      "merkle": "ab7a34032e7d343e54c7d6a30e0130047130c5e43ab792e709124399de37f642",
+      "own": "96ed4d02f260375b3702eedcb4cb85a6545747f531b3d01d8bbdb75123f81832"
+    },
     "cpp.cpp.strFront": {
       "merkle": "b4b7785a6ae86352a17aad90a011efebebd0c58049f2d2965e487554da12743e",
       "own": "4125e089ec1689879f7d45264542d52dc04d072666b73b126c337cf135b893aa"
@@ -3630,6 +3854,18 @@
       "merkle": "7613481e7ed38779f897d17bf7ca582d81c5d8daded470f2009834df2f1367fe",
       "own": "ed68f3c42c5ceffd78e6922126d31f70de851d45fb8774b6818165e0daaabd5e"
     },
+    "cpp.cpp.strRfind": {
+      "merkle": "3aeaced0364dff81df83c12132cd055679f093fe7ec88f5c4afb82a0717f27d5",
+      "own": "17645b4f8e572f75c7b5e34c93ac220640673caebe475b080f0ebed3bdad4d98"
+    },
+    "cpp.cpp.strRfindChar": {
+      "merkle": "3b71c9046af1a170d0bcfa59890d749e9c35b010dce502f17fea445ea1b067da",
+      "own": "767801e0aa99c4526cc2e82ca504153e7d4cf3ba392faba090139421f9de9d49"
+    },
+    "cpp.cpp.strRfindFrom": {
+      "merkle": "6276f3e11c36622341c3a67a345852946d33dee6eb5bf7240b85aa7dbbbed5be",
+      "own": "6c0bec13c1ff2f499e9efff6f459c2dfa171b5bc479872ccdd5b02ffe1a739d7"
+    },
     "cpp.cpp.strSet": {
       "merkle": "fe135ff6e94cabfb643c6744a49b18685a0cf2181b30d28a808cb77e502dc326",
       "own": "8055e405f61ce8c9e0efc2668fe6eedd118ae71128eed38ea3230305fcd4ac18"
@@ -3666,6 +3902,10 @@
       "merkle": "8054e13b4d8ab769b41f14bf7fc21f69c43ad2082581416e96c427d2a0d0b09a",
       "own": "20ecb92cc21f4cc0367951266096da3c4142026817879aa07ce05ea9ce90aec4"
     },
+    "cpp.cpp.strtodNum": {
+      "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
+      "own": "f1eb17c24b51cb94eefaa65def1bbc3bd86890ee5be92b73baa1de99adec11cb"
+    },
     "cpp.cpp.sub": {
       "merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
       "own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
@@ -3822,6 +4062,10 @@
       "merkle": "fd60b83a0bd9963c3f50b54627e1e7430b978490391eddf137b8161da8c99670",
       "own": "6fbd06a5deb1c6aeaca134b39bfc3a8ee54301a86de02cea7039b904ef8980bc"
     },
+    "cpp.cpp.tailB": {
+      "merkle": "585a384eaa5f679d82c50beed789c509e70ec2aac536b327713834d8c461591f",
+      "own": "534cc170acfcb352ae9be141a4428385d856269959e10a69549e6312b8d13779"
+    },
     "cpp.cpp.tailL": {
       "merkle": "d79c494cda1b8085056d7b85e8b22da5b818661c14e295ff9248c890b67f4627",
       "own": "e35401621ad4bd5465fc41eb9d6a1986d3238b69012d2913dc2b93ac1ca6e8d4"
@@ -3830,6 +4074,10 @@
       "merkle": "9a6237cf187507150ad16e7c27231eff90b3869cde34febe4c05b7403e9fdb28",
       "own": "484ae1371f02dacc53233b79c7b1b87461ddcd2accfca31c8e2b431e3fa6f75e"
     },
+    "cpp.cpp.takeUntil": {
+      "merkle": "24f4424be78ff5c78188a53b49853d9697f10922fee3c2fd2819052d60039f34",
+      "own": "17bbfc031d0fe48a732b3732be3c543d0e6d6d114b62c062d73d5a090cdd9834"
+    },
     "cpp.cpp.takeWord": {
       "merkle": "980c708a8530ad465a9ceeffd10ca5af8a7ee1a4e5ab11d5c1dc568b080da6ea",
       "own": "09aefe9d093ad76ffc4c3b1192397c5f7e072755c18e2f1d002ba756b31f279c"
@@ -3890,6 +4138,10 @@
       "merkle": "ec450a46604896e4afdfdaa0f67c83c086edf8268b56e134879385b3ce469482",
       "own": "aa00aa9f82ce63287f7432726ad708c3e169783ff61aa1bd7a8ff8902e90acdc"
     },
+    "cpp.cpp.toStringF": {
+      "merkle": "72982de5eacdbc71698de69908dba98d1f34f2e511558320072fb55564d47401",
+      "own": "fd07804d09cf406bc3b4a745e2f42ebb59b1a615e75dfcc3116bf0241a1c7be5"
+    },
     "cpp.cpp.toStringV": {
       "merkle": "ae1d83e83edebcd3088ab15c6ce0c266f4f316f029efc8b79726ac220f8ccaa0",
       "own": "464f77775fe0d83006c42b91aa158e1ed1a396d373f9216dde7d2b90d94a8fd8"
@@ -4070,6 +4322,10 @@
       "merkle": "303c57701f7f8a1eec57c315f1d423575f1509a9e4dbb1946440be68be638c56",
       "own": "8f6b82db2839196bd036eebe7479434cbb43da8cb7f6911677e2b20d026532ba"
     },
+    "cpp.cpp.zeroF": {
+      "merkle": "36164aad6ad24d9dcec66e60be519985e56990ce805f2b32410e1ae72405ea28",
+      "own": "5c26d70bf0c4c99449aca5496b10012f571e2e33656ccac91e279880daa93aa8"
+    },
     "cpp.cpp.zeroV": {
       "merkle": "4e54c9d0115333794f82565362892364f67240a8a7a71c8189d7d5d0ea2b087f",
       "own": "d142e34c31f214988c95aecdd65bee68f2a6d4e56d55a52e2089f2e84fe0391c"
@@ -4098,7 +4354,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2327658,
+      "bytes": 2401308,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610081453",
+  "version": "0.1.202610081530",
   "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",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "722e6ccb54de576a"
+    "packHash": "660b25c23b4ac18a"
   }
 }