{
  "schema": "lispex-sicp-public-claim/v1",
  "claim_id": "sicp-profile-measurement.v1",
  "status": "active",
  "public_text": "The explicitly selected @lispex/sicp 1.0.0 educational runtime ships an import-free WebAssembly artifact that passes all 26 fixtures in the published representative corpus under fixed runtime limits. The versioned corpus, empty exclusion ledger, four pinned oracle measurements, disagreements, and product artifact identities are public. This is a scope-limited product measurement, not a whole-book, ranking, independent-verification, or comparative-superiority claim.",
  "engine": {
    "package": "@lispex/sicp",
    "engine_version": "1.0.0",
    "profile_spec": "sicp-profile/v1",
    "profile_spec_version": "1.0.0",
    "profile_spec_sha256": "3d94b24a1e8e882e3bf58bb8084ceb82196c0826861f9de66ffade13af4e8227"
  },
  "shipping_artifact": {
    "platform": "wasm32-unknown-unknown",
    "package_path": "lispex_sicp_bg.wasm",
    "bytes": 597396,
    "sha256": "5a32a29d207c39382c884ad159e5b13be1aa12368d057e5072ec39a085b3e4aa",
    "imports": []
  },
  "corpus": {
    "id": "lispex-sicp-representative",
    "version": "0.2.0",
    "fixture_count": 26,
    "passed": 26,
    "manifest_sha256": "b691738eb36033aa65da024b72229499e95104b3dc77c7453bd340913ff71e4c",
    "expected_sha256": "892838fe4d4ccddcca2bbd30ca6121d2f5cd115031fd638f7cb33f6d005d28d3",
    "denominator_sha256": "03a51009b479bb87927f016bc3aa063d16dbdf0d84cd3ff4b994f5eda6900ff2",
    "exclusion_ledger_sha256": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945",
    "exclusions": []
  },
  "measured_product": {
    "release_assignment": "v1.18.0",
    "source_commit": "39104c693fb282ec580520d790211ce5d54bbae3",
    "native_windows_x86_64": {
      "path": "target/release/lispex-sicp.exe",
      "bytes": 856064,
      "sha256": "6bca0fbaedfea2d9d5e5f1f17eed0851b919fc320c6117b5f4b036cdd0beda23"
    },
    "wasm32_unknown_unknown": {
      "path": "target/wasm32-unknown-unknown/release/lispex_sicp.wasm",
      "bytes": 598576,
      "sha256": "95e137612b15cc8a5fa6e6d4f4fba4a6a50231d522e220f70e02a3b392c6239f",
      "imports": []
    },
    "scores": {
      "E": {
        "passed": 6,
        "denominator": 6
      },
      "S": {
        "passed": 20,
        "denominator": 20
      }
    },
    "native_wasm_corpus_digest": "sha256:501b9b5239136e136644db2b6f7ef7cc0feb667d5c5a28fef0a18fe49e57cd10",
    "same_origin_native_wasm_agreement": true
  },
  "external_oracle_campaign": {
    "measured_at": "2026-08-06",
    "executions": 104,
    "images": [
      {
        "id": "mit-gnu-scheme",
        "producer_version": "MIT/GNU Scheme 12.1",
        "image_digest": "sha256:b96087c78f21770a1fd8a23dec6080b8aaa989bd97d9be79506f86c31ea3e0b8"
      },
      {
        "id": "racket-sicp",
        "producer_version": "Racket v8.10 [cs] with sicp 5ba7b852855cf107892244b37d6a1ffbef14d595",
        "image_digest": "sha256:c597026a986b361b08a6af42206f8c8e2b1c12ab8fd14289e1d71f7a41a3d109"
      },
      {
        "id": "chibi",
        "producer_version": "chibi-scheme 0.12.0 magnesium",
        "image_digest": "sha256:89a3120b81e0570283c4d0f89f135357b474a511923c8fb6d71b431916c102b7"
      },
      {
        "id": "gauche",
        "producer_version": "Gauche 0.9.15",
        "image_digest": "sha256:00645f5e1913096195bebbda87b5da7ad0c4c9cef99f8528a948d45ee1569d9f"
      }
    ],
    "disagreement_counts": {
      "Lispex bug": 0,
      "reference-specific behavior": 19,
      "book compatibility idiom": 3,
      "standards-unspecified": 0,
      "harness normalization bug": 0,
      "resource/environment difference": 1
    },
    "comparative_claims": []
  },
  "limits": {
    "shipping_runtime": {
      "source_bytes": 1048576,
      "execution": {
        "fuel": 100000000,
        "logical_heap_bytes": 67108864,
        "output_bytes": 16777216,
        "search_depth": null
      },
      "trace": {
        "max_events": 1024,
        "max_bytes": 1048576,
        "max_bytes_unit": "canonical-json-event-utf8-bytes/v1"
      }
    },
    "external_oracle_campaign": {
      "execution": {
        "fuel": null,
        "logical_heap_bytes": null,
        "output_bytes": 65536,
        "search_depth": null
      },
      "host": {
        "wall_timeout_ms": 15000
      }
    }
  },
  "evidence": [
    "sicp-planning/p2/sicp-profile.v1.json",
    "sicp-planning/p3/fixture-manifest.v1.json",
    "sicp-planning/p3/expected.v1.json",
    "sicp-planning/p8/campaign.v1.json",
    "sicp-planning/p8/oracle-images.v1.json",
    "sicp-planning/p8/product-differential.v1.json",
    "sicp-planning/p8/P8-ASSESSMENT.v1.json"
  ],
  "excludes": [
    "whole-book coverage",
    "picture-language coverage",
    "concurrency coverage",
    "weighted aggregate score",
    "best implementation or ranking",
    "comparative superiority",
    "independent verification",
    "external oracle endorsement",
    "byte identity with external implementations"
  ]
}