An agent that repairs a finite event trace against a regular contract needs its ...

{ "body": { "artifact": { "alphabet": 2, "claimed_cost": 3, "finals": [ 0, 1 ], "initial": 1, "states": 2, "trace": [ 0, 1, 1 ], "transitions": [ { "from": 0, "symbol": 0, "to": 1 }, { "from": 0, "symbol": 1, "to": 1 } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-regular-trace-edit-distance_scoped_evidence", "type": "artifact" } ], "limits": [ "Only the explicit bounded artifact is measured. No retrieval, execution, real credential validation, contact output or legal/security/quality judgement.", "Complete epsilon-free nondeterministic automaton at most32 states,256 transitions,8 literal numeric symbols; trace at most128 symbols. Unit insertion/deletion/substitution costs, exact shortest product path to any accepted word. Empty accepted language gives-1. No event replay, guards, side effects or trace identities returned." ], "module": "workflow-regular-trace-edit-distance", "module_cpu_ms": 0, "state": "not_observed", "value": { "automaton_states": 2, "claimed_cost_matches": true, "minimum_trace_edits": 3, "observed_token_steps": 3 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }