Function plan_json 

pub fn plan_json(e: &Estimate, b: &Budget) -> String

JSON record of a plan (schema scalable-plan-1). status is always estimate-unmeasured; measured counts come from the measured.json that synth_tcl writes.