Directory / datenvertrag.halowerk.com
datenvertrag.halowerk.com/v1/binary-automaton-reset-word-ledger working
https://datenvertrag.halowerk.com/v1/binary-automaton-reset-word-ledger
Before you pay
- Advice
ok- Protocol
- x402 · http · POST
- Asks for
- 0.003 USDC on base
- Catalogue says
- 0.003 USDC
- Pays to
0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E- Last check
- 13 min ago · 18 ms · HTTP 402
- Detail
- 402 with valid terms
Reliability
- Uptime 24 h
- 100.0%
- Uptime 7 days
- 100.0% (205 checks)
- Uptime 30 days
- 100.0% (signed daily)
- Paid calls 30 d
- 1 from 1 payers (x402 Bazaar)
- Listed by
- x402-bazaar
- First seen
- 2026-11-05 22:27 UTC
Description (from the catalogue, unverified)
Given the original total binary transition table of a deterministic automaton with 1..4 states, reconstruct every reachable state subset and labelled transition, the minimum reset-word length, the exact number of shortest binary words, the lexicographically first word and its full image trace. Distinct symbol words remain distinct when they reach the same subset. A one-state automaton resets by the empty word. Claim -1 means no reset word; null claim or missing table remains unknown.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-10 00:16 UTC | faa65762…08b5e1 daily summary | 371173 |
| 2026-11-09 00:14 UTC | 7ab861df…3d7ce2 daily summary | 280060 |
| 2026-11-08 00:11 UTC | c0bb3253…ee0788 daily summary | 201706 |
| 2026-11-07 00:14 UTC | 6ae21dfc…437d1d daily summary | 122570 |
| 2026-11-06 00:11 UTC | 2cc947df…b583d0 daily summary | 33075 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/jr7c3mwln3i6wsrp
Badge:
<a href="https://alalanet.com/s/jr7c3mwln3i6wsrp"><img src="https://alalanet.com/badge/jr7c3mwln3i6wsrp" alt="alalanet status"></a>Own this service? Claim it (free). Do not want it checked? See the prober page.