All pull requests

Pull requests

• node: bound the node's memory to what it serves, not to its history

  #110·akapug opened Oct 11, 2026Contributor·

  ·
  1

• node: sign one finalization vote per heartbeat batch at quorum threshold 1

  #108·akapug opened Oct 7, 2026Contributor·

  ·
  1

• node boot in ~28 min instead of 2.5 h: parallel history authentication, audit seals, incremental receipt heads

  #107·akapug opened Oct 6, 2026Contributor·

  ·
  1

• node(prove_pool): DREGG_PROVE_WORKERS=0 turns async proving off; DREGG_PROVE_THREADS bounds the prover pool

  #104·akapug opened Oct 3, 2026Contributor·

  ·
  2

• blocklace: detect_equivocation skips the second causal_past BFS for a pair it already proved ordered (#101)

  #103·akapug opened Oct 1, 2026Contributor·

  ·
  1

  1

• node: DREGG_RETAINED_CHECKPOINTS sets how many blocklace checkpoints a node keeps

  #99·akapug opened Sep 30, 2026Contributor·

  ·
  1

• lean-ffi: a narrow PQ init family, so the first ML-DSA signature does not pay the full Lean init

  #96·akapug opened Sep 27, 2026Contributor·

  ·
  1

  1

• Materialize client cells as claimable stubs: no public_key on faucet requests

  #95·akapug opened Sep 27, 2026Contributor·

  ·
  1

• sdk-net: resolve the executor federation id from the configured committee

  #94·akapug opened Sep 27, 2026Contributor·

  ·
  1

  1

• dregg-client-sign: thread the agent's own receipt head, with one retry for older solo nodes

  #93·akapug opened Sep 27, 2026Contributor·

  ·
  1

  1

• dregg-client-sign: add a transfer verb, and confirm send and transfer by the exact turn hash they signed

  #92·akapug opened Sep 27, 2026Contributor·

  ·
  1

• Keep the encrypted receipt-append refusal in the documented turn_hash form

  #88·akapug opened Sep 24, 2026Contributor·

  ·

• fix(poa): the six salvage table checks take a Unit, so a full Lean init no longer evaluates them

  #85·akapug opened Sep 24, 2026Contributor·

  ·

• coord: bind the atomic 2PC turn's valid_until to a deadline decided once

  #84·SolGi4nni opened Aug 22, 2026Contributor·

  ·

• starbridge-v2: bound the unbounded valid_until on the world's turn wrapper

  #83·SolGi4nni opened Aug 22, 2026Contributor·

  ·

• intent: bound the unbounded valid_until on 2 fulfillment-payment Turn literals

  #82·SolGi4nni opened Aug 22, 2026Contributor·

  ·

• fix(node/mcp): bound the unbounded valid_until on 11 more Turn literals

  #81·SolGi4nni opened Aug 18, 2026Contributor·

  ·

• fix(node/mcp): bound tool_submit_turn's unbounded valid_until

  #80·SolGi4nni opened Aug 18, 2026Contributor·

  ·

• mirror-gates: re-key 14 GOLDEN_JSON A1->A2 baseline entries, drop 2 dead G1 rows (issue #75)

  #79·SolGi4nni opened Aug 18, 2026Contributor·

  ·
  1

• sdk: stamp valid_until on runtime-constructed turns (issue #46)

  #78·SolGi4nni opened Aug 18, 2026Contributor·

  ·
  1

• ci: hydrate Lean descriptors from private S3

  #77·bananawalnut opened Aug 17, 2026·

  ·

• fix(signer): coordination-exempt join must zero BOTH funding bounds

  #72·akapug opened Jul 29, 2026Contributor·

  ·
  2