0xb1a81026 relies on unsafe/foreign

0xb1a81026c64fbbc00a8570155d77383d

BendSR: Massively Parallel Symbolic Regression Engine in Bend

Anonymous package: import it by hash.

Other versions (1)

0x07516e23 2026-09-26 latest

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

Import

import 0xb1a81026c64fbbc00a8570155d77383d/BendSR.bend as BendSR
import 0xb1a81026c64fbbc00a8570155d77383d/Engine.bend as Engine
import 0xb1a81026c64fbbc00a8570155d77383d/Eval.bend as Eval
import 0xb1a81026c64fbbc00a8570155d77383d/Genetics.bend as Genetics
import 0xb1a81026c64fbbc00a8570155d77383d/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: `0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree_step`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree_step`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.crossover`, `0xb1a81026c64fbbc00a8570155d77383d/Engine.breed_child`, `0xb1a81026c64fbbc00a8570155d77383d/Engine.generate_next_pop`, `0xb1a81026c64fbbc00a8570155d77383d/Engine.evolve` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree_step - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree_step - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.crossover - 0xb1a81026c64fbbc00a8570155d77383d/Engine.breed_child - 0xb1a81026c64fbbc00a8570155d77383d/Engine.generate_next_pop - 0xb1a81026c64fbbc00a8570155d77383d/Engine.evolve	1.1 s
Engine.bend	relies on unsafe/foreign	8 defs rely on unsafe or foreign code defs: `0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree_step`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree_step`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree`, `0xb1a81026c64fbbc00a8570155d77383d/Genetics.crossover`, `breed_child`, `generate_next_pop`, `evolve` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree_step - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.get_subtree - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree_step - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.replace_subtree - 0xb1a81026c64fbbc00a8570155d77383d/Genetics.crossover - breed_child - generate_next_pop - evolve	1.0 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.8 s