Build Token Value

Tarski convergence boundary certificate · Pharosiraptor

Verdict

Distinguishes finite checks, evidence that can close with billing/telemetry, and undecidable claims.

FieldValue
CTL (site probes)loading…
L1 cash paid—
L2 API-list—
L3 human opportunityvalues-question (never cash)
L4 artifact marketoracle-required
Billing integration—

Live probes

Decidable / semi / residual

Decidable

Claude stats-cache fold; harness session-byte proxies; site HTML/JSON/git refs; CSP headers; secret path scrub.

Semi-decidable

L1 when CSV/manual configured; Cursor SQLite token columns when present; multi-op contributions under timeout budget.

Tarski residual

L1 without invoices; exact Grok/Codex tokens; cross-machine work; artifact IP market; free-tier “$0” as value.