/scaffold

Generate a SLOP scaffold for: $ARGUMENTS

Generate a SLOP scaffold for: $ARGUMENTS

## Instructions

Create SLOP code where implementations are stubbed out using `(hole ...)` expressions. Follow these rules:

### Structure
1. Include the module declaration with appropriate exports
2. Define all necessary types (records, enums, unions) with full specifications
3. For each function, provide complete annotations but stub the body with a hole

### Required Annotations (do not stub these)
- `@intent` - Human-readable purpose
- `@spec` - Full type signature
- `@pre` - Preconditions (when applicable)
- `@post` - Postconditions using `$res...