check_rules
Checks observer-authored rules against original behavior and reports falsified documented rules as documentation/behavior conflicts, helping verify inferred and observed outcomes.
Instructions
Check observer-authored rules against the original. Each rule: {statement (your own words), origin: documented|inferred-intent|observed, kind, checks: [{kind: outcome|same|differs, a: invocation, b: invocation (same/differs), expect: subset (outcome), keys: [..] (optional)}]}. Falsified documented rules are reported as documentation/behavior conflicts.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| rules | Yes | ||
| feature | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||