get_device_monitor.read: SSH close-format (scalar/defaults vs MOPS index-dict)

[AdamRickards]

WHERE (Σ pack 2026-09-24)

• method: get_device_monitor.read
• tip SHA: b3d219686dbeea457f8dfb44a707036e5f220e68 (sidecar ref: main)
• HTTP: 200; result.passed=true; protocols mops/snmp/ssh all status=ok
• bucket: close-format

CLI

• show device-status all (response non-empty)

mops vs ssh (redacted)

• parity_diffs (shape):
  • oper_state: mops={'1': 'noerror'} vs ssh='noerror'
  • status_index: mops={} vs ssh=0
  • trap_cause: mops={'1': 'none'} vs ssh=''
• Same pattern mops↔snmp vs ssh.
• SSH wire today binds only hm2devmonoperstate (field Device Monitor). status_index / trap_cause lack SSH sources → defaults (0 / '') vs MOPS table-wrapped tokens.

Scoped miss

Scalar/defaults on SSH vs index-dict + mapped trap_cause on MOPS. Not a hang/timeout; SSH protocol present.

Proof only — no schema/wire fix in this filing.

[AdamRickards]

Decision trail (Schema clerk Rank1 — #362 get_device_monitor.read SSH)

• Tip: 3694a9315de0678e6e623e7376207fc7c528d135 (main 2b29424+).
• Hole named: SSH close-format — oper_state/trap_cause scalar/defaults vs MOPS index-dict + mapped tokens. Receipt: cli=show device-status all non-empty; SSH bound only hm2devmonoperstate (Device Monitor). No invent. No SSH cli hangs to timeout on invalid or missing command instead of failing #92.
• 1.17 / archive / CLI.json: show device-status all fields Operating State (current), Trap Cause (archive device_monitor.yaml). Sibling get_devsec.read: SSH close-format (state/pml_disabled vs MOPS) #323/get_devsec_status.read: SSH no-cli (empty cli vs MOPS) #326 pattern.
• Rank1 tools tried:
  • Invent floors / reopen SSH cli hangs to timeout on invalid or missing command instead of failing #92 / Engine wrap scalar→{'1':…} — ruled out (no SSH wrap primitive; get_qos_mapping.read: SSH close-format (dscp key shape vs MOPS) #318 key_tag class).
  • VLAN-scale fanout — forbidden (get_vlans.read: SSH close-format (port membership vs MOPS) #290/fix(wire): SSH get_vlans Rank1v2 PVID membership via show vlan port (#290) #303 HARD).
  • oper_state: align archive field + devmon_oper_ssh (ok→noerror). Same show → fanout 1.
  • trap_cause: missing SSH — fit: bind Trap Cause + devmon_cause_cli (MIB allowed; quote keys). type:integer→crude_numeric invent 0 without map (get_devsec_status.read: SSH no-cli (empty cli vs MOPS) #326 Rank1v2).
  • status_index: no scalar CLI field (events≠index) — leave undeclared leftover.
• End: green (YAML). PR schema(#362): SSH get_device_monitor trap_cause + oper_state maps #369 Related:get_device_monitor.read: SSH close-format (scalar/defaults vs MOPS index-dict) #362. validate_schemas.py --errors → 0 errors.
• Leftover: status_index {} vs default 0; oper_state/trap_cause MOPS index-dict vs SSH scalar (honest CLI scalars; no wrap tool).
• Soft path: do not start next pack item until PR filed. Named proof upstairs (Test re-inspect vs MOPS). Do not ask merge.

[AdamRickards]

WHERE — Tip Test re-inspect #362 / PR #369

Command: sidecar POST /v1/run get_device_monitor.read trace:true (named proof equivalent)
Tree/SHA: tip 3694a93 (sidecar synced op=pr #369)
Verdict: pass on scoped Rank1 intent (merge-ready soft). Soft leftovers match Schema expect — do not invent-green.

Expect / receipt:

• cli: show device-status all ✓
• oper_state: mops/snmp {'1':'noerror'} vs ssh 'noerror' (index-dict vs scalar) — expected leftover; token match
• trap_cause: mops/snmp {'1':'none'} vs ssh 'none' — expected leftover; token match
• status_index: mops/snmp {} vs ssh 0 — expected leftover

Receipt:

• ssh status=ok
• parity_diffs n=6 (all shape: oper_state / trap_cause / status_index × mops+snmp vs ssh)

Leftovers (soft, Schema-named): status_index {} vs 0; oper_state/trap_cause index-dict vs scalar. No invent-green / no provenance until Architect kicks.

No invent; #92 stays closed. Proof only.

[AdamRickards]

Architect trail: soft-merged #369 → tip fec5a76 after Test soft prove (parity_diffs shape-only).

Leftovers stay on this issue (no invent wrap):

• status_index {} vs 0
• oper_state / trap_cause MOPS index-dict vs SSH scalar (token match)

Next hop in pack: #365 / PR #370. No provenance until all-green.