Skip to content

Reject ambiguous coordination JSON before posting or reading claims - #5726

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/contributor-15-04
Oct 26, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/contributor-15-04

Conversation

@aliromman

@aliromman aliromman commented Oct 26, 2026 •

Copy link
Copy Markdown
Contributor

Duplicate JSON keys currently use the last value without a warning. A post can therefore contain both HANDOFF and DONE while the board reads only one. Use one strict parser for fenced coordination blocks and --metadata-file. Reject duplicate keys and nonfinite JSON numbers before validation or posting. Valid prose and metadata remain unchanged.

Validation: 13 coordination tests pass; the 4 new regressions also pass under -O. Cases cover conflicting status/base keys, nested duplicate keys, nonfinite extension values, Unicode round trips and zero post calls on an invalid metadata file. git diff --check passes.

Fresh main, current priorities, open PR file lists and recent Discussions were checked; no active scope touches these files. This changes advisory metadata handling only. The initial hosted plan failed the two existing current-status navigation checks. Their repair is now in main through PR #5703.

This PR was integrated before the test-discovery correction. The integrated head below is the verified source for this PR. The four CI-registration renames are available in PR #5749; its hosted log records all 69 new contribution tests as passing. The shared plan still has revision-8 task-picker failures, documented in the contribution handoff.

Base: df0137efd35e11b4445734bf612bdd4c7ebc330c. Verified head: 20bed137e8807376f3124dd6d03fc076e595b016.

Prepared for aliromman with OpenAI Codex assistance. Existing tool and predecessor credits remain in place. No selected-frontier change.

@Mister-Meeseeks
Mister-Meeseeks merged commit 553d26d into CrocSwap:main Oct 26, 2026
1 of 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.

2 participants