Editing Availability smart contract (section)

== Details ==

=== Carrot ===
By encumbering REP in an ASC, the worker has the chance to be chosen by the WSC. If completed successfully and validated by the DAO in a [[Validation Pool]], the worker will receive more REP, in proportion to the fees earned. This increases the member's subsequent remuneration through the REP salary, and increases their opportunity to work in the future, since greater REP encumbered in their ASCs means they will have a greater likelihood of being selected pseudorandomly.

=== Stick ===
If a member does not participate by risking their REP in ASCs, then their relative power in the DAO will diminish, meaning their REP salary is not as great as it could be (see [[Reputation tokenomics|REP tokenomics]]), their chances of being picked for work in the future diminishes, and their power over governance decisions is diminished. 

Further, if a member does encumber their fees but fails to fulfill their obligation once selected by a WSC, their REP is slashed. These two mechanisms stably solve the nothing at stake problem for DAOs. 

=== Pseudorandom selection ===
[[File:ASC selection.png|thumb|442x442px|Random selection of experts is decided by relative weight of REP holdings. Before a smart contract is engaged, experts have the opportunity to stake REP tokens to signal their availability for work. These tokens are called availability stakes, and will be added as the chosen experts’ upvote bet on their evidence-of-work post. In this example the yellow star stops randomly along the bar, but is most likely to stop on the 2nd expert.|none]]
??

Detail the algorithm...??