rea-agents - v2.1.0
Preparing search index...
contracts/electronToolContracts
ELECTRON_TOOL_CONTRACTS
Variable ELECTRON_TOOL_CONTRACTS
Const
ELECTRON_TOOL_CONTRACTS
:
readonly
[
{
annotations
:
DerivedToolAnnotations
;
description
:
"List Electron file:// page targets from an approved user-owned loopback CDP endpoint. Every path is canonicalized and must remain contained by an approved filesystem root, including after symlink resolution."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
allowed_file_roots
:
[
"/Applications/Example.app/Contents/Resources"
]
;
approved
:
true
;
cdp_endpoint
:
"http://127.0.0.1:9223"
;
limit
:
100
;
offset
:
0
;
}
;
title
:
"List approved Electron file pages"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
allowed_file_roots
:
ZodPipe
<
ZodArray
<
ZodString
>
,
ZodTransform
<
string
[]
,
string
[]
>
,
>
;
approved
:
ZodLiteral
<
true
>
;
cdp_endpoint
:
ZodPipe
<
ZodString
,
ZodTransform
<
string
,
string
>
>
;
limit
:
ZodDefault
<
ZodNumber
>
;
offset
:
ZodDefault
<
ZodNumber
>
;
}
,
$strip
,
>
;
kind
:
"electron-provider"
;
name
:
"list_electron_targets"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
{
annotations
:
DerivedToolAnnotations
;
description
:
"Passively inspect one approved Electron file page through CDP. Returns root-confined frames, DOM structure, resource paths, and scripts without evaluating renderer JavaScript or invoking Electron APIs; script contents require separate approval."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
allowed_file_roots
:
[
"/Applications/Example.app/Contents/Resources"
]
;
approved
:
true
;
cdp_endpoint
:
"http://127.0.0.1:9223"
;
include_script_sources
:
false
;
limits
:
{
max_dom_nodes
:
2000
;
max_frames
:
200
;
max_resources
:
2000
;
max_script_source_bytes
:
1048576
;
max_scripts
:
500
;
max_total_script_source_bytes
:
4194304
;
max_workers
:
500
;
}
;
observation_ms
:
100
;
source_capture_approved
:
false
;
target_id
:
"TARGET_ID_FROM_LIST_ELECTRON_TARGETS"
;
}
;
title
:
"Inspect an approved Electron page"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
allowed_file_roots
:
ZodPipe
<
ZodArray
<
ZodString
>
,
ZodTransform
<
string
[]
,
string
[]
>
,
>
;
approved
:
ZodLiteral
<
true
>
;
cdp_endpoint
:
ZodPipe
<
ZodString
,
ZodTransform
<
string
,
string
>
>
;
include_script_sources
:
ZodDefault
<
ZodBoolean
>
;
limits
:
ZodDefault
<
ZodObject
<
{
max_dom_nodes
:
ZodDefault
<
ZodNumber
>
;
max_frames
:
ZodDefault
<
ZodNumber
>
;
max_resources
:
ZodDefault
<
ZodNumber
>
;
max_script_source_bytes
:
ZodDefault
<
ZodNumber
>
;
max_scripts
:
ZodDefault
<
ZodNumber
>
;
max_total_script_source_bytes
:
ZodDefault
<
ZodNumber
>
;
max_workers
:
ZodDefault
<
ZodNumber
>
;
}
,
$strip
,
>
,
>
;
observation_ms
:
ZodDefault
<
ZodNumber
>
;
source_capture_approved
:
ZodDefault
<
ZodBoolean
>
;
target_id
:
ZodString
;
}
,
$strip
,
>
;
kind
:
"electron-provider"
;
name
:
"inspect_electron_page"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
{
annotations
:
DerivedToolAnnotations
;
description
:
"Statically reconstruct one approved local ASAR or extracted JavaScript application as Evidence v2 and JavaScript Application Graph v1. Maps BrowserWindow preferences, preload and contextBridge APIs, literal and dynamic IPC, handler locations, sender-validation observations, utility processes, and requested native addon bindings without executing JavaScript; source-map contents require separate approval."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
approved
:
true
;
format
:
"auto"
;
input_path
:
"/Applications/Example.app/Contents/Resources/app.asar"
;
source_map_read_approved
:
false
;
}
;
title
:
"Analyze one approved local Electron application"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
approved
:
ZodLiteral
<
true
>
;
format
:
ZodDefault
<
ZodEnum
<
{
asar
:
"asar"
;
auto
:
"auto"
;
directory
:
"directory"
}
>
,
>
;
input_path
:
ZodString
;
limits
:
ZodDefault
<
ZodObject
<
{
max_artifact_entry_bytes
:
ZodDefault
<
ZodNumber
>
;
max_ast_nodes
:
ZodDefault
<
ZodNumber
>
;
max_compression_ratio
:
ZodDefault
<
ZodNumber
>
;
max_depth
:
ZodDefault
<
ZodNumber
>
;
max_entries
:
ZodDefault
<
ZodNumber
>
;
max_findings
:
ZodDefault
<
ZodNumber
>
;
max_modules
:
ZodDefault
<
ZodNumber
>
;
max_parse_milliseconds
:
ZodDefault
<
ZodNumber
>
;
max_path_bytes
:
ZodDefault
<
ZodNumber
>
;
max_source_map_sources
:
ZodDefault
<
ZodNumber
>
;
max_text_file_bytes
:
ZodDefault
<
ZodNumber
>
;
max_text_files
:
ZodDefault
<
ZodNumber
>
;
max_total_artifact_bytes
:
ZodDefault
<
ZodNumber
>
;
max_total_text_bytes
:
ZodDefault
<
ZodNumber
>
;
}
,
$strict
,
>
,
>
;
source_map_read_approved
:
ZodDefault
<
ZodBoolean
>
;
}
,
$strict
,
>
;
kind
:
"electron-provider"
;
name
:
"analyze_javascript_application"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
{
annotations
:
DerivedToolAnnotations
;
description
:
"Reconcile verified static JavaScript application graphs with existing passive web or Electron CDP Evidence. Exact captured-source digests take priority over caller-declared file/URL mappings; target, frame, script, and worker ambiguity remains explicit, and source-map authority stays separate."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
runtime_observations
:
(
|
{
analysis_profile
:
{
digest
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
string
}
;
provider_profile_schema_version
:
number
;
schema_version
:
1
;
}
;
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
string
;
id
:
string
;
isolation
:
(...)
|
(...)
|
(...)
|
(...)
;
platform
:
string
;
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
(
|
{
address
:
...
;
kind
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
|
{
kind
:
...
;
path
:
...
}
|
{
kind
:
...
;
offset
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
)
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
string
|
null
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
digest
:
{
sha256
:
...
}
;
format
:
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
local_path
:
string
;
name
:
string
;
}
|
null
;
}
|
{
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
string
;
id
:
string
;
isolation
:
(...)
|
(...)
|
(...)
|
(...)
;
platform
:
string
;
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
(
|
{
address
:
...
;
kind
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
|
{
kind
:
...
;
path
:
...
}
|
{
kind
:
...
;
offset
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
)
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
string
|
null
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
digest
:
{
sha256
:
...
}
;
format
:
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
local_path
:
string
;
name
:
string
;
}
|
null
;
}
)
[]
;
static_layers
:
{
analysis
:
|
{
analysis_profile
:
{
digest
:
string
;
parameters
:
Record
<
(...)
,
(...)
>
;
provider
:
{
id
:
...
;
name
:
...
;
version
:
...
}
;
provider_profile_schema_version
:
number
;
schema_version
:
1
;
}
;
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
...
;
id
:
...
;
isolation
:
...
;
platform
:
...
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
((...)
|
(...)
|
(...)
|
(...)
|
(...))
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
(...)
|
(...)
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
...
;
digest
:
...
;
format
:
...
;
local_path
:
...
;
name
:
...
;
}
|
null
;
}
|
{
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
...
;
id
:
...
;
isolation
:
...
;
platform
:
...
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
((...)
|
(...)
|
(...)
|
(...)
|
(...))
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
(...)
|
(...)
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
...
;
digest
:
...
;
format
:
...
;
local_path
:
...
;
name
:
...
;
}
|
null
;
}
;
role
:
string
;
}
[]
;
}
;
title
:
"Reconcile one passive Electron capture"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
limits
:
ZodDefault
<
ZodObject
<
{
max_reconciliation_items
:
ZodDefault
<
ZodNumber
>
;
max_runtime_entities
:
ZodDefault
<
ZodNumber
>
;
max_static_load_states
:
ZodDefault
<
ZodNumber
>
;
}
,
$strict
,
>
,
>
;
runtime_observations
:
ZodArray
<
ZodObject
<
{
analysis_profile
:
ZodOptional
<
ZodObject
<
{
digest
:
ZodString
;
parameters
:
ZodRecord
<
(...)
,
(...)
>
;
provider
:
ZodObject
<
(...)
,
(...)
>
;
provider_profile_schema_version
:
ZodNumber
;
schema_version
:
ZodLiteral
<
(...)
>
;
}
,
$strip
,
>
,
>
;
authority
:
ZodEnum
<
{
"analyst-inference"
:
"analyst-inference"
;
"controlled-replay"
:
"controlled-replay"
;
"external-service"
:
"external-service"
;
"historical-reference"
:
"historical-reference"
;
"shipped-artifact"
:
"shipped-artifact"
;
}
,
>
;
confidence
:
ZodEnum
<
{
derived
:
"derived"
;
inferred
:
"inferred"
;
observed
:
"observed"
;
}
,
>
;
environment
:
ZodNullable
<
ZodObject
<
{
architecture
:
ZodString
;
id
:
ZodString
;
isolation
:
ZodEnum
<
(...)
>
;
platform
:
ZodString
;
}
,
$strip
,
>
,
>
;
evidence_id
:
ZodString
;
evidence_links
:
ZodArray
<
ZodString
>
;
limitations
:
ZodArray
<
ZodString
>
;
locations
:
ZodArray
<
ZodDiscriminatedUnion
<
[
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
]
,
"kind"
,
>
,
>
;
normalized_result
:
ZodJSONSchema
;
operation
:
ZodString
;
parameters
:
ZodRecord
<
ZodString
,
ZodJSONSchema
>
;
predicate_type
:
ZodString
;
provider
:
ZodObject
<
{
id
:
ZodString
;
name
:
ZodString
;
version
:
ZodNullable
<
ZodString
>
;
}
,
$strip
,
>
;
raw_result
:
ZodNullable
<
ZodJSONSchema
>
;
schema_version
:
ZodLiteral
<
2
>
;
subject
:
ZodNullable
<
ZodObject
<
{
architecture
:
ZodNullable
<
(...)
>
;
digest
:
ZodObject
<
(...)
,
(...)
>
;
format
:
ZodEnum
<
(...)
>
;
local_path
:
ZodString
;
name
:
ZodString
;
}
,
$strip
,
>
,
>
;
}
,
$strict
,
>
,
>
;
static_layers
:
ZodArray
<
ZodObject
<
{
analysis
:
ZodObject
<
{
analysis_profile
:
ZodOptional
<
ZodObject
<
(...)
,
(...)
>
>
;
authority
:
ZodEnum
<
{
"analyst-inference"
:
...
;
"controlled-replay"
:
...
;
"external-service"
:
...
;
"historical-reference"
:
...
;
"shipped-artifact"
:
...
;
}
,
>
;
confidence
:
ZodEnum
<
{
derived
:
...
;
inferred
:
...
;
observed
:
...
}
>
;
environment
:
ZodNullable
<
ZodObject
<
(...)
,
(...)
>
>
;
evidence_id
:
ZodString
;
evidence_links
:
ZodArray
<
ZodString
>
;
limitations
:
ZodArray
<
ZodString
>
;
locations
:
ZodArray
<
ZodDiscriminatedUnion
<
(...)
,
(...)
>
>
;
normalized_result
:
ZodJSONSchema
;
operation
:
ZodString
;
parameters
:
ZodRecord
<
ZodString
,
ZodJSONSchema
>
;
predicate_type
:
ZodString
;
provider
:
ZodObject
<
{
id
:
...
;
name
:
...
;
version
:
...
}
,
$strip
>
;
raw_result
:
ZodNullable
<
ZodJSONSchema
>
;
schema_version
:
ZodLiteral
<
2
>
;
subject
:
ZodNullable
<
ZodObject
<
(...)
,
(...)
>
>
;
}
,
$strict
,
>
;
role
:
ZodEnum
<
{
application
:
"application"
;
assets
:
"assets"
;
cache
:
"cache"
}
,
>
;
runtime_mappings
:
ZodDefault
<
ZodArray
<
ZodDiscriminatedUnion
<
[
(...)
,
(...)
]
,
"kind"
>
>
,
>
;
}
,
$strict
,
>
,
>
;
}
,
$strict
,
>
;
kind
:
"electron-provider"
;
name
:
"reconcile_javascript_runtime"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
]
= ...
Root-confined Electron file-page discovery and inspection contracts.
Settings
Member Visibility
Protected
Inherited
Theme
OS
Light
Dark
rea-agents - v2.1.0
Loading...
Root-confined Electron file-page discovery and inspection contracts.