Overview

A symbolic-dynamics conformance agent needs exact global injectivity and surjectivity of a complete one-dimensional cellular local rule on Z, including surjective noninjective maps. Finite orbit periods and finite graph reachability alone do not decide this infinite configuration-space property.

Protocol x402 (POST)
Price $0.0030
Payment Asset USD Coin
Payment Network eip155:8453
Category uncategorized
Provider detect
Source bazaar
Indexed 2026-11-02 17:26:22

Health

Status unknown
Latency (p50) —
Uptime (30d) —
Reliability Score —
Last Checked Never
Last Healthy Never
Consecutive Failures 0

x402 Payment Validation

Payment Requirements —
Asset Verified —
Facilitator —

Input Schema

{ "body": { "artifact": { "cellular": { "claim": { "injective": false, "surjective": true }, "rule": [ 1, 0 ], "width": 1 } } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 95, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "binary-cellular-automaton-global-injectivity-surjectivity_scoped_evidence", "type": "artifact" } ], "limits": [ "All binary configurations indexed by Z; simultaneous local window (i,...,i+w−1), width1–5. Rule array indexed by the big-endian binary integer of that window, ascending0..2^w−1. Complete table required.", "Injective means globally reversible on the two-sided full shift, not invertible on one chosen finite ring. Surjective does not imply injective. Own complete finite pair-graph decision algorithm, no orbit-simulation inference or final-answer SDK." ], "module": "binary-cellular-automaton-global-injectivity-surjectivity", "state": "observed", "value": { "claim_matches": false, "injective": true, "surjective": true }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }