Arrabbiata: clarify naming convention + absorb program state

[dannywillems]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 75.00000% with 5 lines in your changes missing coverage. Please review.

Project coverage is 76.60%. Comparing base (5f36086) to head (b0d201f).
Report is 20 commits behind head on master.

Files with missing lines	Patch %	Lines
arrabbiata/src/witness.rs	73.68%	5 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2938      +/-   ##
==========================================
+ Coverage   76.30%   76.60%   +0.30%     
==========================================
  Files         255      255              
  Lines       60837    60846       +9     
==========================================
+ Hits        46420    46613     +193     
+ Misses      14417    14233     -184     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.