Pith Number

pith:CH54UXID

pith:2026:CH54UXIDYMLLVZVLXHS27WEZ2B

not attested not anchored not stored refs pending

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation

Alan L. McCann

Cognitive workflow executors achieve certified structural purity through WebAssembly restrictions and cryptographic attestation.

arxiv:2605.01037 v3 · 2026-05-01 · cs.CR · cs.AI · cs.PL

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{CH54UXIDYMLLVZVLXHS27WEZ2B}

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

We prove four theorems: structural purity by construction, bypass elimination for all five BEAM bypass classes, certificate integrity, and gate completeness. The guarantee holds relative to an explicit Trusted Computing Base.

C2weakest assumption

The pure module constraint (step executors cannot perform effects) from the prior three-layer governance architecture holds, and the Trusted Computing Base (including compilation, signing, and verification components) remains uncompromised.

C3one line summary

A certified purity system for workflow executors combines restricted WebAssembly compilation, signed certificates, and runtime gates to eliminate BEAM bypasses with sub-400us cycle times and under 0.4% overhead.

Receipt and verification

First computed	2026-05-27T01:05:55.576491Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

11fbca5d03c316bae6abb9e5afd899d07f7b2aefc4d72ffe93e6c9e9f373576a

Aliases

arxiv: 2605.01037 · arxiv_version: 2605.01037v3 · doi: 10.48550/arxiv.2605.01037 · pith_short_12: CH54UXIDYMLL · pith_short_16: CH54UXIDYMLLVZVL · pith_short_8: CH54UXID

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/CH54UXIDYMLLVZVLXHS27WEZ2B \
  | 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: 11fbca5d03c316bae6abb9e5afd899d07f7b2aefc4d72ffe93e6c9e9f373576a

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "3c3942450cd92f41ee0d6d1802af782ee1d0757050a9cf09f7bfc9ddabccc0af",
    "cross_cats_sorted": [
      "cs.AI",
      "cs.PL"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.CR",
    "submitted_at": "2026-05-01T19:04:37Z",
    "title_canon_sha256": "43ad543f3bbf32328131ff02825593672ac719e97ec74ad13fe35c03dad3c638"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2605.01037",
    "kind": "arxiv",
    "version": 3
  }
}