{
  "example_version": "nt-example:v0",
  "title": "The same count restated under an explicit, prospective counting convention",
  "synthetic": true,
  "expected": {
    "outcome": "EXECUTE",
    "reason_codes": []
  },
  "proposal": {
    "proposal_version": "nt-proposal:v0",
    "proposal_id": "SCI-005",
    "class_id": "science.claim-promotion",
    "class_version": "0.1.0",
    "domain": "empirical research",
    "s_before": {
      "experiment_id": "EPISTEMIC_WIND_TUNNEL_MCP_EXPERIMENT_SLICE_001",
      "result_id": "PACKAGE_FILE_COUNT",
      "analysis_path": {
        "executed": true,
        "from_authoritative_input": true
      },
      "source": {
        "review": "Documents/experiment contract discovery/CODEX_EMPIRICAL_REVIEW_RESUMED_v0.1.0",
        "file": "OPERATOR_COUNTING_RESOLUTION.yaml",
        "sha256": "ab47ee986395a3a2094c22ec43c486ef94ffc77d03a2a849c2c17eda0421d5fe"
      }
    },
    "action": {
      "type": "promote_claim",
      "purpose": "Promote the result to a claim others may reuse",
      "effects": [
        {
          "target": "claim-register",
          "description": "status reported to claimed"
        }
      ]
    },
    "s_proposed": {
      "claim_id": "CLAIM-SCI-005",
      "claim": "The package holds 24 payload files plus 1 manifest control file (SHA256SUMS.csv), counted under OR_TEST_CARD_EXPERIMENT_PACKAGE_COUNTING_001",
      "mappings": [
        {
          "mapping_id": "manifested payload files, under the convention",
          "value": "24 + 1 control"
        },
        {
          "mapping_id": "literal recursive count, under the convention",
          "value": "24 + 1 control"
        }
      ]
    },
    "t_valid": "2026-09-20T12:00:00Z",
    "authority": {
      "principal": "claim-review-agent",
      "trust_root": {
        "id": "independent-review-authority",
        "declared_by": "review commissioner, outside the builder's authority",
        "independent_of_proposer": true
      },
      "delegation_chain": [
        {
          "from": "review-commissioner",
          "to": "claim-review-agent",
          "scope": "claim promotion"
        }
      ],
      "preparer": "experiment-builder",
      "approver": "independent-reviewer"
    },
    "evidence": [
      {
        "id": "E1",
        "subject": "raw_results",
        "source": "package manifest",
        "sha256": "cc1dd3e3a8c7e3c63d1a47d72d659a64932e0ed0d5227eddad40ccd89d336941",
        "captured_at": "2026-09-15T09:00:00Z",
        "valid_until": null,
        "binds_to": "SCI-005",
        "tier": "E2"
      },
      {
        "id": "E2",
        "subject": "independent_reproduction",
        "source": "independent reviewer",
        "sha256": "205296fdcbefdff17804fa86e8a6e6a5ffaef0d9476b534d53ff6f7a0d8b7747",
        "captured_at": "2026-09-15T09:00:00Z",
        "valid_until": null,
        "binds_to": "SCI-005",
        "tier": "E4"
      }
    ],
    "dependencies": {
      "declared": [
        "claim-register"
      ],
      "data_source": "wind-tunnel-slice-001"
    },
    "execution_state": "proposed"
  }
}