{
  "dice": {
    "evidence_id": "ev_2b9cb9135fdd9623379d6bc8f1fb0b83cd0ea2b3c5e874d3223f4599232bf174",
    "subject": {
      "name": "rea-dice-focused",
      "digest": {
        "sha256": "8aa8ce367ca0868b8ea7d860fa96de9b1ec732eb10610450d57f9a406fa2e0f0"
      },
      "format": "directory",
      "architecture": null,
      "local_path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-dice-focused"
    },
    "provider": {
      "id": "rea-analysis-view",
      "name": "REA analysis view projection",
      "version": "1"
    },
    "analysis_profile": null,
    "predicate_type": "rea.analysis-view",
    "operation": "inspect_analysis_view",
    "parameters": {
      "parent_evidence_id": "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "view": {
        "kind": "summary"
      }
    },
    "raw_result": null,
    "normalized_result": {
      "kind": "summary",
      "view": {
        "kind": "summary"
      },
      "summary": {
        "input_path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-dice-focused",
        "format": "directory",
        "root_artifact_sha256": "8aa8ce367ca0868b8ea7d860fa96de9b1ec732eb10610450d57f9a406fa2e0f0",
        "statistics": {
          "relevant_files": 8,
          "nested_asar_containers": 0,
          "text_bytes_read": 32631,
          "invalid_utf8_files": 0,
          "parsed_javascript_files": 8,
          "visited_ast_nodes": 10544,
          "findings": 401,
          "modules": 0,
          "parse_failures": 0
        },
        "electron": {
          "browser_windows": 0,
          "explicit_web_preferences": 0,
          "preload_entrypoints": 0,
          "context_bridge_apis": 0,
          "exposed_api_members": 0,
          "ipc": {
            "operations": 0,
            "literal_channels": 0,
            "dynamic_channel_operations": 0,
            "renderer_transmissions": 0,
            "renderer_listeners": 0,
            "main_handlers": 0,
            "paired_renderer_transmissions": 0,
            "ambiguous_renderer_transmissions": 0,
            "unpaired_literal_renderer_transmissions": 0
          },
          "sender_validation_observations": 0,
          "utility_processes": 0,
          "resolved_utility_entrypoints": 0,
          "native_addon_bindings": 0,
          "resolved_native_addon_bindings": 0
        },
        "coverage": {
          "application": {
            "status": "complete",
            "truncated": false,
            "omitted_count": 0,
            "limits": []
          },
          "semantic": {
            "status": "unknown",
            "truncated": false,
            "omitted_nodes": 0,
            "omitted_relations": 0,
            "limits": [],
            "families": [
              {
                "family": "boundary",
                "status": "partial",
                "retained_relations": 31,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "call-flow",
                "status": "partial",
                "retained_relations": 346,
                "omitted_relations": 0,
                "unknown_count": 765
              },
              {
                "family": "child-process",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "closure",
                "status": "partial",
                "retained_relations": 1064,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "configuration",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "data-flow",
                "status": "partial",
                "retained_relations": 6706,
                "omitted_relations": 0,
                "unknown_count": 1041
              },
              {
                "family": "event",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "object-flow",
                "status": "partial",
                "retained_relations": 393,
                "omitted_relations": 0,
                "unknown_count": 570
              },
              {
                "family": "promise-ownership",
                "status": "partial",
                "retained_relations": 27,
                "omitted_relations": 0,
                "unknown_count": 11
              },
              {
                "family": "request",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "resource-lifecycle",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": 0,
                "unknown_count": 0
              },
              {
                "family": "timer",
                "status": "partial",
                "retained_relations": 8,
                "omitted_relations": 0,
                "unknown_count": 0
              }
            ]
          },
          "application_unknowns": 0,
          "semantic_unknowns": 2387
        },
        "limitation_count": 5
      },
      "parent_evidence_id": "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "parent_operation": "analyze_javascript_application",
      "parent_digest": "b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "view_digest": "74d0c66d8e06d838515f598df28640af55595af4c75488772c00f7229d4ff08c",
      "artifact": {
        "path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-dice-focused",
        "sha256": "8aa8ce367ca0868b8ea7d860fa96de9b1ec732eb10610450d57f9a406fa2e0f0"
      },
      "coverage": {
        "status": "complete-within-view",
        "examined": 263,
        "total": 264,
        "next_offset": null,
        "exhausted": true
      },
      "limitations": [
        "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
        "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
        "CommonJS and ESM binding relationships were recovered from inert syntax and resolved only within the inventoried artifact container.",
        "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
        "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
        "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
        "JavaScript and HTML were parsed as inert text; bundle bootstrap code was never executed.",
        "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
        "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
        "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
        "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
        "Static imports, entrypoints, workers, endpoints, and storage relationships do not prove runtime execution.",
        "Static paths and relationships may remain unresolved when expressions are dynamic or obfuscated.",
        "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
        "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation.",
        "Webpack/Rspack factories were recovered from AST literals; REA did not invoke push handlers or bundle bootstrap code."
      ],
      "unknowns": [
        "2387 semantic graph unknowns remain in the parent Evidence.",
        "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
        "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
        "CommonJS and ESM binding relationships were recovered from inert syntax and resolved only within the inventoried artifact container.",
        "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
        "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
        "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
        "JavaScript and HTML were parsed as inert text; bundle bootstrap code was never executed.",
        "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
        "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
        "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
        "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
        "Static imports, entrypoints, workers, endpoints, and storage relationships do not prove runtime execution.",
        "Static paths and relationships may remain unresolved when expressions are dynamic or obfuscated.",
        "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
        "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation.",
        "Webpack/Rspack factories were recovered from AST literals; REA did not invoke push handlers or bundle bootstrap code.",
        "semantic_graph.coverage.status is unknown"
      ]
    },
    "confidence": "derived",
    "authority": "shipped-artifact",
    "environment": null,
    "limitations": [
      "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
      "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
      "CommonJS and ESM binding relationships were recovered from inert syntax and resolved only within the inventoried artifact container.",
      "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
      "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
      "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
      "JavaScript and HTML were parsed as inert text; bundle bootstrap code was never executed.",
      "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
      "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
      "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
      "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
      "Static imports, entrypoints, workers, endpoints, and storage relationships do not prove runtime execution.",
      "Static paths and relationships may remain unresolved when expressions are dynamic or obfuscated.",
      "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
      "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation.",
      "Webpack/Rspack factories were recovered from AST literals; REA did not invoke push handlers or bundle bootstrap code."
    ],
    "locations": [
      {
        "kind": "artifact-path",
        "path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-dice-focused"
      }
    ],
    "evidence_links": [
      "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095"
    ]
  },
  "dice_roll_trace": {
    "evidence_id": "ev_fa1784d94eae1c249a85754af71c266f94db8204121c21e52a8405817f91ec43",
    "subject": null,
    "provider": {
      "id": "rea-javascript-application-workflows",
      "name": "REA JavaScript application workflows",
      "version": "1"
    },
    "analysis_profile": null,
    "predicate_type": "rea.javascript-semantic-trace",
    "operation": "trace_javascript_semantics",
    "parameters": {
      "application_evidence_id": "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "query": {
        "seed": {
          "kind": "literal",
          "value": "dice/roll"
        },
        "direction": "forward-influence",
        "allowed_relations": [
          "reads",
          "calls",
          "argument-to-parameter",
          "supplies-request-field",
          "constructs-request",
          "returns-to-call"
        ],
        "include_ambiguous_dynamic_edges": false,
        "expected": null
      }
    },
    "raw_result": null,
    "normalized_result": {
      "query_id": "jsrq_89fe612a3e518ba02b94a9eaeaaaf0630ed1b3068411fcc5ea3b71e6a7219073",
      "source_graph_id": "jsrg_a3f4230d355b491bbeadeecebcfda48b630341f72712ca9ede0a2573e1b077c9",
      "seed": {
        "kind": "literal",
        "value": "dice/roll"
      },
      "direction": "forward-influence",
      "status": "partial",
      "seed_node_ids": [],
      "evidence_contexts": [],
      "nodes": [],
      "relations": [],
      "unknowns": [],
      "expected_match_node_ids": [],
      "summary": {
        "total_seed_matches": 0,
        "traversed_nodes": 0,
        "traversed_relations": 0,
        "traversed_functions": 0,
        "traversed_modules": 0,
        "relevant_unknowns": 0
      },
      "coverage": {
        "status": "partial"
      },
      "limitations": [
        "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
        "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
        "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
        "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
        "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
        "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
        "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
        "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
        "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
        "Semantic graph reachability is a static inference and does not prove runtime execution.",
        "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
        "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation."
      ],
      "source_evidence_id": "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "evidence_links": [
        "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095"
      ]
    },
    "confidence": "inferred",
    "authority": "analyst-inference",
    "environment": null,
    "limitations": [
      "Artifact identity is unavailable for this observation.",
      "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
      "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
      "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
      "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
      "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
      "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
      "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
      "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
      "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
      "Semantic graph reachability is a static inference and does not prove runtime execution.",
      "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
      "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation."
    ],
    "locations": [],
    "evidence_links": [
      "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095"
    ]
  },
  "dice_rollback_trace": {
    "evidence_id": "ev_3c8baab0701f19cc535d701df4cf4add7b102a9437d065505d7d3ab4ee8818bf",
    "subject": null,
    "provider": {
      "id": "rea-javascript-application-workflows",
      "name": "REA JavaScript application workflows",
      "version": "1"
    },
    "analysis_profile": null,
    "predicate_type": "rea.javascript-semantic-trace",
    "operation": "trace_javascript_semantics",
    "parameters": {
      "application_evidence_id": "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "query": {
        "seed": {
          "kind": "property",
          "name": "rollback"
        },
        "direction": "backward-provenance",
        "allowed_relations": [
          "reads-property",
          "calls",
          "aliases",
          "defines",
          "captures"
        ],
        "include_ambiguous_dynamic_edges": false,
        "expected": null
      }
    },
    "raw_result": null,
    "normalized_result": {
      "query_id": "jsrq_68f0e984d1272a0fdd21b1767af3f4783cae9355f12f6a8602eb28a4d6f0372d",
      "source_graph_id": "jsrg_a3f4230d355b491bbeadeecebcfda48b630341f72712ca9ede0a2573e1b077c9",
      "seed": {
        "kind": "property",
        "name": "rollback"
      },
      "direction": "backward-provenance",
      "status": "found",
      "seed_node_ids": [
        "jsrg_node_794304fb878bbf6782b1700f87b4692a5305944d2e23260b126150b76549da35"
      ],
      "evidence_contexts": [
        {
          "authority": "ast-static-analysis",
          "state": "observed",
          "confidence": "exact",
          "artifact": {
            "available": true,
            "artifact_id": "art_f2727fef40fe1043c693b2cf15612e2c9813bd3b79c59d37a23496212ad02b98",
            "sha256": "f2727fef40fe1043c693b2cf15612e2c9813bd3b79c59d37a23496212ad02b98"
          },
          "extractor": {
            "name": "rea-javascript-semantic-analysis",
            "version": "1",
            "operation": "analyze_javascript_application",
            "executable_sha256": null
          },
          "coverage": {
            "status": "complete",
            "truncated": false,
            "omitted_count": 0,
            "limits": []
          },
          "limitations": [],
          "evidence_ids": [],
          "context_id": "jsrg_evidence_3d43ebc49ceb5b82f47e2081050e2869030de1640473e36e07a421f44451bb46"
        },
        {
          "authority": "unknown",
          "state": "unknown",
          "confidence": "unknown",
          "artifact": {
            "available": true,
            "artifact_id": "art_f2727fef40fe1043c693b2cf15612e2c9813bd3b79c59d37a23496212ad02b98",
            "sha256": "f2727fef40fe1043c693b2cf15612e2c9813bd3b79c59d37a23496212ad02b98"
          },
          "extractor": {
            "name": "rea-javascript-semantic-analysis",
            "version": "1",
            "operation": "analyze_javascript_application",
            "executable_sha256": null
          },
          "coverage": {
            "status": "complete",
            "truncated": false,
            "omitted_count": 0,
            "limits": []
          },
          "limitations": [
            "Dynamic syntax prevents an exact static relationship."
          ],
          "evidence_ids": [],
          "context_id": "jsrg_evidence_5c02f064b0298b9b74837ac0c6fbee40f19c9d491f226a70dde8780ffb53bc09"
        }
      ],
      "nodes": [
        {
          "kind": "property-slot",
          "identity": {
            "artifact_sha256": "f2727fef40fe1043c693b2cf15612e2c9813bd3b79c59d37a23496212ad02b98",
            "module_path": "chunks/B_cV99S-.mjs",
            "source_range": null,
            "role_key": "property:[\"scope:program:0:12901:binding:F\",[\"rollback\"]]"
          },
          "function_node_id": null,
          "application_node_ids": [
            "jag_node_e84efcd525d7218b8ccd8325843431b26def9075ed87b1294bfb9d8adcc0953c"
          ],
          "label": "rollback",
          "properties": {
            "name": "rollback",
            "property_path": [
              "rollback"
            ],
            "property_pointer": "/rollback",
            "object_binding_id": "scope:program:0:12901:binding:F",
            "presence": "unknown-coverage",
            "value_status": "unknown",
            "value_coverage": null
          },
          "evidence": {
            "context_id": "jsrg_evidence_3d43ebc49ceb5b82f47e2081050e2869030de1640473e36e07a421f44451bb46",
            "location": {
              "available": true,
              "value": {
                "kind": "artifact-path",
                "path": "chunks/B_cV99S-.mjs"
              }
            }
          },
          "node_id": "jsrg_node_794304fb878bbf6782b1700f87b4692a5305944d2e23260b126150b76549da35"
        }
      ],
      "relations": [],
      "unknowns": [
        {
          "node_id": "jsrg_node_794304fb878bbf6782b1700f87b4692a5305944d2e23260b126150b76549da35",
          "family": "object-flow",
          "relation_kinds": [
            "reads-property"
          ],
          "reason": "ambiguous-target",
          "detail": "Static read property /rollback has unknown-coverage presence; its receiver is unresolved or not a retained container; object identity is complete.",
          "candidate_node_ids": [],
          "evidence": {
            "context_id": "jsrg_evidence_5c02f064b0298b9b74837ac0c6fbee40f19c9d491f226a70dde8780ffb53bc09",
            "location": {
              "available": true,
              "value": {
                "kind": "source-range",
                "source": "chunks/B_cV99S-.mjs",
                "start": {
                  "line": 1,
                  "column": 10687
                },
                "end": {
                  "line": 1,
                  "column": 10697
                }
              }
            }
          },
          "unknown_id": "jsrg_unknown_5d8268a128d9db1df0b5b06456a62e4db4c434bc519ec56444e70bff31c2b39a"
        }
      ],
      "expected_match_node_ids": [],
      "summary": {
        "total_seed_matches": 1,
        "traversed_nodes": 1,
        "traversed_relations": 0,
        "traversed_functions": 0,
        "traversed_modules": 1,
        "relevant_unknowns": 1
      },
      "coverage": {
        "status": "partial"
      },
      "limitations": [
        "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
        "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
        "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
        "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
        "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
        "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
        "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
        "Relevant dynamic, unsupported, incomplete, or ambiguous semantics remain unknown.",
        "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
        "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
        "Semantic graph reachability is a static inference and does not prove runtime execution.",
        "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
        "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation."
      ],
      "source_evidence_id": "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095",
      "evidence_links": [
        "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095"
      ]
    },
    "confidence": "inferred",
    "authority": "analyst-inference",
    "environment": null,
    "limitations": [
      "Artifact identity is unavailable for this observation.",
      "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
      "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
      "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
      "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
      "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
      "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
      "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
      "Relevant dynamic, unsupported, incomplete, or ambiguous semantics remain unknown.",
      "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
      "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
      "Semantic graph reachability is a static inference and does not prove runtime execution.",
      "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
      "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation."
    ],
    "locations": [],
    "evidence_links": [
      "ev_b7237a4ff1c2fa54ca9454b185c2eb7f1faeb695b4a940096e709f57cdfba095"
    ]
  },
  "fair": {
    "evidence_id": "ev_a7d23371cb412a43a955402723de66592d0779cc40d1b1a2562e663890340c5c",
    "subject": {
      "name": "rea-fair-focused",
      "digest": {
        "sha256": "78e18779b32c9af3b016a3876096bd859459de93c68841562424802d441e33df"
      },
      "format": "directory",
      "architecture": null,
      "local_path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-fair-focused"
    },
    "provider": {
      "id": "rea-analysis-view",
      "name": "REA analysis view projection",
      "version": "1"
    },
    "analysis_profile": null,
    "predicate_type": "rea.analysis-view",
    "operation": "inspect_analysis_view",
    "parameters": {
      "parent_evidence_id": "ev_27a23a2e0ec2a86849d4ee2421f1ab474a6874a0bd1115ca88e93ccd05b2168f",
      "view": {
        "kind": "summary"
      }
    },
    "raw_result": null,
    "normalized_result": {
      "kind": "summary",
      "view": {
        "kind": "summary"
      },
      "summary": {
        "input_path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-fair-focused",
        "format": "directory",
        "root_artifact_sha256": "78e18779b32c9af3b016a3876096bd859459de93c68841562424802d441e33df",
        "statistics": {
          "relevant_files": 3,
          "nested_asar_containers": 0,
          "text_bytes_read": 59234,
          "invalid_utf8_files": 0,
          "parsed_javascript_files": 3,
          "visited_ast_nodes": 16098,
          "findings": 2614,
          "modules": 0,
          "parse_failures": 0
        },
        "electron": {
          "browser_windows": 0,
          "explicit_web_preferences": 0,
          "preload_entrypoints": 0,
          "context_bridge_apis": 0,
          "exposed_api_members": 0,
          "ipc": {
            "operations": 0,
            "literal_channels": 0,
            "dynamic_channel_operations": 0,
            "renderer_transmissions": 0,
            "renderer_listeners": 0,
            "main_handlers": 0,
            "paired_renderer_transmissions": 0,
            "ambiguous_renderer_transmissions": 0,
            "unpaired_literal_renderer_transmissions": 0
          },
          "sender_validation_observations": 0,
          "utility_processes": 0,
          "resolved_utility_entrypoints": 0,
          "native_addon_bindings": 0,
          "resolved_native_addon_bindings": 0
        },
        "coverage": {
          "application": {
            "status": "partial",
            "truncated": false,
            "omitted_count": null,
            "limits": [
              {
                "name": "javascript_analysis_parent_result_budget_bytes",
                "value": 1933116764,
                "unit": "bytes"
              },
              {
                "name": "javascript_analysis_worker_heap_limit_bytes",
                "value": 1098907648,
                "unit": "bytes"
              },
              {
                "name": "javascript_analysis_worker_timeout_ms",
                "value": 30000,
                "unit": "milliseconds"
              }
            ]
          },
          "semantic": {
            "status": "partial",
            "truncated": true,
            "omitted_nodes": null,
            "omitted_relations": null,
            "limits": [
              {
                "name": "javascript_analysis_parent_result_budget_bytes",
                "value": 1933116764,
                "unit": "bytes"
              },
              {
                "name": "javascript_analysis_worker_heap_limit_bytes",
                "value": 1098907648,
                "unit": "bytes"
              },
              {
                "name": "javascript_analysis_worker_timeout_ms",
                "value": 30000,
                "unit": "milliseconds"
              }
            ],
            "families": [
              {
                "family": "boundary",
                "status": "partial",
                "retained_relations": 14,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "call-flow",
                "status": "partial",
                "retained_relations": 175,
                "omitted_relations": null,
                "unknown_count": 132
              },
              {
                "family": "child-process",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "closure",
                "status": "partial",
                "retained_relations": 117,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "configuration",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "data-flow",
                "status": "partial",
                "retained_relations": 2693,
                "omitted_relations": null,
                "unknown_count": 489
              },
              {
                "family": "event",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "object-flow",
                "status": "partial",
                "retained_relations": 1044,
                "omitted_relations": null,
                "unknown_count": 273
              },
              {
                "family": "promise-ownership",
                "status": "partial",
                "retained_relations": 15,
                "omitted_relations": null,
                "unknown_count": 14
              },
              {
                "family": "request",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "resource-lifecycle",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": null,
                "unknown_count": 1
              },
              {
                "family": "timer",
                "status": "partial",
                "retained_relations": 0,
                "omitted_relations": null,
                "unknown_count": 1
              }
            ]
          },
          "application_unknowns": 1,
          "semantic_unknowns": 916
        },
        "limitation_count": 7
      },
      "parent_evidence_id": "ev_27a23a2e0ec2a86849d4ee2421f1ab474a6874a0bd1115ca88e93ccd05b2168f",
      "parent_operation": "analyze_javascript_application",
      "parent_digest": "27a23a2e0ec2a86849d4ee2421f1ab474a6874a0bd1115ca88e93ccd05b2168f",
      "view_digest": "f9ff3e11b3ee80ec1359575159e85848cf70dc39e667775f3c40e2cbfa0d9d7e",
      "artifact": {
        "path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-fair-focused",
        "sha256": "78e18779b32c9af3b016a3876096bd859459de93c68841562424802d441e33df"
      },
      "coverage": {
        "status": "complete-within-view",
        "examined": 507,
        "total": 535,
        "next_offset": null,
        "exhausted": true
      },
      "limitations": [
        "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
        "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
        "CommonJS and ESM binding relationships were recovered from inert syntax and resolved only within the inventoried artifact container.",
        "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
        "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
        "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
        "Graph coverage is incomplete; unavailable facts remain explicit and must not be read as absence.",
        "JavaScript and HTML were parsed as inert text; bundle bootstrap code was never executed.",
        "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
        "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
        "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
        "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
        "Static imports, entrypoints, workers, endpoints, and storage relationships do not prove runtime execution.",
        "Static paths and relationships may remain unresolved when expressions are dynamic or obfuscated.",
        "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
        "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation.",
        "Webpack/Rspack factories were recovered from AST literals; REA did not invoke push handlers or bundle bootstrap code.",
        "chunks/D04PJvcv.mjs: Resource constraint during analyze_javascript_application: Semantic graph for chunks/D04PJvcv.mjs exceeds the parent's remaining result budget; static and module facts were retained"
      ],
      "unknowns": [
        "1 application graph unknowns remain in the parent Evidence.",
        "916 semantic graph unknowns remain in the parent Evidence.",
        "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
        "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
        "CommonJS and ESM binding relationships were recovered from inert syntax and resolved only within the inventoried artifact container.",
        "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
        "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
        "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
        "Graph coverage is incomplete; unavailable facts remain explicit and must not be read as absence.",
        "JavaScript and HTML were parsed as inert text; bundle bootstrap code was never executed.",
        "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
        "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
        "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
        "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
        "Static imports, entrypoints, workers, endpoints, and storage relationships do not prove runtime execution.",
        "Static paths and relationships may remain unresolved when expressions are dynamic or obfuscated.",
        "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
        "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation.",
        "Webpack/Rspack factories were recovered from AST literals; REA did not invoke push handlers or bundle bootstrap code.",
        "chunks/D04PJvcv.mjs: Resource constraint during analyze_javascript_application: Semantic graph for chunks/D04PJvcv.mjs exceeds the parent's remaining result budget; static and module facts were retained",
        "graph.coverage.status is partial",
        "semantic_graph.coverage.status is partial"
      ]
    },
    "confidence": "derived",
    "authority": "shipped-artifact",
    "environment": null,
    "limitations": [
      "Boundary extraction covers unshadowed JSON/global coercions plus parse and validation method candidates.",
      "Child-process extraction covers asynchronous node:child_process creation, literal argv/env/stdio options, exit/error listeners, and kill signals.",
      "CommonJS and ESM binding relationships were recovered from inert syntax and resolved only within the inventoried artifact container.",
      "Configuration extraction covers process.env, process.argv, node:fs reads, and direct logical defaults.",
      "Event extraction covers EventEmitter-style literal registrations, removals, and dispatch candidates; dynamic names remain unknown.",
      "Function fingerprints are static candidates; equal digests can remain ambiguous and do not prove behavioral equivalence.",
      "Graph coverage is incomplete; unavailable facts remain explicit and must not be read as absence.",
      "JavaScript and HTML were parsed as inert text; bundle bootstrap code was never executed.",
      "Local data flow does not claim control-flow-sensitive reaching definitions or arbitrary dynamic property resolution.",
      "Promise ownership covers explicit unshadowed Promise construction, static factories, aggregation, chaining, and await syntax only.",
      "Request extraction covers fetch, WebSocket, node:http/node:https construction, direct option fields, and exact local response consumers.",
      "Resource extraction covers built-in filesystem/network acquisition and exact local close/destroy/end handles.",
      "Static imports, entrypoints, workers, endpoints, and storage relationships do not prove runtime execution.",
      "Static paths and relationships may remain unresolved when expressions are dynamic or obfuscated.",
      "The semantic graph contains static syntax observations and conservative relationship candidates; it does not claim runtime execution.",
      "Timer extraction covers global or node:timers scheduling and exact local-handle cancellation.",
      "Webpack/Rspack factories were recovered from AST literals; REA did not invoke push handlers or bundle bootstrap code.",
      "chunks/D04PJvcv.mjs: Resource constraint during analyze_javascript_application: Semantic graph for chunks/D04PJvcv.mjs exceeds the parent's remaining result budget; static and module facts were retained"
    ],
    "locations": [
      {
        "kind": "artifact-path",
        "path": "/Users/duoduo/Documents/Codex/2026-10-13/https-github-com-morluto-rea-https/work/rea-fair-focused"
      }
    ],
    "evidence_links": [
      "ev_27a23a2e0ec2a86849d4ee2421f1ab474a6874a0bd1115ca88e93ccd05b2168f"
    ]
  }
}