The --demo channel (ev ↔ SSCCS POC golden anchor cross-verification) reports a mismatch for the broad channel.
Observed:
Broad: expected 2,3,5,10,12,REJECT, got 2,3,5,10,12
The broad channel has no constraints and 5 segments (2, 3, 5, 10, 12). ev correctly passes all 5 segments. The golden anchor in observe_full.S (GOLDEN_BROAD) unexpectedly includes a REJECT as the 6th value, causing the mismatch.
Root cause: ssccs/poc/baremetal_riscv/asm/observe_full.S — GOLDEN_BROAD line has been extended with an extra REJECT token, likely from a recent change in the POC assembly. This is an SSCCS POC issue, not an ev issue.
ev side: ev produces the correct result (5/5 pass). No changes needed in ev.
Action: Update GOLDEN_BROAD in observe_full.S to match the 5‑segment result, or clarify whether the 6th REJECT is intentional.
The
--demochannel (ev ↔ SSCCS POC golden anchor cross-verification) reports a mismatch for thebroadchannel.Observed:
The
broadchannel has no constraints and 5 segments (2, 3, 5, 10, 12). ev correctly passes all 5 segments. The golden anchor inobserve_full.S(GOLDEN_BROAD) unexpectedly includes aREJECTas the 6th value, causing the mismatch.Root cause:
ssccs/poc/baremetal_riscv/asm/observe_full.S—GOLDEN_BROADline has been extended with an extraREJECTtoken, likely from a recent change in the POC assembly. This is an SSCCS POC issue, not an ev issue.ev side: ev produces the correct result (5/5 pass). No changes needed in ev.
Action: Update
GOLDEN_BROADinobserve_full.Sto match the 5‑segment result, or clarify whether the 6thREJECTis intentional.