#gaato/dave

#Using the API

moon add gaato/dave@0.1.0

import {
  "gaato/dave",
}

///|
fn make_key_package() -> Bytes raise @dave.DaveError {
  let session = @dave.Session::new(
    protocol_version=1,
    group_id=42UL,
    self_user_id=100UL,
  )
  session.key_package()
}

#Ownership and errors

• Session, KeyRatchet, Encryptor, and Decryptor own finalizable native handles. Copying one of these MoonBit values aliases the same mutable native state, so access to a single value must be serialized by the application.
• Byte strings returned from native code are copied into MoonBit-owned memory. Installing a KeyRatchet copies its native key state into the media object.
• Session::new always requests libdave's transient signing-key behavior in v0.1. Native authentication-session IDs and persisted-key lookup are not exposed by the safe API.
• Invalid use, unavailable native support, and wrapper/native failures raise DaveError. MLS commit and Welcome rejections remain protocol outcomes in CommitResult::Failed or WelcomeResult::Failed. Applied commit and Welcome results both carry roster deltas; RosterChange::Remove represents an empty signature returned by libdave.

#Verification boundary

let fingerprint = session.current_group_pairwise_fingerprint_blocking(
  user_id=peer_user_id,
)
let display_code = @dave.pairwise_verification_code(fingerprint)

#Native runtime

env MBT_DAVE_REQUIRE_NATIVE=1 moon build --target native --release --deny-warn

#Verification

moon fmt --check
node --test test/build.test.js
moon check --target all --deny-warn
env MBT_DAVE_REQUIRE_NATIVE=1 moon build --target native --release --deny-warn
env MBT_DAVE_REQUIRE_NATIVE=1 moon test --target native --release --deny-warn
moon test --target js --release --deny-warn
moon info --target native
moon package --list

#Upstream and licensing

#Checked API examples

///|
fn make_key_package_for_docs() -> Bytes raise @dave.DaveError {
  let session = @dave.Session::new(
    protocol_version=1,
    group_id=42UL,
    self_user_id=100UL,
  )
  session.key_package()
}

///|
fn current_group_verification_code_for_docs(
  session : @dave.Session,
  peer_user_id : UInt64,
) -> String raise @dave.DaveError {
  let fingerprint = session.current_group_pairwise_fingerprint_blocking(
    user_id=peer_user_id,
  )
  @dave.pairwise_verification_code(fingerprint)
}

///|
test "documented native flows typecheck" {
  let _ = make_key_package_for_docs
  let _ = current_group_verification_code_for_docs
}