Skip to content

test: independently qualify composed IQ pilots across two snapshots - #55

Merged
jlucaso1 merged 78 commits into
mainfrom
test/composed-iq-qualification
Oct 8, 2026
Merged

jlucaso1 merged 78 commits into
mainfrom
test/composed-iq-qualification

Conversation

@jlucaso1

@jlucaso1 jlucaso1 commented Oct 7, 2026 •

Copy link
Copy Markdown
Member

Independent composed IQ qualification against main cf3291d. Published head: 5ac24f7.

The remaining delta contains #51's independent baseline (e9a1fb0), source-backed compiled fixtures for two snapshots, and unique Cargo example names preventing workspace output collisions. IQ production implementation, admission/version changes and the shared Cargo-bound fixture compiler are inherited from user-merged #53 and absent from this diff. #51 is the only remaining overlapping PR.

The initial main update at 3b5d8b9 preserved the complete tree of 92f2adf (9f27c2a351a0f3c58d25aea82fec34cedb558bd2). Subsequent commits improve independent oracles/evidence and clarify documentation; they are not tree-identical. Ancestry and the shared harness remain preserved.

Eight independently maintained groups per snapshot cover requests, empty/approval success, outcome order, invalid inputs, correlation, optional fields and absent/empty/UTF-8/non-UTF-8 error content. Expectations come from preserved Web bodies; only adapter/constructors are shared with the owner's fixture. The compiler binds to the exact offline Cargo artifact and selected rustc.

The baseline now checks exact IQ names/catalog/structure, MEX identity/catalog and complete variables shape/presence trees, plus pinned archive/source origins. MEX remains bounded input-variable triage: response selection and generated MEX response structs are not qualified. The response-coverage suggestion was explicitly scoped and documented. The compiled report's opening reflects passing pilots; earlier failures/counts/timings are retained as historical evidence.

Local validation across the integrated changes: both snapshot executables pass eight groups; runtime integration and compiler regressions pass; nineteen baseline Rust cases, nine Python checks, formatting and targeted Clippy pass. Codegen/harness and capture bytes are unchanged by the oracle follow-ups. All known threads are resolved. Final-head CI 37857012133 passed all three jobs on 2026-10-08 at 23:03 UTC. The final-head Codex review completed without findings. All threads are resolved and the PR is ready for review, verified at 23:07 UTC. No merge performed.

Conformance/admission documents retain historical workspace/schema/lint/determinism results, generation size/time and maintenance cost; those do not replace current-head CI. No fresh full recapture is claimed. This qualifies bounded reference fixtures/two IQ pilots, not all operations, an external client or live server. No bundle eval, real account, baseline relaxation, PR merge, release or closure of #54.

Later IQ oracle review: empty outer response assertions, outer/nested RPC parser identities and the three captured mixin-fragment diagnostics are now pinned. Three new mutation regressions fail before and pass after; only baseline tests/documentation changed. The final head independently passed all three CI jobs and review; prior-head results were not substituted.

@coderabbitai

coderabbitai Bot commented Oct 7, 2026 •

Copy link
Copy Markdown

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 1 minute.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: f5e851c6-3475-42d4-b1c7-18a3a79bae84
📥 Commits

Reviewing files that changed from the base of the PR and between cf3291d and 5ac24f7.

