Skip to content

Contracts External Command

Parse an untrusted command into valid semantic values before it enters trusted application state.

Generated example

This page is generated from evaluations/scenarios/contracts-external-command.yaml. The scenario YAML remains the executable source of truth.

Request

Repository evidence

No repository signals.

Expected resolution

Resolution layer Expected
Profile —
Modifiers —
Language adapters —
Framework adapters —

Normalized context

{}

Skill modes

None.

Conflict decisions

None.

Significant decisions

None.

Principles under test

Forbidden outcomes

  • Trust a static declaration as runtime evidence.
  • Construct a partially valid command.

Scenario source

schema_version: 0.10.0
id: contracts-external-command
description: Parse an untrusted command into valid semantic values before it enters
  trusted application state.
input:
  skill: contracts-and-errors
  mode: strict-boundaries
  task: Accept an external command containing identifiers, quantities, and optional
    values.
expected:
  active_principles:
  - parse-dont-validate
  - fail-fast
  - make-illegal-states-unrepresentable
  constrained_principles:
  - postels-law
  suppressed_principles: []
forbidden:
- Trust a static declaration as runtime evidence.
- Construct a partially valid command.
principles_under_test:
- parse-dont-validate
- fail-fast
- make-illegal-states-unrepresentable
- postels-law