realize SKILL.md skillA

realize 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/realize@git:20261015.46b405a

Pins git:20261015.46b405a in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
jongwony/epistemic-protocols
Path
.claude/skills/realize/SKILL.md
Versions recorded
16
Latest version
git:20261015.46b405a, committed Oct 15, 2026
First version recorded
Aug 18, 2026
Size
13,220 bytes
Repository stars
173
License
MIT

This skill should be used when the user asks to "run the eval", "test whether the protocol actually works at runtime", "check type realization", "measure protocol fulfillment", "run the type-realization suite", "does the gate actually stop", or wants runtime evidence that a protocol's formal transition contract is realized rather than an assessment of downstream artifact quality. Invoke explicitly with /realize and a skill argument.

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

# Type Realization

Measure whether one named protocol skill's declared contract is realized during an
actual run. The first argument is required; `/realize inquire` selects only the
registered `inquire` cases and graders. An unknown or omitted target fails before setup.

## Purpose

A protocol's formal blocks are runtime-normative: TYPES, PHASE TRANSITIONS, TOOL
GROUNDING and the Rules type the prose and carry the operational contract. Static
checks establish that a `SKILL.md` contains those blocks and enforce a bounded set of
structural invariants. Nothing establishes that a run follows their transitions.

This skill supplies evidence for that gap. It drives Claude Code or Codex across a
matrix of models and treatments, captures the JSONL trace, grades the deterministically
observable subset, and names the transcript judgments still owed. A complete automatic
cell can establish that collection occurred, the declared branch reached `Stop`, or
the zero-uncertainty branch reached `Proceed`; semantic ordering and rendered type
coverage remain manual until their specified judges are built.

## Judgment boundary

The object of judgment is the formal transition trace:

```text
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add jongwony/epistemic-protocols/realize@sha256:78f96a9d5fc01be0

The line at the top of this page pins the label git:20261015.46b405a, 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_lf2zwhmsogefklm4.svg)](https://markdownregistry.com/a/art_lf2zwhmsogefklm4)

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

Versions

The registry has recorded 16 versions of this file, between Aug 18, 2026 and Oct 15, 2026, about one every 4 days.

versioncommittedcommitsizeaudit
git:20261015.46b405a latest2026-10-15 46b405a 13,220 BA view · diff
git:20261010.782763a2026-10-10 782763a 13,429 BA view · diff
git:20261006.9d9c00e2026-10-06 9d9c00e 13,149 BA view · diff
git:20261004.309cd392026-10-04 309cd39 12,804 BA view · diff
git:20261003.79aac402026-10-03 79aac40 12,548 BA view · diff
git:20260930.83775942026-09-30 8377594 12,362 BA view · diff
git:20260927.02289d62026-09-27 02289d6 12,323 BA view · diff
git:20260925.50cccca2026-09-25 50cccca 11,727 BA view · diff
git:20260925.1da60dc2026-09-25 1da60dc 10,481 BA view · diff
git:20260924.8c0200d2026-09-24 8c0200d 9,937 BA view · diff
git:20260921.94d71822026-09-21 94d7182 9,628 BA view · diff
git:20260827.0201bc72026-08-27 0201bc7 9,552 BA view · diff
git:20260826.a0059b52026-08-26 a0059b5 9,588 BA view · diff
git:20260826.b0c75e32026-08-26 b0c75e3 8,986 BA view · diff
git:20260826.1b2657c2026-08-26 1b2657c 8,417 BA view · diff
git:20260818.b678eba2026-08-18 b678eba 7,317 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 (13220 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 · 173 stars · license MIT · pushed 2026-10-31 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_lf2zwhmsogefklm4
GET https://markdownregistry.com/api/v1/resolve?ref=jongwony/epistemic-protocols/realize
GET https://markdownregistry.com/api/v1/blob/78f96a9d5fc01be0ed5f09b5db45a24eabcb8decffcf749d6f9ec48c76b302a9

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 · 173 stars
CLAUDE.md@.claude/principles CLAUDE.md file
jongwony/epistemic-protocols · .claude/principles/CLAUDE.md
git:20260804.5f2d14a · audit B · 173 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 · 173 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 · 173 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 · 173 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:20261023.f0629d4 · audit A · 173 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 · 173 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 · 173 stars
AGENTS.md AGENTS.md file
jongwony/epistemic-protocols · AGENTS.md
git:20261015.65e963f · audit A · 173 stars
CLAUDE.md CLAUDE.md file
jongwony/epistemic-protocols · CLAUDE.md
git:20260515.f43f2ee · audit B · 173 stars
AGENTS.md@aitesis AGENTS.md file
jongwony/epistemic-protocols · aitesis/AGENTS.md
git:20260927.c7b710c · audit A · 173 stars
inquire SKILL.md skill
jongwony/epistemic-protocols · aitesis/skills/inquire/SKILL.md · A task rests on missing context or unchecked assumptions: the user can then recognize what was settled and from where…
git:20261027.faa8382 · audit A · 173 stars

Every file in jongwony/epistemic-protocols

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