0xd1de66b5 relies on unsafe/foreign

0xd1de66b5d9157913a654c39186289f3d

Unsga3Algorithm.Run — C# Unsga3.Algorithm.Unsga3Algorithm.

Anonymous package: import it by hash.

Published

2026-10-01

Size

163,498 bytes, 14 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 670 defs, 32 types

Import

import 0xd1de66b5d9157913a654c39186289f3d/algorithm.bend as Algorithm
import 0xd1de66b5d9157913a654c39186289f3d/bounds.bend as Bounds
import 0xd1de66b5d9157913a654c39186289f3d/individual.bend as Individual
import 0xd1de66b5d9157913a654c39186289f3d/lib.bend as Lib
import 0xd1de66b5d9157913a654c39186289f3d/non_dominated_sort.bend as Non_dominated_sort
import 0xd1de66b5d9157913a654c39186289f3d/normalization.bend as Normalization
import 0xd1de66b5d9157913a654c39186289f3d/polynomial_mutation.bend as Polynomial_mutation
import 0xd1de66b5d9157913a654c39186289f3d/problems.bend as Problems
import 0xd1de66b5d9157913a654c39186289f3d/reference_directions.bend as Reference_directions
import 0xd1de66b5d9157913a654c39186289f3d/rng.bend as Rng
import 0xd1de66b5d9157913a654c39186289f3d/sbx.bend as Sbx
import 0xd1de66b5d9157913a654c39186289f3d/survival.bend as Survival
import 0xd1de66b5d9157913a654c39186289f3d/tournament.bend as Tournament
import 0xd1de66b5d9157913a654c39186289f3d/util.bend as Util

Modules

• algorithm.bend 87 declarations — Unsga3Algorithm.Run — C# Unsga3.Algorithm.Unsga3Algorithm.
• bounds.bend 15 declarations — IProblem box — variable count + per-var [lo, hi].
• individual.bend 27 declarations — Individual — C# Unsga3.Algorithm.Individual.
• lib.bend 13 declarations — Core + pass-2 facade. Importing this file is the module graph check:
• non_dominated_sort.bend 37 declarations — NonDominatedSort — C# Unsga3.Core.NonDominatedSort.
• normalization.bend 97 declarations — Normalization — C# Unsga3.Core.Normalization (v0).
• polynomial_mutation.bend 20 declarations — Polynomial mutation — C# Unsga3.Operators.Mutation.PolynomialMutation.
• problems.bend 117 declarations — Named problems — C# Unsga3.Problems.
• reference_directions.bend 16 declarations — ReferenceDirections — C# Unsga3.Utilities.ReferenceDirections.
• rng.bend 19 declarations — RandomProvider surface — C# Unsga3.Utilities.RandomProvider.
• sbx.bend 23 declarations — Simulated Binary Crossover — C# Unsga3.Operators.Crossover.SimulatedBinaryCrossover.
• survival.bend 192 declarations — Survival / niching — C# ReferencePointManager + NondominatedSortingSurvival.
• tournament.bend 39 declarations — Mating tournament — C# TournamentSelection / TournamentMode.
• util.bend 48 declarations — Shared helpers. Parallelize independent list splits; keep these total.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 10 defs rely on unsafe or foreign code:
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.nth_comp.go
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.nth_comp
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.nth_row
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.comps_all
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.das_dennis.from
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.das_dennis
- smoke_zdt1
- oracle_zdt1
- oracle_dtlz2
- run_zdt1_smoke

SOME PROOFS FAIL
Error: 11 defs rely on unsafe or foreign code:
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.nth_comp.go
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.nth_comp
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.nth_row
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.comps_all
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.das_dennis.from
- 0xd1de66b5d9157913a654c39186289f3d/reference_directions.das_dennis
- 0xd1de66b5d9157913a654c39186289f3d/algorithm.smoke_zdt1
- 0xd1de66b5d9157913a654c39186289f3d/algorithm.oracle_zdt1
- 0xd1de66b5d9157913a654c39186289f3d/algorithm.oracle_dtlz2
- 0xd1de66b5d9157913a654c39186289f3d/algorithm.run_zdt1_smoke
- das_dennis_m1

SOME PROOFS FAIL
Error: 6 defs rely on unsafe or foreign code:
- nth_comp.go
- nth_comp
- nth_row
- comps_all
- das_dennis.from
- das_dennis