0x07516e23 relies on unsafe/foreign

0x07516e23611e5287ce89bcff661be83f

BendSR: Massively Parallel Symbolic Regression Engine in Bend

Anonymous package: import it by hash.

Earlier versions (1)

0xb1a81026 2026-09-23

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

Import

import 0x07516e23611e5287ce89bcff661be83f/BendSR.bend as BendSR
import 0x07516e23611e5287ce89bcff661be83f/Engine.bend as Engine
import 0x07516e23611e5287ce89bcff661be83f/Eval.bend as Eval
import 0x07516e23611e5287ce89bcff661be83f/Genetics.bend as Genetics
import 0x07516e23611e5287ce89bcff661be83f/Types.bend as Types

Modules

BendSR.bend 0 declarations — BendSR: Massively Parallel Symbolic Regression Engine in Bend
Engine.bend 10 declarations
Eval.bend 7 declarations
Genetics.bend 11 declarations
Types.bend 16 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
BendSR.bend	relies on unsafe/foreign	8 defs rely on unsafe or foreign code defs: `0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree_step`, `0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree`, `0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree_step`, `0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree`, `0x07516e23611e5287ce89bcff661be83f/Genetics.crossover`, `0x07516e23611e5287ce89bcff661be83f/Engine.breed_child`, `0x07516e23611e5287ce89bcff661be83f/Engine.generate_next_pop`, `0x07516e23611e5287ce89bcff661be83f/Engine.evolve` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - 0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree_step - 0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree - 0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree_step - 0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree - 0x07516e23611e5287ce89bcff661be83f/Genetics.crossover - 0x07516e23611e5287ce89bcff661be83f/Engine.breed_child - 0x07516e23611e5287ce89bcff661be83f/Engine.generate_next_pop - 0x07516e23611e5287ce89bcff661be83f/Engine.evolve	1.1 s
Engine.bend	relies on unsafe/foreign	8 defs rely on unsafe or foreign code defs: `0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree_step`, `0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree`, `0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree_step`, `0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree`, `0x07516e23611e5287ce89bcff661be83f/Genetics.crossover`, `breed_child`, `generate_next_pop`, `evolve` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - 0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree_step - 0x07516e23611e5287ce89bcff661be83f/Genetics.get_subtree - 0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree_step - 0x07516e23611e5287ce89bcff661be83f/Genetics.replace_subtree - 0x07516e23611e5287ce89bcff661be83f/Genetics.crossover - breed_child - generate_next_pop - evolve	1.4 s
Eval.bend	checks	ALL PROOFS CHECK	0.9 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.7 s
Types.bend	checks	ALL PROOFS CHECK	0.7 s