Function check_value_fixture_with_wrong_version 

pub fn check_value_fixture_with_wrong_version(
    cx: &mut Cx,
    original: Value,
    wrong_version: Option<Vec<Expr>>,
) -> Result<()>

Asserts the full citizen read-construct contract for one value.

Confirms the constructor encoding renders to #(<class> ...) text, that read-construct is denied without the capability and succeeds with it, that the decoded value is CitizenEq to original, that a truncated argument list is rejected, and, when wrong_version is supplied, that a mismatched version is rejected. Read-construct stays capability-gated by the runtime path; this helper only exercises the contract the kernel enforces.