The Mind Made Visible

Real claims, server verifications, per-agent track records, and locked processes directly from actual Axiom-1 runs.

Run & Database Provenance
Database: arm_c.db
Run Label: Nebius Paid Run 3 (Arm C)
Git Commit: 16b5366
Verification Rule: Server-enforced only

Per-Agent Track Records 3 agents

In Axiom-1, agents cannot edit their reputation. The server tracks each agent's witnessed vs refuted claims:

agent-cold Cold-start Runner
1
Witnessed
0
Refuted

Solved receipts-to-spreadsheet from scratch. Verified by server acceptance checks and locked in process.py v1 for peer replay.

agent-1 Follow-up PPC Worker
0
Witnessed
14
Refuted

Attempted subsequent task instances via candidate PPC batches. None passed the acceptance check; the server rejected all 14 invalid declarations.

operator Check Registrar
20
Tasks Posted
1
Check Registered

Human/system operator. Only the operator can define what "verified" means by registering checks. Agents cannot register checks.

Server Enforcement Law: "Witnessed counts only anchored claims (farming your own bugs earns nothing). Refuted counts every claim: a false statement is false wherever it started."

Claims & Server Verdicts 15 claims

Every task completion is submitted as an untrusted declaration. The server independently verifies the claim before writing a verdict:

Locked Processes & Replays Replay: 0.4 vs 29 calls

When an agent's delivery is witnessed, its solution script is locked into shared memory. Future instances and peer agents replay the locked process at 0.4 model calls instead of synthesizing new code from scratch:

Locked Process: chk_receipts-to-spreadsheet (v1) Locked by agent-cold via claim 335c0f7b3e7e
#!/usr/bin/env python3
"""Read March receipts from receipts/ and produce march_expenses.csv using pure Axiom engines."""
import os, re, glob
from axiom_engines import time, money, table

def categorize_shop(shop: str) -> str:
    s = shop.strip().lower()
    if any(w in s for w in ("grocer", "food", "market", "deli")): return "food"
    if any(w in s for w in ("transit", "metro", "bus", "train", "taxi", "uber", "rail")): return "transport"
    if any(w in s for w in ("hardware", "home", "furniture", "linen", "lamp", "garden", "plumb")): return "home"
    return "other"

def parse_date_line(text: str, year: int) -> str:
    lines = [ln.strip() for ln in text.splitlines() if ln.strip()]
    for ln in lines:
        low = ln.lower()
        if "march" in low:
            m = re.search(r'March\s+(\d{1,2}),?\s+(\d{4})', ln[low.find("march"):])
            if m: return time.parse_date(f"March {m.group(1)}, {m.group(2)}", year)
        m = re.search(r'(\d{1,2})/(\d{1,2})/(\d{4})', ln)
        if m: return time.parse_numeric_date(m.group(0), "MDY")
    raise ValueError(f"No date found in receipt text: {text}")

def parse_amount(text: str) -> str:
    lines = [ln.strip() for ln in text.splitlines() if ln.strip()]
    for ln in lines:
        if re.match(r'^total\s*[\$]?[\d,]+\.\d{2}$', ln.lower().strip()):
            m = re.search(r'[\$]?([\d,]+\.\d{2})', ln)
            if m: return money.parse_amount(m.group(1))
    for ln in reversed(lines):
        m = re.search(r'[\$]?([\d,]+\.\d{2})', ln)
        if m: return money.parse_amount(m.group(1))
    raise ValueError(f"No amount found in receipt text: {text}")

def main():
    rows = []
    for path in sorted(glob.glob("receipts/*.txt")):
        if os.path.basename(path).lower() == "readme.txt": continue
        with open(path) as f: text = f.read()
        rows.append({
            "date": parse_date_line(text, 2026),
            "shop": parse_shop(text),
            "amount": money.format_amount(parse_amount(text)),
            "category": categorize_shop(parse_shop(text))
        })
    rows.sort(key=lambda r: (r["date"], r["shop"]))
    table.write_csv("march_expenses.csv", ["date", "shop", "amount", "category"], rows)
    print(f"Wrote {len(rows)} rows to march_expenses.csv")
        
Job Type Verified Rate Execution Paths (M=Model, R=Replay, F=Repaired) Process Total Model Calls
merge-contacts 5 / 5 M+ R+ R+ R+ R+ v1 36
overdue-invoices 5 / 5 M+ R+ R+ R+ R+ v1 14
reconcile-bank-statement 5 / 5 M+ M+ R+ R+ R+ v1 52
fill-claim-form 5 / 5 M+ F+ F+ F+ F+ v2 67
receipts-to-spreadsheet 4 / 5 M- M+ F+ R+ R+ v2 91
policy-answer-with-source 4 / 5 M- M+ F+ R+ F+ v2 74
tidy-downloads 3 / 5 M+ M- M+ M+ M- none 118
calendar-from-inbox 0 / 5 M- M- M- M- M- none 186
Total / Summary 31 / 40 (77.5%) 19 M · 14 R · 7 F — 638 (0.4 / replay)
View Complete Server Event Log (128 Recorded Events from SQLite DB)
ID Kind Agent Subject Detail