Hub · Entwicklung & APIs

Technische Prüfungen & Formate

1.910 veröffentlichte Endpunkt-URLs. Methoden, Preise, Eingaben und Originaldokumentation auf jeder Detailseite.

detect.halowerk.com · Katalogstand 2026-11-01, 15:19 UTC

Endpunkte

1861–1910 von 1.910

Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum adaptive diagnostic cost
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-adaptive-diagnostic-cost
An agent that selects deterministic artifact diagnostics needs its claimed minimum weighted classification cost checked over every adaptive binary test tree allowed by the complete hypothesis table.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum backbone tree certificate
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-backbone-tree-certificate
An agent that chooses a sparse autonomous synchronization backbone needs whether its proposed supplied links form a spanning tree with the exact minimum total stated link cost.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum cycle basis cost
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-cycle-basis-cost
An agent that exports an independent loop basis for an undirected integration graph needs its claimed minimum total loop weight checked across the full binary cycle space.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum feedback arc penalty
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-feedback-arc-penalty
An agent that repairs a cyclic artifact build dependency graph needs its claimed minimum discarded-edge penalty checked over all total build orders rather than removing the first detected cycle.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum isolation colors
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-isolation-colors
An agent that assigns conflicting artifact transforms to isolation lanes needs its claimed minimum number of lanes checked when every supplied conflict pair must use different lanes.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum live frontier bytes
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-live-frontier-bytes
An agent that orders a DAG artifact pipeline under a retained-result budget needs its claimed minimum peak retained artifact weight checked over every topological completion order.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum sequential chain cover
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-sequential-chain-cover
An agent that partitions a precedence workflow into independent sequential work lanes needs its claimed lane count checked against the minimum chain cover of the complete transitive order.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimum weighted tardiness
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimum-weighted-tardiness
An agent that orders one nonpreemptive autonomous worker queue needs whether its claimed complete order minimizes the supplied weighted lateness loss rather than merely meeting hard deadlines.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow modular phase intersection
POSThttps://detect.halowerk.com/v1/workflow/workflow-modular-phase-intersection
An agent that joins independently phased integer tick schedules needs its claimed first common tick and repeating period checked with noncoprime moduli.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow monotone transform
POSThttps://detect.halowerk.com/v1/workflow/workflow-monotone-transform
An agent that uses an explicit information order needs a supplied transfer table checked for order reversals before applying iterative dataflow.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow multiversion serialization
POSThttps://detect.halowerk.com/v1/workflow/workflow-multiversion-serialization
An agent that checks a versioned workflow history needs write-order read-from and anti-dependency edges derived from explicit versions rather than a single interleaved conflict trace.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow observed remove set merge
POSThttps://detect.halowerk.com/v1/workflow/workflow-observed-remove-set-merge
An agent that merges concurrent replicated set states needs whether a claimed visible member set agrees with the add-tag and observed-tombstone union rather than removing a concurrent unseen add.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow ordered dacl mask admission
POSThttps://detect.halowerk.com/v1/workflow/workflow-ordered-dacl-mask-admission
An agent that migrates an explicitly mapped discretionary ACL artifact needs its claimed access results checked against ordered remaining-mask grants denials and enabled or deny-only token groups.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow parity winning regions
POSThttps://detect.halowerk.com/v1/workflow/workflow-parity-winning-regions
An agent that hands over an indefinitely recurring workflow contest needs its claimed even-player winning region checked under the highest recurring priority rule.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow paxos acceptor transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-paxos-acceptor-transcript
An agent that replays a replicated commit acceptor needs promised ballot and acceptance claims checked across prepare requests higher promises and repeated proposals without executing a commit.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow periodic edf demand
POSThttps://detect.halowerk.com/v1/workflow/workflow-periodic-edf-demand
An agent that configures periodic workflow tasks needs explicit deadline-demand excess over a verified finite hyperperiod rather than a utilization-only guess.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow petri capacity
POSThttps://detect.halowerk.com/v1/workflow/workflow-petri-capacity
An agent that models a concurrent token workflow needs an explicit reachable marking that exceeds a declared place capacity or exhaustive confirmation within a finite exploration budget.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow petri unbounded growth
POSThttps://detect.halowerk.com/v1/workflow/workflow-petri-unbounded-growth
An agent that accepts a token-generating workflow needs its claimed unbounded-growth property checked by coverability acceleration instead of confusing a finite capacity overrun with mathematical unboundedness.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow piecewise backlog bound
POSThttps://detect.halowerk.com/v1/workflow/workflow-piecewise-backlog-bound
An agent that compares supplied arrival and service envelopes needs the exact finite-horizon maximum vertical gap checked against a declared buffer budget.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow planar dependency topology
POSThttps://detect.halowerk.com/v1/workflow/workflow-planar-dependency-topology
An agent that checks an abstract dependency topology before choosing a schematic representation needs its claimed graph planarity measured without rendering a layout.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow precedence realizer dimension
POSThttps://detect.halowerk.com/v1/workflow/workflow-precedence-realizer-dimension
An agent that represents a precedence contract by independent total-order keys needs its claimed minimum number of linear orders checked so their intersection equals the supplied partial order.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow preemptive deadline feasibility
POSThttps://detect.halowerk.com/v1/workflow/workflow-preemptive-deadline-feasibility
An agent that submits finite jobs with release windows needs a deadline-miss witness under ideal preemptive earliest-deadline execution without dispatching work.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow primal dual optimum certificate
POSThttps://detect.halowerk.com/v1/workflow/workflow-primal-dual-optimum-certificate
An agent that accepts a remote allocation optimizer result needs its supplied primal and dual certificate checked for feasibility and equal objective value before trusting an optimum claim.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow priority inheritance transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-priority-inheritance-transcript
An agent that audits a lock handover trace needs claimed effective worker priorities checked against transitive priority inheritance and priority-ordered mutex ownership transfer.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow quantified capability game
POSThttps://detect.halowerk.com/v1/workflow/workflow-quantified-capability-game
An agent that negotiates dependent capability choices needs its claimed contract feasibility checked with explicit universal provider choices and existential agent choices in the supplied observation order.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow raft append entries transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-raft-append-entries-transcript
An agent that replays a follower log needs whether supplied AppendEntries acceptance log lengths and commit-index claims follow term and previous-entry matching rules.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow ranked choice selection transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-ranked-choice-selection-transcript
An agent that aggregates autonomous worker preference ballots needs the claimed elimination sequence and selected candidate checked under a supplied deterministic instant-runoff tie order.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow reduced boolean decision contract
POSThttps://detect.halowerk.com/v1/workflow/workflow-reduced-boolean-decision-contract
An agent that publishes an autonomous feature-policy decision artifact needs its claimed reduced ordered decision-node count and satisfying-assignment count checked against the supplied Boolean expression.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow register linearizability
POSThttps://detect.halowerk.com/v1/workflow/workflow-register-linearizability
An agent that replays concurrent single-register calls needs whether one sequential ordering respects real-time precedence and all returned read values.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow regular trace edit distance
POSThttps://detect.halowerk.com/v1/workflow/workflow-regular-trace-edit-distance
An agent that repairs a finite event trace against a regular contract needs its claimed minimum insertion deletion and substitution cost checked over every accepted trace.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow rendezvous placement correspondence
POSThttps://detect.halowerk.com/v1/workflow/workflow-rendezvous-placement-correspondence
An agent that rebalances deterministic worker ownership needs supplied old and new assignments checked against exact rendezvous hash winners and the number of moved keys.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow replay order cardinality
POSThttps://detect.halowerk.com/v1/workflow/workflow-replay-order-cardinality
An agent that reconstructs a worker event log needs the exact number of full replay orders consistent with all supplied happens-before edges rather than one arbitrary topological ordering.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow resource constrained makespan
POSThttps://detect.halowerk.com/v1/workflow/workflow-resource-constrained-makespan
An agent that schedules a finite artifact build project needs its claimed minimum completion time checked when nonpreemptive tasks compete for renewable resource capacities and obey precedence.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow rga sequence reconstruction
POSThttps://detect.halowerk.com/v1/workflow/workflow-rga-sequence-reconstruction
An agent that merges anchored collaborative sequence operations needs whether its visible insertion identity order agrees with deterministic sibling ordering and retained tombstone anchors.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow rup refutation handover
POSThttps://detect.halowerk.com/v1/workflow/workflow-rup-refutation-handover
An agent that receives an optimizer unsatisfiability artifact needs its claimed RUP proof verification checked through reverse unit propagation additions and explicit clause deletions.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow savepoint rollback transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-savepoint-rollback-transcript
An agent that replays nested transactional edits needs whether supplied value assertions agree with rollback-to and release semantics including repeated savepoint names.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow semaphore deadlock trace
POSThttps://detect.halowerk.com/v1/workflow/workflow-semaphore-deadlock-trace
An agent that audits a normalized resource trace needs dynamic wait-for cycles and ownership violations measured without running tasks.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow shortest route betweenness
POSThttps://detect.halowerk.com/v1/workflow/workflow-shortest-route-betweenness
An agent that places autonomous workflow observation points needs claimed shortest-route intermediary shares checked over all ordered source and target pairs including equal-length alternatives.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow shortest synchronizing word
POSThttps://detect.halowerk.com/v1/workflow/workflow-shortest-synchronizing-word
An agent that resets a finite workflow from an unknown initial state needs the claimed shortest common reset length checked over every possible starting state.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow singleflight cancellation transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-singleflight-cancellation-transcript
An agent that coalesces concurrent paid artifact requests needs claimed execution launches aborts and delivered waiters checked through client cancellation and stale completion generations.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow smith lattice certificate
POSThttps://detect.halowerk.com/v1/workflow/workflow-smith-lattice-certificate
An agent that hands over an integer batch recipe needs its claimed solvability checked against a supplied Smith-normal-form certificate with unimodular row and column transforms.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow stochastic critical path cdf
POSThttps://detect.halowerk.com/v1/workflow/workflow-stochastic-critical-path-cdf
An agent that accepts an artifact pipeline deadline distribution needs its claimed completion probabilities checked while shared predecessor durations remain correlated across every downstream branch.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow strided artifact write overlap
POSThttps://detect.halowerk.com/v1/workflow/workflow-strided-artifact-write-overlap
An agent that parallelizes generated artifact patches needs conflicting strided byte-region pairs identified exactly without expanding millions of offsets into a flat interval list.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow terminal relay tree optimum
POSThttps://detect.halowerk.com/v1/workflow/workflow-terminal-relay-tree-optimum
An agent that connects selected artifact workers through optional relay workers needs its claimed minimum undirected Steiner connection cost checked without forcing every available relay into the plan.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow transition monoid counter freedom
POSThttps://detect.halowerk.com/v1/workflow/workflow-transition-monoid-counter-freedom
An agent that publishes a finite workflow transition table needs its claimed counter-free behavior checked for hidden cyclic permutations induced by arbitrary finite command words.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow transitive reduction claims
POSThttps://detect.halowerk.com/v1/workflow/workflow-transitive-reduction-claims
An agent that publishes a workflow dependency handover needs its claimed irredundant DAG edge set checked against all reachability implied by the original dependencies.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow two phase commit correspondence
POSThttps://detect.halowerk.com/v1/workflow/workflow-two-phase-commit-correspondence
An agent that audits an offline atomic-commit transcript needs participant votes coordinator decisions and applied outcomes checked for contradictory commit paths.
Technische Prüfungen & Formate0,003 USDC
workflow / workflow universal spending bound
POSThttps://detect.halowerk.com/v1/workflow/workflow-universal-spending-bound
API operation: workflow workflow universal spending bound. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow weighted backbone family count
POSThttps://detect.halowerk.com/v1/workflow/workflow-weighted-backbone-family-count
An agent that exports redundant integration backbones needs its claimed weighted count of all spanning trees checked instead of accepting only one cheapest backbone.
Technische Prüfungen & Formate0,003 USDC
xml schema / xsd11 structural particle attribution
POSThttps://detect.halowerk.com/v1/xml-schema/xsd11-structural-particle-attribution
API operation: xml schema xsd11 structural particle attribution. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.