{"features":["core-executable"],"imports":[{"contentHash":"sha256:908bc6665c19d788078db551bca3439adf4dec945b14b5cd20d219602afa13e0","features":["core-executable"],"package":{"name":"ietf.bcp14","namespace":"urn:ietf:clir:bcp14","semanticHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","version":"0.1.0"}}],"metadata":{"localSources":{"urn:ietf:clir:http-semantics#RFC9110_EN_TEXT":"sources/rfc9110/en.txt"}},"nodes":[{"contentHash":"sha256:f365aa9c9f7bc8e3543126563475692d2dcc30f90f36d78e268b8624292438d2","id":"urn:ietf:clir:http-semantics#ALLOW_IN_405","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the origin server MUST generate an Allow header field in a 405 response (Section 15.5.6)"}],"name":"ALLOW_IN_405","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-15_5_6-allow","kind":"entity_ref"}},{"contentHash":"sha256:284ff715bff4e80d68a3309da23c3d328c2f4bef0a95bab8efa1c1cc6bba7c1d","id":"urn:ietf:clir:http-semantics#AllowField","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Allow header field"}],"name":"AllowField","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#FieldName"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#AllowField","kind":"entity_ref"}},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#applied_before_header_section_complete"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Server","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:df4308df8fb759b7cc864186e6560fce34249ab93ecdfe9b973b2eb1a2be32f9","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#NO_APPLY_BEFORE_HEADER_SECTION","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#ApplyingBeforeHeaderSectionDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"applying a request before the entire header section is received deviates from the prohibition of Section 5.3"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_3_5"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#carries_content"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":204}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:7671c348330d10e76a0ebbd5d582aece67414399a574cdc3c335a0a35e3ecca2","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#ill_formed_message"},"id":"urn:ietf:clir:http-semantics#ContentIn204IsIllFormed","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a 204 response is terminated by the end of the header section; it cannot contain content"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Sender","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#duplicate_field_lines"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#field_forbids_comma_list"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:8b95399fe0a5603dde45cc059bf1a187b8933b61e0aa89d37132a1fb443d2255","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#NO_DUPLICATE_FIELD_LINES","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#DuplicateFieldLinesDeviate","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"generating multiple field lines with the same name deviates from the prohibition of Section 5.3, unless the field allows a comma-separated list"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"v2","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Sender","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#duplicate_field_lines"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#field_allows_comma_list"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:3198887bed12f11482735d1bc033f2098496619813a0579afec65d07f73e3cba","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#NO_DUPLICATE_FIELD_LINES","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#DuplicateLinesOfAListFieldConform","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"multiple field lines of a field whose definition allows a comma-separated list are within the exception of Section 5.3"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"v2","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}]},{"contentHash":"sha256:01198f723fe78f483cbf043c1a5041d6a66c0d968990a9e559b082cde84b83a7","id":"urn:ietf:clir:http-semantics#FieldName","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a header or trailer field name"}],"name":"FieldName","package":"urn:ietf:clir:http-semantics","typeKind":"entity"},{"contentHash":"sha256:58d92f10b08db87ad4734f0c9e822977fc564125e9c2553c19e638be4c0a7347","id":"urn:ietf:clir:http-semantics#HOST_FIRST_FIELD","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a user agent that sends Host SHOULD send it as the first field in the header section (Section 7.2)"}],"name":"HOST_FIRST_FIELD","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-7_2-host-first","kind":"entity_ref"}},{"contentHash":"sha256:25191adfa8860be7939ba290f36be66daae93c68990f7206282003477fda875a","id":"urn:ietf:clir:http-semantics#HOST_IN_REQUEST","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a user agent MUST generate a Host header field in a request unless it sends that information as an :authority pseudo-header field (Section 7.2)"}],"name":"HOST_IN_REQUEST","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-7_2-host","kind":"entity_ref"}},{"contentHash":"sha256:d002d88edbbb1d9d2f3e90116f3032b11c38685571e46c092ed1fc99c4527252","id":"urn:ietf:clir:http-semantics#HostField","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Host header field"}],"name":"HostField","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#FieldName"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#HostField","kind":"entity_ref"}},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#HostField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#has_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#host_not_sent_first"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:75681d408f1db7b121080d2d3951bc2887b7eaa0f683e70427afd3dd508d9391","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#HOST_FIRST_FIELD","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#HostNotSentFirstDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"sending Host other than as the first field deviates from the recommendation of Section 7.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#HostField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#has_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#host_sent_first"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:2150e89275dcfeaff5d0345193b1710f962632de782d46e3791ddacb17e0e08c","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#HOST_FIRST_FIELD","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#HostSentFirstConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"sending Host as the first field conforms to the recommendation of Section 7.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"contentHash":"sha256:fd0a304b8938f058440441226fdcecf1f4de7be7e08e314ebb430ee26e71aed5","id":"urn:ietf:clir:http-semantics#HttpMessage","kind":"type_decl","labels":[{"language":"en","status":"official","text":"an HTTP message (request or response)"}],"name":"HttpMessage","package":"urn:ietf:clir:http-semantics","typeKind":"entity"},{"contentHash":"sha256:0d4bba682f22807fe17b298b9b6356d5710c9fc334f419deecdd2aa6917e756c","id":"urn:ietf:clir:http-semantics#HttpRole","kind":"type_decl","labels":[{"language":"en","status":"official","text":"the role in which a participant is addressed by a requirement"}],"name":"HttpRole","package":"urn:ietf:clir:http-semantics","typeKind":"entity"},{"contentHash":"sha256:1301e67fbcbce2a4e137b9593796b6ad74c23c8412dca834ee21ff5ab2966780","id":"urn:ietf:clir:http-semantics#NO_APPLY_BEFORE_HEADER_SECTION","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a server MUST NOT apply a request to the target resource until it receives the entire request header section (Section 5.3)"}],"name":"NO_APPLY_BEFORE_HEADER_SECTION","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-5_3-apply-after-header-section","kind":"entity_ref"}},{"contentHash":"sha256:4190d5e228277381b41452f63ba8d580291a4e3e71506c87fa68ccc2aba5d8fc","id":"urn:ietf:clir:http-semantics#NO_CONTENT_IN_204","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a 204 response is terminated by the end of the header section; it cannot contain content or trailers (Section 15.3.5) — no BCP 14 key word"}],"name":"NO_CONTENT_IN_204","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-15_3_5-no-content","kind":"entity_ref"}},{"contentHash":"sha256:cc99b1678fb2c47c01965838250e544874a973933ad92b6c8cf94f0e5e741260","id":"urn:ietf:clir:http-semantics#NO_DUPLICATE_FIELD_LINES","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a sender MUST NOT generate multiple field lines with the same name in a message (Section 5.3)"}],"name":"NO_DUPLICATE_FIELD_LINES","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-5_3-duplicate-field-lines","kind":"entity_ref"}},{"contentHash":"sha256:f664249df1006286de8c62cee135122a02d8e4decbb3a4cd4401a13773db61ec","id":"urn:ietf:clir:http-semantics#NO_REORDER_BY_PROXY","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a proxy MUST NOT change the order of field line values when forwarding a message (Section 5.3)"}],"name":"NO_REORDER_BY_PROXY","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-5_3-field-order","kind":"entity_ref"}},{"contentHash":"sha256:17b285bfcc9231ce765ab98cd90386d277d3d06ff83ce7a7568b2699fd259e55","id":"urn:ietf:clir:http-semantics#OriginServer","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the origin server"}],"name":"OriginServer","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#HttpRole"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#OriginServer","kind":"entity_ref"}},{"contentHash":"sha256:fc6c065d0095954e083f01942507a42a7909a0f009a8e9e12fabd26ac2f485d1","id":"urn:ietf:clir:http-semantics#PRESENT_REPRESENTATION","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent SHOULD present the enclosed representation to the user (Section 15.5.2)"}],"name":"PRESENT_REPRESENTATION","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-15_5_2-present","kind":"entity_ref"}},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#presented_representation_to_user"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#already_attempted_authentication"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":401}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#same_challenge_as_prior"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:9a652e4997b4a2ea04f976a7288849e35964cf1e0c431b6eb9a91a4b821cc529","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#PRESENT_REPRESENTATION","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#PresentingRepresentationConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"presenting the enclosed representation conforms to the recommendation of Section 15.5.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#preserved_field_values_order"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Proxy","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:a7437feaded413ea24f909f5a446c19b754ca0309bcc730b8dcf5c91a89ccc21","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#NO_REORDER_BY_PROXY","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#PreservingOrderConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"preserving the order of field line values when forwarding conforms to Section 5.3"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"contentHash":"sha256:a28a2dd1be5b1738e83f06ce0da56e0c55a373c315d1c02b93c973ed4d932235","id":"urn:ietf:clir:http-semantics#Proxy","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a proxy"}],"name":"Proxy","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#HttpRole"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#Proxy","kind":"entity_ref"}},{"contentHash":"sha256:ac145e51956758f372554a63e97421c659b41677cc1b2187180db78fde292fcc","id":"urn:ietf:clir:http-semantics#REPEAT_WITH_AUTHORIZATION","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent MAY repeat the request with a new or replaced Authorization header field (Section 15.5.2)"}],"name":"REPEAT_WITH_AUTHORIZATION","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-15_5_2-repeat","kind":"entity_ref"}},{"authority":{"id":"urn:ietf:clir:http-semantics#IETF","kind":"const_ref"},"contentHash":"sha256:06b118d62c3505db084652ef506678e1e83fd4df06c9fdb519e0628195441a7c","id":"urn:ietf:clir:http-semantics#RFC9110","jurisdiction":{"id":"urn:ietf:clir:http-semantics#IETF","kind":"const_ref"},"kind":"source_work","labels":[{"language":"en","status":"official","text":"HTTP Semantics"}],"number":"RFC 9110, STD 97","package":"urn:ietf:clir:http-semantics","sourceKind":"urn:ietf:clir:http-semantics#standards_track"},{"contentHash":"sha256:9ec5c9336f0dba977e2fb92374a94b06234f1ad7412f916063a85d7c22dc3455","id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"RFC 9110, HTTP Semantics"}],"name":"RFC9110_DOCUMENT","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Document"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110","kind":"entity_ref"}},{"contentHash":"sha256:3e9e9827eb857f76d5fd07896288891ffecbae7d5853117aca4074a271d4fbea","id":"urn:ietf:clir:http-semantics#RFC9110_EN","kind":"source_edition","labels":[{"language":"en","status":"official","text":"RFC 9110 (R. Fielding, M. Nottingham, J. Reschke, eds.)"}],"language":"en","lifecycle":[{"extent":"2022-06-01","status":"adopted"},{"extent":{"axis":"legal_time","endInclusive":false,"start":"2022-06-01","startInclusive":true},"status":"in_force"}],"materializationStatus":"PINNED_OFFICIAL_BYTES","officiality":"official","package":"urn:ietf:clir:http-semantics","work":"urn:ietf:clir:http-semantics#RFC9110"},{"contentHash":"sha256:42065bc7a81771825dbd8d2480418cc2f8661ebde6d6363fa41ec992284b4919","documentHash":"sha256:21c1cdce6ab0e5509b04d84a28000836c7a087cf786efe6f04877ebfff47232a","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","id":"urn:ietf:clir:http-semantics#RFC9110_EN_TEXT","kind":"publication","mediaType":"text/plain; charset=utf-8","package":"urn:ietf:clir:http-semantics","retrievedAt":"2026-08-30T11:00:00Z","uri":"https://www.rfc-editor.org/rfc/rfc9110.txt"},{"contentHash":"sha256:185d45d2ebdb6e638c6eb9cc3255c8450b196a98082c465db31311715ec6c126","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","fragmentKind":"section","id":"urn:ietf:clir:http-semantics#RFC9110_S15_3_5","kind":"fragment","locator":"section/15_3_5","package":"urn:ietf:clir:http-semantics","texts":[{"contentHash":"sha256:9f124b4caec8b45509726f50a299daf803c48e655f613e386a055b8fedf09501","language":"en","status":"official","text":"15.3.5.  204 No Content\n\n   The 204 (No Content) status code indicates that the server has\n   successfully fulfilled the request and that there is no additional\n   content to send in the response content.  Metadata in the response\n   header fields refer to the target resource and its selected\n   representation after the requested action was applied.\n\n   For example, if a 204 status code is received in response to a PUT\n   request and the response contains an ETag field, then the PUT was\n   successful and the ETag field value contains the entity tag for the\n   new representation of that target resource.\n\n   The 204 response allows a server to indicate that the action has been\n   successfully applied to the target resource, while implying that the\n   user agent does not need to traverse away from its current \"document\n   view\" (if any).  The server assumes that the user agent will provide\n   some indication of the success to its user, in accord with its own\n   interface, and apply any new or updated metadata in the response to\n   its active representation.\n\n   For example, a 204 status code is commonly used with document editing\n   interfaces corresponding to a \"save\" action, such that the document\n   being saved remains available to the user for editing.  It is also\n   frequently used with interfaces that expect automated data transfers\n   to be prevalent, such as within distributed version control systems.\n\n   A 204 response is terminated by the end of the header section; it\n   cannot contain content or trailers.\n\n   A 204 response is heuristically cacheable; i.e., unless otherwise\n   indicated by the method definition or explicit cache controls (see\n   Section 4.2.2 of [CACHING])."}]},{"contentHash":"sha256:094e87103bbb6148ee58adcba232ead4bda17aa386a68cbf822111cc412ae1a2","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","fragmentKind":"section","id":"urn:ietf:clir:http-semantics#RFC9110_S15_5_2","kind":"fragment","locator":"section/15_5_2","package":"urn:ietf:clir:http-semantics","texts":[{"contentHash":"sha256:da228584065a9cecb2961943d019472000d2ce8045009b76215c42719c274d22","language":"en","status":"official","text":"15.5.2.  401 Unauthorized\n\n   The 401 (Unauthorized) status code indicates that the request has not\n   been applied because it lacks valid authentication credentials for\n   the target resource.  The server generating a 401 response MUST send\n   a WWW-Authenticate header field (Section 11.6.1) containing at least\n   one challenge applicable to the target resource.\n\n   If the request included authentication credentials, then the 401\n   response indicates that authorization has been refused for those\n   credentials.  The user agent MAY repeat the request with a new or\n   replaced Authorization header field (Section 11.6.2).  If the 401\n   response contains the same challenge as the prior response, and the\n   user agent has already attempted authentication at least once, then\n   the user agent SHOULD present the enclosed representation to the\n   user, since it usually contains relevant diagnostic information."}]},{"contentHash":"sha256:516a939805cc108341b5710ad0e1c87d2683f7312c4cbacd2ee99810098f8aa8","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","fragmentKind":"section","id":"urn:ietf:clir:http-semantics#RFC9110_S15_5_6","kind":"fragment","locator":"section/15_5_6","package":"urn:ietf:clir:http-semantics","texts":[{"contentHash":"sha256:b79c0e90e0e732c0f1aafe9416502f337a20b3be55a11603c8db17f957286ca5","language":"en","status":"official","text":"15.5.6.  405 Method Not Allowed\n\n   The 405 (Method Not Allowed) status code indicates that the method\n   received in the request-line is known by the origin server but not\n   supported by the target resource.  The origin server MUST generate an\n   Allow header field in a 405 response containing a list of the target\n   resource's currently supported methods.\n\n   A 405 response is heuristically cacheable; i.e., unless otherwise\n   indicated by the method definition or explicit cache controls (see\n   Section 4.2.2 of [CACHING])."}]},{"contentHash":"sha256:a6e80dfb58c4b0c016d8d2bc3f58773fff1815652aad7c89b2bd772e7913ae9b","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","fragmentKind":"section","id":"urn:ietf:clir:http-semantics#RFC9110_S2_2","kind":"fragment","locator":"section/2_2","package":"urn:ietf:clir:http-semantics","texts":[{"contentHash":"sha256:1eb4bfa6223f2f3fec6dbe7fc692f8f443fd17ccb4250014dc786b380070d91c","language":"en","status":"official","text":"2.2.  Requirements Notation\n\n   The key words \"MUST\", \"MUST NOT\", \"REQUIRED\", \"SHALL\", \"SHALL NOT\",\n   \"SHOULD\", \"SHOULD NOT\", \"RECOMMENDED\", \"NOT RECOMMENDED\", \"MAY\", and\n   \"OPTIONAL\" in this document are to be interpreted as described in\n   BCP 14 [RFC2119] [RFC8174] when, and only when, they appear in all\n   capitals, as shown here.\n\n   This specification targets conformance criteria according to the role\n   of a participant in HTTP communication.  Hence, requirements are\n   placed on senders, recipients, clients, servers, user agents,\n   intermediaries, origin servers, proxies, gateways, or caches,\n   depending on what behavior is being constrained by the requirement.\n   Additional requirements are placed on implementations, resource\n   owners, and protocol element registrations when they apply beyond the\n   scope of a single communication.\n\n   The verb \"generate\" is used instead of \"send\" where a requirement\n   applies only to implementations that create the protocol element,\n   rather than an implementation that forwards a received element\n   downstream.\n\n   An implementation is considered conformant if it complies with all of\n   the requirements associated with the roles it partakes in HTTP.\n\n   A sender MUST NOT generate protocol elements that do not match the\n   grammar defined by the corresponding ABNF rules.  Within a given\n   message, a sender MUST NOT generate protocol elements or syntax\n   alternatives that are only allowed to be generated by participants in\n   other roles (i.e., a role that the sender does not have for that\n   message).\n\n   Conformance to HTTP includes both conformance to the particular\n   messaging syntax of the protocol version in use and conformance to\n   the semantics of protocol elements sent.  For example, a client that\n   claims conformance to HTTP/1.1 but fails to recognize the features\n   required of HTTP/1.1 recipients will fail to interoperate with\n   servers that adjust their responses in accordance with those claims.\n   Features that reflect user choices, such as content negotiation and\n   user-selected extensions, can impact application behavior beyond the\n   protocol stream; sending protocol elements that inaccurately reflect\n   a user's choices will confuse the user and inhibit choice.\n\n   When an implementation fails semantic conformance, recipients of that\n   implementation's messages will eventually develop workarounds to\n   adjust their behavior accordingly.  A recipient MAY employ such\n   workarounds while remaining conformant to this protocol if the\n   workarounds are limited to the implementations at fault.  For\n   example, servers often scan portions of the User-Agent field value,\n   and user agents often scan the Server field value, to adjust their\n   own behavior with respect to known bugs or poorly chosen defaults."}]},{"contentHash":"sha256:591a30d443ae1ab1755f83d91a7195ba89fe5e9375feb913215940fd5bee93c9","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","fragmentKind":"section","id":"urn:ietf:clir:http-semantics#RFC9110_S5_3","kind":"fragment","locator":"section/5_3","package":"urn:ietf:clir:http-semantics","texts":[{"contentHash":"sha256:570576c9dc9354a0d1a79baf586a65a7bd6cd7df09d64f8834ceafe2acfc6d41","language":"en","status":"official","text":"5.3.  Field Order\n\n   A recipient MAY combine multiple field lines within a field section\n   that have the same field name into one field line, without changing\n   the semantics of the message, by appending each subsequent field line\n   value to the initial field line value in order, separated by a comma\n   (\",\") and optional whitespace (OWS, defined in Section 5.6.3).  For\n   consistency, use comma SP.\n\n   The order in which field lines with the same name are received is\n   therefore significant to the interpretation of the field value; a\n   proxy MUST NOT change the order of these field line values when\n   forwarding a message.\n\n   This means that, aside from the well-known exception noted below, a\n   sender MUST NOT generate multiple field lines with the same name in a\n   message (whether in the headers or trailers) or append a field line\n   when a field line of the same name already exists in the message,\n   unless that field's definition allows multiple field line values to\n   be recombined as a comma-separated list (i.e., at least one\n   alternative of the field's definition allows a comma-separated list,\n   such as an ABNF rule of #(values) defined in Section 5.6.1).\n\n      |  *Note:* In practice, the \"Set-Cookie\" header field ([COOKIE])\n      |  often appears in a response message across multiple field lines\n      |  and does not use the list syntax, violating the above\n      |  requirements on multiple field lines with the same field name.\n      |  Since it cannot be combined into a single field value,\n      |  recipients ought to handle \"Set-Cookie\" as a special case while\n      |  processing fields.  (See Appendix A.2.3 of [Kri2001] for\n      |  details.)\n\n   The order in which field lines with differing field names are\n   received in a section is not significant.  However, it is good\n   practice to send header fields that contain additional control data\n   first, such as Host on requests and Date on responses, so that\n   implementations can decide when not to handle a message as early as\n   possible.\n\n   A server MUST NOT apply a request to the target resource until it\n   receives the entire request header section, since later header field\n   lines might include conditionals, authentication credentials, or\n   deliberately misleading duplicate header fields that could impact\n   request processing."}]},{"contentHash":"sha256:f44df69466407360af5e8041ce8c2c541e774f0b3a76227512307ef381158b52","edition":"urn:ietf:clir:http-semantics#RFC9110_EN","fragmentKind":"section","id":"urn:ietf:clir:http-semantics#RFC9110_S7_2","kind":"fragment","locator":"section/7_2","package":"urn:ietf:clir:http-semantics","texts":[{"contentHash":"sha256:f78158199ba4fb48218d29719ed2cb566056545746f6279dc9bd36a359bccd39","language":"en","status":"official","text":"7.2.  Host and :authority\n\n   The \"Host\" header field in a request provides the host and port\n   information from the target URI, enabling the origin server to\n   distinguish among resources while servicing requests for multiple\n   host names.\n\n   In HTTP/2 [HTTP/2] and HTTP/3 [HTTP/3], the Host header field is, in\n   some cases, supplanted by the \":authority\" pseudo-header field of a\n   request's control data.\n\n     Host = uri-host [ \":\" port ] ; Section 4\n\n   The target URI's authority information is critical for handling a\n   request.  A user agent MUST generate a Host header field in a request\n   unless it sends that information as an \":authority\" pseudo-header\n   field.  A user agent that sends Host SHOULD send it as the first\n   field in the header section of a request.\n\n   For example, a GET request to the origin server for\n   <http://www.example.org/pub/WWW/> would begin with:\n\n   GET /pub/WWW/ HTTP/1.1\n   Host: www.example.org\n\n   Since the host and port information acts as an application-level\n   routing mechanism, it is a frequent target for malware seeking to\n   poison a shared cache or redirect a request to an unintended server.\n   An interception proxy is particularly vulnerable if it relies on the\n   host and port information for redirecting requests to internal\n   servers, or for use as a cache key in a shared cache, without first\n   verifying that the intercepted connection is targeting a valid IP\n   address for that host."}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#reordered_field_values"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Proxy","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:4b4a7b08f2243887db729e04b7e87d4942d2494ea6c9957f2cda9bdce059be62","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#NO_REORDER_BY_PROXY","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#ReorderingByProxyDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"changing the order of field line values when forwarding deviates from the prohibition of Section 5.3"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#repeated_with_authorization"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:396dfbf10cfeea44097727871fad124e99db2a9ab9196b03b0a2316a56ded7bd","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#REPEAT_WITH_AUTHORIZATION","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#includes_option"},"id":"urn:ietf:clir:http-semantics#RepeatingRequestExercisesTheOption","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"repeating the request with an Authorization field is the exercise of a truly optional item"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#sends_authority_pseudo_header"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#is_request"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:ac9b7198acfc971f98e907b9a49fe4bf5da1db4c3079d48a40d8da4b393e74d5","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#HOST_IN_REQUEST","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#RequestWithAuthorityPseudoHeaderConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a request that sends the host information as an :authority pseudo-header field is within the exception of Section 7.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#HostField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#has_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#is_request"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:60a0487327151ef350e708e7b7e47f8e8e51c673aeebfc206c1eedac6c61e6e9","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#HOST_IN_REQUEST","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#RequestWithHostConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a request that carries a Host field conforms to the requirement of Section 7.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#omits_authority_pseudo_header"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#HostField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#lacks_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#is_request"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:b17a965c16332a4bb3bec637355007ff39f0026d5de5cf7e44531e285c3eec14","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#HOST_IN_REQUEST","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#RequestWithoutHostDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a request with neither a Host field nor an :authority pseudo-header field deviates from the requirement of Section 7.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"contentHash":"sha256:9944e9becf2c3f2c400691ca33deb56028d9bc5194fd6e452fcc8b8bca5e59f9","id":"urn:ietf:clir:http-semantics#Sender","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a sender"}],"name":"Sender","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#HttpRole"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#Sender","kind":"entity_ref"}},{"contentHash":"sha256:e707f0d5be8edfc47f20190bc3f31246bd9b39300da995e073f0a925e45574d5","id":"urn:ietf:clir:http-semantics#Server","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a server"}],"name":"Server","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#HttpRole"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#Server","kind":"entity_ref"}},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":401}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#WwwAuthenticateField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#has_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Server","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:90091eef7882f62adf06ab2cc5de8e624e7d10721a93dec083761e96f8582620","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#WWW_AUTHENTICATE_IN_401","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#Status401WithChallengeConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a 401 response that carries a WWW-Authenticate field conforms to the requirement of Section 15.5.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":401}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#WwwAuthenticateField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#lacks_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#Server","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:e4e23280d31d9fbcccd1e669addd6b7caba37a451767427a3f812a795af84bbc","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#WWW_AUTHENTICATE_IN_401","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#Status401WithoutChallengeDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a 401 response without a WWW-Authenticate field deviates from the requirement of Section 15.5.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_6"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":405}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#OriginServer","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#AllowField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#has_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:f7d9649300461ccaa10eb72bfab73432b2644eff3d89a20ad037fce49232d58c","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#ALLOW_IN_405","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_conforms"},"id":"urn:ietf:clir:http-semantics#Status405WithAllowConforms","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a 405 response that carries an Allow field conforms to the requirement of Section 15.5.6"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_6"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":405}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#OriginServer","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"id":"urn:ietf:clir:http-semantics#AllowField","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#lacks_field"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#generated_by"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:073acea9efce3648cc0af392ed62c207ee5302359de48c333562f64084c0f1d7","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#ALLOW_IN_405","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#Status405WithoutAllowDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a 405 response without an Allow field deviates from the requirement of Section 15.5.6"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_3_5"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":204}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#carries_trailers"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:7956d022c002aa3fdbe1a8f34a0555150affb8fb862caa09bc31364cbe19c4b4","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#ill_formed_message"},"id":"urn:ietf:clir:http-semantics#TrailersIn204AreIllFormed","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a 204 response is terminated by the end of the header section; it cannot contain trailers"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"contentHash":"sha256:8a156636d36bb332a7125939409331218a2bcf8ada888418f41eb006a11c1e87","id":"urn:ietf:clir:http-semantics#UserAgent","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent"}],"name":"UserAgent","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#HttpRole"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"entity_ref"}},{"contentHash":"sha256:1747400cfab3c6e16729e20794202922872901143fa91924fd83a4f76fd51136","id":"urn:ietf:clir:http-semantics#WWW_AUTHENTICATE_IN_401","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the server generating a 401 response MUST send a WWW-Authenticate header field (Section 15.5.2)"}],"name":"WWW_AUTHENTICATE_IN_401","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"ietf.bcp14#Requirement"},"symbolKind":"constant","value":{"id":"urn:ietf:rfc:9110#section-15_5_2-www-authenticate","kind":"entity_ref"}},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#already_attempted_authentication"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":401}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#status_code"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#UserAgent","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#acts_as"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#withheld_representation_from_user"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:http-semantics#same_challenge_as_prior"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:708d6f3f0ae35e3dc747f330448cd4e234a1be52197e3c926354199880243eaa","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:ietf:clir:http-semantics#PRESENT_REPRESENTATION","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#behaviour_deviates"},"id":"urn:ietf:clir:http-semantics#WithholdingRepresentationDeviates","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"withholding the enclosed representation deviates from the recommendation of Section 15.5.2"}],"package":"urn:ietf:clir:http-semantics","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"ietf.bcp14#Implementation"}},{"id":"v1","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}]},{"contentHash":"sha256:c7a82f0bd1c7013f21ed5e5e80f0d8ba7bb5e1e178e4345aa9b23a38ae856d64","id":"urn:ietf:clir:http-semantics#WwwAuthenticateField","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the WWW-Authenticate header field"}],"name":"WwwAuthenticateField","package":"urn:ietf:clir:http-semantics","parameters":[],"returnType":{"name":"urn:ietf:clir:http-semantics#FieldName"},"symbolKind":"constant","value":{"id":"urn:ietf:clir:http-semantics#WwwAuthenticateField","kind":"entity_ref"}},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S2_2"],"contentHash":"sha256:9eb17ae798f6363f87a1b2909c6bcd0230ec35647fb055dee3544cbcce7d8fae","id":"urn:ietf:clir:http-semantics#acts_as","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the participant acts in this role for the exchange"}],"name":"acts_as","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#acts_as/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#acts_as/arg/played","name":"played","type":{"name":"urn:ietf:clir:http-semantics#HttpRole"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:d8ad29d8b0f8d4f730765e75a5156276f287336970fc4b2c6bcb897047dd06d3","id":"urn:ietf:clir:http-semantics#already_attempted_authentication","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent has already attempted authentication at least once"}],"name":"already_attempted_authentication","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#already_attempted_authentication/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:103d168d88f3ac409f4f704722cc10a946feba1c70c88803d685642bfaf0b4cb","id":"urn:ietf:clir:http-semantics#applied_before_header_section_complete","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the server applied the request to the target resource before receiving the entire request header section"}],"name":"applied_before_header_section_complete","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#applied_before_header_section_complete/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#applied_before_header_section_complete/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_6"],"contentHash":"sha256:5ea93fa436903406e52db5d79a4336d0eb2c5b91eed96ca05883d0a7e23f65b7","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-1","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#ALLOW_IN_405","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#Must","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S2_2"],"contentHash":"sha256:f32cb9dd748df83c0622ce542a94535df79052fa44e27f89f7739e387f12f048","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-10","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#adopted_bcp14"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_6"],"contentHash":"sha256:d6402ad80b80f711c2fca3da7ef966031236f2dd7bf76cf02ba5d9c2ac03ab6a","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-11","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#ALLOW_IN_405","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"contentHash":"sha256:a18da9baac8105a800606624939eaa31743e2ab7d00c202c821386cbd592456f","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-12","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#WWW_AUTHENTICATE_IN_401","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"contentHash":"sha256:eee94876723fb487b37fcaee5e9f20f763457a10c7f253febb14923add949919","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-13","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#REPEAT_WITH_AUTHORIZATION","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"contentHash":"sha256:741a66dbccf0bef1f8bd9cd4bb8fd4c004395a30dc0f97bc6ef7d642e369ca12","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-14","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#PRESENT_REPRESENTATION","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"contentHash":"sha256:452617f5f1e0bab4b7a6a66a92e2f9bee267a06aee1349b4b7ee283298455e4a","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-15","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_DUPLICATE_FIELD_LINES","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"contentHash":"sha256:73b064481200960da78d92e79c83f0c3aae28b0d0c8e7c38ae287bef43e362f3","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-16","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_REORDER_BY_PROXY","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"contentHash":"sha256:007a82beedc18d0c5193f634df1e6cb146e61e57a3b51c2e0506a1de5136314b","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-17","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_APPLY_BEFORE_HEADER_SECTION","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"contentHash":"sha256:cfaee71aadf06366a73aa54931bafc54769eece9e85ac66408fba78e0d945912","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-18","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#HOST_IN_REQUEST","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"contentHash":"sha256:c60a782fbc1fcac3e140d48fedfc382a4bc434b5d25df4867acdb8f7f487f901","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-19","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#HOST_FIRST_FIELD","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"contentHash":"sha256:38161a730eb592cd9af09c305eca1b11d66a23dcec60ed2db1fa8cb003690d69","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-2","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#WWW_AUTHENTICATE_IN_401","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#Must","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_3_5"],"contentHash":"sha256:fe89a3363f5ff8464586a5f222f3a85b026d58c3b5d2b045f6a6ec71a9e65918","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-20","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_CONTENT_IN_204","kind":"const_ref"},{"id":"urn:ietf:clir:http-semantics#RFC9110_DOCUMENT","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#stated_in"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"contentHash":"sha256:6c29497cd522a3feeedf576a05dea9201c475b82c10d47946ca5f2e9da74fc00","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-3","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#REPEAT_WITH_AUTHORIZATION","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#May","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S15_5_2"],"contentHash":"sha256:336c34a443c0f725f9ec25367ffa31d5d12c9c8b14f0df26f281ecbd68e8ca2b","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-4","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#PRESENT_REPRESENTATION","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#Should","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"contentHash":"sha256:45f22271ee6d7aae434ecb1f95cd52f4f7d547e8c6be5672f778a869d6ed3bdf","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-5","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_DUPLICATE_FIELD_LINES","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#MustNot","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"contentHash":"sha256:6bc8f8994578c5a43ad2351e3c5a9190b91e7762066a5bf5e96a23799eab8172","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-6","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_REORDER_BY_PROXY","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#MustNot","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S5_3"],"contentHash":"sha256:9e78f0d60787739e534ea9e548b4ec0f99e1abcc5005095d95951723859ca9df","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-7","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#NO_APPLY_BEFORE_HEADER_SECTION","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#MustNot","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"contentHash":"sha256:b94cd4783771752a4a7ee84f1b3f7b3afed21859909e2fbe6c21bc482efbb61a","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-8","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#HOST_IN_REQUEST","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#Must","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"anchors":["urn:ietf:clir:http-semantics#RFC9110_S7_2"],"contentHash":"sha256:a8332cb1f34bdf3ed97828a679529c35fd39d468ce5dc246b28917088dfa27e0","evidence":[],"id":"urn:ietf:clir:http-semantics#assert-9","kind":"assertion","literal":{"args":[{"id":"urn:ietf:clir:http-semantics#HOST_FIRST_FIELD","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#Should","kind":"const_ref"},{"id":"urn:ietf:clir:bcp14#AllCapitals","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:ietf:clir:bcp14#keyword_written"},"origin":"source_asserted","package":"urn:ietf:clir:http-semantics"},{"contentHash":"sha256:778119778c79ea3d8c9639d6a6937ad2a01a155d7585deb055c9858f5cf2f513","id":"urn:ietf:clir:http-semantics#carries_content","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message carries content"}],"name":"carries_content","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#carries_content/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:a966ce1dcfcb59cbda0c1df5fcd2c6efe8c4f6aeb4e6031423c83c4714da3d00","id":"urn:ietf:clir:http-semantics#carries_trailers","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message carries a trailer section"}],"name":"carries_trailers","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#carries_trailers/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:9bb570842d0e859c0084b7cc9e31aca2d85d9cde2f78cf5824af40ad4f012117","id":"urn:ietf:clir:http-semantics#duplicate_field_lines","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message carries multiple field lines with this field name"}],"name":"duplicate_field_lines","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#duplicate_field_lines/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"urn:ietf:clir:http-semantics#duplicate_field_lines/arg/f","name":"f","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:398e3b5e20f7b2d99c29f6861cbf022ab11647912e52a00916ab2fd281f5ab10","id":"urn:ietf:clir:http-semantics#field_allows_comma_list","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the field's definition allows multiple field line values to be recombined as a comma-separated list"}],"name":"field_allows_comma_list","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#field_allows_comma_list/arg/f","name":"f","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:f336d485261d7b0277baa2be85bbf532317e5bd229cf39c7d9bc15c5ebb06ef9","id":"urn:ietf:clir:http-semantics#field_forbids_comma_list","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the field's definition does not allow its values to be recombined as a comma-separated list"}],"name":"field_forbids_comma_list","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#field_forbids_comma_list/arg/f","name":"f","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:c1bd39cdb91c480355ad1fdec1f37b3d0cd7f03b624fcbde26590856cf97f7dc","id":"urn:ietf:clir:http-semantics#generated_by","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message was generated by this participant"}],"name":"generated_by","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#generated_by/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"urn:ietf:clir:http-semantics#generated_by/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:aa4912cffc2e55633b21675b35bd44bc6eb8bc3b2102b70aea956fc51d1e0ea0","id":"urn:ietf:clir:http-semantics#has_field","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message carries this field"}],"name":"has_field","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#has_field/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"urn:ietf:clir:http-semantics#has_field/arg/f","name":"f","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:6213eb4adeb5c6c17345fcf8c824cd8964030732fc1a4c2d23effa4b216e12f5","id":"urn:ietf:clir:http-semantics#host_not_sent_first","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Host field is present but is not the first field in the header section"}],"name":"host_not_sent_first","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#host_not_sent_first/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:4a719f8f1d75b1297eec85a73e93d7a2d7bd984938474110e84dafb91e25e2d9","id":"urn:ietf:clir:http-semantics#host_sent_first","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Host field is the first field in the header section of the request"}],"name":"host_sent_first","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#host_sent_first/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:397c8110d59ec07a2a612557f3bd7cf447569a9c87fa5912f056a5e3f5ce7c2e","id":"urn:ietf:clir:http-semantics#ill_formed_message","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message is not a well-formed message of the protocol"}],"name":"ill_formed_message","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#ill_formed_message/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:5da285411c865d1b9a5bd4a84a59a8f89f94953a09ba504f66b67a336a7c46f0","id":"urn:ietf:clir:http-semantics#is_request","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message is a request"}],"name":"is_request","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#is_request/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:8b2ef0848e0b363fd3c6bdaf6ec14b628814753c8e31036ffd77dce58633614f","id":"urn:ietf:clir:http-semantics#lacks_field","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message does not carry this field"}],"name":"lacks_field","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#lacks_field/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"urn:ietf:clir:http-semantics#lacks_field/arg/f","name":"f","type":{"name":"urn:ietf:clir:http-semantics#FieldName"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:ca74330971fb9beb5f9b10e4b6d0dde0f28b5bc595bdef59fec670c213f383bd","id":"urn:ietf:clir:http-semantics#omits_authority_pseudo_header","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the request does not carry an :authority pseudo-header field"}],"name":"omits_authority_pseudo_header","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#omits_authority_pseudo_header/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:63ff6a51f129e8f54239d0c0fc23e9fc9a5d8ad3fa054d3ae62adce5b199499e","id":"urn:ietf:clir:http-semantics#presented_representation_to_user","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent presented the enclosed representation to the user"}],"name":"presented_representation_to_user","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#presented_representation_to_user/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#presented_representation_to_user/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:2d7166c4bd815e31bc13cb235b8bdf6f45c2c29baee42258c51df46fc626a86e","id":"urn:ietf:clir:http-semantics#preserved_field_values_order","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the proxy preserved the order of field line values when forwarding the message"}],"name":"preserved_field_values_order","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#preserved_field_values_order/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#preserved_field_values_order/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:4f6209ef1f612bee9fce941ba51c1bf5eb1db5ca978ba94662887b5b99f0d897","id":"urn:ietf:clir:http-semantics#reordered_field_values","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the proxy changed the order of field line values when forwarding the message"}],"name":"reordered_field_values","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#reordered_field_values/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#reordered_field_values/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:7e9f883da5b755052f1503145b7e5b379833111aa09ef1e9800be45c1408bfe0","id":"urn:ietf:clir:http-semantics#repeated_with_authorization","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent repeated the request with a new or replaced Authorization field"}],"name":"repeated_with_authorization","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#repeated_with_authorization/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#repeated_with_authorization/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:9164a2251e22dc0769d38b5b06395542cb232a873d237d06b3a57074984b7e3d","id":"urn:ietf:clir:http-semantics#same_challenge_as_prior","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the 401 response contains the same challenge as the prior response"}],"name":"same_challenge_as_prior","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#same_challenge_as_prior/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:29a163f829bdc9a0500096dbe2a00db1a4a6847107b1aa36668b5373eed4aaa7","id":"urn:ietf:clir:http-semantics#sends_authority_pseudo_header","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the request carries the host information as an :authority pseudo-header field"}],"name":"sends_authority_pseudo_header","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#sends_authority_pseudo_header/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:672cfbce0563d6d0bd050be1aaa568e483d925a57f04f1405e92c0e225c8775b","id":"urn:ietf:clir:http-semantics#status_code","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the response status code of the message"}],"name":"status_code","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#status_code/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}},{"id":"urn:ietf:clir:http-semantics#status_code/arg/code","name":"code","type":{"name":"urn:law:std#Integer"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:3aa338b92e218be7c96a04512a14d33b9cb7cf1155c961b9f15748a47d7b7620","id":"urn:ietf:clir:http-semantics#withheld_representation_from_user","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the user agent did not present the enclosed representation to the user"}],"name":"withheld_representation_from_user","package":"urn:ietf:clir:http-semantics","parameters":[{"id":"urn:ietf:clir:http-semantics#withheld_representation_from_user/arg/i","name":"i","type":{"name":"ietf.bcp14#Implementation"}},{"id":"urn:ietf:clir:http-semantics#withheld_representation_from_user/arg/m","name":"m","type":{"name":"urn:ietf:clir:http-semantics#HttpMessage"}}],"relationKind":"empirical","symbolKind":"relation"}],"package":{"name":"ietf.http_semantics","namespace":"urn:ietf:clir:http-semantics","semanticHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","version":"0.1.0"},"schemaVersion":"law.core.ir/0.2","semanticHash":"sha256:b1973691b2f9757ef14589d4c8c6aef0adde109b57f7a861917628a96bc2ec13","semanticVersion":"0.1.0","strata":[]}