Repository navigation
Two more baselines, a per-mission risk metric, exact definitions, CI - #3
Merged
Merged
Conversation
Add TMR + unchecked simplex (isolates the value of self-check) and cold standby (one powered string, the rest unpowered, switched on in index order). A cold spare ages at --cold-aging of the powered rate, read from each unit's own Weibull draw, which History now keeps as wear. The correlation step also records each victim's killer. Neither adds a random draw, so every existing number is unchanged. Risk is the share of missions with at least one wrong result, with a bootstrap interval. The report shows cold standby at aging 0.1 and 1.0 rather than one guessed value, and the sweep adds a table by aging rate. The bench check skips any policy other than tmr and shrink with a note. Doc comments on Outcome give the exact definitions.
check-readme.sh fails if the README misses any string in data.json's display object or the page's static text drifts from it. With --run it reruns dusk and diffs the README output blocks. CI runs fmt, clippy, the tests and check-readme --run.
README output blocks are verbatim runs. Every 1.34x now says it assumes no ground support after launch. Never less on any single mission is stated as true by construction and tested over 200 seeds. Adds exact definitions, a section on the two baselines with the cold aging table and the two-string case, and the new limits. The page gains a risk tile, the cold standby chart, the new table rows and straight apostrophes.
With two binaries, cargo run could not pick one, so the README's cargo run --release commands failed.
Adds the cold standby chart, the two new lines in the timeline, risk, the cold aging curve, and the generated and display blocks. Generated from a clean tree at 6936feb. Every field data.json had before is unchanged.
Closed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds two autonomous baselines and a per-mission risk metric, and reports where the shrinking quorum loses.
Changes
--cold-aging X(spare aging rate relative to a powered one). It is swept from 0.1 to 1.0, never reported at one value.--sweepgains the cold-standby table;--benchskips policies it does not model;--bin chartsdraws five policies and a new cold-aging chart;docs/data.jsongainsgenerated(date, commit, host, rustc) and adisplayblock of the exact strings the README quotes.scripts/check-readme.sh: fails when a README number or output block differs fromdocs/data.jsonor a fresh run (--run).check-readme.sh --run.rustfmt.tomland a format-only commit;default-run = "dusk"socargo run --releaseworks as the README says.Results (10,000 missions, seed 1, no ground support after launch)
Cold standby with three strings outworks the shrinking quorum when an unpowered spare ages at less than about 0.20 of the powered rate. Every existing number is unchanged (checked byte for byte against main).
Checks
cargo fmt --check,cargo clippy --all-targets -- -D warnings,cargo test --release(30 tests),./scripts/check-readme.shand--run: all pass locally.Merging deploys dusk.mru.space (GitHub Pages from main:/docs). Merge before the website PR: its claims check reads
docs/data.jsonfrom dusk main.