llm-security-commons/conformance/manifest.json
Kjell Tore Guttormsen 8f08e9ac73 feat(carriers): three cases minted, and the id is named rather than adopted
Both runtimes answered the 2026-08-11 decision request, and they did not ask
for the same name. The guard ruled `sanitize:` names its `Finding.detector`
and offered all three labels for verbatim adoption. llm-security, asked
directly, answered that the name would make its conformance result read as a
claim about neutralisation it does not perform.

Two things decided it. The guard's own unprompted correction: prefix ==
detector holds for those six labels and is no general law in its runtime
(`egress:*` carries detector="output"; decode-and-rescan yields two-part
`decoded:lexicon:*`). A prefix whose meaning is recoverable only by reading
one implementation cannot carry a shared id space. And a measurement taken
here at be9759b: on the surface the guard's own ruling pinned, `sanitize()`
returns changed text on all three carriers, so the counterargument's decisive
case -- that `scan_output` mutates nothing -- does not reach this surface.

Not a mediation. Neither runtime claimed the shared id must equal its label,
and `override:ignore-previous` already carries two different alias strings.

- carriers.json 0.1.0 -> 0.2.0: carrier:zero-width / :bidi-override /
  :unicode-tag, aliased to the guard's labels. No aliases.llm_security --
  that runtime's carrier findings carry no id yet, and publishing the alias
  is the irreversible act that forces the table into its declared set.
- manifest 0.3.4 -> 0.4.0: entry_points_by_scope, carrying findings accessor
  and fixture presentation per scope per runtime. This was objection (c), and
  it blocked minting harder than the name did.
- Corpus 90 -> 93. Measured through sanitize(text, source=Source.INPUT) at
  guard v0.7.0; verified by a separate checker that re-derives everything from
  disk -- a generator agreeing with itself proves nothing.
- CLAUDE.md gains the two rules that are not derivable from the data: a shared
  id space cannot rest on a one-runtime prefix, and publishing an alias -- not
  minting the case -- is the irreversible act.

Not minted on purpose: no artifact-side id (the other runtime would only fail
them), and no ZWJ-exemption case (U+200D between two emoji is exempt on both
guard surfaces since v0.6.1; the fixture avoids it rather than trips it).

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01U3o4zSQ2kwLsgJNU7apK3Z
2026-08-13 21:17:44 +02:00

355 lines
41 KiB
JSON

