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

1801–1860 von 1.910

Technische Prüfungen & Formate0,003 USDC
website declaration relations / importmap specifier scope resolution
POSThttps://detect.halowerk.com/v1/website-declaration-relations/importmap-specifier-scope-resolution
An agent that relocates a module subtree needs declared specifier mappings that block or override inherited longest-scope resolution before planning the move.
Technische Prüfungen & Formate0,003 USDC
website declaration relations / measured navigation dominator dependence
POSThttps://detect.halowerk.com/v1/website-declaration-relations/measured-navigation-dominator-dependence
An agent that changes a bounded measured navigation graph needs which intermediate documents lie on every existing homepage route to another measured document.
Technische Prüfungen & Formate0,003 USDC
website declaration relations / measured navigation link disjointness
POSThttps://detect.halowerk.com/v1/website-declaration-relations/measured-navigation-link-disjointness
An agent that repairs a bounded navigation graph needs the number of independent link routes from the homepage to each measured document before removing links during a relaunch.
Technische Prüfungen & Formate0,003 USDC
website declaration relations / ordered list ordinal reset
POSThttps://detect.halowerk.com/v1/website-declaration-relations/ordered-list-ordinal-reset
An agent that moves declared ordered-list markup needs its direct-child ordinal discontinuities and repeated ordinals after reversed defaults, start values and per-item resets.
Technische Prüfungen & Formate0,003 USDC
website declaration relations / sequential focus priority order
POSThttps://detect.halowerk.com/v1/website-declaration-relations/sequential-focus-priority-order
An agent that changes static HTML interaction markup needs relative priority inversions among declared focus candidates rather than only the count of positive tabindex attributes.
Technische Prüfungen & Formate0,003 USDC
website declaration relations / stylesheet screen width union
POSThttps://detect.halowerk.com/v1/website-declaration-relations/stylesheet-screen-width-union
An agent that prepares stylesheet delivery needs whether the union of explicitly declared screen-width media conditions covers every positive CSS-pixel width without rendering or choosing a viewport sample.
Technische Prüfungen & Formate0,003 USDC
website declaration relations / svg local use reference expansion
POSThttps://detect.halowerk.com/v1/website-declaration-relations/svg-local-use-reference-expansion
An agent that rewrites inline SVG needs unresolved and circular same-document use instancing dependencies and their blocked dependants before changing symbol structure.
Technische Prüfungen & Formate0,003 USDC
workflow / paid followup factual information increment
POSThttps://detect.halowerk.com/v1/workflow/paid-followup-factual-information-increment
API operation: workflow paid followup factual information increment. 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 acyclic stack type joins
POSThttps://detect.halowerk.com/v1/workflow/workflow-acyclic-stack-type-joins
An agent that hands over workflow bytecode needs its claimed type safety checked across every acyclic control-flow branch, including stack joins and typed return contracts.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow adversarial success attractor
POSThttps://detect.halowerk.com/v1/workflow/workflow-adversarial-success-attractor
An agent that chooses fallback actions for autonomous work needs whether success can be forced from the initial state despite every explicitly modeled provider-controlled branch.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow approval pivotal power
POSThttps://detect.halowerk.com/v1/workflow/workflow-approval-pivotal-power
An agent that allocates approval responsibility among autonomous workers needs claimed pivotal-vote shares checked over every voter ordering rather than equating weight share with decision power.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow approved permutation membership
POSThttps://detect.halowerk.com/v1/workflow/workflow-approved-permutation-membership
An agent that restricts field-position reorders to compositions of approved generators needs its claimed membership of a proposed permutation checked without enumerating all possible reorders.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow bankers completion certificate
POSThttps://detect.halowerk.com/v1/workflow/workflow-bankers-completion-certificate
An agent that admits a finite resource claim set needs whether all supplied workers can complete in some order while honoring their remaining maximum claims.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow barrier generation trace
POSThttps://detect.halowerk.com/v1/workflow/workflow-barrier-generation-trace
An agent that audits a reusable barrier trace needs duplicate arrivals wrong generations and release steps before all participants arrive measured.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow biconnected block family
POSThttps://detect.halowerk.com/v1/workflow/workflow-biconnected-block-family
An agent that isolates failure boundaries in a supplied undirected integration graph needs its claimed full biconnected block family checked including bridges and isolated vertices.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow birkhoff crossbar schedule
POSThttps://detect.halowerk.com/v1/workflow/workflow-birkhoff-crossbar-schedule
An agent that reserves crossbar transfer phases for an artifact handover needs its claimed minimum-time preemptive schedule checked against every input-output demand and the row-column load lower bound.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow bisimulation
POSThttps://detect.halowerk.com/v1/workflow/workflow-bisimulation
An agent that replaces a finite labelled workflow needs whether the old and new initial states remain related under greatest branching-step matching with final-state observations.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow bracha local delivery transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-bracha-local-delivery-transcript
An agent that replays one reliable-broadcast receiver needs claimed READY and delivery decisions checked against distinct sender thresholds with equivocation kept distinct by value.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow cache coherence transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-cache-coherence-transcript
An agent that replays read and write decisions on replicated caches needs whether claimed hits and invalidations match a finite invalidate based MESI model across all replicas.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow causal snapshot cut
POSThttps://detect.halowerk.com/v1/workflow/workflow-causal-snapshot-cut
An agent that captures distributed worker state needs whether any receive included by its per-process prefix cut has its matching send excluded and how many messages cross the cut in flight.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow chordal dependency graph
POSThttps://detect.halowerk.com/v1/workflow/workflow-chordal-dependency-graph
An agent that factorizes a supplied undirected dependency graph needs its claimed chordality checked before relying on a perfect elimination order.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow circuit breaker admission transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-circuit-breaker-admission-transcript
An agent that controls autonomous provider calls needs claimed admissions checked against failure history cooldown half-open trial capacity and successful probe closure.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow compensation coverage
POSThttps://detect.halowerk.com/v1/workflow/workflow-compensation-coverage
An agent that audits an aborted saga trace needs successful effects lacking one matching compensation and compensation-order deviations measured.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow conflict serializability
POSThttps://detect.halowerk.com/v1/workflow/workflow-conflict-serializability
An agent that replays an interleaved read-write schedule needs whether transaction precedence conflicts prevent a serial ordering under standard conflict equivalence.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow confluent rewrite table
POSThttps://detect.halowerk.com/v1/workflow/workflow-confluent-rewrite-table
An agent that configures a finite rewrite workflow needs whether divergent paths from any supplied state can still reach a common descendant, including cycles.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow definite assignment
POSThttps://detect.halowerk.com/v1/workflow/workflow-definite-assignment
An agent that publishes a finite branching workflow needs variable reads that lack a definition on all reachable incoming paths identified by fixed-point-free DAG dataflow.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow difference constraint feasibility
POSThttps://detect.halowerk.com/v1/workflow/workflow-difference-constraint-feasibility
An agent that configures relative workflow timing needs whether all supplied clock inequalities can hold simultaneously rather than checking each pair in isolation.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow directed arborescence optimum
POSThttps://detect.halowerk.com/v1/workflow/workflow-directed-arborescence-optimum
An agent that wires a rooted artifact replication plan needs its claimed minimum directed arborescence cost checked while every worker receives one incoming handover and remains reachable from the root.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow dominant resource fair allocation
POSThttps://detect.halowerk.com/v1/workflow/workflow-dominant-resource-fair-allocation
An agent that divides a fixed multi-resource build pool needs its claimed weighted dominant-resource-fair continuous allocation checked across all capacity bottlenecks.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow epoch reclamation transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-epoch-reclamation-transcript
An agent that validates a workflow runtime handover needs its claimed retirement reclamation permissions checked against active epoch read sections and explicit epoch advances.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow erlang c wait claims
POSThttps://detect.halowerk.com/v1/workflow/workflow-erlang-c-wait-claims
An agent that models a pooled artifact worker queue needs its claimed stationary waiting probability and mean queue wait checked under the explicitly declared stable Poisson-arrival exponential-service model.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow eulerian replay cardinality
POSThttps://detect.halowerk.com/v1/workflow/workflow-eulerian-replay-cardinality
An agent that replays every labeled transition record exactly once needs its claimed number of valid start-to-end replay trails checked for the complete directed multigraph.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow event transducer functionality
POSThttps://detect.halowerk.com/v1/workflow/workflow-event-transducer-functionality
An agent that generates event-normalization adapters needs whether every accepted input event word has one output word despite nondeterministic internal branches.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow exact terminal reliability
POSThttps://detect.halowerk.com/v1/workflow/workflow-exact-terminal-reliability
An agent that accepts a replicated artifact delivery topology needs its claimed terminal connectivity probability checked over all independently available supplied links.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow exclusive join deadlock
POSThttps://detect.halowerk.com/v1/workflow/workflow-exclusive-join-deadlock
An agent that imports a workflow needs all-of joins requiring members from distinct arms of an explicit exclusive fork detected.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow fanout amplification
POSThttps://detect.halowerk.com/v1/workflow/workflow-fanout-amplification
An agent that caps workflow execution counts needs propagated invocation counts across multiplicative all-fire edges compared with per-node limits.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow fcfs queue
POSThttps://detect.halowerk.com/v1/workflow/workflow-fcfs-queue
An agent that models a bounded worker queue needs claimed job acceptance reconciled with a single-server first-come policy and an explicit waiting-buffer capacity.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow fencing token transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-fencing-token-transcript
An agent that audits a finite fenced-write contract needs stale owner or epoch acceptance claims separated from merely monotone progress numbers.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow fifo protocol composition
POSThttps://detect.halowerk.com/v1/workflow/workflow-fifo-protocol-composition
An agent that composes two asynchronous workflow peers needs reachable blocked states identified with ordered bounded channels rather than unordered token counts.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow finite horizon policy value
POSThttps://detect.halowerk.com/v1/workflow/workflow-finite-horizon-policy-value
An agent that chooses adaptive artifact processing actions needs its claimed optimal expected finite-horizon reward checked across every supplied probabilistic transition rather than evaluating one fixed policy.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow finite temporal contract
POSThttps://detect.halowerk.com/v1/workflow/workflow-finite-temporal-contract
An agent that accepts an autonomous worker trace needs whether its complete finite event record satisfies the supplied temporal contract including next until eventually and always.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow fixed point pid actuator transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-fixed-point-pid-actuator-transcript
An agent that replays an autonomous admission or actuator controller needs supplied integer command claims checked against explicit proportional integral derivative gains and conditional anti-windup.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow fixed priority response
POSThttps://detect.halowerk.com/v1/workflow/workflow-fixed-priority-response
An agent that orders workflow task priorities needs least fixed-point interference bounds compared with explicit deadlines rather than an EDF or dependency-path result.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow generic port type unification
POSThttps://detect.halowerk.com/v1/workflow/workflow-generic-port-type-unification
An agent that connects generic tool input and output ports needs whether all supplied type equations have a finite first-order solution before any tool executes.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow global link cut certificate
POSThttps://detect.halowerk.com/v1/workflow/workflow-global-link-cut-certificate
An agent that reviews an autonomous replication topology needs whether its claimed separating vertex partition reaches the smallest total explicit link weight over every nontrivial partition.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow happens before access pairs
POSThttps://detect.halowerk.com/v1/workflow/workflow-happens-before-access-pairs
An agent that parallelizes autonomous artifact transformations needs conflicting supplied read/write pairs counted when fork join and mutex synchronization do not order them.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow hedged call policy correspondence
POSThttps://detect.halowerk.com/v1/workflow/workflow-hedged-call-policy-correspondence
An agent that budgets speculative autonomous provider calls needs claimed launches completion times cancellation counts and result states checked against one explicit hedge delay and deadline.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow hmm viterbi path
POSThttps://detect.halowerk.com/v1/workflow/workflow-hmm-viterbi-path
An agent that decodes a finite observation sequence needs whether its claimed hidden-state path reaches the exact maximum product likelihood under supplied integer transition and emission weights.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow hybrid logical clock transcript
POSThttps://detect.halowerk.com/v1/workflow/workflow-hybrid-logical-clock-transcript
An agent that merges autonomous worker event clocks needs supplied hybrid timestamp claims checked through physical clock reversals ties and remote logical counter merges.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow interval race determinism
POSThttps://detect.halowerk.com/v1/workflow/workflow-interval-race-determinism
An agent that chooses a timeout race contract needs whether independently selectable integer completion intervals can produce different winning outcomes.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow join semilattice laws
POSThttps://detect.halowerk.com/v1/workflow/workflow-join-semilattice-laws
An agent that publishes a finite merge policy needs exhaustive associativity commutativity and idempotence counts over its explicit binary operation table.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow language inclusion
POSThttps://detect.halowerk.com/v1/workflow/workflow-language-inclusion
An agent that changes a deterministic event contract needs whether every accepted old trace is still accepted by the new contract and the shortest counterexample length.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow lasso fairness
POSThttps://detect.halowerk.com/v1/workflow/workflow-lasso-fairness
An agent that specifies an infinite repeating schedule needs continuously or recurrently enabled tasks that never execute in the supplied loop counted.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow lower bound circulation
POSThttps://detect.halowerk.com/v1/workflow/workflow-lower-bound-circulation
An agent that allocates steady workflow throughput needs whether all directed lower and upper edge bounds can be satisfied while conserving flow at each declared junction.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow markov target probability
POSThttps://detect.halowerk.com/v1/workflow/workflow-markov-target-probability
An agent that deploys a probabilistic workflow needs its exact target reach probability compared with an explicit threshold including reachable nonterminating closed components.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow matrix chain cost certificate
POSThttps://detect.halowerk.com/v1/workflow/workflow-matrix-chain-cost-certificate
An agent that plans a finite chain of matrix artifact transformations needs whether its claimed scalar multiplication count reaches the exact minimum over every legal parenthesization.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow maximal end component family
POSThttps://detect.halowerk.com/v1/workflow/workflow-maximal-end-component-family
An agent that models nondeterministic worker recovery needs the claimed complete family of maximal indefinitely sustainable recurrent regions checked against every supplied action support.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow maximum closed build profit
POSThttps://detect.halowerk.com/v1/workflow/workflow-maximum-closed-build-profit
An agent that selects optional artifact builds needs its claimed maximum net benefit checked while every chosen build brings all of its declared prerequisite builds into the selected set.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow maximum cycle mean delay
POSThttps://detect.halowerk.com/v1/workflow/workflow-maximum-cycle-mean-delay
An agent that sizes a repeating autonomous pipeline needs its claimed maximum average cycle delay checked across all supplied strongly or weakly connected components without treating the workflow as a one-shot DAG.
Technische Prüfungen & Formate0,002 USDC
workflow / workflow minimal ssa phi placement
POSThttps://detect.halowerk.com/v1/workflow/workflow-minimal-ssa-phi-placement
An agent that hands over a workflow compiler needs its claimed unpruned SSA phi placements checked against iterated dominance frontiers in the supplied control-flow graph.