Skip to content

Clarify Simplex informal spec#3300

Open
dnkolegov-ar wants to merge 12 commits intomainfrom
denis/simplex-informal
Open

Clarify Simplex informal spec#3300
dnkolegov-ar wants to merge 12 commits intomainfrom
denis/simplex-informal

Conversation

@dnkolegov-ar
Copy link
Collaborator

This PR is a starting point for resolving #3299.

@cloudflare-workers-and-pages
Copy link

cloudflare-workers-and-pages bot commented Mar 4, 2026

Deploying with  Cloudflare Workers  Cloudflare Workers

The latest updates on your project. Learn more about integrating Git with Workers.

Status Name Latest Commit Updated (UTC)
✅ Deployment successful!
View logs
commonware-mcp 6eca4cb Mar 06 2026, 09:23 PM

//! * On failure: set `t_l` to `0`
//!
//! Upon receiving `2f+1` `nullify(v)`:
//! * Set `t_r` to `None`
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

missing line where you set t_r?

Copy link
Collaborator Author

@dnkolegov-ar dnkolegov-ar Mar 4, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

in

//! * If `nullify(v)` has not yet been broadcast, broadcast `nullify(v)` and set `t_r` to `now+T` // TODO: define `T`

and in
//! * Set `t_r` to `now+T`

//! * Broadcast `nullify(v)`
//! * Every `t_r` after `nullify(v)` broadcast that we are still in view `v`:
//! * Rebroadcast `nullify(v)` and either `notarization(v-1)` or `nullification(v-1)`
//! * If `nullify(v)` has not yet been broadcast, broadcast `nullify(v)` and set `t_r` to `now+T` // TODO: define `T`
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

resolve this TODO

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That is the question. What is T? The original Simplex does not have that constant in terms of Δ. In the code it is user defined

@cloudflare-workers-and-pages
Copy link

cloudflare-workers-and-pages bot commented Mar 5, 2026

Deploying monorepo with  Cloudflare Pages  Cloudflare Pages

Latest commit: 6eca4cb
Status: ✅  Deploy successful!
Preview URL: https://46745ee3.monorepo-eu0.pages.dev
Branch Preview URL: https://denis-simplex-informal.monorepo-eu0.pages.dev

View logs

@codecov
Copy link

codecov bot commented Mar 6, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 93.03%. Comparing base (2944cca) to head (6eca4cb).
⚠️ Report is 10 commits behind head on main.

@@            Coverage Diff             @@
##             main    #3300      +/-   ##
==========================================
+ Coverage   92.99%   93.03%   +0.04%     
==========================================
  Files         418      418              
  Lines      141987   143544    +1557     
  Branches     3393     3434      +41     
==========================================
+ Hits       132041   133550    +1509     
- Misses       8855     8901      +46     
- Partials     1091     1093       +2     
Files with missing lines Coverage Δ
consensus/src/simplex/mod.rs 98.34% <ø> (ø)

... and 40 files with indirect coverage changes


Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2944cca...6eca4cb. Read the comment docs.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants