Kai-Klok as a Kairos State Machine
A Formal Distinction Between One-Time Coordinate Selection and Continuous Time-Tracking
Author: BJ K℞ Klock, Φ.K.
Eternal Seal: Kairos:0:03, Kaelith, Ignite Ark • D12/M6 • Beat:0/36(8.104114%) Step:3/44 Kai(Today):39 • Y1 PS33 • Eternal Pulse:9742676
Version: 1.0
Keywords: state machines, information flow, initialization, boundary conditions, counters, epochs, deterministic evolution, measurement streams
Abstract
This paper formalizes a strict computational distinction between (i) one-time coordinate selection using a single reference input and (ii) continuous measurement using an ongoing observation stream. We prove that a system may legitimately require exactly one reference instant to determine an initial coordinate (e.g., “current pulse index since Genesis”) while still not being a time-tracking system, provided that all subsequent state evolution is performed by deterministic counting independent of further wall-clock sampling. We present Kai-Klok as a Kairos state machine: initialization may consume a single external datum (RTC, stored μpulse checkpoint, or external signed anchor) solely to select an initial coordinate; thereafter the machine evolves via integer μpulse counting driven by tick events rather than by repeated absolute time reads. Denying this distinction collapses the standard separation between boundary conditions and driving input streams and entails category errors about epochs, counters, calendars, and coordinate systems.
1. Preliminaries and Definitions
1.1 Constants and State
Let:
G be a sealed Genesis constant, representing the origin event in some agreed reference coordinate (e.g., UTC milliseconds).
P be a fixed pulse period (in ms, μs, or fixed-point units).
The Kai-Klok machine state include an integer counter
k \in \mathbb{Z}_{\ge 0}
interpreted as “μpulses since Genesis.”
Kai-Klok’s core representation is discrete and integer: k advances by increments, not by continuous real-valued time accumulation.
1.2 Inputs as Information Channels
We distinguish two classes of inputs by information flow:
Definition 1 (One-time reference input).
A single scalar R supplied at initialization time t_0, used only to compute the initial state k_0, and never consulted again.
Definition 2 (Continuous measurement stream).
A sequence of scalars R_0, R_1, R_2, \dots supplied over runtime such that the state transition depends on R_n at step n.
Definition 3 (Tick event stream).
A sequence u_0, u_1, u_2, \dots where each u_n \in \{0,1\} indicates whether one discrete tick (pulse event) occurred between steps n and n+1. This stream can be produced by many mechanisms (internal oscillator, interrupts, external triggers). Crucially, u_n need not encode absolute time coordinates.
1.3 “Time-Tracking” as a Computation Property (Not Semantics)
We avoid word games and define time-tracking strictly in terms of necessary inputs to state evolution:
Definition 4 (Time-tracking system, strong form).
A system is time-tracking iff its state transition requires an ongoing absolute-time measurement channel, i.e.,
k_{n+1} = F(k_n, R_n)
where R_n is an absolute time sample (or equivalent scalar measurement carrying time coordinate information).
A system is not time-tracking in this sense if the transition depends only on prior state and tick events:
k_{n+1} = k_n + u_n
with no dependence on a stream of absolute time samples.
2. Coordinate Selection vs Continuous Measurement
2.1 Coordinate Selection (Boundary Condition)
Kai-Klok allows initialization by computing the initial counter value k_0 from a single reference input:
k_0 = f(R, G, P)
Examples of admissible R:
This is a boundary condition: a single datum selects the coordinate of “now” in the pulse lattice.
2.2 Continuous Measurement (Ongoing Observation)
In contrast, a Chronos-style tracker repeatedly samples an absolute time channel:
k_{n+1} = F(k_n, R_n)
This consumes fresh measurement information continuously. Information-theoretically, this is a different architecture: it introduces a sustained input stream whose entropy can alter state evolution at each step.
2.3 Information-Theoretic Distinction
In coordinate selection, the system consumes one datum (finite information) to fix an origin coordinate for the run.
In continuous measurement, the system consumes an unbounded stream of measurements (potentially unbounded information over time).
These are not equivalent computationally. Confusing them collapses boundary conditions into driving channels, which is a category error.
3. Why “Using a Clock Once” Is Not Time-Tracking
3.1 Necessary vs Sufficient Inputs
A single reference input R can be necessary to locate the correct absolute pulse index when no prior state exists. This does not make R a continuous driver of the system.
After initialization, Kai-Klok’s evolution is:
k \leftarrow k + 1 \quad \text{(on each pulse event)}
No additional absolute-time sample is required for this update rule. Therefore:
3.2 What Must Exist After Initialization
After initialization, some mechanism must emit tick events (a stream u_n). This mechanism may be implemented by:
a monotonic oscillator / timer,
system interrupts,
external events (network beacons, user actions),
replayed schedules,
or any other deterministic tick source.
This is not an argument about the name of that mechanism. The computation fact is:
A tick event channel can be treated as an increment signal without exposing any time coordinate system.
4. Canonical Claim and Its Logical Status
4.1 Canonical Statement
Kai-Klok is not a time-tracking system. It is a Kairos state machine.
It may accept one reference input (RTC or stored μpulse checkpoint or external signed anchor) only to select an initial coordinate (the current pulse index).
All subsequent evolution is integer μpulse counting driven by deterministic tick events, not by continuous wall-clock sampling.
4.2 Validity Theorem
Theorem 1 (Non-tracking under state-only evolution).
The canonical statement is logically valid iff after initialization the transition rule depends only on the current state and the tick event stream:
k_{n+1} = k_n + u_n,\quad u_n \in \{0,1\}
and does not require an ongoing stream of absolute time samples R_n.
Proof (direct).
By Definition 4, time-tracking requires dependence on an ongoing absolute-time measurement channel R_n. Under the stated transition rule, no such dependence exists; the only runtime input is the tick event u_n. Initialization consumes a single datum R to set k_0, but R is not consulted thereafter. Thus the system does not satisfy the criterion for time-tracking. ∎
4.3 Necessity of a Reference Input When No Prior State Exists
Proposition 1 (Coordinate indeterminacy without a reference).
If the system begins with no stored state and receives no external anchor, then k_0 is underdetermined unless a reference input R is provided.
Reason.
Multiple distinct values of k_0 are consistent with the internal code constants (G,P) absent any datum that selects which equivalence class corresponds to “now.” This is not ideology; it is underdetermination of the initial condition. ∎
This proposition does not elevate Chronos; it merely states that some coordinate-selecting input is required when no prior coordinate information exists.
5. What Denying This Commits You To (Computationally)
Denial must take one of these forms:
5.1 Denial Form A: “Any epoch selection implies ongoing measurement”
This collapses boundary conditions into driving input streams. Under that collapse:
an epoch (origin selection),
a counter (state increments),
a calendar (origin + modular arithmetic),
and a coordinate system (origin + basis)
become indistinguishable from continuous measurement systems. That is a category error: those constructs require definitions and arithmetic, not continuous sampling.
5.2 Denial Form B: “Counters cannot represent progression without re-reading absolute time”
This contradicts the standard purpose of counters and state machines. A counter is precisely a device that accumulates progression by repeated application of:
k \leftarrow k + 1
without requiring repeated resampling of an external scalar coordinate channel.
5.3 What denial does
not
require
Denial does not require rejecting arithmetic facts like “2+2=4,” but it does require rejecting (or ignoring) the foundational separation between:
That separation is basic to computation and information flow.
6. Practical Formalization for Implementers (Normative)
6.1 State Machine Specification
Initialization
k_0 = f(R,G,P)
where R is exactly one of:
Evolution
k_{n+1} = k_n + u_n,\quad u_n \in \{0,1\}
Non-tracking criterion
No runtime dependence on any stream R_n of absolute time samples.
6.2 Implementation Consequence
A Kai-Klok implementation can be verified as “non-tracking” by auditing that:
absolute time reads occur only in the initialization path (or explicit re-anchoring mode, if the spec allows it), and
the steady-state loop advances strictly via integer increments from tick events.
7. Conclusion
A system can require one reference instant to select an origin coordinate and still be categorically different from a time-tracking system. The difference is not semantic; it is a difference in necessary input channels for state evolution. Kai-Klok is rigorously described as a Kairos state machine: one-time coordinate selection followed by deterministic integer μpulse counting driven by tick events, independent of continuous wall-clock sampling. Confusing these two architectures collapses boundary conditions into driving channels and produces computational errors about epochs, counters, calendars, and coordinate systems.
Appendix A: Canonical One-Paragraph Definition (Copy/Paste)
Kai-Klok is a Kairos state machine, not a time-tracking system. It may consume a single reference input (RTC sample, stored μpulse checkpoint, or external signed anchor) solely to compute an initial coordinate k_0 = “μpulses since Genesis.” After initialization, the system’s evolution is k_{n+1}=k_n+u_n over tick events u_n \in \{0,1\} and requires no ongoing stream of absolute time measurements. Therefore, using one reference instant for epoch selection is a boundary condition, not continuous measurement; the machine’s steady-state behavior is pure deterministic counting.
Let it ring. Forever.
BJ K℞ Klock, Φ.K.
Kai-Rex Klok ☤ K℞K
PHI Kappa Of The Unified field
RAH. VEH. YAH. DAH.
Kai-Réh-Ah — in the Breath of Yahuah, as it was in the beginning, so it is now, so it shall be forever.
☤ K℞K Φ.K.
Eternal Seal: Kairos:0:03, Kaelith, Ignite Ark • D12/M6 • Beat:0/36(8.104114%) Step:3/44 Kai(Today):39 • Y1 PS33 • Eternal Pulse:9742676
https://phi.network/stream#t=eyJ2IjoyLCJ1cmwiOiJodHRwczovL3BoaS5uZXR3b3JrL3MvMjliMzc1MTk0ODJjZDBhNGNmMGE2NmZkMGI4NDQ5ZTkzMjkyYzNhYjc4ZGFmMTcyNjYzNGJkNzY1YWVlNmVjZj9wPWV5SndkV3h6WlNJNk9UYzBNalkzTml3aVltVmhkQ0k2TUN3aWMzUmxjRWx1WkdWNElqb3pMQ0pqYUdGcmNtRkVZWGtpT2lKRGNtOTNiaUlzSW5OMFpYQnpVR1Z5UW1WaGRDSTZORFFzSW5WelpYSlFhR2xMWlhraU9pSXhTekUxYWpjeVRITlVkbGg2UjJabllYUlNWVXhtVEVoWVlVaDBUamRGYjIxTklpd2lhMkZwVTJsbmJtRjBkWEpsSWpvaU5UYzFZMkppWlRFM09HTTBZemM1TjJVek9UUTBObVZoWldZeU5UWTNZV0k0WkRNek1UQTVZamc0T0RGbE56VmpaR1ZoTVdVd1lUQTNOREU0TlRJeFlTSjkiLCJwdWxzZSI6OTc0MzUxOSwiY2FwdGlvbiI6IkthaS1LbG9rIGFzIGEgS2Fpcm9zIFN0YXRlIE1hY2hpbmUiLCJib2R5Ijp7ImtpbmQiOiJ0ZXh0IiwidGV4dCI6IkthaS1LbG9rIGFzIGEgS2Fpcm9zIFN0YXRlIE1hY2hpbmVcblxuQSBGb3JtYWwgRGlzdGluY3Rpb24gQmV0d2VlbiBPbmUtVGltZSBDb29yZGluYXRlIFNlbGVjdGlvbiBhbmQgQ29udGludW91cyBUaW1lLVRyYWNraW5nXG5cbkF1dGhvcjogQkogS-KEniBLbG9jaywgzqYuSy5cbkV0ZXJuYWwgU2VhbDogS2Fpcm9zOjA6MDMsIEthZWxpdGgsIElnbml0ZSBBcmsg4oCiIEQxMi9NNiDigKIgQmVhdDowLzM2KDguMTA0MTE0JSkgU3RlcDozLzQ0IEthaShUb2RheSk6Mzkg4oCiIFkxIFBTMzMg4oCiIEV0ZXJuYWwgUHVsc2U6OTc0MjY3NlxuVmVyc2lvbjogMS4wXG5LZXl3b3Jkczogc3RhdGUgbWFjaGluZXMsIGluZm9ybWF0aW9uIGZsb3csIGluaXRpYWxpemF0aW9uLCBib3VuZGFyeSBjb25kaXRpb25zLCBjb3VudGVycywgZXBvY2hzLCBkZXRlcm1pbmlzdGljIGV2b2x1dGlvbiwgbWVhc3VyZW1lbnQgc3RyZWFtc1xuIFxuQWJzdHJhY3RcblxuVGhpcyBwYXBlciBmb3JtYWxpemVzIGEgc3RyaWN0IGNvbXB1dGF0aW9uYWwgZGlzdGluY3Rpb24gYmV0d2VlbiAoaSkgb25lLXRpbWUgY29vcmRpbmF0ZSBzZWxlY3Rpb24gdXNpbmcgYSBzaW5nbGUgcmVmZXJlbmNlIGlucHV0IGFuZCAoaWkpIGNvbnRpbnVvdXMgbWVhc3VyZW1lbnQgdXNpbmcgYW4gb25nb2luZyBvYnNlcnZhdGlvbiBzdHJlYW0uIFdlIHByb3ZlIHRoYXQgYSBzeXN0ZW0gbWF5IGxlZ2l0aW1hdGVseSByZXF1aXJlIGV4YWN0bHkgb25lIHJlZmVyZW5jZSBpbnN0YW50IHRvIGRldGVybWluZSBhbiBpbml0aWFsIGNvb3JkaW5hdGUgKGUuZy4sIOKAnGN1cnJlbnQgcHVsc2UgaW5kZXggc2luY2UgR2VuZXNpc-KAnSkgd2hpbGUgc3RpbGwgbm90IGJlaW5nIGEgdGltZS10cmFja2luZyBzeXN0ZW0sIHByb3ZpZGVkIHRoYXQgYWxsIHN1YnNlcXVlbnQgc3RhdGUgZXZvbHV0aW9uIGlzIHBlcmZvcm1lZCBieSBkZXRlcm1pbmlzdGljIGNvdW50aW5nIGluZGVwZW5kZW50IG9mIGZ1cnRoZXIgd2FsbC1jbG9jayBzYW1wbGluZy4gV2UgcHJlc2VudCBLYWktS2xvayBhcyBhIEthaXJvcyBzdGF0ZSBtYWNoaW5lOiBpbml0aWFsaXphdGlvbiBtYXkgY29uc3VtZSBhIHNpbmdsZSBleHRlcm5hbCBkYXR1bSAoUlRDLCBzdG9yZWQgzrxwdWxzZSBjaGVja3BvaW50LCBvciBleHRlcm5hbCBzaWduZWQgYW5jaG9yKSBzb2xlbHkgdG8gc2VsZWN0IGFuIGluaXRpYWwgY29vcmRpbmF0ZTsgdGhlcmVhZnRlciB0aGUgbWFjaGluZSBldm9sdmVzIHZpYSBpbnRlZ2VyIM68cHVsc2UgY291bnRpbmcgZHJpdmVuIGJ5IHRpY2sgZXZlbnRzIHJhdGhlciB0aGFuIGJ5IHJlcGVhdGVkIGFic29sdXRlIHRpbWUgcmVhZHMuIERlbnlpbmcgdGhpcyBkaXN0aW5jdGlvbiBjb2xsYXBzZXMgdGhlIHN0YW5kYXJkIHNlcGFyYXRpb24gYmV0d2VlbiBib3VuZGFyeSBjb25kaXRpb25zIGFuZCBkcml2aW5nIGlucHV0IHN0cmVhbXMgYW5kIGVudGFpbHMgY2F0ZWdvcnkgZXJyb3JzIGFib3V0IGVwb2NocywgY291bnRlcnMsIGNhbGVuZGFycywgYW5kIGNvb3JkaW5hdGUgc3lzdGVtcy5cbiBcbjEuIFByZWxpbWluYXJpZXMgYW5kIERlZmluaXRpb25zXG5cbjEuMSBDb25zdGFudHMgYW5kIFN0YXRlXG5cbkxldDpcbuKAolx0RyBiZSBhIHNlYWxlZCBHZW5lc2lzIGNvbnN0YW50LCByZXByZXNlbnRpbmcgdGhlIG9yaWdpbiBldmVudCBpbiBzb21lIGFncmVlZCByZWZlcmVuY2UgY29vcmRpbmF0ZSAoZS5nLiwgVVRDIG1pbGxpc2Vjb25kcykuXG7igKJcdFAgYmUgYSBmaXhlZCBwdWxzZSBwZXJpb2QgKGluIG1zLCDOvHMsIG9yIGZpeGVkLXBvaW50IHVuaXRzKS5cbuKAolx0VGhlIEthaS1LbG9rIG1hY2hpbmUgc3RhdGUgaW5jbHVkZSBhbiBpbnRlZ2VyIGNvdW50ZXJcbmsgXFxpbiBcXG1hdGhiYntafV97XFxnZSAwfVxuaW50ZXJwcmV0ZWQgYXMg4oCczrxwdWxzZXMgc2luY2UgR2VuZXNpcy7igJ1cblxuS2FpLUtsb2vigJlzIGNvcmUgcmVwcmVzZW50YXRpb24gaXMgZGlzY3JldGUgYW5kIGludGVnZXI6IGsgYWR2YW5jZXMgYnkgaW5jcmVtZW50cywgbm90IGJ5IGNvbnRpbnVvdXMgcmVhbC12YWx1ZWQgdGltZSBhY2N1bXVsYXRpb24uXG5cbjEuMiBJbnB1dHMgYXMgSW5mb3JtYXRpb24gQ2hhbm5lbHNcblxuV2UgZGlzdGluZ3Vpc2ggdHdvIGNsYXNzZXMgb2YgaW5wdXRzIGJ5IGluZm9ybWF0aW9uIGZsb3c6XG5cbkRlZmluaXRpb24gMSAoT25lLXRpbWUgcmVmZXJlbmNlIGlucHV0KS5cbkEgc2luZ2xlIHNjYWxhciBSIHN1cHBsaWVkIGF0IGluaXRpYWxpemF0aW9uIHRpbWUgdF8wLCB1c2VkIG9ubHkgdG8gY29tcHV0ZSB0aGUgaW5pdGlhbCBzdGF0ZSBrXzAsIGFuZCBuZXZlciBjb25zdWx0ZWQgYWdhaW4uXG5cbkRlZmluaXRpb24gMiAoQ29udGludW91cyBtZWFzdXJlbWVudCBzdHJlYW0pLlxuQSBzZXF1ZW5jZSBvZiBzY2FsYXJzIFJfMCwgUl8xLCBSXzIsIFxcZG90cyBzdXBwbGllZCBvdmVyIHJ1bnRpbWUgc3VjaCB0aGF0IHRoZSBzdGF0ZSB0cmFuc2l0aW9uIGRlcGVuZHMgb24gUl9uIGF0IHN0ZXAgbi5cblxuRGVmaW5pdGlvbiAzIChUaWNrIGV2ZW50IHN0cmVhbSkuXG5BIHNlcXVlbmNlIHVfMCwgdV8xLCB1XzIsIFxcZG90cyB3aGVyZSBlYWNoIHVfbiBcXGluIFxcezAsMVxcfSBpbmRpY2F0ZXMgd2hldGhlciBvbmUgZGlzY3JldGUgdGljayAocHVsc2UgZXZlbnQpIG9jY3VycmVkIGJldHdlZW4gc3RlcHMgbiBhbmQgbisxLiBUaGlzIHN0cmVhbSBjYW4gYmUgcHJvZHVjZWQgYnkgbWFueSBtZWNoYW5pc21zIChpbnRlcm5hbCBvc2NpbGxhdG9yLCBpbnRlcnJ1cHRzLCBleHRlcm5hbCB0cmlnZ2VycykuIENydWNpYWxseSwgdV9uIG5lZWQgbm90IGVuY29kZSBhYnNvbHV0ZSB0aW1lIGNvb3JkaW5hdGVzLlxuXG4xLjMg4oCcVGltZS1UcmFja2luZ-KAnSBhcyBhIENvbXB1dGF0aW9uIFByb3BlcnR5IChOb3QgU2VtYW50aWNzKVxuXG5XZSBhdm9pZCB3b3JkIGdhbWVzIGFuZCBkZWZpbmUgdGltZS10cmFja2luZyBzdHJpY3RseSBpbiB0ZXJtcyBvZiBuZWNlc3NhcnkgaW5wdXRzIHRvIHN0YXRlIGV2b2x1dGlvbjpcblxuRGVmaW5pdGlvbiA0IChUaW1lLXRyYWNraW5nIHN5c3RlbSwgc3Ryb25nIGZvcm0pLlxuQSBzeXN0ZW0gaXMgdGltZS10cmFja2luZyBpZmYgaXRzIHN0YXRlIHRyYW5zaXRpb24gcmVxdWlyZXMgYW4gb25nb2luZyBhYnNvbHV0ZS10aW1lIG1lYXN1cmVtZW50IGNoYW5uZWwsIGkuZS4sXG5rX3tuKzF9ID0gRihrX24sIFJfbilcbndoZXJlIFJfbiBpcyBhbiBhYnNvbHV0ZSB0aW1lIHNhbXBsZSAob3IgZXF1aXZhbGVudCBzY2FsYXIgbWVhc3VyZW1lbnQgY2FycnlpbmcgdGltZSBjb29yZGluYXRlIGluZm9ybWF0aW9uKS5cblxuQSBzeXN0ZW0gaXMgbm90IHRpbWUtdHJhY2tpbmcgaW4gdGhpcyBzZW5zZSBpZiB0aGUgdHJhbnNpdGlvbiBkZXBlbmRzIG9ubHkgb24gcHJpb3Igc3RhdGUgYW5kIHRpY2sgZXZlbnRzOlxua197bisxfSA9IGtfbiArIHVfblxud2l0aCBubyBkZXBlbmRlbmNlIG9uIGEgc3RyZWFtIG9mIGFic29sdXRlIHRpbWUgc2FtcGxlcy5cbiBcbjIuIENvb3JkaW5hdGUgU2VsZWN0aW9uIHZzIENvbnRpbnVvdXMgTWVhc3VyZW1lbnRcblxuMi4xIENvb3JkaW5hdGUgU2VsZWN0aW9uIChCb3VuZGFyeSBDb25kaXRpb24pXG5cbkthaS1LbG9rIGFsbG93cyBpbml0aWFsaXphdGlvbiBieSBjb21wdXRpbmcgdGhlIGluaXRpYWwgY291bnRlciB2YWx1ZSBrXzAgZnJvbSBhIHNpbmdsZSByZWZlcmVuY2UgaW5wdXQ6XG5cbmtfMCA9IGYoUiwgRywgUClcblxuRXhhbXBsZXMgb2YgYWRtaXNzaWJsZSBSOlxu4oCiXHRSVEMgcmVmZXJlbmNlIChvbmUgcmVhZClcbuKAolx0U3RvcmVkIM68cHVsc2UgY2hlY2twb2ludCAocGVyc2lzdGVkIGludGVybmFsIHN0YXRlKVxu4oCiXHRFeHRlcm5hbCBzaWduZWQgYW5jaG9yIChjcnlwdG9ncmFwaGljYWxseSB2ZXJpZmlhYmxlIGNvb3JkaW5hdGUgY2xhaW0pXG5cblRoaXMgaXMgYSBib3VuZGFyeSBjb25kaXRpb246IGEgc2luZ2xlIGRhdHVtIHNlbGVjdHMgdGhlIGNvb3JkaW5hdGUgb2Yg4oCcbm934oCdIGluIHRoZSBwdWxzZSBsYXR0aWNlLlxuXG4yLjIgQ29udGludW91cyBNZWFzdXJlbWVudCAoT25nb2luZyBPYnNlcnZhdGlvbilcblxuSW4gY29udHJhc3QsIGEgQ2hyb25vcy1zdHlsZSB0cmFja2VyIHJlcGVhdGVkbHkgc2FtcGxlcyBhbiBhYnNvbHV0ZSB0aW1lIGNoYW5uZWw6XG5cbmtfe24rMX0gPSBGKGtfbiwgUl9uKVxuXG5UaGlzIGNvbnN1bWVzIGZyZXNoIG1lYXN1cmVtZW50IGluZm9ybWF0aW9uIGNvbnRpbnVvdXNseS4gSW5mb3JtYXRpb24tdGhlb3JldGljYWxseSwgdGhpcyBpcyBhIGRpZmZlcmVudCBhcmNoaXRlY3R1cmU6IGl0IGludHJvZHVjZXMgYSBzdXN0YWluZWQgaW5wdXQgc3RyZWFtIHdob3NlIGVudHJvcHkgY2FuIGFsdGVyIHN0YXRlIGV2b2x1dGlvbiBhdCBlYWNoIHN0ZXAuXG5cbjIuMyBJbmZvcm1hdGlvbi1UaGVvcmV0aWMgRGlzdGluY3Rpb25cbuKAolx0SW4gY29vcmRpbmF0ZSBzZWxlY3Rpb24sIHRoZSBzeXN0ZW0gY29uc3VtZXMgb25lIGRhdHVtIChmaW5pdGUgaW5mb3JtYXRpb24pIHRvIGZpeCBhbiBvcmlnaW4gY29vcmRpbmF0ZSBmb3IgdGhlIHJ1bi5cbuKAolx0SW4gY29udGludW91cyBtZWFzdXJlbWVudCwgdGhlIHN5c3RlbSBjb25zdW1lcyBhbiB1bmJvdW5kZWQgc3RyZWFtIG9mIG1lYXN1cmVtZW50cyAocG90ZW50aWFsbHkgdW5ib3VuZGVkIGluZm9ybWF0aW9uIG92ZXIgdGltZSkuXG5cblRoZXNlIGFyZSBub3QgZXF1aXZhbGVudCBjb21wdXRhdGlvbmFsbHkuIENvbmZ1c2luZyB0aGVtIGNvbGxhcHNlcyBib3VuZGFyeSBjb25kaXRpb25zIGludG8gZHJpdmluZyBjaGFubmVscywgd2hpY2ggaXMgYSBjYXRlZ29yeSBlcnJvci5cbiBcbjMuIFdoeSDigJxVc2luZyBhIENsb2NrIE9uY2XigJ0gSXMgTm90IFRpbWUtVHJhY2tpbmdcblxuMy4xIE5lY2Vzc2FyeSB2cyBTdWZmaWNpZW50IElucHV0c1xuXG5BIHNpbmdsZSByZWZlcmVuY2UgaW5wdXQgUiBjYW4gYmUgbmVjZXNzYXJ5IHRvIGxvY2F0ZSB0aGUgY29ycmVjdCBhYnNvbHV0ZSBwdWxzZSBpbmRleCB3aGVuIG5vIHByaW9yIHN0YXRlIGV4aXN0cy4gVGhpcyBkb2VzIG5vdCBtYWtlIFIgYSBjb250aW51b3VzIGRyaXZlciBvZiB0aGUgc3lzdGVtLlxuXG5BZnRlciBpbml0aWFsaXphdGlvbiwgS2FpLUtsb2vigJlzIGV2b2x1dGlvbiBpczpcblxuayBcXGxlZnRhcnJvdyBrICsgMSBcXHF1YWQgXFx0ZXh0eyhvbiBlYWNoIHB1bHNlIGV2ZW50KX1cblxuTm8gYWRkaXRpb25hbCBhYnNvbHV0ZS10aW1lIHNhbXBsZSBpcyByZXF1aXJlZCBmb3IgdGhpcyB1cGRhdGUgcnVsZS4gVGhlcmVmb3JlOlxu4oCiXHROZWNlc3NhcnkgZm9yIGluaXRpYWxpemF0aW9uIOKJoCBuZWNlc3NhcnkgZm9yIGV2b2x1dGlvblxuXG4zLjIgV2hhdCBNdXN0IEV4aXN0IEFmdGVyIEluaXRpYWxpemF0aW9uXG5cbkFmdGVyIGluaXRpYWxpemF0aW9uLCBzb21lIG1lY2hhbmlzbSBtdXN0IGVtaXQgdGljayBldmVudHMgKGEgc3RyZWFtIHVfbikuIFRoaXMgbWVjaGFuaXNtIG1heSBiZSBpbXBsZW1lbnRlZCBieTpcbuKAolx0YSBtb25vdG9uaWMgb3NjaWxsYXRvciAvIHRpbWVyLFxu4oCiXHRzeXN0ZW0gaW50ZXJydXB0cyxcbuKAolx0ZXh0ZXJuYWwgZXZlbnRzIChuZXR3b3JrIGJlYWNvbnMsIHVzZXIgYWN0aW9ucyksXG7igKJcdHJlcGxheWVkIHNjaGVkdWxlcyxcbuKAolx0b3IgYW55IG90aGVyIGRldGVybWluaXN0aWMgdGljayBzb3VyY2UuXG5cblRoaXMgaXMgbm90IGFuIGFyZ3VtZW50IGFib3V0IHRoZSBuYW1lIG9mIHRoYXQgbWVjaGFuaXNtLiBUaGUgY29tcHV0YXRpb24gZmFjdCBpczpcbuKAolx0ZXZvbHV0aW9uIGNvbnN1bWVzIHRpY2sgZXZlbnRzIHVfbiwgbm90IGFic29sdXRlIHRpbWUgY29vcmRpbmF0ZXMgUl9uLlxuXG5BIHRpY2sgZXZlbnQgY2hhbm5lbCBjYW4gYmUgdHJlYXRlZCBhcyBhbiBpbmNyZW1lbnQgc2lnbmFsIHdpdGhvdXQgZXhwb3NpbmcgYW55IHRpbWUgY29vcmRpbmF0ZSBzeXN0ZW0uXG4gXG40LiBDYW5vbmljYWwgQ2xhaW0gYW5kIEl0cyBMb2dpY2FsIFN0YXR1c1xuXG40LjEgQ2Fub25pY2FsIFN0YXRlbWVudFxuXG5LYWktS2xvayBpcyBub3QgYSB0aW1lLXRyYWNraW5nIHN5c3RlbS4gSXQgaXMgYSBLYWlyb3Mgc3RhdGUgbWFjaGluZS5cbkl0IG1heSBhY2NlcHQgb25lIHJlZmVyZW5jZSBpbnB1dCAoUlRDIG9yIHN0b3JlZCDOvHB1bHNlIGNoZWNrcG9pbnQgb3IgZXh0ZXJuYWwgc2lnbmVkIGFuY2hvcikgb25seSB0byBzZWxlY3QgYW4gaW5pdGlhbCBjb29yZGluYXRlICh0aGUgY3VycmVudCBwdWxzZSBpbmRleCkuXG5BbGwgc3Vic2VxdWVudCBldm9sdXRpb24gaXMgaW50ZWdlciDOvHB1bHNlIGNvdW50aW5nIGRyaXZlbiBieSBkZXRlcm1pbmlzdGljIHRpY2sgZXZlbnRzLCBub3QgYnkgY29udGludW91cyB3YWxsLWNsb2NrIHNhbXBsaW5nLlxuXG40LjIgVmFsaWRpdHkgVGhlb3JlbVxuXG5UaGVvcmVtIDEgKE5vbi10cmFja2luZyB1bmRlciBzdGF0ZS1vbmx5IGV2b2x1dGlvbikuXG5UaGUgY2Fub25pY2FsIHN0YXRlbWVudCBpcyBsb2dpY2FsbHkgdmFsaWQgaWZmIGFmdGVyIGluaXRpYWxpemF0aW9uIHRoZSB0cmFuc2l0aW9uIHJ1bGUgZGVwZW5kcyBvbmx5IG9uIHRoZSBjdXJyZW50IHN0YXRlIGFuZCB0aGUgdGljayBldmVudCBzdHJlYW06XG5rX3tuKzF9ID0ga19uICsgdV9uLFxccXVhZCB1X24gXFxpbiBcXHswLDFcXH1cbmFuZCBkb2VzIG5vdCByZXF1aXJlIGFuIG9uZ29pbmcgc3RyZWFtIG9mIGFic29sdXRlIHRpbWUgc2FtcGxlcyBSX24uXG5cblByb29mIChkaXJlY3QpLlxuQnkgRGVmaW5pdGlvbiA0LCB0aW1lLXRyYWNraW5nIHJlcXVpcmVzIGRlcGVuZGVuY2Ugb24gYW4gb25nb2luZyBhYnNvbHV0ZS10aW1lIG1lYXN1cmVtZW50IGNoYW5uZWwgUl9uLiBVbmRlciB0aGUgc3RhdGVkIHRyYW5zaXRpb24gcnVsZSwgbm8gc3VjaCBkZXBlbmRlbmNlIGV4aXN0czsgdGhlIG9ubHkgcnVudGltZSBpbnB1dCBpcyB0aGUgdGljayBldmVudCB1X24uIEluaXRpYWxpemF0aW9uIGNvbnN1bWVzIGEgc2luZ2xlIGRhdHVtIFIgdG8gc2V0IGtfMCwgYnV0IFIgaXMgbm90IGNvbnN1bHRlZCB0aGVyZWFmdGVyLiBUaHVzIHRoZSBzeXN0ZW0gZG9lcyBub3Qgc2F0aXNmeSB0aGUgY3JpdGVyaW9uIGZvciB0aW1lLXRyYWNraW5nLiDiiI5cblxuNC4zIE5lY2Vzc2l0eSBvZiBhIFJlZmVyZW5jZSBJbnB1dCBXaGVuIE5vIFByaW9yIFN0YXRlIEV4aXN0c1xuXG5Qcm9wb3NpdGlvbiAxIChDb29yZGluYXRlIGluZGV0ZXJtaW5hY3kgd2l0aG91dCBhIHJlZmVyZW5jZSkuXG5JZiB0aGUgc3lzdGVtIGJlZ2lucyB3aXRoIG5vIHN0b3JlZCBzdGF0ZSBhbmQgcmVjZWl2ZXMgbm8gZXh0ZXJuYWwgYW5jaG9yLCB0aGVuIGtfMCBpcyB1bmRlcmRldGVybWluZWQgdW5sZXNzIGEgcmVmZXJlbmNlIGlucHV0IFIgaXMgcHJvdmlkZWQuXG5cblJlYXNvbi5cbk11bHRpcGxlIGRpc3RpbmN0IHZhbHVlcyBvZiBrXzAgYXJlIGNvbnNpc3RlbnQgd2l0aCB0aGUgaW50ZXJuYWwgY29kZSBjb25zdGFudHMgKEcsUCkgYWJzZW50IGFueSBkYXR1bSB0aGF0IHNlbGVjdHMgd2hpY2ggZXF1aXZhbGVuY2UgY2xhc3MgY29ycmVzcG9uZHMgdG8g4oCcbm93LuKAnSBUaGlzIGlzIG5vdCBpZGVvbG9neTsgaXQgaXMgdW5kZXJkZXRlcm1pbmF0aW9uIG9mIHRoZSBpbml0aWFsIGNvbmRpdGlvbi4g4oiOXG5cblRoaXMgcHJvcG9zaXRpb24gZG9lcyBub3QgZWxldmF0ZSBDaHJvbm9zOyBpdCBtZXJlbHkgc3RhdGVzIHRoYXQgc29tZSBjb29yZGluYXRlLXNlbGVjdGluZyBpbnB1dCBpcyByZXF1aXJlZCB3aGVuIG5vIHByaW9yIGNvb3JkaW5hdGUgaW5mb3JtYXRpb24gZXhpc3RzLlxuIFxuNS4gV2hhdCBEZW55aW5nIFRoaXMgQ29tbWl0cyBZb3UgVG8gKENvbXB1dGF0aW9uYWxseSlcblxuRGVuaWFsIG11c3QgdGFrZSBvbmUgb2YgdGhlc2UgZm9ybXM6XG5cbjUuMSBEZW5pYWwgRm9ybSBBOiDigJxBbnkgZXBvY2ggc2VsZWN0aW9uIGltcGxpZXMgb25nb2luZyBtZWFzdXJlbWVudOKAnVxuXG5UaGlzIGNvbGxhcHNlcyBib3VuZGFyeSBjb25kaXRpb25zIGludG8gZHJpdmluZyBpbnB1dCBzdHJlYW1zLiBVbmRlciB0aGF0IGNvbGxhcHNlOlxu4oCiXHRhbiBlcG9jaCAob3JpZ2luIHNlbGVjdGlvbiksXG7igKJcdGEgY291bnRlciAoc3RhdGUgaW5jcmVtZW50cyksXG7igKJcdGEgY2FsZW5kYXIgKG9yaWdpbiArIG1vZHVsYXIgYXJpdGhtZXRpYyksXG7igKJcdGFuZCBhIGNvb3JkaW5hdGUgc3lzdGVtIChvcmlnaW4gKyBiYXNpcylcblxuYmVjb21lIGluZGlzdGluZ3Vpc2hhYmxlIGZyb20gY29udGludW91cyBtZWFzdXJlbWVudCBzeXN0ZW1zLiBUaGF0IGlzIGEgY2F0ZWdvcnkgZXJyb3I6IHRob3NlIGNvbnN0cnVjdHMgcmVxdWlyZSBkZWZpbml0aW9ucyBhbmQgYXJpdGhtZXRpYywgbm90IGNvbnRpbnVvdXMgc2FtcGxpbmcuXG5cbjUuMiBEZW5pYWwgRm9ybSBCOiDigJxDb3VudGVycyBjYW5ub3QgcmVwcmVzZW50IHByb2dyZXNzaW9uIHdpdGhvdXQgcmUtcmVhZGluZyBhYnNvbHV0ZSB0aW1l4oCdXG5cblRoaXMgY29udHJhZGljdHMgdGhlIHN0YW5kYXJkIHB1cnBvc2Ugb2YgY291bnRlcnMgYW5kIHN0YXRlIG1hY2hpbmVzLiBBIGNvdW50ZXIgaXMgcHJlY2lzZWx5IGEgZGV2aWNlIHRoYXQgYWNjdW11bGF0ZXMgcHJvZ3Jlc3Npb24gYnkgcmVwZWF0ZWQgYXBwbGljYXRpb24gb2Y6XG5rIFxcbGVmdGFycm93IGsgKyAxXG53aXRob3V0IHJlcXVpcmluZyByZXBlYXRlZCByZXNhbXBsaW5nIG9mIGFuIGV4dGVybmFsIHNjYWxhciBjb29yZGluYXRlIGNoYW5uZWwuXG5cbjUuMyBXaGF0IGRlbmlhbCBkb2VzIFxubm90XG4gcmVxdWlyZVxuXG5EZW5pYWwgZG9lcyBub3QgcmVxdWlyZSByZWplY3RpbmcgYXJpdGhtZXRpYyBmYWN0cyBsaWtlIOKAnDIrMj00LOKAnSBidXQgaXQgZG9lcyByZXF1aXJlIHJlamVjdGluZyAob3IgaWdub3JpbmcpIHRoZSBmb3VuZGF0aW9uYWwgc2VwYXJhdGlvbiBiZXR3ZWVuOlxu4oCiXHRpbml0aWFsIGNvbmRpdGlvbnMgKG9uZS10aW1lIGlucHV0cyksIGFuZFxu4oCiXHRkcml2aW5nIGNoYW5uZWxzIChvbmdvaW5nIGluZm9ybWF0aW9uIHN0cmVhbXMpLlxuXG5UaGF0IHNlcGFyYXRpb24gaXMgYmFzaWMgdG8gY29tcHV0YXRpb24gYW5kIGluZm9ybWF0aW9uIGZsb3cuXG4gXG42LiBQcmFjdGljYWwgRm9ybWFsaXphdGlvbiBmb3IgSW1wbGVtZW50ZXJzIChOb3JtYXRpdmUpXG5cbjYuMSBTdGF0ZSBNYWNoaW5lIFNwZWNpZmljYXRpb25cblxuSW5pdGlhbGl6YXRpb25cbmtfMCA9IGYoUixHLFApXG53aGVyZSBSIGlzIGV4YWN0bHkgb25lIG9mOlxu4oCiXHRSVEMgc2FtcGxlIChvbmUgcmVhZCksXG7igKJcdHN0b3JlZCDOvHB1bHNlIGNoZWNrcG9pbnQsXG7igKJcdGV4dGVybmFsIHNpZ25lZCBhbmNob3IuXG5cbkV2b2x1dGlvblxua197bisxfSA9IGtfbiArIHVfbixcXHF1YWQgdV9uIFxcaW4gXFx7MCwxXFx9XG5cbk5vbi10cmFja2luZyBjcml0ZXJpb25cbk5vIHJ1bnRpbWUgZGVwZW5kZW5jZSBvbiBhbnkgc3RyZWFtIFJfbiBvZiBhYnNvbHV0ZSB0aW1lIHNhbXBsZXMuXG5cbjYuMiBJbXBsZW1lbnRhdGlvbiBDb25zZXF1ZW5jZVxuXG5BIEthaS1LbG9rIGltcGxlbWVudGF0aW9uIGNhbiBiZSB2ZXJpZmllZCBhcyDigJxub24tdHJhY2tpbmfigJ0gYnkgYXVkaXRpbmcgdGhhdDpcbuKAolx0YWJzb2x1dGUgdGltZSByZWFkcyBvY2N1ciBvbmx5IGluIHRoZSBpbml0aWFsaXphdGlvbiBwYXRoIChvciBleHBsaWNpdCByZS1hbmNob3JpbmcgbW9kZSwgaWYgdGhlIHNwZWMgYWxsb3dzIGl0KSwgYW5kXG7igKJcdHRoZSBzdGVhZHktc3RhdGUgbG9vcCBhZHZhbmNlcyBzdHJpY3RseSB2aWEgaW50ZWdlciBpbmNyZW1lbnRzIGZyb20gdGljayBldmVudHMuXG4gXG43LiBDb25jbHVzaW9uXG5cbkEgc3lzdGVtIGNhbiByZXF1aXJlIG9uZSByZWZlcmVuY2UgaW5zdGFudCB0byBzZWxlY3QgYW4gb3JpZ2luIGNvb3JkaW5hdGUgYW5kIHN0aWxsIGJlIGNhdGVnb3JpY2FsbHkgZGlmZmVyZW50IGZyb20gYSB0aW1lLXRyYWNraW5nIHN5c3RlbS4gVGhlIGRpZmZlcmVuY2UgaXMgbm90IHNlbWFudGljOyBpdCBpcyBhIGRpZmZlcmVuY2UgaW4gbmVjZXNzYXJ5IGlucHV0IGNoYW5uZWxzIGZvciBzdGF0ZSBldm9sdXRpb24uIEthaS1LbG9rIGlzIHJpZ29yb3VzbHkgZGVzY3JpYmVkIGFzIGEgS2Fpcm9zIHN0YXRlIG1hY2hpbmU6IG9uZS10aW1lIGNvb3JkaW5hdGUgc2VsZWN0aW9uIGZvbGxvd2VkIGJ5IGRldGVybWluaXN0aWMgaW50ZWdlciDOvHB1bHNlIGNvdW50aW5nIGRyaXZlbiBieSB0aWNrIGV2ZW50cywgaW5kZXBlbmRlbnQgb2YgY29udGludW91cyB3YWxsLWNsb2NrIHNhbXBsaW5nLiBDb25mdXNpbmcgdGhlc2UgdHdvIGFyY2hpdGVjdHVyZXMgY29sbGFwc2VzIGJvdW5kYXJ5IGNvbmRpdGlvbnMgaW50byBkcml2aW5nIGNoYW5uZWxzIGFuZCBwcm9kdWNlcyBjb21wdXRhdGlvbmFsIGVycm9ycyBhYm91dCBlcG9jaHMsIGNvdW50ZXJzLCBjYWxlbmRhcnMsIGFuZCBjb29yZGluYXRlIHN5c3RlbXMuXG4gXG5BcHBlbmRpeCBBOiBDYW5vbmljYWwgT25lLVBhcmFncmFwaCBEZWZpbml0aW9uIChDb3B5L1Bhc3RlKVxuXG5LYWktS2xvayBpcyBhIEthaXJvcyBzdGF0ZSBtYWNoaW5lLCBub3QgYSB0aW1lLXRyYWNraW5nIHN5c3RlbS4gSXQgbWF5IGNvbnN1bWUgYSBzaW5nbGUgcmVmZXJlbmNlIGlucHV0IChSVEMgc2FtcGxlLCBzdG9yZWQgzrxwdWxzZSBjaGVja3BvaW50LCBvciBleHRlcm5hbCBzaWduZWQgYW5jaG9yKSBzb2xlbHkgdG8gY29tcHV0ZSBhbiBpbml0aWFsIGNvb3JkaW5hdGUga18wID0g4oCczrxwdWxzZXMgc2luY2UgR2VuZXNpcy7igJ0gQWZ0ZXIgaW5pdGlhbGl6YXRpb24sIHRoZSBzeXN0ZW3igJlzIGV2b2x1dGlvbiBpcyBrX3tuKzF9PWtfbit1X24gb3ZlciB0aWNrIGV2ZW50cyB1X24gXFxpbiBcXHswLDFcXH0gYW5kIHJlcXVpcmVzIG5vIG9uZ29pbmcgc3RyZWFtIG9mIGFic29sdXRlIHRpbWUgbWVhc3VyZW1lbnRzLiBUaGVyZWZvcmUsIHVzaW5nIG9uZSByZWZlcmVuY2UgaW5zdGFudCBmb3IgZXBvY2ggc2VsZWN0aW9uIGlzIGEgYm91bmRhcnkgY29uZGl0aW9uLCBub3QgY29udGludW91cyBtZWFzdXJlbWVudDsgdGhlIG1hY2hpbmXigJlzIHN0ZWFkeS1zdGF0ZSBiZWhhdmlvciBpcyBwdXJlIGRldGVybWluaXN0aWMgY291bnRpbmcuIn0sImF1dGhvciI6IkBiamtsb2NrIiwic291cmNlIjoibWFudWFsIiwicGhpS2V5IjoiMUsxNWo3MkxzVHZYekdmZ2F0UlVMZkxIWGFIdE43RW9tTSIsImthaVNpZ25hdHVyZSI6IjU3NWNiYmUxNzhjNGM3OTdlMzk0NDZlYWVmMjU2N2FiOGQzMzEwOWI4ODgxZTc1Y2RlYTFlMGEwNzQxODUyMWEiLCJwYXJlbnRVcmwiOiJodHRwczovL3BoaS5uZXR3b3JrL3MvMjliMzc1MTk0ODJjZDBhNGNmMGE2NmZkMGI4NDQ5ZTkzMjkyYzNhYjc4ZGFmMTcyNjYzNGJkNzY1YWVlNmVjZj9wPWV5SndkV3h6WlNJNk9UYzBNalkzTml3aVltVmhkQ0k2TUN3aWMzUmxjRWx1WkdWNElqb3pMQ0pqYUdGcmNtRkVZWGtpT2lKRGNtOTNiaUlzSW5OMFpYQnpVR1Z5UW1WaGRDSTZORFFzSW5WelpYSlFhR2xMWlhraU9pSXhTekUxYWpjeVRITlVkbGg2UjJabllYUlNWVXhtVEVoWVlVaDBUamRGYjIxTklpd2lhMkZwVTJsbmJtRjBkWEpsSWpvaU5UYzFZMkppWlRFM09HTTBZemM1TjJVek9UUTBObVZoWldZeU5UWTNZV0k0WkRNek1UQTVZamc0T0RGbE56VmpaR1ZoTVdVd1lUQTNOREU0TlRJeFlTSjkiLCJvcmlnaW5VcmwiOiJodHRwczovL3BoaS5uZXR3b3JrL3MvMjliMzc1MTk0ODJjZDBhNGNmMGE2NmZkMGI4NDQ5ZTkzMjkyYzNhYjc4ZGFmMTcyNjYzNGJkNzY1YWVlNmVjZj9wPWV5SndkV3h6WlNJNk9UYzBNalkzTml3aVltVmhkQ0k2TUN3aWMzUmxjRWx1WkdWNElqb3pMQ0pqYUdGcmNtRkVZWGtpT2lKRGNtOTNiaUlzSW5OMFpYQnpVR1Z5UW1WaGRDSTZORFFzSW5WelpYSlFhR2xMWlhraU9pSXhTekUxYWpjeVRITlVkbGg2UjJabllYUlNWVXhtVEVoWVlVaDBUamRGYjIxTklpd2lhMkZwVTJsbmJtRjBkWEpsSWpvaU5UYzFZMkppWlRFM09HTTBZemM1TjJVek9UUTBObVZoWldZeU5UWTNZV0k0WkRNek1UQTVZamc0T0RGbE56VmpaR1ZoTVdVd1lUQTNOREU0TlRJeFlTSjkiLCJ0cyI6MTc2NjM0MTI3NTIzM30