{
"version": "0.4.0",
"id": "llm-security-commons/conformance",
"description": "Enumeration and measurement header for the conformance corpus. Every case directory holds input.txt (the exact bytes to scan) and expected.json (the findings a conforming runtime must produce). The normative reading of those files is spec/conformance-corpus.md; this file records where the cases came from and what was measured.",
"$comment": "Fixture files carry no individual version field. The corpus is versioned as a whole, here — a case is added, removed or corrected by bumping this version, and a case-id change is a MAJOR bump because consumers name cases.",
"case_id_derivation": {
"rule": "case_id = pattern_id with ':' replaced by '__', optionally followed by '--' and a variant slug",
"reverse": "pattern_id = case_id truncated at the first '--' if present, then '__' replaced by ':'",
"why": "':' is not a legal filename character on Windows, and this repository is fork-and-own. '__' does not occur in the ratified id space, so the transform is one-to-one — verified collision-free across all 90.",
"stability": "A case id is a stable identifier. Changing one is a BREAKING change.",
"variant_suffix": {
"added_in": "0.3.0",
"syntax": "'--' + a slug of [a-z0-9-]",
"purpose": "To hold a SECOND case for one pattern id when the two inputs answer different questions about the same rule. The first such case is hybrid-xss__script-tag--src-no-close: the original case's input matches the pattern under both its pre-0.7.0 and post-0.7.0 forms, so it cannot gate the difference between them, and the variant input can.",
"separator_is_unambiguous": "Measured, not assumed: '--' occurs in none of the 83 ratified pattern ids and in none of the 89 case ids that predate this version. Ids use single hyphens throughout. So the reverse transform stays purely LEXICAL — split at the first '--', no lookup against the id list required — which is the property the original one-to-one rule was protecting.",
"constraint": "A variant case MUST be scoped and matched exactly like the base case, and MUST expect the same pattern id. The suffix distinguishes INPUTS, never findings. It is not a licence to record a second, different verdict for one rule.",
"supersedes": "This replaces the `one_case_per_pattern_id` note carried through 0.2.0, which read: 'The derivation takes a pattern id and nothing else, so a single-finding scope holds at most one case per pattern id — there is nowhere in the name to put a second.' That was an accurate description of the rule and it cost a real case: see `omitted_payloads`, where the guard's seventh active-content payload was dropped for exactly this reason. The rule is now extended rather than worked around. NOTE that the omitted payload has NOT been added back — extending the derivation makes it expressible, but it was omitted on a second ground as well (its in-scope finding set is identical to the case built from coverage.py:476), and that ground still stands unexamined against the new rule. Adding it is a separate decision, not a consequence of this one."
}
},
"match_semantics": "exact-within-scope",
"scope_covered": [
"lexicon/injection-lexicon.json",
"signatures/active-content.json",
"codepoints/carriers.json"
],
"scope_covered_note": "The three entries do NOT have equal standing, and averaging them would misreport all three. `lexicon/injection-lexicon.json` is implemented by both seeding runtimes and its id space is ratified by both. `signatures/active-content.json` is implemented by one; its cases are `not-applicable` for the other under spec/conformance-corpus.md section 1.1, not failures. See that file's `pattern_id_space.single_runtime`. `codepoints/carriers.json` (added in 0.4.0) is a THIRD standing again, and the difference is worth stating rather than leaving to be inferred: BOTH runtimes implement its tables — llm-security builds its zero-width, tag-range and BIDI sets from this very file — but only one of them has published a label for the finding. So its three cases are measured against the guard and are `not-applicable` for llm-security TODAY, for a reason that will lapse: the alias slot in `carriers.json` is empty because that runtime's carrier findings carry no id yet, not because it does not implement the table. This is the only scope in the corpus where `not-applicable` records a missing NAME rather than a missing capability.",
"scope_planned": {
"$comment": "Named rather than faked. ONE convertible case remains in the guard's coverage matrix (1 secret-egress), blocked on a distinct unresolved question rather than on effort, recorded below rather than left as 'no agreement yet'. Through 0.3.4 this read 'Four convertible cases … (3 carrier, 1 secret-egress)'; the three carrier cases were minted in 0.4.0 and moved to `scope_covered`.",
"signatures/secret-egress.json": 1,
"blockers": {
"signatures/secret-egress.json": "Not an id-naming question at all. The two runtimes carry DIFFERENT TABLES, not two namings of one: this file holds 19 entries from llm-security, the guard's `_SECRET_PATTERNS` (output.py) holds 25 at different cut points — this file's single `GitHub Token` is four ids there, `Private Key PEM Block` is three, `Database connection string` is four. `aws-access-key-id` is the one clean one-to-one, which is why exactly one egress case was ever offered. A shared id space presupposes a table reconciliation that has not happened. Membership diverges both ways, and `Slack/Discord Webhook URL` (order 13) and `Azure AI Services Key` (order 4) are here and absent from the guard. CORRECTED IN 0.3.1: through 0.3.0 this text ended '(the guard has `gcp-service-account-json` and `openai-api-key-legacy`, which are absent here; ...)'. Two entries were named as one kind of fact, and they are two different kinds. Measured here on 2026-08-11 by running this file's own patterns, in `order`, over a service-account document, against the guard at commit `e671edb` — 18 patterns then, 19 since `secret-egress.json` 0.3.0. (1) `gcp-service-account-json` is NOT a coverage hole here. A complete service-account key file matches this table at order 11, `Private Key PEM Block`: that pattern's prefix group `(?:RSA |EC |DSA |OPENSSH )?` is optional, so the bare PKCS#8 header `-----BEGIN PRIVATE KEY-----` such a file carries is matched. What differs is the CUT POINT: the same document with its `private_key` field removed matches nothing here, while the guard's `\"type\"\\s*:\\s*\"service_account\"` still fires — the guard detects the document MARKER, this table detects the KEY MATERIAL. Both fire on a real key file; only the guard fires on a stripped one. That is exactly the cut-point divergence this blocker is about, and it is not a missing entry. (2) `openai-api-key-legacy` WAS a real hole here and is CLOSED IN 0.3.2. Through `secret-egress.json` 0.2.0 no pattern in this file matched a legacy `sk-…T3BlbkFJ…` key, measured the same way, and llm-security's 18 -> 19 report stood recorded as their unreproduced claim because the commit carrying it was not yet on their public remote. It is now: `refs/heads/main` reads `47905da`, `088e458` is an ancestor of it (checked with `git merge-base --is-ancestor`, not read off their log), and `secret-egress.json` 0.3.0 carries the entry re-extracted from the module text at that commit, with all 19 positions compared for name, source, flags and order. So the two tables now agree on this one shape. What has NOT changed is the reason this blocker exists: 19 against 25 at different cut points is still a table reconciliation nobody has performed, and one closed hole is not that reconciliation."
},
"blockers_resolved": {
"codepoints/carriers.json": {
"resolved_in": "0.4.0",
"resolved_date": "2026-08-13",
"outcome": "Three cases minted for the INPUT-side carriers only, under commons-owned ids `carrier:zero-width` / `carrier:bidi-override` / `carrier:unicode-tag`. The full reasoning lives at `codepoints/carriers.json` -> `pattern_id_space` and is deliberately not duplicated here: a decision recorded in two places drifts in one of them.",
"how_each_of_the_three_objections_closed": {
"a_sanitize_asserts_an_action": "Closed by NOT adopting the guard's labels as the shared ids. Both runtimes answered: the guard ruled the prefix names its `Finding.detector` and offered verbatim adoption; llm-security, asked directly, said the name would make its conformance result read as a claim about neutralisation it does not perform. Measured here 2026-08-13 at guard `be9759b`: on the very surface the guard's own ruling pinned, `sanitize()` returns changed text on all three carriers, so the counterargument's decisive case (`scan_output` mutates nothing) does not reach this surface. The guard's labels are now ALIASES to neutral commons ids, which is the shape the lexicon already had.",
"b_three_of_the_six_name_a_gate_llm_security_lacks": "Closed by minting only the input-side three — llm-security's own answer, taken as an operator decision in that repository on 2026-08-13. It rejected three standing failures on the ground that a permanently red gate is one a reader learns to ignore, and rejected a permanently guard-only id space on the ground that it would rather be in the id space than out of it. No artifact-side id is minted; see `carriers.json` -> `pattern_id_space.not_minted`.",
"c_no_per_scope_entry_point": "Closed by ADDING the shape rather than by working around it: `entry_points_by_scope` (new in 0.4.0) carries entry point, findings accessor and fixture presentation per scope per runtime. This was the objection neither runtime could answer, and both said so — the guard offering to let the manifest carry the accessor rather than grow an API wrapper for this corpus's benefit, llm-security warning that its carrier entry point cannot see a bare `input.txt`."
},
"correction_owed_and_paid": "The retired text below asserts a GENERAL rule — 'The guard's `Finding` carries a `detector` field alongside `label`, and the prefix is that field's value. THE PREFIX NAMES THE DETECTOR'. The guard corrected this unprompted on 2026-08-11, measured at its commit `0903785`: the rule holds for those six carrier labels and is NO law in that runtime. `egress:<id>`, from `scan_secret_egress`, carries `detector=\"output\"`; decode-and-rescan re-labels findings to `decoded:<original label>`, producing two-level ids such as `decoded:lexicon:…` and `decoded:egress:…` while `detector` stays the producing module. The claim is therefore SCOPED to the six carrier labels wherever this repository states it, and the general form is not written anywhere — checked across CONVENTIONS.md, README.md, spec/ and docs/ on 2026-08-13. Recorded here rather than by editing the retired text, because the text below is the record of what this repository believed while the question was open, and a silently corrected record cannot be audited.",
"retired_blocker_text": "No adoptable id space, and until 0.3.3 the shape of the problem was mis-recorded here. CORRECTED IN 0.3.3: through 0.3.2 this text opened 'The guard emits TWO stage-coupled labels for the same carrier depending on pipeline position — `sanitize:zero-width` (input) versus `output:zero-width-present` (output), and the same split for bidi and unicode-tag'. The split is NOT the same for unicode-tag, and it was not the same on the day that sentence was written: the artifact-side label for tags is `lexicon:unicode-tags-present`, emitted from `lexicon.py`, not an `output:`-prefixed one. Checked at guard commit `e671edb` — the commit this blocker's sibling was measured against — where `coverage.py` already asserted that label, and re-measured at `a59184b`. So the earlier text was wrong when written, not stale. `output.py` states the delegation in a comment: Unicode-tag / PUA stego 'is already surfaced by scan_lexicon (`lexicon:unicode-tags-present`), so it is not repeated'. The labels are therefore not stage-coupled at all. The guard's `Finding` carries a `detector` field alongside `label`, and the prefix is that field's value: `lexicon:unicode-tags-present` carries `detector=\"lexicon\"`, `output:zero-width-present` carries `detector=\"output\"`, `sanitize:*` is emitted by `sanitize.py`. THE PREFIX NAMES THE DETECTOR, not the pipeline stage — and for tags one detector serves both entry points, which is why there is no sixth `output:` label to find. Measured 2026-08-11 at `a59184b`. What remains open is smaller than 'invent a stage-neutral id', and none of it is a naming question. Six labels exist to adopt verbatim, the way the lexicon's 83 ids were adopted from this same runtime: `sanitize:zero-width` / `output:zero-width-present`, `sanitize:bidi-override` / `output:bidi-present`, `sanitize:unicode-tag` / `lexicon:unicode-tags-present`. Three objections stand against adopting them, all measured at llm-security `47905da`: (a) `sanitize:` asserts an ACTION — the carrier was stripped — and llm-security strips nothing. `scanners/unicode-scanner.mjs` exports a single entry point, `scan(targetPath, discovery)`, which reports presence with `scanner: 'UNI'` and a prose `title` and no id at all. Adopting verbatim would hand one runtime an id whose name asserts something it does not do. (b) Three of the six name a persist gate llm-security does not have. The corpus already has the verdict for that — `not-applicable`, spec section 1.1, which attaches to a declared TABLE — and it applies cleanly today, because that runtime's `DECLARED_TABLES` names the lexicon and nothing else (measured at 47905da). WHAT REMOVES IT IS COMMONS PUBLISHING THE ALIAS: their suite derives its registered set by walking each vendored file for any node carrying an `aliases.llm_security` key, then asserts every registered table appears in the declared set — the section 1.1 anti-narrowing floor. The granularity is the FILE, not the entry. So a single carrier id carrying that alias forces `codepoints/carriers.json` into their declared set, obliges them to run all six carrier cases, and converts the three artifact-side ones from not-applicable into failures. Section 1.1 forbids the per-case exit by name, calling it the silent skip section 1 forbids. The choice is therefore between minting only the input-side three, accepting three standing failures that describe an architectural difference rather than a defect, and publishing carrier ids with no llm_security alias at all — a guard-only id space, worth choosing out loud rather than arriving at by omission. (c) The entry point pinned for llm-security in `measurement.runtimes` (`scanForInjection`, the injection scanner) does not reach carriers at all; carrier findings there come from the path-based unicode scanner instead. A carrier case therefore needs a per-scope entry point per runtime, which this manifest expresses nowhere — it pins one entry point per runtime for the whole corpus. Note that both runtimes already consume this file's tables: llm-security builds its zero-width, tag-range and BIDI sets from `codepoints/carriers.json` via `scanners/lib/codepoints.mjs`. The divergence is in what the finding is CALLED and where it can be observed, never in which code points are carriers. STATUS: put to both runtimes as a decision request on 2026-08-11 over coord, carrying exactly the three objections above and asking each the question only it can answer - the guard whether `lexicon:` on the tag path is intentional and whether `sanitize:` names a detector or an action, llm-security whether it adopts commons ids for carriers at all and which of not-implemented-per-runtime or mint-only-the-input-side it wants. Unanswered as of this version. A correction followed the same day, on this repository's own error: the request asserted that the corpus had no third verdict for an unreachable case, when section 1.1's `not-applicable` is exactly that and the registration mechanism above is what would take it away. Nothing is minted until both have ruled, and a further reason not to pre-mint is that publishing a single alias is itself the irreversible act — it moves another runtime's declared set by force of its own test suite."
}
}
},
"omitted_payloads": [
{
"source": "llm-ingestion-pipeline-security src/llm_ingestion_guard/coverage.py:484, at commit de09711 (line numbers are commit-relative; the structure is the fifth `_scan_case` of `_build_cases()`'s `active` group)",
"described_as": "opaque (base64) path segment",
"expected_label": "active:markdown-image",
"reason": "Its in-scope finding set is `[active:markdown-image]` — identical, measured, to the case built from coverage.py:476. The only thing that distinguishes it is `entropy:base64-blob`, and this repository publishes no entropy table, so the difference falls outside every declared scope. A second case could not have failed in any way the first does not, and the case-id derivation had no room for it.",
"$comment": "Recorded so that 6 built from 7 offered reads as a decision rather than as a miscount.",
"derivation_ground_withdrawn_in_0_3_0": "The second half of `reason` — that the derivation has no room for a second case per pattern id — stopped being true in 0.3.0, when `case_id_derivation.variant_suffix` was added. It is left in the text above with this note rather than silently deleted, because the omission decision was taken on TWO grounds and only this one lapsed. The first ground stands: the payload's in-scope finding set is identical to the case already built, so it still could not fail in any way that case does not. The payload therefore remains omitted, on one ground instead of two. Re-examining it is a separate decision."
}
],
"authored_payloads": [
{
"case_id": "hybrid-xss__script-tag--src-no-close",
"added_in": "0.3.0",
"added_date": "2026-08-11",
"input": "<script src=x.js>",
"authored_by": "llm-security-commons",
"$comment": "The FIRST case input authored in this repository rather than reproduced from a runtime's payload set, and it is flagged rather than folded into payload_provenance because that block's value is the claim that its inputs are verbatim upstream. That claim stays exactly as strong as it was — 83 of 83 — and this case sits outside it.",
"why_authored": "No runtime had a payload for it. The input has to distinguish `<script\\b[^>]*>` from `<script\\b[^>]*>[\\s\\S]*?<\\/script>`, and the guard's _LEX_PAYLOADS carries one payload per pattern id chosen to MATCH the pattern, not to discriminate between two candidate forms of it. Both witnesses for this axis were named by llm-security in their coord message of 2026-08-10 (`<script src=x.js>` and unclosed `<script>alert(1)`); this is the first of the two, and they offered to supply them.",
"why_not_authored_earlier": "It was declined on 2026-08-11 in a coord reply, on the ground that a fixture encoding a DISAGREEMENT is worse than an absent one: at that point the input matched both implementations and failed against commons' own published lexicon, so its expectation would have contradicted the data file it is scoped to. Lexicon 0.7.0 removed that contradiction. The stated order was 'settle the row, then the case is trivial to add', and this is that step.",
"measurement": {
"date": "2026-08-11",
"guard_commit": "0dce50f",
"guard_version": "0.5.0",
"method": "Measured through the guard's public API — scan_lexicon() and scan_active_content() imported from llm_ingestion_guard — not read off the regex. The same harness was run against the existing hybrid-xss__script-tag case in the same execution, and it reproduced that case's committed bytes (24) and sha256 exactly, which is what licenses trusting its output for the new one. Digest independently recomputed with shasum -a 256 over the file on disk: agrees.",
"guard_in_scope_result": [
"hybrid-xss:script-tag"
],
"guard_out_of_scope_result": [
"active:raw-html"
],
"llm_security_not_measured": "The llm-security side was verified at the PATTERN level only: its regex source at b1ba1fb is byte-identical to the lexicon's 0.7.0 pattern, and that pattern was compiled and tested against this input. Their runtime was NOT run over this fixture from here — this repository does not execute consumer code, and their own harness will report the verdict. Stated so that `observed_out_of_scope` naming only the guard reads as a measurement boundary rather than an oversight."
}
}
],
"payload_provenance": {
"$scope": "The 83 lexicon cases derived from _LEX_PAYLOADS. NOT all 84 lexicon-scoped cases as of 0.3.0 — the variant case hybrid-xss__script-tag--src-no-close was authored in this repository and is covered by `authored_payloads`, not by this block. The 6 active-content cases have their own provenance in `active_content_provenance` below — they come from a different structure in the same file, at a different commit, and folding them in here would let one pin stand for two measurements.",
"source_repo": "llm-ingestion-pipeline-security",
"source_file": "src/llm_ingestion_guard/coverage.py",
"source_export": "_LEX_PAYLOADS",
"source_commit": "0bf07295c2191d5061537834abf22929f7d50826",
"source_version": "0.3.4",
"$comment": "The inputs were authored by one of the two runtimes, as one payload per pattern id, and are reproduced verbatim. That asymmetry is stated rather than averaged away: what makes them usable as a cross-runtime corpus is not their origin but the measurement below, which ran them through the other runtime as well and found the same lexicon verdict on every one.",
"id_set_check": "The 83 payload keys and the 83 commons pattern ids are the same set — compared, not assumed.",
"stability_note": "llm-ingestion-pipeline-security states (coord message 2026-08-10T12:42:31Z) that _LEX_PAYLOADS and the 83 pattern ids are an internal surface on their side, with no README/CHANGELOG/docs statement promising id or payload stability - their own test suite enforces id coverage as their gate, not as a promise to this repository. Their stated position: if a payload changes upstream, this manifest's pin diverges and should be re-pinned; divergence is a re-pin signal, not a breach of a contract they never granted."
},
"measurement": {
"$scope": "The 83 lexicon cases derived from _LEX_PAYLOADS, measured 2026-08-10. The variant case added in 0.3.0 is measured separately in `authored_payloads` — it did not exist on this date, and stretching this header to cover it would misdate its measurement. The 6 active-content cases are measured in `active_content_measurement`.",
"date": "2026-08-10",
"method": "Each payload was run through both runtimes' PUBLIC entry point — not through a rebuilt regex table — and the resulting finding labels were mapped to commons pattern ids through the lexicon's own aliases block. Comparing at the entry point is deliberate: a table-level comparison produces a number that describes neither runtime.",
"runtimes": [
{
"name": "llm_security",
"repo": "ssh://git@git.fromaitochitta.com/open/llm-security.git",
"commit": "b0de0ca6d86ce697f39669d177c2c2654c280128",
"entry_point": "scanForInjection(text) — scanners/lib/injection-patterns.mjs",
"engine": "Node v25.8.2",
"covers": "normalisation, homoglyph folding, the rot13 variant and all four pattern arrays",
"measurement_limit": "This entry point is the injection scanner. Whether this runtime raises findings from other commons tables on these inputs was NOT measured, so observed_out_of_scope carries no entry for it — absence of a key means unmeasured, not measured-empty."
},
{
"name": "llm_ingestion_guard",
"repo": "llm-ingestion-pipeline-security",
"commit": "0bf07295c2191d5061537834abf22929f7d50826",
"version": "0.3.4",
"entry_point": "scan_output(text, source=Source.OUTPUT)",
"engine": "CPython 3.14.0",
"covers": "the whole output gate, which is more than the lexicon",
"measurement_limit": "Non-lexicon findings this gate raised are recorded per case in observed_out_of_scope as informative evidence, never as expectation."
}
],
"results": {
"cases": 83,
"asserted_id_present_in_both_runtimes": 83,
"lexicon_id_sets_identical_between_runtimes": 83,
"cases_with_non_lexicon_residue_in_the_guard": 7
},
"known_divergence": {
"$comment": "13 of the 83 patterns are recorded in docs/lexicon-port-divergence.md as behaviourally divergent between the two ports. That divergence is real and unresolved, and it is NOT visible here: it was measured on witness inputs — an attribute run padded past 256 characters, an interior '<', an unclosed <script> — and none of those shapes occurs in these payloads. All 13 produce identical lexicon id sets on their own case input, so their fixtures carry no marker and no caveat. A caveat would assert a doubt the measurement disproves for these inputs.",
"patterns_covered": 13,
"patterns_agreeing_on_their_case_input": 13,
"see": "docs/lexicon-port-divergence.md"
}
},
"active_content_provenance": {
"source_repo": "llm-ingestion-pipeline-security",
"source_file": "src/llm_ingestion_guard/coverage.py",
"source_structure": "the `active` group of `_build_cases()` — seven `_scan_case(...)` call sites, coverage.py:476-488",
"source_commit": "de09711",
"source_version": "0.4.0",
"extraction_method": "The payload strings were located by parsing coverage.py's AST for `_scan_case` calls whose first argument is `\"active\"`, and each payload expression was evaluated against that module's own namespace (which supplies the base64 constant one of them embeds). Retyping them here would have been the from-memory failure this repository forbids for detection data.",
"$comment": "A different structure and a different commit from `payload_provenance` above, which covers the 83 lexicon cases. Six of the seven extracted payloads became cases; the seventh is in `omitted_payloads` with its measured reason.",
"asymmetry": "These payloads were authored by the only runtime that implements the table they test, so unlike the lexicon corpus there is no second runtime whose agreement could be measured. That is a real limit on what these six cases prove, and it is stated rather than averaged away: they pin one runtime's behaviour as a contract a future implementer can be held to, which is less than the lexicon cases prove and more than nothing."
},
"active_content_measurement": {
"date": "2026-08-10",
"method": "Each payload was run through the guard's PUBLIC output gate — the same entry point the 83 lexicon cases were measured through, so the two halves of the corpus are comparable. Findings were split into in-scope and residue by MEMBERSHIP in signatures/active-content.json's published `pattern_id_space.ids`, not by the `active:` prefix (see spec/conformance-corpus.md section 4).",
"verification": "The generated fixtures were then re-read from disk by a separate checker that re-computed each digest, re-scanned the bytes, and applied `exact-within-scope` independently of the generator — a generator agreeing with itself proves nothing. 6 cases, 0 failed checks.",
"runtimes": [
{
"name": "llm_ingestion_guard",
"repo": "llm-ingestion-pipeline-security",
"commit": "de09711",
"version": "0.4.0",
"entry_point": "scan_output(text, source=Source.OUTPUT)",
"engine": "CPython 3.14.0",
"measurement_limit": "Findings outside signatures/active-content.json that this gate raised are recorded per case in observed_out_of_scope as informative evidence, never as expectation. Two of the six carry such residue, and in both it is a lexicon id."
},
{
"name": "llm_security",
"repo": "ssh://git@git.fromaitochitta.com/open/llm-security.git",
"commit": "b0de0ca6d86ce697f39669d177c2c2654c280128",
"status": "not-applicable",
"status_basis": "This runtime does not implement signatures/active-content.json, so under spec/conformance-corpus.md section 1.1 these six cases are `not-applicable` there — neither passes nor failures. It was NOT run against them; a measurement whose verdict the spec defines as inapplicable would produce a number that means nothing.",
"absence_evidence": "Measured at b0de0ca, not assumed. A case-insensitive tree-wide search for an active-content detector, class table or emitted `active:` label returns no implementation — only prose in `knowledge/` and an entropy-scanner test mentioning the markdown-image construct. `git log -S 'active_content'` and `git log -S 'active:markdown'` over `--all` return zero commits, closing the 'it was there once' reading.",
"not_a_coverage_claim": "Absent table is not absent capability: this runtime's entropy scanner reaches markdown-image URLs by a different route (host- and query-aware). What is measured absent is the table, which is all `not-applicable` asserts."
}
],
"results": {
"payloads_extracted": 7,
"cases_built": 6,
"payloads_omitted": 1,
"cases_verified_independently": 6,
"failed_checks": 0,
"cases_with_out_of_scope_residue_in_the_guard": 2
},
"guard_drift_note": "The guard's HEAD moved twice during this measurement (3c56d50 -> de09711 -> 398eb74). Measurement ran at de09711. Checked rather than hoped: 398eb74 touches only docs/PLAN-v1.md and tests/test_disposition.py, so no measured file changed under the measurement. active_content.py DID change between 0bf0729 — the commit signatures/active-content.json pins — and de09711; the change adds a scan-cap self-safety finding and touches no construct. See that file's `pattern_id_space.verified.at_commit_note`."
},
"count": 93,
"count_by_scope": {
"lexicon/injection-lexicon.json": 84,
"signatures/active-content.json": 6,
"codepoints/carriers.json": 3
},
"count_by_scope_$comment": "84 lexicon-scoped cases, of which 83 come from the guard's _LEX_PAYLOADS one-per-pattern-id (see payload_provenance) and one was authored here (see authored_payloads). The lexicon count therefore no longer equals the pattern count, and that is deliberate as of 0.3.0 — a pattern id may carry a variant case. See case_id_derivation.variant_suffix. As of 0.4.0 a third scope is counted: 3 carrier-scoped cases, one per input-side carrier id. Those three are the first in this corpus whose INPUTS were authored here rather than reproduced from a runtime's payload set — see carrier_measurement.inputs_chosen_rather_than_taken.",
"cases": [
"override__ignore-previous",
"override__forget-instructions",
"override__disregard",
"override__override-instructions",
"override__suspend-constraints",
"override__prior-constraints",
"spoofed-header__hash-system",
"spoofed-header__inst",
"spoofed-header__pipe-system",
"spoofed-tag__system-open",
"spoofed-tag__system-close",
"spoofed-header__instructions",
"identity__no-longer",
"identity__you-are-now",
"identity__new-role",
"identity__new-directive",
"identity__pretend",
"config__ignore-claudemd",
"config__override-system-prompt",
"config__bypass-safety",
"config__disable-filtering",
"normalization__prioritize-user",
"normalization__user-precedence",
"normalization__claudemd-conflict",
"normalization__skip-confirmation",
"reframing__actual-task",
"reframing__real-purpose",
"reframing__should-actually-do",
"hidden-comment__agent-directed",
"html-obfuscation__display-none",
"html-obfuscation__visibility-hidden",
"html-obfuscation__offscreen",
"html-obfuscation__zero-font",
"html-obfuscation__zero-opacity",
"html-obfuscation__zero-size-overflow",
"html-obfuscation__aria-label",
"evasion__educational",
"evasion__hypothetical",
"evasion__fictional",
"evasion__red-team",
"evasion__security-audit-sim",
"evasion__test-pretense",
"evasion__thought-experiment",
"evasion__research-purpose",
"evasion__academic-context",
"hitl-trap__approve-immediately",
"hitl-trap__no-need-review",
"hitl-trap__just-approve",
"hitl-trap__suppress-review",
"hitl-trap__brevity-skip",
"hitl-trap__too-long",
"hitl-trap__details-omitted",
"hitl-trap__scope-minimization",
"leetspeak__ignore-previous",
"leetspeak__forget-instructions",
"leetspeak__disregard",
"leetspeak__override",
"homoglyph__cyrillic-latin-mix",
"unicode__zero-width-in-word",
"indirect__instruction-to-ai",
"indirect__direct-address",
"indirect__trigger-based",
"multi-lang__french",
"multi-lang__spanish",
"multi-lang__german",
"markdown__link-ref-comment",
"data-uri__executable",
"markdown__link-anchor-injection",
"sub-agent__spawn-dangerous",
"sub-agent__delegate-bypass",
"nl-indirection__fetch-execute",
"nl-indirection__send-external",
"nl-indirection__read-dotfile",
"nl-indirection__extract-exfiltrate",
"nl-indirection__download-execute",
"hybrid-p2sql__inject-sql",
"hybrid-p2sql__sql-inject",
"hybrid-recursive__inject-output",
"hybrid-recursive__conditional-response",
"hybrid-xss__script-tag",
"hybrid-xss__script-tag--src-no-close",
"hybrid-xss__javascript-uri",
"hybrid-xss__event-handler",
"hybrid-xss__iframe-src",
"active__markdown-image",
"active__markdown-link",
"active__reference-link",
"active__autolink",
"active__raw-html",
"active__data-uri",
"carrier__zero-width",
"carrier__bidi-override",
"carrier__unicode-tag"
],
"entry_points_by_scope": {
"added_in": "0.4.0",
"$comment": "`measurement.runtimes[*].entry_point` pins ONE entry point per runtime for the corpus as a whole, and that was sufficient for exactly as long as every case was reachable from one surface. It is not sufficient for carriers: neither pinned entry point reaches them. This block states, per scope per runtime, the three things a runtime needs in order to run a case at all, and it exists because both consuming runtimes said independently that the manifest was the right place for it.",
"fields": {
"entry_point": "The public API call. Never a private symbol and never a rebuilt table.",
"findings_accessor": "How findings are reached FROM that call's return value. Present because return shapes are not uniform across scopes even within one runtime, and a corpus that assumed uniformity would be asking a runtime to grow a wrapper for its benefit.",
"fixture_presentation": "How `input.txt` must reach the entry point. Present because at least one runtime's carrier surface is PATH-based: it cannot measure a bare string, and a fixture handed to it as loose text measures nothing while looking like a pass."
},
"scopes": {
"lexicon/injection-lexicon.json": {
"llm_security": {
"entry_point": "scanForInjection(text) — scanners/lib/injection-patterns.mjs",
"findings_accessor": "the returned array",
"fixture_presentation": "the decoded bytes of input.txt as a string"
},
"llm_ingestion_guard": {
"entry_point": "scan_output(text, source=Source.OUTPUT)",
"findings_accessor": ".findings",
"fixture_presentation": "the decoded bytes of input.txt as a string"
}
},
"signatures/active-content.json": {
"llm_security": {
"status": "not-applicable",
"basis": "Does not implement this table (measured at b0de0ca; see active_content_measurement.runtimes)."
},
"llm_ingestion_guard": {
"entry_point": "scan_output(text, source=Source.OUTPUT)",
"findings_accessor": ".findings",
"fixture_presentation": "the decoded bytes of input.txt as a string"
}
},
"codepoints/carriers.json": {
"llm_security": {
"status": "not-applicable-today",
"basis": "Implements the tables but publishes no carrier label yet, so `codepoints/carriers.json` carries no `aliases.llm_security` and falls outside its declared set. See carriers.json -> `pattern_id_space.llm_security_alias_deliberately_absent`.",
"entry_point_when_it_applies": "scan(targetPath, discovery) — scanners/unicode-scanner.mjs",
"entry_point_basis": "Stated by that runtime on 2026-08-13, together with the confirmation that `scanForInjection` — the entry point this manifest pins for the lexicon scope — does not reach carriers at all.",
"fixture_presentation": "NOT a bare input.txt. That entry point is path-based and takes a `discovery` argument, so the fixture must be presented as a DISCOVERED FILE, not merely as a file on disk. Recorded at that runtime's explicit request, so the first implementer does not find the difference the hard way."
},
"llm_ingestion_guard": {
"entry_point": "sanitize(text, source=Source.INPUT)",
"findings_accessor": ".report.findings",
"findings_accessor_note": "One level deeper than every other scope: `sanitize` returns `SanitizeResult(text, report)`. Verified 2026-08-13 at `be9759b`.",
"fixture_presentation": "the decoded bytes of input.txt as a string",
"why_not_prepare_input": "`prepare_input` reaches the same findings but adds fence findings and a nonce, so a carrier case measured through it would be measuring two things at once. Named by the guard in its ruling of 2026-08-11.",
"raises_rather_than_reports": "This is the only entry point in the corpus that RAISES: `sanitize` throws `OversizeInputError` above `max_input_chars`. No case here approaches that bound — the largest carrier fixture is 57 bytes — and a case that did would be measuring the refusal, not the carrier."
}
}
}
},
"carrier_measurement": {
"added_in": "0.4.0",
"date": "2026-08-13",
"method": "Each input was run through the guard's PUBLIC input surface — `sanitize(text, source=Source.INPUT)`, findings read at `.report.findings` — not through a rebuilt code-point table. Findings were split into in-scope and residue by MEMBERSHIP in the alias values published in `codepoints/carriers.json` -> `pattern_id_space`, never by the `carrier:` or `sanitize:` prefix (spec/conformance-corpus.md section 4). All three inputs produced exactly one in-scope finding and no residue.",
"verification": "The generated fixtures were then re-read from disk by a separate checker that re-computed each digest twice (Python hashlib and the external `shasum -a 256`), re-scanned the bytes, re-resolved the alias map from the published file, re-derived each pattern id from its case id lexically, and applied `exact-within-scope` independently of the generator — a generator agreeing with itself proves nothing. 3 cases, 0 failed checks. The same run confirmed the three new ids collide with no id in the lexicon or active-content spaces, and that all 93 case directories are unique.",
"runtimes": [
{
"name": "llm_ingestion_guard",
"repo": "llm-ingestion-pipeline-security",
"commit": "be9759b4b3bdb7e6b013fd8e3b4f4f0344ee5833",
"version": "0.7.0",
"entry_point": "sanitize(text, source=Source.INPUT)",
"engine": "CPython 3.14.0",
"measurement_limit": "Read from a scratch tree extracted with `git archive v0.7.0`, so the tag was measured rather than whatever the working copy happened to be on — its HEAD was one commit further along."
},
{
"name": "llm_security",
"repo": "ssh://git@git.fromaitochitta.com/open/llm-security.git",
"status": "not-applicable",
"status_basis": "Not run, and the reason is a NAME rather than a capability: this runtime implements the carrier tables — it builds its zero-width, tag-range and BIDI sets from this file — but its carrier findings carry no id yet (`scanner: 'UNI'`, a severity and a prose title, stated by it on 2026-08-13). Until it publishes a label and the alias is added here, the file is outside its declared set and these three cases are `not-applicable` under spec section 1.1.",
"measurement_boundary": "This repository does not execute consumer code and its carrier entry point is path-based besides, so no result for this runtime was produced by any means. `observed_out_of_scope` naming only the guard is therefore a measurement boundary, not an oversight — the same boundary `authored_payloads` records for the variant lexicon case."
}
],
"inputs_chosen_rather_than_taken": "Unlike the 83 lexicon cases and the 6 active-content ones, these three inputs come from no runtime's payload set — neither runtime ships carrier payloads. They were authored here and each was checked to produce exactly one in-scope finding and no residue, so that each case measures ONE carrier. Candidate inputs whose tag payload decoded to an injection string were probed and set aside for the same reason `prepare_input` was set aside as an entry point: a fixture that trips two detectors measures two things.",
"known_boundary_not_minted": "U+200D between two emoji is EXEMPT on both of the guard's surfaces since v0.6.1, and the guard warned that a naive zero-width fixture carrying an emoji-adjacent joiner would be failed by design. Verified here at `be9759b`, and the zero-width fixture carries a bare U+200B between two letters instead. The exemption itself is a real behavioural boundary and a candidate variant case; it is NOT minted, because three cases were ratified and because whether the exemption is a shared rule or one runtime's policy has not been put to the other runtime."
}
}