fty::deftagsum getting error in program mode

[bendyarm]

In

 + ACL2 Version 8.5+ (a development snapshot based on ACL2 Version 8.5) +
 +   built November 13, 2022  21:02:35.                                 +
 +   (Git commit hash: 371d309be826380d1822da0e1b761e4e18f2dfab)        +

on SBCL 2.1.11.debian
I get an error when I do this:

ACL2 !>(include-book "centaur/fty/top" :dir :system)
ACL2 !>:program
ACL2 p!>(fty::deftagsum arithtm
  (:num ((val integerp))))

The error I get is:

ARITHTM-KIND-POSSIBILITIES is not a rune, theory name, or ruleset name.

ACL2 Error in ADD-TO-RULESET:  Invalid ruleset specified

ACL2 Error in ( MAKE-EVENT (LET ...)):  Error in MAKE-EVENT from expansion
of:
  (LET ((WORLD (W STATE))
        (NAME 'TAG-REASONING))
       (ER-PROGN (CHECK-RULESET NAME WORLD STATE)
                 (LET ((RULES #))
                      (ADD-TO-RULESET-CORE NAME RULES WORLD STATE))))

[ericwhitmansmith]

My guess is that deftagsum should generate a call of (logic) at the start. Or do you need it to work in :program mode?

[bendyarm]

I thought this was a change in behavior but after checking some old versions apparently not.
So I am putting this in the category of:
"everything that you can load in logic mode you should also be able to load in program mode without error".

I don't have an immediate need for deftagsum in particular to be loadable in program mode.
It was just one definition in a file I was trying to load in program mode, and potentially I could
switch to logic mode for the definitions that have this problem and switch back to program mode
for the definitions that I was trying to debug.