rea-agents - v1.1.0
Preparing search index...
domain/reconstructionVerification
verifyReconstruction
Function verifyReconstruction
verifyReconstruction
(
specificationInput
:
unknown
,
bundleInput
:
unknown
,
offset
:
number
,
limit
:
number
,
)
:
{
claims
:
{
items
:
{
claim_id
:
string
;
comparison_evidence_id
:
string
;
dimension
:
string
;
evidence_links
:
string
[]
;
kind
:
"behavioral"
|
"structural-function"
|
"structural-artifact"
;
left_evidence_ids
:
string
[]
;
limitations
:
string
[]
;
observed_status
:
|
"unknown"
|
"unchanged"
|
"added"
|
"removed"
|
"changed"
|
"truncated"
;
right_evidence_ids
:
string
[]
;
status
:
"unknown"
|
"pass"
|
"fail"
;
unknown_ids
:
string
[]
;
}
[]
;
limit
:
number
;
next_offset
:
number
|
null
;
offset
:
number
;
total
:
number
;
}
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
recommended_probes
:
{
claim_ids
:
string
[]
;
operation
:
string
;
rationale
:
string
;
unknown_ids
:
string
[]
;
}
[]
;
specification_sha256
:
string
;
status
:
"unknown"
|
"pass"
|
"fail"
;
summary
:
{
behavioral
:
number
;
failed
:
number
;
passed
:
number
;
structural
:
number
;
total
:
number
;
unknown
:
number
;
}
;
}
Verify only explicitly declared claims; no global equivalence is inferred.
Parameters
specificationInput
:
unknown
bundleInput
:
unknown
offset
:
number
limit
:
number
Returns
{
claims
:
{
items
:
{
claim_id
:
string
;
comparison_evidence_id
:
string
;
dimension
:
string
;
evidence_links
:
string
[]
;
kind
:
"behavioral"
|
"structural-function"
|
"structural-artifact"
;
left_evidence_ids
:
string
[]
;
limitations
:
string
[]
;
observed_status
:
|
"unknown"
|
"unchanged"
|
"added"
|
"removed"
|
"changed"
|
"truncated"
;
right_evidence_ids
:
string
[]
;
status
:
"unknown"
|
"pass"
|
"fail"
;
unknown_ids
:
string
[]
;
}
[]
;
limit
:
number
;
next_offset
:
number
|
null
;
offset
:
number
;
total
:
number
;
}
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
recommended_probes
:
{
claim_ids
:
string
[]
;
operation
:
string
;
rationale
:
string
;
unknown_ids
:
string
[]
;
}
[]
;
specification_sha256
:
string
;
status
:
"unknown"
|
"pass"
|
"fail"
;
summary
:
{
behavioral
:
number
;
failed
:
number
;
passed
:
number
;
structural
:
number
;
total
:
number
;
unknown
:
number
;
}
;
}
Settings
Member Visibility
Protected
Inherited
Theme
OS
Light
Dark
rea-agents - v1.1.0
Loading...
Verify only explicitly declared claims; no global equivalence is inferred.