bvandeusenandClaude Fable 5
ba0030e51d
CI & Build / Python lint (push) Successful in 5s
CI & Build / Plugin hooks (push) Successful in 13s
CI & Build / integration (push) Failing after 34s
CI & Build / TypeScript typecheck (push) Successful in 35s
CI & Build / Python tests (push) Successful in 1m17s
CI & Build / Build & push image (push) Successful in 48s
Shapes now carry a content fingerprint (signature + whitespace/comment- insensitive body_sha; migration 0080) and the proposer runs inside the coverage refresh, the one moment bodies exist: symbol elsewhere → textual containment → body references the canon → signature resemblance → semantic (capped per refresh, unreached rows stay unexamined for the next). A hit is a proposal on the row (proposed_snippet_id/basis/score), never a classification; rows with no canon hit group by the derive-first rule (identical body in ≥2 places, same name in ≥3 files) as proposal_basis= derive + a group key. list_shapes(proposal=any|canon|derive|<basis>) is the queue; confirm_shape_proposals(project_id, snippet_id|path|basis) confirms in batches as agent instances; any classify_shapes/hook stamp retires the proposal. Readout carries proposed + derive_groups (line, payload, card). Plugin 0.1.35 (skill: the machine proposes, judgment classifies). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
55 lines
2.2 KiB
Python
55 lines
2.2 KiB
Python
"""Shape fingerprints + the mechanical proposer's columns (#2792, milestone 294)
|
|
|
|
Revision ID: 0080
|
|
Revises: 0079
|
|
Create Date: 2026-08-21
|
|
|
|
Two additions to the ledger. `signature` / `body_sha` fingerprint each shape
|
|
(definition line + a whitespace/comment-insensitive hash of its block) so the
|
|
proposer can match on content and a later drift recheck can notice change,
|
|
without the ledger ever storing code. The proposal columns carry the
|
|
proposer's standing suggestion for an unclassified row — instance-of-#N with
|
|
a basis and score, or a derive-first group key — and `proposed_sha`
|
|
remembers the content it was judged at so a refresh re-examines only what
|
|
changed. Mechanical and recomputable: a restore that lacks them loses
|
|
nothing the next refresh does not rebuild.
|
|
"""
|
|
import sqlalchemy as sa
|
|
from alembic import op
|
|
|
|
revision = "0080"
|
|
down_revision = "0079"
|
|
branch_labels = None
|
|
depends_on = None
|
|
|
|
|
|
def upgrade() -> None:
|
|
op.add_column("code_shapes", sa.Column("signature", sa.Text(), nullable=False, server_default=""))
|
|
op.add_column("code_shapes", sa.Column("body_sha", sa.Text(), nullable=False, server_default=""))
|
|
op.add_column(
|
|
"code_shapes",
|
|
sa.Column(
|
|
"proposed_snippet_id",
|
|
sa.BigInteger(),
|
|
sa.ForeignKey("notes.id", ondelete="SET NULL"),
|
|
nullable=True,
|
|
),
|
|
)
|
|
op.add_column("code_shapes", sa.Column("proposal_basis", sa.Text(), nullable=True))
|
|
op.add_column("code_shapes", sa.Column("proposal_score", sa.Float(), nullable=True))
|
|
op.add_column("code_shapes", sa.Column("proposal_group", sa.Text(), nullable=True))
|
|
op.add_column("code_shapes", sa.Column("proposed_at", sa.DateTime(timezone=True), nullable=True))
|
|
op.add_column("code_shapes", sa.Column("proposed_sha", sa.Text(), nullable=False, server_default=""))
|
|
op.create_index(
|
|
"ix_code_shapes_proposed", "code_shapes", ["project_id", "proposed_snippet_id"]
|
|
)
|
|
|
|
|
|
def downgrade() -> None:
|
|
op.drop_index("ix_code_shapes_proposed", table_name="code_shapes")
|
|
for col in (
|
|
"proposed_sha", "proposed_at", "proposal_group", "proposal_score",
|
|
"proposal_basis", "proposed_snippet_id", "body_sha", "signature",
|
|
):
|
|
op.drop_column("code_shapes", col)
|