3 supported public-file passes
Copied public inputs landed inside the documented SQLAlchemy automation subset.
Public proof
Public SQLAlchemy migration proof for the supported cleanup subset, including validated supported files and fail-closed manual-review examples.
Copied public inputs landed inside the documented SQLAlchemy automation subset.
Risky execution and query-shape patterns were reported instead of guessed through.
The proof covers the narrow legacy query and syntax subset, not every SQLAlchemy 2.0 change.
Trust boundary
Supported examples
Query.get plus declarative import cleanup
supported and validated on copied public input
select([table]) list syntax cleanup
supported and validated on copied public input
Query.get plus string loader cleanup
supported and validated on copied public input
Fail-closed examples
engine.execute(...)
manual_review_required
Query.from_self()
manual_review_required
Artifact trail
from sqlalchemy.ext.declarative import declarative_base
Base = declarative_base()
job = session.query(Job).get(job_id)
stmt = select([Job.id, Job.name])
{
"status": "preview_only",
"transform_count": 3,
"supported_candidates": {
"declarative_imports": 1,
"query_get": 1,
"select_list_syntax": 1
},
"manual_todos": []
}
-from sqlalchemy.ext.declarative import declarative_base
+from sqlalchemy.orm import declarative_base
-job = session.query(Job).get(job_id)
+job = session.get(Job, job_id)
-stmt = select([Job.id, Job.name])
+stmt = select(Job.id, Job.name)
validation:
python -m compileall copied_public_input ... passed
scanner report generated ... passed
unsupported findings ... 0
apply output:
files changed: 1
transforms applied: 3
report written: migration-report.json
mode: preview/apply branch workflow
manager summary:
supported cleanup findings: 3
manual-review findings: 0
next step: run the same workflow on a branch, then validate with repo tests
boundary: no broad SQLAlchemy migration guarantee
final report:
files scanned: 1
files changed: 1
transforms applied: declarative_imports, query_get, select_list_syntax
confidence: supported subset, validation required before merge
This is the visible evidence shape buyers should expect: before input, scanner JSON, preview diff, apply output, validation status, and final manager summary. The paid pack still has to be run on a branch and validated in the buyer's repo.