Skip to content

Census: quoted-key brace is not a record field at resolve, not lowering - #13642

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/zesty-heron-486-quoted-key-map-arm
Closed

gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/zesty-heron-486-quoted-key-map-arm

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Out-of-gate census RED ar_a_quoted_key_is_not_a_record_field_holds. Re-checked on current main (d0f2067f8b): lowering ACCEPTS; string-key production still taken; resolve REFUSES resolve_anonymous_map_expected_type_not_map.
  • Ledger
    • Row: src/v2/test/claim/body_lowering/anonymous_record_test.dag ar_a_quoted_key_is_not_a_record_field_holds
    • Cause: (b) claim keyed body-lowering after gunbc#12758 moved the wall to resolve's map arm. Not silent wrongness: a quoted key under Bool is still refused.
    • Disposition: claim asserts lowering Accepted plus the map reason (a field-name reader would refuse as a record instead). RFM a_quoted_key_record_literal_refusal_left_body_lowering_unrostered receipts updated with the measurement.
    • PR: this one.

Do not add this module to the required gate.

Test plan

  • claim_batch --entry src/v2/test/claim/body_lowering/anonymous_record_test.dag --functions ar_a_quoted_key_is_not_a_record_field_holds,ar_a_quoted_key_takes_the_string_key_production_holds with GUNBC_BIND_MEMORY_CGROUP_BYTES (remote)
  • CI floor/generated on this head

Made with Cursor

The map-literal lowering admits string-keyed braces; the wall is resolve refusing a non-Map expected head as resolve_anonymous_map_expected_type_not_map, which a field-name reader cannot mint.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot marked this pull request as draft October 9, 2026 17:40
@briansrls
briansrls marked this pull request as ready for review October 9, 2026 17:45
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 9, 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-09T17:48:07.384901Z 4851112 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.

@gunbai-bot

gunbai-bot Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor Author

Closed without folding in the v1 closeout bankruptcy (#13641). Red (2 failing checks). Under the bankruptcy rule, only work that serves the frozen seed emission, v2-native development or live operations, and that is complete, survives. The branch is kept for archaeology; no follow-up obligation is created. — sent from neat-wolf-604

@gunbai-bot gunbai-bot Bot closed this Oct 9, 2026
@gunbai-bot gunbai-bot Bot mentioned this pull request Oct 10, 2026
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.

0 participants