{
  "schema": "ATLAS_TRADING_ASSURANCE_SAMPLE_ATTESTATION_V1",
  "mode": "SYNTHETIC_DEMONSTRATION",
  "caseId": "SYNTH-TA-001",
  "realCustomer": false,
  "realStrategy": false,
  "investmentRecommendation": false,
  "signature": null,
  "subject": {
    "name": "Synthetic Strategy Alpha",
    "version": "1.7-demo",
    "purpose": "Demonstrate the structure and claim boundaries of an Atlas Evidence Reproduction Audit"
  },
  "claim": "The supplied historical net-result claim can be independently reproduced from the retained rules, configuration, source evidence and stated costs.",
  "checks": [
    {
      "id": "claim_contract",
      "result": "VERIFIED",
      "finding": "The demonstration claim and version were frozen before the worked findings."
    },
    {
      "id": "chain_of_custody",
      "result": "VERIFIED",
      "finding": "The synthetic example contains a complete declared evidence inventory."
    },
    {
      "id": "independent_reconstruction",
      "result": "VERIFIED",
      "finding": "The worked example assumes the gross trade sequence is independently reconstructed from the synthetic evidence package."
    },
    {
      "id": "destructive_reproduction",
      "result": "VERIFIED",
      "finding": "The worked example assumes the same synthetic gross trade sequence is recreated from retained evidence after disposable state is removed."
    },
    {
      "id": "cost_realism",
      "result": "BLOCK",
      "finding": "The headline net result omits a declared transaction-cost component. The net-performance claim therefore cannot be reproduced as stated."
    },
    {
      "id": "selection_bias_disclosure",
      "result": "UNVERIFIED",
      "finding": "The number of strategy variants tried before selecting version 1.7-demo is intentionally absent in this synthetic case."
    }
  ],
  "verdict": "BLOCK",
  "claimPermissions": {
    "maySay": [
      "In this synthetic worked example, the gross trade sequence is treated as independently reproducible under the declared inputs."
    ],
    "mayNotSay": [
      "The reported net result is independently verified.",
      "The strategy is profitable.",
      "The strategy will remain profitable.",
      "The strategy is suitable for any investor.",
      "The strategy should be bought, sold or traded."
    ]
  },
  "smallestRepairPath": [
    "Correct and freeze the complete transaction-cost model.",
    "Regenerate the net report from the retained evidence.",
    "Disclose the strategy-search/variant count or mark selection-bias testing as unavailable.",
    "Run a new version-bound audit rather than editing the original verdict."
  ],
  "limitations": [
    "This is a synthetic demonstration, not a real audit, real customer, real strategy or historical investment result.",
    "No live market data, customer evidence or trading account was used.",
    "This file is unsigned and must not be represented as a cryptographic attestation.",
    "Nothing in this example is investment advice or a forecast of future performance."
  ],
  "provenanceModel": {
    "inspiration": "SLSA v1.2 / in-toto-style subject and provenance concepts",
    "slsaConformantClaim": false
  }
}