docs(adr): record the #2278 coupling audit and re-trace entry-to-platform hops - #2355
Conversation
|
Before using the 44 / 51 / 53 counts or the three-removable-hop conclusion as audit evidence, reconcile the counting definition’s side-call exclusion with the rows for idle-reap cancellation and token comparison: neither is the call that continues toward the platform boundary. Retrace the tables or revise the definition and conclusion consistently. Keep this companion behind #2354. |
c64df0d to
314e369
Compare
Size Report
Startup median (7 runs, lower is better):
|
314e369 to
991425d
Compare
|
Retraced, rather than relaxing the definition. The idle-reap cancel and the token comparison were mis-counted: at the call site each is a sibling statement of the continuation ( The counting definition now states the guard/liveness exclusion explicitly, and every number was recomputed consistently: press/Android 44 → 41; snapshot shared 34 → 30, arms 51/53 → 47/49. The three-removable-hop conclusion changes with it: Per "keep this companion behind #2354", the base is now |
991425d to
e59ee44
Compare
e59ee44 to
6b7c189
Compare
|
Acknowledged — this stays stacked behind #2354 (base is the gates branch) and unblocks once its fix lands. One note: after rebase onto current main, the new snapshot-assembly gate rule took R74, so the companion gates were renumbered — this PR now references R76 (inventory) / R75 (session authority); no other doc changes. |
|
…cope-contracts * origin/main: (25 commits) fix(ios): avoid duplicate alert routing queries (#2398) docs(adr): record the #2278 coupling audit and re-trace entry-to-platform hops (#2355) chore(gates): classify #2278 daemon-platform-runtime edges and ratchet handler session authority (#2354) test(capture): shrink the 3x crop fixture to avoid coverage timeouts (#2399) perf(ios): settle the first interaction on a deadline, not a fixed sleep (#2395) feat: support standalone Maestro clearState command (#2366) refactor(capture-kit): complete ADR 0019 end state — relocate snapshot and recording zones (#2385) refactor(ios): delete the unused snapshot plan interface (#2392) fix(conformance): isolate post-tap settling from app launch (#2390) test(remote): assert the proxied snapshot's whole wire conversation (#2387) fix(daemon): stop an attested tenant from downgrading its own isolation (#2386) refactor(ios): prune converged snapshot paths (#2383) refactor(move): move the batch runner and batch policy into @agent-device/command-registry (#2388) fix(remote): let a plain-session client read its own failure record (#2382) refactor(move): move replay divergence vocabulary into @agent-device/ad-replay (#2384) refactor(cli): take the CLI's vocabulary off runtime barrels (#2379) perf(cli): keep scroll vocabulary off gesture runtime (#2378) chore: drop the stale planned-operations closure approval (#2373) fix(gates): stop an eager-closure approval from turning main red on merge (#2375) fix(ios): honor the startup budget through a cold Simulator boot (#2325) ...
Summary
Audit record for #2278 (companion PR #2354 carries the R76/R75 gates this ADR points at; stacked on top of it):
Validation
Docs-only change; runtime validation does not apply. The hop tables were re-traced file-by-file at 27a97ee under the locked counting method (main call chain, traced request pinned: session-bound agent-surface command, local device, no provider scope, no admitted lease). Spine side-calls were excluded after verifying against the code that none of them is the continuation toward the platform boundary. The newer base (#2331) changed the AX target-discovery failure behavior (single-flight probe, 1.5s bounded wait) without changing the traced file set; the fork line now documents that.