Check an RDFS or OWL 2 RL derivation trace step by step

baltor_derivation_trace_checker

Check a derivation trace of RDFS or OWL 2 RL inferences step by step without trusting the reasoner that wrote it, in JSON or the two-file certificate format.

Files, names only

LICENSE 1.0 KB
SKILL.md 2.8 KB
contracts/input.schema.json 2.1 KB
contracts/output.schema.json 1.2 KB
examples/example.expected.json 138 bytes
examples/example.input.json 1.4 KB
references/provenance.json 4.4 KB
scripts/tool.py 3.9 KB
scripts/trace_checker.py 8.6 KB
verification/test_tool.py 3.9 KB

Full files in your harness.

What it takes and gives

Command: python3 -B scripts/tool.py < examples/example.input.json
Test: python3 -B -m unittest discover -s verification -p 'test_*.py' -v
Files: SKILL.md, contracts/input.schema.json, contracts/output.schema.json, scripts/tool.py, scripts/trace_checker.py
Placed for: Claude Code, Codex, OpenCode, Pi

Limits and scope

Limits: It checks that each step follows from its premises; it does not search, complete a trace, or say that a refused conclusion is false. It knows no list rules and no clash rules. `scripts/trace_checker.py` imports only the Python standard library and shares no code with any reasoner.

Details

Kind: Skill
Licence: MIT
Declared effects: reads files, runs commands
Placed for: Claude Code, Codex, OpenCode, Pi
Source: src/loop_engine/core/ontology_change/trace_checker.py
Size: 10 files, 29.5 KB
Identity: baltor_derivation_trace_checker
Version: 107e7cec8b9763029d157c0baef1f6146be7703af7b5a17b0dfd5b5b6461b1b5

The version is the SHA-256 of the item your harness downloads; every file in it names its own checksum.

Where it is shown

Algorithms that show their workDeterministic skills

Related components

Something wrong with this item, its rights or its safety? Report it on the support page, or from your harness after a download.