You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.

Hegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:

* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.
* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.

See https://hegel.dev/reference/installation for more details.


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (E) 0 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (E) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((E) 0 -1 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((E) 0 1 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 0 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (E) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (E) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (E) -648533026 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (E) -247369053 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (E) -603931904 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (E) -1076491867 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (E) -1020890037 0 (E)) 0 -1 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) 0 1 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (E) -315506207 0 (E)) 0 -1 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) 0 1 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (E) -199144084 0 (E)) 0 -1 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (E) -1534511955 0 (E)) 0 -1 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) -1063216740 0 (E)) (T (E) 0 0 (E)) 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) -691955001 0 (E)) (T (E) 0 0 (E)) 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((E) 0 0 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((E) 0 0 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 0 0 (E)) 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 0 0 (E)) 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteModel.
minimal failing input: (
    "((T (E) 0 0 (E)) 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteModel.
minimal failing input: (
    "((T (E) 0 0 (E)) -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteInsert.
minimal failing input: (
    "((E) 0 -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteInsert.
minimal failing input: (
    "((E) 0 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertDelete.
minimal failing input: (
    "((E) 0 -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertDelete.
minimal failing input: (
    "((E) 0 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (E) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (E) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionValid.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 0 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionModel.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 0 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 0 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 275013058 0 (E)) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 1214649349 0 (E)) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 917146609 0 (E)) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 42911261 0 (E)) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 597116856 0 (E)) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 0 0 (E)) (T (E) 0 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionValid.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (T (E) 0 0 (E)) 1 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionValid.
minimal failing input: (
    "((T (T (E) 0 0 (E)) 719023675 0 (E)) (T (E) 0 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionValid.
minimal failing input: (
    "((T (E) 12438640 0 (E)) (T (E) 0 0 (T (E) 12438640 0 (E))))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionValid.
minimal failing input: (
    "((T (T (E) -1123116753 0 (E)) 0 0 (E)) (T (E) -1 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionValid.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) -1 0 (T (E) 0 0 (E))))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionModel.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (T (E) 0 0 (E)) 1 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionModel.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) -1 0 (T (E) 0 0 (E))))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionModel.
minimal failing input: (
    "((T (E) 764857051 0 (E)) (T (E) 0 0 (T (E) 764857051 0 (E))))",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) -1 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) -346749919 0 (E)) (T (E) 0 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 1105453380 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 1 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) -1304421342 0 (T (E) 0 0 (E))) (T (T (E) -1 0 (E)) 0 0 (E)) 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) 1651403340 0 (E)) (T (E) 835638983 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 1 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) -1 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (E)) (E) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 232608009 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 0 0 (T (E) 145548652 0 (E))) (E) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) -1 0 (E)) 0 0 (E)) (T (E) 0 0 (E)) -2 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) -496142548 0 (E)) (T (E) 0 0 (E)) -496142548 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 0 0 (E)) (T (E) -1 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) -1 0 (E)) (T (E) -2 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 1 0 (E)) (T (E) 1 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (T (E) -1 0 (E)) 0 0 (E)) -2 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 260268994 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 484455625 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 1120156825 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 264551622 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((E) (T (E) 1429421587 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertUnion.
minimal failing input: (
    "((T (E) 0 0 (E)) (T (E) 1432663847 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) 854214413 0 (E)) 1079096119 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 1145840697 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 1592397039 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) -1164543764 0 (E)) -1164543763 0 (E)) (E) -1164543763 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 1507320501 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) 1248080802 0 (E)) 1536823586 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) 616092918 0 (E)) 960495561 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) 0 0 (T (E) 318614680 0 (E))) 386095750 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (T (E) -1 0 (E)) 0 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionDeleteInsert.
minimal failing input: (
    "((T (E) 1754411690 0 (E)) (E) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (T (T (E) -1380592186 0 (E)) -1 0 (E)) 0 0 (E)) (T (T (E) -1 -1 (E)) 0 0 (E)) (T (E) -2 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (T (E) -1971878867 0 (E)) 0 0 (E)) (T (E) 0 -1 (E)) (T (E) -1 0 (E)))",
    Some(
        false,
    ),
)


Test failed: Property failed: UnionUnionAssoc.
minimal failing input: (
    "((T (T (T (E) -1332202334 0 (E)) -1 0 (E)) 0 0 (E)) (T (T (E) -1 1 (E)) 0 0 (E)) (T (E) -2 0 (E)))",
    Some(
        false,
    ),
)