Identify cases where the validator is structurally unable to reject the target because acceptance follows from assumptions copied from the target theory or construction process.
Installs into .claude/skills of the current project.
Are you the author of Detect Pass By Construction?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/yogsoth-ai-detect-pass-by-construction)
---
name: detect-pass-by-construction
description: "Identify cases where the validator is structurally unable to reject the target because acceptance follows from assumptions copied from the target theory or construction process."
---
# detect-pass-by-construction
## Purpose
Identify validators structurally unable to reject a target because acceptance follows from copied assumptions.
## Input contract
```yaml
required: [target_claim, validator, noncircularity_matrix]
optional: [acceptance_rule, construction_history]
constraints: [copied, shared, derived, and independent assumptions must be distinguished]
```
## Procedure
1. Find validator assumptions copied from the target.
2. Trace whether acceptance follows without an independent test.
3. Report pass-by-construction and required failure channels.
## Output contract
```yaml
produces: [pass_by_construction_finding, copied_assumptions, missing_failure_channels]
delta_fields: [findings, evidence_updates, uncertainties, decisions]
```
## Quality gates
- A finding requires an explicit dependency path from target assumption to acceptance rule.
## Failure and counterexamples
Do not call shared domain knowledge circular without tracing how it enters acceptance.
## Provenance map
- resolved: circular-validation-audit
