HTTP · rule
route.header_duplicate
Two input fields read the same header.
Area 7, HTTP; not declinable; the next step is usually the agent's.
Header names are compared without case:
type Memo = Text { max_length: 200}type MemoId = Uuid {}type AddMemo = Input { text: Memo}type MemoView = Output { text: Memo}action add_memo(input: AddMemo) -> MemoView { return MemoView { text: input.text }}type TaggedMemo = Input { text: Memo first: Memo { header: "X-Request-Tag" optional: true } second: Memo { header: "x-request-tag" optional: true }}action add_tagged_memo(input: TaggedMemo) -> MemoView { return MemoView { text: input.text }}policy { actions: { add_tagged_memo: [Access.public] }}routes Memos { prefix: /memos POST / { authentication: RouteAuthentication.none input: TaggedMemo output: MemoView run: add_tagged_memo(input) }}
error: Header `x-request-tag` is read twice --> main.jadpo:28:17 |24 | header: "X-Request-Tag" | --------------- first read here28 | header: "x-request-tag" | ^^^^^^^^^^^^^^^ read again reason: Header names are compared without case, so two fields reading one header would always hold the same value. next: Remove one of the fields (agent) rule: route.header_duplicate help: https://jadpo.dev/docs/errors/route.header_duplicatecheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/route.header_duplicate.md.Built from Jadpo main at a707efb.