# Refactor Contract Template

## Contract Identity

- Feature or protocol:
- Canonical entrypoint:
- Supported callers:

## Input Shape

- Required inputs:
- Optional inputs:
- Invalid inputs:

## Result Shape

- Success result:
- Error result:
- Unsupported result:

## Shared Guarantees

- Naming rule:
- Ownership rule:
- Fail-fast rule:
- Generated/runtime alignment rule:

## Exceptions

| Exception | Scope | Required evidence |
| --- | --- | --- |
| | | |