Prüft behauptete Trickle-Sende- und Unterdrückungsfolgen aus klassifizierten syn...

{ "body": { "artifact": { "claimed_interval_durations": [ 4, 8, 8, 8, 8 ], "claimed_suppressed": [], "claimed_transmissions": [ [ 2, 1 ], [ 8, 1 ], [ 16, 1 ], [ 24, 1 ] ], "claims": { "consistent_messages": 0, "final_counter": 0, "inconsistent_messages": 0, "intervals_started": 5, "observations": 0, "resets": 0, "suppressed_transmissions": 0, "transmission_points": 4, "transmissions": 4 }, "config": { "maximum_doublings": 1, "minimum_interval": 4, "redundancy": 1 }, "initial_interval": 4, "observations": [], "random_choices": [ [ 0, 1 ], [ 0, 1 ], [ 0, 1 ], [ 0, 1 ], [ 0, 1 ] ], "until": [ 30, 1 ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC6206 §4.1/4.2 rules1–6, one node: start at supplied interval within Imin..Imin*2^Imax; choose t=I/2+u*I/2 for supplied u in[0,1); consistent receipt increments c; at t transmit iff c<k; expiry doubles/caps I; inconsistency resets only if I>Imin, resetting c and selecting a new t. Own exact rational timer/receipt merge and cancellation, no timer SDK or generic FSM preset.", "Inputs are a complete ordered classified-receipt transcript through an inclusive finite horizon and supplied random variates, not actual packets, a consistency-classifier, randomness-distribution evidence or observed network behavior. No packet send, route/protocol-health, scalability/energy/security judgment. External reset events and k=infinity extension are outside this base positive-k model.", "A receipt coincident with the internally scheduled transmit or interval-expiry timestamp has no specified tie order here: whole finding unknown rather than invented precedence. Equal-time receipts preserve supplied order. No unmentioned receipt is inferred. Missing a random choice for any reached new interval is unknown. Inconsistency at Imin leaves counter and selected t unchanged.", "Initial interval may be any supplied integer within configured range; Imax means number of doublings, not a literal duration. Unitless common tick scale with exact nonnegative rational times. Max128receipts,2048reached intervals and2049random variates. Horizon includes timer events exactly on its endpoint, including starting next interval at expiry.", "Only bounded counts/booleans output; input times, random variates, intervals, claims and exceptions never echoed. Counter and sequence claims compare exactly, false fractional counts/interval durations are not tolerated. No contact values or underlying message contents output." ], "module": "trickle-consistency-redundancy-interval-claims", "state": "not_observed", "value": { "claim_mismatches": 0, "claims_match": true, "consistent_messages": 0, "final_counter": 0, "inconsistent_messages": 0, "interval_sequence_matches": true, "intervals_started": 5, "observations": 0, "resets": 0, "suppressed_transmissions": 0, "suppression_sequence_matches": true, "transmission_points": 4, "transmission_sequence_matches": true, "transmissions": 4 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }