I
AE
S In
t
er
na
t
io
na
l J
o
urna
l o
f
Art
if
icia
l In
t
ellig
ence
(
I
J
-
AI
)
Vo
l.
15
,
No
.
5
,
Octo
b
er
20
26
,
p
p
.
4
0
3
9
~
4
0
5
2
I
SS
N:
2
2
5
2
-
8
9
3
8
,
DOI
: 1
0
.
1
1
5
9
1
/ijai.v
15
.i
5
.
p
p
4
0
3
9
-
4
0
5
2
4039
J
o
ur
na
l ho
m
ep
a
g
e
:
h
ttp
:
//ij
a
i
.
ia
esco
r
e.
co
m
Co
ntext
-
a
wa
re
m
icro
-
escro
w
for a
g
entic
sy
stems
wit
h lang
ua
g
e
mo
del va
lida
tion
Ay
m
a
n Na
it
Cherif
1
,
M
o
ha
m
ed
Yo
us
s
f
i
1
,
O
m
a
r
B
o
ua
t
t
a
ne
2
1
2
I
A
C
S
La
b
o
r
a
t
o
r
y
,
EN
S
ET
M
o
h
a
m
med
i
a
,
H
a
ss
a
n
I
I
U
n
i
v
e
r
si
t
y
o
f
C
a
s
a
b
l
a
n
c
a
,
C
a
sa
b
l
a
n
c
a
,
M
o
r
o
c
c
o
2
I
ES
I
La
b
o
r
a
t
o
r
y
,
EN
S
ET
M
o
h
a
mm
e
d
i
a
,
H
a
ssa
n
I
I
U
n
i
v
e
r
si
t
y
o
f
C
a
sa
b
l
a
n
c
a
,
C
a
s
a
b
l
a
n
c
a
,
M
o
r
o
c
c
o
Art
icle
I
nfo
AB
S
T
RAC
T
A
r
ticle
his
to
r
y:
R
ec
eiv
ed
Oct
28
,
2
0
2
5
R
ev
is
ed
J
u
l
29
,
2
0
2
6
Acc
ep
ted
Au
g
12
,
2
0
2
6
Au
to
n
o
m
o
u
s
a
g
e
n
ts
tran
sa
c
ti
n
g
with
e
a
c
h
o
th
e
r
n
e
e
d
a
n
e
sc
ro
w
th
e
y
c
a
n
tru
st
wit
h
o
u
t
a
h
u
m
a
n
in
th
e
l
o
o
p
.
Th
is
stu
d
y
p
r
o
p
o
se
a
c
o
n
t
e
x
t
-
a
wa
re
m
icro
-
e
sc
ro
w fram
e
wo
rk
fo
r
th
is
se
tt
in
g
:
larg
e
lan
g
u
a
g
e
m
o
d
e
ls
(LL
M
s),
th
e
m
o
d
e
l
c
o
n
tex
t
p
ro
t
o
c
o
l
(M
CP
),
a
g
e
n
t
-
to
-
a
g
e
n
t
(A2
A)
c
o
m
m
u
n
ic
a
ti
o
n
,
a
n
d
b
lo
c
k
c
h
a
in
sm
a
rt
c
o
n
trac
ts
to
g
e
th
e
r
su
p
p
o
rt
a
u
to
m
a
ted
,
a
u
d
it
a
b
le
m
icro
-
tran
sa
c
ti
o
n
s
a
m
o
n
g
h
e
tero
g
e
n
e
o
u
s
re
so
u
rc
e
h
o
ld
e
rs
su
c
h
a
s
li
v
e
a
p
p
li
c
a
ti
o
n
p
ro
g
ra
m
m
in
g
i
n
terfa
c
e
s
(
APIs
)
,
i
n
tern
e
t
o
f
t
h
in
g
s
(
Io
T
)
se
n
so
rs,
a
n
d
se
rv
ice
p
ro
v
id
e
rs.
Trad
i
ti
o
n
a
l
e
sc
ro
w
re
li
e
s
o
n
rig
i
d
c
o
n
d
it
i
o
n
c
h
e
c
k
s
o
r
a
tru
ste
d
in
term
e
d
iary
.
T
h
is
stu
d
y
in
ste
a
d
ru
n
s
a
d
e
term
in
ist
ic,
c
h
e
c
k
li
st
-
b
a
se
d
se
m
a
n
ti
c
v
a
li
d
a
ti
o
n
p
i
p
e
li
n
e
th
a
t
e
m
it
s
sig
n
e
d
b
in
a
r
y
v
e
r
d
icts
a
n
d
c
o
m
m
it
s
ra
ti
o
n
a
le h
a
sh
e
s
o
n
-
c
h
a
in
,
so
a
n
y
v
e
rd
ict
c
a
n
b
e
re
p
lay
e
d
o
ff
-
c
h
a
i
n
wh
il
e
o
n
-
c
h
a
in
se
tt
lem
e
n
t
sta
y
s m
in
ima
l.
C
o
n
tex
t
trav
e
ls i
n
c
r
y
p
t
o
g
ra
p
h
ica
ll
y
sta
m
p
e
d
M
CP
e
n
v
e
lo
p
e
s;
n
e
g
o
ti
a
ti
o
n
a
n
d
e
v
id
e
n
c
e
stre
a
m
in
g
ru
n
o
v
e
r
a
u
th
e
n
ti
c
a
ted
A2
A
c
h
a
n
n
e
ls.
An
a
u
d
i
ti
n
g
l
a
y
e
r
c
o
m
p
u
tes
ris
k
si
g
n
a
ls
fr
o
m
re
c
e
n
t
se
tt
lem
e
n
t
m
e
tad
a
ta
a
n
d
a
p
p
li
e
s
a
b
o
u
n
d
e
d
fe
e
su
rc
h
a
r
g
e
th
a
t
i
n
tern
a
li
z
e
s
m
o
n
it
o
r
in
g
e
ffo
rt
a
n
d
p
e
rfo
rm
a
n
c
e
d
ri
ft.
Th
e
fra
m
e
wo
rk
is
e
v
a
lu
a
t
e
d
with
a
re
p
ro
d
u
c
ib
le
sim
u
lato
r
u
n
d
e
r
b
e
n
ig
n
a
n
d
a
d
v
e
rsa
rial
m
ix
e
s,
re
p
o
rti
n
g
late
n
c
y
,
d
e
c
isio
n
q
u
a
li
ty
(p
re
c
i
sio
n
a
n
d
re
c
a
ll
u
n
d
e
r
a
b
i
n
a
ry
-
c
las
sifier
v
iew
),
a
n
d
e
c
o
n
o
m
ic
sid
e
e
ffe
c
ts
(fe
e
c
o
ll
e
c
ti
o
n
a
n
d
sla
sh
i
n
g
)
.
T
h
e
re
su
lt
s
sh
o
w
stro
n
g
t
o
lera
n
c
e
to
m
a
l
icio
u
s
p
r
o
v
id
e
rs.
Co
o
rd
i
n
a
ted
v
a
li
d
a
to
r
c
o
m
p
ro
m
ise
,
h
o
we
v
e
r,
m
a
rk
s
a
c
lea
r
tru
st
b
o
u
n
d
a
ry
,
m
o
ti
v
a
ti
n
g
v
a
li
d
a
to
r
-
sid
e
h
a
rd
e
n
in
g
a
s fu
t
u
re
wo
r
k
.
K
ey
w
o
r
d
s
:
Ag
en
tic
ar
tific
ial
in
tellig
en
ce
Ag
en
t
-
to
-
ag
e
n
t
B
lo
ck
ch
ain
m
icr
o
-
escr
o
w
L
ar
g
e
lan
g
u
ag
e
m
o
d
els
Mic
r
o
p
ay
m
e
n
t
Mo
d
el
co
n
tex
t
p
r
o
t
o
co
l
Sm
ar
t c
o
n
tr
ac
t
T
h
is i
s
a
n
o
p
e
n
a
c
c
e
ss
a
rticle
u
n
d
e
r th
e
CC B
Y
-
SA
li
c
e
n
se
.
C
o
r
r
e
s
p
o
nd
ing
A
uth
o
r
:
Ay
m
an
Nait
C
h
er
if
2
I
AC
S L
ab
o
r
ato
r
y
,
E
NSET
M
o
h
am
m
ed
ia
,
Hass
an
I
I
Un
iv
er
s
ity
o
f
C
asab
lan
ca
C
asab
lan
ca
,
Mo
r
o
cc
o
E
m
ail:
ay
m
an
.
n
ait.
c
h
er
if
@
g
m
ail.
co
m
1.
I
NT
RO
D
UCT
I
O
N
Au
to
n
o
m
o
u
s
s
o
f
twar
e
a
g
en
ts
h
av
e
b
ee
n
s
tu
d
ie
d
f
o
r
d
ec
ad
es
in
d
is
tr
ib
u
te
d
ar
tific
ial
in
telli
g
en
ce
(
AI
)
,
wh
er
e
co
o
r
d
in
atio
n
was
f
o
r
m
a
lized
in
m
u
lti
-
ag
en
t
s
y
s
tem
s
r
esear
ch
[
1
]
th
r
o
u
g
h
s
tan
d
a
r
d
s
s
u
ch
as
k
n
o
wled
g
e
q
u
er
y
an
d
m
an
ip
u
latio
n
la
n
g
u
ag
e
(
KQM
L
)
[
2
]
an
d
th
e
Fo
u
n
d
atio
n
f
o
r
I
n
tellig
en
t
Ph
y
s
ical
Ag
en
ts
Ag
en
t
C
o
m
m
u
n
icatio
n
L
an
g
u
ag
e
(
FIPA
AC
L
)
p
er
f
o
r
m
ativ
es
[
3
]
.
W
h
ile
th
ese
s
tan
d
ar
d
s
wer
e
f
o
u
n
d
atio
n
al,
ea
r
ly
m
u
lti
-
ag
en
t
s
y
s
tem
im
p
lem
en
tatio
n
s
r
elied
o
n
b
r
o
k
e
r
-
b
ased
m
id
d
lewa
r
e
an
d
lack
ed
cr
y
p
to
g
r
ap
h
ic
g
u
ar
an
tees
o
f
m
ess
ag
e
p
r
o
v
en
a
n
ce
o
r
co
n
tex
tu
al
in
teg
r
ity
.
T
h
is
lim
ited
th
eir
ap
p
licab
ilit
y
in
o
p
en
,
ad
v
er
s
ar
ial
en
v
ir
o
n
m
en
ts
an
d
m
o
tiv
ated
t
h
e
s
h
if
t to
war
d
m
o
r
e
s
ec
u
r
e
a
n
d
v
er
i
f
iab
le
co
o
r
d
in
atio
n
m
e
ch
an
is
m
s
.
R
ec
en
t
b
r
ea
k
th
r
o
u
g
h
s
in
AI
h
av
e
m
ad
e
lar
g
e
la
n
g
u
a
g
e
m
o
d
els
(
L
L
Ms)
ce
n
tr
al
to
m
o
d
e
r
n
in
tellig
en
t
ag
en
ts
.
L
L
Ms
ex
h
ib
it
h
u
m
a
n
-
lev
el
lan
g
u
ag
e
u
n
d
er
s
tan
d
in
g
an
d
r
ea
s
o
n
in
g
in
m
an
y
d
o
m
ain
s
.
T
h
is
lets
ag
en
ts
r
ea
s
o
n
o
v
er
u
n
s
tr
u
ctu
r
ed
task
d
escr
ip
tio
n
s
an
d
co
n
te
x
tu
al
co
n
s
tr
ain
ts
th
at
ca
n
n
o
t
b
e
ca
p
tu
r
ed
b
y
r
i
g
id
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
2
5
2
-
8
9
3
8
I
n
t J Ar
tif
I
n
tell
,
Vo
l.
15
,
No
.
5
,
Octo
b
er
20
26
:
4
0
3
9
-
4
0
5
2
4040
r
u
le
-
b
ased
s
y
s
tem
s
.
Fo
r
e
x
a
m
p
le,
Op
en
AI
’
s
GPT
-
3
ac
h
i
ev
ed
n
ea
r
h
u
m
an
p
er
f
o
r
m
an
ce
o
n
a
r
an
g
e
o
f
b
en
ch
m
ar
k
s
[
4
]
,
in
s
p
ir
in
g
a
wav
e
o
f
r
esear
ch
in
to
“a
g
e
n
t
ic”
AI
s
y
s
tem
s
th
at
u
s
e
L
L
Ms
as
au
to
n
o
m
o
u
s
d
ec
is
io
n
-
m
ak
er
s
[
5
]
.
Un
lik
e
e
ar
lier
ag
en
ts
b
o
u
n
d
b
y
f
ix
ed
r
u
les
o
r
n
ar
r
o
w
s
cr
ip
ts
,
m
o
d
er
n
L
L
M
-
b
ased
ag
en
ts
ca
n
d
y
n
am
ically
p
lan
ac
tio
n
s
,
m
ak
e
d
ec
is
io
n
s
,
an
d
in
v
o
k
e
to
o
ls
in
co
m
p
lex
,
o
p
e
n
-
en
d
e
d
en
v
ir
o
n
m
e
n
ts
[
6
]
.
T
h
is
n
ew
p
ar
ad
ig
m
o
f
ag
e
n
tic
AI
en
d
o
ws
ag
en
ts
with
g
r
e
ater
au
to
n
o
m
y
an
d
th
e
ab
ilit
y
to
co
llab
o
r
ate
with
o
th
er
ag
e
n
ts
to
war
d
a
g
o
al.
I
n
p
ar
allel,
n
ew
p
r
o
to
co
ls
ar
e
e
m
er
g
in
g
t
o
s
u
p
p
o
r
t
s
u
ch
m
u
lt
i
-
ag
en
t
ec
o
s
y
s
tem
s
,
in
clu
d
in
g
co
n
tex
t
-
s
h
a
r
in
g
f
r
a
m
ewo
r
k
s
an
d
ag
en
t
-
to
-
ag
e
n
t
(
A2
A)
co
m
m
u
n
icatio
n
s
tan
d
a
r
d
s
th
at
aim
to
war
d
cr
o
s
s
-
p
latf
o
r
m
i
n
ter
o
p
e
r
ab
ilit
y
.
W
ith
th
is
p
r
o
g
r
ess
co
m
es
in
cr
ea
s
in
g
r
ec
o
g
n
itio
n
o
f
t
h
e
n
ee
d
f
o
r
s
ec
u
r
e
co
o
r
d
in
atio
n
:
tech
n
iq
u
es
s
u
c
h
as
ze
r
o
-
k
n
o
wled
g
e
p
r
o
o
f
s
co
m
b
in
ed
with
OAu
th
2
.
0
[
7
]
h
a
v
e
b
ee
n
e
x
p
lo
r
e
d
t
o
attest
f
ac
ts
with
o
u
t
r
ev
ea
lin
g
s
en
s
itiv
e
d
etails,
an
d
p
r
iv
ac
y
-
p
r
eser
v
in
g
p
r
o
to
co
ls
ad
d
r
ess
ag
en
t
an
o
n
y
m
ity
a
n
d
s
ec
u
r
e
m
ess
ag
in
g
[
8
]
.
T
h
ese
ap
p
r
o
ac
h
es
ex
ten
d
tr
u
s
t
g
u
ar
an
tees
f
r
o
m
b
asic
m
ess
ag
e
ex
ch
an
g
e
to
th
e
s
em
an
tic
lev
el
o
f
ag
e
n
ts
'
co
m
m
itm
en
ts
.
W
h
at
r
em
ain
s
m
is
s
in
g
is
in
f
r
astru
ctu
r
e:
au
to
n
o
m
o
u
s
ag
e
n
ts
s
till
h
av
e
n
o
s
ec
u
r
e,
s
ca
lab
le,
an
d
v
er
if
iab
le
f
r
a
m
ewo
r
k
f
o
r
ec
o
n
o
m
ic
m
icr
o
-
t
r
an
s
ac
tio
n
s
.
Yet
th
e
en
v
is
io
n
ed
ap
p
licatio
n
s
,
s
p
an
n
in
g
in
ter
n
et
o
f
th
in
g
s
(
I
o
T
)
,
f
in
a
n
ce
,
an
d
b
ey
o
n
d
,
ass
u
m
e
co
u
n
tles
s
s
m
all
ex
ch
an
g
es
with
m
in
im
al
h
u
m
a
n
o
v
er
s
ig
h
t.
An
I
o
T
d
ev
ice
p
a
y
in
g
o
n
d
em
a
n
d
f
o
r
d
ata,
b
a
n
d
wid
th
,
o
r
en
er
g
y
is
th
e
ca
n
o
n
ical
ca
s
e
[
9
]
–
[
1
1
]
.
E
x
is
tin
g
b
lo
ck
c
h
ain
s
o
lu
tio
n
s
h
it
well
-
k
n
o
wn
th
r
o
u
g
h
p
u
t
an
d
f
ee
lim
its
wh
en
m
icr
o
-
p
ay
m
en
ts
b
ec
o
m
e
f
r
e
q
u
en
t,
an
d
p
ay
m
e
n
t
ch
an
n
el
n
etwo
r
k
s
[
1
2
]
–
[
1
5
]
m
o
v
e
t
h
e
lo
a
d
o
f
f
-
c
h
ain
o
n
ly
b
y
d
e
m
an
d
in
g
p
r
e
-
estab
li
s
h
ed
ch
a
n
n
els,
an
awk
war
d
b
u
r
d
en
f
o
r
r
eso
u
r
ce
-
co
n
s
tr
ain
ed
n
o
d
es.
I
n
d
u
s
tr
y
e
f
f
o
r
ts
s
u
ch
as
th
e
lig
h
tn
in
g
s
er
v
ice
au
th
en
ticatio
n
to
k
en
(
L
SAT
)
/L4
0
2
ap
p
r
o
ac
h
ar
e
o
n
ly
b
eg
in
n
i
n
g
to
ad
d
r
ess
th
e
g
ap
.
A
u
n
iv
er
s
ally
ad
o
p
te
d
m
icr
o
-
tr
a
n
s
ac
tio
n
f
r
am
ewo
r
k
f
o
r
au
to
n
o
m
o
u
s
ag
en
ts
d
o
es n
o
t y
et
e
x
is
t.
T
h
is
p
ap
er
a
d
d
r
ess
th
ese
ch
a
llen
g
es
b
y
p
r
o
p
o
s
in
g
a
co
n
te
x
t
-
awa
r
e
m
icr
o
-
escr
o
w
f
r
am
e
wo
r
k
th
at
in
teg
r
ates
L
L
M
-
b
ased
s
em
an
t
ic
v
alid
ato
r
s
,
th
e
m
o
d
el
co
n
t
ex
t
p
r
o
to
c
o
l
(
MCP
)
f
o
r
co
n
t
ex
t
d
ata
ex
ch
an
g
e,
A2
A
s
ec
u
r
e
co
m
m
u
n
icatio
n
,
an
d
b
lo
ck
c
h
ain
s
m
ar
t
co
n
tr
ac
ts
.
W
h
en
two
ag
e
n
ts
n
eg
o
tiate
an
ex
ch
a
n
g
e
,
th
ey
r
o
u
te
th
e
t
r
an
s
ac
tio
n
t
h
r
o
u
g
h
a
m
icr
o
-
escr
o
w
s
m
a
r
t
co
n
tr
ac
t
th
at
h
o
l
d
s
p
ay
m
en
t
u
n
til
an
L
L
M
v
alid
ato
r
d
eter
m
i
n
es
wh
eth
er
co
n
tex
t
-
d
e
p
en
d
e
n
t
co
n
d
itio
n
s
h
av
e
b
ee
n
s
atis
f
ied
,
with
th
e
r
esu
lt
en
f
o
r
ce
d
on
-
ch
ain
.
B
y
co
m
b
in
in
g
L
L
M
-
d
r
iv
en
s
em
an
tic
a
n
aly
s
is
with
o
n
-
ch
ain
en
f
o
r
ce
m
en
t,
t
h
e
p
r
o
ce
s
s
b
ec
o
m
es
ac
co
u
n
tab
le
an
d
a
u
to
m
atio
n
-
f
r
ien
d
ly
,
r
e
d
u
cin
g
r
elian
ce
o
n
h
u
m
a
n
ar
b
itra
tio
n
wh
ile
m
ak
in
g
v
alid
ato
r
b
eh
av
io
r
a
u
d
itab
le
th
r
o
u
g
h
r
e
p
lay
ab
le
ev
id
e
n
ce
an
d
s
ig
n
e
d
v
er
d
ict
co
m
m
itm
e
n
ts
.
E
v
er
y
s
t
ep
,
f
r
o
m
th
e
ag
en
ts
'
in
itial
ag
r
ee
m
en
t
to
th
e
f
in
al
p
ay
m
en
t
o
u
tco
m
e,
is
r
ec
o
r
d
e
d
eith
er
o
n
-
ch
ai
n
o
r
in
a
n
ap
p
e
n
d
-
o
n
ly
l
o
g
,
cr
ea
tin
g
a
tam
p
er
-
e
v
id
en
t
a
u
d
it
tr
ail
co
m
p
atib
le
with
p
r
iv
ac
y
-
p
r
es
er
v
in
g
tech
n
iq
u
es
s
u
ch
as
p
s
eu
d
o
n
y
m
s
,
h
ash
e
d
co
n
ten
t,
an
d
ze
r
o
-
k
n
o
wled
g
e
p
r
o
o
f
s
.
2.
O
VE
RA
L
L
AR
CH
I
T
E
C
T
U
RE
2
.
1
.
L
a
y
er
ed
a
rc
hite
ct
ura
l o
v
er
v
iew
Fiv
e
lay
er
s
m
ak
e
u
p
th
e
ar
ch
itectu
r
e
as
s
h
o
wn
in
Fig
u
r
e
1
.
T
h
ese
lay
er
s
ar
e
r
eso
u
r
ce
,
ag
en
t,
tr
an
s
p
o
r
t,
tr
u
s
t
-
an
d
-
in
ce
n
tiv
e,
an
d
g
o
v
er
n
an
ce
-
an
d
-
au
d
it.
T
h
e
f
r
am
ewo
r
k
is
o
r
g
a
n
ized
th
is
way
to
s
ep
ar
ate
co
n
ce
r
n
s
a
n
d
to
k
ee
p
it
s
ca
lab
le;
lay
er
s
in
ter
ac
t
o
n
l
y
v
e
r
tically
,
th
r
o
u
g
h
n
a
r
r
o
wly
d
e
f
in
ed
in
ter
f
ac
es
b
etwe
en
ad
jace
n
t la
y
er
s
,
wh
ich
is
wh
at
en
f
o
r
ce
s
m
o
d
u
lar
ity
a
n
d
d
r
aw
s
th
e
s
ec
u
r
ity
b
o
u
n
d
ar
ies.
Fig
u
r
e
1
.
L
a
y
er
ed
a
r
ch
itectu
r
a
l stack
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
t J Ar
tif
I
n
tell
I
SS
N:
2252
-
8
9
3
8
C
o
n
text
-
a
w
a
r
e
micro
-
escr
o
w
f
o
r
a
g
en
tic
s
ystems
w
ith
la
n
g
u
a
g
e
mo
d
el
v
a
lid
a
tio
n
(
A
yma
n
N
a
it C
h
erif
)
4041
A
d
escr
ip
to
r
ca
r
r
ies
th
r
ee
th
in
g
s
:
in
p
u
t/o
u
tp
u
t
s
ch
em
a
s
,
th
e
r
eq
u
i
r
ed
OAu
th
s
co
p
e,
an
d
a
r
ec
o
m
m
en
d
ed
g
r
o
u
n
d
in
g
p
r
o
m
p
t.
Hete
r
o
g
e
n
eo
u
s
ag
e
n
ts
ca
n
th
er
ef
o
r
e
v
er
if
y
a
ca
p
a
b
ilit
y
o
f
f
lin
e
an
d
in
v
o
k
e
to
o
ls
co
n
s
is
ten
tly
.
Am
b
ig
u
ity
ab
o
u
t
wh
at
a
p
r
o
v
id
er
ac
tu
al
ly
o
f
f
er
s
s
h
r
in
k
s
,
an
d
s
ilen
t
s
ch
em
a
d
r
if
t
d
u
r
in
g
ex
ec
u
tio
n
,
a
co
m
m
o
n
s
o
u
r
ce
o
f
s
em
an
tic
d
is
p
u
tes
in
au
to
m
ated
s
er
v
ice
ex
c
h
an
g
e,
is
b
lo
c
k
ed
at
th
e
in
ter
f
ac
e.
Descr
ip
to
r
s
ar
e
v
er
s
io
n
ed
,
s
o
p
r
o
v
id
e
r
ca
p
a
b
ilit
ies ca
n
g
r
o
w
with
o
u
t b
r
ea
k
in
g
e
x
is
tin
g
co
n
s
u
m
er
s
.
Ag
en
ts
liv
e
in
th
e
s
ec
o
n
d
lay
er
,
ea
ch
with
a
p
lu
g
g
a
b
le
L
L
M
co
r
e
an
d
its
o
wn
to
o
l
r
e
g
i
s
tr
y
.
Fo
u
r
r
o
les
s
tr
u
ctu
r
e
th
e
ec
o
s
y
s
tem
:
r
eq
u
ester
,
p
r
o
v
id
er
,
v
al
id
ato
r
,
an
d
au
d
ito
r
.
T
h
e
s
p
lit
is
d
elib
er
ate.
R
esp
o
n
s
ib
ilit
ies
s
tay
ex
p
licit,
ad
v
er
s
ar
ial
s
u
r
f
ac
es
s
tay
is
o
lated
f
r
o
m
o
n
e
an
o
t
h
er
,
an
d
ea
c
h
r
o
le
s
ca
les
o
n
its
o
wn
: v
alid
ato
r
ca
p
ac
ity
ca
n
g
r
o
w
u
n
d
e
r
lo
ad
with
o
u
t to
u
c
h
in
g
p
r
o
v
id
er
l
o
g
ic
o
r
s
ettlem
en
t r
u
les.
T
wo
wir
e
f
o
r
m
ats
ar
e
n
o
r
m
ativ
e
in
th
e
t
r
an
s
p
o
r
t
la
y
er
.
C
o
-
r
esid
en
t
p
r
o
ce
s
s
es
talk
o
v
er
a
ze
r
o
-
laten
cy
s
tu
d
io
c
h
an
n
el;
n
etwo
r
k
ed
p
ee
r
s
u
s
e
HT
T
P
P
OST
with
s
er
v
er
-
s
en
t
ev
en
ts
f
o
r
s
tr
ea
m
in
g
.
W
h
y
b
o
th
?
L
o
ca
l
ex
ec
u
tio
n
s
tay
s
h
ig
h
-
t
h
r
o
u
g
h
p
u
t,
wh
ile
c
r
o
s
s
-
p
latf
o
r
m
a
g
en
t
m
a
r
k
ets
k
e
ep
th
eir
wid
e
-
ar
ea
in
ter
o
p
er
a
b
ilit
y
.
Dis
co
v
er
y
ar
tifa
cts
s
u
ch
as
ag
en
t
ca
r
d
s
,
ca
p
ab
ilit
y
ad
s
,
an
d
in
ten
t
o
f
f
e
r
s
tr
av
el
o
n
ly
o
v
er
au
th
en
ticated
ch
a
n
n
els,
wh
ich
is
wh
at
b
lo
ck
s
s
p
o
o
f
in
g
an
d
c
ap
ab
ilit
y
p
o
is
o
n
in
g
.
E
co
n
o
m
ic
in
teg
r
ity
s
its
in
t
h
e
tr
u
s
t
-
an
d
-
in
ce
n
tiv
e
lay
er
.
I
ts
co
r
e
is
a
d
elib
er
ately
m
in
im
alis
t
s
m
ar
t
-
co
n
tr
ac
t
m
icr
o
-
escr
o
w
[
1
6
]
:
it
h
o
ld
s
d
e
p
o
s
its
an
d
p
r
o
v
id
er
b
o
n
d
s
,
ex
p
o
s
es
o
n
e
o
r
ac
le
s
lo
t
f
o
r
a
v
alid
ato
r
’
s
s
ig
n
ed
v
e
r
d
ict
[
1
7
]
,
an
d
allo
ca
tes
m
icr
o
-
lev
ies
to
th
e
v
alid
ato
r
a
n
d
au
d
ito
r
r
o
les
(
th
e
co
n
tr
ac
t
d
esig
n
an
d
s
tate
m
ac
h
in
e
ar
e
d
etailed
in
s
ec
tio
n
2
.
3
)
.
Fu
n
d
s
co
m
e
f
ir
s
t.
B
ec
au
s
e
escr
o
w
p
r
ec
e
d
es
wo
r
k
,
n
eith
er
p
ar
ty
ca
n
u
n
ilater
ally
r
ea
ch
th
e
m
o
n
ey
b
e
f
o
r
e
th
e
a
g
r
ee
d
co
n
d
itio
n
s
ar
e
v
er
if
ied
.
T
h
e
d
iv
is
io
n
o
f
lab
o
r
is
s
tr
ic
t,
s
ett
lem
en
t
lo
g
ic
o
n
-
ch
ain
an
d
s
em
an
tic
in
ter
p
r
eta
tio
n
o
f
f
-
ch
ai
n
,
wh
ich
b
u
y
s
tr
u
s
tles
s
en
f
o
r
ce
m
en
t
with
o
u
t e
v
er
ask
in
g
th
e
b
lo
ck
c
h
ain
to
p
r
o
ce
s
s
r
aw
ev
id
en
ce
.
Ver
if
icatio
n
an
d
r
is
k
co
n
tr
o
l
co
n
v
er
g
e
in
th
e
g
o
v
er
n
an
ce
-
a
n
d
-
au
d
it
lay
er
.
A
d
eter
m
in
is
tic
v
alid
ato
r
r
ep
lay
s
th
e
s
tu
d
io
tr
a
n
s
cr
ip
t
o
r
th
e
s
er
v
er
-
s
en
t
e
v
en
ts
lo
g
,
e
m
its
a
b
in
ar
y
v
e
r
d
ict,
a
n
d
h
ash
es
its
r
atio
n
ale,
s
o
au
d
its
wo
r
k
with
o
u
t
r
aw
c
o
n
ten
t
ev
er
to
u
c
h
in
g
th
e
c
h
ain
.
T
wo
watc
h
d
o
g
s
r
u
n
alo
n
g
s
id
e
it.
A
s
tatis
tical
an
o
m
aly
d
etec
to
r
r
ea
d
s
v
er
d
ict
h
ash
es
an
d
s
ettlem
en
t
m
etad
ata
to
f
lag
d
r
if
t
a
n
d
p
o
t
en
tial
co
llu
s
io
n
;
a
d
y
n
am
ic
f
ee
en
g
in
e
m
o
v
es
p
r
e
m
iu
m
s
with
o
b
s
er
v
ed
r
is
k
.
Strictn
ess
at
th
e
in
ter
f
ac
es
i
s
wh
at
th
e
wh
o
le
d
esig
n
lean
s
o
n
.
Kee
p
th
e
in
ter
f
ac
e
co
n
tr
ac
ts
co
n
s
is
ten
t,
an
d
an
y
tr
a
n
s
p
o
r
t
o
r
b
lo
c
k
ch
ain
ca
n
b
e
s
wap
p
ed
with
o
u
t
to
u
c
h
in
g
a
g
en
t
lo
g
ic.
C
r
y
p
to
g
r
a
p
h
ic
d
o
m
ain
s
ar
e
d
is
tin
ct
as
well,
is
o
latin
g
r
eso
u
r
ce
ac
ce
s
s
f
r
o
m
s
ettlem
en
t
lo
g
ic
s
o
th
at
a
c
o
m
p
r
o
m
is
e
h
as
a
s
m
all
b
last
r
ad
iu
s
.
T
h
e
s
am
e
p
r
o
p
er
ty
ca
r
r
ies
ex
ten
s
io
n
s
:
f
e
d
er
ate
d
co
m
m
ittees
o
r
p
r
o
o
f
-
b
ased
v
er
if
icatio
n
ca
n
b
e
in
tr
o
d
u
ce
d
later
with
o
u
t c
h
an
g
in
g
th
e
s
ettlem
en
t sem
an
tics
.
2
.
2
.
E
nd
-
to
-
end da
t
a
a
nd
v
a
lue f
lo
w
Sev
en
p
h
ases
ca
r
r
y
a
m
icr
o
-
es
cr
o
w
tr
an
s
ac
tio
n
f
r
o
m
f
ir
s
t
co
n
tact
to
f
in
al
p
a
y
m
en
t:
d
is
co
v
er
y
,
in
te
n
t
o
f
f
er
,
escr
o
w
f
u
n
d
in
g
,
s
ec
u
r
e
co
n
tex
t
ex
c
h
an
g
e
,
ex
ec
u
tio
n
with
s
tr
ea
m
in
g
ev
id
e
n
ce
,
L
L
M
-
b
ased
v
alid
atio
n
,
an
d
s
ettlem
en
t,
as
illu
s
tr
ated
i
n
Fig
u
r
e
2
.
Fo
u
r
r
o
les
d
o
th
e
wo
r
k
.
R
eq
u
ester
,
p
r
o
v
id
er
,
v
a
lid
ato
r
,
an
d
au
d
ito
r
ar
e
ea
ch
s
co
p
ed
to
th
eir
o
w
n
s
u
b
s
et
o
f
task
s
; w
e
d
r
ew
th
e
b
o
u
n
d
ar
ies th
is
way
to
k
ee
p
f
o
r
m
al
an
aly
s
is
s
im
p
le,
to
is
o
late
th
e
t
r
u
s
t
b
o
u
n
d
a
r
y
at
th
e
v
alid
at
o
r
,
an
d
to
leav
e
n
o
cr
o
s
s
-
r
o
le
attac
k
s
u
r
f
ac
e.
T
h
e
p
ay
o
f
f
o
f
th
e
d
ec
o
m
p
o
s
itio
n
is
tr
ac
ea
b
ilit
y
:
ev
er
y
tr
an
s
itio
n
in
th
e
p
r
o
to
co
l
m
ap
s
to
a
s
p
ec
if
ic
ag
en
t
ac
tio
n
o
r
o
n
-
c
h
ain
ev
en
t,
wh
ich
is
wh
at
d
ete
r
m
in
is
tic
r
ep
lay
an
d
au
d
it r
est o
n
.
Dis
co
v
er
y
s
tar
ts
at
th
e
d
ir
ec
to
r
ies.
T
h
e
r
eq
u
ester
ag
en
t
q
u
e
r
ies
th
em
with
MCP
d
escr
ip
t
o
r
s
an
d
p
ick
s
a
p
r
o
v
id
e
r
b
y
m
i
n
im
izin
g
ex
p
ec
ted
laten
cy
p
lu
s
p
r
ice;
an
ex
p
lo
r
atio
n
-
ex
p
l
o
itatio
n
s
tr
ateg
y
ca
n
o
p
tio
n
ally
d
r
iv
e
th
e
ch
o
ice.
T
h
e
o
f
f
e
r
its
elf
,
task
an
d
p
ay
m
en
t
ter
m
s
,
is
s
ig
n
ed
an
d
s
en
t
o
v
er
an
A2
A
au
th
en
ticated
ch
an
n
el.
On
t
h
e
o
th
e
r
s
id
e,
th
e
p
r
o
v
id
er
a
g
en
t
h
as
p
u
b
li
s
h
ed
s
ig
n
ed
MCP
d
escr
ip
to
r
s
at
a
well
-
k
n
o
wn
en
d
p
o
i
n
t
ad
v
er
tis
in
g
its
ca
p
a
b
ilit
ies,
p
r
icin
g
,
a
n
d
r
eq
u
i
r
ed
a
u
th
o
r
izatio
n
s
co
p
e;
it
ac
ce
p
ts
t
h
e
o
f
f
er
an
d
,
wh
er
e
th
e
p
r
o
to
co
l
d
em
a
n
d
s
it,
p
o
s
ts
a
p
er
f
o
r
m
an
ce
b
o
n
d
[
1
8
]
to
t
h
e
escr
o
w
co
n
tr
ac
t.
T
h
e
n
b
o
th
p
ar
ties
jo
in
tly
f
u
n
d
an
o
n
-
c
h
ain
s
m
ar
t
-
c
o
n
tr
ac
t e
s
c
r
o
w
in
s
tan
ce
,
an
d
p
ay
m
en
t stay
s
lo
ck
ed
u
n
til th
e
s
ettlem
en
t c
o
n
d
itio
n
s
ar
e
m
et.
On
ce
f
u
n
d
s
ar
e
lo
c
k
ed
,
co
n
te
x
t
f
lo
ws.
T
h
e
p
r
o
v
id
er
,
a
u
th
o
r
ized
th
r
o
u
g
h
a
ca
p
a
b
ilit
y
to
k
en
o
r
a
n
OAu
th
s
co
p
e,
s
tr
ea
m
s
in
c
r
e
m
en
tal
r
esu
lts
to
th
e
r
eq
u
est
er
o
v
e
r
th
e
MCP
ch
an
n
el,
a
n
d
ev
er
y
en
v
elo
p
e
is
s
ig
n
ed
an
d
h
ash
ed
f
o
r
in
teg
r
it
y
an
d
p
r
o
v
e
n
an
ce
.
R
ep
lay
is
h
an
d
led
at
th
e
d
o
o
r
:
in
co
m
in
g
n
o
n
ce
s
an
d
e
x
p
ir
y
tim
estam
p
s
ar
e
ch
ec
k
ed
,
an
d
s
tale
o
r
r
ep
lay
ed
r
eq
u
ests
ar
e
r
ejec
ted
.
B
o
th
ag
en
ts
lo
g
ev
er
y
ex
c
h
an
g
e
d
en
v
elo
p
e
i
n
an
im
m
u
tab
le,
s
eq
u
en
ce
-
n
u
m
b
er
e
d
r
ec
o
r
d
; th
at
l
o
g
b
ec
o
m
es th
e
tam
p
er
-
ev
id
en
t e
v
id
en
ce
.
Deliv
er
y
co
m
p
lete,
th
e
v
alid
ato
r
tak
es
o
v
er
as
th
e
s
em
an
tic
o
r
ac
le.
I
t
r
ep
la
y
s
th
e
f
u
ll
in
ter
ac
tio
n
tr
an
s
cr
ip
t
d
eter
m
in
is
tically
an
d
ev
alu
ates
it
ag
ain
s
t
a
d
ec
lar
ativ
e
ch
ec
k
lis
t,
u
s
in
g
a
f
ix
ed
p
r
o
m
p
t
tem
p
late
at
tem
p
er
atu
r
e
0
.
W
h
at
leav
es
t
h
e
v
alid
ato
r
is
s
m
all:
a
s
ig
n
ed
b
in
ar
y
v
er
d
ict,
p
ass
o
r
f
ail,
p
l
u
s
a
SHA
-
2
5
6
h
ash
o
f
th
e
r
atio
n
ale
—
f
u
ll
au
d
ita
b
ilit
y
with
n
o
v
e
r
b
o
s
e
te
x
t
o
n
-
ch
ain
.
C
o
m
m
ittee
m
o
d
e
is
o
p
tio
n
al
an
d
e
x
is
ts
to
to
ler
ate
f
au
lty
v
alid
ato
r
s
.
An
o
d
d
-
n
u
m
b
e
r
ed
en
s
em
b
le
a
g
g
r
eg
ates
v
er
d
icts
b
y
weig
h
ted
m
ajo
r
ity
v
o
te
b
ased
o
n
s
tak
e
o
r
r
ep
u
tatio
n
[
1
9
]
; ties b
r
ea
k
to
war
d
r
ejec
tio
n
,
an
d
v
alid
ato
r
s
wh
o
s
e
v
er
d
icts
d
iv
e
r
g
e
f
r
o
m
c
o
n
s
en
s
u
s
ar
e
p
en
alize
d
[
2
0
]
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
2
5
2
-
8
9
3
8
I
n
t J Ar
tif
I
n
tell
,
Vo
l.
15
,
No
.
5
,
Octo
b
er
20
26
:
4
0
3
9
-
4
0
5
2
4042
Settlem
en
t
is
m
ec
h
an
ical.
On
a
p
ass
,
th
e
co
n
tr
ac
t
r
elea
s
es
p
ay
m
en
t
to
th
e
p
r
o
v
id
er
a
n
d
r
etu
r
n
s
th
e
b
o
n
d
;
o
n
a
f
ailu
r
e
,
it
r
ef
u
n
d
s
th
e
r
eq
u
ester
an
d
s
lash
es
th
e
b
o
n
d
in
to
a
tr
ea
s
u
r
y
p
o
o
l.
E
s
cr
o
w
I
D,
o
u
tco
m
e
,
an
d
ev
id
e
n
ce
h
ash
r
ef
er
e
n
ce
s
lan
d
in
an
o
n
-
ch
ain
ev
en
t
lo
g
.
Ab
o
v
e
in
d
iv
id
u
al
escr
o
ws
s
its
th
e
au
d
ito
r
,
watc
h
in
g
co
n
tin
u
o
u
s
ly
: it
m
o
n
ito
r
s
co
m
p
leted
tr
an
s
ac
tio
n
s
a
n
d
co
m
p
u
tes p
er
-
p
r
o
v
id
er
a
n
o
m
aly
s
co
r
es.
Six
s
tag
es
f
o
r
m
alize
ea
ch
r
o
le’
s
p
r
o
g
r
ess
io
n
as
a
f
in
ite
s
tate
m
ac
h
in
e
(
FS
M)
:
id
le,
n
eg
o
tiatin
g
,
ex
ec
u
tin
g
,
ev
id
e
n
ce
-
s
u
b
m
itte
d
,
awa
itin
g
-
v
er
d
ict,
a
n
d
ter
m
i
n
ated
.
No
th
i
n
g
m
o
v
es
b
etwe
en
s
tag
es
with
o
u
t
a
v
er
if
iab
le
e
v
en
t
(
escr
o
w
c
r
ea
tio
n
,
e
n
v
elo
p
e
h
ash
r
ec
eip
t,
an
d
v
er
d
ict
em
is
s
io
n
)
ar
r
iv
in
g
o
n
-
ch
ain
o
r
o
v
er
MCP
,
s
o
am
b
ig
u
o
u
s
tim
eo
u
ts
d
is
ap
p
ea
r
a
n
d
p
r
o
to
c
o
l
p
r
o
g
r
e
s
s
b
ec
o
m
es
f
u
lly
m
ea
s
u
r
ab
le.
Ag
en
ts
th
at
wan
t
t
o
ad
ap
t
s
tr
ateg
y
o
v
er
tim
e
ca
n
p
lu
g
in
r
ein
f
o
r
ce
m
en
t
lear
n
in
g
m
o
d
u
les
r
estricte
d
to
p
u
b
lic
o
r
h
ash
e
d
f
ea
tu
r
es.
Fro
m
th
is
d
ec
o
m
p
o
s
itio
n
co
m
e
th
e
th
r
ee
g
u
ar
a
n
tees
th
e
d
esig
n
aim
s
at
:
i)
v
er
if
iab
ilit
y
:
ev
er
y
d
ec
is
io
n
is
a
d
eter
m
in
is
tic
f
u
n
ctio
n
o
f
s
ig
n
ed
o
r
h
ash
ed
d
ata
;
ii)
h
o
r
iz
o
n
tal
r
ep
licab
ilit
y
:
ea
ch
r
o
le
s
ca
les
in
d
ep
en
d
en
tly
,
with
n
o
b
o
ttlen
ec
k
b
etwe
en
t
h
em
;
an
d
iii)
i
n
ce
n
tiv
e
co
m
p
atib
ilit
y
:
b
o
n
d
s
,
d
ep
o
s
its
,
an
d
m
icr
o
-
f
ee
s
m
ak
e
B
y
za
n
tin
e
d
ev
iatio
n
s
s
tr
ictly
d
o
m
in
ated
s
tr
ateg
ies.
Fig
u
r
e
2
.
C
an
o
n
ical
L
L
M
–
M
C
P m
icr
o
-
escr
o
w
s
eq
u
en
ce
f
r
o
m
d
is
co
v
er
y
to
s
ettlem
en
t
2
.
3
.
B
lo
c
k
cha
in la
y
er
a
nd
s
m
a
rt
c
o
ntr
a
ct
T
r
u
s
t
b
o
tto
m
s
o
u
t
at
th
e
b
l
o
ck
ch
ain
lay
er
[
2
1
]
.
Sm
ar
t
co
n
tr
ac
ts
liv
e
h
er
e,
h
o
l
d
in
g
f
u
n
d
s
a
n
d
ad
ju
d
icatin
g
o
u
tco
m
es
b
ased
o
n
v
alid
ato
r
in
p
u
t.
T
h
e
escr
o
w
co
n
tr
ac
t
its
elf
is
an
au
to
m
ato
n
with
f
iv
e
m
ain
s
tates:
cr
ea
ted
,
f
u
n
d
ed
,
in
p
r
o
g
r
ess
,
co
m
p
leted
,
an
d
d
is
p
u
ted
.
A
n
ew
escr
o
w
s
tar
ts
in
c
r
ea
te
d
an
d
waits
f
o
r
th
e
r
eq
u
ester
’
s
p
ay
m
en
t
d
e
p
o
s
it.
W
h
en
th
e
co
r
r
ec
t
am
o
u
n
t
a
r
r
i
v
es,
alo
n
g
with
an
y
r
eq
u
ir
ed
p
r
o
v
id
e
r
b
o
n
d
,
th
e
co
n
tr
ac
t m
o
v
es to
f
u
n
d
ed
a
n
d
s
ig
n
als th
e
p
r
o
v
id
e
r
to
b
eg
in
wo
r
k
.
Deliv
er
y
tr
ig
g
e
r
s
th
e
n
ex
t
t
r
a
n
s
itio
n
:
as
th
e
p
r
o
v
id
er
s
tar
ts
s
en
d
in
g
co
n
tex
t
en
v
elo
p
es,
a
n
o
n
-
c
h
ain
ca
ll
m
o
v
es
th
e
co
n
tr
ac
t
t
o
in
p
r
o
g
r
ess
.
E
v
er
y
th
in
g
th
en
h
in
g
es
o
n
s
u
b
m
itVer
d
ict
(
b
y
tes
s
ig
,
b
y
tes3
2
r
atio
n
aleH
ash
)
.
A
v
alid
s
ig
n
at
u
r
e
an
d
a
f
a
v
o
r
a
b
le
v
er
d
ict
ta
k
e
th
e
co
n
tr
ac
t
to
c
o
m
p
leted
,
wh
er
e
th
e
p
r
o
v
i
d
er
r
ec
eiv
es
th
e
d
ep
o
s
it
m
in
u
s
f
ee
s
an
d
t
h
e
v
alid
ato
r
an
d
au
d
ito
r
co
llect
t
h
eir
r
ewa
r
d
s
p
lits
.
A
f
ailu
r
e
v
er
d
ict,
o
r
an
ex
p
ir
ed
d
ea
d
lin
e,
tak
es
it
t
o
d
is
p
u
te
d
in
s
tead
:
t
h
e
r
e
q
u
est
er
is
r
ef
u
n
d
e
d
a
n
d
th
e
p
r
o
v
id
e
r
’
s
b
o
n
d
is
s
lash
ed
to
th
e
tr
ea
s
u
r
y
.
E
v
er
y
cr
itical
ev
en
t
also
em
its
an
o
n
-
ch
ain
lo
g
ca
r
r
y
in
g
th
e
escr
o
w
I
D,
th
e
n
ew
s
tate,
an
d
th
e
b
lo
ck
n
u
m
b
er
,
s
o
o
f
f
-
ch
ain
in
d
ex
in
g
s
er
v
ices c
an
tr
ac
k
escr
o
w
life
cy
cles w
ith
n
o
ex
tr
a
m
ac
h
in
er
y
.
Fig
u
r
e
3
d
r
aws
th
e
wh
o
le
m
a
ch
in
e:
s
ix
s
tates,
th
eir
tr
an
s
i
ti
o
n
s
,
an
d
h
o
w
ea
ch
m
a
p
to
th
e
o
n
-
ch
ain
ca
lls
an
d
s
ettlem
en
t
o
u
tco
m
e
s
d
ef
in
ed
b
y
th
e
escr
o
w
c
o
n
t
r
ac
t.
T
wo
f
ea
tu
r
es
s
tan
d
o
u
t
i
n
th
e
d
iag
r
am
.
T
h
e
b
r
an
ch
p
o
in
t
s
its
at
in
p
r
o
g
r
ess
,
wh
er
e
th
e
v
alid
ato
r
’
s
s
u
b
m
it
Ver
d
ict
s
en
d
s
th
e
escr
o
w
to
eith
er
co
m
p
leted
o
r
d
is
p
u
ted
;
an
d
b
o
th
ter
m
in
al
b
r
an
ch
es
co
n
v
er
g
e
in
to
te
r
m
in
a
ted
o
n
ce
f
u
n
d
s
h
av
e
b
ee
n
d
is
b
u
r
s
ed
.
Ma
k
in
g
th
e
s
tr
u
ctu
r
e
th
is
ex
p
licit
is
wh
at
r
u
les
o
u
t
a
m
b
ig
u
o
u
s
escr
o
w
o
u
tco
m
es
u
n
d
er
tim
e
o
u
ts
o
r
m
i
s
s
in
g
v
er
d
icts
;
th
e
co
n
tr
ac
t stay
s
a
m
in
im
al
d
eter
m
in
is
tic
co
r
e,
an
d
s
em
an
tic
i
n
ter
p
r
etatio
n
s
tay
s
o
f
f
-
ch
ain
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
t J Ar
tif
I
n
tell
I
SS
N:
2252
-
8
9
3
8
C
o
n
text
-
a
w
a
r
e
micro
-
escr
o
w
f
o
r
a
g
en
tic
s
ystems
w
ith
la
n
g
u
a
g
e
mo
d
el
v
a
lid
a
tio
n
(
A
yma
n
N
a
it C
h
erif
)
4043
View
f
u
n
ctio
n
s
a
r
e
k
ep
t
p
u
r
e
.
T
h
ey
r
ea
d
o
n
ly
co
n
tr
ac
t
s
to
r
a
g
e
o
r
in
p
u
t
p
ar
am
eter
s
a
n
d
n
o
th
in
g
else;
n
o
e
x
ter
n
al
c
o
n
tex
t
ca
n
leak
i
n
to
a
r
ea
d
.
E
v
i
d
en
ce
n
ev
er
ap
p
ea
r
s
r
aw
eith
e
r
.
T
h
e
c
o
n
tr
ac
t
s
ee
s
o
n
ly
h
ash
es,
wh
ich
m
ak
es
it
tr
an
s
p
o
r
t
-
ag
n
o
s
tic
an
d
p
r
i
v
ac
y
-
p
r
eser
v
in
g
[
2
2
]
an
d
lets
th
e
au
d
it
la
y
er
v
er
if
y
escr
o
w
o
u
tco
m
es
u
n
if
o
r
m
ly
ac
r
o
s
s
m
o
d
alities
(
s
tu
d
io
lo
g
s
an
d
HT
T
P
ex
ch
an
g
es)
as
lo
n
g
a
s
th
ey
p
r
o
d
u
ce
a
co
n
s
is
ten
t
h
ash
tr
ail.
T
h
e
h
a
s
h
-
o
n
ly
m
o
d
el
p
ay
s
a
s
ec
o
n
d
d
iv
id
e
n
d
:
co
m
p
atib
ilit
y
wi
th
ze
r
o
-
k
n
o
wled
g
e
r
o
llu
p
s
[
2
3
]
f
o
llo
ws
d
ir
ec
tly
,
an
d
th
e
a
r
ch
itectu
r
e
ac
co
m
m
o
d
ates
f
u
t
u
r
e
e
x
ten
s
io
n
s
in
clu
d
in
g
zk
-
SNAR
K
p
r
o
o
f
s
o
f
ch
ec
k
lis
t satis
f
ac
tio
n
an
d
cr
o
s
s
-
ch
ain
lig
h
t e
s
cr
o
w
ad
ap
ter
s
[
2
4
]
.
Fig
u
r
e
3
.
Mic
r
o
-
escr
o
w
s
m
ar
t
co
n
tr
ac
t state
m
ac
h
in
e
2
.
4
.
L
a
rg
e
la
ng
ua
g
e
m
o
dels
v
a
lid
a
t
io
n a
nd
a
ud
it
ing
Ho
w
d
o
es
an
L
L
M
v
er
d
ict
b
e
co
m
e
r
e
p
r
o
d
u
cib
le
e
n
o
u
g
h
to
s
ettle
m
o
n
ey
?
T
h
r
o
u
g
h
a
d
eter
m
in
is
tic
ch
ec
k
lis
t.
T
h
e
v
alid
ato
r
ev
alu
ates
a
p
r
ed
ef
i
n
ed
s
et
o
f
p
r
ed
ic
ates
d
er
iv
ed
d
ir
ec
tly
f
r
o
m
th
e
escr
o
w
ag
r
ee
m
e
n
t,
s
o
co
m
p
letio
n
co
n
d
itio
n
s
ex
is
t
in
a
s
tr
u
ctu
r
ed
,
m
ac
h
in
e
-
ev
alu
ab
le
f
o
r
m
.
E
ac
h
p
r
ed
ic
ate
d
ec
lar
es
th
r
ee
th
in
g
s
—
wh
eth
er
it
is
m
an
d
ato
r
y
,
its
r
elativ
e
weig
h
t,
an
d
t
h
e
ev
id
en
ce
r
eq
u
ir
ed
f
o
r
ev
al
u
a
tio
n
—
wh
ich
lets
h
ar
d
co
n
s
tr
ain
ts
an
d
s
o
f
ter
q
u
a
lity
r
eq
u
ir
em
e
n
ts
liv
e
in
s
id
e
a
s
in
g
le
v
alid
atio
n
f
r
a
m
ewo
r
k
.
T
ak
e
a
co
n
cr
ete
ag
r
ee
m
en
t:
“th
e
tem
p
er
atu
r
e
d
ata
m
u
s
t
b
e
p
r
o
v
id
e
d
at
1
-
m
in
u
te
in
ter
v
als
f
o
r
6
0
m
in
u
tes,
with
n
o
m
o
r
e
t
h
an
5
%
m
is
s
in
g
r
ea
d
in
g
s
”
.
T
h
e
ch
ec
k
lis
t
f
o
r
it
m
i
g
h
t
ask
:
“Wer
e
at
least
5
7
tem
p
er
atu
r
e
r
ea
d
in
g
s
r
ec
eiv
e
d
(
o
u
t
o
f
6
0
ex
p
ec
te
d
)
?”
,
“I
s
th
e
in
ter
v
al
b
etwe
en
c
o
n
s
ec
u
tiv
e
r
ea
d
in
g
s
ap
p
r
o
x
im
ately
1
m
in
u
te
th
r
o
u
g
h
o
u
t?”,
a
n
d
“Do
all
r
ea
d
in
g
s
f
all
with
in
p
lau
s
ib
le
tem
p
er
atu
r
e
r
an
g
es?”.
E
v
e
r
y
item
is
wr
itten
as
a
q
u
esti
o
n
o
r
an
ass
er
tiv
e
s
tatem
en
t
th
at
th
e
ev
id
en
ce
ca
n
an
s
wer
.
T
h
e
v
alid
ato
r
ag
e
n
t
th
en
en
co
d
es
th
e
item
s
in
to
a
p
r
o
m
p
t
th
at
co
n
s
tr
ain
s
th
e
L
L
M’
s
o
u
tp
u
t
to
an
ea
s
ily
in
ter
p
r
eted
f
o
r
m
,
ty
p
ically
a
s
er
ies
o
f
y
es/n
o
an
s
wer
s
o
r
o
n
e
f
in
al
b
in
ar
y
d
ec
is
io
n
.
Un
d
er
a
f
ix
ed
m
o
d
el
v
er
s
io
n
an
d
f
ix
ed
d
ec
o
d
in
g
p
ar
am
eter
s
(
tem
p
er
at
u
r
e
=
0
)
,
th
e
wh
o
le
ev
alu
atio
n
is
d
eter
m
in
is
tic,
wh
ich
is
wh
at
m
ak
es
it
r
ep
r
o
d
u
ci
b
le
in
o
u
r
ex
p
er
im
en
tal
e
n
v
ir
o
n
m
en
t
.
Alg
o
r
ith
m
1
f
o
r
m
alize
s
th
is
ev
alu
atio
n
p
r
o
ce
d
u
r
e.
Giv
en
a
tr
an
s
cr
ip
t
,
a
ch
ec
k
lis
t
co
m
p
o
s
ed
o
f
m
an
d
ato
r
y
an
d
weig
h
ted
p
r
e
d
icate
s
,
an
d
a
r
is
k
th
r
esh
o
ld
,
th
e
v
alid
ato
r
f
ir
s
t
r
ec
o
n
s
tr
u
cts
a
ca
n
o
n
ical
r
ec
o
r
d
.
E
ac
h
p
r
e
d
icate
∈
is
ev
alu
ated
ag
ai
n
s
t
,
y
ield
in
g
a
b
in
ar
y
o
u
tco
m
e
∈
{
,
}
.
I
f
an
y
m
an
d
ato
r
y
p
r
ed
icate
f
ails
,
th
e
v
alid
ato
r
im
m
e
d
iately
e
m
its
a
r
ejec
tio
n
v
er
d
ict.
Oth
e
r
wis
e,
a
s
ca
lar
r
is
k
s
co
r
e
is
co
m
p
u
ted
as
th
e
weig
h
ted
s
u
m
o
f
f
ailed
n
o
n
-
m
a
n
d
a
to
r
y
p
r
ed
icate
s
.
T
h
e
tr
an
s
ac
tio
n
is
ac
ce
p
ted
o
n
ly
if
th
is
ag
g
r
eg
ate
r
is
k
r
em
ain
s
b
elo
w
th
e
p
r
e
d
ef
in
e
d
th
r
esh
o
l
d
.
Au
d
itab
ilit
y
with
o
u
t c
o
n
ten
t e
x
p
o
s
u
r
e
co
m
es f
r
o
m
th
e
r
ep
o
r
t f
o
r
m
at.
T
h
e
v
alid
ato
r
em
its
a
ca
n
o
n
ical
r
ep
o
r
t
(
p
r
ed
icate
id
e
n
tifie
r
s
,
f
lag
s
,
weig
h
ts
,
o
u
tco
m
es),
s
er
ializes
it
d
eter
m
in
is
tically
,
an
d
h
ash
es
it
with
SHA
-
2
5
6
;
th
at
r
atio
n
ale
h
ash
is
r
ec
o
r
d
ed
o
n
-
ch
ain
t
o
g
eth
er
with
th
e
b
in
ar
y
v
er
d
ict.
A
co
n
f
id
en
ce
p
r
o
x
y
m
ay
b
e
em
itted
to
o
.
I
t
s
tay
s
s
tr
i
ctly
o
f
f
-
ch
ain
,
f
ee
d
in
g
an
aly
s
is
o
r
co
m
m
ittee
weig
h
tin
g
an
d
n
o
th
i
n
g
else.
Alg
o
r
ith
m
1
s
h
o
ws th
e
co
m
p
l
ete
ch
ec
k
lis
t e
v
alu
atio
n
an
d
r
i
s
k
-
s
co
r
in
g
p
r
o
ce
s
s
.
Alg
o
r
ith
m
1
.
Dete
r
m
in
is
tic
ch
ec
k
lis
t e
v
alu
atio
n
an
d
r
is
k
s
co
r
in
g
(
p
er
v
alid
ato
r
)
Input: transcript
T
; checklist predicates
C
, where each predicate
i
has a
mandatory flag
m
i
∈
{true, false} and a weight
w
i
≥ 0; risk threshold
τ
≥ 0.
Output:
verdict
∈
{ACCEPT, REJECT};
rationaleHash
; optional confidence proxy (
κ
).
Procedure:
1.
R
← ReplayDeterministically(
T
)
▷
R
is the canonical evidence record
obtained by deterministic replay
2. for each predicate
i
in
C
(in a stable, predefined order): (
out
i
,
evidence
i
) ←
EvaluatePredicate(
i
,
R
), where
out
i
∈
{PASS, FAIL}
▷
evidence
i
is optional
supporting evidence
3. if there exists any predicate
i
such that (
m
i
= true) and (
out
i
= FAIL):
verdict
← REJECT; else:
risk
← Σ [
w
i
· 1(
out
i
= FAIL)] over all predicates
i
with
m
i
= false; if
risk
<
τ
:
verdict
← ACCEPT, else
verdict
← REJECT
4.
report
← CanonicalizeReport({
i
,
m
i
,
w
i
,
out
i
} for all
i
in
C
)
5.
rationaleHash
← SHA
-
256(
report
)
6.
κ
← ConfidenceProxy(
R
,
report
) (optional)
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
2
5
2
-
8
9
3
8
I
n
t J Ar
tif
I
n
tell
,
Vo
l.
15
,
No
.
5
,
Octo
b
er
20
26
:
4
0
3
9
-
4
0
5
2
4044
Alg
o
r
ith
m
1
’
s
o
u
tp
u
t
is
t
h
e
a
to
m
ic
d
ec
is
io
n
u
n
it
o
f
t
h
e
v
al
id
atio
n
lay
er
.
Ov
e
r
th
e
s
am
e
ca
n
o
n
ical
tr
an
s
cr
ip
t,
ev
er
y
v
alid
ato
r
r
u
n
s
th
e
ch
ec
k
lis
t
in
d
ep
en
d
en
tl
y
an
d
p
r
o
d
u
ce
s
a
s
ig
n
ed
d
e
cisi
o
n
tu
p
le.
W
h
at
h
ap
p
en
s
n
e
x
t
d
ep
en
d
s
o
n
d
e
p
lo
y
m
en
t.
A
s
in
g
le
v
alid
ato
r
s
u
b
m
its
its
tu
p
le
s
tr
aig
h
t
to
th
e
escr
o
w
co
n
tr
ac
t,
an
d
s
ettlem
en
t
f
o
llo
ws;
a
co
m
m
ittee
g
en
er
ates
m
u
ltip
le
o
u
tp
u
ts
in
p
ar
allel
an
d
ag
g
r
eg
ates
th
em
in
to
o
n
e
au
th
o
r
itativ
e
o
u
tc
o
m
e.
Ag
g
r
e
g
atio
n
to
u
c
h
es
s
ig
n
ed
v
alid
ato
r
o
u
tp
u
ts
o
n
l
y
,
n
ev
e
r
r
ein
ter
p
r
etin
g
r
aw
ev
id
en
ce
,
wh
ich
p
r
eser
v
es d
eter
m
in
is
m
an
d
co
n
f
in
es th
e
attac
k
s
u
r
f
ac
e
to
v
alid
ato
r
b
eh
av
i
o
r
.
Fig
u
r
e
4
tu
r
n
s
th
e
d
eter
m
in
is
tic
ch
ec
k
lis
t e
v
alu
atio
n
o
f
Alg
o
r
ith
m
1
in
to
a
c
o
m
m
ittee
-
b
ase
d
p
ip
elin
e.
E
v
er
y
th
in
g
in
t
h
e
p
ip
elin
e
s
tar
ts
f
r
o
m
th
e
ca
n
o
n
ical
tr
a
n
s
cr
ip
t
h
ash
ch
ain
:
th
e
co
m
p
lete,
o
r
d
er
ed
e
v
id
en
ce
lo
g
o
f
th
e
escr
o
w
ex
ec
u
tio
n
.
All
v
alid
ato
r
ag
e
n
ts
s
h
ar
e
th
is
ch
ain
,
an
d
it
s
er
v
es
as
th
e
im
m
u
tab
le
r
ef
er
e
n
ce
f
o
r
s
em
an
tic
v
alid
atio
n
.
Fig
u
r
e
4
.
C
o
m
m
ittee
-
b
ased
v
e
r
d
ict
s
u
b
m
is
s
io
n
an
d
a
g
g
r
e
g
atio
n
R
ep
lay
co
m
es
f
ir
s
t.
E
ac
h
v
alid
ato
r
d
eter
m
i
n
is
tically
r
e
-
ex
ec
u
tes
th
e
tr
an
s
cr
ip
t,
s
o
a
ll
o
f
th
em
r
ec
o
n
s
tr
u
ct
th
e
s
am
e
ca
n
o
n
ica
l e
v
id
en
ce
r
ec
o
r
d
u
n
d
er
an
id
e
n
tical
o
r
d
er
in
g
o
f
e
v
en
ts
.
A
ch
ec
k
lis
t b
u
ild
er
th
en
in
s
tan
tiates
th
e
p
r
ed
icate
s
et
ass
o
ciate
d
with
th
e
escr
o
w
a
g
r
ee
m
en
t,
weig
h
ts
an
d
m
an
d
a
to
r
y
f
la
g
s
in
clu
d
e
d
.
Sam
e
co
n
d
it
io
n
s
,
s
am
e
co
n
f
i
g
u
r
ati
o
n
,
f
o
r
e
v
e
r
y
v
a
li
d
at
o
r
.
W
ith
o
u
t
t
h
at
,
v
o
t
e
ag
g
r
e
g
a
ti
o
n
w
o
u
l
d
m
e
an
n
o
th
in
g
.
E
x
ec
u
tio
n
s
tay
s
lo
ca
l.
As
s
h
o
wn
in
th
e
f
ig
u
r
e
,
ea
ch
co
m
m
i
ttee
v
alid
ato
r
ap
p
lies
Alg
o
r
ith
m
1
o
n
its
o
wn
an
d
s
ig
n
s
a
v
o
te:
a
b
in
ar
y
v
er
d
ict
p
lu
s
a
r
atio
n
ale
h
ash
co
m
m
itti
n
g
to
th
e
ev
al
u
atio
n
o
u
tco
m
e.
No
in
ter
m
ed
iate
r
ea
s
o
n
in
g
c
r
o
s
s
es b
etwe
en
v
alid
ato
r
s
,
an
d
n
o
r
a
w
ev
id
en
ce
d
o
es e
ith
er
.
I
t is c
o
n
s
tr
ain
ed
th
is
way
d
elib
er
ately
,
b
ec
a
u
s
e
cr
o
s
s
-
v
al
id
ato
r
in
f
lu
e
n
ce
is
p
r
ec
is
ely
w
h
at
wo
u
ld
d
estro
y
s
tatis
tical
in
d
ep
en
d
e
n
ce
.
A
v
o
te
co
llecto
r
g
ath
e
r
s
th
e
s
ig
n
ed
o
u
tp
u
ts
,
v
er
if
ies
ev
e
r
y
s
ig
n
atu
r
e
,
an
d
en
f
o
r
ce
s
th
e
q
u
o
r
u
m
r
eq
u
ir
em
e
n
t.
On
ce
q
u
o
r
u
m
is
r
ea
ch
ed
,
ag
g
r
eg
atio
n
is
d
ete
r
m
in
is
tic:
a
p
r
ed
ef
in
ed
r
u
le
s
u
ch
as
m
ajo
r
ity
o
r
m
ed
ian
s
elec
tio
n
co
m
b
in
es
t
h
e
v
o
tes,
an
d
ties
r
eso
lv
e
co
n
s
er
v
ativ
ely
,
in
f
av
o
r
o
f
r
eje
ctio
n
.
Ou
t
co
m
es
a
co
m
p
ac
t
b
u
n
d
le.
I
t
h
o
ld
s
th
e
f
in
al
v
er
d
ict,
th
e
ass
o
ciate
d
r
atio
n
ale
h
ash
,
an
d
a
p
r
o
o
f
th
at
th
e
q
u
o
r
u
m
co
n
d
itio
n
s
wer
e
s
atis
f
ied
.
T
h
e
b
u
n
d
le
r
ea
ch
es
th
e
ch
ain
th
r
o
u
g
h
th
e
s
u
b
m
itVer
d
ict
f
u
n
ctio
n
.
As
illu
s
tr
ated
in
Fig
u
r
e
4
,
th
e
co
n
tr
ac
t
r
e
-
e
v
alu
ates
n
o
s
em
a
n
tic
co
n
d
itio
n
s
an
d
in
s
p
ec
ts
n
o
ex
ec
u
tio
n
ev
id
en
ce
;
c
r
y
p
to
g
r
ap
h
ic
v
alid
ity
a
n
d
q
u
o
r
u
m
co
m
p
lian
ce
ar
e
all
it
v
er
if
ies
b
ef
o
r
e
tr
ig
g
e
r
in
g
s
et
tlem
en
t.
T
h
e
d
i
v
is
io
n
h
o
ld
s
t
o
th
e
en
d
:
s
em
an
tic
in
ter
p
r
etatio
n
o
f
f
-
c
h
ain
,
o
n
-
ch
ain
lo
g
ic
m
in
im
al,
d
eter
m
in
is
tic,
an
d
au
d
itab
le.
W
h
at
Fig
u
r
e
4
s
h
o
ws,
in
th
e
en
d
,
is
s
ca
lin
g
with
o
u
t
e
x
p
o
s
u
r
e:
d
eter
m
in
is
tic
lo
ca
l
v
alid
atio
n
(
Alg
o
r
ith
m
1
)
g
r
o
ws
in
to
a
f
au
lt
-
to
ler
an
t
co
m
m
ittee
s
ettin
g
wh
ile
th
e
o
n
-
c
h
ain
attac
k
s
u
r
f
ac
e
s
tay
s
f
ix
ed
.
Acc
o
u
n
tab
ilit
y
s
u
r
v
iv
es
th
r
o
u
g
h
s
ig
n
ed
v
o
tes
an
d
r
atio
n
ale
h
ash
es;
in
d
iv
id
u
al
v
alid
ato
r
f
a
ilu
r
e
is
ab
s
o
r
b
ed
b
y
ag
g
r
eg
atio
n
o
v
e
r
th
e
s
h
ar
e
d
ca
n
o
n
ical
tr
an
s
cr
ip
t.
T
h
e
co
s
t
o
f
th
at
r
esil
ien
ce
is
b
o
u
n
d
e
d
an
d
p
r
ed
ictab
le:
ev
er
y
ad
d
itio
n
al
co
m
m
ittee
m
em
b
er
ad
d
s
o
n
e
in
d
ep
en
d
en
t e
v
alu
ati
o
n
o
f
t
h
e
s
am
e
ca
n
o
n
ical
tr
an
s
cr
ip
t,
s
o
v
alid
atio
n
ef
f
o
r
t scale
s
with
co
m
m
ittee
s
ize
r
ath
er
th
a
n
with
th
e
v
o
lu
m
e
o
f
ev
id
e
n
ce
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
t J Ar
tif
I
n
tell
I
SS
N:
2252
-
8
9
3
8
C
o
n
text
-
a
w
a
r
e
micro
-
escr
o
w
f
o
r
a
g
en
tic
s
ystems
w
ith
la
n
g
u
a
g
e
mo
d
el
v
a
lid
a
tio
n
(
A
yma
n
N
a
it C
h
erif
)
4045
2
.
5
.
Audi
t
ing
,
f
ee
a
djustm
en
t
,
a
nd
pa
ra
m
e
t
er
ca
lib
ra
t
io
n
T
h
e
au
d
ito
r
watc
h
es
ev
er
y
t
h
in
g
an
d
to
u
c
h
es
n
o
th
in
g
.
I
t
co
n
tin
u
o
u
s
ly
s
am
p
les
v
er
d
ict
h
ash
es,
cr
o
s
s
-
lin
k
s
th
em
with
escr
o
w
ev
en
t
lo
g
s
,
an
d
r
ec
o
n
s
tr
u
cts
a
s
tatis
t
ical
v
iew
o
f
s
y
s
tem
p
er
f
o
r
m
an
ce
ac
r
o
s
s
all
co
m
p
leted
escr
o
ws:
s
y
s
tem
ic
g
o
v
er
n
an
ce
,
n
o
t
a
p
e
r
-
escr
o
w
co
n
tr
o
l.
R
ec
en
c
y
co
m
es
f
r
o
m
a
s
lid
in
g
win
d
o
w
W
o
f
r
ec
en
t
escr
o
ws
(
e.
g
.
,
th
e
last
1
,
0
2
4
escr
o
ws
o
r
th
e
last
2
4
h
)
,
wh
ich
k
ee
p
s
an
o
m
al
y
s
co
r
es
tied
to
r
ec
en
t
b
eh
av
io
r
al
t
r
en
d
s
wh
ile
r
em
a
in
in
g
co
m
p
u
tatio
n
ally
lig
h
tweig
h
t.
W
ith
in
th
e
win
d
o
w,
t
h
e
au
d
ito
r
c
o
m
p
u
tes
p
er
-
p
r
o
v
id
e
r
an
o
m
aly
s
co
r
es
v
ia
a
Ko
lm
o
g
o
r
o
v
–
Sm
ir
n
o
v
g
o
o
d
n
ess
-
of
-
f
it
test
[
2
5
]
o
n
th
e
d
is
tr
ib
u
tio
n
o
f
laten
cy
,
s
u
cc
ess
r
ate,
an
d
o
t
h
er
m
etr
ics
co
m
p
ar
ed
to
h
is
to
r
ical
b
aselin
es.
T
h
e
r
aw
m
a
ter
ial
is
r
ich
:
ea
ch
s
ettlem
en
t
ca
r
r
ies
th
e
p
r
o
v
id
er
’
s
r
esp
o
n
s
e
laten
cy
,
th
e
c
o
n
tr
ac
t
o
u
tc
o
m
e
(
p
ass
o
r
f
a
il),
th
e
v
alid
ato
r
’
s
co
n
f
id
en
ce
s
co
r
e
if
a
v
ailab
le,
g
as
u
s
ed
,
an
d
th
e
p
r
o
v
i
d
er
’
s
p
u
b
lic
k
e
y
.
Ag
g
r
eg
atin
g
th
ese
attr
ib
u
tes
o
v
er
th
e
s
lid
in
g
win
d
o
w
y
ield
s
f
o
u
r
k
ey
p
r
o
v
id
e
r
m
etr
ics:
laten
cy
p
er
ce
n
tiles
(
e.
g
.
,
5
0
th
,
9
0
th
,
an
d
9
9
th
p
e
r
ce
n
tile
r
esp
o
n
s
e
tim
e)
,
s
u
cc
ess
r
atio
(
f
r
ac
tio
n
o
f
escr
o
ws
p
ass
ed
)
,
b
o
n
d
f
o
r
f
eitu
r
e
r
atio
(
f
r
ac
tio
n
o
f
escr
o
ws
wh
er
e
th
e
p
r
o
v
id
e
r
’
s
b
o
n
d
was
s
la
s
h
ed
)
,
an
d
a
d
is
tr
ib
u
tio
n
-
d
r
if
t
m
ea
s
u
r
e
f
r
o
m
th
e
Ko
lm
o
g
o
r
o
v
–
Sm
ir
n
o
v
test
.
T
o
g
eth
er
,
th
e
f
o
u
r
d
ef
in
e
th
e
p
r
o
v
id
er
’
s
o
p
er
atio
n
al
p
r
o
f
ile.
Dete
ctio
n
th
en
r
ed
u
ce
s
to
a
d
is
tan
ce
q
u
esti
o
n
.
T
h
e
au
d
ito
r
ap
p
lies
a
m
o
d
el
s
u
ch
as
a
Gau
s
s
ian
m
ix
tu
r
e
m
o
d
el
(
GM
M)
to
co
m
p
ar
e
th
e
cu
r
r
en
t
p
r
o
f
ile
ag
ain
s
t
h
is
to
r
ical
n
o
r
m
s
,
a
n
d
if
th
e
M
ah
alan
o
b
is
d
is
tan
ce
o
f
th
e
p
r
o
f
ile
f
r
o
m
th
e
h
is
to
r
ical
clu
s
ter
ex
ce
ed
s
a
th
r
esh
o
ld
(
e.
g
.
,
λ
=
4
.
5
)
,
th
e
p
r
o
v
id
e
r
is
f
lag
g
ed
as a
n
o
m
alo
u
s
.
W
h
en
an
o
m
al
o
u
s
b
e
h
av
io
r
i
s
d
etec
ted
,
th
e
au
d
ito
r
tr
i
g
g
e
r
s
a
d
eter
m
i
n
is
tic
f
ee
ad
j
u
s
tm
en
t.
T
h
e
ap
p
lied
f
ee
is
d
ef
i
n
e
d
f
o
r
an
escr
o
w
ex
ec
u
ted
b
y
p
r
o
v
id
er
p
a
s
:
f
ee
Ap
p
lied
=
f
ee
Dec
lar
ed
⋅
(
1
+
Δ
)
wh
er
e
Δ
≥
0
is
a
s
u
r
ch
ar
g
e
d
er
i
v
ed
f
r
o
m
n
o
r
m
alize
d
r
is
k
i
n
d
icato
r
s
.
Sp
ec
if
ically
:
Δ
=
c
l
ip
(
0
,
m
ax
,
ℓ
⋅
ℓ
(
)
+
⋅
d
(
)
+
⋅
a
(
)
)
Her
e
ℓ
(
)
is
a
laten
cy
d
ev
iatio
n
s
co
r
e
(
e.
g
.
,
s
tan
d
ar
d
ized
d
r
i
f
t
o
f
90
o
r
99
laten
cy
r
elativ
e
t
o
th
e
p
r
o
v
id
e
r
’
s
h
is
to
r
ical
b
aselin
e)
,
(
)
is
a
d
is
tr
ib
u
tio
n
-
d
r
if
t
s
co
r
e
(
e.
g
.
,
Ko
lm
o
g
o
r
o
v
–
Sm
ir
n
o
v
d
is
tan
ce
o
n
laten
cy
o
r
o
u
tco
m
e
d
is
tr
ib
u
tio
n
s
)
,
an
d
(
)
is
an
av
ailab
ilit
y
/b
eh
av
io
r
s
co
r
e
(
e.
g
.
,
d
e
v
iatio
n
in
s
u
cc
ess
r
atio
o
r
u
n
u
s
u
al
s
lash
f
r
eq
u
e
n
cy
)
.
T
h
e
co
ef
f
icie
n
ts
co
n
tr
o
l
r
esp
o
n
s
iv
en
ess
to
ea
ch
s
ig
n
al,
wh
ile
m
ax
b
o
u
n
d
s
th
e
m
ax
im
u
m
s
u
r
c
h
ar
g
e
to
a
v
o
id
d
estab
ilizin
g
th
e
m
ar
k
etp
lac
e.
T
h
is
s
u
r
ch
ar
g
e
a
p
p
lies
o
n
l
y
to
th
e
p
r
o
v
id
er
'
s
p
ay
o
u
t;
t
h
e
r
e
q
u
ester
'
s
co
s
t
r
em
ain
s
u
n
af
f
ec
te
d
.
An
y
f
ee
s
co
llected
f
r
o
m
s
u
r
ch
ar
g
es
a
r
e
r
ed
is
tr
ib
u
ted
to
v
alid
ato
r
s
an
d
au
d
ito
r
s
o
r
b
u
r
n
ed
,
cr
ea
tin
g
a
s
elf
-
co
r
r
ec
t
in
g
ec
o
n
o
m
ic
f
ee
d
b
ac
k
lo
o
p
wh
er
e
an
o
m
alo
u
s
p
r
o
v
id
e
r
s
in
cu
r
h
ig
h
er
co
s
ts
u
n
til th
eir
p
er
f
o
r
m
an
ce
r
etu
r
n
s
to
n
o
r
m
al.
I
n
th
e
s
im
u
lato
r
c
o
n
f
i
g
u
r
atio
n
,
th
e
au
d
ito
r
u
s
es
a
s
lid
in
g
win
d
o
w
o
f
W
=
1
,
0
2
4
r
ec
en
t
escr
o
ws
(
o
r
th
e
last
2
4
h
,
wh
ich
ev
er
is
s
m
aller
)
an
d
b
o
u
n
d
s
th
e
m
ax
im
u
m
s
u
r
ch
ar
g
e
at
m
ax
=
0
.
3
0
s
o
t
h
at
th
e
ap
p
lied
f
ee
r
em
ain
s
d
o
m
i
n
ated
b
y
th
e
p
r
o
v
id
e
r
’
s
d
ec
lar
ed
p
r
ice.
C
o
ef
f
icien
ts
ℓ
,
,
ar
e
s
elec
ted
u
s
in
g
a
b
en
ig
n
b
aselin
e
f
o
llo
wed
b
y
a
s
m
all
s
wee
p
o
v
er
d
r
if
t
an
d
f
ailu
r
e
r
eg
im
es
to
s
ati
s
f
y
:
i)
m
ed
ian
Δ
≈
0
an
d
p
9
5
(
Δ
)
≤
0
.
0
5
in
b
en
ig
n
wo
r
k
l
o
ad
s
,
an
d
ii)
m
o
n
o
to
n
ic
i
n
cr
e
ase
u
n
d
er
in
jecte
d
late
n
cy
d
r
i
f
t
o
r
ab
n
o
r
m
al
f
ailu
r
e/sl
ash
r
ates.
As
an
illu
s
tr
ativ
e
ex
am
p
le,
f
o
r
f
ee
Dec
lar
e
d
=
2
.
5
an
d
n
o
r
m
alize
d
s
co
r
es
ℓ
=
0
.
8
,
d
=
0
.
3
,
a
=
0
.
2
with
ℓ
=
0
.
0
8
,
=
0
.
0
5
,
=
0
.
0
6
,
th
e
s
u
r
c
h
ar
g
e
is
Δ
=
0
.
0
8
·
0
.
8
+
0
.
0
5
·
0
.
3
+
0
.
0
6
·
0
.
2
=
0
.
0
9
1
,
y
ield
in
g
f
ee
Ap
p
lied
=
2
.
5
·
(
1
+
0
.
0
9
1
)
=
2
.
7
3
.
T
h
e
a
d
ju
s
tm
e
n
t
r
u
le
is
th
er
ef
o
r
e
f
u
lly
r
ep
r
o
d
u
cib
le:
g
i
v
en
W
,
κ,
an
d
th
e
c
o
ef
f
icien
t set,
f
ee
Ap
p
lied
is
a
d
eter
m
in
is
tic
f
u
n
ctio
n
o
f
r
ec
e
n
t settlem
en
t m
etad
ata.
Slas
h
in
g
s
ev
er
ity
is
co
n
f
ig
u
r
e
d
s
ep
ar
ately
f
r
o
m
f
ee
r
esp
o
n
s
iv
en
ess
b
ec
au
s
e
it
r
ep
r
esen
ts
a
o
n
e
-
tim
e
p
en
alty
tied
t
o
co
n
f
ir
m
ed
f
ai
lu
r
e.
Fo
r
a
p
r
o
v
id
e
r
b
o
n
d
a
n
d
a
s
lash
in
g
f
r
ac
tio
n
∈
[
0
,
1
]
,
th
e
co
n
tr
ac
t
tr
an
s
f
er
s
to
th
e
tr
ea
s
u
r
y
u
p
o
n
a
r
ejec
t
o
u
tco
m
e
attr
ib
u
tab
l
e
to
p
r
o
v
id
e
r
n
o
n
-
co
m
p
lian
ce
.
I
n
p
r
ac
tice,
i
s
ch
o
s
en
s
o
th
at
th
e
ex
p
ec
te
d
lo
s
s
f
r
o
m
ch
ea
tin
g
d
o
m
in
ates
th
e
ex
p
ec
ted
g
ai
n
f
r
o
m
a
s
u
cc
ess
f
u
l
m
alicio
u
s
co
m
p
letio
n
(
i.e
.
,
ex
ce
ed
s
th
e
p
r
o
v
i
d
er
’
s
ex
p
ec
ted
p
r
o
f
it
o
n
th
at
escr
o
w
a
f
ter
ac
co
u
n
ti
n
g
f
o
r
d
etec
tio
n
p
r
o
b
a
b
ilit
y
)
,
wh
ile
r
em
ain
in
g
lo
w
en
o
u
g
h
to
a
v
o
id
ex
ce
s
s
iv
e
d
o
wn
s
id
e
f
o
r
b
en
ig
n
p
r
o
v
id
er
s
u
n
d
er
n
o
is
y
ev
id
en
ce
.
T
h
e
d
esig
n
in
ten
t
is
ex
p
licit:
f
ee
s
p
r
ice
m
o
n
ito
r
in
g
a
n
d
p
er
f
o
r
m
an
ce
d
r
if
t
c
o
n
tin
u
o
u
s
ly
,
wh
ile
s
lash
in
g
p
en
alize
s
co
n
f
ir
m
e
d
b
r
ea
ch
as a
d
is
cr
ete
o
n
e
-
tim
e
ev
en
t.
Fig
u
r
e
5
ass
em
b
les
th
e
co
m
p
lete
s
im
u
latio
n
an
d
ex
p
er
i
m
en
tal
s
etu
p
u
s
ed
f
o
r
th
e
ev
alu
atio
n
in
s
ec
tio
n
3
.
T
h
e
p
ip
elin
e
r
u
n
s
f
r
o
m
s
ce
n
ar
io
co
n
f
i
g
u
r
atio
n
th
r
o
u
g
h
a
d
eter
m
in
is
tic
d
is
cr
ete
-
ev
en
t
s
im
u
lato
r
to
th
e
em
itted
ar
tifa
cts
an
d
th
e
a
n
aly
s
is
s
tag
e,
with
th
e
au
d
ito
r
f
ee
d
b
ac
k
lo
o
p
ap
p
ly
in
g
th
e
f
ee
-
ad
ju
s
tm
en
t
an
d
s
lash
in
g
p
ar
am
eter
s
d
e
f
in
ed
a
b
o
v
e.
E
v
er
y
s
tag
e
is
s
ee
d
ed
.
E
v
er
y
s
tag
e
r
ep
lay
s
.
Feed
in
s
am
e
co
n
f
ig
u
r
atio
n
an
d
id
en
tical
o
u
tp
u
ts
co
m
e
b
a
ck
o
u
t,
wh
ic
h
g
u
ar
an
tees th
e
r
ep
r
o
d
u
cib
ilit
y
o
f
all
r
ep
o
r
te
d
r
esu
lts
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
2
5
2
-
8
9
3
8
I
n
t J Ar
tif
I
n
tell
,
Vo
l.
15
,
No
.
5
,
Octo
b
er
20
26
:
4
0
3
9
-
4
0
5
2
4046
Fig
u
r
e
5
.
Simu
latio
n
an
d
e
x
p
e
r
im
en
tal
s
etu
p
3.
RE
SU
L
T
S AN
D
D
I
SCU
SS
I
O
N
Fo
u
r
q
u
esti
o
n
s
d
r
iv
e
th
e
e
v
alu
atio
n
:
i)
c
o
r
r
ec
tn
ess
an
d
th
r
o
u
g
h
p
u
t
u
n
d
er
n
o
m
in
al
c
o
n
d
itio
n
s
;
ii)
s
en
s
itiv
ity
to
m
alicio
u
s
p
r
o
v
id
er
p
r
ev
alen
ce
;
iii)
s
ec
u
r
ity
/laten
cy
tr
ad
e
-
o
f
f
s
as
co
m
m
ittee
s
ize
v
ar
ies;
an
d
iv
)
th
e
ec
o
n
o
m
ic
im
p
ac
t
o
f
s
lash
in
g
s
ev
er
ity
an
d
m
alicio
u
s
v
alid
ato
r
s
.
C
o
r
r
ec
tn
ess
,
p
er
f
o
r
m
an
ce
,
r
o
b
u
s
tn
ess
,
an
d
ec
o
n
o
m
ic
alig
n
m
e
n
t
ar
e
m
ea
s
u
r
ed
in
a
s
im
u
lato
r
t
h
at
g
en
er
ates
r
e
p
r
o
d
u
cib
le
d
at
asets
to
g
eth
er
with
b
ef
o
r
e/af
ter
t
r
ea
s
u
r
y
s
n
ap
s
h
o
ts
.
T
h
e
L
L
M
v
alid
ato
r
’
s
d
ec
is
io
n
q
u
ality
g
ets
ex
p
licit
tr
ea
tm
en
t
to
o
,
c
o
v
er
in
g
p
r
ec
is
io
n
,
r
ec
all,
an
d
f
ailu
r
e
m
o
d
es,
an
d
th
e
m
ain
p
lo
ts
an
d
tab
les
ar
e
in
ter
p
r
ete
with
p
r
ac
tical
im
p
licatio
n
s
f
o
r
s
y
s
tem
tu
n
in
g
.
3
.
1
.
Co
re
co
m
po
nents
E
ac
h
s
im
u
lated
p
ar
ticip
a
n
t
is
an
ag
en
t
with
th
r
ee
th
i
n
g
s
:
o
p
er
atio
n
al
s
tate,
p
e
r
f
o
r
m
an
c
e
s
tatis
tic
s
,
an
d
a
s
ig
n
ed
d
is
co
v
er
y
ca
r
d
u
s
ed
d
u
r
in
g
ca
p
ab
ilit
y
lo
o
k
u
p
an
d
s
elec
tio
n
.
Au
d
itab
ilit
y
f
o
llo
ws
d
ir
ec
tly
.
B
ec
au
s
e
th
e
task
in
ten
t,
t
h
e
ev
id
en
ce
tr
an
s
cr
ip
t
h
ash
ch
ain
,
an
d
th
e
c
o
m
m
ittee
v
e
r
d
ict
b
u
n
d
le
ar
e
all
p
r
eser
v
ed
,
a
n
y
escr
o
w
ca
n
b
e
r
ep
lay
ed
d
ete
r
m
in
is
tically
o
f
f
-
ch
ain
ag
ain
s
t
th
e
p
u
b
lis
h
ed
r
u
les.
T
h
e
s
im
u
lato
r
s
ee
d
s
ev
er
y
r
an
d
o
m
p
r
o
ce
s
s
,
s
o
o
u
tp
u
ts
s
tay
s
tab
le
ac
r
o
s
s
r
u
n
s
an
d
r
e
m
ain
s
u
itab
l
e
f
o
r
b
e
n
ch
m
ar
k
co
m
p
ar
is
o
n
.
Fig
u
r
e
6
s
h
o
ws
a
r
ep
r
esen
tativ
e
p
r
o
v
id
er
r
ec
o
r
d
:
em
itted
b
y
th
e
s
im
u
lato
r
,
th
en
co
n
s
u
m
ed
b
y
s
elec
tio
n
,
au
d
itin
g
,
a
n
d
p
o
s
t
-
h
o
c
an
aly
s
is
.
Fig
u
r
e
6
.
E
x
am
p
le
p
r
o
v
i
d
er
r
e
co
r
d
3
.
2
.
E
x
perim
ent
a
l scena
rio
s
T
h
e
b
aselin
e
is
clea
n
b
y
co
n
s
t
r
u
ctio
n
:
n
=
1
0
0
jo
b
s
,
P
=
5
0
p
r
o
v
id
e
r
s
,
V
=
4
0
v
alid
ato
r
s
,
co
m
m
ittee
f
r
ac
tio
n
=
5
0
%
(
av
g
co
m
m
ittee
s
ize
2
0
)
,
R
=
5
r
eq
u
ester
s
,
A
=
1
0
au
d
ito
r
s
,
an
d
n
o
t
a
s
in
g
le
m
alicio
u
s
ac
to
r
.
Fig
u
r
e
7
r
ep
o
r
ts
th
e
r
esu
ltin
g
b
aselin
e
o
u
tco
m
e
o
b
ject,
wh
ich
is
o
lates
n
o
m
in
al
b
o
ttlen
ec
k
s
an
d
g
iv
es
ev
er
y
later
s
tr
es
s
tes
t
it
s
r
ef
er
en
ce
p
o
in
t.
C
o
r
r
ec
tn
ess
is
p
er
f
ec
t:
p
ass
_
r
ate
=
1
.
0
.
T
h
e
d
o
m
in
a
n
t
co
s
t
is
v
alid
ato
r
co
m
m
ittee
in
f
er
en
ce
tim
e,
n
o
t
p
r
o
v
id
e
r
ex
ec
u
tio
n
tim
e.
T
wo
r
eg
im
es
s
ep
ar
ate
clea
n
ly
in
th
e
b
aselin
e.
Pro
v
id
er
ex
e
cu
tio
n
s
tay
s
s
u
b
-
s
ec
o
n
d
at
t
h
e
m
ed
ian
;
co
m
m
ittee
v
alid
atio
n
s
tr
etch
es
o
v
er
s
ev
er
al
s
ec
o
n
d
s
o
n
av
er
ag
e.
T
h
e
g
ap
p
o
in
ts
at
wh
er
e
th
r
o
u
g
h
p
u
t
liv
es:
v
alid
ato
r
ca
p
ac
ity
(
p
ar
allel
co
m
m
ittees,
b
atch
in
g
,
o
r
lig
h
ter
ch
ec
k
lis
ts
)
is
th
e
lev
er
,
n
o
t
p
r
o
v
id
er
p
e
r
f
o
r
m
an
ce
u
n
d
er
b
en
ig
n
b
e
h
av
io
r
.
E
co
n
o
m
ics
ar
e
q
u
iet
h
er
e.
Fee
co
llectio
n
h
o
ld
s
s
tab
le
an
d
s
lash
in
g
s
tay
s
at
ze
r
o
,
ex
ac
tly
wh
at
th
e
ab
s
en
ce
o
f
d
is
p
u
tes an
d
d
etec
ted
c
h
ea
tin
g
s
h
o
u
ld
p
r
o
d
u
ce
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
t J Ar
tif
I
n
tell
I
SS
N:
2252
-
8
9
3
8
C
o
n
text
-
a
w
a
r
e
micro
-
escr
o
w
f
o
r
a
g
en
tic
s
ystems
w
ith
la
n
g
u
a
g
e
mo
d
el
v
a
lid
a
tio
n
(
A
yma
n
N
a
it C
h
erif
)
4047
Fig
u
r
e
7
.
B
aselin
e
o
u
tco
m
e
o
b
ject
Ap
p
lied
f
ee
s
tr
ac
k
d
ec
lar
ed
f
ee
s
,
b
u
t
n
o
t
r
ig
i
d
ly
.
Fig
u
r
e
8
m
ak
es
th
e
r
elatio
n
s
h
ip
v
is
ib
le
b
y
ex
ten
d
in
g
th
e
b
aselin
e
to
p
r
i
cin
g
:
ea
ch
p
o
in
t
is
a
co
m
p
le
ted
escr
o
w,
p
lo
tted
b
y
tr
an
s
a
ctio
n
am
o
u
n
t,
th
e
p
r
o
v
id
e
r
’
s
d
ec
lar
e
d
f
ee
,
a
n
d
t
h
e
f
ee
ac
tu
ally
a
p
p
lied
af
ter
a
u
d
it
ad
ju
s
tm
en
ts
.
T
h
e
q
u
esti
o
n
th
e
p
lo
t
a
n
s
wer
s
is
wh
eth
er
ap
p
lied
f
ee
s
m
er
ely
m
ir
r
o
r
d
ec
lar
ed
p
r
icin
g
o
r
ca
r
r
y
ad
d
itio
n
al
s
y
s
tem
-
lev
el
co
r
r
ec
tio
n
s
.
T
h
ey
ca
r
r
y
co
r
r
ec
tio
n
s
.
Dis
p
er
s
io
n
g
r
o
ws
at
h
ig
h
er
tr
an
s
ac
tio
n
am
o
u
n
ts
:
th
e
s
ig
n
atu
r
e
o
f
co
n
tex
tu
al
r
i
s
k
an
d
m
o
n
ito
r
in
g
o
v
er
h
ea
d
en
ter
in
g
th
e
f
ee
co
m
p
u
tatio
n
as e
co
n
o
m
ic
s
tak
es r
i
s
e,
n
o
t o
f
a
r
ig
id
,
v
alu
e
-
in
d
ep
e
n
d
en
t p
r
icin
g
r
u
le.
Do
es
ec
o
n
o
m
ic
p
r
ess
u
r
e
er
o
d
e
v
alid
atio
n
q
u
ality
?
Fig
u
r
e
9
ch
ec
k
s
,
r
e
p
o
r
tin
g
t
h
e
em
p
ir
ical
d
is
tr
ib
u
tio
n
o
f
co
n
f
id
en
ce
s
c
o
r
es
ac
r
o
s
s
th
e
1
0
0
b
aselin
e
escr
o
ws.
T
h
e
h
is
to
g
r
am
is
tig
h
tly
co
n
ce
n
tr
ated
:
ev
er
y
escr
o
w
f
alls
with
in
a
n
ar
r
o
w
b
an
d
ar
o
u
n
d
a
m
ea
n
o
f
0
.
8
8
4
,
s
o
th
e
d
eter
m
i
n
is
tic
ch
ec
k
lis
t
r
etu
r
n
s
d
ec
is
iv
e
s
em
an
tic
ju
d
g
m
en
ts
r
ath
er
th
a
n
m
a
r
g
in
al
o
r
am
b
ig
u
o
u
s
o
u
tco
m
es.
No
lo
w
-
c
o
n
f
i
d
en
ce
ca
s
e
a
p
p
ea
r
s
an
y
wh
er
e
in
t
h
e
b
aselin
e,
an
d
th
at
ab
s
en
ce
s
u
g
g
ests
th
at
n
ei
th
er
f
ee
ad
ju
s
tm
en
t
n
o
r
s
tak
e
s
ize
s
y
s
tem
atica
l
ly
in
d
u
ce
s
s
em
an
tic
u
n
ce
r
tai
n
ty
.
Fig
u
r
e
8
.
Am
o
u
n
t
v
s
d
ec
lar
ed
f
ee
v
s
ap
p
lied
f
ee
Fig
u
r
e
9
.
Dis
tr
ib
u
tio
n
o
f
v
alid
ato
r
co
n
f
id
en
ce
W
ith
s
em
an
tic
co
n
f
id
e
n
ce
h
o
ld
in
g
s
tead
y
,
Fig
u
r
e
1
0
co
n
n
ec
ts
v
alid
atio
n
o
u
tco
m
e
s
b
ac
k
to
o
p
er
atio
n
al
p
er
f
o
r
m
an
ce
b
y
i
s
o
latin
g
th
e
r
elatio
n
s
h
ip
b
et
wee
n
p
r
o
v
i
d
er
laten
cy
a
n
d
t
h
e
ap
p
lied
f
ee
.
T
h
e
ass
o
ciatio
n
is
p
o
s
it
iv
e,
ex
ac
tly
as
th
e
in
ce
n
tiv
e
d
esig
n
in
ten
d
s
:
p
r
o
v
id
e
r
s
th
at
r
u
n
s
lo
wer
im
p
o
s
e
g
r
ea
ter
m
o
n
ito
r
in
g
an
d
c
o
o
r
d
i
n
atio
n
co
s
ts
,
an
d
th
ey
p
ay
f
o
r
it
th
r
o
u
g
h
h
ig
h
er
f
ee
s
.
T
h
e
co
u
p
lin
g
in
ter
n
alize
s
p
er
f
o
r
m
an
ce
in
ef
f
icien
cy
ec
o
n
o
m
ically
,
an
d
it
d
o
es
s
o
co
n
tin
u
o
u
s
ly
.
No
co
a
r
s
e
r
ep
u
tatio
n
th
r
esh
o
ld
,
n
o
h
ar
d
ex
clu
s
io
n
; su
b
o
p
tim
al
b
eh
av
i
o
r
g
ets d
is
co
u
r
ag
e
d
th
r
o
u
g
h
f
ee
ad
ju
s
tm
en
t a
lo
n
e.
T
ak
en
to
g
eth
er
,
Fig
u
r
es
8
t
o
1
0
tr
ac
e
a
s
in
g
le
f
ee
d
b
ac
k
lo
o
p
:
s
em
an
tic
v
alid
atio
n
d
eter
m
in
es
o
u
tco
m
es,
o
u
tco
m
es
s
h
ap
e
p
r
icin
g
,
a
n
d
p
r
icin
g
r
esp
o
n
d
s
to
o
b
s
er
v
ed
p
er
f
o
r
m
an
ce
w
ith
o
u
t
d
estab
ilizin
g
v
alid
atio
n
q
u
ality
.
I
n
s
id
e
th
at
lo
o
p
,
th
e
s
em
a
n
tic
f
ailu
r
es
we
o
b
s
er
v
e
s
p
lit
in
to
two
ca
m
p
s
,
an
d
ea
ch
ca
m
p
in
f
o
r
m
s
c
h
ec
k
lis
t
d
esig
n
.
Fals
e
p
o
s
itiv
es
(
FP
)
ap
p
ea
r
wh
en
task
s
p
ec
if
icatio
n
is
u
n
d
er
s
p
e
cif
ied
—
to
ler
a
n
ce
s
th
at
wer
e
n
ev
er
en
co
d
ed
as
e
x
p
licit
p
r
e
d
icate
s
—
s
o
th
e
r
em
ed
y
is
tig
h
ter
b
o
u
n
d
s
an
d
d
eter
m
in
is
tic
jitt
er
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
2
5
2
-
8
9
3
8
I
n
t J Ar
tif
I
n
tell
,
Vo
l.
15
,
No
.
5
,
Octo
b
er
20
26
:
4
0
3
9
-
4
0
5
2
4048
win
d
o
ws.
Fals
e
n
eg
ativ
es
(
F
N)
ar
e
th
e
m
ir
r
o
r
im
ag
e:
ev
i
d
en
ce
th
at
r
ea
d
s
as
s
em
an
tic
ally
p
lau
s
ib
le
wh
ile
v
io
latin
g
h
ar
d
co
n
s
tr
ain
ts
o
n
tim
estam
p
s
,
o
r
d
er
in
g
,
o
r
s
ch
e
m
a
v
alid
ity
,
wh
ich
is
wh
y
m
an
d
ato
r
y
p
r
ed
icate
s
s
h
o
r
t
-
cir
cu
it
ac
ce
p
tan
ce
th
e
m
o
m
en
t
o
n
e
is
v
io
lated
.
T
h
e
less
o
n
is
b
lu
n
t.
Sem
a
n
tic
r
o
b
u
s
tn
ess
r
ests
o
n
p
r
ed
icate
d
esig
n
,
n
o
t
o
n
ec
o
n
o
m
ic
p
r
ess
u
r
e
o
r
t
r
an
s
ac
tio
n
s
c
ale.
Dep
lo
y
m
en
t
g
u
id
an
ce
f
alls
o
u
t
o
f
th
ese
o
b
s
er
v
atio
n
s
d
ir
ec
tl
y
.
T
h
e
co
m
m
ittee
f
r
ac
tio
n
is
th
e
p
r
im
ar
y
tu
n
in
g
lev
e
r
,
b
ec
a
u
s
e
co
m
m
i
ttee
in
f
er
en
ce
d
o
m
in
ates
en
d
-
to
-
en
d
laten
cy
:
wid
en
th
e
c
o
m
m
ittee
an
d
t
h
e
h
o
n
est
-
m
ajo
r
ity
m
ar
g
in
o
n
wh
ich
s
ec
u
r
ity
u
ltima
tely
r
ests
w
id
en
s
with
it,
b
u
t
v
alid
atio
n
ti
m
e
an
d
m
o
n
ito
r
in
g
co
s
t
g
r
o
w
in
p
r
o
p
o
r
tio
n
to
co
m
m
ittee
s
ize.
So
,
s
ize
co
m
m
ittees
ag
ain
s
t
th
e
a
s
s
u
m
ed
ad
v
er
s
ar
y
s
h
ar
e,
with
a
s
af
ety
m
ar
g
in
,
an
d
win
th
r
o
u
g
h
p
u
t
b
ac
k
t
h
r
o
u
g
h
p
ar
allel
c
o
m
m
ittee
ev
alu
atio
n
an
d
ev
id
e
n
ce
b
atch
i
n
g
r
ath
er
th
an
wea
k
er
q
u
o
r
u
m
s
.
L
o
w
-
v
a
lu
e
escr
o
ws
g
et
a
ch
ea
p
er
r
ec
ip
e.
L
ig
h
ter
c
h
ec
k
lis
ts
with
f
e
wer
n
o
n
-
m
an
d
ato
r
y
p
r
ed
icate
s
cu
t v
alid
atio
n
co
s
t,
wh
ile
th
e
m
an
d
ato
r
y
co
n
s
tr
ain
ts
k
ee
p
th
e
s
ec
u
r
ity
f
l
o
o
r
in
tac
t.
Fig
u
r
e
1
0
.
Pro
v
id
e
r
laten
cy
v
s
f
ee
ap
p
lied
3
.
3
.
Va
lid
a
t
i
o
n e
f
f
ec
t
iv
eness
un
der
a
dv
er
s
a
ria
l c
o
nd
it
io
n
s
T
r
ea
tin
g
th
e
v
alid
ato
r
as
a
b
in
ar
y
class
if
ier
o
v
e
r
jo
b
s
is
wh
at
m
ak
es
th
is
s
ec
tio
n
’
s
ass
es
s
m
en
t
p
r
in
cip
led
: d
ec
is
io
n
ac
cu
r
ac
y
,
r
o
b
u
s
tn
ess
b
o
u
n
d
a
r
ies,
an
d
ec
o
n
o
m
ic
s
id
e
ef
f
ec
ts
all
b
ec
o
m
e
m
ea
s
u
r
ab
le
u
n
d
e
r
ad
v
er
s
ar
ial
co
n
d
itio
n
s
.
T
h
e
f
a
ilu
r
e
-
m
o
d
e
ca
teg
o
r
ies
o
f
s
ec
tio
n
3
.
2
ca
r
r
y
o
v
er
.
Un
d
e
r
s
p
ec
if
ied
p
r
ed
icate
s
an
d
co
n
s
tr
ain
t
v
io
latio
n
s
n
o
w
s
h
o
w
u
p
as
q
u
an
tifie
d
p
r
ec
is
io
n
an
d
r
ec
all
d
eg
r
ad
atio
n
ac
r
o
s
s
f
o
u
r
ad
v
er
s
ar
ial
s
ce
n
ar
io
s
.
On
e
tr
ea
tm
e
n
t
co
v
er
s
th
r
ee
q
u
esti
o
n
s
:
h
o
w
s
em
an
tically
r
eliab
le
L
L
M
v
alid
atio
n
is
,
h
o
w
it
b
eh
av
es
u
n
d
er
co
o
r
d
in
ate
d
ad
v
er
s
ar
ies,
an
d
h
o
w
f
ar
ec
o
n
o
m
ic
in
ce
n
tiv
es
m
itig
ate,
o
r
a
m
p
lify
,
th
e
o
b
s
er
v
ed
f
ailu
r
e
m
o
d
es.
C
o
n
v
en
tio
n
s
f
ir
s
t.
A
jo
b
is
p
o
s
itiv
e
if
it
is
m
alicio
u
s
an
d
n
e
g
ativ
e
o
th
e
r
wis
e;
a
v
alid
ato
r
d
ec
is
io
n
o
f
f
ail/r
ejec
t
co
u
n
ts
as
a
p
r
ed
ict
ed
p
o
s
itiv
e,
an
d
p
ass
/acc
ep
t
a
s
a
p
r
ed
icted
n
e
g
ativ
e.
E
v
er
y
th
in
g
else
f
o
llo
ws:
tr
u
e
p
o
s
itiv
es
(
T
P)
ar
e
m
alici
o
u
s
jo
b
s
co
r
r
ec
tl
y
r
ejec
ted
,
F
N
m
alicio
u
s
jo
b
s
in
co
r
r
ec
tly
ac
ce
p
ted
,
FP
b
en
ig
n
jo
b
s
in
co
r
r
ec
tly
r
ejec
ted
,
a
n
d
tr
u
e
n
eg
ativ
es
(
T
N)
b
e
n
ig
n
jo
b
s
co
r
r
ec
tly
ac
ce
p
ted
.
On
e
c
o
m
p
u
tatio
n
al
ch
o
ice
m
atter
s
h
er
e.
A
ll
r
ep
o
r
ted
m
e
tr
ics
wer
e
co
m
p
u
ted
f
r
o
m
p
o
o
led
co
n
f
u
s
io
n
-
m
atr
ix
co
u
n
ts
ac
r
o
s
s
r
u
n
s
r
ath
er
th
an
f
r
o
m
a
v
er
ag
es
o
f
p
e
r
-
r
u
n
r
atio
s
,
b
ec
au
s
e
av
er
ag
in
g
r
ati
o
s
d
is
to
r
ts
ex
ac
tly
th
e
r
eg
im
es
th
at
m
atter
m
o
s
t:
th
o
s
e
with
v
an
is
h
in
g
n
u
m
b
er
s
o
f
m
alicio
u
s
jo
b
s
o
r
r
ejec
ted
p
r
ed
ictio
n
s
.
R
ec
all
h
as
a
d
ir
ec
t
o
p
er
atio
n
al
r
ea
d
in
g
:
it
is
th
e
m
alicio
u
s
-
f
ail
r
ate,
t
h
e
f
r
ac
tio
n
o
f
m
alicio
u
s
jo
b
s
th
at
ar
e
co
r
r
ec
tly
r
ejec
ted
.
Pre
cisi
o
n
,
f
alse
p
o
s
itiv
e
r
ate
(
FP
R
)
,
an
d
f
alse
n
eg
ativ
e
r
ate
(
F
NR
)
ar
e
d
er
iv
ed
f
r
o
m
th
e
s
am
e
p
o
o
led
T
P,
FP
,
FN,
an
d
T
N
co
u
n
ts
,
an
d
ea
c
h
ex
p
o
s
es
a
co
m
p
lem
en
tar
y
f
ailu
r
e
m
o
d
e
th
at
ag
g
r
eg
ate
p
ass
r
ates a
lo
n
e
k
ee
p
in
v
is
ib
le
.
Fo
u
r
m
etr
ics,
o
n
e
co
m
p
lete
c
h
ar
ac
ter
izatio
n
o
f
th
e
v
alid
at
o
r
’
s
d
ec
is
io
n
q
u
ality
u
n
d
er
ea
c
h
ad
v
er
s
ar
ial
s
ce
n
ar
i
o
.
Ag
g
r
eg
ate
task
-
lev
el
o
u
tco
m
es
ar
e
f
ir
s
t
r
ep
o
r
ted
u
n
d
e
r
th
e
d
if
f
er
en
t
ad
v
er
s
ar
ial
co
n
f
ig
u
r
atio
n
s
,
g
r
o
u
n
d
in
g
th
e
class
if
ier
m
etr
ics
in
o
p
er
atio
n
al
c
o
n
tex
t.
T
a
b
le
1
r
ea
d
s
o
n
two
ax
es:
p
as
s
r
ate
is
en
d
-
to
-
en
d
av
ailab
ilit
y
(
h
o
w
o
f
ten
th
e
s
y
s
tem
co
m
p
letes
jo
b
s
s
u
cc
ess
f
u
lly
)
,
wh
ile
m
alicio
u
s
f
ail
r
ate
is
s
ec
u
r
ity
p
r
eser
v
atio
n
,
th
e
f
r
ac
tio
n
o
f
m
alicio
u
s
jo
b
s
co
r
r
ec
tly
r
ejec
te
d
.
W
ith
n
o
a
d
v
er
s
ar
ies,
c
o
r
r
ec
tn
ess
is
p
er
f
ec
t
a
n
d
ev
er
y
b
e
n
ig
n
jo
b
is
ac
ce
p
ted
.
W
ith
a
s
m
all
f
r
ac
tio
n
o
f
m
alicio
u
s
p
r
o
v
id
er
s
,
th
e
v
alid
ato
r
r
ejec
ts
all
m
alicio
u
s
ex
ec
u
tio
n
s
wh
ile
b
en
ig
n
jo
b
s
k
ee
p
a
h
ig
h
p
ass
r
ate;
s
em
an
tic
d
is
cr
im
in
atio
n
is
s
tr
o
n
g
.
W
h
en
m
alicio
u
s
p
r
o
v
id
e
r
s
d
o
m
i
n
ate,
all
jo
b
s
ar
e
r
ejec
ted
:
s
ec
u
r
ity
p
r
eser
v
ed
,
th
r
o
u
g
h
p
u
t
s
ac
r
if
iced
.
W
h
en
p
r
o
v
id
e
r
s
an
d
v
alid
ato
r
s
ar
e
co
m
p
r
o
m
is
ed
t
o
g
eth
er
,
t
h
e
b
eh
a
v
io
r
in
v
er
ts
s
h
ar
p
ly
.
Pas
s
r
ates
r
is
e
ag
ain
d
esp
ite
wid
esp
r
ea
d
m
alicio
u
s
ex
ec
u
tio
n
.
T
h
at
is
n
o
t im
p
r
o
v
ed
co
r
r
ec
tn
ess
; th
at
is
v
alid
ato
r
ca
p
tu
r
e
.
T
o
m
o
v
e
b
e
y
o
n
d
p
ass
r
ates
i
n
to
s
em
an
tic
d
ec
is
io
n
q
u
ality
p
r
o
p
er
,
T
a
b
le
2
r
ea
d
s
as
f
o
llo
ws:
r
ec
all
an
d
FNR
q
u
a
n
tify
s
ec
u
r
ity
l
o
s
s
,
th
e
m
alicio
u
s
b
eh
av
io
r
th
a
t
was
m
is
s
ed
,
wh
ile
p
r
ec
is
io
n
an
d
FP
R
q
u
an
tify
th
e
av
ailab
ilit
y
an
d
ec
o
n
o
m
ic
co
s
t
im
p
o
s
ed
o
n
b
en
ig
n
p
ar
ti
cip
an
ts
th
r
o
u
g
h
i
n
co
r
r
ec
t
r
eje
ctio
n
s
.
T
wo
m
etr
ic
d
eg
en
er
ac
ies
a
r
is
e
n
atu
r
ally
,
an
d
b
o
th
n
ee
d
n
am
in
g
.
I
n
th
e
n
o
-
m
alicio
u
s
b
aselin
e
th
er
e
ar
e
n
o
p
o
s
itiv
e
in
s
tan
ce
s
at
all,
s
o
p
r
ec
is
io
n
an
d
r
ec
all
ar
e
u
n
d
e
f
in
ed
an
d
r
e
p
o
r
ted
as N/A;
FP
R
r
em
ain
s
m
ea
n
in
g
f
u
l th
er
e
an
d
Evaluation Warning : The document was created with Spire.PDF for Python.