research(mir): preregister structure feature noninferiority evidence - #1228

Draft

seonghobae wants to merge 217 commits into

bolt-performance-chart-export-13223013812255847379from

research/structure-noninferiority-1225

Commits on Sep 17, 2026

test(mir): lock structure noninferiority evidence contract
seonghobae
committed
11d181f
feat(mir): validate preregistered structure noninferiority evidence
seonghobae
committed
bbfa248
test(mir): require per-track structure evidence and deviations
seonghobae
committed
ff268eb
feat(mir): bind per-track structure evidence to preregistration
seonghobae
committed
7c2d0ad
docs(mir): doctor structure feature noninferiority gate
seonghobae
committed
0d32e17
docs(mir): place noninferiority record under traceability
seonghobae
committed
f25ba43
docs(mir): remove duplicate doctoring record
seonghobae
committed
6a51021
test(mir): freeze uncertainty plan and metric triplets
seonghobae
committed
677b309
test(mir): bound machine-readable evidence admission
seonghobae
committed
c164179
feat(mir): bind uncertainty plan and recognized metric receipts
seonghobae
committed
edfdcef
docs(mir): bind uncertainty and evidence admission
seonghobae
committed
ddb88a0
test(mir): reject relative local provenance paths
seonghobae
committed
4db2191
fix(mir): require explicit non-file provenance URIs
seonghobae
committed
028ee71
docs(mir): record provenance URI admission boundary
seonghobae
committed
e7490da
test(mir): reject silent failed-track acceptance
seonghobae
committed
4878960
fix(mir): fail closed on unregistered track failures
seonghobae
committed
102b572
docs(mir): make failed-track acceptance fail closed
seonghobae
committed
47d0932
test(mir): reject post-hoc measurement receipt fields
seonghobae
committed
65f012d
fix(mir): close measurement receipt schema
seonghobae
committed
8b5b8df
docs(mir): bind result measurement field set
seonghobae
committed
d7c65fd
test(mir): reject duplicate corpus audio identity
seonghobae
committed
8c8b60d
fix(mir): reject duplicate corpus audio identity
seonghobae
committed
71546ad
docs(mir): record corpus content-identity guard
seonghobae
committed
7a6327b
docs(mir): connect corpus identity guard to MIR de-duplication evidence
seonghobae
committed
f9e2edb
test(mir): reject aggregate receipts detached from track evidence
seonghobae
committed
23698b2
revert(mir): keep aggregation procedure scientifically undecided
seonghobae
committed
5953037
test(mir): reject unregistered evidence envelope fields
seonghobae
committed
c9cb23b
test(mir): cover nested result envelope drift
seonghobae
committed
515d189
fix(mir): close scientific evidence envelope schema
seonghobae
committed
4b2f1f3
docs(mir): close evidence envelope and preserve aggregation boundary
seonghobae
committed
8a60241
test(mir): close nested registration evidence objects
seonghobae
committed
dad6e22
fix(mir): close nested preregistration schema objects
seonghobae
committed
a43e2f3
docs(mir): document nested closed-world preregistration
seonghobae
committed
e69ee29
test(mir): reject post-result claim-boundary expansion
seonghobae
committed
ac81bf9
test(mir): bind result claim fixture to preregistration
seonghobae
committed
0c52e51
fix(mir): freeze claim boundary before structure experiment
seonghobae
committed
5bca92a
docs(mir): bind scientific claim scope to preregistration
seonghobae
committed
9416304
test(mir): preserve failed-track receipts without fake metrics
seonghobae
committed
efbadeb
test(mir): bind missing measurements to explicit track failure
seonghobae
committed
2308e13
fix(mir): admit failed tracks without fabricated measurements
seonghobae
committed
7c8dc8a
docs(mir): preserve real measurement failures without fake scores
seonghobae
committed
4e58ae7
test(mir): keep failed-track regression formatter-safe
seonghobae
committed
c4ed428
test(mir): reject measurements on failed-track receipts
seonghobae
committed
39eb3da
test(mir): reject summaries after track measurement failure
seonghobae
committed
5c6de3a
fix(mir): suppress invalid summaries after track failure
seonghobae
committed
643b09b
docs(mir): define failed-run null summary contract
seonghobae
committed
cc5261f
test(mir): expose normalized experiment identity mismatch
seonghobae
committed
240feb8
fix(mir): compare normalized preregistered experiment identity
seonghobae
committed
e0b897b
docs(mir): record normalized experiment identity binding
seonghobae
committed
76053a9
research(mir): admit local real-audio corpus bytes
seonghobae
committed
83e59f2
test(mir): guard real-audio corpus admission
seonghobae
committed
6a0c80f
docs(mir): trace local corpus admission evidence
seonghobae
committed
e1de498
test(mir): normalize runtime digest identity
seonghobae
committed
f3abb64
fix(mir): normalize registered runtime digests
seonghobae
committed
174c6d3
docs(mir): record canonical runtime hex identity
seonghobae
committed
3effa5a
test(mir): require immutable admitted audio snapshot
seonghobae
committed
1f65343
fix(mir): decode immutable admitted audio snapshot
seonghobae
committed
47184b8
test(mir): make snapshot mutation check portable
seonghobae
committed
f28764f
docs(mir): bind decode to immutable admitted snapshot
seonghobae
committed
647481b
test(mir): require admitted PCM handoff to runner
seonghobae
committed
af927bb
fix(mir): hand admitted PCM directly to experiment consumer
seonghobae
committed
813dd92
docs(mir): bind runner handoff to admitted PCM
seonghobae
committed
359b95d
test(mir): document corpus-admission contracts
seonghobae
committed
12fa14b
docs(mir): satisfy admission docstring gate
seonghobae
committed
692011d
test(mir): reject mutation of admitted annotation snapshot
seonghobae
committed
1e5aa12
fix(mir): detect consumer mutation of admitted annotations
seonghobae
committed
61a74d6
docs(mir): trace consumer mutation fail-closed boundary
seonghobae
committed
383cd57
test(mir): bind manifest size and bytes to one descriptor
seonghobae
committed
106d4e3
fix(mir): load admission manifest from one descriptor
seonghobae
committed
ad5daf3
docs(mir): trace single-descriptor manifest admission
seonghobae
committed
0c4e1b4
test(mir): reject dirty source identity for real-audio runs
seonghobae
committed
9861707
fix(mir): require clean registered source worktree
seonghobae
committed
4e8f3fa
docs(mir): bind experiments to clean registered source
seonghobae
committed
0e5ed41
test(mir): consolidate runtime source-identity policy
seonghobae
committed
5654096
test(mir): consolidate source identity into runtime policy
seonghobae
committed
bc0eb40
test(mir): require immutable admitted annotations
seonghobae
committed
59cb9dc
fix(mir): make admitted annotations intrinsically immutable
seonghobae
committed
62d7d0b
test(mir): consume immutable annotation views
seonghobae
committed
4da0bd9
docs(mir): record immutable annotation handoff
seonghobae
committed
8731ffb
test(mir): bind immutable PCM handoff to receipt digest
seonghobae
committed
e6a62f3
fix(mir): bind immutable PCM handoff to receipt identity
seonghobae
committed
5b0660e
docs(mir): bind PCM receipt identity to immutable handoff
seonghobae
committed
e6f3ba0
test(mir): reject unverifiable decoder receipts
seonghobae
committed
cd4818f
test(mir): expose PCM in admission fixture decoder
seonghobae
committed
f608508
fix(mir): require verifiable PCM for admission receipts
seonghobae
committed
4bd685a
docs(mir): close digest-only decoder evidence gap
seonghobae
committed
205ae80
test(mir): reject non-finite admitted PCM
seonghobae
committed
f453e9b
fix(mir): reject non-finite decoded PCM
seonghobae
committed
c87d980
style(mir): format non-finite PCM regression
seonghobae
committed
acf7adf
docs(mir): trace non-finite PCM admission boundary
seonghobae
committed
ae2cb08
test(mir): reject coerced decoded frame counts
seonghobae
committed
ea20efd
fix(mir): reject coerced decoded frame counts
seonghobae
committed
527fda5
docs(mir): trace strict decoder frame evidence
seonghobae
committed
7fac0fe
test(mir): require atomic receipt publication
seonghobae
committed
394e161
fix(mir): publish admission receipts atomically
seonghobae
committed
7941fd6
docs(mir): trace atomic receipt publication
seonghobae
committed
1e86c3b
style(mir): preserve source newline at EOF
seonghobae
committed
b48340b
docs(mir): record receipt publication follow-up
seonghobae
committed
2e046ba
test(mir): reject linked scientific evidence paths
seonghobae
committed
4275f92
fix(mir): refuse linked evidence inputs
seonghobae
committed
8f68c11
docs(mir): trace evidence no-follow admission
seonghobae
committed
b62bc82