📒 Files selected for processing (89)
  • .github/workflows/ci.yml
  • crates/wa-appstate/examples/gen_appstate.rs
  • crates/wa-codegen/examples/gen_iq.rs
  • crates/wa-codegen/tests/fixtures/independent_iq_cases.rs
  • crates/wa-codegen/tests/independent_iq.rs
  • crates/wa-mex/examples/gen_mex.rs
  • crates/wa-mex/tests/independent_conformance.rs
  • crates/wa-proto/examples/gen_proto.rs
  • crates/wa-scan/tests/independent_conformance.rs
  • crates/wa-transform/examples/module_spans.rs
  • tests/conformance/2.3000.1045368834/WASmaxGroupsAcceptGroupAddRPC.js
  • tests/conformance/2.3000.1045368834/WASmaxGroupsSetSubjectRPC.js
  • tests/conformance/2.3000.1045368834/WASmaxInGroupsAcceptGroupAddResponseGroupJoinRequestSuccess.js
  • tests/conformance/2.3000.1045368834/WASmaxInGroupsAcceptGroupAddResponseSuccess.js
  • tests/conformance/2.3000.1045368834/WASmaxInGroupsIQResultResponseMixin.js
  • tests/conformance/2.3000.1045368834/WASmaxInGroupsSetSubjectResponseSuccess.js
  • tests/conformance/2.3000.1045368834/WASmaxOutGroupsAcceptGroupAddRequest.js
  • tests/conformance/2.3000.1045368834/WASmaxOutGroupsBaseIQSetRequestMixin.js
  • tests/conformance/2.3000.1045368834/WASmaxOutGroupsBaseSetGroupMixin.js
  • tests/conformance/2.3000.1045368834/WASmaxOutGroupsSetSubjectChangeSubjectMixin.js
  • tests/conformance/2.3000.1045368834/WASmaxOutGroupsSetSubjectRequest.js
  • tests/conformance/2.3000.1045368834/WAWebMexFetchNewsletterJob.js
  • tests/conformance/2.3000.1045368834/WAWebMexFetchNewsletterJobQuery.graphql.js
  • tests/conformance/2.3000.1045368834/provenance.json
  • tests/conformance/2.3000.1047483476/WASmaxGroupsAcceptGroupAddRPC.js
  • tests/conformance/2.3000.1047483476/WASmaxGroupsSetSubjectRPC.js
  • tests/conformance/2.3000.1047483476/WASmaxInGroupsAcceptGroupAddResponseGroupJoinRequestSuccess.js
  • tests/conformance/2.3000.1047483476/WASmaxInGroupsAcceptGroupAddResponseSuccess.js
  • tests/conformance/2.3000.1047483476/WASmaxInGroupsIQResultResponseMixin.js
  • tests/conformance/2.3000.1047483476/WASmaxInGroupsSetSubjectResponseSuccess.js
  • tests/conformance/2.3000.1047483476/WASmaxOutGroupsAcceptGroupAddRequest.js
  • tests/conformance/2.3000.1047483476/WASmaxOutGroupsBaseIQSetRequestMixin.js
  • tests/conformance/2.3000.1047483476/WASmaxOutGroupsBaseSetGroupMixin.js
  • tests/conformance/2.3000.1047483476/WASmaxOutGroupsSetSubjectChangeSubjectMixin.js
  • tests/conformance/2.3000.1047483476/WASmaxOutGroupsSetSubjectRequest.js
  • tests/conformance/2.3000.1047483476/WAWebMexFetchNewsletterJob.js
  • tests/conformance/2.3000.1047483476/WAWebMexFetchNewsletterJobQuery.graphql.js
  • tests/conformance/2.3000.1047483476/provenance.json
  • tests/conformance/README.md
  • tests/conformance/capture.py
  • tests/conformance/compiled/README.md
  • tests/conformance/compiled/capture_errors.py
  • tests/conformance/compiled/inputs/2.3000.1045368834.json
  • tests/conformance/compiled/inputs/2.3000.1047483476.json
  • tests/conformance/compiled/inputs/provenance.json
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsAcceptGroupAddClientErrors.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsAcceptGroupAddResponseClientError.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsAcceptGroupAddResponseServerError.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsBaseServerErrorMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorAlreadyExistsMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorBadRequestMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorFallbackClientMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorFallbackServerMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorInternalServerErrorMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorNotAcceptableMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorPartialServerErrorMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorResourceConstraintMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorResponseMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsIQErrorServiceUnavailableMixin.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsServerErrors.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsSetSubjectClientErrors.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsSetSubjectResponseClientError.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxInGroupsSetSubjectResponseServerError.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxParseReference.js
  • tests/conformance/compiled/sources/2.3000.1045368834/WASmaxParseUtils.js
  • tests/conformance/compiled/sources/2.3000.1045368834/provenance.json
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsAcceptGroupAddClientErrors.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsAcceptGroupAddResponseClientError.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsAcceptGroupAddResponseServerError.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsBaseServerErrorMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorAlreadyExistsMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorBadRequestMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorFallbackClientMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorFallbackServerMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorInternalServerErrorMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorNotAcceptableMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorPartialServerErrorMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorResourceConstraintMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorResponseMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsIQErrorServiceUnavailableMixin.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsServerErrors.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsSetSubjectClientErrors.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsSetSubjectResponseClientError.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxInGroupsSetSubjectResponseServerError.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxParseReference.js
  • tests/conformance/compiled/sources/2.3000.1047483476/WASmaxParseUtils.js
  • tests/conformance/compiled/sources/2.3000.1047483476/provenance.json
  • tests/conformance/origins.json
  • tests/conformance/test_capture.py
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

