{"id":"56ed0d06-8221-4590-83cb-9bc2ecd4a0ca","arxiv_id":"2604.12982","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"Idle classical WDM channels can be opportunistically used for QKD under a guardband rule, with simulations reporting 45–65% reuse of unused spectrum and a key-reservoir reliability trade-off.","lead":"The paper claims that idle WDM channels can be reused for quantum key distribution while classical traffic stays first priority, with guardbands to limit crosstalk. Monte-Carlo results on an 80-channel system suggest 45–65% of unused spectrum is usable for QKD and that key-buffer settings trade reliability against recovery downtime.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.5","headline":"Manuscript mismatch: full text is a higher λ-models paper, not Opportunistic QKD, so the 45–65% reuse claim cannot be audited.","rationale":"The reader correctly flagged that the full text does not match the QKD abstract and therefore left the work UNVERDICTED with low confidence. That is the right posture: the strongest claim is simulation-based and method-dependent, and those methods are absent from the supplied manuscript. My stress-test does not invent a deeper physics objection (e.g., Raman/crosstalk under a fixed guardband) because that would pretend the QKD paper is in hand. The single load-bearing concern is source integrity: until the correct full text (and ideally code) is attached, no scientific verdict on 45–65% reuse, Reliability Horizon, or Bihill first-passage modeling is warranted. Verdict remains UNVERDICTED; agreement with the reader is full on the mismatch and on not over-claiming from the abstract alone.","tokens_in":27375,"tokens_out":549,"duration_ms":5168,"concrete_test":"Confirm arXiv:2604.12982 PDF (title, abstract, and body) matches the QKD abstract; if the body is the λ-models paper, reject this package as mis-sourced. If a correct QKD PDF is obtained, re-run the 80-channel Monte-Carlo with the stated guardband and day–night+fGn model and check whether unused-spectrum reuse still falls in 45–65%.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The load-bearing issue is not a subtle modeling flaw inside Opportunistic QKD; it is that the supplied full manuscript is a different paper (Recursive Completion in Higher λ-Models / arXiv:2604.12981-style content on Kan complexes and K∞), while the abstract and paper_id claim a quant-ph WDM/QKD study. The reader’s strongest claim—Monte-Carlo 45–65% unused-spectrum reuse under guardband and day–night + fGn traffic—has no supporting methods, channel model, crosstalk physics, simulation parameters, or figures in the provided text. Without that body, neither the guardband sufficiency assumption nor the traffic model can be checked; the quantitative headline is unanchored. This is stronger than ordinary high correctness risk: the central claim is not present in the document under review.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The submission is labeled as arXiv:2604.12982, “Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems,” with an abstract claiming Monte-Carlo results on an 80-channel WDM system (day–night cycle plus fractional Gaussian noise), 45–65% reuse of unused spectrum under a guardband constraint, a key-reservoir model with a 3σ “Reliability Horizon,” a linear buffer-reset vs recovery-time trade-off, and a heavy-tailed first-passage characterization via a diurnal + Bihill composite. The full manuscript body supplied for review is instead an unrelated paper on recursive completion in higher λ-models (front-seed Kan coherence, exact K∞ reify/reflect packaging, and fixed-span β/η witness separation), fully formalized in Lean 4. None of the QKD/WDM claims, methods, or figures appear in the body.","tokens_in":27652,"tokens_out":954,"duration_ms":13380,"significance":"If the abstract’s opportunistic-QKD framework were supported by a matching technical body, the work could be of practical interest to operators seeking to co-exist QKD with classical WDM without dedicated dark fiber, especially the SLA-oriented Reliability Horizon and buffer trade-off. That significance cannot be assessed here: the quantitative headline (45–65% reuse) and the reservoir/first-passage results have no methods, channel model, crosstalk physics, simulation parameters, or figures in the document under review. The attached body is a different contribution (higher λ-models with machine-checked proofs) and does not substantiate the quant-ph claims.","major_comments":[{"comment":"Title/abstract vs full text: paper_id 2604.12982 and the abstract describe opportunistic QKD on classical WDM with guardbands, a stochastic traffic model, Monte-Carlo reuse of 45–65%, a key reservoir, Reliability Horizon (3σ), and first-passage statistics. The full manuscript text is “Recursive Completion in Higher λ-Models…” (Kan complexes, Theorems 5.6, 6.8, 7.15, 8.7, Lean formalization). The central QKD claims are therefore not present in the document under review and cannot be audited.","section":null},{"comment":"Abstract claim of Monte-Carlo 45–65% unused-spectrum reuse on an 80-channel WDM system: no traffic-model equations, guardband width, crosstalk model, channel allocation algorithm, simulation parameters, baselines, error bars, or figures appear in the supplied body. The strongest quantitative claim is unanchored.","section":null},{"comment":"Abstract definitions of the key reservoir (available/recovery states), Reliability Horizon as the 3σ depletion threshold, buffer-reset vs recovery-time trade-off, and heavy-tailed first-passage (diurnal + Bihill) have no corresponding sections, equations, or validation in the manuscript body. These load-bearing SLA results cannot be checked.","section":null},{"comment":"Weakest modeling assumptions named in the abstract (fixed unused-channel guardband as sufficient crosstalk mitigation; day–night + fractional Gaussian noise as adequate WDM occupancy) are not developed or justified anywhere in the provided full text, so correctness risk cannot be reduced by revision of the current body alone.","section":null}],"minor_comments":[{"comment":"Metadata inconsistency: abstract arXiv-style id 2604.12982 / quant-ph vs body content aligned with a cs.LO / higher λ-models manuscript (references to Papers I–II, K∞, Lean repo). This should be corrected at the source before any resubmission.","section":null},{"comment":"If the intended submission is the λ-models paper, it should be submitted under its own title, abstract, and category with matching claims; the QKD abstract must not be attached to that body.","section":null}],"recommendation":"reject","confidential_remarks":"The supplied “full manuscript” is a different paper from the title/abstract under review (higher λ-models vs opportunistic QKD). This looks like a packaging/cache error rather than a scientific dispute about QKD modeling. I recommend desk rejection or return to authors for a correct PDF; I did not attempt to referee the λ-models theorems as if they were the QKD paper. If a correct QKD manuscript is later provided, a fresh review would be needed."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The first thing you need to know: this is not a reviewable Opportunistic QKD paper. The abstract and arXiv id point to a WDM co-existence / key-reservoir study, but the full manuscript in the bundle is a different work—Recursive Completion in Higher λ-Models (Kan semantics, front-seed coherence, exact K∞ packaging, Lean 4). So the headline Monte-Carlo claim (45–65% of unused spectrum for QKD under guardbands and day–night + fractional Gaussian traffic) has no methods, channel model, crosstalk physics, figures, or code in what we were given. That is not a soft spot; it is a hard stop on evaluating the quant-ph contribution.\n\nOn the abstract alone, the intended idea is applied systems engineering: schedule QKD into idle classical WDM channels, keep classical priority, insert unused-channel guardbands, and manage a key reservoir with a 3σ “Reliability Horizon” and a buffer-reset vs recovery-time trade-off, plus a diurnal + Bihill fit to first-passage times. That is useful operator-facing framing if the simulations and crosstalk assumptions hold. It is not a new quantum primitive; novelty would live in the traffic model, the reservoir SLA machinery, and the quantitative reuse numbers—none of which we can check here.\n\nThe weakest assumptions in the abstract are exactly the ones that need the missing body: that a fixed guardband of unused channels is enough for realistic co-propagation, and that synthetic day–night + fGn occupancy is a fair stand-in for live WDM plants. Residual risk that the Bihill composite is a flexible fit to the same simulated first-passage data is real but secondary until we see the paper.\n\nSeparately, the attached λ-models manuscript looks like serious formal work (explicit theorems, Lean with no sorry/admit/axiom claimed). That is not a substitute for reviewing 2604.12982.\n\nWho this is for: network/QKD co-existence people—if and only if the correct full text, parameters, and validation appear. I would not bring the current package to reading group, would not cite the 45–65% or Reliability Horizon numbers, and would not treat this submission as ready for referees until the manuscript matches the abstract. Get the real PDF (and ideally code); then reassess.","headline":"The QKD abstract and paper_id do not match the supplied full text, so the 45–65% reuse claim and Reliability Horizon results cannot be audited from this package.","tokens_in":28237,"tokens_out":587,"would_cite":false,"duration_ms":17081,"reading_group":"no","serious_thinker":"unclear","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Unused channels in classical fiber networks can be turned into opportunistic quantum key distribution capacity while classical traffic stays first.","keywords":["opportunistic QKD","WDM","idle spectrum","crosstalk guardband","stochastic traffic model","key reservoir","Reliability Horizon","service-level agreements"],"falsifier":"Measure real multi-channel WDM occupancy traces and co-propagating QKD secret-key rates with the proposed guardband: if usable idle-spectrum fraction falls well outside 45–65% or key-rate collapses under realistic crosstalk, the central reuse claim fails.","tokens_in":28273,"feed_emoji":"🔐","tokens_out":659,"duration_ms":12613,"temperature":0.7,"pith_summary":"Lab quantum key distribution (QKD) works, but scaling it means riding on the fiber networks operators already run. This paper proposes opportunistic QKD: when classical wavelength-division multiplexing (WDM) leaves channels idle, those channels carry quantum signals, with classical traffic always prioritized. A guardband of empty channels sits between classical and quantum light to limit crosstalk. Using a traffic model that combines a day–night cycle with fractional Gaussian noise, Monte-Carlo runs on an 80-channel WDM system find that 45–65% of the unused spectrum can be reused for QKD, depending on load. The authors also model a key reservoir with available and recovery states, define a Reliability Horizon as the three-sigma depletion threshold, and show a trade-off: higher buffer reset levels stretch the Reliability Horizon but lengthen recovery “dark windows.” First-passage times are heavy-tailed and fit a diurnal-plus-Bihill model, so operators can tune buffers against service-level agreements.","feed_headline":"Idle fiber channels yield 45–65% more room for QKD","feed_subtitle":"Guardbands and a day–night traffic model let quantum keys ride classical WDM without stealing priority","key_machinery":"Opportunistic QKD with guardband: idle WDM channels carry quantum signals only when classical traffic leaves spectral room, with unused channels forced between classical and quantum bands; the key reservoir and Reliability Horizon (3σ depletion threshold) then convert fluctuating key generation into SLA-aware availability and recovery times.","core_discovery":"In an 80-channel classical WDM system, a stochastic traffic model (deterministic day–night cycle plus fractional Gaussian noise) and a fixed guardband between classical and quantum channels allow 45–65% of idle spectrum to be repurposed for opportunistic QKD while classical traffic remains prioritized; a key reservoir’s Reliability Horizon (3σ depletion) then trades longer secure-key availability against longer recovery dark windows.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Idle WDM channels give QKD 45-65% unused spectrum","Guardbands let QKD claim 45-65% idle classical capacity","Day-night traffic model frees 45-65% spectrum for QKD","Key reservoir Reliability Horizon trades uptime for dark windows","Opportunistic QKD reuses idle 80-channel WDM capacity"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"A fixed guardband of empty channels is enough to control crosstalk when classical and quantum light share the fiber, and the synthetic day–night plus fractional-Gaussian traffic model is faithful enough for the reported 45–65% reuse numbers.","fun_headline_variants_meta":{"raw":{"variants":["Idle WDM channels give QKD 45-65% unused spectrum","Guardbands let QKD claim 45-65% idle classical capacity","Day-night traffic model frees 45-65% spectrum for QKD","Key reservoir Reliability Horizon trades uptime for dark windows","Opportunistic QKD reuses idle 80-channel WDM capacity"]},"model":"grok-4.5","effort":"low","cost_usd":0.00607,"raw_usage":{"total_tokens":1611,"prompt_tokens":803,"num_sources_used":0,"completion_tokens":96,"cost_in_usd_ticks":60700000,"prompt_tokens_details":{"text_tokens":803,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":712,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":803,"tokens_out":96,"duration_ms":6233,"temperature":1.0,"reasoning_tokens":712,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T21:02:14.001151+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Measure real multi-channel WDM occupancy traces and co-propagating QKD secret-key rates with the proposed guardband: if usable idle-spectrum fraction falls well outside 45–65% or key-rate collapses under realistic crosstalk, the central reuse claim fails.","supporting_citations":[],"review_version":2}