Files
solvecraft/harness/cpp
Alex Lytvynenko 08f35e8d5b fix: match split-owner recorder type to native GetType
Use SM_TYPE for the observed type, avoiding signed-to-unsigned
aggregate narrowing on Clang without a cast or warning suppression.
Exact-base syntax control fails; the one-field remedy passes with
identical flags and headers. No solver or observation values change.

Exact one-field scope released by original author @tdamsma:
https://github.com/tangency-labs/solidcore/pull/1127#issuecomment-6423035540

Co-Authored-By: GPT-6.1 Sol <noreply@openai.com>
2026-10-26 18:45:59 +01:00
..
…