TODO for July 23

[pooja]

@whyrusleeping:

• Upgradeability: Document the approach to upgrading the protocol, versioning, governance. Addresses Specs for protocol upgrades ahead of implementation #277, Protocol Versions #197
• Specify behavior of unspec'ed actor functions: Underspecified Actors #273
• Improve the spec for deal arbitration: Decide on including a starting block height in a deal proposal #200, make deal arbitration more scalable #89, Clarify BigInt vs BigUint #343, Clarify which type of collateral is penalized by ArbitrateDeal #353, Make arbitrate deal able to slash miners for never posting the sector #306
• Make sure the IPLD HAMT specs land: Follow these PRs add basic spec for hamt ipld/specs#109 and HashMap (HAMT) spec ipld/specs#131, and close issue HAMT spec #224 when those are merged
• Review faults (from dig), PoSt (from dig) specs

@dignifiedquire:

• Complete PoSt spec: Spans many issues, including Remove ActiveCollateral from PoSt #371, Rational PoSt #332, specify the behavior of the ProvingPeriodDuration function #321, Specify CheckPostProofs in more detail #375, What is a FaultSet, why does a submitPoSt message allow for multiple FaultSet, and how do they "stack"? #119
• Resolve faults open issues/questions: Spans many issues, including Resume mining after being slashed #92, Clarify (ir-)recoverability of complete slashing #292, Late PoSt and temporary sector failure fee calculations #328

@nicola:

• Finish Proofs PR: Add bucket and DRG sampling to the proofs spec
• PoSt spec: Work with dig and

@pooja:

• Write VerifyTipSet: Rewrite VerifyBlock in mining.md spec to work for tipsets (VerifyTipset) #369
• Complete signatures spec: Rewrite signatures.md, review PR Signature Aggregation #210
• Add appendix: Include Spec for content policy implementation #55, Document how removal of data for legal reasons  #65, architecture diagram, and API interface
• Add diagram style notes: Add diagram guidelines to style.md #372

@sternhenri:

• Clarify use of signatures in EC #290
• Modify spec so we can compute slashing conditions in state machine #176
• Review https://github.com/filecoin-project/specs/pull/334/files
• reword the 'round' definition #351
• drive home Powertable lookback  #403

@jesseclay:

• Initial FIL distribution: Initial investor accounts #157

To pick up next week (in addition to some from the existing backlog):

• VM: Document method to get randomness from chain #226, State machine execution model #225, Modify spec so we can compute slashing conditions in state machine #176 (@dignifiedquire)
• Spec'ing gas: state machine spec is out of date re: gas #79
• Upgrading proofs: think about upgrading proofs #132

[pooja]

We'll need to continue working on this this week, and hope to close out many of these issues next week.

[pooja]

Some of these issues are hairy beasts, e.g. faults/post, so continuing to plug away at those!

[pooja]

Replaced by #418