a11oy · Determinacy — Local Data Determines Global Truth

SZL Holdings showcase · An illustrative visualization of the analytic-continuation / Identity-Theorem principle — strong structure makes local data determine the global truth — and how it mirrors SZL's signed-receipt proof doctrine. The power series is real arithmetic computed in your browser; nothing is fabricated. Maturity labelled LIVE / ROADMAP / ILLUSTRATIVE; the live claim is wired to a real a11oy endpoint (honest NO-LIVE-DATA fallback).
SZL Holdings · Proof doctrine · June 2026
Local data can determine global truth.
When the structure is strong enough, one verified fact pins down the whole.

A function that is analytic on a connected domain is rigid: if two analytic functions agree on even a tiny patch — an arc, a sequence of points with a limit — they agree everywhere on the domain. There is no freedom left. That is the Identity Theorem, and the machinery that carries a locally-valid formula out to its unique global form is analytic continuation. SZL builds the same rigidity into provenance: a single verified signed receipt, chained by cryptographic structure, determines the integrity of the whole chain. Verify one, the rest follows.

1 · The power series, computed for real

f(z) = Σ zn = 1/(1−z) — local series vs. global continuation

The geometric series Σn≥0 zn converges only inside the unit disk |z| < 1. There its partial sums SN(z) = 1 + z + z2 + … + zN march toward a limit. Yet the function it represents, 1/(1−z), is perfectly well-defined everywhere except z = 1. The series is the local data; 1/(1−z) is the unique global continuation — the only analytic function on ℂ\{1} that agrees with the series on the disk. Drag the controls: the partial sum below is computed honestly in JavaScript (SN by direct summation), and compared against the closed form.

unit disk |z| < 1 (series converges) chosen z partial sums S0…SN (real) global value 1/(1−z)
computing…

Tip: pick a z outside the disk — the partial sums diverge (the series has nothing to say), but 1/(1−z) still returns the single value the global function is forced to take there. That value is not invented; it is determined by the local data through the structure.

2 · Why it matters for proof & defense

The bridge — math principle ↔ SZL receipt doctrine ILLUSTRATIVE

The parallel below is a metaphor we find clarifying, not a mathematical claim that receipts are analytic functions. The left column is the genuine theorem; the right column is the live SZL artifact it inspired. We label the bridge illustrative on purpose — doctrine v11, honesty over checklist.

Analytic continuation (the theorem)

1
Local series, valid on |z|<1. The geometric series is meaningful only inside the unit disk — a small, local patch of data.
↓
2
Analytic continuation. Overlapping power-series expansions carry the function out, patch by patch, past the disk's edge.
↓
3
Unique global function (Identity Theorem). Analyticity leaves no freedom: the continuation to ℂ\{1} is the one and only 1/(1−z). Local data has determined the global truth.

SZL receipt doctrine (the live artifact)

1
One signed receipt (local). A single DSSE-style signed Khipu receipt records one state change — a small, local fact you can check on its own.
↓
2
Hash-chain verification. Each receipt commits to its predecessor's digest (SHA3-256), so re-walking the prev-links carries trust forward, link by link.
↓
3
Whole-chain integrity (determined). Cryptographic structure leaves no freedom: recomputing the seals from a verified head down to genesis determines whether the entire chain is intact. Verify one, the whole follows.
checking…Khipu organs (live re-walk)
The shared idea — and the only claim we make about the bridge — is rigidity: stronger structure → less local freedom → local information determines the whole. In analysis, the structure is analyticity. In a11oy, it is the cryptographic hash-chain. The viz is illustrative; the receipt chain is the real, checkable artifact.

From the metaphor to the real artifact

A judge can click straight through from the picture to the live, recomputed proof — no fabricated values anywhere along the way.

Re-walk live Khipu chains → Why a signature ≠ proof → Frontier roll-up →
The Khipu verifier recomputes each receipt's SHA3-256 seal in-process and re-walks prev-links to genesis, returning a COMPUTED PASS/FAIL/NOT_FOUND — never an asserted one. Khipu chain integrity is real; BFT consensus over it is Conjecture 2 (honestly labelled, not a theorem). Λ-uniqueness is Conjecture 1. ROADMAP: external SCITT-style transparency so third parties can re-verify without trusting the producer.
3 · Honest attribution

Analytic-continuation framing after Daniel Buchta, "Mathematical Thinking Series No. 17: Analytic Continuation — Local Data Determines Global Truth." This visualization is illustrative; the governing claim it mirrors (verifiable hash-chained receipts) is the live, real artifact. We do not claim this page proves anything — the partial sums are honest arithmetic, the bridge is an explicitly illustrative metaphor, and the only proof on offer is the recomputable Khipu chain linked above. External ideas are cited, never claimed as ours (doctrine v11).

References
  1. Daniel Buchta, "Mathematical Thinking Series No. 17: Analytic Continuation — Local Data Determines Global Truth" (the framing this illustrative page is built after).
  2. Identity Theorem & analytic continuation — standard complex analysis (e.g. Ahlfors, Complex Analysis): an analytic function on a connected open set is determined by its values on any set with a limit point.
  3. Geometric series: Σn≥0 zn = 1/(1−z) for |z| < 1; the right-hand side is the unique analytic continuation to ℂ\{1}.
  4. a11oy universal Khipu verifier — /api/a11oy/v1/khipu/organs, /api/a11oy/v1/khipu/verify/{digest} (recomputed PASS/FAIL/NOT_FOUND).
⚖Compliance / GRC
🌐Spaces