@cella-lang/python 0.1.202611020539 → 0.1.202611021902

package/CHANGES.md

@@ -2,6 +2,13 @@
 
 ## 未發佈
 
+- 判決的每個問題多一個 `class`（放在 `kind` 之後），種類與 C 家族相同：`unsupported`、`indeterminate`（步數用完、等輸入）、
+  `termination`（未接住的例外）、`incomplete`（程式有洞）、`invalid`（程式的 JSON 不合法）。
+### ⚠️ 不相容
+
+- 判決的 `assumes` 每一項改成物件 `{"implementation": "CPython", "choice": "object.address"}`，和 C 家族同一個形狀（之前是字串 `"object.address"`）。
+
+- `input(prompt)` 先把提示寫到輸出、再讀一行，兩個分開的步驟（CPython 的順序）：除錯的工作階段停在等輸入時，提示已經在輸出裡；之前停下時輸出是空的。
 - 第一版：照 CPython 3.14 語意的 Python 模型。程式以語法樹（CPython `ast` 的子集，JSON）給；入口 `python.verdict`、`python.types` 與
   除錯器 `python.session`（停點同 CPython 追蹤器的 line 事件）。判決與 C 家族同一個形狀，`assumes` 列出依賴的實作選擇
   （`random.seed`、`str.hash`、`object.address`）。建在 `@cella-lang/machine` 的小步機器上。

package/README.md

@@ -13,7 +13,10 @@ Depends on `@cella-lang/machine`.
   `{verdict, basis, exit, out, problems, assumes}` (the same shape as the C family's verdicts). An uncaught exception
   is defined behavior (`accept`, exit 1, the exception as a problem). Running out of steps, a construct the model does
   not take (`unsupported`, naming it) and an empty slot of the editor (`hole`, at its label) are `unknown`, never a
-  guess. `assumes` lists the implementation's choices the run relied on: `random.seed` (an unseeded `random` starts as
+  guess. Each problem has a `class` as the C family's do (`termination` for an uncaught exception, `unsupported`,
+  `incomplete` for an empty slot, `indeterminate` for the step limit or waiting for input, `invalid` for JSON that is
+  not a program). `assumes` (always there) lists the implementation's choices the run relied on, each
+  `{"implementation": "CPython", "choice": …}`: `random.seed` (an unseeded `random` starts as
   `seed(0)`), `str.hash` (a set ordered by str hashes, as under `PYTHONHASHSEED=0`) and `object.address` (an object's
   address shown as text, or a set ordered by objects' hashes: the model places the object at heap position `a` at
   `0x1000 + 16a`, not where CPython's memory would). A verdict proved by the kernels:

package/index.json

@@ -1139,15 +1139,15 @@
       "own": "3a8a12fd2b202e439be021d69edde1ebdd9e4cfd1136b607b1fb5a7df352232f"
     },
     "python.Debugging.stops": {
-      "merkle": "d38093c13ae7efb3602cf62756674a00ca41cf53a84a8d226d7f209371b57529",
+      "merkle": "9411a3a2c97b916e50f4a92426cad09a2c0f95eb939b4a350aab2b319e1ea7d8",
       "own": "4b647286dd8d0e9e68a7149a33388a03b7b77ba87f824d0d03539a9b1b850144"
     },
     "python.Debugging.stopsOf": {
-      "merkle": "ad0a93f929f3bd8f544cde088cd58e15b116171998f093cdd41883b61906751d",
+      "merkle": "479fb1c01c91db9b93a3ff676544673f1360de188afa34b000fe3d7c13b503db",
       "own": "291658031a3e6e6231c452455271a602c40e42bc470bc3614b803a7ca86af77a"
     },
     "python.Debugging.stopsWithLines": {
-      "merkle": "bae2704c5b0d5d5a9d56f1370cf12404d2a9c22941fbc052a7397c57115970ec",
+      "merkle": "a42624d546e6e54a94f4ed499b63201ad6a2bc484b62ea4ee1a36e05298b0765",
       "own": "9c0868f08f21c1ff0ba59e0261210496a73dd72ee4b678f58c433643f9550a17"
     },
     "python.Descriptor": {
@@ -2451,7 +2451,7 @@
       "own": "69507574c5ef0699436675c3a4a2faa4f8f407e99bebc36549580863be7ba73c"
     },
     "python.Lowering.added": {
-      "merkle": "91db7cbe06f0ea1051dd20733a77db6efbde8332cbe2ff6adae31712b2ca9589",
+      "merkle": "6da0cfc1593bd3da5452bd7ef904f987fc6a0c82c99d9e0513d971bbe720dbb7",
       "own": "eb1b2d8b9e4169ffe24a8e560cc736b5afea19a0e9f1926bc8e980e33e0933ad"
     },
     "python.Lowering.aliasName": {
@@ -2471,19 +2471,19 @@
       "own": "030bf123d563e8b3b5a91a694eaac641874a4f03fcbee518d32ca548d883092d"
     },
     "python.Lowering.assertStatement": {
-      "merkle": "9fbe4d60e37abc618d08c0e0dca36637e6259f604353bd14affa9a601085de61",
+      "merkle": "fd633f497855b14af563ba40116c5dff47bb925ec1d4b169b872c3470be8a494",
       "own": "b6cab7a842b4829998822238c4aa8db3c0598b7c3a4fba00af1389253ce2dece"
     },
     "python.Lowering.assign": {
-      "merkle": "68f41e9ae94db932c3aeb23b4b768cd725ec56932fc5ee06f79a4893d54b190b",
+      "merkle": "5686b5ac82534869f6d94e00ea58083dd903342235ce4a562f5fbdc059171f9e",
       "own": "3897affa678f4339ed4a6d8f549f633d2bdd0ccc44e1f7fce0cf9e6079b258e1"
     },
     "python.Lowering.assignEach": {
-      "merkle": "71be13d1a98849fabcd8ac3e7cbcf7ff9b029cae541584730a71eb4f4d052fbd",
+      "merkle": "64f3baa81705fd5663be6825506f7c12d9652401d75188bc3e196861b3969019",
       "own": "9eb07b4cf08f60326cb4a2e6402824ca7f6108e63589eb332c59f86e18854e36"
     },
     "python.Lowering.augmented": {
-      "merkle": "1323a525c244825d3a32bbaa0deb1a6eb866c9e632a1e80a64a6b95d3fa9d8bb",
+      "merkle": "8d047f060560ea9f08cf8b1f85be0ad2cc6f877cd7f4b2ef74262e86defd3bb7",
       "own": "b649504ac6cd5f4ebc1176c767004d0730748b3dcb8537925857255ebbad9f65"
     },
     "python.Lowering.binary": {
@@ -2491,23 +2491,23 @@
       "own": "bc2db53e8d21c5beb0c198f1d6d35e6ec9dccb5a99e4b9cbe642b115153b5a08"
     },
     "python.Lowering.block": {
-      "merkle": "52f4345a87bc80d8ec1d1e3b46d136aafb391e07b1f74154cfee23c37e1ebb13",
+      "merkle": "3653158f1a5f9c7c8dea6b58ec7951301d9b468860d626b8bde74a28721ea7b5",
       "own": "56201528867e4e3ed772bb184366a827790d7463592314ce360832f0c1e1688d"
     },
     "python.Lowering.bodies": {
-      "merkle": "873caeac1887bcc33e463f49ae67973be04895c4c10f3220b29eb3e8012a615e",
+      "merkle": "d0f1ceba95186b77de4d1c27360edc67baf89006e437a251f99053bca6fd6986",
       "own": "52e3b5cf93fac8efb45128d2de818012defbadccf029bc620d3cdb526a8db6e6"
     },
     "python.Lowering.boolRest": {
-      "merkle": "4637a6f1971f09d898701d4c993657cfccf616e3c17460baae33a6b5f1073498",
+      "merkle": "a8972d756079b67299f4875eeff26c45451c85f417a60b96cdc4fc79aa681b1a",
       "own": "25e4cbeb5fc0a84aff53239e59a5e1fe34fcd304bdbc9bc54b10a14e197a4596"
     },
     "python.Lowering.boolean": {
-      "merkle": "d3099840b5065f48a769f3129d321766bbdfbeaa41d425e92f76230bf27b1c98",
+      "merkle": "1906828feaa736b063a50554aa608bdf5b762e89f6d3d45a634f1617b6ce251d",
       "own": "ca29b13d97b2c05ecc7f3fd3c70b82ebc41b2570dd1362950d65afce63cdb31b"
     },
     "python.Lowering.bound": {
-      "merkle": "05c0d28d52efb182c47a754ca7bb713acd028dbda164089cf5588fe8e57446f4",
+      "merkle": "674818c4fb499dac6ba8c1e8bf473a4072f1d957cbe7c5f9000ba40d6d7066e9",
       "own": "28e21d06db1505ff900d542d9ad42fa4afb6e9b2c70a2ad68ad5c8addeb8c4c0"
     },
     "python.Lowering.builtin": {
@@ -2519,11 +2519,11 @@
       "own": "fce3a6794f75e5c50b78dc3b2e0014bc384db8b132ee8f4715aaf9b019fad351"
     },
     "python.Lowering.call": {
-      "merkle": "03516c506bbbf7f7b71f2790941803d0a3fefb801c4dbbde7663e4be277103db",
+      "merkle": "72e72ed5b6aee906d1d8e6de1445e86e9b3c4f08933787bd378944429a68e323",
       "own": "7a5c9c4de38067fd506a6b19b2df03336c4b8806b4199f0fff81a4b24a4b6c7a"
     },
     "python.Lowering.callByName": {
-      "merkle": "8b7039f62b1ae213f6486e44995aefdb9ad489c4dd6d243ea4bcb28ed3565f6a",
+      "merkle": "09573e57e168b87260874358b10e65af8806bd4d65ad4ca8d724b6e0ff18c244",
       "own": "ec98ddb587fea5cad9dcce139eff2c9476761570fdeb799c1e4abf731b289f28"
     },
     "python.Lowering.callMethod": {
@@ -2546,8 +2546,12 @@
       "merkle": "73f764aa3163de3450ed238ba655e6229b09de719837a5ee9b0db91cc0f116ef",
       "own": "2521657cbf69064de1927d074939e2f21c977392dc4b5a6d10707b50598d322e"
     },
