mirror of
https://github.com/openprose/prose.git
synced 2026-09-19 05:55:05 +08:00
irl-dan
677b1654b5
- SKILL.md: route lint, preflight, inspect, status as sugar for std programs - prose.md: add environment: as sixth contract section with VM verification - forme.md: propagate environment declarations through wiring to manifest - help.md: update command reference - Replace prose-compile with prose-lint, add preflight/inspect/status commands - Remove compile, wire, migrate, eval as top-level commands Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
892 B
892 B
description, argument-hint
| description | argument-hint |
|---|---|
| Validate structure, schema, shapes, and contracts of an OpenProse program | <file.md> |
Lint and validate the OpenProse program at: $ARGUMENTS
This command is sugar for prose run std/ops/lint -- target: <file.md>. It validates:
- Structure — well-formed YAML frontmatter, correct
kinddeclarations - Schema — contract sections (
requires,ensures,errors,invariants,strategies,environment) are syntactically valid - Shapes —
shapedeclarations (self, delegates, prohibited) are consistent with the services list - Contracts —
requires↔ensuresrelationships are resolvable across the dependency graph
Reports errors and warnings with file paths and section names. Does NOT execute the program.
If no file is specified, look for .md program files in the current directory and ask which one to lint.