PR010_one_inflight.json (1884B)
1 { 2 "fixture_format_version": 1, 3 "case_id": "PR010_one_inflight", 4 "requirements": [ 5 "HYF-RUN-001", 6 "HYF-RUN-002", 7 "HYF-RUN-007" 8 ], 9 "family": "protocol", 10 "boundary": "process", 11 "operation": "stdio.session", 12 "purpose": "Single-inflight contract remains explicit.", 13 "implementation_status": "planned", 14 "required_from_step": "S102", 15 "mandatory": true, 16 "context": { 17 "source_time": "2026-09-21T09:00:00-07:00", 18 "evaluated_at": "2026-09-21T10:00:00-07:00", 19 "timezone": "America/Vancouver", 20 "locale": "en-CA", 21 "tenant": "test-tenant-1", 22 "seed": 101, 23 "versions": { 24 "schema": "test-projection-1", 25 "taxonomy": "test-only-produce-1", 26 "normalization": "test-only-norm-1", 27 "review_policy": "test-only-review-1", 28 "ranking_policy": "test-only-ranking-1", 29 "question_bundle": "test-only-questions-1", 30 "model": "jev-1.13.0" 31 } 32 }, 33 "given": { 34 "session": [ 35 "send request A that waits on controlled provider", 36 "queue request B", 37 "release A provider", 38 "observe both results" 39 ] 40 }, 41 "provider_script": [], 42 "then": [ 43 { 44 "operator": "equals", 45 "path": "/execution/max_business_requests_inflight", 46 "value": 1 47 }, 48 { 49 "operator": "equals", 50 "path": "/wire/response_order", 51 "value": [ 52 "A", 53 "B" 54 ] 55 } 56 ], 57 "prohibited": [ 58 "No authoritative business mutation or reservation is performed by Hyf." 59 ], 60 "provenance": { 61 "kind": "synthetic", 62 "author": "hyf_v1_jev handoff", 63 "review_status": "implementation/domain review required; not a live-model label" 64 }, 65 "assumptions": [ 66 "This is a semantic test projection, not an already implemented public wire payload.", 67 "Test-only rules and scripted model outputs do not define production thresholds or certify model quality." 68 ] 69 }