define a shifted job costs function and prove its validity

Status Job ID Name Coverage
  Build
passed #89693
1.10.0-coq-8.11

00:14:14

passed #89694
1.11.0-coq-8.11

00:14:15

passed #89695
1.11.0-coq-8.12

00:04:58

passed #89722
build-for-process

00:02:18

passed #89697
build-for-process-classic

00:03:40

passed #89700
coq-8.12

00:12:30

passed #89701
coq-dev

00:12:46

passed #89698
proof-length

00:00:43

passed #89699
spell-check

00:01:02

failed #89696
build-for-process

00:05:05

 
  Process
passed #89704
doc

00:00:19

passed #89705
doc-classic

00:00:34

passed #89723
proof-state

00:04:34

passed #89702
validate

00:00:52

passed #89703
validate-classic

00:03:08

failed #89706
proof-state

00:02:26