Prüft behauptete Dämpfungshistorie und Wiederverwendungsentscheidungen eines ano...

{ "body": { "artifact": { "claimed_scores": [ [ 6, 4 ] ], "claimed_suppressed": [ false ], "claimed_usable": [ true ], "claims": { "advertisements": 1, "events": 1, "path_changes": 1, "reuse_checks": 0, "reuse_entries": 0, "suppression_entries": 0, "usable_observations": 1, "withdrawals": 1 }, "config": { "ceiling": [ 4, 1 ], "cut": [ 2, 1 ], "half_life_ng": 1, "half_life_ok": 1, "memory_ng": 10, "memory_ok": 10, "reuse": [ 1, 1 ] }, "events": [ { "at": 0, "type": "change" } ], "initial": { "history": { "score": [ 1, 2 ], "suppressed": false, "updated_at": 0 }, "reachable": true } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC2439 §§4.8.1–4.8.4/4.8.7 coupled per-route figure-of-merit history and suppression hysteresis: withdrawal adds1 after reachable decay and caps; advertisement applies unreachable decay and strict cut/reuse comparisons; replacement is withdrawal followed by advertisement; explicit due reachable reuse checks apply reachable decay. Own exact rational arithmetic, no route/scheduler SDK.", "Closed single per-route single-policy model, no alternate-path policy or bestpath/AS/MED choice. Given initial history is a supplied premise; no router/session/operational stability, traffic safety or correct policy recommendation asserted. Peer loss, duplicated advertisement/withdrawal, nonreachable reuse, implicit timer events and adaptive alternate policies are outside profile.", "Finite RFC decay-array model: elapsed integer ticks greater than configured memory zero the score; otherwise elapsed must be an integral number of the relevant configured half-lives, giving exact powers of two. Fractional half-life steps are unknown, never approximated. This profile does not claim a specific vendor rounding/array or automatic reuse scheduling. All explicit events are causal/nondecreasing, max128; at most4096 total exact half-life steps.", "Ceiling>=cut>reuse>0 and ceiling>=1. History-free advertisement remains history-free; first withdrawal creates score1. Suppression decision occurs at advertisement/reuse, not just whenever a penalty is recorded. Cut/reuse comparisons are strict exactly as RFC4.8.3; equality does not release. Score0 deletes history on advertisement/reuse.", "Only bounded counters and booleans returned. Raw time/threshold/score/claim values never echoed. Claimed score rational pairs compare exactly, unreduced equivalents accepted; false fractional discrete numeric claims never rounded or tolerated. No contact/route/peer identifiers accepted or returned." ], "module": "bgp-route-flap-damping-history-claims", "state": "not_observed", "value": { "advertisements": 1, "claim_mismatches": 0, "claims_match": true, "decision_sequence_matches": true, "events": 1, "final_history_present": true, "final_suppressed": false, "path_changes": 1, "reuse_checks": 0, "reuse_entries": 0, "score_sequence_matches": true, "suppression_entries": 0, "usable_observations": 1, "withdrawals": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }