v0.41.17 field assessment: false-zero disclosures, import precision and daemon approval concurrency need reproduction #448
Labels
No labels
code-review
correctness
dos
performance
security
severity/high
severity/low
severity/medium
tech-debt
Kind/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Security
Kind/Testing
Priority
Critical
Priority
High
Priority
Low
Priority
Medium
Reviewed
Confirmed
Reviewed
Duplicate
Reviewed
Invalid
Reviewed
Won't Fix
Status
Abandoned
Status
Blocked
Status
Need More Info
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
h-dv/code-index#448
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Two-part local-ai-server/W100 field assessment received after .17, with a hand-reviewed 20-task comparison. Treat observed query results separately from source-only hypotheses. Confirmed event fixes are recorded below; raw tool arguments/responses/source spans are still needed for the remaining cases.
Highest-priority observed cases:
new RoutedEventHandler(rbPosSchalter_Loaded)are missing. Four ToDoubleNN calls in busMdeGenerator.cs:635–636 reportedly absent despite no extraction diagnostics. Need exact source before classifying.Source-only hypotheses (UNVERIFIED): daemon load-modify-save approval paths in offer.rs/bundled.rs may bypass the CLI project_mutation_lock; background updater timeout/cooldown/log edges. Reproduce a daemon+CLI schedule before claiming approval loss. Never weaken publication/authority fencing.
Operational findings already tracked: coarse host fingerprint / expensive rebuilds #410; stale last-check package_updates record acknowledged on #442; C# imported static calls #445, generic method arguments #446 (candidate fix), JS→TS imports #447, extension calls #313, member proof #69, Svelte #433/#434.
The sample is not an overall completeness claim: Python187TP/1FP/7misses over194ground-truth items; C#/XAML4correct+2partial tasks, with stronger bridge precision but several uncertain zeros. Keep precision and recall separate. Next steps: obtain raw witnesses, create independent minimal reproductions, then split confirmed fixes into focused issues/PRs. Root XAML events and inconsistent zero disclosures rank above cosmetic output changes.
Raw partner reports retained at /tmp/cosi-04117-local-ai-assessment-raw.jsonl; actual item IDs01M5Q6NRAA232Q67BN4XSXJ8F9 and01M5Q6P9HJBTBNS08Y36V4E73Y. No partner machine or project state was changed.
Revalidation on published 0.41.46 (2026-11-09)
Fresh minimal reproduction using signed C# 0.1.11 and XAML 0.3.3: namespaced
tl:CustomWindowroot KeyDown resolves to the paired C# method, child Click resolves, all four code-behind uses ofx:Name="rbPosSchalter"resolve and public find_references returns four rows, andnew RoutedEventHandler(rbPosSchalter_Loaded)emits and resolves a C# method-group reference. Zero parse errors. These particular missing-reference claims no longer reproduce in this minimal case; this does not establish the customer project's cause and does not close the remaining Python, ToDoubleNN, concurrency or workspace cases.Two remaining concrete findings: (1) the field's public response still labels
no_use_reference_channelalthough it returns four resolved member_access uses; the disclosure needs separate review, (2) XAMLLoaded="rbPosSchalter_Loaded"emits no call reference (the same-named C# method-group use is present). The XAML extractor's closed handler list currently covers Click and four keyboard events, not Loaded. Neither finding is included as a fixed behavior in the pending 0.41.47 core batch.Local reproduction and raw public responses:
/tmp/cosi-047-ticket-448-audit/verification.json; runner/tmp/cosi-047-audit-448.py. No customer project was modified.Confirmed event fixes published: XAML 0.3.4 (PR #511)
PR #511 is merged after all four required workflows passed on
b6aeeb7f0a65276a43af5fe2ecd6cac00a068ce3. XAML 0.3.4 is published, and all four package-release jobs passed (run 2510). Digest:sha256:0fb1f6e88701c31a270964f1b230349e4801a49231fb674172952744b96d123b.The shared C#/XAML regression reproduces and fixes four missing lifecycle handlers (
Loaded/Unloaded, root and attached child) and a false bind fromNotClick. It checks both endpoint grants, each revoked endpoint, ambiguous paired targets, foreign-file decoys and scoped/full equivalence. Shipped conformance covers eleven positive references and seven negative controls. The complete mandatory release tier passed.A fresh download test verified the signed public v2 catalog using the previously trusted 0.41.46 CLI, downloaded signed C# 0.1.11 and XAML 0.3.4, and indexed a namespaced root-window example. Root KeyDown, child Click and the XAML Loaded handler resolve to paired C# methods; all four x:Name uses resolve; the C# method-group reference resolves too. Zero parse errors. Public find_references responses are retained at
/tmp/cosi-047-xaml034-published/verification.json. No customer machine was changed.The broader issue remains open: the inconsistent
no_use_reference_channeldisclosure, Python importer cases, ToDoubleNN, concurrency and workspace evidence still require separate fixes or reproduction. The core 0.41.47 batch separately closes #433, #447 and #305; it does not close this report.Reporter reran four witnesses on matched .17 and corrected one claim (A1X01M5Q71QYTRV0EHTFKJ6A32XWT):
Independent Linux minimal reproductions are the next step. Keep the corrected tool-agreement claim out of subsequent issue descriptions.
Partner correction (A1X item
01M5QBD61WYE07VV9MCTX0A3RF, 2026-10-24 16:20 UTC): the ToDoubleNN / busMdeGenerator.cs:635–636 finding is RETRACTED. The reported calls are inside a/* ... */block spanning lines 577–743, containing deprecated commented-out code. The partner's read-only SQLite inspection reports no refs on lines 572–756 and only the enclosing module/class covering line 635. The 3,713 live ToDoubleNN method-call facts agree with name_fallback_count. This item supplies no extraction/fallback defect and needs no runtime change. The x:Name/code-behind and dataset bridge gaps remain open; #452 and #453 are independently reproduced and unaffected.E4 field confirmation (A1X item
01M5QEEP6XBYKXFRD17ZEEX5ZK, 2026-10-24 17:13 UTC): official C#0.1.8 on core0.41.17 updated successfully viaplugin update de.h-dv.csharp --grant requested --yes. Daemonless foreground activation was disclosed before work; reindex_domain1807 reparsed only C#, generation7 is active. Structural readiness: state absent and resolve_progress.active=false. Project remains4141files/111576symbols/0parse errors. Migrator references increased from1/1 to3/3 resolved: existing ILogger plus Program.cs:241 GetRequiredService() and Program.cs:699 AddSingleton(). Both reported E4 sites are confirmed fixed.Core v0.41.19 is now published with the runtime fixes from #455 and release hardening from #462. Independent checks of the official bytes confirm the Python importer precision fix and common project approval lease, including actual old→new upgrade with DB/approvals retained, concurrent alias/TMP refusal, independent-project progress and crash release. C# 0.1.8 and XAML 0.3.2 official package selections/signatures and all 37 prior channel versions are verified. The own-source live-watch dogfood passes on the published runtime; full receipt is on #462. Core host/worker identity changes can re-extract files; the upgrade did not delete the DB. This umbrella remains open for the unresolved x:Name/dataset/method-group and other confirmed language gaps; the retracted comment-only cases are not claimed as fixes.
Fresh independent method-group reproduction on published core0.41.19 + official C#0.1.8: a class declares
OnLoaded, uses it innew RoutedEventHandler(OnLoaded),RoutedEventHandler callback = OnLoaded,Loaded += OnLoaded, then callsOnLoaded(null,null)directly. Both source files have no parse errors; a separate namespace/type supplies a same-named handler decoy. Only the direct call has a reference row and appears in the publicfind_referencesreply. The three method-group sites have no captured refs, so this is extraction absence rather than just failed resolution or fallback filtering. Source inspection narrows the candidate boundary: the existing scope-aware implicit-member reader tracks declared fields/properties/events, but not declared methods. Any change must preserve lexical/value shadowing and declaration/label/type exclusions; no global name matching is justified. Receipt:/tmp/cosi-448-method-group-04119-proof/report.json. This is the next package-scoped candidate after the current runtime release; x:Name and dataset gaps remain separate.Method-value subcase #467 is now fixed in official C#0.1.9 and bundled in core0.41.21. The official update changes the controlled OnLoaded witness from1direct call to4exact resolved uses, excluding same-name decoys and local shadows. Core0.41.20→0.41.21 upgrade, approval concurrency/crash recovery and exact-source live-watch dogfood also pass on downloaded release bytes. This umbrella stays open for x:Name/generated code-behind, dataset and other unresolved reports; #445 and #447 remain open. The retracted comment-only ToDoubleNN report is not a fix.
A separate operational defect from the current package-backed reproduction is fixed in PR #490 (candidate v0.41.35, qualification in progress): after automatic producer adoption moved a capability/bridge grant, re-resolution could commit while
project_overview.resolve_progress.activeremained true indefinitely. On published 0.41.34 the isolated public CLI/MCP reproduction remains active after reconciliation, with no pending generation and no open writer transaction. The candidate reportslast_outcome: committed, becomes idle, preserves exact references, and restarts cleanly.The existing database regression now verifies commit, post-tier cancellation, and injected SQL failure, including exact bindings after rollback. All 598 indexer unit tests, the full signed-package acceptance suite, and both C#/Timeline candidate pilots passed. Required Linux/Windows CI is still running; this is not released yet.
This fixes the misleading progress report. It does not implement generated x:Name/code-behind field ownership or dataset reference recall, so this umbrella issue stays open.
The progress-reporting fix is now merged in #490 and published as v0.41.35. All required PR workflows and all ten release jobs passed, including native Windows, Linux timing/daemon transport, tier-1 corpus, candidate pilots, signed generic acceptance, and actual archive smoke checks.
Independent verification confirms all four installed binaries match the published archive and exact tag commit
fb4eb790b2. The shipping binaries pass the original public CLI/MCP reproduction: snapshot → initial daemon → automatic producer adoption → grant re-resolution → restart; progress finishes committed/idle and exact references survive. The signed channel preserved all 51 existing package-version rows, including Svelte 0.2.4.This closes the observed stale-active-progress defect only. This issue remains open for generated x:Name/code-behind ownership and dataset recall. Existing agent sessions need to restart/reconnect to load the new executable.
Generated x:Name/code-behind ownership is implemented locally in
7e527645(not pushed, merged or released yet). C# 0.1.11 declares an exact paired-file + containing-type field bridge; XAML 0.3.3 supplies root namescope ownership and literal inline/object ElementName references. Wrong namespaces/types, duplicate names, missing source/destination grants, nested types and template namescopes cannot lend a field to an unrelated C# use. No project-wide name join or new ABI was added.Qualification: 28 real-package C# readiness tests, both signed-package C#/XAML bridge tests across edit/reopen/grant cases, 20 independent native C# walker/corpus tests, package reproducibility/provenance/digest/conformance, strict Clippy and formatting pass. The independent corpus oracle matches all 106 added value sites; params/setter/discard controls are covered. Public CLI/MCP candidate checks pass for snapshot → daemon → live owner withdrawal → restore → restart, with an unrelated XAML decoy.
Core package tests (189) and profile tests (21) pass. The full indexer unit run passed 605 tests and found one stale source-allowlist expectation; that expectation was updated to the new closed read/write registry and the isolated test passes. Four pre-existing ignored unit tests remain ignored. Release corpus performance/precision and normal CI/release qualification remain outstanding; the new package host floors must be set with core 0.41.42 before publication. This umbrella stays open: dataset recall is still #229. Template-internal ElementName resolution is explicitly withheld/disclosed rather than guessed.
Shipped in core 0.41.42, C# 0.1.11 and XAML 0.3.3: code-behind references to generated XAML fields now require conventional file pairing and exact declared type ownership. XAML records root namescope ownership and literal ElementName references; template namescopes are withheld and disclosed.
The actual signed packages passed public CLI/MCP snapshot, daemon, live ownership withdrawal/restoration, decoy isolation and restart checks. A separate namespaced
tl:CustomWindowroot KeyDown test passed live handler removal/restoration and restart. All required CI and all ten final release jobs passed. Every platform archive contains the exact published C# 0.1.11 CIP/signature. The installed four-binary cohort and seven bundled signatures were independently verified. Stable binaries are byte-identical to the binaries used for these proofs and self-dogfooding with all eleven official packages.After upgrading/reconnecting the runtime, the new bridge grants require explicit project approval:
This umbrella stays open. Dataset-to-C# links, extension applicability and the other import/disclosure/concurrency reports are not claimed fixed by this release. Local receipts:
/tmp/cosi-448-official-042-r2/verification.json,/tmp/cosi-448-custom-root-official-042/verification.json,/tmp/cosi-042-official-self-dogfood/verification.json.buildagent referenced this issue2026-11-07 22:55:42 +01:00
Cross-reference: #520 proposes the structural fix for the approval-concurrency part of this issue. The daemon would become the single writer of approval and activation state. Today that state is written from the CLI (6 sites), the MCP server (~24) and the daemon (3).
The 2026-11-09 per-language review adds measured cases for both halves of this issue:
BaseServer,ref_count 0/name_fallback_count 0while used.extraction_diagnostics: [];partial_source_censusreports 0 while files were refused.Psr7\Utilsbinds in PHP.Consolidated into #520 during the 2026-11-09 triage. The remaining scope of this issue is tracked there as a checklist item; this report stays as the detailed evidence.