By jongwony

This skill should be used when the user asks to "run the outcome eval", "paired bare vs protocol", "which decisions did the protocol surface", "count what the AI asked or presented", "does /inquire…

jongwony/epistemic-protocols

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…

jongwony/epistemic-protocols

This skill should be used when the user asks to "verify protocols", "check consistency before commit", "validate definitions", "run pre-commit checks", "verify soundness", or wants to ensure…

jongwony/epistemic-protocols

This skill should be used when the user asks to "audit plugin encapsulation", "check self-containment semantics", "find contributor-knowledge assumptions", or invokes /encapsulation.

jongwony/epistemic-protocols

This skill should be used when the user asks to "formal review", "formal lens review", or invokes /formal-review.

jongwony/epistemic-protocols

The user vaguely recalls something discussed before but cannot name it — one session, or a line of work, topic, or settled concept across several: find it in past records to recognize.

jongwony/epistemic-protocols

A skill your agent uses when the user asks to "check white bear", "audit prohibitions", "find negative framing", or invokes /white-bear.

jongwony/epistemic-protocols

A skill your agent uses when the user asks to "check zero-shot", "audit few-shot anchoring", "find example anchoring", or invokes /zero-shot.

jongwony/epistemic-protocols

One goal is about to be handed to an autonomous run: cut it into units that each fit one stretch of the run and carry their own conditions for when they are done.

jongwony/epistemic-protocols

The user cannot yet see what a task needs them to decide, or which decisions to keep or entrust: map the whole task first, then open each decision to the depth needed.

jongwony/epistemic-protocols

The work needs several lines of thinking, and their order, independence, combination, stopping point, or where results go is not obvious: settle the method before starting.

jongwony/epistemic-protocols

A result may not fit where it lands: check every place it reaches and every intent it was meant to carry, show every misfit and omission on one sheet, and carry out the fixes the user settles.

jongwony/epistemic-protocols

The user knows roughly what they want but not which decisions it turns on: trace them from their own material (code, rules, past sessions) and the domain's usual decisions; ask until it settles.

jongwony/epistemic-protocols

Something in play — code, a document, a result, quotable in context — needs to be actually understood; the user can't follow it yet or nods along unsure: verify understanding step by step.

jongwony/epistemic-protocols

A framework, analogy, or earlier design is carried to a case, or an abstraction tested against its own cases, and what it supports is unclear: back each conclusion with cited evidence, not assent.

jongwony/epistemic-protocols

The idea field is empty, narrowed too early, or thin in places: widen it in width and depth before any candidate is chosen; reads the user's words and what they name.

jongwony/epistemic-protocols

Several concrete cases at hand seem to share something no one has named yet: pin down what they have in common, checked against the goal the name serves.

jongwony/epistemic-protocols

A task rests on missing context or unchecked assumptions: collect every piece of context the AI can reach on its own, then hand back what it cannot reach as the user's own unknown.

jongwony/epistemic-protocols

Quick protocol recommendation from recent sessions, or quest-based learning through scenario, trial, and quiz.

jongwony/epistemic-protocols

The user is about to commit to one of several directions that cannot be judged from their descriptions: build throwaway probes showing where they diverge, and decide on what is seen.

jongwony/epistemic-protocols

This skill should be used when a contributor names a core protocol whose Lean contract is to be re-derived, or invokes /rederive.

jongwony/epistemic-protocols

Release for this repo — CalVer tag + narrative prepend. An agent skill from jongwony/epistemic-protocols.

jongwony/epistemic-protocols

Route the accumulated session context to the loaded core protocol whose deficit it shows — /route.

jongwony/epistemic-protocols

Something has to be made that the user cannot describe but would recognize on sight: mark what does not fit on concrete sketches, revising until a form is recognized.

jongwony/epistemic-protocols

Context about to be acted on may no longer hold — stale, weakly sourced, or contradicted: challenge each claim the action leans on, and the user judges what stands before acting.

jongwony/epistemic-protocols

Advisor-checked decision gates. An agent skill from jongwony/epistemic-protocols.

jongwony/epistemic-protocols

Deficit Recognition Probe — surface multiple deficit hypotheses for the user's current situation and route by user-constituted recognition (fit review, not protocol scoring).

jongwony/epistemic-protocols

Project guide direction line via three-horizon fusion. An agent skill from jongwony/epistemic-protocols.

jongwony/epistemic-protocols

Scoped empirical validation. An agent skill from jongwony/epistemic-protocols.

jongwony/epistemic-protocols