pip-discipline
Skill4 starsChanged 20 days agoMITView on GitHub
Evidence-discipline recovery for stalled ecdsa.fail work. Use when the same route, prompt or script has failed twice, an agent keeps tweaking parameters without changing the idea, a failure is blamed on tooling before anyone checked, a completion is claimed without validator output, or a compute request has no owner, validator, kill gate, budget or stop condition. Not for a first pass with a known fix.
In this repository34 other files it gives its agents.
- AGENTS.mdAGENTS.md
- accepted-proof-exact-retuneSkill
- beachhead-ratchetSkill
- circuit-edit-integration-safetySkill
- computer-algebra-oraclesSkill
- constraint-construction-searchSkill
- cross-model-review-gateSkill
- deepseek-pressure-testSkill
- ecdsafail-fastevalSkill
- ecdsafail-lowq-playbookSkill
- ecdsafail-oracle-loopSkill
- ecdsafail-pareto-ratchetSkill
- ecdsafail-scratch-dietSkill
- elicit-researchSkill
- exact-search-engineeringSkill
- fast-lean-proof-loopSkill
- hard-problem-contractSkill
- invariant-chartSkill
- jev-second-perspectiveSkill
- lean-arklib-proofsSkill
- lean-finite-certificate-splittingSkill
- mission-commandSkill
- nasqret-playbookSkill
- portable-source-assertionsSkill
- proximity-prize-campaignSkill
- proximity-prize-frontier-archaeologySkill
- research-loopSkill
- route-compare-probe-disciplineSkill
- rust-archive-build-bindingSkill
- send-to-claude-fableSkill
- shot-autopsySkill
- squares-in-squares-campaignSkill
- verify-paired-native-measurementsSkill
- verify-research-transferSkill
The file
We split this skill into the rules it gives an agent
9 rules. About 0 are common, 9 are distinctive, and 0 are very specific to this project.
≈0
Common · estimate
Many files like this have a rule of this kind.
≈9
Distinctive · estimate
This author's own choices. Worth a look.
0
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Distinctive: line 9
Use when an agent, operator, or worker has failed twice, is repeating the same approach, is about to hand the task back without evidence, …
- Distinctive: line 40
When a next step needs private state, stop at a handoff boundary and name the public evidence that justifies the request.
- Distinctive: line 54
Do not activate for a normal first pass when a known fix is already being executed.
- Distinctive: line 59
Stop the current loop. List the last attempts and the shared assumption.
- Distinctive: line 60
Read the failure signal word by word: error, rejection, empty result, stale route, missing evidence label, or user critique.
- Distinctive: line 64
Read the raw material, not a summary.
- Distinctive: line 66
Verify assumptions with tools: path, version, input shape, validator command, budget, public source, and stop condition.
- Distinctive: line 93
Do not say a route, patch, dashboard, or note is complete until the relevant check has been run or the missing check is named as a blocker.
- Distinctive: line 106
If the route still cannot advance after the protocol, return a structured handoff instead of a vague failure:
≈ “Common” is an estimate: at least 1 in 5 of the 350,495 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
PIP evidence discipline
Use when an agent, operator, or worker has failed twice, is repeating the same approach, is about to hand the task back without evidence, or has claimed completion without running the relevant check.
Source and scope
Adapted from the English PIP edition of tanweai/pua:
- Source:
https://github.com/tanweai/pua - Audited commit:
f16769945d42bdb568fc956d53f2c9f347d66ae2 - Audited source file:
codex/pua-en/SKILL.md - Audited SHA-256:
9ac522d2f80655853a4445a5ef0824ffdc139d737030494beb16ccbc1104f98a
This Storm integration imports the operating discipline only. It does not include plugin hooks, prompt routers, telemetry, feedback upload, leaderboard, survey, remote prompt loading, or always-on behavior.
Public boundary
This skill is for public ecdsa.fail coordination. Do not request or expose:
- private endpoints,
- account details,
- keys or tokens,
- raw logs,
- unreleased nonces,
- live candidate diffs,
- private mailbox history,
- submit authority.
When a next step needs private state, stop at a handoff boundary and name the public evidence that justifies the request.
Trigger
Activate this card when any of these are true:
- the same route, prompt, or script failed twice,
- the agent keeps changing parameters without changing the idea,
- a route is blamed on environment or tooling before verification,
- a worker asks for human action before checking public/local evidence,
- a completion claim lacks command output, validator output, or source citation,
- a compute request lacks owner, validator, kill gate, budget, or stop condition.
Do not activate for a normal first pass when a known fix is already being executed.
Protocol
- Stop the current loop. List the last attempts and the shared assumption.
- Read the failure signal word by word: error, rejection, empty result, stale route, missing evidence label, or user critique.
- Refresh public truth before relying on memory: current target, public docs, fixture data, route packet, or source file.
- Read the raw material, not a summary. For code, inspect local context around the failing line. For routes, inspect the packet, validator, and kill gate.
- Verify assumptions with tools: path, version, input shape, validator command, budget, public source, and stop condition.
- Invert the main assumption. If the route is assumed alive, try to kill it. If a bug is assumed local, check the caller, fixture, and validator.
- Produce three materially different hypotheses, not three parameter tweaks.
- Execute the smallest bounded check that creates new evidence.
- Close the loop: record what passed, what failed, what was killed, and what must not be retried.
Output
Return this block before the next major action:
PIP discipline:
- Failure mode:
- Repeated assumption:
- Evidence read:
- Verified facts:
- Three different hypotheses:
- Next bounded check:
- Kill gate:
- Completion evidence required:Completion gate
Do not say a route, patch, dashboard, or note is complete until the relevant check has been run or the missing check is named as a blocker.
For this repo, useful completion evidence includes:
scripts/redaction-check.shscripts/check-public-harness.sh- fixture dashboard preview using demo/public data only
- route packet fields filled with owner, validator, budget, and stop condition
- public-note language that avoids win claims unless the submit gate is met
Exit report
If the route still cannot advance after the protocol, return a structured handoff instead of a vague failure:
- verified facts,
- excluded possibilities,
- smallest remaining uncertainty,
- next public check,
- exact private boundary, if any,
- reason to proceed, park, kill, or request human review.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

