Trace cmp substrate - #54

Open

twof wants to merge 58 commits into

doordash-oss:mainfrom

twof:trace-cmp-substrate

Commits on Jun 12, 2026

refactor!: mutators emit a single value per call (#41)

twof
and
claude
committed
acb866b
feat!: engine-owned mutation pool (WeightedPool scheduler)

twof
and
claude
committed
1743baf
feat: feature-ownership culling as a pool admission policy

twof
and
claude
committed
d95504b
feat: Entropic energy scheduler as a pool weight advisor

twof
and
claude
committed
e645937
feat: strategy-defined ledger features (pathTrie k-grams, hcb edge-buckets)

twof
and
claude
committed
babdce5
feat: pathTrie(gramLength: nil) opts out of the gram vocabulary

twof
and
claude
committed
221bb3d
feat: pool capacity bound (ghost-owner eviction on overflow)

twof
and
claude
committed
7ff6c2e
feat: real input-size metric for REDUCE and capacity eviction

twof
and
claude
committed
07d99a2
feat: edge culling is every strategy's default vocabulary (grams stay opt-in)

twof
and
claude
committed
210fdea

Commits on Jun 13, 2026

feat: trace-cmp C hooks — per-context comparison recorders

twof
and
claude
committed
d059a29
feat: comparisonCoverage strategy + ComparisonObserver bridge

twof
and
claude
committed
0d7d757
docs: comparisonCoverage measured to under-perform newEdge (corpus bloat)

twof
and
claude
committed
690b295
feat: input-to-state mutation off the trace-cmp operands

twof
and
claude
committed
ea4c6f4
feat: boundary-distance ownership (closest-witness culling on the value axis)

twof
and
claude
committed
f454f7e

Commits on Jun 15, 2026

feat: adaptive-depth pool policy (tuned) + SchedulerProbe + flaky-test fix

twof
and
claude
committed
9f92939
fix: cmp-dispatch re-entry guard (stack-overflow crash) + global ever-covered diagnostic

twof
and
claude
committed
26c0fd4
feat: joint boundary-state vocabulary (.boundaryState + boundaryStateOwnership)

twof
and
claude
committed
0b67469
feat: boundary-state sign mask (per-site side-set across loop hits)

twof
and
claude
committed
fc2f796
feat: PTK_SIGN_BLOWUP diagnostic — pairwise vs full-product vocab size

twof
and
claude
committed
6e6ab63
perf: open-addressing accumulator for the boundary cmp hot path (2.7x)

twof
and
claude
committed
9aa2762
tools: headless cmp-dispatch profiling pipeline

twof
and
claude
committed
0339fa1
perf: coalesce per-comparison TLS into one struct (cmp-path tlv_get_addr 24.5%→14.6%)

twof
and
claude
committed
cac8906
perf: lock-free cmp accumulator + elide per-comparison ARC (cmp overhead 61.5%→40.5% of process)

twof
and
claude
committed
bef33a5
diag: env-gated per-comparison census (PTK_CMP_CENSUS) for cmp-volume analysis

twof
and
claude
committed
ed8e8ca
feat: comparison drop filter (PTK_CMP_DROP_SYNTHESIZED) for trace-cmp strategies

twof
and
claude
committed
b53763d
feat: enable the comparison drop filter by default (opt out with =0)

twof
and
claude
committed
a8e43d8
perf: run the cmp drop check before the TLS fetch (skip tlv_get_addr on drops)

twof
and
claude
committed
512f9a2
perf: kill per-iteration allocation in boundaryState decide (1.6× throughput)

twof
and
claude
committed
b39b7a6
perf: replace the Set<UInt32> edge-coverage union with a test-and-set bitmap

twof
and
claude
committed
c4d93f2
perf: no-SipHash FeatureHashSet for seenSigns/seenFeatures (drops ~5.6pt of CPU)

twof
and
claude
committed
149c2e4
perf: suppress coverage dispatch during input generation/mutation

twof
and
claude
committed
4e6ab2f

Commits on Jun 16, 2026

perf: excise locks from the coverage-strategy hot path (Finding 42)

twof
and
claude
committed
ae40c9e
perf: gate sancov_dispatch_cmp on a global cmp-recorder count

twof
and
claude
committed
e691319
perf: check cmp-recorder gate before the drop filter (edge-only freebie)

twof
and
claude
committed
a21b04c
chore(atomics): funnel atomic storage through an AtomicRep typealias

twof
and
claude
committed
cb712b1
fix(sancov): survive a freed task-local chain head in the inheritance walk

twof
and
claude
committed
a67ba8b
fix(test): inject the WeightedPool draw RNG to kill the EntropicPolicy flake

twof
and
claude
committed
c3f286c
perf(boundary): distance-only accumulator; drop the sign vocabulary

twof
and
claude
committed
88e6bef
chore: sync Xcode project, drop jemalloc pin, harden profiling script

twof
and
claude
committed
0443e6f

Commits on Jun 17, 2026

build: add in-repo LLVM pass plugins for compile-time coverage instrumentation

twof
and
claude
committed
27aaa64
build: load coverage pass plugins in all instrumented targets

twof
and
claude
committed
96604fd
refactor: delete runtime edge + cmp filters (now done at compile time)

twof
and
claude
committed
08b0a9d
feat: compose coverage strategies so cmp and edge channels mix-and-match

twof
and
claude
committed
4a71968
perf: default pool admission to featureOwnership (culling), not everyDiscovery

twof
and
claude
committed
06d5799

Commits on Jun 19, 2026

feat: re-port trace-cmp substrate onto the scheduler-owned engine (source)

twof
and
claude
committed
30daa8f
test: port trace-cmp test suites to the scheduler-owned API; finish two grafts

twof
and
claude
committed
200fbc4
chore: regenerate Xcode project for the trace-cmp file set

twof
and
claude
committed
a4927a1
test: deterministic stop for the pool-less scheduler test (kill wall-clock flake)

twof
and
claude
committed
f8baa44
add perf parsing script
twof
committed
cf7cf0d
feat: generic OwnershipLedger + edge/boundary evaluators (Signal/Evaluator/Ledger)

twof
and
claude
committed
7706d6c
refactor: featureOwnership drives evaluators+ledger; delete the parallel cmp path

twof
and
claude
committed
84686ae
refactor: demote coverageStrategy — the scheduler vends its instrumentation providers

twof
and
claude
committed
d7c64da
test: cmp as a scheduler-vended signal culled through the unified ledger (Phase 3)

twof
and
claude
committed
b43ab05

Commits on Jun 20, 2026

refactor: restore MutationScheduler as the intended wrapper struct (no compiler bug)

twof
and
claude
committed
77f4480
refactor: build the corpus at run-end from the scheduler's retained set (B′)

twof
and
claude
committed
5d846a6
refactor: corpus is now purely the scheduler's retained set; drop submitToCorpus

twof
and
claude
committed
510c8eb
refactor: delete the Corpus class; corpus is only CorpusSnapshot now

twof
and
claude
committed
1c4f840
Merge signal-evaluator-ledger into trace-cmp-substrate (SEL supersedes)

twof
and
claude
committed
8ebacfd