Added Pluscal/TLA+ specification of the deposit system.

[sbudella-gco]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 21.17%. Comparing base (70cb888) to head (771727f).

❗ There is a different number of reports uploaded between BASE (70cb888) and HEAD (771727f). Click for more details.

HEAD has 1 upload less than BASE

Flag	BASE (70cb888)	HEAD (771727f)
	2	1

Additional details and impacted files

@@             Coverage Diff             @@
##             main    #2513       +/-   ##
===========================================
- Coverage   32.31%   21.17%   -11.14%     
===========================================
  Files         350        3      -347     
  Lines       15670       85    -15585     
  Branches       20       20               
===========================================
- Hits         5063       18     -5045     
+ Misses      10244       66    -10178     
+ Partials      363        1      -362     

see 347 files with indirect coverage changes