~/bend-docscommunity

ber-core-store@0.1.2.0 fails

0x785d1b078f7f99a4ee2b9c7798398bc9

no description

ber-core-store@0.1.2.0 by FabianVegaA

Earlier versions (2)
Published
2026-09-27
Size
129,696 bytes, 15 files
License
BSD (LICENSE)
Declarations
0 laws (0 proved), 346 defs, 16 types

Import

import ber-core-store@0.1.2.0/ber.bend as Ber
import 0x785d1b078f7f99a4ee2b9c7798398bc9/ber.bend as Ber
import ber-core-store@0.1.2.0/src/Certificate.bend as Certificate
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/Certificate.bend as Certificate
import ber-core-store@0.1.2.0/src/Comparison.bend as Comparison
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/Comparison.bend as Comparison
import ber-core-store@0.1.2.0/src/ContentHash.bend as ContentHash
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/ContentHash.bend as ContentHash
import ber-core-store@0.1.2.0/src/ContentObject.bend as ContentObject
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/ContentObject.bend as ContentObject
import ber-core-store@0.1.2.0/src/History.bend as History
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/History.bend as History
import ber-core-store@0.1.2.0/src/JsonAdapter.bend as JsonAdapter
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/JsonAdapter.bend as JsonAdapter
import ber-core-store@0.1.2.0/src/LogicalKey.bend as LogicalKey
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/LogicalKey.bend as LogicalKey
import ber-core-store@0.1.2.0/src/Merging.bend as Merging
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/Merging.bend as Merging
import ber-core-store@0.1.2.0/src/Reading.bend as Reading
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/Reading.bend as Reading
import ber-core-store@0.1.2.0/src/Staging.bend as Staging
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/Staging.bend as Staging
import ber-core-store@0.1.2.0/src/StateTree.bend as StateTree
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/StateTree.bend as StateTree
import ber-core-store@0.1.2.0/src/Store.bend as Store
import 0x785d1b078f7f99a4ee2b9c7798398bc9/src/Store.bend as Store
import ber-core-store@0.1.2.0/src/Value.bend as Value
import 0x785d1b078f7f99a4ee2b9c7798398bc9/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.7 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.7 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:
2.0 s
src/ContentHash.bendchecks ALL PROOFS CHECK1.5 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.5 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.8 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.0 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.1 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.7 s
src/StateTree.bendrelies on unsafe/foreign 5 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, 0x785d1b078f7f99a4ee2b9c7798398bc9/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
- 0x785d1b078f7f99a4ee2b9c7798398bc9/src/JsonAdapter.encode_canonical
- finalize_tree_document
- serialize_tree
2.0 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.3 s
src/Value.bendrelies on unsafe/foreign 4 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, 0x785d1b078f7f99a4ee2b9c7798398bc9/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
- 0x785d1b078f7f99a4ee2b9c7798398bc9/src/JsonAdapter.encode_canonical
- value_to_canonical
0.8 s