Writing

Papers, essays, and position pieces from Ashiba Research. Ongoing posts at ashibaresearch.substack.com.

Today — April 28, 2026

Paper · arXiv · April 28, 2026
Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon

The founding paper for Ashiba Compute. A specification, verification, and attribution framework for ML kernels across heterogeneous silicon. Eight-part contract object, three failure primitives, twelve contract classes, derived tolerance bounds. The reference verifier (Apache 2.0) is at github.com/cv700/ashiba-verify.

Essay · Substack · April 28, 2026
One Env — verifying heterogeneous compute as moral work, in a precise sense

The opening essay for Ashiba Alignment. Why the verification of heterogeneous, opaque compute substrates is environmental work in the deepest sense — work that maintains the conditions under which moral life remains possible across a plural, AI-mediated world.

Position papers

PDF · April 2026 · Founding article for Ashiba GTM

Curiosity beats cadence in long-tail deep-tech markets. The forward-deployed researcher is the lab's brain in the field, bringing back the gradient that decides the production possibility frontier of intelligence.

PDF · April 2026 · Ashiba Deep Tech

The case for treating operator data — the workflow exhaust of the real economy — as the next training-data frontier, and for building the legal-and-technical infrastructure that makes it licensable without giving away the moat.

PDF · April 2026 · Ashiba Deep Tech

What an operational AI data asset is, who has them, who pays for them, and why the rights problem has so far prevented the market from forming. Companion to LADDER.

PDF · April 2026 · Empirical companion to Prime Standard

Seventeen environments measuring whether coding agents follow document-grounded operational requirements. The visible-pass, hidden-operational-fail failure shape applied at the agent level.

Ongoing

Essays and announcements ship through Substack: ashibaresearch.substack.com. Code lives on GitHub. Threads on X and LinkedIn.