Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

spec cumulative-buyer-time and percent-igs-cumulative-timeout #10

Open
wants to merge 13 commits into
base: more-metrics3
Choose a base branch
from

Conversation

morlovich
Copy link
Owner

@morlovich morlovich commented Nov 7, 2024

...and also describe that the final generateBid execution interrupted by cumulative timeout has no effect.

@morlovich morlovich changed the title Working on cumulative-timeout related metrics spec cumulative-buyer-time and percent-igs-cumulative-timeout Nov 7, 2024
Maks Orlovich and others added 10 commits November 20, 2024 10:14
* Reserved.once specification.

* Some metrics stuff, but it's a bit off for re-run, so need to think some
more.

Actually implement the get.

* Fix handwaveyness of fetch metrics.

* Fix the re-run thing, and a bit of prep for later.

* Fix formatting.

* Fix bug + misc found in feedback.

* Typo fix.

* Wire timeout from most script helpers.

* Start on actual computation.

* k-anon only. The impl gets it wrong.

* generateBid computation.

* report*

* And add the base value itself.

* Fix participating IG count computation.

* Back to always.

* Fix the reportAdditionalWin case.

* Improve report-win enum at suggestion.

* Fix edit mishap

* Spec various P.Agg. storage usage base values.

* Woops, forgot some descriptions.

* Apply feedback

* Apply feedback

* + PA contributions type

* More feedback

* More phrasing tweaks.

* More add -> increment

* Some feedback

* Fix the error case Qingxin pointed out.

* Explain 110%

* Fix the parse error case Qingxin pointed out, lack of timeout on
top-level run is orthogonal.

* Fix the lack of timeout on ScriptExecution.

* More feedback

* Switchify

* FIx weird wrap.

---------

Co-authored-by: Maks Orlovich <[email protected]>
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.

1 participant