design-with-known-limits
Design systems with explicit correctness limits, failure modes, and operational assumptions instead of automatically engineering every weakness away.
Skill by kasofsk
Chalk Labs
Need help deploying design-with-known-limits?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/kasofsk-design-with-known-limits
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: design
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/design-with-known-limits
What's inside
- Skill name
design-with-known-limits- Description
- Design systems with explicit correctness limits, failure modes, and operational assumptions instead of automatically engineering every weakness away. Use when reviewing reliability gaps, edge cases, retry windows, capacity bounds, SLAs, hardening proposals, or whether a risk deserves code, operations, documentation, or acceptance.
- License
- MIT
- Instructions
- 66 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
SKILL.md (first lines)
# Design With Known Limits ## Core principle A sound system does not have to be perfect. It has to be honest about where its correctness ends, what happens beyond that boundary, and who has accepted the risk. Do not automatically turn every discovered weakness into code. A fix consumes design time, implementation effort, complexity, runtime cost, and future maintenance. Those costs may exceed the expected harm, especially early in a project or where an operational control already makes the risk acceptable. ## State the correctness envelope Describe guarantees together with the conditions that make them true: retry windows, retention periods, traffic bounds, singleton ownership, recovery time, trusted inputs, or operator procedures. Name what the system does outside those conditions. A documented limit is part of the design; a silent limit is a bug waiting to be misclassified. Distinguish among: - an invariant the system must preserve; - a guarantee conditional on an SLA or operational assumption; - a detected failure that stops safely; - an accepted risk that may produce a known degraded outcome. Do not describe a conditional guarantee as absolute, and do not call an unmeasured hope an operational assumption. ## Price the fix and the risk For each weakness, compare the credible impact and likelihood with the full lifecycle cost of fixing it. Include the complexity the fix adds to the correctness argument itself. A mechanism that closes one rare edge case while creating more state, coordination, and recovery paths can make the overall system less dependable. Prefer the least expensive control that brings risk inside the operator's tolerance. Depending on the system, that may be code, configuration, monitoring, an alert, a runbook, a capacity limit, an SLA, or explicit acceptance. Revisit the choice when scale, exposure, reversibility, or business impact changes. ## Trust operator judgment Present operators with the limit, consequence, observability, mitigation, and cost of stronger protection. Let them decide which risks justify investment. Do not silently spend complexity to pursue theoretical completeness, and do not silently accept a risk whose consequence the operator has not been given a fair chance to evaluate. Operator acceptance is not a waiver for hidden data loss, security boundaries, or irreversible harm. The higher the impact and the harder the failure is to detect or recover from, the stronger the evidence and explicit agreement should be. ## Why this matters Engineering is allocation under uncertainty. Treating every imperfection as a mandatory fix produces expensive systems whose complexity outruns their needs. Treating every limit as harmless produces fragile systems nobody understands. Known limits, explicit risks, and deliberate operator choices keep correctness claims honest while preserving room to invest where it matters most.
From kasofsk/blessed-practices, MIT.
More from kasofsk/blessed-practices
- 0.524score
comments-describe-the-code
kasofsk
Write comments about the code itself, never about the prompt, conversation, or moment that produced it — and treat a long justifying comment as a signal the…
SkillBFreshness: BClaude Code +9 - 0.524score
diminishing-returns
kasofsk
Pursue the highest-value work first and stop when the expected value of the next improvement no longer justifies its full cost.
SkillBFreshness: BClaude Code +9 - 0.524score
domain-modelling
kasofsk
Shape the contents of the domain core — ubiquitous language, aggregates as consistency boundaries, entities versus value objects, making illegal states…
SkillBFreshness: BClaude Code +9 - 0.524score
fix-the-assumption-not-the-hack
kasofsk
When a new feature invalidates an assumption the current design rests on, rethink the pattern rather than land a tweak that technically satisfies the request.
SkillBFreshness: BClaude Code +9 - 0.524score
idiomatic-by-default
kasofsk
Take the community-standard path for the language, framework, or ecosystem unless there is an articulable reason not to, and don't escalate a decision the…
SkillBFreshness: BClaude Code +9 - 0.524score
illegal-states-unrepresentable
kasofsk
Make illegal states unrepresentable with precise types, discriminated variants, and boundary parsing.
SkillBFreshness: BClaude Code +9 - 0.524score
layering
kasofsk
Decide where code goes and which way its dependencies point — inward-pointing source dependencies, what the domain, application, adapter and infrastructure…
SkillBFreshness: BClaude Code +9 - 0.524score
modular-and-layered-code
kasofsk
Architect so a future agent can act at a single layer — strict tested contracts between layers, testing concentrated at domain boundaries, pure logic kept…
SkillBFreshness: BClaude Code +9 - 0.524score
push-back-and-verify-assumptions
kasofsk
Treat the operator as a fellow engineer — challenge naive or wrong premises, state assumptions explicitly, keep asking until they are right, and stop rather…
SkillBFreshness: BClaude Code +9 - 0.524score
write-the-present-not-the-diff
kasofsk
Write prose that states what is true now, without narrating the correction, the superseded claim, or the path that got there.
SkillBFreshness: BClaude Code +9 - 0.494score
dependencies
kasofsk
Add, remove, upgrade, or pin a dependency with the ecosystem's package manager instead of hand-editing the manifest.
SkillBFreshness: BClaude Code +9
Signals
- Stars
- 0
- Forks
- 1
- Open issues
- 0
- Last commit (this folder)
- Aug 30, 2026 (2 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- MIT
- Repository
- github.com/kasofsk/blessed-practices
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from kasofsk
- 0.524score
comments-describe-the-code
kasofsk
Write comments about the code itself, never about the prompt, conversation, or moment that produced it — and treat a long justifying comment as a signal the…
SkillBFreshness: BClaude Code +9 - 0.524score
diminishing-returns
kasofsk
Pursue the highest-value work first and stop when the expected value of the next improvement no longer justifies its full cost.
SkillBFreshness: BClaude Code +9 - 0.524score
domain-modelling
kasofsk
Shape the contents of the domain core — ubiquitous language, aggregates as consistency boundaries, entities versus value objects, making illegal states…
SkillBFreshness: BClaude Code +9 - 0.524score
fix-the-assumption-not-the-hack
kasofsk
When a new feature invalidates an assumption the current design rests on, rethink the pattern rather than land a tweak that technically satisfies the request.
SkillBFreshness: BClaude Code +9 - 0.524score
idiomatic-by-default
kasofsk
Take the community-standard path for the language, framework, or ecosystem unless there is an articulable reason not to, and don't escalate a decision the…
SkillBFreshness: BClaude Code +9 - 0.524score
illegal-states-unrepresentable
kasofsk
Make illegal states unrepresentable with precise types, discriminated variants, and boundary parsing.
SkillBFreshness: BClaude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get design-with-known-limits running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
design-with-known-limits skill. Agent Mart. https://agentmart.dev/skills/kasofsk-design-with-known-limits (last updated 2026-10-24)