feat(006): add T079 bounded Codex connected proof - #80

Open

TheHalfMoon wants to merge 55 commits into

mainfrom

impl/006-t079-bounded-codex-connected-proof

Commits on Aug 21, 2026

feat(006): add bounded T079 Codex requests
TheHalfMoon
committed
36e1744
test(006): add bounded T079 connected proof
TheHalfMoon
committed
3471256
test(006): register T079 connected proof
TheHalfMoon
committed
0334153
fix(006): restore canonical main registration baseline
TheHalfMoon
committed
fa5c4f3
test(006): register T079 focused proof
TheHalfMoon
committed
9640699
fix(006): tighten T079 version parsing
TheHalfMoon
committed
8a33152
style(006): rustfmt T079 connected proof
TheHalfMoon
committed
864b3b6
style(006): rustfmt T079 protocol additions
TheHalfMoon
committed
372b264
fix(006): satisfy T079 Clippy event handling
TheHalfMoon
committed
933d6da
fix(006): isolate T079 Codex environment surface
TheHalfMoon
committed
891e5c8
test(006): prove T079 environment isolation
TheHalfMoon
committed
475d241
style(006): terminate T079 test source cleanly
TheHalfMoon
committed
a64a254
style(006): rustfmt T079 Codex isolation
TheHalfMoon
committed
6c7c056
style(006): rustfmt T079 connected proof
TheHalfMoon
committed
081998e
fix(006): reconcile T079 independent review findings
TheHalfMoon
committed
6911eb3
style(006): rustfmt T079 review reconciliation
TheHalfMoon
committed
dac222f
fix(006): gate T079 proof builders to tests
TheHalfMoon
committed
7ab0def
fix(006): reconcile T079 cleanup review findings
TheHalfMoon
committed
005172c
style(006): rustfmt T079 cleanup repair
TheHalfMoon
committed
5ee3eba
fix(006): isolate T079 Codex launch environment
TheHalfMoon
committed
02be977
style(006): rustfmt T079 launch isolation
TheHalfMoon
committed
ab05100

Commits on Aug 22, 2026

fix(006): bind T079 launch identity fail closed
TheHalfMoon
committed
46008bf
style(006): rustfmt T079 handle binding
TheHalfMoon
committed
abeacfd
fix(006): keep T079 cleanup bounded
TheHalfMoon
committed
96a050d
fix(006): clarify retained T079 executable handle
TheHalfMoon
committed
86412a9
fix(006): apply rustfmt to T079 handle rename
TheHalfMoon
committed
a14b4db
fix(006): close T079 prelaunch and process-scope gaps
TheHalfMoon
committed
c9a9e73
fix(006): apply rustfmt to T079 process-scope repair
TheHalfMoon
committed
a5e8069
fix(006): bound T079 readers and deny process descendants
TheHalfMoon
committed
ebc7523
fix(006): correct T079 regression delimiter
TheHalfMoon
committed
32cfb60
fix(006): apply rustfmt to T079 descendant regression
TheHalfMoon
committed
0bffbe6
fix(006): scope Clippy allow to T079 process include
TheHalfMoon
committed
a869b5b
fix(006): gate T079 Stdio import to Linux
TheHalfMoon
committed
0cbdca6
fix(006): keep T079 proof roots outside checkout
TheHalfMoon
committed
d94beef
style(006): rustfmt T079 checkout-safety repair
TheHalfMoon
committed
c3d2c75
noop
TheHalfMoon
committed
42fcf5f
repair(006): restore T079 exact tree after accidental metadata write
TheHalfMoon
committed
cbc771f
fix(006): reconcile Codex 0.149 default config evidence
TheHalfMoon
committed
e9128eb
fix(006): reject every unknown Codex config key
TheHalfMoon
committed
b09b480
fix(006): bind Codex 0.149 feature defaults exactly
TheHalfMoon
committed
65dc30e
fix(006): bind full Codex 0.149 config surface
TheHalfMoon
committed
c1bb00a
fix(006): fail closed on unknown Codex notifications
TheHalfMoon
committed
379627c
fix(006): bound T079 nested notification shapes
TheHalfMoon
committed
cbca6bd

Commits on Aug 23, 2026

fix(006): bind T079 pre-response notification identity
TheHalfMoon
committed
4ef65b8
style(006): apply rustfmt to T079 ordering repair
TheHalfMoon
committed
9dc110d
fix(006): clear failed T079 request phase state
TheHalfMoon
committed
46eebaf
style(006): apply rustfmt to T079 error regression
TheHalfMoon
committed
f4c1042
fix(006): validate T079 nested field shapes
TheHalfMoon
committed
0526260
fix(006): restore T079 JSON fixtures
TheHalfMoon
committed
8f4dac6
style(006): apply rustfmt to T079 nested-shape repair
TheHalfMoon
committed
0944893
fix(006): require complete T079 protocol shapes
TheHalfMoon
committed
6ac22a1
style(006): apply rustfmt to T079 required-shape repair
TheHalfMoon
committed
8d997bf
fix(006): tighten T079 notification value validation
TheHalfMoon
committed
0a17c74
style(006): apply rustfmt to T079 value validation repair
TheHalfMoon
committed
82cd9d5
fix(006): require unsigned T079 reasoning indices
TheHalfMoon
committed
88a3b7c