{
  "schema": "semiagora.rf-sparameter-deembedding-metric-contract.v1",
  "version": "2026-08-24-v100",
  "experimentId": "SA-KNOW-RF-SPARAM-001",
  "networkConvention": {
    "ports": "equal real reference impedance at both ports",
    "intrinsicModel": "original common-source small-signal Y matrix with gm, gds, Cgs, Cgd, and Cds",
    "cascade": "ABCD multiplication using passive positive-delay transmission-line fixture boxes",
    "referenceImpedancesOhm": [
      50,
      75
    ]
  },
  "equations": [
    {
      "id": "y-to-s",
      "expression": "S = (I - Z0*Y) * inverse(I + Z0*Y)",
      "boundary": "Equal real Z0 and the declared two-port sign convention only."
    },
    {
      "id": "fixture-line",
      "expression": "A=D=cosh(gamma*l), B=Zc*sinh(gamma*l), C=sinh(gamma*l)/Zc",
      "boundary": "Original analytic positive-loss and positive-delay fixture; no EM field solve or measured line standard."
    },
    {
      "id": "fixture-removal",
      "expression": "M_corrected = inverse(M_left_est) * M_measured * inverse(M_right_est)",
      "boundary": "The estimate class is explicit; the split-fixture proxy is not IEEE 370 software."
    },
    {
      "id": "passivity",
      "expression": "sigma_max(S_fixture) <= 1",
      "boundary": "Frequency-point analytic fixture check; no broadband causality certification."
    },
    {
      "id": "rollet-stability",
      "expression": "K=(1-|S11|^2-|S22|^2+|Delta|^2)/(2|S12*S21|), Delta=S11*S22-S12*S21",
      "boundary": "Linear two-port screen only; never RF signoff."
    },
    {
      "id": "ft-screen",
      "expression": "fT_proxy = gm/(2*pi*(Cgs+Cgd))",
      "boundary": "First-order assumed small-signal proxy, not extracted device performance."
    },
    {
      "id": "fmax-screen",
      "expression": "fmax_proxy = fT/(2*sqrt(gds*(Rg+Rs)+2*pi*fT*Rg*Cgd))",
      "boundary": "First-order screening expression with assumed parameters; no layout, distributed gate, substrate, bias, or power-gain extraction."
    },
    {
      "id": "noise-parameter",
      "expression": "F = Fmin + (4*Rn/Z0)*|GammaS-GammaOpt|^2/((1-|GammaS|^2)*|1+GammaOpt|^2)",
      "boundary": "Synthetic assumed noise parameters only; no measurement or uncertainty claim."
    }
  ],
  "sweep": {
    "deviceStates": 3,
    "fixtureStates": 4,
    "correctionMethods": 4,
    "uncertaintyStates": 3,
    "referenceImpedanceStates": 2,
    "frequencySamples": 21,
    "rows": 6048
  },
  "zeroBoundaryFields": [
    "external_numeric_values_used",
    "real_measurement_rows_used",
    "copied_touchstone_files_used",
    "proprietary_models_or_pdk_files_used",
    "vna_or_instrument_control_actions",
    "matching_network_recommendations",
    "rf_signoff_actions",
    "live_server_runs"
  ]
}