Skip to content

Attacks batch1 primitives - #13

Merged
ccc909 merged 3 commits into
mainfrom
attacks-batch1-primitives
Jul 27, 2026
Merged

Attacks batch1 primitives#13
ccc909 merged 3 commits into
mainfrom
attacks-batch1-primitives

Conversation

@ccc909

@ccc909 ccc909 commented Jul 27, 2026

Copy link
Copy Markdown
Owner

No description provided.

ccc909 added 3 commits July 27, 2026 21:08
Forgeries hardcoded typ:JWT, so a verifier that gates on the header (requires typ:at+jwt, or rejects non-JWT typ) dropped every forgery. Decode the harvested token's header and carry typ/cty forward; when typ is non-standard, also emit a typ:JWT fallback. Confirmation is unchanged (token accepted at a sink), so no added false positives.
A URL-input render sink was handed an <iframe src=...> string it can't fetch; route by arg name so URL sinks get the raw OOB URL and markup sinks get the HTML fragment. Widen RENDER_PROBES with more file:// sub-resource engines (embed/object/svg-image/@import) that surface the same file-read / OOB oracle.
…testing

The INTERFACE/UNION authz-bypass vector was documented but the model had to discover the polymorphic types itself. Add coverage.polymorphic_types (reads _type_kinds/_possible_types, resume-safe) and list each interface/union with its concrete members in the prompt's targets block, so the model knows where to spread '... on <Member>'.
@ccc909
ccc909 merged commit 11ee647 into main Jul 27, 2026
6 checks passed
@ccc909
ccc909 deleted the attacks-batch1-primitives branch July 27, 2026 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant