~/bend-docscommunity

0x876fb95e fails

0x876fb95e9d05a7c35ecfcf6d39b99754

no description

Anonymous package: import it by hash.

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

Import

import 0x876fb95e9d05a7c35ecfcf6d39b99754/ber.bend as Ber
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/Certificate.bend as Certificate
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/Comparison.bend as Comparison
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/ContentHash.bend as ContentHash
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/ContentObject.bend as ContentObject
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/History.bend as History
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/JsonAdapter.bend as JsonAdapter
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/LogicalKey.bend as LogicalKey
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/Merging.bend as Merging
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/Reading.bend as Reading
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/Staging.bend as Staging
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/StateTree.bend as StateTree
import 0x876fb95e9d05a7c35ecfcf6d39b99754/src/Store.bend as Store
import 0x876fb95e9d05a7c35ecfcf6d39b99754/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:
0.9 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.9 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:
2.2 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.0 s
src/LogicalKey.bendchecks ALL PROOFS CHECK0.9 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:
1.8 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:
2.1 s
src/StateTree.bendrelies on unsafe/foreign 5 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, 0x876fb95e9d05a7c35ecfcf6d39b99754/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
- 0x876fb95e9d05a7c35ecfcf6d39b99754/src/JsonAdapter.encode_canonical
- finalize_tree_document
- serialize_tree
1.9 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.2 s
src/Value.bendrelies on unsafe/foreign 4 defs rely on unsafe or foreign code
defs: 0xaaa10a97bf5ac6990143da2c863f8a3f/json.enc.go, 0xaaa10a97bf5ac6990143da2c863f8a3f/json.encode, 0x876fb95e9d05a7c35ecfcf6d39b99754/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
- 0x876fb95e9d05a7c35ecfcf6d39b99754/src/JsonAdapter.encode_canonical
- value_to_canonical
0.9 s