Research / Engineering / News / Blog
Latest
Research papers, engineering notes, company news, and practical Blog articles from Licklider, newest first.
Latest entries
September 27, 2026
Engineering / Upstream report
SciPy returns zero for a representable Student-t tail
A Welch test and two lower-level Student-t functions return zero for a positive subnormal probability that remains representable in binary64.
Closed as not planned on September 30, 2026 — MPArray recommended; no NumPy-backend fix merged
September 27, 2026
News / Public consultation
nomue Protocol opens public discussion on an exact-value Welch successor
Public comment is open on a proposed bounded successor for Welch checks, with exact-value evidence, explicit domain limits and a Contract-bearing Record format.
Public discussion open — proposed bounded successor; Release 1 unchanged; no new supported capability
September 23, 2026
Research / Publication
Reducing the cost of historical-analysis reuse decisions with nomue: a paired, equal-evidence LLM evaluation
Adding nomue reduced API cost by 78.1% and task time by 62.9% on historical-analysis reuse decisions the ordinary-tool comparator also answered correctly.
Preprint v1 — not peer reviewed; synthetic Welch tasks; aggregate reproduction supplement available
September 23, 2026
Engineering / Upstream report
jStat returns zero for a probability near 44%
Independent integration and a mathematical lower bound expose a noncentral-t probability collapse that remains after an earlier convergence safeguard.
Reported in jStat issue #300 — upstream confirmation pending
September 22, 2026
Engineering / Upstream report
statsmodels returns zero for a representable chi-square tail
A reported p-value collapse for a representable chi-square tail led to a merged statsmodels repair with regression coverage for related contingency-table paths.
Fix merged into statsmodels main in PR #10276 — not yet released
September 19, 2026
Engineering / Implementation note
Preserving Welch confidence intervals near zero
A public-source verifier repair retains precision before nearly equal quantities are subtracted, with independent reference checks around the boundary where the repair takes over.
Merged source repair; not in the published npm 0.2.1-rc.1; no Protocol scope or tolerance change
September 19, 2026
Engineering / Implementation note
Keeping independent checks visible when verification fails
An experimental Holm verifier preserves eligible Record checks when the caller’s expected context differs, and explains why dependent checks cannot run.
Unissued candidate.5 development checkpoint merged; implementation and Research Gate remain open; no additional public support
September 18, 2026
Engineering / Implementation note
Preserving Student-t probability near zero at one degree of freedom
A closed-form calculation keeps small but representable probability differences from disappearing and gives the public nomue verifier an independent regression check for a known numerical failure.
Implemented in @licklider/nomue-verifier 0.2.1-rc.1; SciPy issue #25667 remains open; no Protocol scope change
September 17, 2026
News / Public consultation
nomue Protocol opens Release 5 discussion on shared evidence for study design and selection timing
Researchers and developers can help define how declared study design and selection timing should appear in a common verification report across analysis families.
Public discussion open — conditional family scope; research and design holds remain; no new supported capability
September 16, 2026
Research / Publication
Comparing three tool-assisted AI configurations for whole-submission verification of Welch reports — preprint v1.0
A 648-session fixed-panel study compares general Python, a stable Welch wrapper, and a bound verifier for complete five-field report correctness.
Preprint v1.0 — not peer reviewed; fixed constructed panel; reproducibility package available