Pemformat JSON prestasi tinggi dengan paparan pokok, penapisan dan sejarah