~/bend-docscommunity

ber-core-store@0.1.1.0 fails

0xf481b310e24036f2ebffda42e94b3b4c

no description

ber-core-store@0.1.1.0 by FabianVegaA

Other versions (2)
Published
2026-09-27
Size
121,169 bytes, 15 files
License
BSD (LICENSE)
Declarations
0 laws (0 proved), 323 defs, 15 types

Import

import ber-core-store@0.1.1.0/ber.bend as Ber
import 0xf481b310e24036f2ebffda42e94b3b4c/ber.bend as Ber
import ber-core-store@0.1.1.0/src/Certificate.bend as Certificate
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Certificate.bend as Certificate
import ber-core-store@0.1.1.0/src/Comparison.bend as Comparison
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Comparison.bend as Comparison
import ber-core-store@0.1.1.0/src/ContentHash.bend as ContentHash
import 0xf481b310e24036f2ebffda42e94b3b4c/src/ContentHash.bend as ContentHash
import ber-core-store@0.1.1.0/src/ContentObject.bend as ContentObject
import 0xf481b310e24036f2ebffda42e94b3b4c/src/ContentObject.bend as ContentObject
import ber-core-store@0.1.1.0/src/History.bend as History
import 0xf481b310e24036f2ebffda42e94b3b4c/src/History.bend as History
import ber-core-store@0.1.1.0/src/JsonAdapter.bend as JsonAdapter
import 0xf481b310e24036f2ebffda42e94b3b4c/src/JsonAdapter.bend as JsonAdapter
import ber-core-store@0.1.1.0/src/LogicalKey.bend as LogicalKey
import 0xf481b310e24036f2ebffda42e94b3b4c/src/LogicalKey.bend as LogicalKey
import ber-core-store@0.1.1.0/src/Merging.bend as Merging
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Merging.bend as Merging
import ber-core-store@0.1.1.0/src/Reading.bend as Reading
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Reading.bend as Reading
import ber-core-store@0.1.1.0/src/Staging.bend as Staging
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Staging.bend as Staging
import ber-core-store@0.1.1.0/src/StateTree.bend as StateTree
import 0xf481b310e24036f2ebffda42e94b3b4c/src/StateTree.bend as StateTree
import ber-core-store@0.1.1.0/src/Store.bend as Store
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.bend as Store
import ber-core-store@0.1.1.0/src/Value.bend as Value
import 0xf481b310e24036f2ebffda42e94b3b4c/src/Value.bend as Value

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
ber.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.6 s
src/Certificate.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.8 s
src/Comparison.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.5 s
src/ContentHash.bendchecks ALL PROOFS CHECK1.8 s
src/ContentObject.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.6 s
src/History.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.7 s
src/JsonAdapter.bendrelies on unsafe/foreign 3 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, encode_canonical
output
SOME PROOFS FAIL
Error: 3 defs rely on unsafe or foreign code:
- 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go
- 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode
- encode_canonical
1.1 s
src/LogicalKey.bendchecks ALL PROOFS CHECK0.8 s
src/Merging.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:
2.2 s
src/Reading.bendchecks ALL PROOFS CHECK0.7 s
src/Staging.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.9 s
src/StateTree.bendrelies on unsafe/foreign 5 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, 0xf481b310e24036f2ebffda42e94b3b4c/src/JsonAdapter.encode_canonical, finalize_tree_document, serialize_tree
output
SOME PROOFS FAIL
Error: 5 defs rely on unsafe or foreign code:
- 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go
- 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode
- 0xf481b310e24036f2ebffda42e94b3b4c/src/JsonAdapter.encode_canonical
- finalize_tree_document
- serialize_tree
1.8 s
src/Store.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/Value.bendrelies on unsafe/foreign 4 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, 0xf481b310e24036f2ebffda42e94b3b4c/src/JsonAdapter.encode_canonical, value_to_canonical
output
SOME PROOFS FAIL
Error: 4 defs rely on unsafe or foreign code:
- 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go
- 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode
- 0xf481b310e24036f2ebffda42e94b3b4c/src/JsonAdapter.encode_canonical
- value_to_canonical
1.0 s