設定
設定リファレンス
pmoke config schema version 7の自動生成fieldリファレンス。
型付きconfig metadata registryから自動生成。手動編集は上書き対象。
JSON Schema · pmoke config explain
version
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
version | integer | 必須 | 6, 7 | 設定スキーマのバージョン 新規設定と移行済み設定はバージョン7。バージョン6も受理。 制約: must equal 6 or 7 |
scope
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
scope | table | 必須 | - | オシロスコープ設定 登録済みモデルと通信URIの組み合わせ。 |
scope.model | string | 必須 | DHO5108 | オシロスコープモデル instruments crateに登録されたモデル名との一致。 制約: must be a registered oscilloscope model |
scope.connection | connection URI | 必須 | tcp://, visa:, gpib:// | オシロスコープの通信URI DHO5108で使用するdirect TCP/IP。Prologix transport対象外。 制約: transport must be supported by the model and build features |
generator
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
generator | table | 任意 | absent | 任意のファンクションジェネレータ設定 triggerまたは自動測定系commandで必要な装置設定。 制約: required by trigger, autoshot, automeasure, and auto |
generator.model | string | 条件付き | WF1946B | ファンクションジェネレータモデル generator table使用時に必要な登録名。 制約: must be a registered generator model |
generator.connection | connection URI | 条件付き | gpib://, prologix-tcp://, prologix-serial:// | ファンクションジェネレータの通信URI native GPIBまたはPrologix TCP/serialの選択。 制約: transport must be supported by the model and build features |
data
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
data | table | 必須 | - | 取得データ方針 標準波形形式と任意のスクリーンショット取得の設定。 |
data.output | string enum | 必須 | csv, raw, both | 取得波形の保存形式 大規模取得向けraw、CSV併記向けboth。 |
data.input | string enum | 必須 | csv, raw, auto | 解析波形の入力形式 利用可能な標準データを選ぶauto。検証済みraw優先。 |
data.screenshot | boolean | 任意 | false; true, false | オシロスコープ画面取得 display transfer対応モデル・通信方式での任意取得。 制約: DHO5108 capture requires TCP/IP or USB-TMC |
sensors
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
sensors | array of tables | 条件付き | [] | センサーチャンネル一覧 各channelと単一scale方針の対応。 制約: channels must not overlap reference or lock-in signal channels |
sensors[]
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
sensors[].channel | integer | 必須 | - | センサーチャンネル番号 DHO5108向け1以上8以下の番号。 制約: 1 <= value <= 8; must be unique across all channel roles |
sensors[].scale | inline table union | 必須 | { factor = ... }, { max_abs = ..., polarity = ... } | センサー変換規則 直接係数または最大絶対値正規化の択一。 制約: factor and max_abs forms are mutually exclusive |
sensors[].scale.factor | float | 条件付き | - | 線形センサー変換係数 積分センサー値への直接乗算。 制約: must be finite and non-zero |
sensors[].scale.max_abs | float | 条件付き | - | 最大絶対値の正規化目標 測定最大絶対値に対応する正の目標値。 制約: must be finite and positive |
sensors[].scale.polarity | integer enum | 条件付き | -1, 1 | 最大絶対値正規化の極性 max_abs使用時の必須符号。 制約: must equal -1 or 1 |
sensors[].label | string | 必須 | - | センサープロットラベル TOML literal stringで指定可能なMatplotlib mathtext。 制約: must not be empty |
sensors[].unit | string | 必須 | - | 変換後センサーの出力単位 表・プロット・解析保存headerでの単位。 制約: must not be empty |
pulse
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
pulse | table | 必須 | - | パルス背景区間 パルス前後のベースライン領域。 制約: background windows must not overlap |
pulse.background_before | inline time window · s | 必須 | - | パルス前背景区間 有限なstartとendのinline table。 制約: start < end |
pulse.background_after | inline time window · s | 必須 | - | パルス後背景区間 有限なstartとendのinline table。 制約: start < end |
reference
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
reference | table | 必須 | - | EOM駆動用正弦波の解析設定 EOMへ入力するファンクションジェネレータ正弦波の記録チャンネル、FFT区間、fit間引きを指定。 |
reference.channel | integer | 必須 | - | EOM駆動信号の記録チャンネル EOMへ入力するファンクションジェネレータ正弦波を記録するDHO5108の1以上8以下のチャンネル。 制約: 1 <= value <= 8; must be unique across all channel roles |
reference.fft_window | inline time window · s | 必須 | - | EOM駆動信号FFTの時間区間 記録した正弦波の安定区間を表す有限なstartとend。 制約: start < end |
reference.stride_samples | integer · samples | 必須 | - | EOM駆動正弦波fitの間引き幅 計算量と時間分解能の調整値。 制約: must be positive |
reference.window_samples | integer · samples | 必須 | - | 局所EOM駆動正弦波fitの窓幅 FFT推定値周辺で使用するsample数。 制約: must be positive |
lockin
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
lockin | table | 必須 | - | 数値lock-in設定 信号channel、並列度、出力間引き、low-pass filterの指定。 |
lockin.channels | integer array | 条件付き | - | lock-in 復調対象チャンネル lock-inと後段解析で必要な1件以上のchannel番号。 制約: each value must be in 1..=8; must be unique across all channel roles |
lockin.workers | integer | 必須 | - | lock-inの並列worker数 物理CPU数付近を初期値とする並列度。 制約: must be positive |
lockin.stride_samples | integer · samples | 必須 | - | lock-in 出力間引き幅 入力sample rateを割るsample数。出力sample rateを決定。 制約: must be positive |
lockin.window | table | 必須 | - | lock-in 解析窓契約（schema v7） v7ではlockin.filterをwindow/estimator分離に置換。schema v6以前はlockin.filterを使用。 |
lockin.window.kind | string enum | 必須 | reference_cycles | lock-in 窓種別 v1の窓はreference_cyclesのみ。半窓幅を参照周期単位で測る。 |
lockin.window.half_window_cycles | float · reference cycles | 必須 | - | 参照周期単位の半窓幅 boxcar積分窓を参照周期単位で指定する半窓幅。 制約: must be finite and positive |
lockin.window.edge_policy | string enum | 必須 | legacy_trim | lock-in 端部処理 従来boxcarの端部トリム動作を維持する。 |
lockin.estimator | tagged table | 必須 | - | lock-in 推定器選択（schema v7） boxcar_legacyは従来推定器。joint_harmonic_glsは独自設定つき明示opt-in。推定器選択はfilter kindではない。 制約: GLS-only settings are rejected under boxcar_legacy |
lockin.estimator.kind | string enum | 必須 | boxcar_legacy, joint_harmonic_gls | lock-in 推定器アルゴリズム boxcar_legacyは従来推定器。joint_harmonic_glsは位相考慮joint harmonic推定器で設定ブロック必須。 |
lockin.estimator.fit_harmonics | integer array | 必須 | - | joint fit対象高調波 昇順・重複なし・正の高調波。出力高調波をすべて含む。モデル規模1 + 2 * lenはパラメータ上限内。 制約: must be ascending unique positive harmonics |
lockin.estimator.output_harmonics | integer array | 必須 | 1, 2, 3, 4, 5, 6 | joint推定器の出力高調波 v1では1から6まで過不足なく。 制約: must be exactly [1, 2, 3, 4, 5, 6] |
lockin.estimator.envelope_degree | integer | 任意 | 0; 0 | 包絡多項式次数 v1では0のみ。包絡ドリフト項は未対応。 制約: must be exactly 0 |
lockin.estimator.noise_mode | string enum | 必須 | identity, phase_diagonal, stationary_correlated, phase_correlated | GLS雑音モデル種別 白色化契約の選択。identity・位相別対角・定常相関・位相相関。 |
lockin.estimator.covariance_output | string enum | 任意 | diagonal; none, diagonal, full | XY共分散の出力形式 推定器共分散のrun成果物への書き出し量を制御。 |
lockin.estimator.failure_policy | string enum | 任意 | error; error | 推定器失敗時方針 v1ではerrorのみ。失敗時は代替動作せずrun中断。 |
lockin.estimator.calibration_source | string enum | 任意 | artifact; artifact, prepulse | joint推定器のcalibration取得元 artifactはファイル束縛の現行動作。prepulseはpulse.background_beforeからLI実行毎にchannel毎の雑音モデルを一度だけ導出し、LI provenanceにprepulse_calibration_digestを記録。prepulse選択時はcalibrationsは空でなければならない。 |
lockin.estimator.calibrations | table array | 任意 | [] | 不変calibration束縛。lock-in channel毎に1件 channelとcalibration成果物パス＋期待SHA-256の束縛。未展開テンプレートは拒否。artifact方式ではchannel毎に1件必須。calibration_sourceがprepulseの場合は空でなければならない。 制約: exactly one entry per lockin.channels value (artifact mode) |
lockin.estimator.solver_tolerances | table | 任意 | defaults | joint solver許容値の上書き joint推定器とpre-pulse nuisance fit用のTOL-06/07ポリシー。すべて任意。テーブル欠落・キー欠落は凍結済み既定値を保持し、既存v7設定の動作はバイト同一。 |
lockin.estimator.solver_tolerances.rank_tol | float | 任意 | 1e-10 | ランク判定の相対特異値フロア 有限かつ正。既定1e-10。小さいほど弱い特異方向を残し、大きいほど早期に棄却。 制約: must be finite and positive |
lockin.estimator.solver_tolerances.max_condition | float | 任意 | 1e8 | スケール済みdesignの条件数棄却閾値 有限かつ正。既定1e8。超過ウィンドウは公開せず失敗扱い。 制約: must be finite and positive |
lockin.estimator.solver_tolerances.max_noise_condition | float | 任意 | 1e10 | 実現雑音共分散の条件数上限 有限かつ正。既定1e10。実行時共分散の条件付けを制限（TOL-07）。 制約: must be finite and positive |
lockin.estimator.solver_tolerances.max_jitter_v2 | float · normalized-lag units | 任意 | 0.0 | 正規化lag単位のbounded-jitter上限 有限かつ非負。既定0.0（無効）。非SPD Toeplitz因子は暗黙正則化せず失敗扱い。 制約: must be finite and non-negative |
lockin.estimator.scs_adequacy | table | 任意 | defaults | SCS adequacyゲートの上書き pre-pulse導出用FR-06 split-halfポリシー。すべて任意で既定は凍結値。ゲート自体は全noise_modeで必須のまま。 |
lockin.estimator.scs_adequacy.lags | integer | 任意 | 4 | adequacyのlag数 正の整数。既定4。split-half検査で位相octant間にわたり比較するlag数。 制約: must be positive |
lockin.estimator.scs_adequacy.min_pairs_per_cell | integer | 任意 | 10 | 位相セル毎の最小lagペア数 正の整数。既定10。これ未満のセルはadequacy証拠なし扱い。 制約: must be positive |
lockin.estimator.scs_adequacy.max_phase_spread | float | 任意 | 0.2 | 学習位相spreadゲート 有限かつ非負。既定0.2。これを超える不一致は導出拒否。緩和は承認事項。失敗時は区間・データを再取得。 制約: must be finite and non-negative |
lockin.estimator.scs_adequacy.max_reserved_shift | float | 任意 | 0.2 | reserved-shiftゲート 有限かつ非負。既定0.2。これを超えるshiftは導出拒否。 制約: must be finite and non-negative |
lockin.filter | tagged inline table | 必須 | - | lock-in low-pass filter 設定 schema v6以前はboxcar_legacyのみ。v7ではlockin.window/lockin.estimatorに置換。 制約: fields from other filter kinds are rejected |
lockin.filter.kind | string enum | 必須 | boxcar_legacy | lock-in filter アルゴリズム 現在のLPFはboxcar_legacyのみ。過去のFIR/IIR kindは移行診断のためだけに読み取る。 |
lockin.filter.half_window_cycles | float · reference cycles | 必須 | - | 参照周期単位の半窓幅 boxcar積分窓を参照周期単位で指定する半窓幅。 制約: must be finite and positive |
lockin.debug_output | boolean | 任意 | false; true, false | lock-in debug artifact 出力 filter調査時のみ有効化する大容量artifact出力。 |
lockin.debug_label | string | 任意 | absent | debug artifactの安全なsuffix 短いASCII filename-safe文字列。 制約: 1-64 ASCII alphanumeric, '.', '_', or '-'; must not be '.' or '..' |
lockin.debug_overwrite | boolean | 任意 | false; true, false | debug artifact 上書き方針 同名debug出力の置換許可。 |
lockin.snr_background_window | inline time window · s | 任意 | absent | SNR 診断用背景区間 有限なstartとendの任意inline table。 制約: start < end |
lockin.snr_signal_window | inline time window · s | 任意 | absent | SNR 診断用信号区間 有限なstartとendの任意inline table。 制約: start < end |
lockin.save_npy | boolean | 任意 | false; true, false | lock-in結果のNumPy出力 標準CSVに追加するNPY artifact。 |
phase
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
phase | table | 必須 | - | 位相回転設定 第1から第6高調波のoffset。 |
phase.offsets | float or expression array · rad | 必須 | - | 6高調波の位相offset pi/2などの数式指定に対応するrad値。 制約: must contain exactly 6 finite values |
moke
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
moke | table | 必須 | - | Kerr角度の変換設定 校正用センサー、計算方法、最終係数を指定。 |
moke.sensor | integer | 必須 | - | Kerr角度の校正に使用するセンサーチャンネル sensors配列に存在するチャンネルを指定。 制約: must reference sensors[].channel |
moke.method | string enum | 必須 | standard, harmonics | Kerr角度の計算方法 standardまたはharmonics実装を選択。 |
moke.factor | float | 必須 | - | Kerr角度の最終変換係数 選択したKerr角度計算後に乗算する値。 制約: must be finite |
signals
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
signals | array of tables | 任意 | [] | 生信号読出し一覧 lock-in窓で平均するchannel毎の指定。 制約: channels must not overlap sensor, reference, or lock-in channels |
signals[]
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
signals[].channel | integer | 必須 | - | 信号チャンネル番号 DHO5108向け1以上8以下の番号。 制約: 1 <= value <= 8; must be unique across all channel roles |
signals[].label | string | 必須 | - | 信号プロットラベル TOML literal stringで指定可能なMatplotlib mathtext。 制約: must not be empty |
signals[].unit | string | 必須 | - | 平均信号の出力単位 表・プロット・解析保存headerでの単位。 制約: must not be empty |
plot
| path | 型 | 必須状態 | 既定値 / 候補 | 説明・制約 |
|---|---|---|---|---|
plot | table | 任意 | defaults | プロット生成設定 表示・保存、間引き、失敗方針の指定。 |
plot.mode | string enum | 任意 | save; off, save, interactive, both | plot出力mode batch向けsaveとMatplotlib window向けinteractive。 |
plot.max_points | integer · points per series | 任意 | 100000 | プロット入力の最大点数 大規模取得時のMatplotlib応答性調整値。 制約: must be positive |
plot.decimation | string enum | 任意 | stride; none, stride, min_max | プロット間引きアルゴリズム 狭い極値の保持に適したmin_max。 |
plot.on_error | string enum | 任意 | warn; warn, fail | プロット失敗方針 解析成功を保持するwarnと致命扱いのfail。 |
plot.output_dir | string | 任意 | absent | 非推奨のplot directory互換field version 6で受理後に無視される値。artifactは標準run layout。 制約: ignored with a warning |