Pith Number

pith:RVMQBTV6

pith:2026:RVMQBTV6EA262AXV3Y3OTTMIYI

not attested not anchored not stored refs pending

Decidable By Construction: Design-Time Verification for Trustworthy AI

Houston Haynes

AI model properties for stability and correctness reduce to decidable constraints over abelian groups, allowing verification before training.

arxiv:2603.25414 v4 · 2026-03-26 · cs.PL · cs.AI · cs.LG · cs.LO

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{RVMQBTV6EA262AXV3Y3OTTMIYI}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

Hindley-Milner unification over abelian groups computes the maximum a posteriori hypothesis under a computable restriction of Solomonoff's universal prior, placing the framework's type inference on the same formal ground as universal induction.

C2weakest assumption

That the properties determining numerical stability, computational correctness, and physical consistency in AI models are expressible as constraints over finitely generated abelian groups Z^n where inference is decidable in polynomial time and the principal type is unique.

C3one line summary

A type system over finitely generated abelian groups enables design-time verification of AI model properties and links Hindley-Milner unification to a restriction of Solomonoff's universal prior.

Receipt and verification

First computed	2026-06-19T16:09:57.343028Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

8d5900cebe2035ed02f5de36e9cd88c228122a9d70632979e062f2e9ba5ba700

Aliases

arxiv: 2603.25414 · arxiv_version: 2603.25414v4 · doi: 10.48550/arxiv.2603.25414 · pith_short_12: RVMQBTV6EA26 · pith_short_16: RVMQBTV6EA262AXV · pith_short_8: RVMQBTV6

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/RVMQBTV6EA262AXV3Y3OTTMIYI \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 8d5900cebe2035ed02f5de36e9cd88c228122a9d70632979e062f2e9ba5ba700

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "1656f01237d476718a5865e8ba9e77c0aadbba92ce585a077c58ad49660b3549",
    "cross_cats_sorted": [
      "cs.AI",
      "cs.LG",
      "cs.LO"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.PL",
    "submitted_at": "2026-03-26T13:09:36Z",
    "title_canon_sha256": "a70bb953913038e9c15ac51b42f710950c9072eb23bda861a8a94280cb010777"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2603.25414",
    "kind": "arxiv",
    "version": 4
  }
}