Repository navigation

Add a root `whitaker` binary behind an internal library boundary (3.5.1) - #356

Draft

leynos wants to merge 28 commits into

harden-lint-configfrom

3-5-1-root-whitaker-binary

Draft

Add a root `whitaker` binary behind an internal library boundary (3.5.1)#356
leynos wants to merge 28 commits into
harden-lint-configfrom
3-5-1-root-whitaker-binary

Commits on Oct 13, 2026
- Add `ortho_config` user's guide
  
  leynos
  authored and
  leynos
  committed
  126c2ff
- Add execplan for root whitaker binary (3.5.1)
  
  leynos
  and
  claude
  committed
  e918158
- Rewrite 3.5.1 execplan after design review
  
  leynos
  and
  claude
  committed
  ed2ec82
- Extract the Whitaker Dylint driver core
  
  leynos
  authored and
  leynos
  committed
  6fe00a4
- Expose installer orchestration from the library
  
  leynos
  authored and
  leynos
  committed
  e176fe3
- Record the rebase validation results
  leynos
  committed
  04f6fc4
Commits on Oct 15, 2026
- Record current rebase validation status
  leynos
  committed
  24e2861
- Escalate root CLI scope threshold
  leynos
  committed
  6eadba3
- Record accepted scope and implementation resumption
  leynos
  committed
  2cbc50f
Commits on Oct 17, 2026
- Implement the root Whitaker CLI
  leynos
  committed
  90fe88c
- Persist installed paths for CLI forwarding
  leynos
  committed
  b279447
- Resolve root CLI review findings
  leynos
  committed
  89d4762
- Address final root CLI review findings
  leynos
  committed
  a02ddff
Commits on Oct 19, 2026
- Reclaim abandoned test locks and finalize CLI validation
  leynos
  committed
  8444efa
- Fix root CLI review findings
  leynos
  committed
  2049429
- Preserve forwarded toolchain behavior
  leynos
  committed
  9d0a880
Commits on Oct 20, 2026
- Enable CLI dispatch proof by default
  leynos
  committed
  789f521
Commits on Oct 25, 2026
- Repair PR candidate CI findings
  leynos
  committed
  34fa9cc
- Fix coverage runner flag combination
  leynos
  committed
  1380d1e
- Compare canonical installation paths
  leynos
  committed
  3759ee4
- Preserve root CLI option and exit semantics
  leynos
  committed
  de280ec
- Split vendored Dylint test helpers
  leynos
  committed
  80991c6
- Record rebased validation and scope
  leynos
  committed
  f26091c
- Correct Verus proof runner comment
  leynos
  committed
  8fe45d5
- Correct ExecPlan scope counts
  leynos
  committed
  fac6055
- Tighten ExecPlan validation note
  leynos
  committed
  41e3f52
- Preserve CLI parser parity
  leynos
  committed
  e1c2e40
- Split short-cluster parity cases into a module
  
  leynos
  and
  claude
  committed
  ff2d4f6

Commits

Commits on Oct 13, 2026

Commits on Oct 15, 2026

Commits on Oct 17, 2026

Commits on Oct 19, 2026

Commits on Oct 20, 2026

Commits on Oct 25, 2026