reduced-space-test SKILL.md skillA

reduced-space-test from jongwony/epistemic-protocols is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add jongwony/epistemic-protocols/reduced-space-test@git:20261018.827afb9

Pins git:20261018.827afb9 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
jongwony/epistemic-protocols
Path
epistemic-cooperative/skills/reduced-space-test/SKILL.md
Versions recorded
13
Latest version
git:20261018.827afb9, committed Oct 18, 2026
First version recorded
Jun 4, 2026
Size
22,655 bytes
Repository stars
175
License
MIT

Scoped empirical validation. Decomposes a target↔surrogate equivalence claim into facets, bounds a test space, captures evidence inside it, and carries the untested complement forward.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Reduced-Space Test: Scoped Empirical Validation

Validate an inference-uncertain proposition inside a constraint-bounded stand-in space synchronized with the user, obtain a scoped resolution ("within these conditions, whether it holds, fails, or remains inconclusive"), and carry the uncovered complement forward to a follow-up protocol. This skill does not run the experiment substrate, open branches, or create PRs. It orchestrates existing protocols around one disciplined empirical move.

**This is an orchestration utility, not a runtime executor and not a new epistemic protocol.** Reduced-Space Test introduces no new interaction deficit. It realizes a known composite — decompose the target↔surrogate equivalence claim into verifiable facets, then project `/bound`'s source-grounded result into a synchronized test space and coverage complement ∘ `/inquire` for evidence inside it → scoped resolution + carried complement. It is a thin composition over existing protocols, kept outside the core protocol set because it owns no deficit of its own.
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add jongwony/epistemic-protocols/reduced-space-test@sha256:5f90efa5d188590d

The line at the top of this page pins the label git:20261018.827afb9, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_i76aorajqlh5bcsr.svg)](https://markdownregistry.com/a/art_i76aorajqlh5bcsr)

5 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 13 versions of this file, between Jun 4, 2026 and Oct 18, 2026, about one every 11 days.

versioncommittedcommitsizeaudit
git:20261018.827afb9 latest2026-10-18 827afb9 22,655 BA view · diff
git:20261018.5c219692026-10-18 5c21969 22,535 BA view · diff
git:20261018.fc1b87e2026-10-18 fc1b87e 22,498 BA view · diff
git:20261018.cb2c8222026-10-18 cb2c822 22,477 BA view · diff
git:20261001.0a555a72026-10-01 0a555a7 22,982 BA view · diff
git:20260926.baca3ae2026-09-26 baca3ae 21,318 BA view · diff
git:20260926.7b788742026-09-26 7b78874 21,339 BA view · diff
git:20260921.94d71822026-09-21 94d7182 21,353 BA view · diff
git:20260909.909e5232026-09-09 909e523 21,353 BA view · diff
git:20260828.fc8afc12026-08-28 fc8afc1 17,241 BA view · diff
git:20260807.0217bcb2026-08-07 0217bcb 17,515 BA view · diff
git:20260715.6015a442026-07-15 6015a44 17,519 BA view · diff
git:20260604.17849c62026-06-04 17849c6 17,533 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (22655 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

jongwony/epistemic-protocols · 175 stars · license MIT · pushed 2026-11-04 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_i76aorajqlh5bcsr
GET https://markdownregistry.com/api/v1/resolve?ref=jongwony/epistemic-protocols/reduced-space-test
GET https://markdownregistry.com/api/v1/blob/5f90efa5d188590dcb16d192d17df2081310c003034e1d5b02da118cc371674f

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from jongwony/epistemic-protocols

AGENTS.md@.claude/principles AGENTS.md file
jongwony/epistemic-protocols · .claude/principles/AGENTS.md
git:20261004.309cd39 · audit A · 175 stars
CLAUDE.md@.claude/principles CLAUDE.md file
jongwony/epistemic-protocols · .claude/principles/CLAUDE.md
git:20260804.5f2d14a · audit B · 175 stars
encapsulation SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/encapsulation/SKILL.md · This skill should be used when the user asks to "audit plugin encapsulation", "check self-containment semantics", "find…
git:20260812.1f50d34 · audit A · 175 stars
formal-review SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/formal-review/SKILL.md · This skill should be used when the user asks to "formal review", "formal lens review", or invokes /formal-review. A…
git:20261004.2323a31 · audit A · 175 stars
outcome SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/outcome/SKILL.md · This skill should be used when the user asks to "run the outcome eval", "paired bare vs protocol", "which decisions did…
git:20261015.46b405a · audit A · 175 stars
realize SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/realize/SKILL.md · This skill should be used when the user asks to "run the eval", "test whether the protocol actually works at runtime"…
git:20261015.46b405a · audit A · 175 stars
rederive SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/rederive/SKILL.md · This skill should be used when a contributor names a skill whose Lean contract is to be re-derived — a core protocol…
git:20261102.43de7b7 · audit A · 175 stars
release SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/release/SKILL.md · Release for this repo — CalVer tag + narrative prepend.
git:20261015.ef40fb2 · audit A · 175 stars
verify SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/verify/SKILL.md · This skill should be used when the user asks to "verify protocols", "check consistency before commit", "validate…
git:20261014.426da72 · audit A · 175 stars
AGENTS.md AGENTS.md file
jongwony/epistemic-protocols · AGENTS.md
git:20261104.265d6fb · audit A · 175 stars
CLAUDE.md CLAUDE.md file
jongwony/epistemic-protocols · CLAUDE.md
git:20260515.f43f2ee · audit B · 175 stars
AGENTS.md@aitesis AGENTS.md file
jongwony/epistemic-protocols · aitesis/AGENTS.md
git:20260927.c7b710c · audit A · 175 stars

Every file in jongwony/epistemic-protocols

Browse by kind, by grade A, or by owner.