~/bend-docscommunity

0xda83506f fails

0xda83506fb9f059ead7afcfa2f498df5f

no description

Anonymous package: import it by hash.

Other versions (1)
Published
2026-09-20
Size
580,462 bytes, 19 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
10 laws (10 proved), 56 defs, 2 types

Import

import 0xda83506fb9f059ead7afcfa2f498df5f/CORRECTNESS.bend as CORRECTNESS
import 0xda83506fb9f059ead7afcfa2f498df5f/LAWS.bend as LAWS
import 0xda83506fb9f059ead7afcfa2f498df5f/PROOF.bend as PROOF
import 0xda83506fb9f059ead7afcfa2f498df5f/buffer.bend as Buffer
import 0xda83506fb9f059ead7afcfa2f498df5f/buffer_proof.bend as Buffer_proof
import 0xda83506fb9f059ead7afcfa2f498df5f/conformance.bend as Conformance
import 0xda83506fb9f059ead7afcfa2f498df5f/core.bend as Core
import 0xda83506fb9f059ead7afcfa2f498df5f/core_model.bend as Core_model
import 0xda83506fb9f059ead7afcfa2f498df5f/fips.bend as Fips
import 0xda83506fb9f059ead7afcfa2f498df5f/legacy_model.bend as Legacy_model
import 0xda83506fb9f059ead7afcfa2f498df5f/list_proofs.bend as List_proofs
import 0xda83506fb9f059ead7afcfa2f498df5f/package.bend as Package
import 0xda83506fb9f059ead7afcfa2f498df5f/packed.bend as Packed
import 0xda83506fb9f059ead7afcfa2f498df5f/packed_array_proof.bend as Packed_array_proof
import 0xda83506fb9f059ead7afcfa2f498df5f/packed_proof.bend as Packed_proof
import 0xda83506fb9f059ead7afcfa2f498df5f/packed_spec.bend as Packed_spec
import 0xda83506fb9f059ead7afcfa2f498df5f/padding_proof.bend as Padding_proof
import 0xda83506fb9f059ead7afcfa2f498df5f/sha256.bend as Sha256
import 0xda83506fb9f059ead7afcfa2f498df5f/state.bend as State

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
CORRECTNESS.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.5 s
LAWS.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
PROOF.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.3 s
buffer.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
buffer_proof.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
conformance.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
core.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.3 s
core_model.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
fips.bendchecks ALL PROOFS CHECK0.8 s
legacy_model.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
list_proofs.bendchecks ALL PROOFS CHECK0.7 s
package.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
packed.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
packed_array_proof.bendchecks ALL PROOFS CHECK0.7 s
packed_proof.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
packed_spec.bendchecks ALL PROOFS CHECK0.9 s
padding_proof.bendchecks ALL PROOFS CHECK1.4 s
sha256.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.3 s
state.bendchecks ALL PROOFS CHECK0.7 s