Domain Growth

We say that threatens with domain growth if LCW(), possibly comes between and , and contains an effect that makes true, for some that unifies with some . For the example above in which the link protects LCW on the word count of every file in /papers, addition of a step which moved a new file into /papers would result in a domain-growth threat, since the agent might not know the length of the new file.

• Enlarging LCW: Given a link with condition LCW(P()Q()R()) and threat causing P(foo) to be true, XII can protect the link by subgoaling to achieve LCW(Q(foo)R(foo)) at the time that the link's consumer is executed. For example, moving a new file xii.tex into directory /papers threatens the link described above, because the word count of xii.tex may be unknown. The threat can be resolved by observing the word count of xii.tex.

Note that an effect which makes some false does not pose a threat to the link! This corresponds to an action that moves a file out of /papers - it's not a problem because one still knows the lengths of all the files that remain.