Files
remove-ai-watermarks/tests/test_synthid_confound_probe.py
T
Victor Kuznetsov 07b07634cf Merge the docs/arxiv-paper-review research line into main (#95)
* Add rigorous SynthID research and evaluation harness

* Record SynthID cross-epoch validation results

* Reset SynthID detector hypotheses to paired training

* Add paired wavelet and spectral SynthID probes

* Record closed-corpus SynthID detector ablations

* Add registered SynthID phase probing

* Add periodic SynthID tile probing

* Add calibrated SynthID pixel detector

* Harden scale-registered SynthID detection

* Record SynthID phase and channel rescue findings

* Add production SynthID routing and OpenAI verification

* Reframe periodic pixel route as pipeline lattice; confirm and harden detection

The frozen periodic experts read an origin-anchored generation-pipeline lattice destroyed by a crop off the tile grid, not the crop-robust SynthID mark. Route the pixel result as an experimental pipeline_lattice signal kept out of the watermark inventory, and carry the crop sensitivity in every verdict envelope.

Add split-patch phase/amplitude/codeword confirmation for registered-v3, affine-lattice and cyclostationary research probes, and timeout/retry/error-taxonomy hardening for the official OpenAI verification path.

* Record pipeline-lattice reframing and registered-v3 phase lock

Document that the pixel route detects an origin-anchored lattice rather than the watermark, and record the registered-v3 two-pixel phase-lock measurement: a 2px diagonal crop killed all 36 tested detections (28 foreign-generator, 8 Google) with recovery only at offsets that are multiples of four. Update README, CLI, Python API, supported-signals, known-limitations, module-internals, the SynthID reference, and the detector research plan.

* Split SynthID campaign docs by detector, classifiers, and removal

Keep Model 1 as a research AI-versus-camera result outside the library.
Retire the mixed oracle-ladders page to a routing hub and mark the plan
file as a chronological archive.

* Keep 2026-08-22 SynthID campaign results in research docs only

Drop Bayer, Model 1, and lattice re-check numbers from user guides and
module internals. The library surface is unchanged.

* Unplug lattice detector from package, expand research docs

* Remove lattice detector sources from the public package

* Document SynthID GitHub sweep findings

* Document general AI classifier sweep

* Document modern-negative taxonomy audit and classifier doc split

Split general AI-classifier research into ai-generated-image-classifiers.md
and record the modern-negative campaign: Unsplash/Openverse date-clean cells,
contamination controls, quarter-hard paired result, closed linear veto and
taxonomy-continuation arms.

pre-commit: 1) maintain.sh - exit 1, known uv-secure lightning advisory with no upstream fix (same triage as main); core checks separately green (ruff, format, pyright, 1564 tests); 2) /simplify - docs-only single pass, no findings; 3) docs sync - split references updated everywhere, none stale; 4) CLAUDE.md - routing line already updated, compliant

* Record wild-AI audit, Meta provider class, and stock-negative expansion

The wild vendor-flagged AI cell (300 stratified rows) puts Model 1 recall at
69.7% on unknown-renderer stock AI; the stock-negative harvest triples the
modern fashion/product cells and confirms the combined-pool veto control;
the Meta muse-image corpus doubles to 132 rows with its margin sweep; a
per-channel cv2 reference fixes the latent fold test under cv2 4.10.0.

pre-commit: 1) maintain.sh - exit 1, known uv-secure lightning advisory with no upstream fix; core checks separately green (ruff, format, pyright, 1665 tests); 2) /simplify - docs-only single pass, no findings; 3) docs sync - new run references point at the gitignored research store, none stale; 4) CLAUDE.md - compact, no changes needed

* Close representation-change campaign: both candidates falsified

Pre-registered gates (AI-test >=1772, fresh OI <=50, Kodak 0, FLUX >=288,
EvalGEN >=95) rejected DINOv2-L ridge head (1427/1847, 162/3000, 1/24, 29/300,
5/100) and the paired-reconstruction FFT tower (14/1847, 12/3000, 0/24, 0/300,
0/100; contract learned at 0.949 pairwise separation but no transfer to
production generators). Campaign verdict: general classifier beyond local
scale as pursued; product stays on documented remainder.

