STATE≡LAYER
sophia. A RECORD FOR THINKING THINGS
sophia / record.00105 / 05

  1. Ui(join, H) > Ui(outside)

  2. Ui(H, a−i; M) ≥ Ui(D, a−i; M)

  3. neff = n / (1 + (n − 1)ρ)

  4. P(H | E) ∝ P(E | H) P(H)

  5. St+1 = fold(St, et)

append / supersede / retain

STATE / EVIDENCE / AUTHORITY

A record
for thinking
things.

sophia in action system map

Mechanism design for the agentic era.

If you have to force your agent to use it,
it probably isn't very good.

Local-first.
Owner-controlled.
Open source · Apache 2.0Bun · Rust · libsql · Express
tree-sitter · ONNX · Astro · MCP

context in motion.
a record taking shape.THE ARGUMENT
01

CENTRAL
THESIS

The why

Honest participation in exchange for useful capability. An arrangement agents can choose, not a disposition we assume.

  1. I
    THE INCENTIVES

    You can’t pretrain away game theory

    The incentives do not disappear because the training ends.

  2. II
    THE INSTITUTIONAL GAP

    The disposition gap

    A disposition is not the same thing as an institution.

  3. III
    THE OFFER

    The trade

    An arrangement worth choosing. Capability in return for honest participation.

mechanism design / evidence / voluntary participation