There is a truce in the war with Iran that the public has yet to see in writing, the details of which both sides are disputing, right down to whether all the parties have to cease all their firing.