feat: Synthesis Engine (C1+C2), Idris2 contract + validation boundary (C3), research mode, dedup wired#51

Merged

hyperpolymath merged 11 commits into

mainfrom

claude/feedback-o-tron-boj-integration-4iuxyt

Jul 17, 2026

Commits on Jul 16, 2026

fix(dedup): extract TextSimilarity, correct the Jaro-Winkler mislabel
claude
committed
feat(forms): GitHub issue forms (bug.yml, feature.yml) — C1 prerequisite
claude
committed
feat(synthesis): the Synthesis Engine — C1+C2 (template fetch, intent, hydration, research mode)
claude
committed
feat(tools): research_feedback + synthesize_feedback on every front door; validated submissions
claude
committed
feat(abi): real Idris2 contract spec for the clean-payload boundary — C3
claude
committed
docs: retire the honesty debt; state the goal; update the pipeline reality table
claude
committed
fix(ci): fail-safe change detector — git tree diff instead of gh api
claude
committed
fix: underscore two unused variables that break --warnings-as-errors
claude
committed
style: add .formatter.exs and mix-format the tree
claude
committed
fix(submitter): dry runs no longer require credentials
claude
committed

Commits on Jul 17, 2026

Merge branch 'main' into claude/feedback-o-tron-boj-integration-4iuxyt
hyperpolymath
authored