Measure where HermitCrab's time actually goes, across 33 grammars - #488

Closed

johnml1135 wants to merge 15 commits into

integrate-conformance-frameworkfrom

feature/synthesis-fold-probes

Commits on Aug 26, 2026

docs+port: synthesis-fold probe plan, on the conformance grammar set

johnml1135
and
claude
committed
0a17e71
P1 probe: instrument Morpher.Synthesize for wall-time split, die-point histogram, fold-step fingerprint
johnml1135
committed
ee4505f
P1 probe: add the [Explicit] harness; fix a set-vs-value bug in the determinism check
johnml1135
committed
b8352e2
docs: P1 conformance-breadth results -- fold sharing is real and typology-dependent

johnml1135
and
claude
committed
71509a8
docs: Sena P1 results, and correct the metric to ratio x synthesis-share

johnml1135
and
claude
committed
4c92061

Commits on Aug 27, 2026