Research / Engineering / News / Blog
Latest
Research papers, engineering notes, company news, and practical Blog articles from Licklider, newest first.
Latest entries
September 1, 2026
News / Product
nomue verifier Release 1 candidate is available on npm
The public @licklider/nomue-verifier package provides a direct local command for checking supported nomue Release 1 Records.
Public release candidate — npm rc 0.2.1-rc.1
September 1, 2026
Engineering / Implementation note
From numerical bounds to a controlled paired-t execution candidate
The reviewed Release 2 formal decision packet now assembles the paired-t evidence and required decisions without adopting or issuing Protocol support.
Independently reviewed Release 2 formal decision-readiness package — not adopted, issued, or supported
September 1, 2026
Engineering / Upstream report
R’s exact Wilcoxon test can return p-values outside the valid range
R’s exact Wilcoxon test returned negative p-values and a value above 1 on a zero-difference input; we reported it with three independent exact-arithmetic checks.
Reported to R — PR#19144 open and unconfirmed
August 31, 2026
Engineering / Implementation note
Tracing a paired-t calculation from observations to p-value
We connected paired observations to a p-value in one reviewed trace; later work closed its two numerical error ledgers and added a reviewed interval trace.
Independently reviewed p-value and confidence-interval execution traces; interval proof continues
August 31, 2026
Engineering / Implementation note
Building paired-t numerical tables and input-specific error checks
We built two reviewed 200-value tables and input-specific error checks; later decisions selected the p-value bound and one table for candidate interval work.
Two independently reviewed 200-value tables and input-specific error checks — candidate Release 2 work
August 30, 2026
Engineering / Implementation note
Testing a paired-t evaluator at floating-point boundaries
We built and independently reviewed a deterministic paired-t probability evaluator and boundary evidence while leaving accuracy bounds, supported inputs, and protocol registration open.
Independently reviewed deterministic evaluator and floating-point boundary evidence — candidate Release 2 work
August 28, 2026
Engineering / Technical method
Certifying paired-t numerical evidence before protocol support
We built and independently reviewed a proof pipeline for paired-t p-values and critical values before deciding what nomue Protocol will support.
Independently reviewed proof pipeline for paired-t p-values and critical values — candidate Release 2 work
August 26, 2026
Engineering / Upstream report
A SciPy exact Wilcoxon p-value error, fixed upstream
SciPy’s exact Wilcoxon path could return zero for a positive p-value. SciPy diagnosed the cause and merged a fix the same day it was reported.
Fix merged in SciPy — awaiting a SciPy release
August 24, 2026
News / Product
nomue Protocol Release 1 Public Draft is now available
The first public draft of the nomue Protocol is available with local verification, public fixtures, and signed release artifacts.
Public Draft — experimental
August 23, 2026
Research / Publication
Correctly Rounded or Refused — preprint v0.2
A preprint on checking the numerical accuracy of paired Student-t test results before software returns them.
Preprint v0.2 — not peer reviewed