algorand-python-testing 1.1.0b1__tar.gz → 1.2.0b2__tar.gz

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/CHANGELOG.md

@@ -1,4 +1,18 @@
 # CHANGELOG
+## v1.2.0-beta.2 (2025-12-08)
+
+### Features
+
+* add algopy.public alias for algopy.arc4.abimethod decorator ([`32a2787`](https://github.com/algorandfoundation/algorand-python-testing/commit/32a27877a30f03e5330aa1bdb7a4fadbea543529))
+
+## v1.2.0-beta.1 (2025-12-05)
+
+### Features
+
+* add fixed size variant of bytes as a separate `FixedBytes` type ([`9a2ab8e`](https://github.com/algorandfoundation/algorand-python-testing/commit/9a2ab8e3f94e9e7a2a416a94a54cf51b57599089))
+
+## v1.1.0 (2025-10-20)
+
 ## v1.1.0-beta.1 (2025-10-20)
 
 ### Features

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: algorand-python-testing
-Version: 1.1.0b1
+Version: 1.2.0b2
 Summary: Algorand Python testing library
 Project-URL: Documentation, https://github.com/algorandfoundation/puya/tree/main/algopy_testing#README.md
 Project-URL: Issues, https://github.com/algorandfoundation/puya/issues

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/coverage.md

@@ -3,7 +3,7 @@
 See which `algorand-python` stubs are implemented by the `algorand-python-testing` library. See the [Concepts](testing-guide/concepts.md#types-of-algopy-stub-implementations) section for more details on the implementation categories. Refer to the [`algorand-python` stubs API](api.md) for the full list of stubs for which the `algorand-python-testing` library provides implementations referenced in the table below.
 
 | Name                                        | Implementation type |
-|---------------------------------------------|---------------------|
+| ------------------------------------------- | ------------------- |
 | algopy.Account                              | Emulated            |
 | algopy.Application                          | Emulated            |
 | algopy.Asset                                | Emulated            |
@@ -18,6 +18,7 @@ See which `algorand-python` stubs are implemented by the `algorand-python-testin
 | algopy.CompiledLogicSig                     | Mockable            |
 | algopy.Contract                             | Emulated            |
 | algopy.FixedArray                           | Native              |
+| algopy.FixedBytes                           | Native              |
 | algopy.Global                               | Emulated            |
 | algopy.GlobalState                          | Emulated            |
 | algopy.ImmutableArray                       | Native              |
@@ -39,6 +40,7 @@ See which `algorand-python` stubs are implemented by the `algorand-python-testin
 | algopy.ensure_budget                        | Emulated            |
 | algopy.log                                  | Emulated            |
 | algopy.logicsig                             | Emulated            |
+| algopy.public                               | Emulated            |
 | algopy.size_of                              | Emulated            |
 | algopy.subroutine                           | Native              |
 | algopy.uenumerate                           | Native              |

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/index.md

@@ -62,7 +62,7 @@ class VotingContract(algopy.ARC4Contract):
         )
         self.voted = algopy.LocalState(algopy.UInt64, key="voted", description="Tracks if an account has voted")
 
-    @arc4.abimethod
+    @algopy.public
     def set_topic(self, topic: arc4.String) -> None:
         self.topic.value = topic.bytes
 
@@ -79,7 +79,7 @@ class VotingContract(algopy.ARC4Contract):
         self.voted[algopy.Txn.sender] = algopy.UInt64(1)
         return arc4.Bool(True)
 
-    @arc4.abimethod(readonly=True)
+    @algopy.public(readonly=True)
     def get_votes(self) -> arc4.UInt64:
         return arc4.UInt64(self.votes.value)
 
@@ -141,9 +141,9 @@ This example demonstrates key aspects of testing with `algorand-python-testing`
 1. ARC4 Contract Features:
 
     - Use of `algopy.ARC4Contract` as the base class for the contract.
-    - ABI methods defined using the `@arc4.abimethod` decorator.
+    - ABI methods defined using the `@arc4.abimethod`, or its alias `@algopy.public`, decorator.
     - Use of ARC4-specific types like `arc4.String`, `arc4.Bool`, and `arc4.UInt64`.
-    - Readonly method annotation with `@arc4.abimethod(readonly=True)`.
+    - Readonly method annotation with `@arc4.abimethod(readonly=True)` or `@algopy.public(readonly=True)` .
 
 2. Testing ARC4 Contracts:
 

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/testing-guide/avm-types.md

@@ -50,6 +50,22 @@ random_bytes = context.any.bytes()
 random_bytes = context.any.bytes(length=32)
 ```
 
+## FixedBytes
+
+```{testcode}
+import typing
+
+# Direct instantiation
+bytes_value = algopy.FixedBytes[typing.Literal[16]](b"Hello, Algorand!")
+
+
+# Instantiate test context
+...
+
+# Generate random byte sequences of length 32
+random_bytes = context.any.fixed_bytes(algopy.FixedBytes[typing.Literal[32]])
+```
+
 ## String
 
 ```{testcode}

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/testing-guide/concepts.md

@@ -61,5 +61,5 @@ For a full list of all public `algopy` types and their corresponding implementat
 
 ## Data Validation
 
-Algorand Python and the puya compiler have functionality to perform validation of transaction inputs via the `--validate-abi-args`, `--validate-abi-return` CLI arguments, `arc4.abimethod(validate_encoding=...)` decorator and `.validate()` methods. 
-The Algorand Python Testing library does *NOT* implement this validation behaviour, as you should test invalid inputs using an integrated test against a real Algorand network. 
+Algorand Python and the puya compiler have functionality to perform validation of transaction inputs via the `--validate-abi-args`, `--validate-abi-return` CLI arguments, `arc4.abimethod(validate_encoding=...)` decorator (or its alias, `algopy.public`) and `.validate()` methods.
+The Algorand Python Testing library does _NOT_ implement this validation behaviour, as you should test invalid inputs using an integrated test against a real Algorand network.

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/testing-guide/contract-testing.md

@@ -1,6 +1,6 @@
 # Smart Contract Testing
 
-This guide provides an overview of how to test smart contracts using the Algorand Python SDK (`algopy`). It covers the basics of testing `ARC4Contract` and `Contract` classes, focusing on the `abimethod` and `baremethod` decorators.
+This guide provides an overview of how to test smart contracts using the Algorand Python SDK (`algopy`). It covers the basics of testing `ARC4Contract` and `Contract` classes, focusing on the `baremethod`, `abimethod` and `public` (an alias of `abimethod`) decorators.
 
 ![](https://mermaid.ink/img/pako:eNqVkrFugzAQhl_Fujnp1ImhEiJrJNREWeoOV9sNVsFG9iEVBd69R5w0JE2llsk2n7-7_-AAymsDGewDtpXYrqQT_GyKFwl5vfcBnRZlT5V3IjYYSCjvKKAiCa-JzXfrObyzgTqsxRpVZZ25YOX2nnRrIomCneZzpszLkllktu0f8ratrUKyjFsXCZ1K2gTH7i01_8dGUjOT_55YeLdUFVr3zRunf5b6R5hZoFnBq9cX72_Br_Cj8bl4vJCHaVucvowYxHk5Xg_sfPkY6SbbphDL5dMgQZu29n0U5DMJwzTVGyApySKZKFSNMXKVxPJYYAGNCQ1azX_VYboqgSrTcAcZLzWGDwnSjcxhR37TOwUZhc4sIPhuX0H2jnXkXddqrrCyyKNpTqfjF5m74B8?type=png)
 
@@ -24,7 +24,7 @@ context = ctx_manager.__enter__()
 
 Subclasses of `algopy.ARC4Contract` are **required** to be instantiated with an active test context. As part of instantiation, the test context will automatically create a matching `algopy.Application` object instance.
 
-Within the class implementation, methods decorated with `algopy.arc4.abimethod` and `algopy.arc4.baremethod` will automatically assemble an `algopy.gtxn.ApplicationCallTransaction` to emulate the AVM application call. This behaviour can be overridden by setting the transaction group manually as part of test setup; this is done via implicit invocation of the `algopy_testing.context.any_application()` _value generator_ (refer to the [API](../api.md) for more details).
+Within the class implementation, methods decorated with `algopy.arc4.abimethod` (or its alias, `algopy.public`) and `algopy.arc4.baremethod` will automatically assemble an `algopy.gtxn.ApplicationCallTransaction` to emulate the AVM application call. This behaviour can be overridden by setting the transaction group manually as part of test setup; this is done via implicit invocation of the `algopy_testing.context.any_application()` _value generator_ (refer to the [API](../api.md) for more details).
 
 ```{testcode}
 class SimpleVotingContract(algopy.ARC4Contract):
@@ -42,14 +42,14 @@ class SimpleVotingContract(algopy.ARC4Contract):
         self.topic.value = initial_topic
         self.votes.value = algopy.UInt64(0)
 
-    @algopy.arc4.abimethod
+    @algopy.public
     def vote(self) -> algopy.UInt64:
         assert self.voted[algopy.Txn.sender] == algopy.UInt64(0), "Account has already voted"
         self.votes.value += algopy.UInt64(1)
         self.voted[algopy.Txn.sender] = algopy.UInt64(1)
         return self.votes.value
 
-    @algopy.arc4.abimethod(readonly=True)
+    @algopy.public(readonly=True)
     def get_votes(self) -> algopy.UInt64:
         return self.votes.value
 
@@ -74,7 +74,7 @@ assert contract.topic.value == initial_topic
 assert contract.votes.value == algopy.UInt64(0)
 
 # Act - Vote
-# The method `.vote()` is decorated with `algopy.arc4.abimethod`, which means it will assemble a transaction to emulate the AVM application call
+# The method `.vote()` is decorated with `algopy.public`, an alias of `algopy.arc4.abimethod`, which means it will assemble a transaction to emulate the AVM application call
 result = contract.vote()
 
 # Assert - you can access the corresponding auto generated application call transaction via test context

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/testing-guide/subroutines.md

@@ -18,6 +18,8 @@ context = ctx_manager.__enter__()
 
 The `@algopy.subroutine` decorator exposes contract methods for isolated testing within the Algorand Python Testing framework. This enables focused validation of core business logic without the overhead of full application deployment and execution.
 
+`@algopy.subroutine` decorator is optional for the methods in a contract which are not callable externally.
+
 ## Usage
 
 1. Decorate internal methods with `@algopy.subroutine`:
@@ -26,7 +28,7 @@ The `@algopy.subroutine` decorator exposes contract methods for isolated testing
 from algopy import subroutine, UInt64
 
 class MyContract:
-    @subroutine
+    @subroutine # optional
     def calculate_value(self, input: UInt64) -> UInt64:
         return input * UInt64(2)
 ```

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/docs/testing-guide/transactions.md

@@ -143,7 +143,7 @@ When testing smart contracts, to stay consistent with AVM, the framework _does n
 
 ```{testcode}
 class MyContract(algopy.ARC4Contract):
-    @algopy.arc4.abimethod
+    @algopy.public
     def pay_via_itxn(self, asset: algopy.Asset) -> None:
         algopy.itxn.Payment(
             receiver=algopy.Txn.sender,
@@ -180,7 +180,7 @@ first_payment_txn = first_itxn_group.payment(0)
 
 In this example, we define a contract method `pay_via_itxn` that creates and submits an inner payment transaction. The test context automatically captures and stores the inner transactions submitted by the contract method.
 
-Note that we don't need to wrap the execution in a `create_group` context manager because the method is decorated with `@algopy.arc4.abimethod`, which automatically creates a transaction group for the method. The `create_group` context manager is only needed when you want to create more complex transaction groups or patch transaction fields for various transaction-related opcodes in AVM.
+Note that we don't need to wrap the execution in a `create_group` context manager because the method is decorated with `@algopy.public`, an alias of `@algopy.arc4.abimethod`, which automatically creates a transaction group for the method. The `create_group` context manager is only needed when you want to create more complex transaction groups or patch transaction fields for various transaction-related opcodes in AVM.
 
 To access the submitted inner transactions:
 

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/examples/marketplace/contract.py

@@ -9,7 +9,6 @@ from algopy import (
     gtxn,
     itxn,
     op,
-    subroutine,
 )
 from algopy.arc4 import abimethod
 
@@ -32,7 +31,6 @@ class DigitalMarketplace(ARC4Contract):
     def __init__(self) -> None:
         self.listings = BoxMap(ListingKey, ListingValue)
 
-    @subroutine
     def listings_box_mbr(self) -> UInt64:
         return (
             2_500
@@ -55,7 +53,6 @@ class DigitalMarketplace(ARC4Contract):
             * 400
         )
 
-    @subroutine
     def quantity_price(self, quantity: UInt64, price: UInt64, asset_decimals: UInt64) -> UInt64:
         amount_not_scaled_high, amount_not_scaled_low = op.mulw(price, quantity)
         scaling_factor_high, scaling_factor_low = op.expw(10, asset_decimals)

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/examples/proof_of_attendance/contract.py

@@ -8,12 +8,12 @@ class ProofOfAttendance(algopy.ARC4Contract):
         self.total_attendees = algopy.UInt64(0)
         self.box_map = algopy.BoxMap(algopy.Bytes, algopy.UInt64)
 
-    @algopy.arc4.abimethod(create="require")
+    @algopy.public(create="require")
     def init(self, max_attendees: algopy.UInt64) -> None:
         assert algopy.Txn.sender == algopy.Global.creator_address, "Only creator can initialize"
         self.max_attendees = max_attendees
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def confirm_attendance(self) -> None:
         assert self.total_attendees < self.max_attendees, "Max attendees reached"
 
@@ -25,7 +25,7 @@ class ProofOfAttendance(algopy.ARC4Contract):
 
         algopy.op.Box.put(algopy.Txn.sender.bytes, algopy.op.itob(minted_asset.id))
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def confirm_attendance_with_box(self) -> None:
         assert self.total_attendees < self.max_attendees, "Max attendees reached"
 
@@ -38,7 +38,7 @@ class ProofOfAttendance(algopy.ARC4Contract):
 
         box.value = minted_asset.id
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def confirm_attendance_with_box_ref(self) -> None:
         assert self.total_attendees < self.max_attendees, "Max attendees reached"
 
@@ -51,7 +51,7 @@ class ProofOfAttendance(algopy.ARC4Contract):
 
         box_ref.value = algopy.op.itob(minted_asset.id)
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def confirm_attendance_with_box_map(self) -> None:
         assert self.total_attendees < self.max_attendees, "Max attendees reached"
 
@@ -63,33 +63,33 @@ class ProofOfAttendance(algopy.ARC4Contract):
 
         self.box_map[algopy.Txn.sender.bytes] = minted_asset.id
 
-    @algopy.arc4.abimethod(readonly=True)
+    @algopy.public(readonly=True)
     def get_poa_id(self) -> algopy.UInt64:
         poa_id, exists = algopy.op.Box.get(algopy.Txn.sender.bytes)
         assert exists, "POA not found"
         return algopy.op.btoi(poa_id)
 
-    @algopy.arc4.abimethod(readonly=True)
+    @algopy.public(readonly=True)
     def get_poa_id_with_box(self) -> algopy.UInt64:
         box = algopy.Box(algopy.UInt64, key=algopy.Txn.sender.bytes)
         poa_id, exists = box.maybe()
         assert exists, "POA not found"
         return poa_id
 
-    @algopy.arc4.abimethod(readonly=True)
+    @algopy.public(readonly=True)
     def get_poa_id_with_box_ref(self) -> algopy.UInt64:
         box_ref = algopy.Box(algopy.Bytes, key=algopy.Txn.sender.bytes)
         poa_id, exists = box_ref.maybe()
         assert exists, "POA not found"
         return algopy.op.btoi(poa_id)
 
-    @algopy.arc4.abimethod(readonly=True)
+    @algopy.public(readonly=True)
     def get_poa_id_with_box_map(self) -> algopy.UInt64:
         poa_id, exists = self.box_map.maybe(algopy.Txn.sender.bytes)
         assert exists, "POA not found"
         return poa_id
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def claim_poa(self, opt_in_txn: algopy.gtxn.AssetTransferTransaction) -> None:
         poa_id, exists = algopy.op.Box.get(algopy.Txn.sender.bytes)
         assert exists, "POA not found, attendance validation failed!"
@@ -108,7 +108,7 @@ class ProofOfAttendance(algopy.ARC4Contract):
             algopy.op.btoi(poa_id),
         )
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def claim_poa_with_box(self, opt_in_txn: algopy.gtxn.AssetTransferTransaction) -> None:
         box = algopy.Box(algopy.UInt64, key=algopy.Txn.sender.bytes)
         poa_id, exists = box.maybe()
@@ -128,7 +128,7 @@ class ProofOfAttendance(algopy.ARC4Contract):
             poa_id,
         )
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def claim_poa_with_box_ref(self, opt_in_txn: algopy.gtxn.AssetTransferTransaction) -> None:
         box_ref = algopy.Box(algopy.Bytes, key=algopy.Txn.sender.bytes)
         poa_id, exists = box_ref.maybe()
@@ -148,7 +148,7 @@ class ProofOfAttendance(algopy.ARC4Contract):
             algopy.op.btoi(poa_id),
         )
 
-    @algopy.arc4.abimethod()
+    @algopy.public()
     def claim_poa_with_box_map(self, opt_in_txn: algopy.gtxn.AssetTransferTransaction) -> None:
         poa_id, exists = self.box_map.maybe(algopy.Txn.sender.bytes)
         assert exists, "POA not found, attendance validation failed!"

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/examples/simple_voting/contract.py

@@ -8,7 +8,6 @@ from algopy import (
     Txn,
     UInt64,
     op,
-    subroutine,
 )
 
 VOTE_PRICE = 10_000
@@ -24,11 +23,9 @@ class VotingContract(Contract):
         )
         self.voted = LocalState(UInt64, key="voted", description="Tracks if an account has voted")
 
-    @subroutine
     def set_topic(self, topic: Bytes) -> None:
         self.topic.value = topic
 
-    @subroutine
     def vote(self, voter: Account) -> bool:
         assert op.Global.group_size == UInt64(2)
         assert op.GTxn.amount(1) == UInt64(VOTE_PRICE)
@@ -40,7 +37,6 @@ class VotingContract(Contract):
         self.voted[voter] = UInt64(1)
         return True
 
-    @subroutine
     def get_votes(self) -> UInt64:
         return self.votes.value
 

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "algorand-python-testing"
-version = "1.1.0-beta.1"
+version = "1.2.0-beta.2"
 description = 'Algorand Python testing library'
 readme = "README.md"
 requires-python = ">=3.12"

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/src/_algopy_testing/__init__.py

@@ -1,3 +1,4 @@
+# ruff: noqa: I001
 from _algopy_testing import arc4, gtxn, itxn
 from _algopy_testing.context import AlgopyTestContext
 from _algopy_testing.context_helpers.context_storage import algopy_testing_context
@@ -19,11 +20,14 @@ from _algopy_testing.models import (
     uenumerate,
     urange,
 )
-from _algopy_testing.primitives import BigUInt, Bytes, String, UInt64
+from _algopy_testing.primitives import BigUInt, Bytes, FixedBytes, String, UInt64
 from _algopy_testing.state import Box, BoxMap, BoxRef, GlobalState, LocalState
 from _algopy_testing.value_generators.arc4 import ARC4ValueGenerator
 from _algopy_testing.value_generators.avm import AVMValueGenerator
 from _algopy_testing.value_generators.txn import TxnValueGenerator
+from _algopy_testing.decorators.arc4 import (
+    abimethod as public,
+)
 
 __all__ = [
     "ARC4Contract",
@@ -39,6 +43,7 @@ __all__ = [
     "BoxRef",
     "Bytes",
     "Contract",
+    "FixedBytes",
     "GlobalState",
     "ITxnGroupLoader",
     "ITxnLoader",
@@ -59,6 +64,7 @@ __all__ = [
     "gtxn",
     "itxn",
     "logicsig",
+    "public",
     "subroutine",
     "uenumerate",
     "urange",

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/src/_algopy_testing/decorators/arc4.py

@@ -12,7 +12,7 @@ import _algopy_testing
 from _algopy_testing.constants import ALWAYS_APPROVE_TEAL_PROGRAM, ARC4_RETURN_PREFIX
 from _algopy_testing.context_helpers import lazy_context
 from _algopy_testing.enums import OnCompleteAction
-from _algopy_testing.primitives import BigUInt, Bytes, String, UInt64
+from _algopy_testing.primitives import BigUInt, Bytes, FixedBytes, String, UInt64
 
 _P = typing.ParamSpec("_P")
 _R = typing.TypeVar("_R")
@@ -418,6 +418,8 @@ def _type_to_arc4(  # noqa: PLR0912 PLR0911
         return "uint512"
     if issubclass(annotation, Bytes):
         return "byte[]"
+    if issubclass(annotation, FixedBytes):
+        return f"byte[{annotation._length}]"
     if issubclass(annotation, bool):
         return "bool"
     raise TypeError(f"type not a valid ARC4 type: {annotation}")

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/src/_algopy_testing/primitives/__init__.py

@@ -9,6 +9,7 @@ from _algopy_testing.primitives.array import (
 )
 from _algopy_testing.primitives.biguint import BigUInt
 from _algopy_testing.primitives.bytes import Bytes
+from _algopy_testing.primitives.fixed_bytes import FixedBytes
 from _algopy_testing.primitives.string import String
 from _algopy_testing.primitives.uint64 import UInt64
 
@@ -17,6 +18,7 @@ __all__ = [
     "BigUInt",
     "Bytes",
     "FixedArray",
+    "FixedBytes",
     "ImmutableArray",
     "ImmutableFixedArray",
     "ReferenceArray",

{algorand_python_testing-1.1.0b1 → algorand_python_testing-1.2.0b2}/src/_algopy_testing/primitives/bytes.py

@@ -7,6 +7,8 @@ from typing import TYPE_CHECKING
 if TYPE_CHECKING:
     from collections.abc import Iterator
 
+    from _algopy_testing.primitives.fixed_bytes import FixedBytes
+
 
 from itertools import zip_longest
 
@@ -27,7 +29,7 @@ class Bytes:
         check_type(value, bytes)
         self.value = as_bytes(value)
 
-    def __contains__(self, item: Bytes | bytes) -> bool:
+    def __contains__(self, item: Bytes | FixedBytes | bytes) -> bool:  # type: ignore[type-arg]
         item_bytes = as_bytes(item)
         return item_bytes in self.value
 
@@ -43,11 +45,8 @@ class Bytes:
     def __add__(self, other: Bytes | bytes) -> Bytes:
         """Concatenate Bytes with another Bytes or bytes literal e.g. `Bytes(b"Hello ")
         + b"World"`."""
-        if isinstance(other, Bytes):
-            return _checked_result(self.value + other.value, "+")
-        else:
-            result = self.value + as_bytes(other)
-            return _checked_result(result, "+")
+        result = self.value + as_bytes(other)
+        return _checked_result(result, "+")
 
     def __radd__(self, other: bytes) -> Bytes:
         """Concatenate Bytes with another Bytes or bytes literal e.g. `b"Hello " +
@@ -70,7 +69,7 @@ class Bytes:
         self, index: UInt64 | int | slice
     ) -> Bytes:  # maps to substring/substring3 if slice, extract/extract3 otherwise?
         """Returns a Bytes containing a single byte if indexed with UInt64 or int
-        otherwise the substring o bytes described by the slice."""
+        otherwise the substring of bytes described by the slice."""
         if isinstance(index, slice):
             return Bytes(self.value[index])
         else:
@@ -181,7 +180,7 @@ def _checked_result(result: bytes, op: str) -> Bytes:
     """Ensures `result` is a valid Bytes value.
 
     Raises:
-        ArithmeticError: If `result` of `op` is out of bounds
+        OverflowError: If `result` of `op` is out of bounds
     """
     if len(result) > MAX_BYTES_SIZE:
         raise OverflowError(f"{op} overflows")