ci(verify): round-4 full-stack verification (issues 17-25) - #43
Draft
Xxx91n wants to merge 16 commits into
Draft
Conversation
added 4 commits
September 5, 2026 02:07
The verify job cargo compiles of the Tauri crate validate tauri.conf.json bundle.resources, but the five declared files were never staged in CI (locally frontend/scripts/prebuild.mjs does it during npm run build), so every main push failed at "Run Tauri crate tests". Insert a fail-closed staging step after "Build CLI" copying the five resources into frontend/src-tauri/bin/. Docs synced: build-and-release.md CI section + AGENTS.md Tauri-shell bullet.
…y (issue 17)
Run 33904993947 proved the five CLI resources stage correctly (5/5 logged)
and the resource gate passed, but compile then hit a second gate:
tauri::generate_context! (main.rs:1409) panics when frontendDist
("../../dist", repo-root dist/) does not exist - the real dist/ is only
produced by "Build frontend", which runs after the cargo steps. Seed a
dist/index.html placeholder in the same staging step; vite build
overwrites it with real output later.
…Runtime.cs (issue 21)
… stryker job (issue 18) - Survivor registry: 13 weak-assertion + 1 equivalent (cycle guard, process-inobservable), with per-mutant verdicts and LLM-detection reserve fields (.scratch report, gitignored) - 6 kill tests across MutationSurvivorTriageTests / MutationSurvivorTriageStdoutTests - New SetAppDataDirectoryForTests redirect seam in CliRuntime.cs (protection JSON stores) - build.yml: workflow_dispatch stryker job + scripts/stryker-module-scores.mjs per-module scores - stryker-config.json untouched (thresholds 85/70/60, mutate scope, ignore string/logical)
Xxx91n
force-pushed
the
arch/20-profile-create-help
branch
from
September 5, 2026 09:04
03e3e01 to
996c320
Compare
added 12 commits
September 5, 2026 19:35
…, and exit code 2 (issue 19) - ProfileEffective: PreflightResult + CollectPreflightWarnings + RunProfilePreflightDetailed (error tier ported verbatim; warn tier: undefined %VAR%, stale PATH entries, dangling launch targets) + EmitPreflightWarnReport (parseable JSON) - ProfileCommand: profile apply/launch accept --strict; warn-only applies proceed with exit 2, --strict refuses with exit 1; profile help updated - Program.cs: environment audit snapshot gate widened to exit 0 or 2 (audit continuity for warned applies) - Tauri shell: run_cli maps exit 2 to GUI success (write did happen); stderr warning kept in logs - Docs: cli-commands.md, architecture.md alignment, AGENTS.cli.md, hard-boundaries.md, backup-and-profiles.md, README + zh_CN - Tests: 8 new ProfileSeamValidationTests facts (tier membership, strict escalation, exit codes 2/1/0, clean-path drift guard); CI-only verification per 2026-09-04 mandate Rework per review 20: ticket-20 src hunk (IsProfileCreateHelp) withheld, re-homed to arch/20-profile-create-help.
…19 rework) - docs/cli-commands.md:95, AGENTS.md:114, main.rs:498 comment: 'profile apply/launch' -> 'profile apply' (ProfileLaunch has no exit-2 path; review evidence confirmed) - no code behavior change; report fact count 8->9 corrected in .scratch report - per reviews/19-preflight-two-tier-validation.md
…sue 19 rework 2) - CollectPreflightWarnings defined check adds Environment.GetEnvironmentVariable: %SystemRoot% is kernel-provided and absent from both registry env hives, so the registry-only surface misreported defined vars (CI run 33953937157 red); semantics = resolvable expansion => no warning - Detailed_DefinedVarReference_NoWarning rewritten with a Process-scoped named var (set/clear in-test); undefined test pins process-env absence explicitly - error tier and --strict contract unchanged
…urface with seed corpus and nightly workflow (issue 25) - tests/EnvManager.Fuzz/: standalone harness (Fuzzer.LibFuzzer.Run, SharpFuzz 2.3.0) driving LenientArgs.Tokenize + WasArgsCorruptedByTrailingBackslashQuote + IsWriteInvocationForFuzz; exception bisection discipline (Format/Argument/Overflow swallowed, NRE/IndexOutOfRange/OOM/StackOverflow/AV crash) - tests/EnvManager.Fuzz/Corpus/: 27 byte-verified seeds (trailing-backslash quote victims, backslash runs, unclosed quotes, embedded flags, control bytes, embedded NUL) - .github/workflows/fuzz.yml: cron nightly 1800s (red = crash signal), PR short run 300s continue-on-error (non-blocking), workflow_dispatch time override; R2R re-asserted off, pinned driver + SHA256 logging - env-manager.csproj: InternalsVisibleTo EnvManager.Fuzz
…sue 25) SHA256 17AF5B3F... recorded by run 33943975560 (PR short run, 301s, 6.5M execs, 0 crashes); download now fails closed on mismatch.
…elf-check (issue 22)
…hot layers section (issue 23)
…h zero store writes (issue 20)
…on as help request (issue 20) - ProfileCommand: IsProfileCreateHelp + ProfileCreateUsage const; help branch prints usage to stdout and returns 0 before any profiles.json/audit write - bare word "help" stays a legal profile name (only flag forms intercepted) - rework per review 20: hunk extracted from issue-19 commit 445a0d9, re-homed here so arch/20 is self-contained (src fix + regression tests)
Xxx91n
force-pushed
the
arch/20-profile-create-help
branch
from
September 5, 2026 11:36
996c320 to
4f6f7db
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Evidence lane for the brain-session review of architecture-recovery round 4 tickets 17-25. Draft only; not for merge.