Prüft behauptete srTCM-Farbmarkierung und C/E-Tokenstände eines synthetischen Gr...

{ "body": { "artifact": { "claimed_colors": [ "green", "yellow", "green", "yellow", "red" ], "claimed_tc": [ 0, 0, 0, 0, 0 ], "claimed_te": [ 2, 0, 1, 0, 0 ], "claims": { "green_packets": 2, "packets": 5, "red_packets": 1, "yellow_packets": 2 }, "config": { "cbs": 2, "cir": 1, "ebs": 2, "mode": "blind" }, "packets": [ { "at": [ 0, 1 ], "bytes": 2, "precolor": "green", "refill_first": true }, { "at": [ 0, 1 ], "bytes": 2, "precolor": "green", "refill_first": true }, { "at": [ 7, 2 ], "bytes": 2, "precolor": "green", "refill_first": true }, { "at": [ 7, 2 ], "bytes": 1, "precolor": "green", "refill_first": true }, { "at": [ 7, 2 ], "bytes": 1, "precolor": "green", "refill_first": true } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "RFC2697 informational reference §2/§3 formal srTCM: full initial C/E buckets, ONE common CIR refill clock, refill C toCBS FIRST then E toEBS, overflow discarded. Whole packet spends C for green, otherwise E for yellow, otherwise red spends neither. Color-aware preyellow cannot useC; prered uses neither. Own bulk exact refill and perpacket mark/state correspondence, not independent dual-rate buckets or a generic timer SDK.", "Closed supplied byte-size/precolor transcript, integer positive CIR and nonnegativeCBS/EBS with onepositive, all<=2^32−1. No IP parsing, actualvalid-packet proof, DSCP mapping, PHB forwarding/drop policy, real traffic measurement, service quality/security judgment or probability model. Both blind/aware modes belong to this single rule/offer.", "Explicit clock premise: full buckets at t0; refill ticks at j/CIR for positive integersj. Rational arrival time exact. Refill/arrival ties are explicitly ordered by caller refill_first. Multiple same-time receipts preserve supplied order; an after-tick receipt followed by before-same-tick receipt is noncausal=>whole unknown. Clock phase/order is a supplied formal premise, no undocumented vendor tie behavior asserted.", "Max128packets, time numeratoruint32/denominator1..1000000, positive sizeuint32. Fractional-time carry preserved by global tick index even while saturated; no clock restart on packet or full bucket. BigInt products/floors avoid floating drift; amount arithmetic is independent of elapsed tick count.", "Only bounded packet-color counts and match booleans output. No sizes/rates/burst capacities/token balances/timestamps/precolors/claim strings or exceptions echoed, including legal phone-shaped numeric quantities. Discrete token/count claims exact with no fractional tolerance. No contact/identity/legal judgement." ], "module": "srtcm-shared-clock-priority-color-meter-claims", "state": "not_observed", "value": { "claim_mismatches": 0, "claims_match": true, "color_claim_matches": true, "committed_token_claim_matches": true, "excess_token_claim_matches": true, "green_packets": 2, "packets": 5, "red_packets": 1, "yellow_packets": 2 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }