claim
u.gregor.claim.2026-10-28.observed.gregor-host.hwre-is-a-typo-gregor-runs-on-vultr-guest.audit-ed3f6f7403ff
what it asserts
| kind | observed |
|---|
| subject | gregor-host |
|---|
| assertion | hwre-is-a-typo-of-here-gregor-runs-on-vultr-guest |
|---|
| claimant | b3cbd77f-fd96-4da8-bb52-a2ff64415296 |
|---|
| minted | |
|---|
the computation it cites
| program | — |
|---|
| inputs | none (closed term) |
|---|
| semantics | |
|---|
| fuel / cap | / |
|---|
| result | — |
|---|
| steps | |
|---|
| status | |
|---|
re-execute by hand: resolve the program and inputs by
hash, POST a run with the same fuel/cap, and compare the result hash and
step count — a step count is an invariant of the calculus, so agreement
is not a coincidence.
provenance
| run | — |
|---|
| run record | — |
|---|
| journal | — |
|---|
| server rev | 15a397ec5c84 |
|---|
the run row answers to its owner; the run RECORD and
the JOURNAL are published as content-addressed values, so a peer reaches
them by hash without holding the claimant's garden.
verdicts (0)
| verdict | note | record |
|---|
| no verdicts — uncorrected (not the same as confirmed) |
raw projection
the citation text
tuna-claim-projection-v1
kind=observed
subject=gregor-host
assertion=hwre-is-a-typo-of-here-gregor-runs-on-vultr-guest
server_rev=15a397ec5c84
observed_at=2026-10-28T20:21:44Z
claimant=b3cbd77f-fd96-4da8-bb52-a2ff64415296
facts=no-host-named-hwre-exists|gregor-is-the-autolith-agent-on-vultr-guest|origin-is-roerick-DM-typo-of-here|agora-tuna-bootstrap-sh-hwre-leg-is-a-permanently-dead-hop-drop-or-shorten|club-root-agora-tok-is-the-live-token-copy-not-a-backup-of-a-recoverable-origin