[RAGE][DOTEXP-008] Android + desktop full-symbolic DotfilesExpert E2E with specialist delegation and zero model calls #225

New issue

Open

opened 2026-09-20 01:44:30 +00:00 by nsaspy · 0 comments

nsaspy commented

2026-09-20 01:44:30 +00:00

Owner

Parent: #281. Depends on implementation slices plus lost-rob0t/zara#1249 and #1238.

Build the final cross-device conformance fixture.

Scenario:

load same logical dotfiles workspace under a desktop path and an Android/remapped provider path;
discover/activate repo-local DotfilesExpert;
classify a deliberately nonstandard layout;
query canonical owner of a deployed file;
delegate one NixExpert and one BashExpert subgoal;
invoke a language StyleExpert with project-language overrides;
diagnose one Lisp missing-paren fixture through LispExpert;
preview/apply one deterministic bounded edit using expected preimage;
regenerate/project as required;
verify postconditions and explain full evidence/delegation chain.

Hard gate: providers disabled, no credentials, max_model_calls=0, usage ledger reports zero model calls.

Also prove cancellation, stale workspace generation, project switch, missing specialist, unsupported Android effect and failed verification do not become success.

Parent: #281. Depends on implementation slices plus lost-rob0t/zara#1249 and #1238. Build the final cross-device conformance fixture. Scenario: 1. load same logical dotfiles workspace under a desktop path and an Android/remapped provider path; 2. discover/activate repo-local DotfilesExpert; 3. classify a deliberately nonstandard layout; 4. query canonical owner of a deployed file; 5. delegate one NixExpert and one BashExpert subgoal; 6. invoke a language StyleExpert with project-language overrides; 7. diagnose one Lisp missing-paren fixture through LispExpert; 8. preview/apply one deterministic bounded edit using expected preimage; 9. regenerate/project as required; 10. verify postconditions and explain full evidence/delegation chain. Hard gate: providers disabled, no credentials, `max_model_calls=0`, usage ledger reports zero model calls. Also prove cancellation, stale workspace generation, project switch, missing specialist, unsupported Android effect and failed verification do not become success.