이경민 Kyeongmin
  • Joined on 2025-12-30
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:32:46 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #6] Stage 3 code-edit — IMP-#85 unit u5 (catalog invariant regression coverage + fixture YAMLs)

Executing unit: u5

unit_executed

  • id: u5
  • summary: Append IMP-#85 regression…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:27:13 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #5] Stage 3 code-edit verification - IMP-#85 unit u4

Verified only the single executed unit u4.

Result: u4 is correct. lookup_v4_candidates now filters visual_pending: true

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:25:08 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #5] Stage 3 code-edit — IMP-#85 unit u4 (lookup_v4_candidates visual_pending filter)

Executing unit: u4

unit_executed

  • id: u4
  • summary: Filter visual_pending: true frames from…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:20:17 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #4] Stage 3 code-edit verification - IMP-#85 unit u3b

Verified only the single executed unit u3b.

Result: u3b is correct. The audit CLI now includes I4 slot payload reference checking…

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:18:18 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #4] Stage 3 code-edit — IMP-#85 unit u3b (audit CLI invariant I4 slot_payload refs)

Executing unit: u3b

unit_executed

  • id: u3b
  • summary: Extend the audit CLI with **I4 slot_payload…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:09:04 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #3] Stage 3 code-edit verification - IMP-#85 unit u3a

Verified only the single executed unit u3a.

Result: u3a is correct. The new scripts/audit_frame_invariants.py CLI covers I1…

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:06:16 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #3] Stage 3 code-edit — IMP-#85 unit u3a (audit CLI invariants I1-I3)

Executing unit: u3a

unit_executed

  • id: u3a
  • summary: Add offline audit CLI (`scripts/audit_frame_invariants.py…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:02:20 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #2] Stage 3 code-edit verification - IMP-#85 unit u2

Verified only the single executed unit u2.

Result: u2 is correct. load_frame_contracts() now runs a catalog builder invariant…

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 15:01:01 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #2] Stage 3 code-edit — IMP-#85 unit u2 (load_frame_contracts catalog builder invariant)

Executing unit: u2

unit_executed

  • id: u2
  • summary: load_frame_contracts runs a catalog…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:56:17 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #1] Stage 3 code-edit verification - IMP-#85 unit u1

Verified only the single executed unit u1.

Result: u1 is correct. The mapper now defines BuilderMissingError as a FitError

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:55:04 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #1] Stage 3 code-edit — IMP-#85 unit u1 (mapper BuilderMissingError as FitError subclass)

Executing unit: u1

unit_executed

  • id: u1
  • summary: Mapper missing-builder dispatch raises…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:50:02 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #11] Stage 2 simulation-plan verification - IMP-85

=== IMPLEMENTATION_UNITS ===

  • id: u1 summary: Mapper missing-builder dispatch raises BuilderMissingError as a FitError subclass,…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:46:28 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #11] Stage 2 simulation-plan Round #1 (post-rewind) — IMP-85 (Codex #10 u7 deterministic full-test env)

=== IMPLEMENTATION_UNITS ===

  • id: u1 summary: BuilderMissingError(FitError)
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:37:52 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #10] Stage 2 simulation-plan review - IMP-85

=== IMPLEMENTATION_UNITS === reviewed:

  • id: u1 verdict: ok note: BuilderMissingError(FitError) is the narrow mapper-side fix and…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:34:38 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #10] Stage 2 simulation-plan Round #1 (post-rewind) — IMP-85 (Codex #9 u7 env fix)

u7 subprocess env now forces AI_FALLBACK_ENABLED=false (overrides .env:4 via pydantic-settings OS-env…

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:28:11 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #9] Stage 2 simulation-plan review - IMP-85

=== IMPLEMENTATION_UNITS === reviewed:

  • id: u1 verdict: ok note: BuilderMissingError(FitError) is the narrow mapper-side crash-stop…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:24:16 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #9] Stage 2 simulation-plan Round #1 — IMP-85 catalog↔contract↔builder invariant + runtime gate

Codex #8 fix: u7 subprocess smoke MUST assert returncode == 0 for mdx03/04/05 per…

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:20:38 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #8] Stage 2 simulation-plan review - IMP-85

=== IMPLEMENTATION_UNITS === reviewed:

  • id: u1 verdict: ok note: BuilderMissingError(FitError) is the narrow mapper-side crash-stop…
Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:16:26 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Claude #8] Stage 2 simulation-plan Round #4 — IMP-85 catalog↔contract↔builder invariant + runtime gate

Codex #7 fix: add u7 fresh-run subprocess smoke (mdx03+mdx04+mdx05) — issue guardrail…

Kyeongmin commented on issue Kyeongmin/C.E.L_Slide_test2#85 2026-05-23 14:08:44 +09:00
IMP — catalog ↔ contract ↔ builder invariant + runtime gate (mdx04 hard crash 차단)

[Codex #7] Stage 2 simulation-plan review - IMP-85

=== IMPLEMENTATION_UNITS === reviewed:

  • id: u1 verdict: ok note: BuilderMissingError(FitError) remains the narrow mapper-side…