[kinyoklion]

Summary

Adds the override marker to the flag and segment models and makes the evaluator mark evaluations as override-affected, as defined by the OVERRIDE specification.

FeatureFlag and Segment gain an internal IsOverride property and an AsOverride() method that returns a marked copy sharing the immutable parts of the original. The marker lives on the model only: the JSON converters do not write it, so a marked definition serializes exactly like an unmarked one, and the original object handed to AsOverride() is never modified.

The evaluator marks an evaluation when any definition it read carried the marker: the evaluated flag, a prerequisite flag at any depth, or a segment consulted during clause matching, whether or not the segment matched. The marking propagates upward only. Each prerequisite evaluation is a scope of its own that starts from the prerequisite's marker, so the record for a prerequisite reflects only its own subtree, while the parent scope absorbs the nested marking when the nested evaluation returns or throws. Error results are marked too: a malformed override flag, a prerequisite cycle through an override flag, and an invalid context all produce an error reason that carries the indicator. A definition that cannot be resolved contributes nothing. The marking is reported through the reason's OverrideAffected indicator from the previous change in this series.

Nothing in this change produces marked definitions yet; the override store that does so is the next change. Every existing evaluation therefore behaves as before, which the existing evaluator tests confirm. The new tests cover each marking case, including the prerequisite tree in the specification where only one leaf is overridden.

This PR is based on the branch of the EvaluationReason indicator change, which it depends on.

SDK-3248

---

Note

Overview
Adds an internal override marker on FeatureFlag and Segment (IsOverride / AsOverride()). The marker is model-only and does not change serialized flag/segment JSON.

The evaluator tracks whether the current evaluation read any marked definition and sets EvaluationReason.OverrideAffected on the final result (and on prerequisite sub-records for their own scope). Marking applies when the evaluated flag is overridden, when a prerequisite subtree reads an override (nested scopes merge upward), or when a segment is loaded for a segment-match clause—even if the segment does not match or the clause is negated. Error paths (invalid context, malformed flag, exceptions) are marked when the evaluated flag is an override. Missing flags/segments that are never read do not mark.

Extensive new tests cover marking rules; existing evaluations stay unmarked until something supplies AsOverride() (override store is follow-up work).

^{Reviewed by Cursor Bugbot for commit 7e64644. Bugbot is set up for automated code reviews on this repo. Configure here.}

[kinyoklion]

bugbot review

[cursor]

✅ Bugbot reviewed your changes and found no new issues!

Comment @cursor review or bugbot run to trigger another review on this PR

^{Reviewed by Cursor Bugbot for commit 511de7f. Configure here.}