Commits on Sep 18, 2026

test(mir): freeze functional-label evaluation semantics
seonghobae
committed
6f19315
fix(mir): preregister functional-label evaluation contract
seonghobae
committed
03b26bf
test(mir): align registrations with functional-label contract
seonghobae
committed
4936cef
test(mir): align corpus fixtures with label contract
seonghobae
committed
1839586
docs(mir): freeze functional-label ACC interpretation contract
seonghobae
committed
df33359
docs(mir): bind ACC frame and annotation semantics
seonghobae
committed
c083c37
docs(mir): explain best-effort cleanup boundaries
seonghobae
committed
ff8aa8d
test(mir): define normalized functional annotation parser contract
seonghobae
committed
cc4a166
feat(mir): parse preregistered functional annotation contract
seonghobae
committed
0ee4a6a
docs(mir): bind normalized annotation parser implementation
seonghobae
committed
87e0cde
docs(mir): distinguish local TSV from MIREX output format
seonghobae
committed
52b6c73
docs(mir): align local annotation format with MIREX authority
seonghobae
committed
c84d3ff
test(mir): freeze functional ACC frame-grid semantics
seonghobae
committed
73ddb08
test(mir): defer ACC frame-grid rule pending evaluator contract
seonghobae
committed
cd06926
docs(mir): record unresolved ACC frame-grid evaluator choice
seonghobae
committed
27304ac
test(mir): pin functional ACC to official evaluator grid
seonghobae
committed
6c20500
fix(mir): align functional ACC registration with official grid
seonghobae
committed
0f1e3e7
test(mir): align shared registration with official ACC
seonghobae
committed
86e6be0
test(mir): align corpus registration with official ACC
seonghobae
committed
02c73b1
docs(mir): bind ACC to official evaluator semantics
seonghobae
committed
7f221ea
test(mir): define official ACC runner parity
seonghobae
committed
5cffef1
feat(mir): add pinned functional ACC evaluator adapter
seonghobae
committed
e72b295
test(mir): consume canonical functional segment value object
seonghobae
committed
c84c0ac
refactor(mir): reuse parser-owned functional segment contract
seonghobae
committed
fe3ed61
docs(mir): make structure gate evaluator-current
seonghobae
committed
f03a6ce
docs(mir): record ACC evaluator adapter parity
seonghobae
committed
2b1aa6c
test(mir): require admitted-track paired functional accuracy
seonghobae
committed
b42297e
feat(mir): score paired ACC on admitted PCM handoff
seonghobae
committed
a3bfbe2
docs(mir): bind ACC to admitted-track paired consumer
seonghobae
committed
532b827
test(mir): require repository-owned paired feature lanes
seonghobae
committed
4a0a09d
feat(mir): parameterize structure chroma representation
seonghobae
committed
d9f7604
feat(mir): bind admitted PCM to CQT and STFT lanes
seonghobae
committed
3b5f82d
feat(mir): bind paired ACC to registered CQT-STFT lanes
seonghobae
committed
21eeb46
test(mir): freeze CQT-STFT hypothesis factory
seonghobae
committed
0b0f05f
docs(mir): trace registered CQT-STFT measurement lanes
seonghobae
committed
bd08323
fix(mir): make feature literal validation type-safe
seonghobae
committed
8147c2b
fix(mir): make registered feature literal type-safe
seonghobae
committed
eaadd47
test(mir): lock public lane feature propagation
seonghobae
committed
5d50999
test(mir): preregister boundary and repetition metric adapter
seonghobae
committed
3cdf045
feat(mir): add pinned boundary and repetition metric adapter
seonghobae
committed
e570c41
test(mir): isolate metric backend version identity
seonghobae
committed
93df1d4
docs(mir): trace boundary and repetition metric authority
seonghobae
committed
e4729c3
test(mir): require exact structure metric runtime lock
seonghobae
committed
37f3549
feat(mir): verify exact research metric runtime artifact
seonghobae
committed
8b49591
feat(mir): lock reviewed mir_eval research wheel
seonghobae
committed
2338832
test(mir): require admitted-track segmentation metric evidence
seonghobae
committed
fbb7c1d
refactor(mir): separate lock identity from installed runtime check
seonghobae
committed
59c271f
feat(mir): emit recognized metrics on admitted track evidence
seonghobae
committed
773ffd2
docs(mir): bind segmentation metric runtime and admitted-track evidence
seonghobae
committed
616a26e
style(mir): format admitted-track metric regression
seonghobae
committed
7f75895
style(mir): format metric runtime lock regression
seonghobae
committed
5798efb
style(mir): format structure metric runtime verifier
seonghobae
committed
90f3fa5
test(mir): preregister exact segmentation metric contract
seonghobae
committed
1ce7317
feat(mir): validate exact segmentation metric preregistration
seonghobae
committed
580f2af
test(mir): exercise metric-aware registration digest
seonghobae
committed
fd43da9
refactor(mir): make metric contract a digest envelope
seonghobae
committed
880e0db
refactor(mir): make metric-aware validator canonical
seonghobae
committed
cadba9b
test(mir): bind canonical digest to exact metric contract
seonghobae
committed
f961390
test(mir): cross-check preregistration against metric owners
seonghobae
committed
3df3694
docs(mir): trace metric-aware registration digest
seonghobae
committed
830fbfe
docs(mir): make preregistration digest semantics code-current
seonghobae
committed
9fdba32
test(mir): preregister paired track aggregation semantics
seonghobae
committed
4416e65
feat(mir): implement paired track bootstrap aggregation
seonghobae
committed
3b51825
feat(mir): bind aggregation and bootstrap semantics
seonghobae
committed
b40ad56
test(mir): bind aggregation owner to preregistration digest
seonghobae
committed
62ae2cd
test(mir): allow asymmetric percentile bootstrap intervals
seonghobae
committed
d297a66
fix(mir): preserve percentile bootstrap interval semantics
seonghobae
committed
aad0492
docs(mir): align bootstrap decision traceability
seonghobae
committed
69d97f6
test(mir): preserve percentile CI decision thresholds
seonghobae
committed
f866662
fix(test): satisfy percentile regression docstring gate
seonghobae
committed
c3f38db
test(mir): require canonical aggregation receipt binding
seonghobae
committed
aacb026
fix(mir): bind aggregate receipt to registered tracks
seonghobae
committed
5f47924
test(mir): make result fixtures canonical bootstrap receipts
seonghobae
committed
4cdcf19
fix(mir): bind percentile evidence to canonical bootstrap
seonghobae
committed
da51a8a
test(mir): separate percentile compatibility from receipt admission
seonghobae
committed
5f698c4
test(mir): derive threshold failures from canonical track evidence
seonghobae
committed
59d9c30
docs(mir): trace canonical result receipt binding
seonghobae
committed
40922f8
docs(mir): bind result admission and remaining timing gap
seonghobae
committed
eb7736f
test(mir): preregister lane latency and RSS contract
seonghobae
committed
6fcc9e9
feat(mir): implement isolated latency and peak RSS measurement
seonghobae
committed
0b80bc2
feat(mir): bind performance measurement semantics to registration
seonghobae
committed
3877adc
test(mir): require performance evidence on admitted track
seonghobae
committed
bf905c7
feat(mir): bind isolated performance evidence to admitted tracks
seonghobae
committed
f06f1dc
test(mir): align metric contract fixture with performance owner
seonghobae
committed
a05c345
fix(mir): remove unused resource-measurement import
seonghobae
committed
6d49d7a
test(mir): isolate focused metric test from platform performance worker
seonghobae
committed
11c59ad
docs(mir): trace performance measurement contract
seonghobae
committed
c1fc867
docs(mir): make noninferiority gate performance-code-current
seonghobae
committed
7445f22
test(mir): require canonical track-result receipt producer
seonghobae
committed
00d4efa
feat(mir): build result tracks from canonical admitted evidence
seonghobae
committed
334a78c
test(mir): bind result fixture to exact metric runtime
seonghobae
committed
5b380a8
docs(mir): bind canonical track receipt provenance
seonghobae
committed
7d3529b
test(mir): require bound execution host identity
seonghobae
committed
7a90b92
feat(mir): bind experiment execution to exact host profile
seonghobae
committed
70b8602
test(mir): reject free-form execution host labels
seonghobae
committed
f1a6971
fix(mir): validate execution host contract before admission
seonghobae
committed
a31bebd
test(mir): bind host label rejection to execution gate
seonghobae
committed
7b07c00
docs(mir): trace exact experiment host and execution contract
seonghobae
committed
7d3c28d
style(mir): format canonical execution runner
seonghobae
committed
e99ccec

Commits on Sep 21, 2026

Commits on Sep 22, 2026

fix(mir): remove residual Ruff import ambiguity
seonghobae
committed
6cdea53
fix(research): sort functional-label policy imports
seonghobae
committed
823cd35
chore(research): adopt canonical Ruff prerequisite
seonghobae
committed
715dc1a

Commits on Sep 23, 2026

repair(mir): apply hosted Ruff import grouping
seonghobae
committed
7eb2b9d