Koch Laboratory

Koch Laboratory

A public research notebook on privacy, applied cryptography and resilient systems.

BSFZ seal 2026 — FuE (research and development); explanation at bescheinigung-forschungszulage.de

Confirmed as research and development

In October 2026 Germany’s Bescheinigungsstelle Forschungszulage (BSFZ) confirmed nine projects of this laboratory as research and development under the Research Allowance Act (FZulG):

The seal attests that this is research — not that any product is secure, and not a grant. The BSFZ assessed written descriptions of the projects; it has no access to code, data or systems.

Koch Laboratory is a public research notebook on privacy, applied cryptography and resilient systems: from metadata-resistant communication and low-power mesh networks, through the cryptography of time and conditional access, evidence-grade integrity of documents and records, and steganography over an owned generative channel, to structure-first compression. A separate line runs through directions whose object of measurement is measurement itself: cognitive screening on consumer EEG, machine forecasts with measured own fallibility, and content moderation without storing content. It documents reasoning and results — not products, and not promises.

How to read this

What this is not

BSFZ 2026 · R&D confirmed

Ygoow: pre-registered measurement of our own security claims

Continues the entry of 2026-07-10, now naming the product. From July to September 2026 Ygoow’s security claims were turned into two-stage cards — criteria and predictions first, measurement after — on the target phone or in simulation: 37 cards (24 with the registration committed before the run), 199 ledger predictions of which 36 missed, eight published claims overturned and withdrawn, and corrections to statements of the July entry that no longer hold. Constructions withheld; traffic results come from a model, not from captured Tor traffic.

Read the direction →

BSFZ 2026 · R&D confirmed

Two studies on machine-generated statements: criteria before results

Two studies from the forecasting programme, each settled by its own measurement: whether a system running without supervision learns rather than rationalises — tested on questions resolved after its model’s training cut-off, with safeguards that stop output instead of attaching a warning — and how lowering a model’s numerical precision affects the factual fidelity of statements derived from source documents. Neither has a result yet; the criteria are published before any result, and the entry corrects the earlier statement that implementation had not started.

Read the direction →

Time as evidence, revisited: a key incident and a log that can be audited from outside

Continues and corrects the entry of 20 August 2026, now under the name Sigelith. A signing key shared with a development mirror refuted the assumption that a valid signature identifies our roots, so trust moved to a log anyone can download and recompute (RFC 9162) and to copies and anchors held by others; plus per-entry time brackets from Bitcoin and a bank instead of our clock, backups that carry their own evidence, and a review of what a client showed as verified — each with its boundaries.

Read the direction →

Validating an EEG analysis chain before the first real recording

A continuation of the neuro entry: before any real recording, the analysis chain was tested on synthetic data with known ground truth and negative controls. Negative results on stimulus and signal, four methodological audit findings and their corrections, a norm restricted to amplitudes — and corrections to the entry of 2026-08-12, including a withdrawn intended-purpose sentence.

Read the direction →

The TimeVault line revisited: the past attested, the future enforced by an external time quorum

Continues the entry of 2026-07-14: enforcing the future now exists for individual entries — through an external time quorum rather than a time-lock puzzle, with its trust boundaries stated — the place condition has moved from application policy into the key, and the negative results since July are published together with corrections to statements of the July entry that no longer hold.

Read the direction →

Image moderation without storing images

Not research on a model — the classifier is off-the-shelf and says so — but on the regime it runs in: zero retention, a score instead of a verdict, fail-closed under outage, and a refuted hypothesis about reactive moderation as a cheaper substitute for scanning. Includes what has not been measured.

Read the direction →

Time as an agreed unit and as evidence

Six directions on a time service whose statement is meant to hold for someone who trusts neither us nor our server: a zone-free unit, a clock that ticks without asking the server and publishes its own error, a weekly Merkle log, anchoring in a bank transfer reference beside Bitcoin, a draw nobody can steer, and proof of co-stamping a moment without identity.

Read the direction →

Forecasts with measured own fallibility

A concept-phase program on machine forecasts whose first measured object is their own fallibility: calibration without model self-assessment, resolvability under not-at-random missing ground truth, mechanisms over events and fail-closed self-verification — with the entire construction withheld.

Read the direction →