jlucaso1 commented Oct 7, 2026

Copy link
Copy Markdown
Member Author

@codex review

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 7, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-08T23:12:36.806326Z 5ac24f7 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@jlucaso1 jlucaso1 changed the title test: qualify composed IQ pilots with source-backed failing regression test: independently qualify composed IQ pilots across two snapshots Oct 7, 2026

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: a863bfb517

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread tests/conformance/test_capture.py Outdated
@greptile-apps

greptile-apps Bot commented Oct 7, 2026 •

Copy link
Copy Markdown

RetriggerConfidence Score: 5/5

[Low impact] The PR appears safe to merge; no blocking issue remains in the reviewed changes.

Summary

Adds independent checks for two IQ pilots across two snapshots, preserved source evidence, offline fixture checks, and unique Cargo example names.

  • Since the previous review, the IQ baseline also checks RPC parser names, empty outer guards, and the exact mixin exclusions.
  • The new expectations match the preserved sources and current generated IQ entries. No new actionable issue was found.
  • The three supplied, unnumbered threads are addressed: compiled evidence is checked, both snapshots include the shared server parser, and unknown merge operands clear earlier constant values.
  • Coverage remains limited to the two IQ pilots and MEX input variables. This review did not execute tests.

Diagram

%%{init: {'theme': 'neutral'}}%%
flowchart LR
  A[Preserved Web sources] --> B[Hand-reviewed expectations]
  A --> C[Fresh extraction]
  C --> D[Independent baseline checks]
  B --> D
  E[Selected IQ inputs from two snapshots] --> F[Generated Rust]
  F --> G[Cargo-bound fixture compilation]
  G --> H[Independent compiled cases]
  B --> H
  I[Pinned provenance and hashes] --> J[Offline CI integrity checks]
  A --> J
  E --> J
Loading

Reviews (18) · Last reviewed commit: "Merge branch 'test/independent-conforman..." · Reviewed by Greptile

Comment thread tests/conformance/test_capture.py Outdated
Comment thread tests/conformance/compiled/capture_errors.py
@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Delightful!

Reviewed commit: 3b5d8b903e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

@codex review

Final head e999716 incorporates the three newly reported #51 oracle/evidence findings. Explicit exports and exact source-capture catalog have failing-before/passing-after mutation regressions. Pinned origins.json binds the historical commits/archive digests to the existing capture evidence; no fresh download is claimed. Twelve baseline Rust cases, nine Python checks and formatting pass. Emitter, shared compiler, captured source bytes and prior provenance pins are unchanged. All three threads are answered/resolved. The prior review has completed; please review this final delta. CI must qualify this SHA.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 👍

Reviewed commit: e99971681a

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

@codex review

Final head 5c4ee44 adds the two subsequent #51 MEX oracle corrections: exact captured operation catalog and complete variables shape. Both new mutation regressions fail before and pass after; all fourteen baseline Rust cases, nine Python checks and formatting pass, with targeted MEX Clippy green. Shape names/structure are source-backed; scalar tags remain explicitly name-based approximations. Production MEX/emitter and captured evidence bytes are unchanged. The previous review completed, and both findings are answered/resolved. CI must qualify this final SHA.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 5c4ee44ac8

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread tests/conformance/compiled/README.md Outdated
Comment thread crates/wa-mex/tests/independent_conformance.rs Outdated

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

