Verify sealed Polymarket evidence semantics

[proerror77]

Change contract

Consume a descriptor-bound SealedPolymarketEvidenceTriplet and produce the sole trust-bearing VerifiedPolymarketEvidence handle only after event-local contracts, books, Chainlink references, Polymarket trades, and official settlements pass fail-closed semantic validation.

Out of scope

Research-snapshot mapping, OSS selection/download, trusted-digest acquisition, database import, collector publication, runtime activation, deployment, and live execution. Projection row structs are explicitly non-authoritative carriers; only the top-level verified handle carries trust.

Dependencies and merge order

Depends on #106 (codex/polymarket-evidence-wire). Merge #106 first, rebase this branch onto main, then merge this PR. No consumer may merge before this layer.

Focused validation

• cargo fmt --all -- --check
• cargo metadata --locked --no-deps --format-version 1
• cargo test --locked -p ploy-market-data (18 passed on exact head)
• cargo clippy --locked -p ploy-market-data --all-targets --no-deps -- -D warnings
• cargo check --locked -p ploy-research --bin monday-prediction-research
• Counterexamples cover stale/derived wire fields, reversed token arrays, mixed vocabularies, trade index/numeric/clock contradictions, Chainlink pre-open bounds, book clock/size/complement coverage, and settlement complement/winner/time contradictions.
• Exact-head code review: approved, no P0-P3 findings.
• Exact-head security review: approved after projection trust-name remediation, no P0-P3 findings.

Rollout and rollback

No runtime path, database, collector, deployment, or execution behavior changes. Rollout exposes a read-only verified handle for the next research-consumer layer. Roll back by reverting this PR; #106 may remain safely as a private unused decoder.

Scope exception

None. This layer is 743 non-generated changed lines (736 insertions, 7 deletions), below the 750-line split threshold.

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, add credits to your account and enable them for code reviews in your settings.

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 5ecc7e56-c5cf-40a1-933e-0988c91d2bdb

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch codex/polymarket-evidence-verified

---

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

• X
• Mastodon
• Reddit
• LinkedIn

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