generate_migration
Generate a migration file (SQL, Alembic, EFCore) from a verified index record, embedding evidence as a comment and using CREATE INDEX CONCURRENTLY. Refuses non-accepted verdicts unless overridden.
Instructions
Generate a migration FILE from a verify_index verification record (formats: sql, alembic, efcore). The measured evidence is embedded as a comment; CREATE INDEX runs CONCURRENTLY. Refuses non-ACCEPT verdicts unless allow_unverified=true, and that override is stamped into the comment permanently. pgverdict never executes migrations — save the content where the user's migration pipeline expects it.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| format | No | sql | |
| profile | Yes | ||
| verification_id | Yes | ||
| allow_unverified | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||