Search results

Simulation trust can upgrade to proof-verified despite structural simulation verification failure

Status: Open.

#69 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Witness-only replay omits block/env context but drives displayed simulation effects

Status: Open.

#68 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Simulation outcome row can stay green when replay fails (non-witness packages)

Status: Open.

#67 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

exportContract fully-verifiable can be true when simulation is only rpc-sourced (missing witness)

Status: Open.

#66 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Simulation replay success path returns reason code 'simulation-replay-not-run'

Status: Open.

#64 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Consensus safety check ignores policy-proof block mismatch trust downgrade

Status: Open.

#63 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Desktop "Fully Verified" subtitle uses simulation block, not finalized consensus block

Status: Open.

#62 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Simulation replay world-state is unproven but can still be labeled proof-verified

Status: Open.

#61 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

Desktop Fully Verified popover overstates trust for non-beacon consensus modes

Status: Open.

#60 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

AUDIT.md open-issues section is stale for PR #54

Status: Open.

#59 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 23, 2026

exportContract can label replay-incompatible witness-only packages as fully-verifiable

Status: Open.

#58 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 22, 2026

Witness-only packaging is incompatible with DELEGATECALL replay limitation

Status: Open.

#57 In Th0rgal/SafeLens;

· Th0rgal opened on Feb 22, 2026