CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

bound

The user cannot yet see what a task needs decided, or what to keep or entrust: they can then see each decision, what rests on it, its cost if wrong, what settled it, and what stays open and with whom.

Quality

51%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Low

Low-risk findings worth noting

Fix and improve this skill with Tessl

tessl review fix ./horismos/skills/bound/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

42%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

The body is a densely specified, internally consistent behavioral contract with a genuine conditional reference and a full round-based flow, but it buries its operational guidance under a ~450-line inline Lean formalization and restates every invariant across four overlapping layers. It reads as a specification for a proof engine more than an operational skill. Splitting the formal contract into a reference file, consolidating the restatements, and adding one worked example would substantially improve all four dimensions.

Suggestions

Move the Lean contract block into a reference file (e.g. references/contract.lean) and keep SKILL.md to the operational Protocol, Rules, and a short summary of the contract's reading, inverting the current ~450/150 line ratio.

Consolidate the four overlapping restatements (Definition bullets, FLOW/MORPHISM comments, Protocol bullets, Rules) so each invariant — acceptance, owed-turn, entrustment reach, reopening — appears once as the normative statement with the others as pointers.

Add one worked example: a sample task, a two-entry boundary map round as it would be presented to a user, and the converge output showing record, residual, and limits — this gives the abstract rules a concrete executable shape.

DimensionReasoningScore

Conciseness

The same invariants are restated across four layers — the Definition bullet ("The boundary stands in one of two ways — the user accepts it as it stands, at that depth..."), the FLOW comment, the Protocol bullet ("When the user accepts the boundary as it stands and no turn of theirs is still owed, stop at that depth"), and the Closing rule — with 100+ word sentences throughout the ~600-line body. The material is novel vocabulary rather than pre-known concepts, so anchor 1 does not fit, but the redundant restatement and padding clearly match anchor 2.

2 / 5

Actionability

The Protocol section gives specific behavioral directives ("At the first round, show the relevant whole draft before asking the user to choose its applicable parts"; "When the user opens an axis, show the concrete content, assumptions, alternatives, and dependent consequences") and the Lean block is declared executable ("It is core Lean 4 and elaborates as written"), but no worked example of a round, a map entry, or a sample dialogue appears anywhere. Anchor 3 ("some concrete guidance but incomplete... missing key details") fits; anchor 4 would require examples covering the common cases.

3 / 5

Workflow Clarity

A complete sequence exists (observe → readout → present whole map → rounds → converge) with checkpoints encoded in `owed`, `awaits`, and "nothing is committed from the unsettled reading", and the skill is neither destructive nor batch so no cap applies. However, the sequence is scattered across the `bound`/`status` definitions, the FLOW comment, and Protocol bullets, and many checkpoints are implicit rather than stated as validate-and-branch steps, matching anchor 3 rather than anchor 4's clearly sequenced checkpoints.

3 / 5

Progressive Disclosure

There is one real, well-signaled, one-level-deep reference — "read `references/round-composition.md` before presenting it" (the file exists and is conditionally loaded) — which exceeds anchor 3's unclear-signaling bar. But the ~450-line Lean contract is inlined wholesale in SKILL.md, which is exactly the "content that should be separate is inline" pattern, keeping it at anchor 3 rather than 4.

3 / 5

Total

11

/

20

Passed

Description

37%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

The description states both a trigger condition and deliverables, but in a single dense, stylized sentence that names outcome states instead of concrete actions and uses phrasing a user would not naturally produce. It is distinguishable from other skills yet weak as a trigger matcher. Rewriting it with plain action verbs and natural trigger phrases would move it up across all dimensions.

Suggestions

Rewrite in third-person action form naming what the skill does, e.g. "Constructs a whole map of a task's decisions, obligations, assumptions, and dependencies, showing for each what rests on it, the cost of a wrong call, what settled it, and what remains open and who settles it."

Add natural trigger phrasing users would actually say, such as "Use when a task's decisions or scope are unclear, when deciding what to keep vs. delegate, or when the user asks what needs to be decided before work starts."

Avoid the negative-state framing ("cannot yet see") as the opening; lead with the capability and let the condition follow as an explicit 'Use when' clause.

DimensionReasoningScore

Specificity

Phrases like "they can then see each decision, what rests on it, its cost if wrong, what settled it" enumerate outcome states rather than concrete actions the skill performs, and no domain-naming verb-first action list appears. It sits above anchor 1 (several specific deliverables are named) but below anchor 3, which expects 1-2 concrete actions.

2 / 5

Completeness

Both parts are explicitly present — "The user cannot yet see what a task needs decided, or what to keep or entrust" states when, and "they can then see each decision... and what stays open and with whom" states what. Anti-drift check against anchor 4: that anchor expects a crisp what plus an explicit when, whereas here both are delivered through one convoluted negative-condition sentence with no concrete trigger phrases, so it falls below 4 while exceeding anchor 3's "when only weakly implied" in presence but not in clarity.

3 / 5

Trigger Term Quality

Terms like "what a task needs decided", "what to keep or entrust", and "what stays open" are topical but phrased so stylized that users would rarely say them verbatim, and common natural variants (scope, boundary, delegate, requirements) are absent. Anchor 2 ("one or two generic keywords; missing the natural phrases users say") is the best fit.

2 / 5

Distinctiveness Conflict Risk

The entrustment/decision-record framing ("what settled it, and what stays open and with whom") carves a distinct niche from document- or data-processing skills, but it overlaps planning/scoping skills and the unnatural trigger phrasing makes correct matching uncertain. Anchor 3 ("somewhat specific but could still overlap with similar skills") fits; the niche is too narrow for anchor 2 and not clean enough for anchor 4.

3 / 5

Total

10

/

20

Passed

Validation

93%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 15 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

skill_md_line_count

SKILL.md is long (605 lines); consider splitting into references/ and linking

Warning

Total

15

/

16

Passed

Repository

jongwony/epistemic-protocols

Path

horismos/skills/bound/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.