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

241–300 von 1.910

Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS RELA / amd64 elf rela expression width application
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-RELA/amd64-elf-rela-expression-width-application
An AMD64 relocation-fixture agent needs exact little-endian patch bytes for an entire supplied ELF64 RELA record sequence and a complete byte-claim check, without running a linker.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS ROBUST / posix robust mutex owner death recovery
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-ROBUST/posix-robust-mutex-owner-death-recovery
An offline recovery fixture author needs whether owner death grants an inconsistent robust mutex, whether consistency repair rescues it, or an unrepaired unlock permanently prevents acquisition, including a second recovery owner dying.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS RUST VARIANCE / rust generic variance constraint fixedpoint
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-RUST-VARIANCE/rust-generic-variance-constraint-fixedpoint
An offline generic-type API fixture author needs which parameters must remain invariant after changing recursive field/function/reference definitions, rather than pairwise subtyping of already-instantiated closed values.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS SEMOP / sysv semaphore atomic operation undo ledger
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-SEMOP/sysv-semaphore-atomic-operation-undo-ledger
An offline IPC fixture author needs atomic vector success or rollback and the resulting semaphore/SEM_UNDO ledger through process exit and direct SETVAL/SETALL resets, without running processes.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS SQLITE / sqlite expression affinity comparison coercion
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-SQLITE/sqlite-expression-affinity-comparison-coercion
An offline SQLite expression-migration fixture author needs why a column comparison changes after unary plus or IN-list normalization, including exact64bit numeric comparison and COLLATE precedence, without querying a database.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS SUBREAPER / linux child subreaper orphan adoption
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-SUBREAPER/linux-child-subreaper-orphan-adoption
An offline supervisor fixture author needs which descendant becomes the new parent of an orphan after an intermediate process exits, including nested subreapers and the noninheritance of the flag across fork.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS WAIT / posix child status wait consumption
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-WAIT/posix-child-status-wait-consumption
An offline child-lifecycle fixture author needs which status a filtered nonblocking wait can retrieve repeatedly with WNOWAIT and when a consuming exit wait actually removes the zombie.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS WASM LABELS / wasm structured branch label stack typing
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-WASM-LABELS/wasm-structured-branch-label-stack-typing
An offline WebAssembly fixture author needs structured branch-label stack typing, especially loop inputs versus block results and unreachable polymorphism, before serializing a module or executing any code.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT OS X86 SEGMENT / x86 protected segment load access exception
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-OS-X86-SEGMENT/x86-protected-segment-load-access-exception
An offline protected-mode emulator fixture author needs exact segment-register load versus operand-access exception vectors/error selectors and logical-to-linear address witnesses for explicit anonymous descriptor cases.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL AMQP ROUTING / amqp091 exchange binding routing closure
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-AMQP-ROUTING/amqp091-exchange-binding-routing-closure
An offline RabbitMQ AMQP0-9-1 broker fixture author needs exact distinct queue delivery closure over complete exchange bindings, topic wildcard and normalized headers predicates, including cycles, default implicit routing and mandatory unro
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL BGP / bgpv4 base connection establishment fsm
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-BGP/bgpv4-base-connection-establishment-fsm
An offline BGP implementation fixture author needs complete six-state connection/action and retry-counter history across admitted RFC4271 FSM events, with delayed/passive establishment, fatal-update reset and zero-hold negotiation handled e
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL BIER / bier bitmask copy clear forwarding
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-BIER/bier-bitmask-copy-clear-forwarding
An offline BIER forwarding fixture author needs exact outgoing destination masks and packet-copy count after least-significant-bit BIFT grouping, local delivery and null-next-hop discards, without configuring a router.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL BLE CSA2 / bluetooth le csa2 data channel selection
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-BLE-CSA2/bluetooth-le-csa2-data-channel-selection
An offline BluetoothLE controller fixture author needs exact complete CSA2 event and isochronous-subevent channels with PRN/used-map witnesses under synthetic connection parameters, including sparse map remapping.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL DNS UPDATE / dns update prerequisite atomic rrsets
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-DNS-UPDATE/dns-update-prerequisite-atomic-rrsets
An offline DNS UPDATE fixture author needs prerequisite acceptance and the atomically resulting RRsets under grouped value equality, CNAME collisions and protected apex records, before server-specific serial publication policy.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL FTP / ftp rename restart command continuation
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-FTP/ftp-rename-restart-command-continuation
An offline FTP fixture author needs which successful service completions follow valid immediate rename/restart continuations and the exact anonymous file/stream spans of binary restart, with undefined misplaced REST behavior reported unknow
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL IGMP ROUTER / igmpv3 router report source timer state
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-IGMP-ROUTER/igmpv3-router-report-source-timer-state
An offline multicast-router fixture author needs source/group timers and INCLUDE/EXCLUDE state after Report, query and expiry events, including zero-source retention and group-expiry fallback; HOST socket filter aggregation cannot answer th
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL IKE IDS / ikev2 message id outstanding window ledger
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-IKE-IDS/ikev2-message-id-outstanding-window-ledger
An offline IKEv2 fixture author needs which logical exchange requests fit the peer request window, how out-of-order responses move its lower edge, and how independent directions/new-SA counters retain pending request identities without netw
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL IXFR / dns ixfr delta chain zone application
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-IXFR/dns-ixfr-delta-chain-zone-application
An offline zone-transfer fixture agent needs whether an anonymous IXFR SOA/delta chain can atomically update its local RRset, including serial wrap, full-transfer fallback and preserving the old zone after an inconsistent deletion or termin
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL NETCONF / netconf confirmed commit rollback lifecycle
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-NETCONF/netconf-confirmed-commit-rollback-lifecycle
An offline NETCONF test planner needs which anonymous running revision remains after confirmed-commit extensions, exact persist-token confirmation, owner-session loss, cancellation and expiry, without operating a device.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL NFS SHARE / nfsv4 open share access deny ledger
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-NFS-SHARE/nfsv4-open-share-access-deny-ledger
An offline NFSv4 client fixture author needs canonical remote OPEN/OPEN_DOWNGRADE/CLOSE plans from supplied local-handle lifetime and exact share-access/deny conflicts, INCLUDING same-owner reservations, without stateid/seqid or server acce
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL NNTP / nntp current article selector cursor
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-NNTP/nntp-current-article-selector-cursor
An offline NNTP fixture author needs how a sparse selected-group cursor changes under numeric retrieval and nearest-article navigation, while Message-ID retrieval of crossposted or ungrouped articles preserves the current group and number.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL OBSERVE / coap observe serial time freshness
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-OBSERVE/coap-observe-serial-time-freshness
An offline CoAP observer fixture author needs whether each reordered24bit notification replaces the current anonymous representation, including wraparound, exact half-range and the128-second escape anchored only to the last accepted update.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL OSPF / ospfv2 neighbor adjacency exchange state
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-OSPF/ospfv2-neighbor-adjacency-exchange-state
An offline OSPF implementation fixture author needs exact neighbor state/action history, adjacency decisions, DD restart sequences and summary/request/retransmission list effects across explicit RFC2328 neighbor events.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL POP3 / pop3 deletion marks update commit
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-POP3/pop3-deletion-marks-update-commit
An offline POP3 fixture author needs stable message numbering through pending deletions, rollback on RSET or abnormal disconnect, and the exact permitted committed-removal subset when QUIT enters UPDATE.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL PPP / ppp lcp option negotiation automaton
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-PPP/ppp-lcp-option-negotiation-automaton
An offline PPP test fixture author needs exact negotiation and restart-counter transitions, including rejected nonidentical ACK echoes, two-sided negotiation order, renegotiation and teardown actions.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL RIP / ripv2 route update expiry poison reverse
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-RIP/ripv2-route-update-expiry-poison-reverse
An offline distance-vector fixture author needs whether RIP updates refresh, worsen or replace a route and when expiry retains a poisoned entry versus garbage-collecting it, plus the exact split-horizon advertisement.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL SCTP MESSAGES / sctp fragmented stream message delivery
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-SCTP-MESSAGES/sctp-fragmented-stream-message-delivery
An offline SCTP DATA receiver fixture author needs when fragmented messages actually become deliverable across TSN/SSN wrap, per-stream head-of-line gaps and unordered bypass, with explicit held and delivered fragment relationships.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL SIP FORK / sip stateful proxy fork response aggregation
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-SIP-FORK/sip-stateful-proxy-fork-response-aggregation
An offline SIP stateful-proxy fixture author needs response-context final selection, delayed6xx versus winning2xx races, current-branch CANCEL directives and unchanged anonymous challenge aggregation, including late stateless forwarding.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL SMTP / smtp envelope transaction command sequencing
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-SMTP/smtp-envelope-transaction-command-sequencing
An offline SMTP client test agent needs whether a normalized command ledger respects envelope sequencing and whether a rejected end-of-DATA still resets the transaction before the next MAIL, without sending mail or exposing contacts.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL STP / linux stp bridge port vector role election
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-STP/linux-stp-bridge-port-vector-role-election
An offline bridge-vector fixture author needs which local port reaches the selected STP root and which ports become locally designated after that root/cost selection, including every root tie-break and rewritten advertised vector.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL TCP CLOSE / tcp fin halfclose connection state transcript
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-TCP-CLOSE/tcp-fin-halfclose-connection-state-transcript
An offline transport fixture agent needs whether active, passive and simultaneous TCP half-close reaches FIN-WAIT-2, CLOSING, LAST-ACK, TIME-WAIT or deleted state, using FIN sequence acknowledgement rather than byte reassembly.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL TFTP / tftp stopwait block ack termination
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-TFTP/tftp-stopwait-block-ack-termination
An offline datagram-transfer fixture author needs whether TFTP duplicated DATA/ACK deliveries can advance either endpoint, whether an exact512multiple requires a zero final block, and whether final-ACK loss leaves the sender pending after r
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL TLS KEYUPDATE / tls13 record keyupdate epoch obligations
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-TLS-KEYUPDATE/tls13-record-keyupdate-epoch-obligations
An offline TLS1.3 record-layer fixture author needs exact independent send/read key-generation and per-generation record-sequence witnesses plus coalesced mandatory KeyUpdate response obligations for an anonymous endpoint transcript.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL TURN / turn allocation permission channel lifetime
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-TURN/turn-allocation-permission-channel-lifetime
An offline relay-protocol fixture author needs which TURN data events remain eligible when permission, allocation and channel timers expire independently, including shared-IP different-endpoint permissions and channel rebinding wait rules.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL VRRP / vrrpv3 active down preemption transitions
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-VRRP/vrrpv3-active-down-preemption-transitions
An offline VRRPv3 fixture author needs exact local Backup/Active role and advertisement-action counts when skewed down timers, zero-priority withdrawals, preemption and peer tie ranks interact, including current Active assertion behavior.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL WILL / mqtt5 will delay session expiry resumption
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-WILL/mqtt5-will-delay-session-expiry-resumption
An offline MQTT session fixture author needs whether an old pending Will is published, delayed or suppressed when a client resumes versus clean-starts before session expiry, without involving message delivery QoS or contacting a broker.
Technische Prüfungen & Formate0,003 USDC
F A NIGHT PROTOCOL XMPP SUBSCRIPTION / xmpp presence roster subscription transitions
POSThttps://detect.halowerk.com/v1/F-A-NIGHT-PROTOCOL-XMPP-SUBSCRIPTION/xmpp-presence-roster-subscription-transitions
An offline XMPP roster-migration fixture author needs subscription/pending/preapproval state and precise required-versus-recommended routing actions after asymmetric subscription exchanges, without disclosing or contacting any actual user.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT ALLEN QUALITATIVE PATH REFINEMENT / allen interval algebra path consistency refinement
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-ALLEN_QUALITATIVE_PATH_REFINEMENT/allen-interval-algebra-path-consistency-refinement
API operation: F B NIGHT ALLEN QUALITATIVE PATH REFINEMENT allen interval algebra path consistency refinement. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT BGP DAMPING HISTORY / bgp route flap damping history claims
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-BGP_DAMPING_HISTORY/bgp-route-flap-damping-history-claims
API operation: F B NIGHT BGP DAMPING HISTORY bgp route flap damping history claims. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT BINARY BIMATRIX MAJORISATION / gale ryser binary bimatrix degree realizability
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-BINARY_BIMATRIX_MAJORISATION/gale-ryser-binary-bimatrix-degree-realizability
API operation: F B NIGHT BINARY BIMATRIX MAJORISATION gale ryser binary bimatrix degree realizability. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT DHCPV4 LEASE LIFECYCLE / dhcpv4 lease renew rebind lifecycle claims
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-DHCPV4_LEASE_LIFECYCLE/dhcpv4-lease-renew-rebind-lifecycle-claims
API operation: F B NIGHT DHCPV4 LEASE LIFECYCLE dhcpv4 lease renew rebind lifecycle claims. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT DNS NEGATIVE CACHE / dns negative cache soa key expiry claims
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-DNS_NEGATIVE_CACHE/dns-negative-cache-soa-key-expiry-claims
API operation: F B NIGHT DNS NEGATIVE CACHE dns negative cache soa key expiry claims. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT DNS WILDCARD / dns wildcard closest encloser synthesis claims
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-DNS_WILDCARD/dns-wildcard-closest-encloser-synthesis-claims
API operation: F B NIGHT DNS WILDCARD dns wildcard closest encloser synthesis claims. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT ESP ESN AUTHENTICATED REPLAY WINDOW / esp esn inference authenticated replay window
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-ESP_ESN_AUTHENTICATED_REPLAY_WINDOW/esp-esn-inference-authenticated-replay-window
API operation: F B NIGHT ESP ESN AUTHENTICATED REPLAY WINDOW esp esn inference authenticated replay window. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT ETHEREUM LONDON GASHEADER CONSISTENCY / ethereum london header gas basefee consistency
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-ETHEREUM_LONDON_GASHEADER_CONSISTENCY/ethereum-london-header-gas-basefee-consistency
API operation: F B NIGHT ETHEREUM LONDON GASHEADER CONSISTENCY ethereum london header gas basefee consistency. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / binary cellular automaton global injectivity surjectivity
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/binary-cellular-automaton-global-injectivity-surjectivity
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 d
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / conway short partizan game four way order
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/conway-short-partizan-game-four-way-order
A combinatorial-game test agent needs exact contextual comparison of arbitrary short partizan games, including fuzzy infinitesimals and unequal left/right legal moves that cannot be represented by impartial nimbers.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / drat cnf refutation certificate check
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/drat-cnf-refutation-certificate-check
A SAT-integration test agent needs whether a supplied proof actually certifies UNSAT andwhere it firstfails,including RAT steps notRUP anddeletions. GenericSATmodel/unsatisfiability endpoint cannotvalidate this suppliedsequence.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / edmonds two matroid common independent maximum
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/edmonds-two-matroid-common-independent-maximum
A finite-combinatorial-optimization agent needs a maximum common independent set of two arbitrary explicitly supplied matroids anditscardinality. Existing singlematroid independenceaxiom validation cannot solve this pairedoptimization.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / finite f2 algebra hochschild cohomology
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/finite-f2-algebra-hochschild-cohomology
An algebra-deformation test agent needs exact lowdegree Hochschild dimensions from supplied algebra multiplication,including noncommutativeunitalalgebras. Ordinarysimplicialhomology,cupclasses,Lie-derivedseries andoneF2matrixrank cannot con
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / finite field frobenius minimal trace norm
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/finite-field-frobenius-minimal-trace-norm
A finitefieldconformance agent needs coupledminimalpolynomial/orbitdegree/trace/norm forasuppliedelement,includingproper-subfieldelements withambienttrace differentfromminimal-polynomialtrace. Existingpolynomialirreducibility cannotproduce
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / finite graph ihara zeta complete inverse polynomial
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/finite-graph-ihara-zeta-complete-inverse-polynomial
A graph-spectral conformance agent needs the complete Ihara zeta denominator, which encodes nonbacktracking primitive closed walks of every length; a minimum binary cycle-space basis or spanning-tree count cannot determine this generating f
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / finite odd field constructive witt decomposition
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/finite-odd-field-constructive-witt-decomposition
A finite-classical-group test agent needs a genuineWittbasis andexactWittindex/radical/anisotropicdimensions ofthefullfinitefieldform. Notoneisotropicvectorprofile,real-eigenvalues oroneLegendrevalue.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / finite prime field complete polynomial factorization
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/finite-prime-field-complete-polynomial-factorization
A finite-field algebra conformance agent needs every irreducible factor and multiplicity of a full polynomial, including repeated factors invisible to a boolean irreducibility result.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / graph tutte bivariate polynomial
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/graph-tutte-bivariate-polynomial
A graph-invariant test agent needs all integer coefficients of the complete Tutte polynomial,not one scalar evaluation or a graphprofile of a general polynomial substitution endpoint.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / graphql collect fields complete runtime grouping
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/graphql-collect-fields-complete-runtime-grouping
A GraphQL execution conformance agent needs the exact ordered response-name field groups selected for a concrete runtime object after all conditional directives and fragment conditions. A static field-conflict or schema validator cannot con
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / ground euf congruence closure claims
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/ground-euf-congruence-closure-claims
An SMTfrontend conformance agent needs exact implied groundtermequalities anddisequalityconflicts underuninterpretedfunctions before handingoff a formula. No injectivity,occurscheck,arithmeticinterpretation oractualSMTsolverwrapper.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / karp miller petri omega coverability
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/karp-miller-petri-omega-coverability
A Petri-net conformance agent needs exact coverability of supplied targetmarkings withpotentiallyunbounded counters. A finiteworkflow BFS cannotcertify unboundedcover or distinguishcoverabilityfromexactreachability.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / max plus matrix complete critical eigencone
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/max-plus-matrix-complete-critical-eigencone
A max-plus event-system algebra test agent needs the complete tropical eigencone generators, including multiple critical classes and rational cycle mean; ordinary real eigenvalues/eigenvectors do not solve this semiring equation.
Technische Prüfungen & Formate0,003 USDC
F B NIGHT FINITE STRUCTURES / nilpotent rational jordan weyr classification
POSThttps://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/nilpotent-rational-jordan-weyr-classification
A linear-algebra conformance agent needs the full nilpotent Jordan blockmultiset,which distinguishesdefectivestructureshavingidenticalall-zeroeigenvalues. Notoneeigenvaluecount or SDKJordanwrapper.