Computation about society — its rules, its people, its record, its futures — open, checkable, in public.