outline of high-level bootstrap tracker abstractions

This is a placeholder to summarize the high-level bootstrap tracking abstractions I talked about with Nick.