~/bend-docscommunity

0x05fa0e42 fails

0x05fa0e42448e8e221df592b204de523d

no description

Anonymous package: import it by hash.

Published
2026-09-22
Size
130,786 bytes, 39 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 413 defs, 34 types

Import

import 0x05fa0e42448e8e221df592b204de523d/mylsm.bend as Mylsm
import 0x05fa0e42448e8e221df592b204de523d/src/BitTree.bend as BitTree
import 0x05fa0e42448e8e221df592b204de523d/src/Console.bend as Console
import 0x05fa0e42448e8e221df592b204de523d/src/CrashPoint.bend as CrashPoint
import 0x05fa0e42448e8e221df592b204de523d/src/Db.bend as Db
import 0x05fa0e42448e8e221df592b204de523d/src/Decimal.bend as Decimal
import 0x05fa0e42448e8e221df592b204de523d/src/Fs.bend as Fs
import 0x05fa0e42448e8e221df592b204de523d/src/Keys.bend as Keys
import 0x05fa0e42448e8e221df592b204de523d/src/Manifest.bend as Manifest
import 0x05fa0e42448e8e221df592b204de523d/src/MemTable.bend as MemTable
import 0x05fa0e42448e8e221df592b204de523d/src/MergeIter.bend as MergeIter
import 0x05fa0e42448e8e221df592b204de523d/src/SortedRun.bend as SortedRun
import 0x05fa0e42448e8e221df592b204de523d/src/SstFile.bend as SstFile
import 0x05fa0e42448e8e221df592b204de523d/src/SstFileV1Fast.bend as SstFileV1Fast
import 0x05fa0e42448e8e221df592b204de523d/src/SstFileV2.bend as SstFileV2
import 0x05fa0e42448e8e221df592b204de523d/src/Sstable.bend as Sstable
import 0x05fa0e42448e8e221df592b204de523d/src/Wal.bend as Wal

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

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:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.9 s
src/BitTree.bendchecks ALL PROOFS CHECK0.9 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.8 s
src/CrashPoint.bendrelies on unsafe/foreign 5 defs rely on unsafe or foreign code
defs: 0x05fa0e42448e8e221df592b204de523d/src/Console.read_line, 0x05fa0e42448e8e221df592b204de523d/src/Console.get_env, stop, hit_decision, hit
output
SOME PROOFS FAIL
Error: 5 defs rely on unsafe or foreign code:
- 0x05fa0e42448e8e221df592b204de523d/src/Console.read_line
- 0x05fa0e42448e8e221df592b204de523d/src/Console.get_env
- stop
- hit_decision
- hit
0.8 s
src/Db.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.9 s
src/Decimal.bendchecks ALL PROOFS CHECK0.9 s
src/Fs.bendrelies on unsafe/foreign 11 defs rely on unsafe or foreign code
defs: fsync, rename, remove, read_dir_count, read_dir_at, make_dir, chmod, exists, read_utf8_chunk, read_go, read_dir
output
SOME PROOFS FAIL
Error: 11 defs rely on unsafe or foreign code:
- fsync
- rename
- remove
- read_dir_count
- read_dir_at
- make_dir
- chmod
- exists
- 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:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.7 s
src/Manifest.bendchecks ALL PROOFS CHECK0.6 s
src/MemTable.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
1.0 s
src/MergeIter.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
1.0 s
src/SortedRun.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
1.1 s
src/SstFile.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.8 s
src/SstFileV1Fast.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.9 s
src/SstFileV2.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.9 s
src/Sstable.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.9 s
src/Wal.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- p : 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(p: (String & String) & Cmp) -> {cmp_is_eq(unpack(p)) == String.eq.fin(p) : Bool}:
   |                                                                         ^^^^^^^^^^^^^
83 |   match p:
0.8 s