$ taskset -c 0-3 <pack>/install/released/node_modules/.bin/nightshade <pack>/findings/re-initialization/vulnerable.compact --config <pack>/findings/re-initialization/config.json --compiler <compact-toolchains>/0.34.0/compactc

LOW — Initializer has a modeled state-changing second invocation [re-initialization]
<pack>/findings/re-initialization/vulnerable.compact:3:1
  3 | export circuit initialize(value: Field): [] { payload = disclose(value); }
    | ^
initialize has two consecutive modeled successful invocations from constructor/default storage, with fresh inputs and a potentially different surviving value in payload after the second invocation. Review whether this entry is intended to run only once; its name alone does not establish that requirement.
Call path: initialize
Remediation: If initialization must run once, require the pre-initialized state and preserve its transition on every successful invocation. Review intentional reconfiguration separately.

Semantic profile: compact-0.34.0-zkir2.
Baseline analysis: complete; selected rules: complete.
Rule coverage: 1 selected rule(s); 0 with incomplete entries.
1 finding(s), 0 suppressed, 0 baseline; 1/1 entrypoint(s) completed; analysis complete. Compiler validation passed.
