/usr/share/spark/checker/helptext/status.chl is in spark 2012.0.deb-11.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 | [status].
'Command example: CHECK|: status.'.
''.
'This command gives a status report on which conclusions (if any) have been'.
'proved for which particular cases, if a case-consideration is in effect,'.
'or what the goal at the preceding level is in a proof by contradiction'.
'or in a subgoaling attempt.'.
|