pre-commit: 1) maintain.sh - exit 1, known uv-secure lightning advisory with no upstream fix; core checks green minutes ago (ruff, format, pyright, 1665 tests); 2) /simplify - docs-only single pass, no findings; 3) docs sync - verdict mirrored in data/research/REPRESENTATION-CAMPAIGN.md, no stale refs; 4) CLAUDE.md - no changes

* Record full failure map, H2 router falsification, and H3 process detector closure

20 measured negative domains with batch-2 (memes, whiteboards, tickets, book
pages). H2 domain router falsified: 97.9% of AI-test looks structured, every
family 94-100%. H3 process detector on 369 contrastive pairs from three
generators (OpenAI gpt-image-1-mini, Meta muse-image-1.0, Gemini flash-image)
achieves 0.909 pairwise AUC on training pairs but transfers at AUC 0.55-0.60
to production AI; human receipts score higher than any AI family. The
generator-specific spectral trace does not generalize across three generators,
closing the process-trace family in its current form.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1665 tests); 2) /simplify - docs + research scripts, single pass, no findings; 3) docs sync - all artifacts in data/research/, no stale refs; 4) CLAUDE.md - no changes

* Record H4-H6 research hypotheses: MLP probe, spectral invariant, TTA voting

H4 (MLP on frozen CLIP): 98.6% AI-test recall but 15.8% photo FPR — same
trade-off curve as quarter-hard. H5 (spectral invariant from CVPR 2025):
2.4% recall, the 1/f^alpha profile does not discriminate current generators.
H6 (TTA voting): fixes museum FP but not documents/UI/fashion, loses 9% recall.
All three falsified against frozen gates; ten total closed hypotheses now
document the CLIP-L representation limit from every angle.

Also records the provider cascade across all 20 domains (69.8% stray on
documents mirrors the detector failure map) and the full Y-phase campaign
PSNR data awaiting oracle rate-limit reset.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1665 tests); 2) /simplify - docs-only single pass, no findings; 3) docs sync - all artifacts in data/research/, no stale refs; 4) CLAUDE.md - no changes

* Fix Y-phase frequency convention, record H4-H6 and campaign results

The initial Y-phase campaign targeted FFT bins 16-32 instead of spatial
periods 16-32 px (1/32 to 1/16 cycles/px). After the fix, the full-octave
Y-phase scramble reproduces the known kill (not_detected at 20.5 dB on s1
at native 1122x1402). Partial sub-bands are visually invisible (42.5 dB)
but stay detected: the mark is distributed across the full octave, not
concentrated. Point intervention is not viable within this frequency band.

H4 MLP probe: 98.6% recall, 15.8% FPR (same trade-off wall).
H5 spectral invariant: 2.4% recall (1/f^alpha does not discriminate).
H6 TTA voting: fixes museum FP but not documents/UI/fashion.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (1665 tests, verified minutes ago); 2) /simplify - docs-only; 3) docs sync - all artifacts synced; 4) CLAUDE.md - no changes

* Add TC260 fifth class and per-class margin calibration to provider cascade

Five-head cascade (openai/google/tc260/meta/no_ai): openai 68.8%, google
76.6%, tc260 63.8%, meta 71.8% mean recall at uniform margin 0.50.
Per-class margins calibrated against 1.67% photo budget: openai 0.31,
google 0.29, tc260 0.39, meta 0.55. TC260 test recall 71.4% at calibrated
margins on 196 held-out images. Chinese-AIGC is a viable pixel class.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (verified within the hour); 2) /simplify - research script, single pass; 3) docs sync - artifacts in data/research/; 4) CLAUDE.md - no changes

* Record universal detector v3-v8: diverse training shifts the curve

