0xe5e8eb84 relies on unsafe/foreign

0xe5e8eb844800e2501837cb316d9f2eae

no description

Anonymous package: import it by hash.

Published: 2026-09-23
Size: 11,280 bytes, 5 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 28 defs, 4 types

Import

import 0xe5e8eb844800e2501837cb316d9f2eae/Engine.bend as Engine
import 0xe5e8eb844800e2501837cb316d9f2eae/Eval.bend as Eval
import 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.bend as Genetics
import 0xe5e8eb844800e2501837cb316d9f2eae/Types.bend as Types
import 0xe5e8eb844800e2501837cb316d9f2eae/lib.bend as Lib

Modules

Engine.bend 10 declarations
Eval.bend 7 declarations
Genetics.bend 11 declarations
Types.bend 16 declarations
lib.bend 0 declarations

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
Engine.bend	relies on unsafe/foreign	8 defs rely on unsafe or foreign code defs: `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree_step`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree_step`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.crossover`, `breed_child`, `generate_next_pop`, `evolve` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree_step - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree_step - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.crossover - breed_child - generate_next_pop - evolve	1.0 s
Eval.bend	checks	ALL PROOFS CHECK	0.8 s
Genetics.bend	relies on unsafe/foreign	5 defs rely on unsafe or foreign code defs: `get_subtree_step`, `get_subtree`, `replace_subtree_step`, `replace_subtree`, `crossover` output SOME PROOFS FAIL Error: 5 defs rely on unsafe or foreign code: - get_subtree_step - get_subtree - replace_subtree_step - replace_subtree - crossover	0.8 s
Types.bend	checks	ALL PROOFS CHECK	0.8 s
lib.bend	relies on unsafe/foreign	8 defs rely on unsafe or foreign code defs: `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree_step`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree_step`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree`, `0xe5e8eb844800e2501837cb316d9f2eae/Genetics.crossover`, `0xe5e8eb844800e2501837cb316d9f2eae/Engine.breed_child`, `0xe5e8eb844800e2501837cb316d9f2eae/Engine.generate_next_pop`, `0xe5e8eb844800e2501837cb316d9f2eae/Engine.evolve` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree_step - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.get_subtree - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree_step - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.replace_subtree - 0xe5e8eb844800e2501837cb316d9f2eae/Genetics.crossover - 0xe5e8eb844800e2501837cb316d9f2eae/Engine.breed_child - 0xe5e8eb844800e2501837cb316d9f2eae/Engine.generate_next_pop - 0xe5e8eb844800e2501837cb316d9f2eae/Engine.evolve	1.0 s