Commits

Branch selector

master

User selector

All users

Datepicker

All time

Commit history

Commits on Jul 28, 2026

• chore(ci): track workspace lockfile, add MSRV gate, clear stale exemptions

  Show description for a3da91f
  dspearson

  committed
  a3da91fView commit details

  Copy full SHA for a3da91f

  Browse repository at this point

• chore(toolchain): edition 2024 everywhere; bump CI and dev-shell Rust

  Show description for 22d34b7
  dspearson

  committed
  22d34b7View commit details

  Copy full SHA for 22d34b7

  Browse repository at this point

• refactor(sntrup761)!: drop PQClean C FFI backend for pure Rust

  Show description for 9a1d67e
  dspearson

  committed
  9a1d67eView commit details

  Copy full SHA for 9a1d67e

  Browse repository at this point

Commits on Jul 27, 2026

• test(88-04): ingest process_add double-join structural-arm test (HARD-07)

  Show description for 4b8be39
  dspearson

  committed
  4b8be39View commit details

  Copy full SHA for 4b8be39

  Browse repository at this point

• fix(88-04): saturating usize->u32 length prefixes in welcome_sign_body (LOW-02)

  Show description for 322c174
  dspearson

  committed
  322c174View commit details

  Copy full SHA for 322c174

  Browse repository at this point

• docs(88-04): restore_session watermark-caller-owned + decap helpers internal (HARD-06/LOW-01)

  Show description for 96bbaca
  dspearson

  committed
  96bbacaView commit details

  Copy full SHA for 96bbaca

  Browse repository at this point

• docs(88-03): reserve + document vestigial skipped-key format (HARD-05)

  Show description for 00dac0e
  dspearson

  committed
  00dac0eView commit details

  Copy full SHA for 00dac0e

  Browse repository at this point

• feat(88-03): monotonic-forward guard on set_send_count (HARD-04 GREEN)

  Show description for 21ffe4a
  dspearson

  committed
  21ffe4aView commit details

  Copy full SHA for 21ffe4a

  Browse repository at this point

• test(88-03): add failing rewind test for set_send_count (HARD-04 RED)

  Show description for 1c071cf
  dspearson

  committed
  1c071cfView commit details

  Copy full SHA for 1c071cf

  Browse repository at this point

• feat(88-02): widen session_keys consts to pub; code-anchor session-key KAT rows (HARD-01)

  Show description for f25d38b
  dspearson

  committed
  f25d38bView commit details

  Copy full SHA for f25d38b

  Browse repository at this point

• test(88-02): extend context-strings KAT to full App-C coverage; reconcile 3 stale rows (HARD-01)

  Show description for 8b640bf
  dspearson

  committed
  8b640bfView commit details

  Copy full SHA for 8b640bf

  Browse repository at this point

• feat(88-02): central RATCHET_INIT_CONTEXT re-export; single-source KDF_INIT (HARD-02)

  Show description for 4ffe792
  dspearson

  committed
  4ffe792View commit details

  Copy full SHA for 4ffe792

  Browse repository at this point

• feat(88-01): wire RNG fault seam; hedged signer fails closed (HARD-03 GREEN)

  Show description for 8a9f2c6
  dspearson

  committed
  8a9f2c6View commit details

  Copy full SHA for 8a9f2c6

  Browse repository at this point

• test(88-01): add hedged fail-closed RNG-fault KAT (HARD-03 RED)

  Show description for acea0a5
  dspearson

  committed
  acea0a5View commit details

  Copy full SHA for acea0a5

  Browse repository at this point

• fix(88-01): make extern crate alloc unconditional (trelis-hybrid powerset gate)

  Show description for e0344c4
  dspearson

  committed
  e0344c4View commit details

  Copy full SHA for e0344c4

  Browse repository at this point

• fix(88-01): hoist SEND_COUNT_OFFSET const above statements

  Show description for f144c0a
  dspearson

  committed
  f144c0aView commit details

  Copy full SHA for f144c0a

  Browse repository at this point

• fix(87): include PathUpdate.new_public_key in DOS-01 size measure (M-01)

  Show description for 36dd99a
  dspearson

  committed
  36dd99aView commit details

  Copy full SHA for 36dd99a

  Browse repository at this point

