All pull requests

Pull requests

• Use crate READMEs as API documentation

  documentation
  #207·LucaCappelletti94 opened Oct 20, 2026Owner·

  ·
  1

• Settle a courier's signed range under its author and sweep records no enrolment can vouch for (R75 slice 5)

  enhancement
  #206·LucaCappelletti94 opened Oct 19, 2026Owner·5/5·

  ·
  3

• Carry a refused mutation's reason to the client, the browser tab and the demos (R57)

  enhancement
  #205·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  5

• Link three handhelds over one hotspot, with Bonjour discovery on iOS (R76 slice 9f)

  dependenciesenhancement
  #204·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  12

• Wait for another connection's lock when opening a replica and report a lasting one as busy

  bug
  #203·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  5

• Wait for a live query's first answer instead of asserting it has not arrived

  bug
  #202·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  3

• Share one catch-up walk across reconnecting subscriptions (R101)

  dependenciesenhancement
  #201·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  12

• Carry each queued write's writer, sequence and provenance through archive version 4 (R75 slice 4)

  enhancement
  #200·LucaCappelletti94 opened Oct 19, 2026Owner·4/5·

  ·
  11

• Bind a device key as a writer, retire writers and carry tails with provenance (R75 slice 3)

  enhancement
  #199·LucaCappelletti94 opened Oct 19, 2026Owner·3/5·

  ·
  22

• Settle every write under a server-issued writer number and its frontier (R75 slice 2)

  enhancement
  #197·LucaCappelletti94 opened Oct 19, 2026Owner·2/5·

  ·
  3

• Add the write chain hash, the writer wire types and the SPKI point helper (R75 slice 1)

  enhancement
  #196·LucaCappelletti94 opened Oct 19, 2026Owner·1/5·

  ·
  7

• Drain held work under its old major and report pending work (R31)

  enhancement
  #195·LucaCappelletti94 opened Oct 19, 2026Owner·5/5·

  ·
  20

• Migrate the device-private tier across majors (R31)

  enhancement
  #194·LucaCappelletti94 opened Oct 19, 2026Owner·4/5·

  ·
  11

• Record the replica's build and rebuild it in place at a newer major (R31)

  enhancement
  #193·LucaCappelletti94 opened Oct 19, 2026Owner·3/5·

  ·
  10

• Export the local tier's history and diff its boundaries at build time (R31)

  enhancement
  #191·LucaCappelletti94 opened Oct 19, 2026Owner·2/5·

  ·
  15

• Declare the application schema major and check it at the handshake (R31)

  enhancement
  #190·LucaCappelletti94 opened Oct 19, 2026Owner·1/5·

  ·
  11

• Keep connetto's own tables out of the capture session

  bug
  #189·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  3

• Keep the client sequence across restarts

  bug
  #188·LucaCappelletti94 opened Oct 19, 2026Owner·

  ·
  3

• Fold the read rule in harness servers as the shipped server does

  #186·LucaCappelletti94 opened Oct 18, 2026Owner·

  ·
  6

• Replace session share keys and resend affected subscriptions (R95)

  #182·LucaCappelletti94 opened Oct 18, 2026Owner·3/3·

  ·
  17

• Drop a held share key at its expiry on an open connection (R95)

  #181·LucaCappelletti94 opened Oct 18, 2026Owner·2/3·

  ·
  24

• Attach the shared public store under its own device key (R11 slice 1)

  #179·LucaCappelletti94 opened Oct 18, 2026Owner·

  ·
  4

• Bound the inspector page list so a proof whose browser never opens fails in time

  #173·LucaCappelletti94 opened Oct 17, 2026Owner·

  ·
  3

• Design R95, share keys added and removed on a running client

  #172·LucaCappelletti94 opened Oct 17, 2026Owner·

  ·
  7

• Say whether the client still works when forget_device fails

  #170·LucaCappelletti94 opened Oct 17, 2026Owner·

  ·
  3