{
  "schema_version": 1,
  "builder_plan": {
    "scenario": "An agent reads external documents or tool responses that may contain malicious instructions.",
    "change": "Replay attacks and legitimate lookalikes in an isolated copy of your agent workflow.",
    "baseline": "Your existing checks with the same tasks, permissions, and tool responses.",
    "steps": [
      "Locate the paper's implementation and check its license, model support, data needs, and hardware requirements. Stop here if you cannot obtain the required artifacts.",
      "Save a small set of representative product tasks and expected outcomes. Keep evaluation tasks out of any training or tuning, and choose quality and cost limits before running.",
      "Run the baseline and the proposed change on identical inputs. Keep other settings fixed and repeat paired runs to expose variation.",
      "Save per-task outputs, failures, timings, and all usage costs. Review regressions before expanding the test."
    ],
    "measure": "Successful attacks missed, legitimate actions blocked, detection delay, and review cost.",
    "decision": "Keep the change only if it meets your preselected quality and latency limits and improves the metric you care about after setup and operating costs. Otherwise retain the baseline. This is an exploration plan, not a validated recommendation."
  },
  "builder_review": null,
  "arxiv_id": "2609.15950",
  "title": "Privacy-Aligned Personalized Federated Learning with Compact Adaptation and Variable-Length Gaussian Communication",
  "summary": "The method replaces repeated high-dimensional differentially private model updates in personalized federated learning with a one-time private client context release followed by repeated adaptation confined to a fixed low-dimensional coefficient space, using variable-length quantization whose error doubles as the Gaussian privacy noise. The cost is implementing the factorized generator, the adaptive optimization geometry, and the variable-length coding scheme, plus accepting that gains depend on the assumption that client variation is genuinely low-dimensional. It can fail when client heterogeneity is high-dimensional, when the one-time context release is compromised or poorly calibrated, or in deployments not bound by record-level privacy accounting, where the added machinery buys nothing.",
  "rationale": "The technique is only relevant if the reader operates federated learning under record-level differential privacy, a niche constraint, but within that setting the communication and accuracy claims are concrete enough to warrant small-scale validation.",
  "technique": "Private client context with coefficient-space federated adaptation",
  "family": "seguranca_e_guardrails",
  "recommendation": "testar",
  "published": "2026-09-14",
  "as_of": "2026-10-18",
  "editorial_status": "indexed",
  "source_url": "https://arxiv.org/abs/2609.15950",
  "independent_implementations": 0,
  "total_implementations": 0,
  "stars": 0,
  "citations": 0,
  "claims": [
    {
      "claim_id": "claim-01",
      "statement": "The method replaces repeated high-dimensional differentially private model updates in personalized federated learning with a one-time private client context release followed by repeated adaptation confined to a fixed low-dimensional coefficient space, using variable-length quantization whose error doubles as the Gaussian privacy noise. The cost is implementing the factorized generator, the adaptive optimization geometry, and the variable-length coding scheme, plus accepting that gains depend on the assumption that client variation is genuinely low-dimensional. It can fail when client heterogeneity is high-dimensional, when the one-time context release is compromised or poorly calibrated, or in deployments not bound by record-level privacy accounting, where the added machinery buys nothing.",
      "basis": "inferred",
      "result": "",
      "baseline": "",
      "conditions": "",
      "source_url": "https://arxiv.org/abs/2609.15950",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "claim_id": "claim-02",
      "statement": "Reduces protected uplink communication by a factor of 2.67 at epsilon=16 on CIFAR-10 with comparable future-client accuracy, while matching or outperforming full-model private adaptation across privacy budgets and client heterogeneity.",
      "basis": "inferred",
      "result": "",
      "baseline": "",
      "conditions": "",
      "source_url": "https://arxiv.org/abs/2609.15950",
      "source_page": null,
      "source_excerpt": ""
    }
  ],
  "exposure_map": [
    {
      "dimension": "quality",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "compute",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "latency",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "operations",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "compatibility",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "security",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "data_and_training",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "reproducibility",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    }
  ],
  "risks": [],
  "minimum_test": [],
  "open_questions": [],
  "independent_tests": [],
  "lab_reproductions": [],
  "report_available": false,
  "validation_tier": "unknown",
  "evidence_tier": "unknown",
  "infrastructure_basis": "unknown",
  "equations": [
    {
      "anchor": "S2.E7",
      "label": "(7)",
      "section": "2 Method",
      "role": "metric",
      "latex": "A_{i}=\\frac{\\Delta_{c}^{2}+T_{i}\\Delta_{g}^{2}}{2\\sigma^{2}},\\qquad\\varepsilon_{i}=A_{i}+2\\sqrt{A_{i}\\log(1/\\delta)}.",
      "mathml": "<math display=\"block\"><mrow><mrow><mrow><msub><mi>A</mi><mi>i</mi></msub><mo>=</mo><mfrac><mrow><msubsup><mi mathvariant=\"normal\">Δ</mi><mi>c</mi><mn>2</mn></msubsup><mo>+</mo><mrow><msub><mi>T</mi><mi>i</mi></msub><mo lspace=\"0em\" rspace=\"0em\">​</mo><msubsup><mi mathvariant=\"normal\">Δ</mi><mi>g</mi><mn>2</mn></msubsup></mrow></mrow><mrow><mn>2</mn><mo lspace=\"0em\" rspace=\"0em\">​</mo><msup><mi>σ</mi><mn>2</mn></msup></mrow></mfrac></mrow><mo rspace=\"2.167em\">,</mo><mrow><msub><mi>ε</mi><mi>i</mi></msub><mo>=</mo><mrow><msub><mi>A</mi><mi>i</mi></msub><mo>+</mo><mrow><mn>2</mn><mo lspace=\"0em\" rspace=\"0em\">​</mo><msqrt><mrow><msub><mi>A</mi><mi>i</mi></msub><mo lspace=\"0.167em\" rspace=\"0em\">​</mo><mrow><mi>log</mi><mo>⁡</mo><mrow><mo stretchy=\"false\">(</mo><mrow><mn>1</mn><mo>/</mo><mi>δ</mi></mrow><mo stretchy=\"false\">)</mo></mrow></mrow></mrow></msqrt></mrow></mrow></mrow></mrow><mo lspace=\"0em\">.</mo></mrow></math>",
      "context": "Algorithm 1 summarizes the complete training and deployment procedure. Privacy is accounted for using Rényi differential privacy (RDP) [9]. Let <math display=\"inline\"><mrow><msub><mi mathvariant=\"normal\">Δ</mi><mi>c</mi></msub><mo>=</mo><mrow><mn>2</mn><mo>/</mo><msub><mi>m</mi><mi>c</mi></msub></mrow></mrow></math> and <math display=\"inline\"><mrow><msub><mi mathvariant=\"normal\">Δ</mi><mi>g</mi></msub><mo>=</mo><mrow><mrow><mn>2</mn><mo lspace=\"0em\" rspace=\"0em\">​</mo><msub><mi>C</mi><mi>g</mi></msub></mrow><mo>/</mo><msub><mi>m</mi><mi>g</mi></msub></mrow></mrow></math> denote the sensitivities of the one-shot context and repeated coefficient releases. We use a common Gaussian standard deviation <math display=\"inline\"><mrow><msub><mi>σ</mi><mi>c</mi></msub><mo>=</mo><msub><mi>σ</mi><mi>g</mi></msub><mo>=</mo><mi>σ</mi></mrow></math>. For a client participating in <math display=\"inline\"><msub><mi>T</mi><mi>i</mi></msub></math> private update rounds, composition of the one-shot context release and its repeated coefficient-gradient releases gives",
      "headline": "",
      "explanation": "",
      "objective": "",
      "symbols": {},
      "evidence": "",
      "evidence_url": "",
      "source_url": ""
    },
    {
      "anchor": "S2.E6",
      "label": "(6)",
      "section": "2 Method",
      "role": "proposed_method",
      "latex": "\\omega_{t+1}=\\omega_{t}-\\frac{\\eta}{|\\mathcal{S}_{t}|}\\sum_{i\\in\\mathcal{S}_{t}}J_{i}^{\\top}\\widetilde{g}_{i,t}.",
      "mathml": "<math display=\"block\"><mrow><mrow><msub><mi>ω</mi><mrow><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>=</mo><mrow><msub><mi>ω</mi><mi>t</mi></msub><mo>−</mo><mrow><mfrac><mi>η</mi><mrow><mo stretchy=\"false\">|</mo><msub><mi>𝒮</mi><mi>t</mi></msub><mo stretchy=\"false\">|</mo></mrow></mfrac><mo lspace=\"0em\" rspace=\"0em\">​</mo><mrow><munder><mo movablelimits=\"false\">∑</mo><mrow><mi>i</mi><mo>∈</mo><msub><mi>𝒮</mi><mi>t</mi></msub></mrow></munder><mrow><msubsup><mi>J</mi><mi>i</mi><mo>⊤</mo></msubsup><mo lspace=\"0em\" rspace=\"0em\">​</mo><msub><mover accent=\"true\"><mi>g</mi><mo>~</mo></mover><mrow><mi>i</mi><mo>,</mo><mi>t</mi></mrow></msub></mrow></mrow></mrow></mrow></mrow><mo lspace=\"0em\">.</mo></mrow></math>",
      "context": "The fixed denominator and clipping imply replace-one sensitivity at most <math display=\"inline\"><mrow><mrow><mn>2</mn><mo lspace=\"0em\" rspace=\"0em\">​</mo><msub><mi>C</mi><mi>g</mi></msub></mrow><mo>/</mo><msub><mi>m</mi><mi>g</mi></msub></mrow></math>. Let <math display=\"inline\"><mrow><mi>ω</mi><mo>=</mo><mrow><mo stretchy=\"false\">(</mo><mi>W</mi><mo>,</mo><mi>ψ</mi><mo stretchy=\"false\">)</mo></mrow></mrow></math> denote the trainable generator parameters, and write <math display=\"inline\"><mrow><msub><mi>J</mi><mi>i</mi></msub><mo rspace=\"0.111em\">=</mo><mrow><mo>∂</mo><mrow><msub><mi>a</mi><mi>i</mi></msub><mo rspace=\"0.055em\">/</mo><mrow><mo>∂</mo><mi>ω</mi></mrow></mrow></mrow></mrow></math> for the Jacobian of the generated coefficients with respect to the trainable generator parameters. Let <math display=\"inline\"><msub><mi>𝒮</mi><mi>t</mi></msub></math> denote the participating clients selected for the server update at round <math display=\"inline\"><mi>t</mi></math>. With uniform client weighting, the server update is",
      "headline": "",
      "explanation": "",
      "objective": "",
      "symbols": {},
      "evidence": "",
      "evidence_url": "",
      "source_url": ""
    },
    {
      "anchor": "S2.E8",
      "label": "(8)",
      "section": "2 Method",
      "role": "proposed_method",
      "latex": "\\Delta a_{j}^{(i)}\\approx-\\frac{\\eta}{|\\mathcal{S}_{t}|}K_{ji}\\widetilde{g}_{i,t},\\qquad K_{ji}=J_{j}J_{i}^{\\top}.",
      "mathml": "<math display=\"block\"><mrow><mrow><mrow><mrow><mi mathvariant=\"normal\">Δ</mi><mo lspace=\"0em\" rspace=\"0em\">​</mo><msubsup><mi>a</mi><mi>j</mi><mrow><mo stretchy=\"false\">(</mo><mi>i</mi><mo stretchy=\"false\">)</mo></mrow></msubsup></mrow><mo>≈</mo><mrow><mo>−</mo><mrow><mfrac><mi>η</mi><mrow><mo stretchy=\"false\">|</mo><msub><mi>𝒮</mi><mi>t</mi></msub><mo stretchy=\"false\">|</mo></mrow></mfrac><mo lspace=\"0em\" rspace=\"0em\">​</mo><msub><mi>K</mi><mrow><mi>j</mi><mo lspace=\"0em\" rspace=\"0em\">​</mo><mi>i</mi></mrow></msub><mo lspace=\"0em\" rspace=\"0em\">​</mo><msub><mover accent=\"true\"><mi>g</mi><mo>~</mo></mover><mrow><mi>i</mi><mo>,</mo><mi>t</mi></mrow></msub></mrow></mrow></mrow><mo rspace=\"2.167em\">,</mo><mrow><msub><mi>K</mi><mrow><mi>j</mi><mo lspace=\"0em\" rspace=\"0em\">​</mo><mi>i</mi></mrow></msub><mo>=</mo><mrow><msub><mi>J</mi><mi>j</mi></msub><mo lspace=\"0em\" rspace=\"0em\">​</mo><msubsup><mi>J</mi><mi>i</mi><mo>⊤</mo></msubsup></mrow></mrow></mrow><mo lspace=\"0em\">.</mo></mrow></math>",
      "context": "From Eq. (6), client <math display=\"inline\"><mi>i</mi></math>’s contribution to the server update is <math display=\"inline\"><mrow><mrow><mi mathvariant=\"normal\">Δ</mi><mo lspace=\"0em\" rspace=\"0em\">​</mo><msup><mi>ω</mi><mrow><mo stretchy=\"false\">(</mo><mi>i</mi><mo stretchy=\"false\">)</mo></mrow></msup></mrow><mo>=</mo><mrow><mo>−</mo><mrow><mrow><mo stretchy=\"false\">(</mo><mrow><mi>η</mi><mo>/</mo><mrow><mo stretchy=\"false\">|</mo><msub><mi>𝒮</mi><mi>t</mi></msub><mo stretchy=\"false\">|</mo></mrow></mrow><mo stretchy=\"false\">)</mo></mrow><mo lspace=\"0em\" rspace=\"0em\">​</mo><msubsup><mi>J</mi><mi>i</mi><mo>⊤</mo></msubsup><mo lspace=\"0em\" rspace=\"0em\">​</mo><msub><mover accent=\"true\"><mi>g</mi><mo>~</mo></mover><mrow><mi>i</mi><mo>,</mo><mi>t</mi></mrow></msub></mrow></mrow></mrow></math>. Linearizing the coefficients generated for client <math display=\"inline\"><mi>j</mi></math> gives",
      "headline": "",
      "explanation": "",
      "objective": "",
      "symbols": {},
      "evidence": "",
      "evidence_url": "",
      "source_url": ""
    }
  ],
  "equations_status": "selected",
  "core_kind": "formula",
  "equations_fetched_at": "2026-10-09",
  "equations_source_url": "",
  "equations_source_sha256": "",
  "exposures_reviewed_at": "",
  "exposures_source_sha256": ""
}