A vizsgálati jegyzőkönyvbe felveendő műveletek Az EyeC ProofRunner olyan gombokkal rendelkezik, amelyekkel a műveletek rögzíthetők a jelentésben, és amelyek mindig a kijelölt gyanús területre vonatkoznak.