Skip to content

feat(api): extract helper requirements in FromELF#12

Merged
leodido merged 1 commit into
mainfrom
codex/fromelf-v2-helpers
Feb 15, 2026
Merged

feat(api): extract helper requirements in FromELF#12
leodido merged 1 commit into
mainfrom
codex/fromelf-v2-helpers

Conversation

@leodido
Copy link
Copy Markdown
Owner

@leodido leodido commented Feb 15, 2026

Summary

  • extend FromELF extraction to include helper-per-program requirements from built-in helper call instructions
  • keep deterministic output via dedupe + stable sorting of program types, map types, and helper requirements
  • keep fail-closed behavior for unsupported/unknown helper IDs
  • update API docs to reflect helper extraction scope

Validation

  • go test -count=1 ./...
  • go vet ./...

Scope

  • v2 step 1 only: helper extraction
  • no map filtering or strict/lenient mode yet

@leodido leodido changed the title feat(api): extract helper requirements in FromELF feat(api): extract helper requirements in FromELF Feb 15, 2026
@leodido leodido self-assigned this Feb 15, 2026
@leodido leodido merged commit 584940e into main Feb 15, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant