feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder #1388

	name: 'PR Summary'

	# Summary runs on every PR update (open + each new commit). It is SAFE under
	# pull_request_target — the OpenRouter secret and write token are in scope even
	# for fork PRs — because it never builds or executes PR code: it reads the diff
	# and committed source as data, and reads its policy file from the BASE ref (S4).
	on:
	pull_request_target:
	types: [opened, synchronize, reopened]

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
	cancel-in-progress: true

	permissions:
	contents: read
	pull-requests: write
	issues: read

	jobs:
	summarize:
	runs-on: ubuntu-latest
	steps:
	- name: Generate PR Summary
	uses: alexanderlhicks/lean4repo-utils/summary@0.3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	api_key: ${{ secrets.OPENROUTER_KEY }}
	github_repository: ${{ github.repository }}
	pr_number: ${{ github.event.pull_request.number }}
	validate_title: 'true'
	upstream_path: 'ArkLib/ToMathlib/'
	# Default model (deepseek/deepseek-v4-flash). additional_instructions_path
	# defaults to CONTRIBUTING.md (read from the base ref) when unset.

Navigation Menu