jpf/spec

This specification is a work-in-progress.