Honeycutt AI Labs (HAIL)

SlopFilter: A Portable Epistemic-Hygiene Protocol for AI-Generated Content

SlopFilter asks whether a model-generated statement has earned the status its language gives it. A usable answer keeps five things visible: what is claimed, what supports it, where the support came from, what inferential step connects support to claim, and what may happen to the...

The Voynich Manuscript "Apparatus" Drawings and the Distillation-Apparatus Tradition: A Divergence-Dominant Comparison

Within the inspected Voynich substrate and named comparator set, the imagery is containment- and immersion-dominant and the record contains no supported identification of a depicted still, alembic, retort, athanor, condensing arm, receiver flask, or furnace. This is an inventory-...

An Interval-Certified Positivity Block at c=13 for an Odd Pole-Free Riemann Reduction

We establish positivity of the canonical localized pole-free odd closed form at the fixed support parameter c=13. The proof combines an exact arithmetic-source identification, a uniform high-diagonal Schur transfer, finite interval-certified elimination, and a corrected enclosure...

A Rigorous Finite-Dimensional Verifier for an Odd Pole-Free Riemann Positivity Criterion

We develop a rigorous numerical verification framework for a finite-dimensional positivity problem arising from an odd, pole-free formulation connected to the Riemann hypothesis. The computational objective is not to infer positivity from floating-point evidence, but to certify e...