OZ-RT-BZ-T3-010-C: exact shared-coefficient extraction gate - #430

Draft

fyremael wants to merge 69 commits into

agent/oz-rt-bz-t3-010-bfrom

agent/oz-rt-bz-t3-010-c

Commits on Aug 11, 2026

Commits on Aug 12, 2026

OZ T3-011-A: declare bounded cokernel-guided lift class
fyremael
committed
0e4c041
OZ T3-011-A: add exact cokernel-guided lift producer
fyremael
committed
7780342
OZ T3-011-A: add independent cokernel lift verifier
fyremael
committed
ae95ef8
OZ T3-011-A: add bounded lift and mutation tests
fyremael
committed
0b6a547
OZ T3-011-A: register governed producer and verifier replays
fyremael
committed
c7bdd6c
Merge PR #446: OZ-RT-BZ-T3-011-A
fyremael
authored
862f768
OZ T3-011-B: add bounded nonzero-response lift contract
fyremael
committed
2a0ccb7
OZ T3-011-B: add exact nonzero-response lift producer
fyremael
committed
7e4a02d
OZ T3-011-B: add independent nonzero-response lift verifier
fyremael
committed
cd15f4d
OZ T3-011-B: add bounded gate tests
fyremael
committed
5d2a473
OZ T3-011-B: register governed producer and verifier replays
fyremael
committed
969740b
OZ T3-011-B: document execution boundary
fyremael
committed
9ae390b
OZ T3-011-B: bind result ledger semantics
fyremael
committed
4007b90
OZ T3-011-B: finalize implementation branch marker
fyremael
committed
dcbaef1
OZ T3-011-B: add bounded replay runbook
fyremael
committed
f02ee5a
OZ T3-011-B: bind successor authority
fyremael
committed
63d22f8
Merge branch 'agent/oz-rt-bz-t3-010-b' into agent/oz-rt-bz-t3-010-c
fyremael
authored
dac95d2
Merge branch 'agent/oz-rt-bz-t3-010-c' into agent/oz-rt-bz-t3-011-b
fyremael
authored
7876a44

Commits on Aug 13, 2026

Merge pull request #487 from grandchallenge/agent/oz-rt-bz-t3-011-b
fyremael
authored
f8dc03a
OZ T3-011-C: freeze audit authority
fyremael
committed
e3e9148
OZ T3-011-C: add audit contract
fyremael
committed
f315753
OZ T3-011-C: add direct response audit producer
fyremael
committed
cc89144
OZ T3-011-C: add independent audit verifier
fyremael
committed
461dd50
OZ T3-011-C: document bounded audit
fyremael
committed
c7867c1
OZ T3-011-C: record authority boundary
fyremael
committed
db975c0
OZ T3-011-C: add adversarial audit tests
fyremael
committed
7644c43
OZ T3-011-C: add replay runbook
fyremael
committed
6663468
OZ T3-011-C: document result ledger
fyremael
committed
d47e340
OZ T3-011-C: bind replay registration obligation
fyremael
committed
fc29a34
OZ T3-011-C: preserve draft review gate
fyremael
committed
a72b32f
OZ T3-011-C: record implementation status
fyremael
committed
5a8a296
OZ T3-011-C: register governed replays
fyremael
committed
b1e063f
OZ T3-011-C: reconstruct exact active-cell verifier domain
fyremael
committed
e247a69
OZ T3-011-C: canonicalize shifted coordinate additively
fyremael
committed
88da963
OZ T3-011-C: mirror additive coordinate normalization in verifier
fyremael
committed
3c54968
OZ T3-011-C: compare exact rational-function normal forms
fyremael
committed
1d91ffe
OZ T3-011-C: independently verify rational-function normal forms
fyremael
committed
96eccae
OZ T3-011-C: bind exact semantic normal form
fyremael
committed
1f8b1ca
OZ T3-011-C: test exact semantic normalization
fyremael
committed
67b13c6
OZ T3-011-C: document semantic versus representation digests
fyremael
committed
a24b1f4
Merge pull request #496 from grandchallenge/agent/oz-rt-bz-t3-011-c
fyremael
authored
6ee10e9
OZ-RT-BZ-T3-011-D: add quadratic cokernel scan producer
fyremael
committed
d19535d
OZ-RT-BZ-T3-011-D: add independent quadratic verifier
fyremael
committed
ca6ef9f
OZ-RT-BZ-T3-011-D: add bounded quadratic contract
fyremael
committed
ef1bdf0
OZ-RT-BZ-T3-011-D: add fail-closed quadratic tests
fyremael
committed
c06fc30
OZ-RT-BZ-T3-011-D: add operation README
fyremael
committed
d40313e
OZ-RT-BZ-T3-011-D: register governed producer and verifier replays
fyremael
committed
98d8069
OZ-RT-BZ-T3-011-D: bind mathematical authority
fyremael
committed
6b71f60
OZ-RT-BZ-T3-011-D: add governed replay runbook
fyremael
committed
2527315
OZ-RT-BZ-T3-011-D: independently reconstruct frozen witness and pairings
fyremael
committed
ac3d13b
OZ-RT-BZ-T3-011-D: conform adversarial replay to unittest contract
fyremael
committed
64e44f3
Repair T3-011-D verifier active-cell reconstruction
fyremael
committed
5fecbf6
OZ-RT-BZ-T3-011-D: certify quadratic response class invisible (#500)
fyremael
authored
956d5a8
OZ-RT-BZ-T3-011-E: add structural polynomial closure producer
fyremael
committed
fd45c82
OZ-RT-BZ-T3-011-E: add independent closure verifier
fyremael
committed
2d02b1a
OZ-RT-BZ-T3-011-E: add closure audit contract
fyremael
committed
a456521
OZ-RT-BZ-T3-011-E: document structural closure route
fyremael
committed
2e4c4c4
OZ-RT-BZ-T3-011-E: bind authority and non-widening firewall
fyremael
committed
036aa35
OZ-RT-BZ-T3-011-E: add governed runbook
fyremael
committed
511fc56
OZ-RT-BZ-T3-011-E: add exact independent replay tests
fyremael
committed
bd5fb11
OZ T3-011-E: add canonical affine factor adapter
fyremael
committed
be9ee58
OZ T3-011-E: replace factor wiring test
fyremael
committed
af5a82f
OZ T3-011-E: wire canonical factors and expose terminal
fyremael
committed
18d6e84
Merge pull request #506 from grandchallenge/agent/oz-rt-bz-t3-011-e
fyremael
authored
cd96733