+    "python.Lowering.choice": {
+      "merkle": "4796ef1e5241e271dd117dacf5444ef49f25c36a5e0b17a75f5f6e8c7d493990",
+      "own": "ffa8cb76b279ba05ae3aa60db1009fd31a88e1448e017327367c0187502de7c9"
+    },
     "python.Lowering.classDefinition": {
-      "merkle": "d1d4b6d7bad8ba0ea51c41b638cb7256f9b01d6c9401cf74b79d08f12888b37c",
+      "merkle": "99185ce3df36f77c39c664790b631ee4e4ff32ca097a290e3630b78aba870fd6",
       "own": "2b6ca6f54b275a9ab41b0ec71a883cc883302fa08ee85b4e6893b07ed6d9845e"
     },
     "python.Lowering.classFrame": {
@@ -2567,11 +2571,11 @@
       "own": "be3c10172dc28547ef8e9288d278f287157e0568e69ae2621d8f689de8c7ffdb"
     },
     "python.Lowering.collection": {
-      "merkle": "e3fb1fa042e143bf76b5c574d3c03f31953db499e33e0ae49084e0475770f414",
+      "merkle": "9cb82423375c5e56b0b0609d3789576fb76e0f4a4500b8c8637e5e8e362d74d0",
       "own": "048d49fa729358e5e71fd7fe53a786b350adddf06bb4395c68165315fe2e530e"
     },
     "python.Lowering.compared": {
-      "merkle": "e3e6406d7b91205fa7d5d96b5490448daa4268bffa133fa14ae681be1014f5fd",
+      "merkle": "4ef9c665dba448d51da5f4f71e46a7743f686a213c6f560cf28db9ace960bd1f",
       "own": "51b25c8060a34a14935e5f28250e1c15f301fd8674d304ccd124c9955e8be4ef"
     },
     "python.Lowering.comparison": {
@@ -2579,7 +2583,7 @@
       "own": "bf8a87ee9e618e2b4bb78cec1f5bbf4bdbf707b04c1228bbd6455503d7441c39"
     },
     "python.Lowering.comprehension": {
-      "merkle": "c3c51a5eab06d96d4129fabbccf1d3fc60cb8e9eab4b99389cfa76d656ab72c7",
+      "merkle": "b0821b61b916c71a68ec7a27bd9d5116c0e2651edf3e71d345e71778441c02a2",
       "own": "0ab02f56293756f572c5a00e213b181fc27ac00d7761ebc9ecabaa0a707e7285"
     },
     "python.Lowering.comprehensionCalled": {
@@ -2607,11 +2611,11 @@
       "own": "2528eb3203c5aad12adc4acfaa382bce48697b74b35ed4997e0be9bd63ba1f8f"
     },
     "python.Lowering.continuation": {
-      "merkle": "14da02a3389a41125bb52a751d806f9964751665f8e9a018730ae26c27b22c94",
+      "merkle": "201650a2e3d6c3d6fe14e6a85892bb6227f809727767d877df8c377fecb394e0",
       "own": "6f86530503ef29bbd49aae1b086febfee6b03bb8fbce76fe6bdc017dc7d671d1"
     },
     "python.Lowering.continuations": {
-      "merkle": "de7b95719a0c97d63f8018b503b7299dd94c9d4b7f66e39b80395d3cdc93c04b",
+      "merkle": "41f84621d6af100dd34215982d2b0cce5546a22c841bb1aca9cd7b4849a755f4",
       "own": "902b3739ce550338365e105dc5e14a2194f1a6d8bce8f3694598196a4c9e095a"
     },
     "python.Lowering.decoratorsEvaluated": {
@@ -2627,15 +2631,15 @@
       "own": "ee7838ff329779e74d8b47b11f676e902165ee6de7dc1c4b2eb17249306948b9"
     },
     "python.Lowering.definition": {
-      "merkle": "fc80d50489035dd2db945f60909d27f4e7d0e9013d3899c318f015d4bf3f94ec",
+      "merkle": "e57709ab9c3b90755faf3226caab3d57e6fe57023e756d80f8271972fee686d6",
       "own": "75703571f08252e8cca11dd63901df6e90ecb48d4faea659d247c02cbf3e87f8"
     },
     "python.Lowering.deleted": {
-      "merkle": "63eefd135f31325b848494277c075f7643b83b66390880e839825efe346da145",
+      "merkle": "c4c032dfa8894d6f20256ebc402502a28f5f149243c7979031222de12a16a468",
       "own": "53e17dcac6400a401beea23ce5e1465b4df5359448a78917572f782079cbf542"
     },
     "python.Lowering.deletedAll": {
-      "merkle": "48e214703f5e838db9e2b979765e6773fb149a34f69faf2be101712adfd8e37e",
+      "merkle": "1240c8e86e1301baaafa4c9b4fa64e5a6e59f43c9a570e6f27f4711d912b3d54",
       "own": "a32b5df36bdd2589af28ca01bf5e921c18064c0bf8c36257cd2f3bbfa1c20ed7"
     },
     "python.Lowering.dict": {
@@ -2643,15 +2647,15 @@
       "own": "dbf95835566b6a26027f7067a55c0d6d470e11b3b1e9538db8398e7fa3b12a1d"
     },
     "python.Lowering.dictItems": {
-      "merkle": "75bcdde2f56832b6b2bf14cce9ee535a96fcb662b0c41280029b1e73d81ad399",
+      "merkle": "5f157c7966c378b0ae233897e7e3e04832855a15f0bcdcd9f981ded197cfdc7d",
       "own": "7899a69d21a892da866f8d9ab5d6dab4a44f08f8f36f7d96547818bd4dcbf388"
     },
     "python.Lowering.dictionary": {
-      "merkle": "6771fc3e7bc88560940d9452f49dff7c52a8674ce0e13bb7cf41bfc24e0ab2ee",
+      "merkle": "c42660aab15c45ff8a7402c568387271190ec4b2030ab706e398afc2f20a7a80",
       "own": "d8aef77d559cd7487a4ca7104723a911d8d546d64871d9f505edeff416625459"
     },
     "python.Lowering.displayItems": {
-      "merkle": "e07ad2c6edf2f62cfdb8010321dd1e6b101a75ce30c3b1956537cc0bbc3d2302",
+      "merkle": "a9e797741d9e6a7404aeb50cd0178238fdd2f80efd52957381d09460018aecaf",
       "own": "8a57115132469533f309a2622e9424c4ff00106943d0faccbe988bf9c1bbe14a"
     },
     "python.Lowering.each": {
@@ -2667,7 +2671,7 @@
       "own": "daeb1acd305d157322e2af35ea90daaefa22e19a937dadc316c70fab68e5a72f"
     },
     "python.Lowering.entries": {
-      "merkle": "cb4d70555c28df5b9607f232a435138e67740e33ed5101c5d89896122964d999",
+      "merkle": "744c5132064632712452f963b49f8d26ecc342467eec6ce222650e5abab99eb2",
       "own": "dcf696e09fb9ceb18ac8d2130ed158c95a7f4d8bee8fae789ad2561ff590169d"
     },
     "python.Lowering.exprNode": {
@@ -2675,7 +2679,7 @@
       "own": "c94ef4713fc85a327d427a8aab40731d1efca108b7482f2f3c9e04e7b31d4d8e"
     },
     "python.Lowering.expression": {
-      "merkle": "af2822281fc6e0b6d03f8c2b1f2b1b451da16b7a7a13737699d654ab58de008f",
+      "merkle": "da708c34a09f0ef051b17d2e4d20afbd51dcbd3591447edc20ebf64272c5c69c",
       "own": "e655d52b6a434035d47354e42fab6fdc257fdef4cc84f9a87f3fb1e669ffb29d"
     },
     "python.Lowering.fail": {
@@ -2683,35 +2687,35 @@
       "own": "5adf8185f537d155f86bcdfc50a56801f4a0425460aea7f07224e205c3beacd8"
     },
     "python.Lowering.filtered": {
-      "merkle": "bbf3e1353a994eca6f428d4d353dd8eb76e59f823bbba895169b75ddb2ef7907",
+      "merkle": "59ec4bddaf594cba2a1bbe133d2386d9b0f22c6f94fd956c7e21c12dc9192ca2",
       "own": "a82c0b96dda2eb183dc5a888aa9107ac0b162bf2817b3e8b6f3073ec38bc78be"
     },
     "python.Lowering.finallyAround": {
-      "merkle": "9c03d45639ab17ce1a5ef741b978e19f4deff987eb0a4139f37e710096c76f30",
+      "merkle": "ee070d4c5b8bb2387a141c510c0ad96bfb8fa411dda1060822715bc6816d4b0d",
       "own": "831cc7b8f80c944c9cbe615039e133a244c02907c504daeb83bac93a1990013c"
     },
     "python.Lowering.flat": {
-      "merkle": "d3666a74cc588a3be234fa82c3878a13bf4adb34d11f333ec738913aa83550d9",
+      "merkle": "6c09adb763d0b2fe13cf364537c504269484a8f125a2d0979d0716a1ce14e7e8",
       "own": "b27e4f448bd5e5b9cc82902bd3b3c02e766004e33a42426a04f857875bde9e9a"
     },
     "python.Lowering.flatHandlers": {
-      "merkle": "56c3729ac342db74062185a4f105ccfabd9e18a675209adcfe8bf9493453baaf",
+      "merkle": "0955e26d9a420be2a4b8fb04cc4cd26d7d9329b92335c5da6331fee21bc5b339",
       "own": "ae0ab636e253f77a04635fa37b04fc189f4da46b6363d54ff19f1647a0e68c39"
     },
     "python.Lowering.flatOf": {
-      "merkle": "71100a208a10366988b6ea49faa4a0c4bcf5797a95fc97e3a0d7463e5f9e5122",
+      "merkle": "f89df51e6374b8c72d35d9c00bc2743887a693dfb21a21175ee1544a35cd67c6",
       "own": "d0e4011ffd60bcac4fdfeae99d002d45a4849c0be5abc4b59be4ca27b1526959"
     },
     "python.Lowering.flatOne": {
-      "merkle": "dff5cbcb3a33090ff9209d6965b0c72d667933d5c67bdca2c06cbb3a523e83b3",
+      "merkle": "52d711d4989ce11aa3a19323ac25e996fb4118a1c1691091d6eabbdae3bd9beb",
       "own": "a7172cdf72bea0c55de592253da8d8eb199ad5a5af006bec71f10aa55ecf2188"
     },
     "python.Lowering.flatReturned": {
-      "merkle": "80f9465b29328887341dc646657ee751b668428265d2e2064858e553e5e2aefe",
+      "merkle": "e5296b802dc3f255ce0184ddf037a50b0ecead32c8df97885dce6192dfc70513",
       "own": "4d9edb6a8f711366558376a9f17cb8efa174f6a1102bb68560a105af5a47650a"
     },
     "python.Lowering.flatStatement": {
-      "merkle": "d410a9fc472d6c5bdc5ad5501e0221128e917def3a3c3cd25ace5afa8cdfa400",
+      "merkle": "a338b7f94ccbdd96574c1eb71319d15aa5c53278be936a588374453e303720e6",
       "own": "c0c0d4a9e671e2cdc76926e5a7e3120ba98b6420a586fd9ff27637c1f2b6cd29"
     },
     "python.Lowering.flattened": {
@@ -2719,7 +2723,7 @@
       "own": "6e1bc4adf0ae55f796018004260b06a40830c1e1db48def9beb4309e5adc1da6"
     },
     "python.Lowering.forStatement": {
-      "merkle": "2cae4f188dcaa95fb6884eef3d4a6d35098ada7d2221e4ace0b9eccd24a2d9bc",
+      "merkle": "ecd92b48dd9d421bd538938d8fe440f9244aa63cd561f08aac6dc3e70994f70d",
       "own": "1319611b1a3ffebb934007374390c82b4372c0c07ff0f5af6e32fa1e7f42afd5"
     },
     "python.Lowering.forcedStop": {
@@ -2731,7 +2735,7 @@
       "own": "a0d0775e2f9a5497d8a25b7db6e85a1bdbe3b2a9cff9e7226f48b5e61cd77177"
     },
     "python.Lowering.formatted": {
-      "merkle": "1b384a2ca9abb33d3d6dc787f25c66ea5a1a34bd79af48af4ce76def5f53017e",
+      "merkle": "20906e7687d37ea8e57e9fd00721f834f003b13ed724187ac5bc1f14a45c628f",
       "own": "724314697330d4c2ec07cbe027283514621b3b0eaa14840b144574a574ab0fc3"
     },
     "python.Lowering.formattedFrom": {
@@ -2747,7 +2751,7 @@
       "own": "cbcb87ff23c1ffc493d9fd750c7f94f9d5a7d31cba1bbee5e2fa267e9d3d31f7"
     },
     "python.Lowering.functionBody": {
-      "merkle": "2581742123ea767a2c686501b9882e38ceeb9aeecb47c923c01205ca73aa5e3e",
+      "merkle": "ef7a6689d0db0f42c9338cafd38c7fc414dc33fc470ee728f132ba6cf9195da3",
       "own": "023e63da9e3c9667d623b7c9e1bf6e48a0839033b4b2edb2997e342f178f4a13"
     },
     "python.Lowering.functionNames": {
@@ -2763,7 +2767,7 @@
       "own": "0ad96350039b49313390a22a9da89009289ef2ed00d185cc80d43fef5af825f8"
     },
     "python.Lowering.generatorExpression": {
-      "merkle": "8b19d98631d68dce247af25c571282ca27b9fd9b2c2c4a679f9e546bc7ad84bd",
+      "merkle": "d794066cc8277f37667b8b9bc64e387bc46bb4998b7c4706a0740779f9d02422",
       "own": "a3b548e43584d9d5143a4c3d968bda90f886a5fd203334daa004cf236349c2fd"
     },
     "python.Lowering.generatorOnly": {
@@ -2783,7 +2787,7 @@
       "own": "2f2d666e24abf64e4768adeea41fd43b8ee1455e825f3a514d5c98dc815e1674"
     },
     "python.Lowering.handlers": {
-      "merkle": "40dcfefa5534e3e4a3225d10c546c87365e5605e486cb5c53fbdd216ecb79525",
+      "merkle": "24a549ab56e0e48ed7943d00e02f0ba081b2d35e3781673475de212edc40867c",
       "own": "4a68dd44e87adf9f4c89bc94bafb7a7e07e6fad50eb1c25e26bd7429971b8d9f"
     },
     "python.Lowering.handlersFlattened": {
@@ -2803,7 +2807,7 @@
       "own": "7ba8c4e2359e68a51b794434420665a0248fb1bf35265378c7c8655e7ef80195"
     },
     "python.Lowering.ifStatement": {
-      "merkle": "67316c4619a032995917bfa33cb494b9ac3eb1327c50719612bea1ca49143e5e",
+      "merkle": "b43a79edea31a31bf37b85055e963a5bd84691b06eea109097f3729ad27a33a6",
       "own": "c82447ae81095cd0c22de264a77ce67663eb92ce30c0bc92031503a402aef7da"
     },
     "python.Lowering.importedBy": {
@@ -2823,15 +2827,15 @@
       "own": "c61455d71e5348f9fc74eb002b2b2eefa597c42de0d064587c7814ac5f090b82"
     },
     "python.Lowering.importing": {
-      "merkle": "423febaec73cb953440a605fc8072d3302f45053da63d890d9688f3cb96e70f9",
+      "merkle": "af45ec3f5dc0a3707ecc4313adc1cf0acfab7a6bde296e1a90416822e4c781c3",
       "own": "90387b1515d3d08c3d29b01345941a410a314fedbf45646cb0ca21c8fa958309"
     },
     "python.Lowering.importingFrom": {
-      "merkle": "ead4e2918545a66d7b19a9e11a562c96ccb8de9a2e1ac546e7de906d8a6d3ebb",
+      "merkle": "fa9ed3c2e47b8efca321131c9b566c5955937f0f291e1c7fe5c9968e5abebfb5",
       "own": "7fb5f44689d0103496eafc8c94f080b770a61d4a890a9b1be427e5d4e8e062b4"
     },
     "python.Lowering.inPlace": {
-      "merkle": "8485c0436d70cee30f2727ed3732e89bf3f0b9c8c6d855898320d56405d6d28f",
+      "merkle": "8410d094ff7348e9553318d91f89ceb1ed643c3083edc20b934d1cef856af082",
       "own": "160d049004cf772d5c4882e5291d287d7019aa02513e7d1331d0506106ae379a"
     },
     "python.Lowering.indexed": {
@@ -2839,8 +2843,8 @@
       "own": "140dad26439b0e9ee3461e4355d92aacec1b78779ea7c8710ae218d11a5f4afd"
     },
     "python.Lowering.input": {
-      "merkle": "97a51e2c4d2690ba64122a74b7cb8a16db47744e12e781511cab798fa24cc8fe",
-      "own": "6bdba6bfb94d9b3a9fa3c22619c3c2512d0d651d5d8f013b7a8e52a8cded7cf1"
+      "merkle": "e60ed78a2cd380d39062d532a63b5e0a44caa0a2f9de7301fc8e1d77fd0c6076",
+      "own": "79662a9be174621eb3b3d1ca832cae38bde1190982eafe7ae8ec8236d47df295"
     },
     "python.Lowering.inside": {
       "merkle": "c47d0555bcb5dc7f295fe26a342357bc80bb0b115887b0436de4fc472dd0f607",
@@ -2859,7 +2863,7 @@
       "own": "616fdd626cf68ae78dd91e5195d01923167a2810d474896f94f5c435cc11deb2"
     },
     "python.Lowering.joined": {
-      "merkle": "0246fee288ed43096595c57f04ae81a356c327368c4f3349aa37237371b6c307",
+      "merkle": "b65a18d2a3e9878db09bd705b19a3dad44ea1296f8cbf96deee40d7b9e694789",
       "own": "145a1255f6e0106fc5670a37b5cbddf6518e077e67bce3a2f124cf54634d6fc4"
     },
     "python.Lowering.kept": {
@@ -2867,7 +2871,7 @@
       "own": "ffdff0c11cf462b2aa47ce71b8059078d1157aee65d1678c4bc23845153b5da8"
     },
     "python.Lowering.keysSpilled": {
-      "merkle": "e86a4b21dc4a0337606684a1f8035b502c94cf48652644f830fbd7aeed729c2e",
+      "merkle": "f2ac3d06fb35646c94e46d0c6009129cc6e224f575a1fef61de1354146f8abff",
       "own": "af8a400ff9db1fcde6440a2ab8dae08c72a83e6f2440c2c0d5765b844b14e131"
     },
     "python.Lowering.keywordAt": {
@@ -2875,11 +2879,11 @@
       "own": "ed22ffdc06516a398977025ea3e95d3dfe4ea6eb70fb4ec375ccae6902920dae"
     },
     "python.Lowering.keywords": {
-      "merkle": "0189cf395f9337a3f1cc20ce6a94c8a9336e70c8fbba24cbfd515d72f2f81fac",
+      "merkle": "c4369a433048eb02644d917aaf1e8cd0e106acbebb1e65221742509abfe67d84",
       "own": "35ac730d29a777034a80c1dbc5ca0685c0b1694b15b8fb910f7761d21fc07725"
     },
     "python.Lowering.lambda": {
-      "merkle": "36bac136fa0cac1406849cd71e67edeb7f18f581c676b74fb1c45158a113cc4f",
+      "merkle": "e1d514f333792ce9fffbc4e5b17734a82e9ef80c5a2875d1fd801ca9d68eb0e1",
       "own": "fa55ed7e464e7a2679aabb318de4f800cfb432b2e95989fb5bb3f38a791ef591"
     },
     "python.Lowering.layout": {
@@ -2899,7 +2903,7 @@
       "own": "3da4da289de1cd2769e77bab08ed131c2865eae82b4348edd15a2eec505227c9"
     },
     "python.Lowering.loops": {
-      "merkle": "ae6a4f1c45d78c309af7b4f7d08a199a3eada1f9d0dc5d678a2b3fc45bef7e4a",
+      "merkle": "1acfe8a251888c18ce7e103b4ed9df3ae345acfb1cc2af7ffa6e177594183f33",
       "own": "87ccc15e0d77c6efc036def8da9df5c32fc8be14fc495752cbf1558cea3758ae"
     },
     "python.Lowering.made": {
@@ -2931,7 +2935,7 @@
       "own": "ea5e35f8306974493edfd1fb3df74e816ee047c9715efc29a58662524511bea1"
     },
     "python.Lowering.mergedDictionary": {
-      "merkle": "59ad8ea4517876f738dfcbdf5ada423fdf494a894909f7bc9bb9f3d12adc753f",
+      "merkle": "c3ab769675f05760f6d503b50331d34fc53afce45b11b9faabbe03571a36cff1",
       "own": "2cfdc11b52775a66753334de8496dbbb78292c35ed67759d63a586df2db64e45"
     },
     "python.Lowering.methodsIn": {
@@ -2991,8 +2995,8 @@
       "own": "518da0b8b1cda8371454abc65a481fe9b6d20bbaf5eb3ddea18c792abb3d2523"
     },
     "python.Lowering.outcome": {
-      "merkle": "5f47eebaad0c8c51e7646ed033e16144fe56d0db1f8cc5d4b55627ab7c3601b9",
-      "own": "d067ab3c49f706a98eb6a158bd538a618c6389a8ba1fce03dac41661b9c1e7b6"
+      "merkle": "c3b979316b081c4e1a1b329a229e4892eb098db2d8e58deb21f92c63201e0e7d",
+      "own": "30dacf9129248b947049114ed7f07fbf0842b54df94daa4f4c7b9ef2ebc4596c"
     },
     "python.Lowering.ownName": {
       "merkle": "7307e92ca488e8c377403b7475e743e086707855b992b12038401530cc2b9bfe",
@@ -3007,35 +3011,39 @@
       "own": "a7735e45ce19f7032e401d6fa9582009698373c3c67cb1b3e9cc39b1433c1a07"
     },
     "python.Lowering.plainCall": {
-      "merkle": "e61560c0422a3a225fc38876710acb7fe77ce45e595e8ba7f99f84438c31e297",
+      "merkle": "8c02354775e4a519f03387c35d827efa71a0f108ac88b54f0c649eced83e514a",
       "own": "2b6b4e35038eb2962cfd545690809a89d22ef8d13bbc60946722f7c792e7991a"
     },
     "python.Lowering.plainCollection": {
-      "merkle": "d068ef5c02a8f79b40c51055c37711110beff8e4261d2c0a38335b71a614f310",
+      "merkle": "97350d86bddcca1a1c228ff52fe16df1b618cc53627c4f61a2f2c8cad0a6dc7c",
       "own": "afea99810c138245af0e5df82dc71da3c08dc5bf99ac09f1a501e5cf22170ccf"
     },
     "python.Lowering.plainDictionary": {
-      "merkle": "ff193d67d691d14dc73beb6ca2ef923d368cd4acf7ad855cbe411657aab87d98",
+      "merkle": "934b1ff3780043740019a31d9e0f824b648a9c60d85cb588876928b25a64e8f1",
       "own": "2e2a54927b51b0e77821159c5110ea731488eb8d716230a8a33f9eaa20d1138f"
     },
     "python.Lowering.presentSpilled": {
-      "merkle": "fb04535eaf909cfb46c3e145ca013c6625f7021f69af80544a78653e4dd1eae8",
+      "merkle": "c03316b46380a4446dfdb5e2af98d70fe1f443e5e2f1ff9fb7c7b91bb6051411",
       "own": "42d575475e07b0354988ab352e960d650e7ab4aa084d98211fdea600554cf335"
     },
     "python.Lowering.problem": {
-      "merkle": "84b0bd3b02df7bc64394e6be2320850e5aa12620f0cf0f78593a03d7d34d966d",
-      "own": "139826b9a1a55dfb5532922b17708bf8593c59bd74f2ed77f87388e7c2cd2288"
+      "merkle": "d0969a9b90b2e76ca1181066148f5b8c4ab9c72d4d054a6bf11c187107cd3c16",
+      "own": "8e612ab4067cdd64f476308352271685c4e1659357e9e92e4466bc1812478f84"
     },
     "python.Lowering.program": {
-      "merkle": "9d0ef01e214c948f76fc2b1d3d77f4e47979751508dc8ebd432e7bf2bd418ee7",
+      "merkle": "2f95ae3f625f7c1d1259f01fba3a5a5f58357d4adb929e38ff271d2f46815364",
       "own": "742884ba6c94868a2a43fb9d9f1aa6fb06dd9ff176facec5da9f0e0c6b40f955"
     },
