Prüft den behaupteten frühesten normativen Freigabezeitpunkt und die zulässige R...

{ "body": { "artifact": { "arrivals_ms": [ 10, 90, 170 ], "claimed_reason": 4, "claimed_time_ms": 270, "claims": { "completion_eligible": true, "maximum_return_bytes": 3, "minimum_return_bytes": 3, "received_bytes_at_boundary": 3, "timer_expired": true, "timer_started": true }, "horizon_ms": 500, "initial_queue_bytes": 0, "nonblocking": false, "requested_bytes": 8, "signal_free_noncanonical": true, "vmin": 4, "vtime_ds": 1 } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "POSIX.1-2024 Issue8 BaseDefinitions11.1.7 CasesA–D: MIN/TIME interbyte timer, MIN-only wait, read timer and immediate poll. Own single-read timer/buffer algorithm, no termios/TTY/syscall/SDK use and no generic FSM preset.", "Formal EARLIEST normative eligibility and return-byte interval AT THAT INSTANT, not actual operating-system completion/scheduling. For MIN>0 completion permits MIN..min(requested,available), never invents a unique readbyte count where POSIX permits a range. Timerexpiry returns partial buffered bytes, readtimer expiry0.", "Signal-free noncanonical input already past byte translation, O_NONBLOCK false, no disconnect/EOF/error/concurrentreader. Initial queued bytecount0..4096;128strictly increasing single-byte arrival times strictly after read initiation0, complete through inclusive horizon. MIN0..255,TIME0..255deciseconds, request0..4096; nonzero request smallerthanMIN outside profile wholeunknown.", "CaseA timer starts only on firstavailablebyte, restarts on every laterbyte; initialbuffer acts as immediatelyreceived atreadstart. CaseB no timer. CaseC timer starts atreadinitiation and completes atfirstavailablebyte. CaseD immediate min(requested,queued), includingzero. Request0 returns immediately. Source/timer coincidence only whenconsumed is wholeunknown; future arrivals after completion do not cause a false ambiguity.", "Claimed completiontime/reason checked but never echoed. Reasons0pending,1immediate/request0,2minimum-or-firstbyte,3readtimerexpiry,4interbyteexpiry. Only bounded counts/bools, no timestamps/bytecontents/claimedliterals or exceptions. No actualterminal/device-state or quality/safety claim." ], "module": "posix-noncanonical-read-min-time-eligibility", "state": "not_observed", "value": { "claim_mismatches": 0, "claims_match": true, "completion_eligible": true, "completion_time_claim_matches": true, "maximum_return_bytes": 3, "minimum_return_bytes": 3, "reason_claim_matches": true, "received_bytes_at_boundary": 3, "timer_expired": true, "timer_started": true }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }