Add verifier process supervisor and broaden analyzer/contracts/effects coverage - #124

Merged

alexyorke merged 62 commits into

verifier-process-supervisor

Aug 23, 2026

Commits on Aug 21, 2026

Validate cached mutation shard catalogs
alexyorke
committed
d5c770a

Commits on Aug 22, 2026

Validate verifier invocation cleanup paths
alexyorke
committed
1bbc03d
Admit supported callable kinds in contract binding
alexyorke
committed
1250282
Analyze zero-argument primary base calls
alexyorke
committed
ec59520
Respect assignment evaluation completion
alexyorke
committed
bfa64b7
Respect binary operand evaluation order
alexyorke
committed
d849be1
Sequence compound assignment effects
alexyorke
committed
81e1b4e
Sequence constructor member initializers
alexyorke
committed
837b1e1
Ignore unreachable alias assignments
alexyorke
committed
21a9e61
Recognize bind-mounted Git checkouts
alexyorke
committed
11d7ebd
Decompose assignment effect scanning
alexyorke
committed
3c8afb2
Reject malformed package base addresses
alexyorke
committed
bb8ac6c
Verify generated files byte for byte
alexyorke
committed
cf21273
Validate packaged analyzer identities
alexyorke
committed
b1def21
Resolve contained paths through links
alexyorke
committed
b00b641
Reject empty fuzz campaigns
alexyorke
committed
b64ece8
Respect expression completion in effect scans
alexyorke
committed
36ba2fc
Validate fuzz summary evidence
alexyorke
committed
fc1fe57
Require reviewed pilot qualification evidence
alexyorke
committed
be34277
Bind constructed partial method contracts
alexyorke
committed
fe86023
Preserve frontend runtime semantics
alexyorke
committed
4579511
Reject negative fuzz coverage evidence
alexyorke
committed
afbb78c
Respect throw expression completion
alexyorke
committed
f2fe551
Specialize constructed contract value domains
alexyorke
committed
1e80009
Add BuildTasks verifier process supervisor and broaden coverage across analyzer, contracts, and effects modules

alexyorke
and
claude
committed
9c0f7ca
Fix CI build failures: unsafe blocks, local function collision, Roslyn API mismatches

alexyorke
and
claude
committed
401f502
Fix remaining CI build failures: scope collisions, CA rule violations, IDE formatting

alexyorke
and
claude
committed
1b62d53
Fix remaining IDE0055 formatting and CA1508/CS0518 issues in SharpProof.Effects

alexyorke
and
claude
committed
cd705b8
Fix last IDE0055 formatting hits from concurrent edits

alexyorke
and
claude
committed
77f030a
Fix SharpProof.Analyzer.Core compile failures and CA rule violations

alexyorke
and
claude
committed
372ccd3
Fix CA1308 in extracted CreateSupervisorNonce and matching validator

alexyorke
and
claude
committed
5cdea42
Fix SharpProof.Package.Test compile failures after RunVerifier gained IDisposable

alexyorke
and
claude
committed
b3893d1
Revert Assert.Throws/Assert.Multiple delegate cast to Action

alexyorke
and
claude
committed
254b9af

Commits on Aug 23, 2026

Allow the task workspace's own artifacts symlink through containment checks

alexyorke
and
claude
committed
9badfd8
Fix real test/infrastructure bugs found by full coverage run

alexyorke
and
claude
committed
f4d7386
Update TCB digest pin and a stale test expectation

alexyorke
and
claude
committed
8ac80ad
Fix ImmutableArray.Builder capacity mismatch and a stale analyzer test

alexyorke
and
claude
committed
dd81060
Classify SharpProof.Fuzz as a production project

alexyorke
and
claude
committed
df83586
Update SharpProof.Fuzz lock file for BannedApiAnalyzers

alexyorke
and
claude
committed
7490d8c
Route SharpProof.Fuzz semantic models through the audited host boundary

alexyorke
and
claude
committed
e133b07
Fix stale expectations in the alias-precedence generator test

alexyorke
and
claude
committed
bdf5eff
Fix DirectLockReceiverCompletionControlsRefutation to match the Worker-level finding

alexyorke
and
claude
committed
e926b12
Fix stale expectations in coalesce-assignment and local-function discovery tests

alexyorke
and
claude
committed
9bef698
Close several completion-analysis and reachability gaps in the analyzer

alexyorke
and
claude
committed
e5b41bd
Add SharpProof.Fuzz to the banned-API-scope architecture test

alexyorke
and
claude
committed
82babed
Resolve SharpProof.Fuzz's Tools/ subdirectory in architecture source-scanning tests

alexyorke
and
claude
committed
e73e770
Copy Resolve-SharpProofContainedPath.ps1 into the release-tag fixture checkout

alexyorke
and
claude
committed
adc94f1
Fix the last delegate-tracking gap: ignore flow-capture-only target references

alexyorke
and
claude
committed
4fd8f02
Recognize ref-field reads as ref-rebinding sources in ClassifyRegion

alexyorke
and
claude
committed
a38dd78
Fix effect reachability analysis for CI
alexyorke
committed
78196c0
Reject non-regular compiler manifests before opening
alexyorke
committed
7a6676c
Allow delayed supervisor output authentication
alexyorke
committed
8965cca
Authenticate supervisor cleanup before stdout EOF
alexyorke
committed
d1a4d92
Keep live supervisor cleanup pending
alexyorke
committed
97dc053
Give instrumented verifier cleanup more time
alexyorke
committed
c0db058
Scope extended cleanup reserve to worker launches
alexyorke
committed
56bd48a
Add fuzz project to coverage baseline
alexyorke
committed
bb1eeb5
Include fuzz in production coverage owners
alexyorke
committed
071d973
Map fuzz project in architecture checks
alexyorke
committed
f4a9f69
Allow fuzz assumption construction in architecture checks
alexyorke
committed
5bd82be
Stabilize instrumented supervisor deadline tests
alexyorke
committed
6a2b79b
Fix production coverage ownership
alexyorke
committed
387773e