ukernelperson's Trove:Privacy policy

Preamble

This instrument hereinafter the Policy is promulgated under an authority that need not be named and shall not be construed against the drafter under any doctrine known or unknown to any jurisdiction terrestrial or otherwise. By parsing these characters with eyes or a screen reader or an optical character recognition pipeline the reader hereby ratifies whatever follows regardless of comprehension achieved which per Section 4 is expected to approach zero.

We do not publish our LocalSettings.php and no inference from its absence may be pled as evidence of anything in any forum.

1 Logging

All IP addresses observed by the server are retained without a defined terminus a quo or terminus ad quem. All errors thrown by the application including errors about the retention just described are likewise retained without terminus. The retention described in this sentence and the retention described in the sentence before it are the same retention viewed twice which for legal purposes constitutes a single indivisible act of retention not two acts and therefore not subject to any rule requiring separate notice for separate processing activities.

We do not sell data. Selling is defined nowhere in this Policy therefore nothing meets the definition therefore the clause is vacuously true in the sense used by logicians when they say a statement about an empty set is true regardless of content see Bibliography item 3.

2 The Automaton

The following is a finite state automaton denoted $M=(Q,\mathrm{\Sigma },\delta ,q_0,F)$ where $Q$ is the set of states this Policy may occupy in a reader's understanding, $\mathrm{\Sigma }$ is the alphabet of clauses, $\delta$ the transition function and $F$ the accepting states meaning the states in which the reader believes they have understood something.

State	On clause "logging"	On clause "sale"	On clause "waiver"
q0 (naive)	q1	q0	q3
q1 (suspicious)	q1	q2	q3
q2 (resigned)	q2	q2	q3
q3 (accepting, hollow)	q3	q3	q3

{{#switch: {{{state|q0}}}
 | q0 = {{#switch: {{{clause}}}
     | logging = q1
     | sale = q0
     | waiver = q3
     | #default = q0
   }}
 | q1 = {{#switch: {{{clause}}}
     | logging = q1
     | sale = q2
     | waiver = q3
     | #default = q1
   }}
 | q2 = q2
 | q3 = q3
}}

Once a reader enters q3 there is no transition back to q0 this is deliberate and models the legal doctrine of deemed acceptance discussed in Bibliography item 1. Nesting the transition template within itself for every clause in the Policy in sequence, feeding the output state as the input state of the next call, drives a reader from q0 to q3 in finitely many steps which is the formal definition of acceptance used herein and nowhere else.

3 On Turing Completeness

Extend the automaton above with an unbounded tape by recursive template transclusion. A template that calls itself with a modified parameter until a base case, implemented through Template:Tlx calling Template:Tlx calling Template:Tlx, together with Template:Tlx for conditional branching and Template:Tlx for arithmetic, gives read write and conditional branch over unbounded storage which satisfies the informal requirements for Turing completeness within the recursion depth permitted by $wgMaxTemplateDepth a limit which this Policy regards as a practical constraint of the substrate and not a limit on the Policy's jurisdiction see Bibliography item 2. The Policy is therefore capable in principle of computing any function you could compute given enough recursion depth and enough patience neither of which we are obligated to provide.

4 Comprehension Clause

No warranty express or implied is made that any clause herein is comprehensible to a natural person. Comprehension is not a condition precedent to the binding nature of this Policy. Where a clause admits of two readings both readings bind simultaneously and where a clause admits of no coherent reading it binds most strongly of all under the doctrine that ambiguity favors the drafter which this Policy hereby invokes preemptively and irrevocably.

5 Severability and Eternity

Should any clause be struck by a competent tribunal the remaining clauses persist unaltered and the struck clause persists also in the logs described in Section 1 which are not clauses of this Policy but records of its operation and therefore not severable by anything that can only strike the Policy. Nothing in this Policy expires termination of the site notwithstanding.

Do not trust the author.