+    "python.Lowering.prompt": {
+      "merkle": "5391f7c5dc667661135772ab9d7e37a2e1c6cdd482d681c9619108247a1aa38f",
+      "own": "70133437b5f1ca7e6005fe641c98afab2a60eb3f08003dd89169f0edadb8db0f"
+    },
     "python.Lowering.qualname": {
       "merkle": "781e107972f053ad499fd6db841bc891646ffa87ec5906804bc20c0096bba63a",
       "own": "81b1bfc7992a0fa78b90ee83e39e047901e8e02eed2a0da67faa2b5eb74a1e9c"
     },
     "python.Lowering.raiseStatement": {
-      "merkle": "46943988ca543b99d2afe113f90643df16044731782394e7fca123333a7d84e6",
+      "merkle": "d3b8fdfb31f7f45026ca57b4de0f6ad9813f68fbdc743fa685b87de4b9c6c6ad",
       "own": "f0eea90116a2994a0bf19b4442b95245f7b41b7cb1b9336275aff0a768973eae"
     },
     "python.Lowering.randomFunctions": {
@@ -3055,8 +3063,8 @@
       "own": "51fc07b5720734bfb7d4373a2c3f186228e99a0b1e18febf296addae707ac446"
     },
     "python.Lowering.rendered": {
-      "merkle": "d979959699e4d072e54e9d7f45ea2775fbe097aedfe284775e17be98792aa4d6",
-      "own": "ee0dd0bed40463f7b6c0bf8e7ea2a4983d975551f41c6cd112c308269b563765"
+      "merkle": "7651d68f17dc6b476f0ed33b21552c830e2c9fb85f2140a8bee95e2e866ac297",
+      "own": "84ee9234fd3c3807497f506c3f57c6e631e758af01d079a746f41435d059f188"
     },
     "python.Lowering.reported": {
       "merkle": "4411e94263a0f11644d9f0ff557fa6bb269eca9280fafd7bc80333ec9252ae3a",
@@ -3067,11 +3075,11 @@
       "own": "4731fd64a4eb973a9070453f5c064aec2f50c07717e800f5c5708ffb59bdea38"
     },
     "python.Lowering.resumedBody": {
-      "merkle": "4fb3a39c55e8f95854b83125c33278718eaa16d7dac12c8c15b92a0c28e067cf",
+      "merkle": "2307ab3d28aa401ee31c351fdd9c6cb0d83187de33282d490d77fdac59a3cb26",
       "own": "acec90b01acc5f8f685766172eba9412f5911e2b354701b8cbb03bb251c2e643"
     },
     "python.Lowering.returnStatement": {
-      "merkle": "ed62801700b27a9e6e2116f7733a64a817ac503314db9b19c45aec66e6adfd65",
+      "merkle": "917be8de79fef3b83492021a3a18a45ffed4a528ac7a8b86d565384e75f8e264",
       "own": "90fd4673783fecbb6aae0f09763f36f86ee0aea190b823cf099de77b38cac538"
     },
     "python.Lowering.run": {
@@ -3091,27 +3099,27 @@
       "own": "ac3642bf6cfa0bbf6d1bb23b30bb22d2b6eb105e59edc1be79684e750a9f3593"
     },
     "python.Lowering.special": {
-      "merkle": "ec5219d70c24c3929cb867f35fd12e607aadccc837ab86af33667ab35dc53675",
-      "own": "dc703528c8ee4e0884a9cb7cca6fe11b0c59097de28228d4e9b9ce9ba9bfa029"
+      "merkle": "ed20a7d32fc9a9bf2148f831977857022de6c9b72e3a34fdb159f7ddd9fe7158",
+      "own": "8121078bde68deb161ea45f080f8235f4a1b609bc3b71e14304dc68554583bbd"
     },
     "python.Lowering.spilled": {
-      "merkle": "dac2ad05a9211881b0d63dcac2577dbc68fca3737865c17fbfdf969b5e76ba2e",
+      "merkle": "ceaf2389a83fd66848fb2a91b9ca789b8e0a02926770430721811094471d900e",
       "own": "7a9c37c63bd7b8eb6c97e0e0a03a00917cc2f325547e45d358e04f88d0612179"
     },
     "python.Lowering.spilledAll": {
-      "merkle": "c4c55d5d068be26fe3754cb157249cd060a107a77aa33d425f5001c67fbf43df",
+      "merkle": "e96bf734029aeb44f8b77feb4c30ce9f78d1a15c558e5ccd15dd51887aaa909a",
       "own": "58a3d36caff6dae32233285a91cac22b051f6cc421b5bc528e5b5690ffbc6c0d"
     },
     "python.Lowering.spreadArgs": {
-      "merkle": "baa9772a67cdd82d359fbbcc224407439b6f6b67fb93e9b74d090f9dd97d9b9b",
+      "merkle": "aaea97978ea96b4ae5cba70f3f7e2821c11522bd252b2e8af778405c27edf060",
       "own": "e75a2d34c016329ac5152dbd3c81e4a0ddd7d58f7524fb7d12a2a5d6f40ae19c"
     },
     "python.Lowering.spreadCall": {
-      "merkle": "d7f5840647798b0735683064e077b3b5074c655fb93488c01044c648038a88b9",
+      "merkle": "3ce1e37d8420a01182116bf0a5321d55357a1457e8e64775bebc1169f30b69c8",
       "own": "b3cd62a2bd2363e288547a26809c1f7727f92b35c644b109072ebda775b3a755"
     },
     "python.Lowering.spreadKeywords": {
-      "merkle": "6b00a6b9274e1e468a3fe868bebd13e0e7225323bc72e98ed9f1facffdbdfc09",
+      "merkle": "e3a8f2992af1fc573e3e053cba71ad0be54c117f800efa9ebe26b6f5846a7545",
       "own": "ee7f487e0a6dc8b8f470d6e2d2e0c886925d776d5c32a9ee0cf36824acb65b8b"
     },
     "python.Lowering.spreads": {
@@ -3123,7 +3131,7 @@
       "own": "b2b257b5eddee0580dd283d9e88d74260c5c7aa183350858c37a6dd8ab97dba0"
     },
     "python.Lowering.starredCollection": {
-      "merkle": "6a84f07c8423e89322d892de4b5fe69fedd715b3408120262ee9f482c01d2473",
+      "merkle": "a383c8d02307c580bc48b3434f0c21de8d88494b87f00e9198b8bec6367cd8a7",
       "own": "4ce0c02e17e8df21b3350f48c5cc7e07cc9efad1eda7490934e0804b0ebc30b6"
     },
     "python.Lowering.startNode": {
@@ -3131,7 +3139,7 @@
       "own": "ed89320877e7042e97cff42145309fc2bd02703a5d5b43cc411a6aef79a09e2f"
     },
     "python.Lowering.statement": {
-      "merkle": "f077a466bb250b1837de65d8e3ac803bc892ce2a41913b692ebc98276f73a369",
+      "merkle": "664c9bb9e9aaf0a8ef6cd4c906b5adb64bed9d15a2ed20712d4fed1d779e6824",
       "own": "34afabe357cfe486f63f7039fca8636ec6a45a2b4054871783e0a1496cbc3a94"
     },
     "python.Lowering.stepping": {
@@ -3139,7 +3147,7 @@
       "own": "4ba645d1c8e8a99e5c6f63f70cd050dd3dae785982f88fa6aca2e448bc102920"
     },
     "python.Lowering.subscript": {
-      "merkle": "73d1aea8f4142fbf7a6e322b292634b536047a861800a88f1c5d3afa4c05eb6a",
+      "merkle": "95773d473e8c96d7b3f517bce198a66d2888b59fa24db6912704cacbb04ccc65",
       "own": "d963b1f1f280d3ae7628d2496b5ac48b21b5bb8a8cc28ddcde041efe56db80ef"
     },
     "python.Lowering.sumShape": {
@@ -3155,7 +3163,7 @@
       "own": "ca046aa4ed97648a49a6f39c9e867672b38666e4992c9e943c0a3a76b40dfb04"
     },
     "python.Lowering.table": {
-      "merkle": "4ce01f1de49e75461c15da2bc14079c6d3d19804c2c35824030b676ad20a6d4c",
+      "merkle": "92e4860328f3fd424132d0d29857d0b5d73541446df751686cf36537c2188e6d",
       "own": "ca1fbd3d44ecdd6352abb42922274c9500b1ac05a4c0139f554a957a332b4162"
     },
     "python.Lowering.tableName": {
@@ -3171,27 +3179,27 @@
       "own": "3e43872d9ebabdebd7243bd5e0907674ae301f64c7ede549622888a760d44d7a"
     },
     "python.Lowering.thrown": {
-      "merkle": "0f9321cba27dce6610c3f1deb8d99545b867100907ac4301b0a5a281a7fb544e",
-      "own": "6b4f03ea3c3c37a757c724843567e042a7501ee9a8d42259f7f9d0bf82854b3b"
+      "merkle": "d94078e141bb9ecaf16119a28a8483424beca1f491b3536dfa222f2cb9011894",
+      "own": "68d3ee3f576d8c5242ca4940816e43ed5708caf9fe6ab6604857073b9e0ed626"
     },
     "python.Lowering.tracebackReaders": {
       "merkle": "135dea4b4e1e8f543dfb649ba2ae3607461991c0d614446f3d87fd1f2adec84c",
       "own": "9935ddbe4dcf1a8622194d9e97daba8781210a506d513fbcefdb05a20de303b8"
     },
     "python.Lowering.translated": {
-      "merkle": "0b2afb27f418e71b8115b112960bee5b1092b8eb7508e6902a355d642a397fee",
+      "merkle": "16dc059cf5373b0440471eabfc013cd3dea3e90d1448c0ee89d0cf8fa2830255",
       "own": "6d82637a19d447ffe5e26b7e9b0171e210c3d58973e57a244c709f9ac220742b"
     },
     "python.Lowering.truth": {
-      "merkle": "4611356e315b7562889d4b86c783ef6d95ee2e6b0467666b49979ddf0387af33",
+      "merkle": "d9307e8644e853fa141c640aa8019636d85d2cb0cec73e57a1b707fd76f5ce8b",
       "own": "8f4c2c716fe9d342f5e04e0c5bc6e8a0ab25109137c88a1a121a4f0d2eff9259"
     },
     "python.Lowering.tryStatement": {
-      "merkle": "35f19c028e4636f2b31aab078e1069dce77aaa10be5f86641dcc6be08df4db5e",
+      "merkle": "d45858d808c76ea6326b704969a1ba50b44a7ed8cbc3a12ef4dd104588c18816",
       "own": "e57b1c4876c39a074decb13130c4048e88a8e8b292412236e0de33983ad794cc"
     },
     "python.Lowering.unary": {
-      "merkle": "62861b12dd1b943cf4861be5122f261d496d3ae575e98efbd121f25ec12652d7",
+      "merkle": "e0b2a8fb4ce980fcb747b88fc094b77de18d63a5d95a8f088d9487a0788cb5c5",
       "own": "d23254c369fbc298d9d955759678b0ec8b8d70648c72d65c411870aa4c092bee"
     },
     "python.Lowering.uncaught": {
@@ -3199,7 +3207,7 @@
       "own": "746736c87483570f4417a16af7584350c993f7a7fcc4a2930954b75cd227da61"
     },
     "python.Lowering.unpacking": {
-      "merkle": "9ffb550d16095ae6276b6acd272dd8ecf1e820d92d6eaa97a4c802212bcd64a3",
+      "merkle": "88afafad320f5c76e8a6feaab07dae71696852dd5283b9767e6be9e0f20d86ab",
       "own": "0ebb8739a83dad40f6e401febfd12c70caa95fffc0eb460ac3890ecb2d18c629"
     },
     "python.Lowering.unprovided": {
@@ -3207,23 +3215,23 @@
       "own": "e628324d9edded78d429fa88666bad843a0ef3b4e9660a9a80ec492869195f98"
     },
     "python.Lowering.untaken": {
-      "merkle": "5c5e84acaf84269936c6b061e9d829da5a317383decabf6930f38b344b28ebd6",
-      "own": "e3a0ecf66c6e30b30bb0d5b362c3e6ba95b875be77b9f479a79075d206c7c870"
+      "merkle": "2601d8af2950d122e6352b0d3bba974db097037e166bc257b6199933d05c0261",
+      "own": "1b3843ae0dab61a0e4f6e37f82f1da38449e14dda439b7ad8d030a5199a0525f"
     },
     "python.Lowering.updated": {
-      "merkle": "2620adff3da51987115955b30808d175dd402e89607e74d13bee33d98cecc5c4",
+      "merkle": "496a180765d23987a07ada2c13824d478c347d0bf7db25657ad9d2b39377f856",
       "own": "b43bc458cbbbe58a0d1e6be12e447fbf50bfbefdfb1c3048f5d51d30815b3a74"
     },
     "python.Lowering.verdict": {
-      "merkle": "66e12a3a9154e3479abb9f67deaf47542745950fadcc611cfbc5c8b43e228c64",
-      "own": "299a8f2ec45554f9a2452f710e1b1289e8838ee40bc510577c5c618920844aa1"
+      "merkle": "42da20c96dd79af7da5d007aea63363d565206d4ad3b7555fa229e5652234d63",
+      "own": "f1efa8c88de49af61504571f925b4154d2483cf540a41ae0d62479d52640b2ba"
     },
     "python.Lowering.whileStatement": {
-      "merkle": "574d17476314fcfc4db246e4c3cd9e116447d72a097a1cad3075b66fce2f0b84",
+      "merkle": "c55adc571554abb9f560387d3e0c7835816c066fbb0d4b405482e8e39c98c819",
       "own": "97347a7b55d105a1c48eaa9eb53f70528bae80cf0c251480d522e78a8e1da2bd"
     },
     "python.Lowering.withItems": {
-      "merkle": "4f2db40c1a831ba3bbe018edde582ae4dc80c5d35be7d9b4efe0d56a3467e9d1",
+      "merkle": "e3eb4128f2a8e6df4eace50dcfc842b98fcb72e3680e1e32a343faccade43533",
       "own": "16b9e6429398b004926bc97bca4307ee72e429e2db324df4640802dc5ccd2895"
     },
     "python.Lowering.within": {
@@ -3231,11 +3239,11 @@
       "own": "cd8694ab67d1eb16c07e9ff67e60149fbe5db9d88316a9cfa2620d3aac4c3440"
     },
     "python.Lowering.yieldAssigned": {
-      "merkle": "8eaf97f6b89a40280f34b14fea9449689a1e1cc112991388acc19681f198eb9b",
+      "merkle": "0b08acb7ac84ab529324e99d69ef6cddf5dc57e98c51605cd1eb3d09aded05d2",
       "own": "2ccbe5eb5c1cd6df3f4cbe07965efd5fea4cd51c389c78f943275345dcf18d38"
     },
     "python.Lowering.yielded": {
-      "merkle": "fd8b757f087d1c56663165bf9856623ca4e2d29c8d527ea4dcee7099baac4683",
+      "merkle": "6fd0e9e5dda7efc67537a531abc4b0702eb60f0efe6063da8f1984758350b4e6",
       "own": "3cff624fffdcb87a69b1ac8574a4f0cd9d62266e57b8ba6fce19239f3e580b10"
     },
     "python.Lowering.yieldsIn": {
@@ -4639,7 +4647,7 @@
       "own": "729b1b11c60a789b82876bf072e072ff2ece08579f2e18a047e21fb7f261f294"
     },
     "python.Querying.json": {
-      "merkle": "6db1995d4018bcf0cba6fd3604dcf0e1eafa211f4fae486b67291c6221664a37",
+      "merkle": "d8c49eac9a3c4fc61f6f37b2e8af6cdc3babf9f0b23634d7f473544b40831d20",
       "own": "f989c9b7636e0d59eade232764b0dd3236acb97ebaa7089f57e919c8acc77474"
     },
     "python.Querying.keeps": {
@@ -4735,7 +4743,7 @@
       "own": "cff807ea74015781e7189b950aab8fe3b260e193448e0f7e828f49c8be10a140"
     },
     "python.Querying.types": {
-      "merkle": "00dabc0f6af45c9e7a2fa685df254fda4934779fc702bd51d1571e6ef05e9132",
+      "merkle": "bc4fb975b45019ed4bb0586320dd5be3d1684cc022400a2757649887160c6d5b",
       "own": "fa4e43482001622024760c66fd877136c065533d9efbc840e3e3becbf0bc9fc6"
     },
     "python.Querying.unary": {
@@ -6415,7 +6423,7 @@
       "own": "1a52f24a9fa5bc723de2cc1f6bf0ba90b412bbeb2bddefad814fa25f0c404483"
     },
     "python.Variables.frames": {
-      "merkle": "315b8e0b63382e5b50c07b3fff23754c2d9ef338a04a4adaab1a17b556892ec5",
+      "merkle": "86695a5f8aeb15885c53ec95091149c31ca60e3e9fe19fb4df8a72278821d841",
       "own": "b05ccab28b50e0004c1790dbdbbad0db16e568a603bed5663c6b6898d7eb7cb9"
     },
     "python.Variables.functionBinds": {
@@ -6431,7 +6439,7 @@
       "own": "ad0e99a003d69c9f32fa674aefd0a78bafa005e0581858e07f91c7a259a8a794"
     },
     "python.Variables.globals": {
-      "merkle": "f181cbedca88de8b709b74ec2c8571fcd9995b6ad4115805529b2d68d2795128",
+      "merkle": "49691da9f9ca84f3a67a890284d2ffc0465ba10848f884e899a9b6625d607d6e",
       "own": "e9de2aa46039d6b0e990c628577521df98eb89c570f443c1165e34c1aa5873f0"
     },
     "python.Variables.handlerBinds": {
@@ -7475,11 +7483,11 @@
       "own": "d3c397cf236dcc705c5d921b67b700d07955aed195a7f6d9ed9cc8180aeff237"
     },
     "python.session.frames": {
-      "merkle": "971f50cd9f330e41edf8ca641cd6c4c354fa7c1b39119a51fffc37000afa72f2",
+      "merkle": "b8629c8b2327cc807e7f8d5191d4edeadb101e8dfc3823b3a7892760353cb0a7",
       "own": "7801dcaf568586ce3e930dc158f7d3329676cd69bb4acc990c0d5c52cdf51019"
     },
     "python.session.globals": {
-      "merkle": "8d07e20a436026d56d4db79a770b33435f9154ae3f37308225e9e33ab0ad3bfb",
+      "merkle": "e99446ffe23a73d71710d812044afc09299ff7742b8172fa549200fc177f1f55",
       "own": "91d732dec543d47dfef3dad7970cad46b5e47947ae6dee93a002f00760a5979d"
     },
     "python.session.lines": {
@@ -7487,7 +7495,7 @@
       "own": "2403a6bbd752150ba4e3a544abf08aa571e1f297e33a62f3004c2e2f519b345e"
     },
     "python.session.load": {
-      "merkle": "9145fb3bd91c84019242578ea4f7fd1a07579805ab8b49dd867d814b13accdc8",
+      "merkle": "fae2e8d8078178fb1aa05539fd1270d5cd30ad21cba956ea41587d36425767f0",
       "own": "a0ab7916631d902fe34bb6a961298a6c1a355709221d610e8ea7bb247cac04e4"
     },
     "python.session.run": {
@@ -7507,7 +7515,7 @@
       "own": "c71c910ef51c0affb7df38447784ae46dfba2e1168fadd04ed46e460c4125e27"
     },
     "python.session.stopDetail": {
-      "merkle": "74f6e0b3ce90f6086a729733c426b471b4622dcadda3994c25268f535aaa06cc",
+      "merkle": "5e152b462e1e035ba53de86d50f8c5de85599b49d8b1bd77311a0f3d4b371133",
       "own": "771ee1aa06bdcc30b3e9be22f917b04e5b77f3053499eb0611591dd5c7921874"
     },
     "python.session.stopErr": {
@@ -7527,23 +7535,23 @@
       "own": "a5feae6da76ead18f6f54bee6277e51294e5a26578a317a36b2e121d0b5cc3df"
     },
     "python.session.stopVisits": {
-      "merkle": "23259c65ff1bd6f5021eee9e23431e517386048c9e6d9ccaa1086c4b77251751",
+      "merkle": "421560d02899474d29c3f566bf8ce2da173be81aee93dc937145679805e8fb30",
       "own": "00d576b7a260394a8b99cadb15bfbbd125840d21fdf0310d75847f1fa5282220"
     },
     "python.types": {
-      "merkle": "a09569c239e4ed4641d9e816aafd2f0a7f6fa45d5bda2d3b8ec2216a7be54a09",
+      "merkle": "c47490144583a52c2191b7cacbb003a3ec89cae438264a8338d1c71e1fdbf955",
       "own": "1abeee3bceaeffc4b83c8e0178368e0d4dd4dd1199129212d28931bac01e7b83"
     },
     "python.verdict": {
-      "merkle": "9c57bbe91a58a2ecd516a21db4041aaabf8927753e427eef0d677e1d4c79c760",
+      "merkle": "90c35d5563e5e627f2923e17e13f40fac63dd7e8930734c68cbc63f17593312d",
       "own": "babf4ff64e288aec2c7e1c825da9248327b934ae160ca8a8deb061c86c02edff"
     }
   },
   "format": 1,
