feat: add typed contract to contract calls

[daniel-makerx]

No description provided.

[github-actions]

Coverage Report

File	Stmts	Miss	Cover	Missing
src/puya
__main__.py	31	1	97%	116
arc4_util.py	134	8	94%	30, 78–79, 91, 103, 105, 173, 200
arc32.py	126	3	98%	103, 114, 220
client_gen.py	107	107	0%	1–195
compile.py	158	3	98%	141, 155–158
errors.py	122	29	76%	47–48, 52, 54–57, 82, 124, 144–145, 150–164, 175–178
logging_config.py	129	28	78%	15, 36–39, 45, 47, 50–54, 69, 88, 141–143, 146–148, 150, 163–172, 194
models.py	80	2	98%	11–12
options.py	30	2	93%	12–13
parse.py	204	18	91%	86, 98, 127, 166, 169, 223, 266, 276, 278, 282, 310–315, 319, 349, 363, 376–377
utils.py	150	19	87%	49, 53, 87, 93, 108, 111–113, 120, 142, 155–156, 160, 164–167, 196, 198, 221
src/puya/awst
function_traverser.py	188	3	98%	113, 143–144
nodes.py	969	67	93%	19–28, 44, 53, 87, 93, 97–100, 134, 140, 144–147, 281, 495, 533, 738–739, 759, 771, 809, 815–816, 846, 872, 876–880, 892, 948, 990–991, 996, 1011, 1062, 1067, 1125, 1148, 1165, 1344, 1349–1350, 1357–1362, 1474, 1522, 1531, 1559, 1566, 1579, 1628, 1639, 1641, 1646, 1654, 1659, 1664, 1673, 1678, 1683, 1690
to_code_visitor.py	320	14	96%	83–84, 87–90, 114–115, 196, 321–322, 332, 413–414, 485, 513
visitors.py	217	71	67%	7, 15, 19, 23, 27, 31, 35, 39, 43, 47, 53, 59, 65, 69, 73, 77, 83, 87, 91, 95, 99, 105, 109, 113, 117, 121, 125, 129, 133, 139, 143, 147, 153, 159, 163, 169, 173, 177, 181, 185, 189, 193, 197, 201, 205, 209, 213, 217, 221, 225, 231, 234, 237, 243, 249, 253, 257, 261, 265, 269, 273, 277, 281, 285, 289, 293, 297, 301, 305, 309, 313
wtypes.py	296	35	88%	21, 69, 181–192, 207–210, 227, 229, 274, 277, 302, 305, 307, 310, 335, 354, 390, 393, 442–443, 452–453, 461–462, 473, 476, 531, 536, 552
src/puya/awst_build
arc4_utils.py	142	36	75%	51, 53, 56, 68, 95–96, 111, 115, 118, 124, 127, 130, 133, 141, 149, 152, 155–167, 170, 179, 182, 283, 313, 320, 323
base_mypy_visitor.py	133	44	67%	39, 59, 71–77, 95, 106–121, 135, 139, 143, 154, 158, 166, 172, 178, 196, 202, 207, 210, 213, 222, 226, 231, 236, 242, 247, 253, 260, 264, 268, 272, 276, 280, 284, 288, 292, 296, 300, 304, 308
context.py	147	22	85%	59–60, 136–141, 149, 151–156, 159–160, 180, 185, 189, 202, 214–215
contract.py	220	59	73%	128–129, 131–134, 142–143, 146, 158, 169, 191, 209, 215, 217, 226, 236, 245, 273, 277, 293–297, 305–306, 311, 314, 317, 320, 325–326, 329, 332, 335, 338, 341, 344, 347, 350, 353, 356, 359, 373, 387–394, 403–410, 417–418, 441, 451–452, 459, 465, 487–493
intrinsic_models.py	32	5	84%	21, 26–29
main.py	48	3	94%	32, 49, 59
module.py	374	81	78%	67, 115, 133–134, 141, 149, 155, 161–165, 170, 182, 206–207, 218, 248, 274–275, 298, 305, 313–326, 339–340, 363–368, 422–423, 434, 458, 461, 467, 475, 478, 485, 491, 503, 506, 527, 546–547, 564–595, 623–624, 638–640, 642, 644–645, 677–684, 696, 698
subroutine.py	613	73	88%	217, 228, 283, 351, 355, 369, 377, 410–411, 550–564, 572, 580, 583, 595, 631–632, 637, 642, 678, 698–699, 729–735, 788–789, 794, 810, 813, 816, 824–830, 885, 889–890, 894–895, 911, 913, 916–918, 945–946, 954, 989–997, 1032, 1060, 1064, 1095, 1192, 1199, 1209, 1220–1224, 1233, 1236, 1239, 1242, 1245, 1250, 1255, 1262, 1269
utils.py	168	18	89%	48–49, 64, 101, 116–117, 119, 139–140, 160, 174, 187, 194, 219, 230, 251, 304–305
src/puya/awst_build/eb
_utils.py	21	2	90%	13–14
app_account_state.py	128	28	78%	51–54, 62, 79, 81, 114–115, 136–143, 165–166, 171, 178–179, 181, 198–199, 206–207, 236, 241–242
app_state.py	120	22	82%	47–54, 76–77, 82, 92–93, 98, 115–116, 123–124, 165–166, 190, 209
array.py	68	45	34%	26–27, 30–32, 37–44, 57–73, 78–80, 83, 86–89, 94–96, 101–103, 113–125
base.py	207	61	71%	24–31, 103, 107, 111, 117, 121, 127–132, 143–149, 154–160, 166, 172, 182, 193, 197, 201, 211, 214, 217, 220, 223, 226, 231, 234, 256, 277, 280, 285, 288, 291, 294, 297, 302, 305, 316, 329, 340, 343, 356, 377, 382, 392, 395, 399, 406, 409, 412, 417, 422, 427, 433
biguint.py	90	22	76%	34–38, 63–64, 78, 93, 103–106, 128–131, 148–153, 170–178, 181–182
bool.py	40	8	80%	27–31, 50–51, 54–55, 73
bytes.py	140	19	86%	55–59, 82–83, 94–95, 116–117, 121, 125, 130, 132–133, 153, 175, 296–297, 330
bytes_backed.py	29	4	86%	38–39, 48–49
ensure_budget.py	48	15	69%	25–29, 50–51, 71–72, 80, 92, 98–103
intrinsics.py	156	43	72%	32–34, 56–57, 65–66, 72–73, 90–91, 98, 128, 137, 139–163, 170–171, 215, 223, 235–236, 238, 255–256, 268, 273, 280, 283
log.py	55	9	84%	25–29, 78–84, 94, 96
named_int_constants.py	20	2	90%	23–24
struct.py	32	15	53%	21–22, 25, 36–42, 47–49, 52–57
subroutine.py	35	2	94%	52, 72
template_variables.py	47	10	79%	25–26, 60–61, 65, 70, 73–74, 83–84
tuple.py	98	20	80%	39–40, 47, 58, 60–61, 83–84, 93–94, 107, 113, 131–132, 137–138, 150, 158, 166, 198
type_registry.py	28	2	93%	146–147
uint64.py	79	15	81%	37–41, 63–64, 85, 103, 126, 145–148, 162–170, 173–174
unsigned_builtins.py	70	11	84%	30–34, 52, 59, 94, 97–98, 129, 132–133
value_proxy.py	39	12	69%	24, 27, 30, 33, 36, 41, 56, 66, 75, 85, 88, 91
src/puya/awst_build/eb/arc4
utils.py	54	10	81%	19, 50–51, 53, 56–57, 79–80, 100, 115
abi_call.py	199	27	86%	48–52, 104–105, 125–126, 130–131, 158, 182, 199–200, 244, 249–251, 300–306, 340–341, 412, 415, 417
arrays.py	224	29	87%	62–66, 79–80, 108, 139, 159–160, 196, 198, 232, 260, 276–277, 290, 333–334, 387–388, 410, 420–421, 437, 467, 487–488, 496, 543
base.py	115	19	83%	36–40, 70–71, 92–93, 163–164, 185, 196–197, 211–212, 229–230, 240, 250, 255
bool.py	28	6	79%	22–29, 55–56
dynamic_bytes.py	42	4	90%	16–18, 60–61
numeric.py	93	18	81%	29–33, 45, 60, 74, 81–82, 100, 114–115, 120, 125, 162–165, 186
string.py	65	12	82%	32–36, 55, 78, 92, 111–112, 137–138, 156–157
struct.py	58	8	86%	26–33, 69, 72, 107–108
tuple.py	86	21	76%	31–35, 50, 54–55, 80, 85–87, 96, 107, 116, 129, 133–134, 146, 162–163, 172–173
src/puya/awst_build/eb/reference_types
account.py	62	9	85%	31–33, 51, 60–64, 106
application.py	31	6	81%	17–19, 36–37, 41–42
asset.py	52	8	85%	27–29, 46–47, 51–52, 89–90
base.py	44	4	91%	25–27, 61, 87
src/puya/awst_build/eb/transaction
base.py	33	7	79%	16, 24, 28, 33–34, 41, 50
group.py	57	15	74%	33–37, 88–89, 143–156
inner.py	56	7	88%	28–31, 64–65, 116, 144
inner_params.py	102	11	89%	29–33, 44–45, 55, 111, 147, 172, 189, 221
src/puya/awst_build/validation
arc4_copy.py	42	1	98%	37
inner_transactions.py	94	2	98%	112, 126
scratch_slots.py	37	4	89%	17, 30, 46, 48
src/puya/ir
arc4_router.py	248	20	92%	157, 175, 183, 341, 421, 467, 534–535, 549, 589–590, 602, 607, 612, 617, 622, 627, 647–652
avm_ops.py	316	2	99%	44–45
avm_ops_models.py	36	2	94%	20, 28
context.py	88	12	86%	18, 59–60, 62, 80–86, 91, 102, 109, 119
main.py	175	6	97%	113, 116, 245, 247, 303, 314
models.py	455	26	94%	29, 45, 63, 79, 186, 196, 200, 370, 444, 486, 566, 582, 623, 626, 633, 636, 692, 701, 709, 715, 726–728, 738, 750, 787
ssa.py	136	9	93%	43, 51–52, 99, 105, 141, 145, 166, 170
to_text_visitor.py	134	7	95%	85, 90, 172–177
types.py	50	7	86%	27–28, 52–56, 67
visitor.py	171	37	78%	10–12, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 174, 186, 201, 204, 207, 213, 216, 222, 225, 228, 231, 234, 237, 240, 243
visitor_mutator.py	93	2	98%	138–139
vla.py	73	2	97%	50, 87
src/puya/ir/builder
_utils.py	71	8	89%	33, 44, 57, 79–80, 157, 203–204
arc4.py	418	48	89%	75–76, 125, 149–155, 219, 227, 450, 462, 465, 621–635, 964–978, 1004–1028, 1037–1053, 1076, 1177–1178, 1223–1240, 1279–1280, 1333, 1366–1367, 1517–1518, 1581
assignment.py	43	5	88%	59, 75, 102, 133–134
blocks.py	93	10	89%	62, 72, 76, 112, 120, 124, 157–159, 165–167
callsub.py	57	1	98%	93
flow_control.py	98	4	96%	63, 117, 141, 155
iteration.py	190	5	97%	46, 66, 95, 176–177
itxn.py	263	26	90%	120–121, 136–137, 147–148, 154–159, 185, 464–465, 470–471, 476–477, 483, 494, 511–512, 554–557
main.py	477	53	89%	94, 119, 145, 154, 158, 203–204, 220–221, 248, 256, 263–264, 335, 363–364, 379, 391, 408, 429, 436, 470, 483, 521, 534–535, 599–600, 622, 670, 698, 716, 751–752, 827, 830, 836, 843–844, 874–875, 890, 936–937, 953–954, 988, 1003–1005, 1014, 1017–1018
src/puya/ir/destructure
coalesce_locals.py	94	15	84%	33, 36, 118, 127–128, 131–134, 137–139, 153–156
parcopy.py	84	2	98%	47, 83
src/puya/ir/optimize
_utils.py	28	1	96%	21
collapse_blocks.py	92	5	95%	65–69
control_op_simplification.py	96	6	94%	156–162, 232
dead_code_elimination.py	119	2	98%	288, 324
intrinsic_simplification.py	370	40	89%	64, 128, 140, 202, 268, 326, 332, 383, 405, 426, 428, 434, 478, 480, 482, 489, 505, 519, 525, 527, 529, 534, 536, 538, 540, 542, 545–548, 555, 557, 559, 561, 563, 565, 569, 592–593, 600
main.py	85	3	96%	106–107, 123
src/puya/mir
annotaters.py	173	7	96%	57, 63, 99, 103, 136, 140, 217
builder.py	122	6	95%	90, 138, 144, 151, 258–259
context.py	39	1	97%	35
models.py	335	24	93%	14–18, 30, 41, 53, 69–70, 78, 89, 100, 111, 141, 251, 282, 319, 331, 348, 356–362, 368
output.py	61	2	97%	29, 31
stack.py	253	22	91%	68, 72, 115, 119, 125, 135, 146, 157, 167, 182, 199, 209, 228, 246, 252, 254, 293, 304, 328, 360, 365, 403
visitor.py	76	24	68%	7, 15, 19, 23, 27, 31, 35, 39, 43, 47, 51, 55, 59, 63, 67, 71, 75, 79, 83, 87, 91, 95, 99, 103
src/puya/mir/stack_allocation
baileys.py	208	6	97%	31, 103, 123, 330–334, 359
frame_allocation.py	80	3	96%	21, 64–65
koopmans.py	61	1	98%	55
peephole.py	100	6	94%	75, 89, 99, 101, 103, 145
src/puya/teal
models.py	229	2	99%	292, 298
src/puya/teal/optimize
peephole.py	112	5	96%	64, 154–164, 172
repeated_rotations.py	30	1	97%	13
repeated_rotations_search.py	88	6	93%	34, 40–41, 57, 67–68
TOTAL	15836	1828	88%

Tests	Skipped	Failures	Errors	Time
250	2 💤	0 ❌	0 🔥	2m 35s ⏱️