@codex review

Final head 684a48c incorporates the later #55 finding about complete MEX presence nodes. The oracle now compares the full literal tree, with nineteen structural mutations reproducing the preceding gap and passing after correction. Fifteen baseline Rust cases, nine Python checks, formatting and targeted MEX Clippy pass. The compiled report opening now reflects the passing eight-group suites and labels initial failures/pending steps as historical. Production code and source capture bytes are unchanged. Previous review completed; all known threads are resolved. Current-head CI remains required.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Swish!

Reviewed commit: 684a48c7e5

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

@codex review

Final head 9be0d75 pins reviewed MEX identity (name/query kind/persisted ID), with a failing-before/passing-after mutation regression. Sixteen Rust baseline cases, nine Python checks, formatting and targeted MEX Clippy pass. The response-tree suggestion is explicitly disposed as outside the assigned input-variable triage; README/test module make no claim to qualify MEX response extraction or generated response structs. No production defect there was reproduced. All threads are resolved with evidence or bounded disposition; previous reviews completed. Final-head CI remains required.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🚀

Reviewed commit: 9be0d758b1

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

Qualification status: final heads #51 33c2b3d and #55 9be0d75 have clean completed Codex reviews, successful CodeRabbit statuses and no open review threads. The final CI runs 37837165558 and 37837170355 were created at 20:08 UTC and remain queued after more than an hour, with no job steps started and attempt=1. A repository-level read found nine queued runs and none in progress. Cause is undetermined; no rerun, CI configuration change, readiness transition or merge was performed. Both PRs remain draft pending CI on these exact SHAs. Local evidence and bounded MEX-response exclusion are recorded in their descriptions.

@jlucaso1
jlucaso1 marked this pull request as ready for review October 8, 2026 22:12
@jlucaso1
jlucaso1 marked this pull request as draft October 8, 2026 22:21

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

The CI queue blocker is cleared. Both final-head runs completed successfully: #51 33c2b3d / https://github.com/oxidezap/whatspec/actions/runs/37837165558 and #55 9be0d75 / https://github.com/oxidezap/whatspec/actions/runs/37837170355. Each passed check, determinism and conformance-fixtures. Exact-head Codex reviews are clean, CodeRabbit is successful, and the readiness check found no conflicts or open review threads. Both PRs are now ready for review against main cf3291d. #55 still includes #51's independent baseline; the merged IQ implementation/shared harness are absent from its delta. No PR merge, release or closure of #54 was performed.

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

Qualification reopened: the ready transition triggered three later #51 findings (outer response assertions, captured unparseable catalog and response-parser identities) at 22:15 UTC. The latest read shows both PRs back in draft. I am reproducing and addressing these baseline gaps, then integrating them here. The earlier successful CI remains evidence for 33c2b3d/9be0d75 only; replacement heads will need their own checks. The preceding readiness status is superseded by this update.

jlucaso1 commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

@codex review

Final head 5ac24f7 incorporates the three later #51 IQ oracle findings: empty outer guards, parser identities and exact captured fragment diagnostics. The three new regressions fail against the prior oracle and pass after correction. Nineteen baseline Rust cases, nine Python checks and formatting pass. Only tests/documentation changed; main remains cf3291d and the emitter/shared compiler are unchanged. Previous review is complete and all known threads are resolved. Prior-head CI was green, but final-head CI is separately required.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Swish!

Reviewed commit: 5ac24f7374

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@jlucaso1
jlucaso1 marked this pull request as ready for review October 8, 2026 23:07
@jlucaso1
jlucaso1 merged commit b7db247 into main Oct 8, 2026
6 checks passed
@jlucaso1
jlucaso1 deleted the test/composed-iq-qualification branch October 8, 2026 23:25
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