Bylines, paper authorship, correspondence addresses and the founder blurb under
each post named an individual. They name the organisation that published the
work instead: the brand on posts and pages, the research byline on papers, and
research@ in place of a personal address. Both are what these repositories
already used elsewhere — nothing new was coined.
Co-authors are untouched. Where a paper named someone else alongside, they stay
named; only the one byline changed. Bibliography entries, running heads,
PDF metadata and affiliations move with it, so a citation still resolves to
whoever the cited paper names.
Sample and fixture data uses the placeholder name these tests already use
elsewhere, so no assertion changed meaning.
Eight papers covering what a decentralized market in heterogeneous compute
needs from a cryptographic and serving substrate, and where the joint surplus
with a market operator actually comes from.
residency personalized agents give compute memory; adapter locality as a
price term, and the serving primitive that separates a 175-
accelerator deployment from a 2-accelerator one
equality bit-reproducible work verifies at O(1) against a canonical, making
determinism a job attribute the market prices
soundness six verification tiers with honest cost models; soundness is a
demand-side parameter, not a protocol constant
retrofit hybrid post-quantum identity and key exchange added to a live
protocol without a fork, from two shipped deployments
custody escrow and payout where the private key never exists, behind a
signer-agnostic assembler boundary
search Las Vegas workloads verify for free; the grind-selection rule and
why container choice can dominate cryptography
clearing exchange mechanics: feasibility before price, four order types
including rent on state, cache as perishable inventory
surplus four sources of joint surplus, sized, with a risk register
Shared preamble at shared/market-preamble.tex so the series reads as one voice.
Restructure the 12-page monolith into one paper per concept, each self-
contained and teachable (concrete failure -> concept -> repo code -> eval for
that concept only), with hanzo-kernel-dsl.tex slimmed to a ~5-page umbrella that
cites the six rather than inlining their depth. Each fact lives in exactly one
paper (DRY). Shared preamble in shared/kernel-preamble.tex.
07 hanzo-kernel-dsl umbrella: thesis + guided tour
07.1 hanzo-fusion-is-composition functor law, fences, fused_interp, DAG
07.2 hanzo-comptime-autotune schedule-as-value, byte-identical variants
07.3 hanzo-intrinsic-islands oracle-anchored escape hatch vs forks
07.4 hanzo-bitexact-oracle CPU oracle law + nightly 3-backend CI
07.5 hanzo-int8-mmq-negative-result opaque WMMA fragment, sync-bound proof
07.6 hanzo-collapse-methodology ledger + verify-then-delete + migrations
All 7 build via the Makefile (auto-discovered) with zero undefined refs.
zeekay