feat(cf13): ship deterministic quality gate - #32

Merged

TheHalfMoon merged 23 commits into

mainfrom

feat/cf13-quality-gate-cli

Aug 26, 2026

Commits on Aug 26, 2026

feat(cf13): add gate CLI execution module
TheHalfMoon
committed
6e87e6a
feat(cf13): wire commandf gate CLI
TheHalfMoon
committed
e5f7f0d
test(cf13): add gate parse exit contract
TheHalfMoon
committed
75ba99e
test(cf13): add gate end-to-end regressions
TheHalfMoon
committed
a4370d6
test(cf13): add deterministic gate proof
TheHalfMoon
committed
c1f2fc9
ci(cf13): add deterministic quality-gate proof
TheHalfMoon
committed
e832a40
style(cf13): apply rustfmt to gate behavior tests
TheHalfMoon
committed
7fbd2fd
style(cf13): apply rustfmt to gate proof
TheHalfMoon
committed
64aa2f9
test(cf13): prove exact suppression membership
TheHalfMoon
committed
701f2fe
test(cf13): replace incomplete suppression regression
TheHalfMoon
committed
cf477ec
style(cf13): apply rustfmt to gate regression
TheHalfMoon
committed
4069bc0
ci(cf13): run renamed gate behavior target
TheHalfMoon
committed
a620d3e
fix(cf13): bound verified cache reads
TheHalfMoon
committed
1683f63
fix(cf13): bound and bind primary gate inputs
TheHalfMoon
committed
1373074
fix(cf13): bind proof to exact source head
TheHalfMoon
committed
8ff2cad
test(cf13): prove bounded gate inputs
TheHalfMoon
committed
d928f97
style(cf13): apply rustfmt to bounded gate loader
TheHalfMoon
committed
e2647dd
style(cf13): apply rustfmt to gate bounds regression
TheHalfMoon
committed
f82612c
ci(cf13): use safe-directory for proof provenance
TheHalfMoon
committed
c7d7332
test(cf13): cover oversized optional gate inputs
TheHalfMoon
committed
08c5072
fix(cf13): correct oversized-input test fixture
TheHalfMoon
committed
49c78bd
test(cf13): cover oversized suppression input
TheHalfMoon
committed
bdf34d7
test(cf13): consolidate optional input bounds coverage
TheHalfMoon
committed
06da4f3

Navigation Menu

feat(cf13): ship deterministic quality gate - #32

feat(cf13): ship deterministic quality gate#32
TheHalfMoon merged 23 commits into
mainfrom
feat/cf13-quality-gate-cli

Commits on Aug 26, 2026

feat(cf13): add gate CLI execution module

feat(cf13): wire commandf gate CLI

test(cf13): add gate parse exit contract

test(cf13): add gate end-to-end regressions

test(cf13): add deterministic gate proof

ci(cf13): add deterministic quality-gate proof

style(cf13): apply rustfmt to gate behavior tests

style(cf13): apply rustfmt to gate proof

test(cf13): prove exact suppression membership

test(cf13): replace incomplete suppression regression

style(cf13): apply rustfmt to gate regression

ci(cf13): run renamed gate behavior target

fix(cf13): bound verified cache reads

fix(cf13): bound and bind primary gate inputs

fix(cf13): bind proof to exact source head

test(cf13): prove bounded gate inputs

style(cf13): apply rustfmt to bounded gate loader

style(cf13): apply rustfmt to gate bounds regression

ci(cf13): use safe-directory for proof provenance

test(cf13): cover oversized optional gate inputs

fix(cf13): correct oversized-input test fixture

test(cf13): cover oversized suppression input

test(cf13): consolidate optional input bounds coverage