HALOWERKHub · 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
661–720 von 1.910- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / exact rational segment arrangement dcel face hole topology
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/exact-rational-segment-arrangement-dcel-face-hole-topologyRecover the complete exact planar subdivision induced by supplied closed segments, including overlap splitting, twin/next incidence, disconnected components, bounded faces and inner boundary components; not segment clipping or intersection
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / glibc239 scanf input item consumption assignment transcript
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/glibc239-scanf-input-item-consumption-assignment-transcriptRecover scanf input-item consumption, assigned values, suppressed conversions and count/EOF/matching-failure outcomes for a complete bounded typed input-format artifact.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / go124 embedded promotion methodset interface satisfaction
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/go124-embedded-promotion-methodset-interface-satisfactionRecover embedded-field method promotion, ambiguity/shadowing, pointer/value method sets and interface satisfaction from complete declared Go types before compiling a generated API.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / iec60559 binary64 arithmetic directed rounding sticky exceptions
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/iec60559-binary64-arithmetic-directed-rounding-sticky-exceptionsRecover exact binary64 add/subtract/multiply/divide/FMA results and sticky exception flags through explicit rounding-mode changes; decimal conversion and totalOrder are different paid tasks.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / iscsi7143 command window r2t data sequence recovery ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/iscsi7143-command-window-r2t-data-sequence-recovery-ledgerRecover iSCSI command-window admission, R2T/data-sequence obligations and response/recovery effects from complete supplied session facts without storage or network access.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / jvms21 typed control flow stackmap uninitialized verification
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/jvms21-typed-control-flow-stackmap-uninitialized-verificationVerify typed JVM control-flow joins and uninitialized-object constructor obligations in a supplied bounded method, independently of descriptor layout or straight-line category-stack shuffles.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / openflow13 multitable instruction actionset group packet ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/openflow13-multitable-instruction-actionset-group-packet-ledgerRecover multitable OpenFlow instruction/action-set and group-bucket packet effects under complete supplied port/liveness/selection facts, without operating a switch.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / ospfv2 lsupdate flood ack retransmission list effect ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/ospfv2-lsupdate-flood-ack-retransmission-list-effect-ledgerRecover OSPF LSA receive/flood/explicit-or-delayed acknowledgement and retransmission-list changes for complete supplied router/interface/neighbor facts; recency alone and neighbor adjacency/DD exchanges are already paid and are not the buy
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / owl2 alc boolean role quantified concept satisfiability witness
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/owl2-alc-boolean-role-quantified-concept-satisfiability-witnessDecide satisfiability of a complete bounded ALC concept with Boolean and existential/universal role restrictions and supply a checked witness or contradiction, distinct from SHACL validation and positive RDFS closure.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / p416 parser header extract select reject value state
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/p416-parser-header-extract-select-reject-value-stateExecute a supplied bounded P4 parser artifact through packet extraction, lookahead/advance, header validity, select/value sets and accept/reject errors before installing a data-plane program.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / presburger existential integer projection congruence floor certificate
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/presburger-existential-integer-projection-congruence-floor-certificateEliminate one existential integer variable from a bounded affine/congruence DNF and recover an exact quantifier-free periodic/floor formula valid for every remaining integer parameter; not bounded ILP feasibility.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / ranked tree automata language inclusion counterexample certificate
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/ranked-tree-automata-language-inclusion-counterexample-certificateDecide language inclusion of two supplied nondeterministic ranked-tree automata over all finite trees and recover a checked counterexample or a complete finite closure certificate; not finite-word language acceptance.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / redis725 stream group pending claim consumer recovery
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/redis725-stream-group-pending-claim-consumer-recoveryRecover durable stream consumer-group pending ownership, acknowledgement and claim/recovery effects, including deleted stream entries, independently of replication PSYNC or AMQP settlement.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / sqlite345 recursive cte workqueue union priority limit
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/sqlite345-recursive-cte-workqueue-union-priority-limitRecover recursive SQL CTE queue extraction, duplicate suppression, priority ordering and LIMIT/OFFSET effects before exporting a bounded recursive query result.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 10 / sqlite345 trigger row program raise conflict effect ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/sqlite345-trigger-row-program-raise-conflict-effect-ledgerRecover nested row-trigger DML effects and RAISE IGNORE/FAIL/ABORT/ROLLBACK boundaries from a complete anonymous trigger program.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 11 / dijkstra scholten diffusing computation engagement deficit termination ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/dijkstra-scholten-diffusing-computation-engagement-deficit-termination-ledgerReplay the original EWD684 closed diffusing-computation count/cornet/stock protocol, atomic message reactions and passive acknowledgements, including engagement, all declared edge deficits and root termination.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 11 / lean4 predicative sort pi lambda let dependent kernel typing conversion
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/lean4-predicative-sort-pi-lambda-let-dependent-kernel-typing-conversionCheck complete dependent Pi/lambda/application/let terms and definitional conversion in an explicitly bounded Lean-style universe core.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 11 / libvorbis137 floor1 post prediction line rendering spectrum curve
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/libvorbis137-floor1-post-prediction-line-rendering-spectrum-curveRecover the complete Vorbis floor1 post prediction/unwrap, active posts and integer rendered inverse-dB spectrum curve from supplied decoded floor facts.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 11 / nondeterministic buchi infinite word language inclusion ramsey witness
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/nondeterministic-buchi-infinite-word-language-inclusion-ramsey-witnessDecide nondeterministic Buchi inclusion over all infinite words from complete finite transition-profile closure and return a checked ultimately periodic counterexample.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 11 / pushdown system regular configuration prestar saturation certificate
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/pushdown-system-regular-configuration-prestar-saturation-certificateCompute the complete regular predecessor configuration language of a bounded pushdown system, with saturation provenance rather than fixed-word parsing.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 11 / reduced ordered bdd rational conditioned model probability marginals
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/reduced-ordered-bdd-rational-conditioned-model-probability-marginalsBuild a canonical shared Boolean decision diagram and compute exact rational weighted model probabilities and conditional variable marginals without truth-table expansion.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 12 / dom2026 mutation observer transient registration record microtask delivery
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-12/dom2026-mutation-observer-transient-registration-record-microtask-deliveryRecover exact MutationObserver record queues, transient removed-subtree registrations and checkpoint deliveries under a supplied complete tree/mutation program.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DATASTRUCTURES 12 / html2026 custom element upgrade reaction stack lifecycle callback ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-12/html2026-custom-element-upgrade-reaction-stack-lifecycle-callback-ledgerRecover custom-element definition/upgrade and nested reaction-stack lifecycle callback ordering under a bounded declared synthetic callback-effect program.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / cyclonedx explicit dependency reachable completeness frontier
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/cyclonedx-explicit-dependency-reachable-completeness-frontierIdentify the incomplete component frontier within a root component dependency closure.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / cyclonedx vex explicit integer release status intersection
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/cyclonedx-vex-explicit-integer-release-status-intersectionResolve affected/unaffected/unknown status for supplied integer product releases and expose overlapping contradictions.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / docx multilevel numbering instance counter restart transcript
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/docx-multilevel-numbering-instance-counter-restart-transcriptReconstruct paragraph list labels across independent numbering instances and explicit level restart policies.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / docx section header footer link to previous effective parts
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/docx-section-header-footer-link-to-previous-effective-partsResolve effective first/even/default header and footer parts across section omissions.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / docx table gridspan vertical merge owner reconstruction
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/docx-table-gridspan-vertical-merge-owner-reconstructionReconstruct Word table cell footprints and validate equal-span vertical merge continuations.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / git sha1 tree binary entry order object id reconstruction
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/git-sha1-tree-binary-entry-order-object-id-reconstructionReconstruct a Git SHA1 tree object ID from decoded entries, exact modes and child object IDs.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / in toto complete ordered artifact rule queue evaluation
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/in-toto-complete-ordered-artifact-rule-queue-evaluationReplay in-toto material/product rules including creation, deletion, modification and cross-step digest matches.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / in toto statement multidigest subject content binding
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/in-toto-statement-multidigest-subject-content-bindingVerify every supplied subject digest against exact provided artifact bytes and list unclaimed artifacts.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / oci image recursive descriptor byte size digest closure
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/oci-image-recursive-descriptor-byte-size-digest-closureVerify recursive OCI index/manifest descriptors against exact supplied blobs and identify unreachable content.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / pdf acroform field name inherited value flags resolution
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/pdf-acroform-field-name-inherited-value-flags-resolutionResolve terminal AcroForm field names, types, values and inherited flags from a decoded PDF field hierarchy.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / pdf name tree byte key limits complete lookup
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/pdf-name-tree-byte-key-limits-complete-lookupVerify PDF name-tree ordering and Limits and resolve exact byte-string keys.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / spdx external document scoped relationship target resolution
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/spdx-external-document-scoped-relationship-target-resolutionResolve SPDX relationship endpoints through document-local aliases and checksum-bound external inventories.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / spdx license expression complete minimal choice normal form
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/spdx-license-expression-complete-minimal-choice-normal-formEnumerate the minimal atomic license combinations denoted by an SPDX expression.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / spdx package file sha1 verification code reconstruction
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/spdx-package-file-sha1-verification-code-reconstructionReconstruct an SPDX package verification code from its file SHA1 inventory and declared exclusions.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / spdx snippet inclusive byte range line and digest binding
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/spdx-snippet-inclusive-byte-range-line-and-digest-bindingBind an SPDX snippet byte range to exact supplied bytes, line coordinates and a SHA256 digest.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl commercial credit line original capacity ledger
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-commercial-credit-line-original-capacity-ledgerDetect cumulative commercial credit quantities or amounts that exceed the original invoice line.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl despatch handling unit nested item aggregation
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-despatch-handling-unit-nested-item-aggregationExpand nested delivery handling units into exact per-unit SKU quantities without shared-child double counting.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl explicit installment discount date settlement
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-explicit-installment-discount-date-settlementCalculate installment settlement amounts and overdue days from supplied contractual dates and discount rates.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl invoice explicit tax group monetary reconciliation
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-invoice-explicit-tax-group-monetary-reconciliationReconstruct invoice monetary totals and grouped tax amounts using supplied category rates.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl invoice price base quantity net line reconstruction
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-invoice-price-base-quantity-net-line-reconstructionReconstruct invoice line net amounts from decimal quantity, price base, line charges and allowances.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl order change contiguous line snapshot replay
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-order-change-contiguous-line-snapshot-replayReconstruct the final order and intermediate quantity totals from an explicitly sequenced change chain.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl order response line decision projection
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-order-response-line-decision-projectionResolve seller acceptance, rejection, change and unanswered status for every order line.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl receipt advice accepted rejected shortage partition
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-receipt-advice-accepted-rejected-shortage-partitionSeparate accepted, rejected, short and excess quantities across partial receipts.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl remittance payment open item conservation
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-remittance-payment-open-item-conservationReconcile many-to-many payment allocations with invoice open amounts and unallocated payment balances.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / ubl split despatch order line cumulative balance
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/ubl-split-despatch-order-line-cumulative-balanceReconcile split despatch lines against order-line quantities and units.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / xlsx 1900 1904 serial day fraction compatibility reconstruction
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/xlsx-1900-1904-serial-day-fraction-compatibility-reconstructionDecode spreadsheet serial day numbers including the explicit non-Gregorian serial60 compatibility date.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / xlsx cellis priority stop if true style resolution
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/xlsx-cellis-priority-stop-if-true-style-resolutionResolve competing cellIs formatting rules by priority, differential property and stopIfTrue.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / xlsx merged region overlap and top left owner map
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/xlsx-merged-region-overlap-and-top-left-owner-mapFind overlapping merged regions and map cells to their retained top-left owners.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 01 / xlsx shared formula master mixed a1 reference reconstruction
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-01/xlsx-shared-formula-master-mixed-a1-reference-reconstructionReconstruct shared cell formulas from masters while preserving absolute references and quoted strings.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / cargo single crate feature optional weak dependency closure
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/cargo-single-crate-feature-optional-weak-dependency-closureReconstruct enabled Cargo features and optional-dependency feature forwarding for one resolved crate.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / debian dpkg epoch upstream revision upgrade order
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/debian-dpkg-epoch-upstream-revision-upgrade-orderReconstruct dpkg upgrade ordering across complete Debian version labels.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / go unpruned minimal version selection full requirement graph
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/go-unpruned-minimal-version-selection-full-requirement-graphReconstruct a Go unpruned MVS build list from explicitly supplied module-version requirements.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / maven nearest first dependency scope exclusion mediation
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/maven-nearest-first-dependency-scope-exclusion-mediationResolve nearest Maven dependencies with declaration-order ties, transitive scope and branch-local exclusions.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / node commonjs bare package ancestor main index resolution
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/node-commonjs-bare-package-ancestor-main-index-resolutionReconstruct CommonJS bare package resolution against a supplied filesystem inventory.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / npm semver comparator set caret tilde prerelease membership
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/npm-semver-comparator-set-caret-tilde-prerelease-membershipEvaluate a bounded npm range against supplied SemVer releases and find the highest satisfying release.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / python pep440 canonical epoch prerelease local version order
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/python-pep440-canonical-epoch-prerelease-local-version-orderReconstruct Python distribution ordering across canonical epochs, release phases and local identifiers.
- Technische Prüfungen & Formate0,003 USDC
F TD2000 DOCUMENTS 02 / python pep508 environment marker typed expression evaluation
POSThttps://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-02/python-pep508-environment-marker-typed-expression-evaluationEvaluate decoded dependency markers against an explicitly supplied environment with PEP440 comparisons.