Hard rules hold; soft rules bend with receipts.

teleon.dev/docs/rules keeps a five-level constraint hierarchy. Levels 1 to 3 are hard invariants; levels 4 and 5 hold 24 falsifiable soft rules that an agent may bend when it files a deviation receipt.

v46.0teleon.dev/docs/rulesRule hierarchyhttpsjsonmcp

Read the docs Copy the agent prompt

The five levelsSpec V50

1Level 1hard invariantHard

2Level 2hard invariantHard

3Level 3hard invariantHard

4Level 4soft rule, bends with a receiptSoft

5Level 5soft rule, bends with a receiptSoft

Hard levels hold for every task. A soft rule bends when the trade is worth it, and each bend leaves a receipt with its slack, penalty and guard.

What it does

Five levels, two kinds

Levels 1 to 3 always hold. Levels 4 and 5 are soft rules, solved with MaxSMT slack variables and penalty weights.

A receipt for every bend

Each receipt records the rule, the slack used, the penalty, a Pareto justification and a compensating guard.

Three boundary tiers

Some actions always run, some ask a person first, and a fixed list stays prohibited.

The contract

A deviation receipt names the task, the soft rule and its level, the slack, the penalty weight, the justification and the compensating guard.

HierarchyLevels 1 to 3 hard, levels 4 and 5 soft

Soft rulesSR-01 to SR-24, store S237

BoundariesALWAYS DO, ASK FIRST, NEVER DO, S241

Also here16 golden practices, AgentLint, 55-surface harmonizer

Identifiers

teleon_soft_rule_deviation_receipts
SoftRuleDeviationReceipt

Execution contracts

Request and responseCopy

GET /v1/rules/receipts?task=0192d1a6-...-77ab
Host: api.teleon.dev

# Response
{
  "receipt_id": "0192d1a7-...-3c90",
  "soft_rule_code": "SR-09",
  "hierarchy_level": 4,
  "slack_variable_xi": 0.15,
  "penalty_weight_wk": 2.5,
  "pareto_justification": {"latency_ms": -310, "cost_cents": 1},
  "compensating_guard_code": "GUARD_SECOND_CHECK"
}

Endpoints

Method	Path	Access	What it does
`GET`	`/v1/rules`	RING-3	Read the hierarchy, soft rules and boundary tiers
`POST`	`/v1/rules/lint`	RING-2	Run AgentLint on an agent's plan or files
`POST`	`/v1/rules/receipts`	RING-2	File a deviation receipt for a soft rule
`GET`	`/v1/rules/receipts`	RING-1	Audit receipts by rule, task or guard

Listed paths appear in the service’s published files today. This surface comes from the Teleon Omnibus Codex v1.0 to v50.0, Oct 25, 2026. In the one-host plan every path here is served under api.teleon.dev/v1/rules.

How it connects

Reads from

Anti-pattern curesteleon.dev/docs/smells Welfare councilteleon.dev/docs/council Working-directory kitsteleon.dev/docs/kits

Feeds into

Auditorsteleon.dev/docs/auditors Fiduciary gatesteleon.dev/docs/gates BotFabricteleon.dev/docs/botfabric

Queuesaq721-aq750

StoresS237 24 Falsifiable Soft Rules SR-01 to SR-24 S238 Soft-Rule Deviation Receipts S239 Dynamic Contextual Adjustments S240 16 Golden Best Practices S241 Three-Tier Boundaries S243 AgentLint S244 55-Surface Harmonizer

For agents

Give your agent the read-only guide first. It reports back before any write.

Agent prompt

Read https://teleon.dev/docs/rules.md and list the soft rules at level 4 with their penalty weights. Read only.

Copy

llms.txt Agent card MCP card

Words on this page

Full glossary

Soft rule: A rule at level 4 or 5 of the hierarchy. An agent may bend it by filing a receipt with the slack used, the penalty and a compensating guard.
MaxSMT: Maximum satisfiability modulo theories: a solver keeps every hard rule and satisfies as much of the weighted soft rules as it can.
Boundary tier: One of three action tiers for agents: actions they always take, actions that ask a person first, and a fixed list of prohibited actions.