import { stdoutContaminationKnownBad } from "../../../../universal/fixtures/protocol/index.js";
import type { AdapterSurface } from "../../../../universal/src/runner.js";

export const surface: AdapterSurface = {
  id: "protocol-advisory-bad",
  kind: "stream",
  load: () => Promise.resolve(stdoutContaminationKnownBad),
  witnesses: [
    {
      kind: "non-vacuity",
      selection: { matched: 1, expectedEmpty: false },
    },
    {
      kind: "precondition",
      preconditions: [{ name: "fixture-loaded", proven: true }],
    },
  ],
};