-  "inputs": "9d02288cfec5d345d0baa1c31ea484df0e7f5351b170dafeefd3ad3fb47cf86b",
+  "inputs": "27ad328362b833897569a24d051644aff63285723903c4365a7ed2ce6f4a5063",
   "modules": {
     "python": {
-      "bytes": 366235,
+      "bytes": 366492,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7623,7 +7631,7 @@
       ]
     },
     "python.debugging": {
-      "bytes": 409904,
+      "bytes": 410214,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7781,7 +7789,7 @@
       ]
     },
     "python.lowering": {
-      "bytes": 481585,
+      "bytes": 482371,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7877,7 +7885,7 @@
       ]
     },
     "python.querying": {
-      "bytes": 421356,
+      "bytes": 421661,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7925,7 +7933,7 @@
       ]
     },
     "python.session": {
-      "bytes": 405919,
+      "bytes": 406219,
       "deps": [
         "python.syntax",
         "python.values",
@@ -7995,7 +8003,7 @@
       ]
     },
     "python.symbols": {
-      "bytes": 195534,
+      "bytes": 195596,
       "deps": [
         "python.syntax",
         "python.values",
@@ -8003,7 +8011,7 @@
       ]
     },
     "python.syntax": {
-      "bytes": 274010,
+      "bytes": 274072,
       "deps": [
         "python.syntax"
       ]
@@ -8026,7 +8034,7 @@
       ]
     },
     "python.variables": {
-      "bytes": 404829,
+      "bytes": 405139,
       "deps": [
         "python.syntax",
         "python.values",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/python",
-  "version": "0.1.202611020539",
+  "version": "0.1.202611021902",
   "description": "A Python model for Cella Lang: dynamically typed values (arbitrary-precision int, IEEE 754 float, str, tuple, list, dict, set on a heap), operations and printing that match CPython exactly, exceptions, and statements on @cella-lang/machine's small-step machine and debugger — compiled module pack.",
   "files": [
     "python.builtins.cell",
@@ -49,8 +49,8 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202611020258",
-    "@cella-lang/machine": "0.1.202611020538"
+    "cella-lang": "0.1.202611021901",
+    "@cella-lang/machine": "0.1.202611021901"
   },
   "cella": {
     "checkerHash": "eac27d7a51e5e48b",
@@ -58,6 +58,6 @@
     "modules": [
       "python"
     ],
-    "packHash": "5fa52f5ed83ef148"
+    "packHash": "2d67cde1505a6534"
   }
 }