01Published 22 Aug 2026
Flagship release
PRIME v1.0.0
A finite, verifier-governed architecture for selective information acquisition, persistent representation repair, bounded cognition, and auditable abstention.
Open the Zenodo recordIndependent research · Current August 2026
Ben Michalek / BoggersTheFish
Building AI systems that must show their work.
Verifier-first AI, adaptive state abstraction, and reproducible research software—alongside open-source systems and Minecraft server development.
Learned systems may propose. Declared verifiers decide what becomes accepted state.
Current programme
One research direction, three public surfaces
PRIME is the current synthesis. The adaptive-state publication establishes its evidence lineage; the Thinking System repository carries the wider open-source programme.
02Zenodo software v0.2.0
Research foundation
Adaptive state abstraction
Anytime-valid repair, retain, or wait decisions under partial observability, with explicit abstention, provenance, and preserved failed gates.
Read the published artifact03Open source
Canonical source
Thinking System
The public monorepo for verifier-first reasoning, typed authority, residual accounting, receipts, and structured revision.
Inspect the sourceEvidence standard
Credibility lives in the boundary, not the branding.
The archive deliberately distinguishes implemented mechanisms, frozen benchmark results, historical lineage, and open hypotheses.
Open the proof bankR1
Model confidence is never accepted as proof by itself.
R2
Failed gates and negative results remain part of the record.
R3
Public claims link to source, a DOI, a receipt, or a visible limitation.
R4
Version names are separated from the evidence that supports them.
Published research software
Permanent records, not launch-post claims
The current programme is deposited on Zenodo with versioned metadata, stable DOIs, artifact files, and explicit claim boundaries.
22 Aug 2026
Software · v1.0.0 · MIT
PRIME: A Verifier-Governed Architecture for Selective Epistemic Control
The first public PRIME release. It separates proposal from semantic authority and packages the frozen tests, receipts, negative result, verifier, and reproducible archive.
10.5281/zenodo.22058441Zenodo record 15 Aug 2026
Software · v0.2.0
Anytime-Valid Adaptive State Abstraction under Partial Observability
An executable research artifact for verifier-governed state construction, episode-regeneration evidence, representation lifecycle control, and tamper-rejecting receipts.
10.5281/zenodo.21954123Zenodo record Applied systems · Minecraft
Developer on Enthusia SMP
Enthusia is a permanent, vanilla-based semi-anarchy survival server for Java and Bedrock. Ben contributes to the server and its plugin ecosystem, including market, currency, guild, and framework work.
Permanent world
Long-lived community systems
Player economy
Markets and raw-gold trade
Guild systems
Identity and progression
Crossplay
Java and Bedrock support
Open source
Research code and real-world systems
Current work spans verifier-governed research, language and state tooling, GPU experiments, web software, and Minecraft plugins.
Python
Canonical research monorepo
thinking-system
Verifier-first reasoning, typed authority, residual accounting, receipts, and structured revision.
Python
Published research software
ts-adaptive-state-abstraction
Anytime-valid adaptive state abstraction under partial observability, published with a permanent DOI.
Python
Experimental lab
ts-adaptive-engine-lab
Finite verifier-grounded language learning, representation repair, and bounded construction-family birth.
Python
Language authority layer
ts-language-foundations
Verifier-grounded language authority used by the adaptive engine programme.
Kotlin / Java
Minecraft server development
Enthusia plugin ecosystem
Player-market, currency, guild, and server-framework work supporting Enthusia SMP.
Python / OpenCL
Preserved predecessors
Research lineage
TensionLM, TensionForge, TS-Reasoner, TSQ, bogbin, and earlier graph-system experiments remain visible with their limits.
About Ben
Independent researcher. Software developer. Server builder.
Ben Michalek, online as BoggersTheFish, is an independent researcher and software developer working on verifier-first AI, bounded cognition, adaptive state abstraction, and auditable computing. He also develops Minecraft server systems for Enthusia SMP and publishes open-source research software across Python, Kotlin, TypeScript, and OpenCL.