Skip to content

Share compiler crash detection across Python conformance checks - #542

Open
charliermarsh wants to merge 2 commits into
mainfrom
charlie/codex-toucan-oracle-crashes
Open

Share compiler crash detection across Python conformance checks#542
charliermarsh wants to merge 2 commits into
mainfrom
charlie/codex-toucan-oracle-crashes

Conversation

@charliermarsh

@charliermarsh charliermarsh commented Sep 11, 2026

Copy link
Copy Markdown
Member

A compiler driver could report a crashed child with exit code 1 and satisfy the generated-binding gate's expected rejection. We share crash-diagnostic detection across the Python conformance checks, inspect both output streams, and reject unexpected exit statuses before treating a result as a source diagnostic. Conformance source identities include the shared classifier and detect changes during an audit.

Regression coverage replays the captured Clang frontend failure through the actual gate, rejects mid-run classifier changes, and checks standalone imports with Python safe-path mode. Python harness tests, three incorrect-frontend fault cases, a native Csmith control, and independent generated C/Rust audits pass.

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