• fix(87): backtick CoCoA/DoS in trelis-error DoS-variant docs (clippy::doc_markdown)

  Show description for 8a85a48
  dspearson

  committed
  8a85a48View commit details

  Copy full SHA for 8a85a48

  Browse repository at this point

• refactor(87-03): extract check_group_growth_limits (clippy too_many_lines)

  Show description for 2b524be
  dspearson

  committed
  2b524beView commit details

  Copy full SHA for 2b524be

  Browse repository at this point

• feat(87-03): gate process_welcome + create_group/add_member (DOS-01/03)

  Show description for eaebb56
  dspearson

  committed
  eaebb56View commit details

  Copy full SHA for eaebb56

  Browse repository at this point

• test(87-03): failing DoS proofs for process_welcome + create_group/add_member

  Show description for 0270a77
  dspearson

  committed
  0270a77View commit details

  Copy full SHA for 0270a77

  Browse repository at this point

• feat(87-03): gate process_update + process_remove before verify (DOS-01/02)

  Show description for cbd44a7
  dspearson

  committed
  cbd44a7View commit details

  Copy full SHA for cbd44a7

  Browse repository at this point

• test(87-03): failing DoS ordering proofs for process_update + process_remove

  Show description for 897b0f0
  dspearson

  committed
  897b0f0View commit details

  Copy full SHA for 897b0f0

  Browse repository at this point

• feat(87-03): gate process_add on check_size_limits before verify (DOS-01/02/03)

  Show description for 51b4cba
  dspearson

  committed
  51b4cbaView commit details

  Copy full SHA for 51b4cba

  Browse repository at this point

Commits on Jul 26, 2026

• feat(87-02): gate decrypt_with_epoch_secret on MAX_MESSAGE_SIZE before derive/AEAD

  Show description for 7b324d0
  dspearson

  committed
  7b324d0View commit details

  Copy full SHA for 7b324d0

  Browse repository at this point

• test(87-02): add failing test_decrypt_with_epoch_secret_rejects_oversized_before_aead

  Show description for 4954ad5
  dspearson

  committed
  4954ad5View commit details

  Copy full SHA for 4954ad5

  Browse repository at this point

• feat(87-02): gate CocoaSession::encrypt on MAX_MESSAGE_SIZE before aead::encrypt

  Show description for e991fa9
  dspearson

  committed
  e991fa9View commit details

  Copy full SHA for e991fa9

  Browse repository at this point

• test(87-02): add failing test_encrypt_rejects_oversized (gate absent -> Ok)

  Show description for f9546ff
  dspearson

  committed
  f9546ffView commit details

  Copy full SHA for f9546ff

  Browse repository at this point

• test(87-01): variant-surface + gate-boundary + const cross-check tests

  Show description for 8bbd187
  dspearson

  committed
  8bbd187View commit details

  Copy full SHA for 8bbd187

  Browse repository at this point

• feat(87-01): wire check_size_limits gate into CocoaSession::decrypt

  Show description for a37f7b2
  dspearson

  committed
  a37f7b2View commit details

  Copy full SHA for a37f7b2

  Browse repository at this point

• test(87-01): add DoS taxonomy + failing reject-before-AEAD ordering test

  Show description for 2353a33
  dspearson

  committed
  2353a33View commit details

  Copy full SHA for 2353a33

  Browse repository at this point

Commits on Jul 16, 2026

• feat: remediate v1.5 design-audit findings + residual hardening & performance

  Show description for c8b3aae
  dspearson

  committed
  c8b3aaeView commit details

  Copy full SHA for c8b3aae

  Browse repository at this point

Commits on May 18, 2026

• fix(ci): alloc-gate HybridSignature and DeviceId imports in approval.rs

  Show description for 423a365
  dspearson

  committed
  423a365View commit details

  Copy full SHA for 423a365

  Browse repository at this point

• docs(readme): refresh Features list for v0.6.0

  Show description for 00c509d
  dspearson

  committed
  00c509dView commit details

  Copy full SHA for 00c509d

  Browse repository at this point

• fix(ci): repair clippy-pedantic and feature-powerset CI gates

  Show description for 8c0f947
  dspearson

  committed
  8c0f947View commit details

  Copy full SHA for 8c0f947

  Browse repository at this point