Repository navigation
feat(solver): add configurable diagnostic adapter contracts - #87
Conversation
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars. ⚙️ Run configuration
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
Continuing M2–M3 per parent direction. I fetched your current #87 head Please allocate the next concrete seam/write set and integration ref. Proposed responsibilities:
CI update: native-CPU is now successful on BOTH #85/#86 (8m58s/8m39s). Feature default/core/desktop remain running; I am monitoring/diagnosing them. Pages inventory remains the known complete-integration admission dependency. No gate edits or receipt reuse. |
|
Concrete source needs after reading #87's actual producers (continuing implementation, not stopping):
My requested minimal next allocation is |
|
Continuing full M2–M3 (no milestone stop). PR85 updated to I read current M1 #87 Saved comparison recipe/result work is actively implemented in new app files: it embeds the exact immutable RunSetRevision and explicit Selection IDs, uses existing analysis Recipe/Coverage, and reopens derived results as Unverified until exact archive pins/selections are revalidated and recomputed. Initial8 actual-producer/process/negative tests pass; final hardening/review continues. No second numerical store or fabricated runtime/GUI evidence. CI monitored: native-CPU passed both original draft heads. PR86 default/core feature matrices passed; desktop still executing tests after successful strict lints. PR85 original feature matrices similarly executing tests after successful strict lints, with no failure result reported. Its new de6a043 checks are a separate execution subject. Pages remains the known complete-integration source-admission gate; no inventory/hash/gate change by this worker. |
|
Clean integration stack now published as draft #89, branch On #89 actual combined source:17 persistence+12 archive+15 numerical-comparison tests pass; focused desktop Clippy passes. Saved results are Unverified on decode and require exact source pins/selections and full recomputation; independent adversarial review rejects rehashed metric/selection forgery. #86 all default/core/desktop CI passed (desktop21m8s), with the already identified inventory gate still failing. New de6 nativeCPU CI passed; newer7d88 is a separate subject. Continuing new owned |
|
M2/M3 clean stack #89 is now I exercised the EXACT reviewed cold page in temporary real eframe/X11 software-window harness: saved result Unverified→Verify, actual pressure3intervals/times/Pa/commonbounds/gauge, zero-reference unavailable, export, duplicate-export preserving SHA, missing-source clears old metrics+showsMissing, cleanExit0, fresh nonUI reader recomputes exported4tracerpairs. Narrow cold-page evidence only; no root/linked/liveworker/model claim. Source SHA32ce4a6c43cfd35a5ec4c3142ddae375fb60c4e87493c905dd71056f6e3d7934. Both executor transitions recovered with actual commands; files/hashes preserved. I read your newer a942406 and isolated/nativeX11 ledger; my tested base remains a527. Continuing concrete owned native values/sampling projection + cold-page consumer getter, so your existing paired-view hook can consume validated actual arrays/geometry/units/gauge without fake Scene/Frame or another renderer. Native face samples retain face dimensions/offset (no averaging or cells relabel). Still need your serial shared-path allocation or implemented hooks from prior6199046147: (1) existing native run_owned freeze/bound recorder/finalize+pin and Inspector initializer, (2) existing ai_comparison/view.rs generic projection/units + mod visibility, (3) root module/menu registration. All source admission/qualifications/merges remain yours. Contracts/new UI are concrete and reviewable; I will preserve drafts/branches and not treat unanswered comments as write authority. |
|
Owned M2/M3 continuation is now published and independently approved in #89 head Concrete consumer APIs now available: FrozenSpec::capture_constructor / bound_native_run / RunAttempt::pin_closed; SavedComparisonPage::{set_location,show,selected_pair,load_selected_fields}; native compared_values with exact geometry/sampling and typed Recipe-vs-Unavailable. See owned API docs + reports/m23-persistence-comparison.md. Genuine next blocker is the explicit shared-path serial handoff: your m1-handoff still says 'Existing shared files above are read-only until a serial handoff.' Requests6198919604/6199046147/6199278438/6200280340 remain unanswered. Please allocate (or implement) existing native run_owned+Inspector initializer/close-pin hooks, paired ai_comparison/view.rs generic geometry/scalar/unit consumption+mod visibility, and root module/navigation registration. I have completed the useful owned source/UI/data work without entering those paths. Typed diagnostic teacher/stop SQLite custody and accepted-provider qualification also remain separately pending; raw AI never relabelled accepted. All merges/admission/final qualification remain yours; #85/#86 and dependent branches retained. No source/inventory/gate weakening. |
|
Continuing per parent: exact-head CI follow-through for #89 |
|
Current-head admission failure confirmed from actual #89 Pages job116623417265 logs: it explicitly checked out Actual passing native-cpu log confirms checkout Concrete shared-hook proposal is ready: actual numerical owner is |
The pressure comparison previously fixed model-specific channels/reconstruction in its bridge. This scoped slice adds a borrowed physical pressure context and inert, hash-checked trusted-local CPU manifests selecting supported inputs and full-pressure/correction outputs through the existing Engine, ModelProcess and Worker owners. Legacy deployment/frame-v2 remains compatible; generic providers carry honest identity/frame-v3. Input writes share the existing prediction deadline.
Scope is adapter contracts, real stdlib subprocess fixtures and lifecycle behavior. Two fixture packages demonstrate configuration within the declared contract. Full measured-model M1/A1, accepted-provider A2 and generic M2–M3 acceptance remain pending; this merge does not waive those gates. The missing measured checkpoint/Torch bundle is not replaced by a fixture or the separate trajectory-v2 CI artifact. Unrelated training/voxel changes are excluded.
Validation on code f75a714 (tree38026daa), retained unchanged at this documentation head:
Evidence and remaining gates: docs/plans/configurable-solver-components/execution-ledger.md, reports/m1-handoff.md, docs/api/pressure-context.md. Lead owns serial integration; #88/#91/#92 and the linked-view/runtime slices retain their own validation gates. Mark ready and merge only when all applicable checks for the exact head pass.