Misakachain commited on
Commit
801ce70
·
verified ·
1 Parent(s): ee7d75c

node-bridge cross-provider certification verified from the LM Studio path (mirrors 4a7ad37)

Browse files
docs/evidence/qi35-lmstudio-palw-receipt.md CHANGED
@@ -130,13 +130,25 @@ committed 1340-token prompt, `.search.json` `receipt_binding` and the
130
  opening's `context_meta.search` matching — then settled `certified` through
131
  the same replica pipeline.
132
 
 
 
 
 
 
 
 
 
 
 
 
 
133
  Not on the gateway path yet (stated honestly): model-emitted tool calls, and
134
- everything consensus-side (`--palw-loopback` certifies plumbing, not
135
- economics point `QI35_PALW_COORDINATOR` at a node bridge for the real
136
- counterparty). Verifier note: `palw-verify-search` replays LEGACY openings
137
- (`external_input` form); gateway search turns verify today via the opening's
138
- ids + `.search.json` as above, and extending the Rust verifier to the
139
- `qi35-gateway-opening/v1` shape is follow-up work.
140
 
141
  ## Receipt and search semantics
142
 
 
130
  opening's `context_meta.search` matching — then settled `certified` through
131
  the same replica pipeline.
132
 
133
+ The node-side coordinator works against this path end-to-end
134
+ (verified 2026-07-31): `misaka-palw-bridge` on 26621, gateway A launched with
135
+ `QI35_PALW_COORDINATOR=http://127.0.0.1:26621/palw/v1
136
+ QI35_PALW_PROVIDER=prov-a-lmstudio`, plus a second gateway instance as
137
+ `prov-b-replica` with its own real 35B engine process. Two `palw_mint` LM
138
+ Studio turns were submitter≠replica certified by the bridge's real
139
+ `ReplicaMatchKey`/`run_replica_k2` (output + route/kv/state roots): the
140
+ bridge offered each job only to B, B's engine replayed it (cold ~50 s to
141
+ certified, warm within seconds of the 8.3 s answer), journal seq 8 with both
142
+ matches on B and zero on A. The next turn's `lmstudio_resolve` frame showed
143
+ the bridge-certified parent inside LM Studio.
144
+
145
  Not on the gateway path yet (stated honestly): model-emitted tool calls, and
146
+ the on-chain half of settlement (the bridge itself notes "dev harness mode —
147
+ no challenges, bonds, DA or arbitration"; `--palw-loopback` remains the
148
+ zero-setup default). Verifier note: `palw-verify-search` replays LEGACY
149
+ openings (`external_input` form); gateway search turns verify today via the
150
+ opening's ids + `.search.json` as above, and extending the Rust verifier to
151
+ the `qi35-gateway-opening/v1` shape is follow-up work.
152
 
153
  ## Receipt and search semantics
154
 
docs/evidence/qi35_lmstudio_gateway.sh CHANGED
@@ -67,6 +67,7 @@ if [[ -n "${QI35_PALW_COORDINATOR:-}" ]]; then
67
  palw_args=(--palw-coordinator "$QI35_PALW_COORDINATOR")
68
  [[ -n "${QI35_PALW_COORDINATOR_TOKEN:-}" ]] && palw_args+=(--palw-coordinator-token "$QI35_PALW_COORDINATOR_TOKEN")
69
  fi
 
70
  [[ "${QI35_METAL:-v3}" == "0" ]] && palw_args+=(--no-metal)
71
  [[ "$QI35_SEARCH_AUTO" != "off" ]] && palw_args+=(--search-cmd "$SP/qi35_search_sidecar.py")
72
 
 
67
  palw_args=(--palw-coordinator "$QI35_PALW_COORDINATOR")
68
  [[ -n "${QI35_PALW_COORDINATOR_TOKEN:-}" ]] && palw_args+=(--palw-coordinator-token "$QI35_PALW_COORDINATOR_TOKEN")
69
  fi
70
+ [[ -n "${QI35_PALW_PROVIDER:-}" ]] && palw_args+=(--palw-provider "$QI35_PALW_PROVIDER")
71
  [[ "${QI35_METAL:-v3}" == "0" ]] && palw_args+=(--no-metal)
72
  [[ "$QI35_SEARCH_AUTO" != "off" ]] && palw_args+=(--search-cmd "$SP/qi35_search_sidecar.py")
73