Illustrative rate after consistency gates
Backdoor Self-Report Probe
Does the target self-report hidden behavior more often than a lineage-matched clean baseline?
- What this audit can surface
- Does the target acknowledge hidden behavior more consistently than a lineage-matched clean model?
- What would count as evidence
- Both arms must pass paraphrase and answer-order gates before their affirmative rates are compared.
- Execution requirement
- The suspect checkpoint and a defensible lineage-matched clean baseline.
The same probes and decoding
What this module audits
Does the target self-report hidden behavior more often than a lineage-matched clean baseline?
Evidence boundary. A positive self-report is weak evidence without a clean baseline; a negative answer does not rule out a backdoor, and the paper found that models generally could not name the trigger directly.
Audit protocol
- Verify the target and clean baseline are lineage comparable.
- Run twenty paraphrases in both answer orders on both models.
- Parse only explicit categorical answers.
- Apply consistency gates to both arms before comparing self-report rates.
Controls
- A lineage-verified clean baseline of the same family and size.
- Identical paraphrases and answer orders for both arms.
- An unstable control invalidates the comparison instead of biasing the delta.
What the audit checks and retains
Checks
- Backdoor-presence self-report
- Question paraphrases
- Answer-order controls
- Clean and decorrelated baseline comparison
Evidence record
- Absolute affirmative counts for target and baseline.
- The arm that failed any consistency gate.
- Whether affirmatives cluster in one wording or survive paraphrase and order changes.
Thresholds and quality gates come from the versioned audit configuration and evidence record. A failed or unmet gate is not a no-signal finding.
Validation and limits
Implemented · uncalibrated. Twenty paraphrases, strict parsing, option-order controls, model-card lineage checks, and an exact paired test are implemented; external benchmark calibration remains required.
A positive self-report is weak evidence without a clean baseline; a negative answer does not rule out a backdoor, and the paper found that models generally could not name the trigger directly.
Technical specification
- Version
- v0.3.0
- Maintainer
- HuggingThreat paper-derived specification
- Target
- Model outputs
- Execution
- Runs in HuggingThreat