{
  "schema": "alphaforge.options-execution-contract.v12",
  "classification": "engineering capability; not return or admission evidence",
  "status": "DOMAIN_PRIMITIVES_ONLY",
  "trial_accounting": {
    "market_data_opened": false,
    "returns_evaluated": false,
    "hypotheses_spent": 0
  },
  "implemented": [
    "canonical OPTION asset and market identities",
    "point-in-time contract-term and quote availability",
    "crossed-market and stale-quote rejection without strike interpolation",
    "single-underlying active-lifecycle surfaces with unique economic terms",
    "positive-size bid/ask-bound call/put monotonicity checks by homogeneous series",
    "nonuniform-strike convexity checks from displayed bid/ask bounds",
    "official settlement observations distinct from last trades and midpoints",
    "cash and physical expiry delivery for signed call and put positions",
    "automatic-exercise threshold with explicit lapse",
    "authoritative early-assignment notices for American physical options",
    "source-bound contiguous point-in-time adjusted-deliverable revisions",
    "signed multi-asset and multi-currency adjusted baskets for expiry and assignment",
    "strict exact-decimal reviewed OCC adjustment extraction manifests",
    "content-addressed point-in-time memo revisions with unresolved and delayed blockers",
    "allowlisted bounded no-redirect OCC memo transport and immutable content-addressed source archive",
    "reviewed OCC extractions bound to exact archived bytes available by review time",
    "exact OCC-versus-vendor adjusted-deliverable economic reconciliation",
    "ratio-defined multi-leg IOC/FOK package replay crossing side-specific displayed bid/ask prices with explicit homogeneous premium currency and whole-package-unit size caps",
    "net debit or minimum-credit package limits, ratio-preserving IOC partial fills, and atomic FOK rejection",
    "optional point-in-time per-leg OPEN/HALTED/OUTAGE/AUCTION_ONLY/CLOSE_ONLY package status replay with fail-closed missing coverage",
    "close-only package execution only after integer-contract position evidence proves every requested leg reduces without increasing or flipping exposure",
    "strict source-byte-bound reviewed status manifests with separate publication, observation, availability, capture, and review timestamps",
    "exact dual-reviewed official-exchange versus vendor status reconciliation usable for OPTION instrument identities",
    "reconciliation-only status coverage preflight for explicit OPTION instrument intervals with missing and future-known gaps published exactly",
    "source-reconciled status providers refuse uncovered requested intervals and return a deterministic coverage-audit hash for run artifacts",
    "exact-decimal point-in-time option fee schedule revisions keyed by venue, account class, product group, and premium currency",
    "side-, liquidity-, and event-scoped per-contract and premium-rate fees, minima, caps, rebates, explicit component rounding, exercise fees, and assignment fees",
    "complete-matrix exact-decimal internal option scenario margin with cross-leg P&L netting and locked model/input artifact hashes",
    "point-in-time initial/maintenance margin policies with scenario-loss multipliers, short-contract floors, gross-short-mark and concentration add-ons",
    "hard rejection of generic crypto routing and fee fallbacks"
  ],
  "invariants": {
    "future_data": "future-known terms, quotes, settlements, or notices fail closed",
    "surface_missingness": "unquoted strikes remain absent; no interpolation is invented",
    "surface_identity": "each snapshot has one underlying; duplicate terms and post-last-trade contracts fail closed",
    "cross_strike_integrity": "monotonicity and convexity use only same-series, same-premium-currency, positive-size bid/ask bounds",
    "settlement": "expiry cashflow uses an official post-expiry available observation",
    "physical_delivery": "underlying and strike-cash deltas preserve call/put and long/short signs",
    "assignment": "only an observed notice can create early-assignment delivery",
    "adjusted_deliverables": "only the latest revision both effective and available at the decision may create a deterministic signed asset/cash basket",
    "adjustment_ingest": "unknown manifest fields, unreviewed or unresolved terms, delayed settlement, reused source content, and cross-vendor economic disagreement fail closed",
    "occ_source_archive": "memo URL identities are allowlisted; immutable manifests bind observation time, HTTP metadata, exact SHA-256 bytes, and a reverified content-addressed blob",
    "displayed_package_execution": "positive ratios cross asks, negative ratios cross strictly positive bids, the smallest whole-number displayed leg capacity controls every leg, and execution records require one premium currency and reconcile premium cash to net package debit",
    "option_market_status": "when status replay is required, every executable leg must have an effective, known status; halts, outages, and continuous fills in auction-only state block, while close-only permits only pre-validated reduce-only packages",
    "market_status_ingest": "unknown fields, source-digest mismatch, impossible timestamp order, identity collision, future-known use, missing dual review, and cross-source status/scope/interval disagreement fail closed",
    "market_status_coverage": "source silence never implies OPEN; instrument status keeps precedence over venue status, future-known specific status cannot fall back to venue coverage, and covered plus gap durations must equal every explicit requirement",
    "option_fee_assessment": "only a schedule revision both effective and available at assessment may apply; trade fees consume accepted leg executions and exact fee lines must reconcile to their Decimal total after declared component rounding, minima, and caps",
    "internal_scenario_margin": "every scenario must price every position exactly once in one premium currency; future, stale, incomplete, or malformed matrices fail closed and every reported requirement component reconciles to its recorded policy parameters; the snapshot model id must equal the policy risk method"
  },
  "not_implemented": [
    "historical OPRA/OptionMetrics quote and terms ingestion",
    "operational unattended OCC acquisition (the live endpoint returned a Cloudflare HTTP 403 managed challenge to direct and headless-browser clients on 2026-08-18), automated PDF text extraction, a reviewed historical memo corpus, and a production vendor-terms adapter",
    "implied-volatility fitting, put-call parity/rate-dividend checks, arbitrage repair, and surface interpolation",
    "dividend, rates, borrow, early-exercise, and assignment-probability models",
    "a content-verified historical venue/account/product fee corpus and production fee adapter; beyond-displayed-size impact, queue position, complex-order-book price improvement, and complex-order auction execution; a content-verified historical option-status corpus, production status adapters, broad coverage evidence, and live outage polling/failover",
    "broker/OCC/regulatory margin equivalence, a validated option stress repricer and calibrated scenario corpus, opening-premium collateral integration, margin calls, forced liquidation, and live broker margin reconciliation",
    "end-to-end options backtest ledger integration",
    "options broker routing, exercise instructions, or live reconciliation"
  ],
  "claim_boundary": "These primitives make option quote, cross-strike integrity, adjusted-deliverable normalization/reconciliation, source-byte archival, displayed-size package crossing, exact fee-assessment semantics, internal scenario-margin arithmetic, and lifecycle assumptions explicit. Internal scenario margin is not broker, clearinghouse, exchange, or regulatory margin and does not include opening premium cash. No historical fee schedule corpus or calibrated venue rates are bundled. The package replay is an atomic crossing assumption over independently displayed legs, not evidence of simultaneous market fillability. Reviewed status manifests can normalize and reconcile supplied PIT records and audit explicitly supplied interval coverage, but no historical option-status corpus, production adapter, broad-market coverage evidence, or live venue polling is bundled. The archive accepts an injectable transport, but current live OCC access is challenge-blocked. These primitives do not constitute a historical OCC corpus, prove adjustment coverage, actual package fillability, fill probability, or price improvement; create a fitted surface, an executable options strategy, or a sleeve-admission case.",
  "source_sha256": {
    "implementation": "1758c2a0574eea4143f94a974d9ee3c618f7e8546dd57c030e14ceb629e69c64",
    "tests": "a50696062b636d9d05e1831f6cabbd32775d3d288ee6523022374f5b92cf43c6",
    "adjusted_deliverable_implementation": "1ee1ea5410ea7a6ef79352a46172b66c63478269db8e4911c6d68c84f0c9e884",
    "adjusted_deliverable_tests": "f07d3b62f6a8c1803a23407f82f4f4c5254d6921bf59c83f35972d8ec8834d85",
    "adjustment_ingest_implementation": "dcb5bbe23446d9517be4e581bc2fadea6d699d85ef23bd8b704804d0cd4ef247",
    "adjustment_ingest_tests": "c381c2c9f744fb15e6c2c8b5c5f65f4e5848ddb8f4870a9fad46eb1e4e8b37e2",
    "occ_archive_implementation": "f8ea2ab70c8c5dc7d59b74992e7fb83b662df75f30c559b3c27c13436de9b1ad",
    "occ_archive_tests": "2273614d9ad9e25546fc4efe542fdc2ae80684b1a389887b49e1acfe8fe4e7a5",
    "package_execution_implementation": "1b544acd977209a8534e02bb363ccd549c7f4a3df6e4219a97b431e960e1de0f",
    "package_execution_tests": "717147c3a5687a8c62ef0c28ea1416711895f8e6ec9df58e83273f64a5970386",
    "fee_assessment_implementation": "8fb43265a101001a1ea4ec7a975266a8b7be1f405d82016fd909a49178dc67f3",
    "fee_assessment_tests": "ab5a1086ec6dfc24fe879bb8eee07bd90998416b35c8133191cef653260d9adf",
    "scenario_margin_implementation": "1bdf492e64f801a2788c7501eb24e616c901e681a5ec35a07b71047372df4d91",
    "scenario_margin_tests": "4d5d741232adf559d95160fb6df46873e17d78773a97b78529c8be7f46b36212",
    "market_status_ingest_implementation": "97559540e3366f1cd4f64cc899f4aad60fced481e169adc49faff12125f0a4e3",
    "market_status_ingest_tests": "f1c5860a3e83f7758b013f6275951589b39ea9b9b5217cfb303891870c0499ba"
  },
  "content_hash": "sha256:fd58e9f8a9617f6f26c27bda66ade3b0b04c793b28a2e0dca80db2763d316520"
}