Fresh MLP on frozen CLIP embeddings with 49 negative domains (12,258 images)
and 5,043 AI positives achieves 93.0% AI-test recall with 39/49 domains at
zero false positives. Digital art FP dropped from 99.3% (Model 1) to 24.8%,
fashion from 62-71% to 12%, UI from 99.3% to 12%. Photo FPR 0.7%. The
improvement comes from training data diversity on frozen embeddings, not
representation change (v5 fine-tune proved this by undoing the gains).
Also adds .local-eval to ruff exclude so the gate covers only tracked files.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1731 tests); 2) /simplify - docs + research; 3) docs sync - all artifacts in data/research/; 4) CLAUDE.md - no changes

* Add three-tier ensemble detector: DEFINITELY/POSSIBLY/LIKELY_HUMAN

Combines Model 1 and v8 into calibrated confidence tiers. DEFINITELY_AI
(both models agree) achieves 79.6% recall at 0.50% photo FPR with 46/49
domains at zero FP. The union reaches 93.3% recall at 1.80% photo FPR
with Kodak 0/24. First detector working across ALL content types with
per-tier calibrated error rates.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1731 tests); 2) /simplify - docs + ensemble; 3) docs sync - artifacts in data/research/; 4) CLAUDE.md - no changes

* Add provider v2: diversity training eliminates document leakage

Same diversity-training insight applied to the provider cascade. Adding
3,769 structured negative features to training drops document/receipt
leakage from 69.8% to 5.1%, UI from 10% to 4.3%, fashion from 5-15% to
0-3%. AI recall improves: OpenAI 84% (was 75%), Google 88.8% (was 79%).
Photo leakage 1.4%. Worst regression: memes 47.9% (was 27%).

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1731 tests); 2) /simplify - provider v2; 3) docs sync - artifacts in data/research/; 4) CLAUDE.md - no changes

* Add universal v11: full taxonomy, 136 domains, 124 at zero FP

Master data plan mapped 148 visual domains. Massive collection (3,343
images, 73 domains from Openverse) plus gap-filler (724 images from
Safebooru anime/manga) expanded training to 19,768 images across 136
negative domains. Universal v11 (MLP-512 + Model 1 ensemble):
DEFINITELY 90.3% recall at 0.50% photo FPR, ANY 95.6% recall,
124/134 domains at exactly 0% FP, worst FP 13.8% (digital art).

New domains opened: anime, manga, chibi, mecha, vintage photos,
banknotes, newspapers, magazines, movie posters, antique maps,
watercolor/oil originals, patterns, cosmetics, real estate, 3D
renders, and 60+ more.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1731 tests); 2) /simplify - docs + research; 3) docs sync - artifacts in data/research/; 4) CLAUDE.md - no changes

* Confirm representation limit: v12 fine-tune destroys structured FP despite 6x data

Fine-tuning CLIP tower on 19,518 images achieves 95.1% standalone recall
but returns to 100% FP on art/UI and 14/59 zero-FP domains (vs 124/134
for frozen v11). This is a representation property, not a data issue.
Frozen CLIP + MLP (v11) is the only working architecture. Also records
provider v3 trained on all negative domains.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (ruff, format, pyright, 1731 tests); 2) /simplify - docs + research; 3) docs sync - artifacts in data/research/; 4) CLAUDE.md - no changes

* Document v13 plateau: 128/136 zero FP, frozen-CLIP ceiling confirmed

v13 with top-plan expansion (1,169 new images) improves domain coverage
to 128/136 at zero FP and reduces fashion FP to 5.3%, but DEFINITELY
recall plateaus at 89.6% and art FP at 15.9%. The frozen CLIP + MLP
architecture has reached its ceiling.

pre-commit: 1) maintain.sh - exit 1, known lightning advisory; core green (verified minutes ago, 1731 tests); 2) /simplify - docs-only; 3) docs sync - v13 recorded; 4) CLAUDE.md - no changes

* Document the 2026-08-31 photo-classifier freeze.

Record the AI-versus-camera contract, Meta v3 hold-out, Flickr UI
replacement, and that receipts stay out of the supported domain.

* Scrub Spaces catalog details from classifier research docs

* Record receipt layout-gate probe for the universal detector
2026-09-01 11:37:32 -07:00

244 lines
8.5 KiB
Python

"""Tests for the manifest-driven SynthID D1 confound challenge."""
from __future__ import annotations
import csv
import hashlib
import json
import sys
from pathlib import Path
import numpy as np
import pytest
from PIL import Image
from PIL.PngImagePlugin import PngInfo
sys.path.insert(0, str(Path(__file__).resolve().parent.parent / "scripts"))
import synthid_confound_probe as probe
import synthid_research_manifest as manifest
def _write_image(path: Path, color: tuple[int, int, int], *, note: str | None = None) -> tuple[str, str]:
image = Image.new("RGB", (12, 10), color)
pnginfo = None
if note is not None:
pnginfo = PngInfo()
pnginfo.add_text("note", note)
image.save(path, pnginfo=pnginfo)
return hashlib.sha256(path.read_bytes()).hexdigest(), hashlib.sha256(image.tobytes()).hexdigest()
def _row(
artifact_sha: str,
pixel_sha: str,
artifact_path: str,
*,
group_id: str,
split: str,
outcome: str,
source_provider: str,
oracle_role: str = "ordinary",
) -> dict[str, str]:
matching_oracle = source_provider == "openai"
return {
"artifact_sha256": artifact_sha,
"pixel_sha256": pixel_sha,
"artifact_path": artifact_path,
"parent_sha256": "",
"group_id": group_id,
"target_provider": "openai",
"source_provider": source_provider,
"surface": "synthetic-test",
"model_epoch": "test-epoch",
"generation_session": f"session-{group_id}",
"content_stratum": "flat-graphic",
"width": "12",
"height": "10",
"format": "png",
"transform": "original",
"split": split,
"c2pa_outcome": "detected" if outcome == "detected" else "not_present",
"synthid_outcome": outcome,
"verified_via": "openai-api" if matching_oracle else "source-evidence",
"evidence_reference": "" if matching_oracle else f"https://example.test/{group_id}",
"oracle_session": f"oracle-{group_id}" if matching_oracle else "",
"oracle_role": oracle_role,
"captured_at": "2026-08-09T10:00:00Z",
"oracle_checked_at": "2026-08-09T10:05:00Z",
"notes": "synthetic confound fixture",
}
def _write_manifest(root: Path, rows: list[dict[str, str]]) -> Path:
path = root / "manifest.csv"
with path.open("w", newline="", encoding="utf-8") as stream:
writer = csv.DictWriter(stream, fieldnames=manifest.FIELDNAMES)
writer.writeheader()
writer.writerows(rows)
return path
def _corpus(root: Path, *, include_temporal: bool = True) -> Path:
rows: list[dict[str, str]] = []
index = 0
split_sizes = {"train": 4, "validation": 2, "test": 2}
if include_temporal:
split_sizes["temporal"] = 2
for split, per_class in split_sizes.items():
for label in (1, 0):
for offset in range(per_class):
index += 1
color = (230, 10 + index, 20 + offset) if label else (20 + offset, 10 + index, 230)
path = root / f"image-{index}.png"
artifact_sha, pixel_sha = _write_image(path, color)
source_provider = "openai" if label or offset == 0 else "camera"
rows.append(
_row(
artifact_sha,
pixel_sha,
path.name,
group_id=f"group-{index}",
split=split,
outcome="detected" if label else "not_detected",
source_provider=source_provider,
)
)
return _write_manifest(root, rows)
def test_canonical_features_ignore_container_metadata(tmp_path: Path):
first = tmp_path / "first.png"
second = tmp_path / "second.png"
first_sha, _ = _write_image(first, (10, 20, 30), note="short")
second_sha, _ = _write_image(second, (10, 20, 30), note="a much longer metadata value")
first_example = probe.Example(first, first_sha, "one", "train", 1, None)
second_example = probe.Example(second, second_sha, "two", "train", 1, None)
assert not np.array_equal(
probe.extract_features(first_example, "container"),
probe.extract_features(second_example, "container"),
)
np.testing.assert_array_equal(
probe.extract_features(first_example, "canonical"),
probe.extract_features(second_example, "canonical"),
)
def test_feature_matrices_decode_each_artifact_once(tmp_path: Path, monkeypatch: pytest.MonkeyPatch):
first = tmp_path / "first.png"
second = tmp_path / "second.png"
first_sha, _ = _write_image(first, (10, 20, 30))
second_sha, _ = _write_image(second, (30, 20, 10))
examples = [
probe.Example(first, first_sha, "one", "train", 1, None),
probe.Example(second, second_sha, "two", "train", 0, "external"),
]
original = probe._decoded_rgb
decode_count = 0
def counting_decode(path: Path):
nonlocal decode_count
decode_count += 1
return original(path)
monkeypatch.setattr(probe, "_decoded_rgb", counting_decode)
matrices = probe.feature_matrices(examples)
assert decode_count == len(examples)
assert set(matrices) == set(probe.FEATURE_FAMILIES)
assert all(matrix.shape[0] == len(examples) for matrix in matrices.values())
def test_logistic_model_separates_simple_content_confound():
features = np.asarray([[0.0], [0.1], [0.9], [1.0]], dtype=np.float64)
labels = np.asarray([0, 0, 1, 1], dtype=np.int64)
model = probe.fit_logistic(features, labels)
scores = probe.predict_scores(model, features)
assert max(scores[:2]) < min(scores[2:])
def test_threshold_respects_validation_false_positive_limit():
labels = np.asarray([1, 1, 0, 0], dtype=np.int64)
scores = np.asarray([0.9, 0.8, 0.7, 0.1], dtype=np.float64)
threshold = probe.select_threshold(labels, scores, max_fpr=0.0)
metrics = probe.calculate_metrics(labels, scores, threshold)
assert threshold == pytest.approx(0.8)
assert metrics.tpr == 1.0
assert metrics.fpr == 0.0
def test_run_experiment_reports_same_provider_and_temporal_gate(tmp_path: Path):
path = _corpus(tmp_path)
report = probe.run_experiment(path, "openai")
assert report["evidence_ready"] is True
assert report["evidence_missing"] == []
canonical = report["families"]["canonical"]
assert canonical["metrics"]["test"]["auc"] == 1.0
assert canonical["negative_cohorts"]["test"]["same_provider"]["count"] == 1
assert canonical["metrics"]["temporal"]["positives"] == 2
assert canonical["metrics"]["temporal"]["negatives"] == 2
assert str(tmp_path) not in json.dumps(report)
def test_report_stays_explicit_when_temporal_holdout_is_missing(tmp_path: Path):
path = _corpus(tmp_path, include_temporal=False)
report = probe.run_experiment(path, "openai")
assert report["evidence_ready"] is False
assert report["evidence_missing"] == ["temporal split does not contain both labels"]
assert report["families"]["container"]["metrics"]["temporal"] is None
def test_candidate_rows_are_not_detector_examples(tmp_path: Path):
path = _corpus(tmp_path)
rows = probe._read_manifest(path)
candidate_path = tmp_path / "candidate.png"
artifact_sha, pixel_sha = _write_image(candidate_path, (90, 90, 90))
rows.append(
_row(
artifact_sha,
pixel_sha,
candidate_path.name,
group_id="candidate-group",
split="train",
outcome="detected",
source_provider="openai",
oracle_role="candidate",
)
)
_write_manifest(tmp_path, rows)
examples = probe.load_examples(path, "openai")
assert all(example.artifact_path.name != candidate_path.name for example in examples)
def test_manifest_audit_blocks_group_leakage_before_training(tmp_path: Path):
path = _corpus(tmp_path)
rows = probe._read_manifest(path)
rows[-1]["group_id"] = rows[0]["group_id"]
_write_manifest(tmp_path, rows)
with pytest.raises(ValueError, match="manifest audit failed"):
probe.run_experiment(path, "openai")
def test_positive_source_provider_must_match_target(tmp_path: Path):
path = _corpus(tmp_path)
rows = probe._read_manifest(path)
positive = next(row for row in rows if row["synthid_outcome"] == "detected")
positive["source_provider"] = "google"
_write_manifest(tmp_path, rows)
with pytest.raises(ValueError, match="declares source_provider"):
probe.load_examples(path, "openai")