Chore/cicd optimizations#8
Merged
Merged
Conversation
…ooling Refine workflow permissions from read-all to granular contents:read across all 21 CI/CD workflows. Add FFI wrapper modules and integration test for GraphQL/gRPC/REST interfaces. Expand training corpus with Metamath, CoqGym, and mathlib4 extraction scripts (Julia + Python tooling). Add algebra proof examples for Coq, Isabelle, and Lean. Update .gitignore for external corpora and large intermediate training artifacts. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
hyperpolymath
pushed a commit
that referenced
this pull request
Apr 20, 2026
Addresses panic-attack security scan findings: Task #7 (Critical): believe_me type checker bypass - FINDING: False positive - only in tests/docs, not production code - ECHIDNA axiom tracker designed to DETECT and REJECT believe_me Task #8 (High): 24 unsafe blocks in ffi/mod.rs - All blocks properly documented with SAFETY comments - Necessary for C FFI interop (Zig layer) - Added module-level safety justification & audit status - Follows Rust FFI best practices (Rustonomicon) Task #9 (High): 7 unsafe blocks in proof_search.rs - All blocks feature-gated (optional Chapel FFI) - All properly documented with SAFETY comments - Null pointer checks before all dereferences - Falls back to 100% safe SequentialSearch if Chapel unavailable Unsafe code in FFI modules is NECESSARY and LEGITIMATE for: - C ABI interop (raw pointers, extern "C") - Manual memory management across FFI boundary - Converting C strings to Rust strings All unsafe usage follows Rust safety guidelines. Test results: 232/232 tests passing ✓ Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
hyperpolymath
added a commit
that referenced
this pull request
Apr 20, 2026
Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
hyperpolymath
pushed a commit
that referenced
this pull request
Apr 20, 2026
Addresses panic-attack security scan findings: Task #7 (Critical): believe_me type checker bypass - FINDING: False positive - only in tests/docs, not production code - ECHIDNA axiom tracker designed to DETECT and REJECT believe_me Task #8 (High): 24 unsafe blocks in ffi/mod.rs - All blocks properly documented with SAFETY comments - Necessary for C FFI interop (Zig layer) - Added module-level safety justification & audit status - Follows Rust FFI best practices (Rustonomicon) Task #9 (High): 7 unsafe blocks in proof_search.rs - All blocks feature-gated (optional Chapel FFI) - All properly documented with SAFETY comments - Null pointer checks before all dereferences - Falls back to 100% safe SequentialSearch if Chapel unavailable Unsafe code in FFI modules is NECESSARY and LEGITIMATE for: - C ABI interop (raw pointers, extern "C") - Manual memory management across FFI boundary - Converting C strings to Rust strings All unsafe usage follows Rust safety guidelines. Test results: 232/232 tests passing ✓ Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.