ber.bend fails

raw source on the hub · import ber-core-store@0.1.1.0/ber.bend as Ber

11 imports

import Base
import ./src/Store.bend as Store
import ./src/Value.bend as Value
import ./src/LogicalKey.bend as LogicalKey
import ./src/Staging.bend as Staging
import ./src/History.bend as History
import ./src/StateTree.bend as StateTree
import ./src/Comparison.bend as Comparison
import ./src/Merging.bend as Merging
import ./src/Certificate.bend as Certificate
import ./src/JsonAdapter.bend as JsonAdapter

Definitions

def put_record source · line 22 · raw

@+session_id:String -> @+namespace_name:String -> @+record_id:String -> @value:0xf481b310e24036f2ebffda42e94b3b4c/src/Value.Value -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/LogicalKey.LogicalKey>

Stages one value for later commit.

def delete_record source · line 26 · raw

@+session_id:String -> @+namespace_name:String -> @+record_id:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/LogicalKey.LogicalKey>

Stages a tombstone for later commit.

def create_commit source · line 30 · raw

@+session_id:String -> @+parent_ids:List<&2, String> -> @metadata:List<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/History.CommitMeta> -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/History.Commit>

Materializes stage plus base into a new commit.

def read_value_at source · line 34 · raw

@+namespace_name:String -> @+record_id:String -> @+commit_id:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, Maybe<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/Value.Value>>

Reads a namespaced value at a commit.

def read_tree_at source · line 38 · raw

@+commit_id:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, Maybe<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/StateTree.StateTreeNode>>

Reads the tree for a commit identifier.

def compare_commits source · line 42 · raw

@+first_id:String -> @+second_id:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/Comparison.CompareResult>

Diffs two commits with hash pruning.

def merge_commits source · line 46 · raw

@+first_id:String -> @+second_id:String -> @+strategy_name:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/Merging.MergeResult>

Merges two commits by strategy name.

def verify_certificate source · line 50 · raw

@+certificate:0xf481b310e24036f2ebffda42e94b3b4c/src/Merging.MergeCertificate -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, Bool>

Verifies a merge certificate against stored trees.

def commit_value source · line 56 · raw

@+session_id:String -> @+namespace_name:String -> @+record_id:String -> @value:0xf481b310e24036f2ebffda42e94b3b4c/src/Value.Value -> @parents:List<&2, String> -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, String>

Stages a value and commits in one step; returns the new commit identifier.

def remove_record source · line 63 · raw

@+session_id:String -> @+namespace_name:String -> @+record_id:String -> @parents:List<&2, String> -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, String>

Stages a tombstone and commits in one step; returns the new commit identifier.

def render_compare_counts source · line 70 · raw

@+compare_result:0xf481b310e24036f2ebffda42e94b3b4c/src/Comparison.CompareResult -> String

Renders one diff count line.

def compare_summary source · line 74 · raw

@+first_id:String -> @+second_id:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, String>

Diffs two commits and renders the counts.

def decide_verified_text source · line 80 · raw

@verified_ok:Bool -> @+commit_id:String -> String

Renders a verified merge; failed verification is unprovable.

def verify_successful_merge source · line 88 · raw

@+resulting_commit:0xf481b310e24036f2ebffda42e94b3b4c/src/History.Commit -> @+certificate:0xf481b310e24036f2ebffda42e94b3b4c/src/Merging.MergeCertificate -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, String>

Verifies a successful merge and renders the verdict.

def verify_merge_outcome source · line 94 · raw

@merge_result:0xf481b310e24036f2ebffda42e94b3b4c/src/Merging.MergeResult -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, String>

Renders a merge outcome; conflicts count keys, unprovable names the reason.

def merge_and_verify source · line 104 · raw

@+first_id:String -> @+second_id:String -> 0xf481b310e24036f2ebffda42e94b3b4c/src/Store.Op<&2, String>

Merges union-disjoint and verifies; renders merged, conflict or unprovable.

def render_found_value source · line 110 · raw

@found_value:0xf481b310e24036f2ebffda42e94b3b4c/src/Value.Value -> String

Renders one found value; blobs show size, never raw bytes.

def render_read_value source · line 120 · raw

@read_value:Maybe<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/Value.Value> -> String

Renders a read; absent reads as absent.

def format_report source · line 128 · raw

@read_value:Maybe<&2, 0xf481b310e24036f2ebffda42e94b3b4c/src/Value.Value> -> @+diff_line:String -> @+merge_line:String -> String

Renders a read plus diff and merge lines; the demo report shape.