{
  "schema_version": "0.1",
  "record_class": "CONTROL_ASSURANCE_LIVE_DEMO_PUBLIC_SUMMARY",
  "document_status": "PUBLIC_EVIDENCE_SUMMARY_NOT_CERTIFICATION",
  "demo_key": "browser-use-0-13-2-live-demo",
  "title": "制御条件ギャップチェック — Browser Use 0.13.2 ライブ実証",
  "target": {
    "product": "Browser Use",
    "version": "0.13.2",
    "environment": "controlled_loopback",
    "external_effect_count": 0
  },
  "comparison": {
    "axis": "SEQUENCE",
    "changed_coordinate": "REDIRECT_TARGET_ALLOWLIST_MEMBERSHIP",
    "semantic_difference_count": 1,
    "counterexample_side": {
      "redirect_target_allowlist_membership": "DISALLOWED",
      "classification": "COUNTEREXAMPLE_OBSERVED",
      "support_count": 4
    },
    "preserved_side": {
      "redirect_target_allowlist_membership": "ALLOWED",
      "classification": "PRESERVED",
      "support_count": 1,
      "required_predicates_true": 5,
      "retry_performed": false,
      "adaptive_repetition_performed": false
    },
    "empirical_adjacency_observed": true
  },
  "evidence": {
    "bytes_verified": true,
    "ingest_bundle_sha256": "401ba19ec9f15ccdd4f757d4bc90aab5eb4af4cf7b45271d69be3bc54e19c1b9",
    "return_zip_sha256": "a1620bb1cd030ae7214b4b510a97e0f4d33f63edb6fe3abaaea6bda0cae95144",
    "fresh_fence_attestation_sha256": "895c8075fb68ef4e7901e4f89b6f9dca667929cbd65539cbbddcf5c7c180bdaa",
    "nested_return_entry_count": 8,
    "return_manifest_member_count_verified": 7
  },
  "two_rail": {
    "public_rail": {
      "contains": [
        "redacted observation summary",
        "digest anchors",
        "claim ceiling",
        "public verifier"
      ],
      "raw_private_evidence_included": false
    },
    "protected_rail": {
      "contains": [
        "raw execution evidence",
        "local machine paths",
        "internal firewall identifiers",
        "approval-chain source files"
      ],
      "published": false,
      "digest_anchors_exposed_on_public_rail": true
    }
  },
  "byov": {
    "scope": "Re-hash the published manifest and validate its declared observation summary, evidence anchors, Two-Rail boundary, and claim ceiling.",
    "does_not_mean": [
      "re-running Browser Use",
      "reconstructing protected evidence bytes",
      "independent third-party certification",
      "general Browser Use safety or vulnerability proof"
    ]
  },
  "claim_ceiling": {
    "declared_witness_set_only": true,
    "canonical_boundary_established": false,
    "internal_enforcement_location_inferred": false,
    "operating_envelope_inferred": false,
    "general_browser_use_safety_claim": false,
    "general_browser_use_vulnerability_claim": false,
    "certification_or_conformance_claim": false
  }
}