~/bend-docscommunity

mylsm-lsm-store@0.3.1.0 fails

0x0ae7ac793853e753f5f74c16e06ee078

no description

mylsm-lsm-store@0.3.1.0 by FabianVegaA

Other versions (5)
Published
2026-09-26
Size
257,618 bytes, 45 files
License
BSD (LICENSE)
Declarations
0 laws (0 proved), 616 defs, 32 types

Import

import mylsm-lsm-store@0.3.1.0/mylsm.bend as Mylsm
import 0x0ae7ac793853e753f5f74c16e06ee078/mylsm.bend as Mylsm
import mylsm-lsm-store@0.3.1.0/src/BitTree.bend as BitTree
import 0x0ae7ac793853e753f5f74c16e06ee078/src/BitTree.bend as BitTree
import mylsm-lsm-store@0.3.1.0/src/Console.bend as Console
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Console.bend as Console
import mylsm-lsm-store@0.3.1.0/src/CrashPoint.bend as CrashPoint
import 0x0ae7ac793853e753f5f74c16e06ee078/src/CrashPoint.bend as CrashPoint
import mylsm-lsm-store@0.3.1.0/src/Db.bend as Db
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Db.bend as Db
import mylsm-lsm-store@0.3.1.0/src/Decimal.bend as Decimal
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Decimal.bend as Decimal
import mylsm-lsm-store@0.3.1.0/src/Fs.bend as Fs
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Fs.bend as Fs
import mylsm-lsm-store@0.3.1.0/src/Keys.bend as Keys
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Keys.bend as Keys
import mylsm-lsm-store@0.3.1.0/src/Manifest.bend as Manifest
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Manifest.bend as Manifest
import mylsm-lsm-store@0.3.1.0/src/MemTable.bend as MemTable
import 0x0ae7ac793853e753f5f74c16e06ee078/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.3.1.0/src/MergeIter.bend as MergeIter
import 0x0ae7ac793853e753f5f74c16e06ee078/src/MergeIter.bend as MergeIter
import mylsm-lsm-store@0.3.1.0/src/SortedRun.bend as SortedRun
import 0x0ae7ac793853e753f5f74c16e06ee078/src/SortedRun.bend as SortedRun
import mylsm-lsm-store@0.3.1.0/src/SstChecksum.bend as SstChecksum
import 0x0ae7ac793853e753f5f74c16e06ee078/src/SstChecksum.bend as SstChecksum
import mylsm-lsm-store@0.3.1.0/src/SstFile.bend as SstFile
import 0x0ae7ac793853e753f5f74c16e06ee078/src/SstFile.bend as SstFile
import mylsm-lsm-store@0.3.1.0/src/SstFileV2.bend as SstFileV2
import 0x0ae7ac793853e753f5f74c16e06ee078/src/SstFileV2.bend as SstFileV2
import mylsm-lsm-store@0.3.1.0/src/Sstable.bend as Sstable
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Sstable.bend as Sstable
import mylsm-lsm-store@0.3.1.0/src/Wal.bend as Wal
import 0x0ae7ac793853e753f5f74c16e06ee078/src/Wal.bend as Wal
import mylsm-lsm-store@0.3.1.0/src/hub_sha/core.bend as Core
import 0x0ae7ac793853e753f5f74c16e06ee078/src/hub_sha/core.bend as Core
import mylsm-lsm-store@0.3.1.0/src/hub_sha/sha256.bend as Sha256
import 0x0ae7ac793853e753f5f74c16e06ee078/src/hub_sha/sha256.bend as Sha256
import mylsm-lsm-store@0.3.1.0/src/hub_sha/state.bend as State
import 0x0ae7ac793853e753f5f74c16e06ee078/src/hub_sha/state.bend as State

Modules

Other files

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
mylsm.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
1.4 s
src/BitTree.bendchecks ALL PROOFS CHECK1.0 s
src/Console.bendrelies on unsafe/foreign 2 defs rely on unsafe or foreign code
defs: read_line, get_env
output
SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- read_line
- get_env
0.6 s
src/CrashPoint.bendrelies on unsafe/foreign 5 defs rely on unsafe or foreign code
defs: 0x0ae7ac793853e753f5f74c16e06ee078/src/Console.read_line, 0x0ae7ac793853e753f5f74c16e06ee078/src/Console.get_env, stop, hit_decision, hit
output
SOME PROOFS FAIL
Error: 5 defs rely on unsafe or foreign code:
- 0x0ae7ac793853e753f5f74c16e06ee078/src/Console.read_line
- 0x0ae7ac793853e753f5f74c16e06ee078/src/Console.get_env
- stop
- hit_decision
- hit
0.9 s
src/Db.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.9 s
src/Decimal.bendchecks ALL PROOFS CHECK0.8 s
src/Fs.bendrelies on unsafe/foreign 12 defs rely on unsafe or foreign code
defs: fsync, rename, remove, read_dir_count, read_dir_at, make_dir, chmod, exists, file_size, read_utf8_chunk, read_go, read_dir
output
SOME PROOFS FAIL
Error: 12 defs rely on unsafe or foreign code:
- fsync
- rename
- remove
- read_dir_count
- read_dir_at
- make_dir
- chmod
- exists
- file_size
- read_utf8_chunk
- read_go
- read_dir
0.7 s
src/Keys.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.8 s
src/Manifest.bendchecks ALL PROOFS CHECK0.8 s
src/MemTable.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
1.1 s
src/MergeIter.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
1.0 s
src/SortedRun.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.7 s
src/SstChecksum.bendchecks ALL PROOFS CHECK2.0 s
src/SstFile.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
1.1 s
src/SstFileV2.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
1.1 s
src/Sstable.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.8 s
src/Wal.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.8 s
src/hub_sha/core.bendchecks ALL PROOFS CHECK1.8 s
src/hub_sha/sha256.bendchecks ALL PROOFS CHECK1.3 s
src/hub_sha/state.bendchecks ALL PROOFS CHECK0.7 s