#contract-driven-development

Results

• OS
  grace-plan

  Read an approved GRACE 4 GraceChangeSpec and optional design context, then create a GraceChangePlan with assertions, scopes, tasks, and…

  osovvInstructions only
  →
• OS
  grace-init

  Bootstrap a Full GRACE 4 project by creating the canonical .grace context, graph, verification, and changes skeleton

  osovvInstructions only
  →
• OS
  grace-migrate

  Agent-applied GRACE 3 to GRACE 4 migration workflow.

  osovvInstructions only
  →
• OS
  grace-spec

  Interview the user and create an approved GRACE 4 GraceChangeSpec plus optional design-context.xml inside .grace/changes/active/C-*/

  osovvInstructions only
  →