elohim-harness
This skill should be used when an instrument's recorded measurements must be re-verified rather than trusted — "run the gate", "did the numbers drift", "pin the checksum", "is the instrument modified", "add a fact to the ledger", "measure instead of asserting", "build a skill with a verified ledger". Runs five gates (checksum pin, fact ledger, independent trap re-derivations, source hygiene, claim binding) against any instrument directory and refuses to return PASS unless all five hold. Stdlib-only Python 3.10+; no network; no build step.
- Version
- 1.0.0
- License
- MIT
- Compatibility
- Python 3.10 or newer, standard library only. No network access, no build step, no third-party packages. Runs on Linux, macOS and Windows.
Pinned to revision cdbd705c8b3e, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/elohim-harness/SKILL.md
- skills/elohim-harness/references/contract.md
- skills/elohim-harness/scripts/check_hygiene.py
- skills/elohim-harness/scripts/claim_binding.py
- skills/elohim-harness/scripts/claim_binding_exemptions.json
- skills/elohim-harness/scripts/harness_run.py
Every link opens the file at its source, pinned to the revision this page describes.