InitusNovus
diff --git a/‎.config/dotnet-tools.json‎
Lines changed: 12 additions & 0 deletions b/‎.config/dotnet-tools.json‎
Lines changed: 12 additions & 0 deletions
diff --git a/‎.gitignore‎
Lines changed: 7 additions & 1 deletion b/‎.gitignore‎
Lines changed: 7 additions & 1 deletion
diff --git a/‎.sisyphus/boulder.json‎
Lines changed: 6 additions & 0 deletions b/‎.sisyphus/boulder.json‎
Lines changed: 6 additions & 0 deletions
diff --git a/‎AGENTS.md‎
Lines changed: 32 additions & 3 deletions b/‎AGENTS.md‎
Lines changed: 32 additions & 3 deletions
diff --git a/‎ROADMAP.md‎
Lines changed: 43 additions & 2 deletions b/‎ROADMAP.md‎
Lines changed: 43 additions & 2 deletions
diff --git a/‎Report/20260212_1310_C1_C2_Critical_수정.md‎ ‎…ports/20260212_1310_C1_C2_Critical_수정.md‎Report/20260212_1310_C1_C2_Critical_수정.md renamed to Reports/20260212_1310_C1_C2_Critical_수정.md b/‎Report/20260212_1310_C1_C2_Critical_수정.md‎ ‎…ports/20260212_1310_C1_C2_Critical_수정.md‎Report/20260212_1310_C1_C2_Critical_수정.md renamed to Reports/20260212_1310_C1_C2_Critical_수정.md
diff --git a/‎…0212_1323_CodegenTests_Windows_호환성_수정.md‎ ‎…0212_1323_CodegenTests_Windows_호환성_수정.md‎Report/20260212_1323_CodegenTests_Windows_호환성_수정.md renamed to Reports/20260212_1323_CodegenTests_Windows_호환성_수정.md b/‎…0212_1323_CodegenTests_Windows_호환성_수정.md‎ ‎…0212_1323_CodegenTests_Windows_호환성_수정.md‎Report/20260212_1323_CodegenTests_Windows_호환성_수정.md renamed to Reports/20260212_1323_CodegenTests_Windows_호환성_수정.md
diff --git a/‎…rt/20260212_1352_Core_테스트_H1c_H1g_H3c.md‎ ‎…ts/20260212_1352_Core_테스트_H1c_H1g_H3c.md‎Report/20260212_1352_Core_테스트_H1c_H1g_H3c.md renamed to Reports/20260212_1352_Core_테스트_H1c_H1g_H3c.md b/‎…rt/20260212_1352_Core_테스트_H1c_H1g_H3c.md‎ ‎…ts/20260212_1352_Core_테스트_H1c_H1g_H3c.md‎Report/20260212_1352_Core_테스트_H1c_H1g_H3c.md renamed to Reports/20260212_1352_Core_테스트_H1c_H1g_H3c.md
diff --git a/‎…rt/20260212_1405_H2_Generator_Core_통합.md‎ ‎…ts/20260212_1405_H2_Generator_Core_통합.md‎Report/20260212_1405_H2_Generator_Core_통합.md renamed to Reports/20260212_1405_H2_Generator_Core_통합.md b/‎…rt/20260212_1405_H2_Generator_Core_통합.md‎ ‎…ts/20260212_1405_H2_Generator_Core_통합.md‎Report/20260212_1405_H2_Generator_Core_통합.md renamed to Reports/20260212_1405_H2_Generator_Core_통합.md
diff --git a/‎Report/20260212_1418_M2_M3_M4_코드품질개선.md‎ ‎Reports/20260212_1418_M2_M3_M4_코드품질개선.md‎Report/20260212_1418_M2_M3_M4_코드품질개선.md renamed to Reports/20260212_1418_M2_M3_M4_코드품질개선.md b/‎Report/20260212_1418_M2_M3_M4_코드품질개선.md‎ ‎Reports/20260212_1418_M2_M3_M4_코드품질개선.md‎Report/20260212_1418_M2_M3_M4_코드품질개선.md renamed to Reports/20260212_1418_M2_M3_M4_코드품질개선.md
@@ -0,0 +1,12 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "dotnet-reportgenerator-globaltool": {
+      "version": "5.4.5",
+      "commands": [
+        "reportgenerator"
+      ]
+    }
+  }
+}
@@ -62,11 +62,17 @@ Thumbs.db
 tmp/stress_reports/
 analysis/
 
+# Python cache
+__pycache__/
+*.py[cod]
+
 # Backups/archives
 *.zip
 *.tar
 *.tar.gz
 *.tgz
 *.bak
 backup/
-*_backup/
+*_backup/
+TestResults/
+coverage_report/
@@ -0,0 +1,6 @@
+{
+  "active_plan": null,
+  "last_completed": "b-o2-oracle-multiplex-mode",
+  "completed_at": "2026-03-12T18:30:00.000Z",
+  "session_ids": ["ses_3202f0dc6ffeq1KOCfT7Cmzp9E"]
+}
@@ -194,14 +194,30 @@ let ``Validation fails for duplicate message IDs`` () =
 - **Do not modify test framework** — xUnit + FsUnit is the standard; keep assertions idiomatic
 - **Mutable state** only in parsing/IO-bound code where it improves clarity
 
+## Evidence & Source-of-Truth
+
+- **Primary evidence**: actual repository source files, tracked workspace files, current directory layout, build/test outputs, and generated reports under `Reports/`
+- **Secondary support**: prior reports, `.sisyphus/` planning notes, helper tools, and external references
+- Do not let secondary support override direct repository evidence
+- If something is not directly supported by source evidence, state that clearly instead of filling the gap with assumptions
+- Do not treat absence of evidence as proof that something was removed, deprecated, or intentionally changed
+
+## Local-Only / Historical Boundaries
+
+- `Reports/` is an append-only historical record for completed sessions. Existing reports must not be modified after the session that created them ends
+- If a prior report is stale or inaccurate, record the correction in the current session's report instead of rewriting history
+- `.sisyphus/` is agent working state, not canonical product source. Use it for planning/recovery context, but verify important claims against actual repo files before acting on them
+- `gen/` and `tmp/` are working/output areas. Do not treat them as authoritative implementation sources unless the task is explicitly about generated artifacts or transient validation output
+- `external_test/` may contain local validation material; do not treat proprietary/local contents there as safe-to-commit by default
+
 ## 작업 보고 및 로그 (Workflow & Reporting)
 
 > ⚠️ **이 섹션의 규칙은 예외 없이 반드시 준수해야 합니다.**
 > 보고 누락은 작업 미완료와 동일하게 취급됩니다.
 
 ### 규칙 1: 작업 종료 시 필수 보고
 
-**모든 작업 세션이 종료될 때, 반드시 `Report/` 폴더에 작업 보고서를 작성해야 한다.**
+**모든 작업 세션이 종료될 때, 반드시 `Reports/` 폴더에 작업 보고서를 작성해야 한다.**
 코드 변경이 있었든 분석만 수행했든, 세션에서 수행한 모든 내용을 기록한다.
 보고서가 없는 작업 세션은 **완료된 것으로 인정하지 않는다.**
 
@@ -210,14 +226,14 @@ let ``Validation fails for duplicate message IDs`` () =
 보고서 파일명은 다음 형식을 **반드시** 따른다:
 
 ```
-Report/YYYYMMDD_HHMM_작업내용요약.md
+Reports/YYYYMMDD_HHMM_작업내용요약.md
 ```
 
 - `YYYYMMDD`: 작업 날짜 (예: 20260212)
 - `HHMM`: 작업 종료 시각 (24시간제, 예: 1430)
 - `작업내용요약`: 핵심 작업을 간결하게 (예: `Dbc_예외삼킴_수정`, `Core_테스트_구축`)
 
-예시: `Report/20260212_1430_Dbc_예외삼킴_수정.md`
+예시: `Reports/20260212_1430_Dbc_예외삼킴_수정.md`
 
 ### 규칙 3: 보고서 필수 포함 항목
 
@@ -235,6 +251,19 @@ Report/YYYYMMDD_HHMM_작업내용요약.md
 작업 세션에서 ROADMAP 항목을 완료했다면, **해당 세션 내에서 즉시** `ROADMAP.md`의 체크박스를 `[x]`로 갱신한다.
 보고서에도 완료된 ROADMAP 항목 ID를 명시한다 (예: "C-1a, C-1b 완료").
 
+### 규칙 5: 보고서 불변성과 정정 방식
+
+- 기존 `Reports/` 파일은 **불변의 이력**으로 취급한다. 과거 세션이 끝난 뒤에는 수정하지 않는다
+- 과거 보고서의 내용이 현재 사실과 어긋나는 것이 확인되면, 원본을 고치지 말고 **현재 세션 보고서**에 정정 사항을 별도 섹션으로 남긴다
+- 즉, **이력은 불변 / 현재 진실은 patch-forward** 원칙을 따른다
+
+### 규칙 6: 장기 실행 배치의 RUN_ID 규칙 (선택 적용)
+
+- 기본 규칙은 위의 `Reports/YYYYMMDD_HHMM_작업내용요약.md` 단일 보고서 방식이다
+- 다만 작업이 여러 세션에 걸쳐 이어지는 **장기 실행 배치**라면, 필요 시 `RUN_ID`(`yyyymmdd-hhmm`, KST 기준)를 정하고 여러 보고서가 동일한 RUN_ID를 공유하도록 할 수 있다
+- 같은 미종료 배치를 이어서 수행하는 경우에는 새 RUN_ID를 임의로 만들지 말고 기존 RUN_ID를 재사용한다
+- 이 선택 규칙은 복구성과 추적성을 높이기 위한 보강 규칙이며, 현재 레포의 기본 단일 보고서 관행을 대체하지 않는다
+
 ---
 
 > 이 규칙들은 프로젝트의 **추적 가능성(traceability)**과 **재현 가능성(reproducibility)**을 보장하기 위한 것입니다.
 
@@ -2,7 +2,7 @@
 
 > **목표**: 코드 생성기의 **신뢰성, 유지보수성, 테스트 커버리지**를 펌웨어 양산 수준으로 끌어올린다.
 > **근거 문서**: `Analysis/Codebase_Analysis.md` (2026-02-12 코드베이스 심층 분석)
-> **진행 관리**: 완료 항목은 `[x]`로 표시. 작업 보고서는 `Report/` 폴더에 기록.
+> **진행 관리**: 완료 항목은 `[x]`로 표시. 작업 보고서는 `Reports/` 폴더에 기록.
 
 ---
 
@@ -132,6 +132,47 @@
 
 ---
 
+## [Tracking] — Oracle 실패해결 플랜 (2026-02-13 수립본)
+
+> 본 섹션은 `Reports/`, `tests/oracle/ORACLE_RESULTS.md`, `tests/oracle/CATEGORY_C_EXCEPTIONS.md` 기준의 **진행 추적용 상태판**입니다.
+> 기존 C/H/M/L 항목과 별개로, 오라클 검증 파이프라인 플랜(Task 0~9)의 현재 도달 지점을 기록합니다.
+
+> **Source-of-Truth 우선순위**:
+> 1. `Reports/20260312-1530_Oracle_실패해결_완료.md`
+> 2. `tests/oracle/ORACLE_RESULTS.md`
+> 3. `tests/oracle/CATEGORY_C_EXCEPTIONS.md`
+> 4. `.sisyphus/*` (보조 작업 상태; canonical source 아님)
+
+- [x] **O-1. Task 0** 만료 플랜 아카이브 + boulder 갱신 (`.sisyphus/plans/archived/*`, `.sisyphus/boulder.json`, `Reports/20260312-1530_Oracle_실패해결_완료.md`)
+- [x] **O-2. Task 1** DbcParserLib 속성 타입 검증 (`Reports/20260312-1235_DbcParserLib_Type_Probe_Test.md`)
+- [x] **O-3. Task 2** C 오라클 하네스 템플릿/유틸 구현 (`Reports/20260213_1817_Oracle_하네스_템플릿_구현.md`)
+- [x] **O-4. Task 3** Oracle Core Engine/CLI 구현 (`Reports/20260213_1838_Oracle_Core_Engine_구현.md`, `Reports/20260213_1850_Oracle_Core_Engine_구현.md`)
+- [x] **O-5. Task 4** tolerance/metadata 비교 로직 구현 (`Reports/20260213_1848_Oracle_Tolerance_Metadata_Comparison.md`)
+- [x] **O-6. Task 5** 벡터 생성 오버플로 가드레일 (`Reports/20260312-1235_Oracle_Overflow_Guardrails.md`, commit `e0fc6fa`)
+- [x] **O-7. Task 6** cantools 파싱 비호환 DBC 분류 (`Reports/20260312-1235_Oracle_DBC_Parse_Triage.md`)
+- [x] **O-8. Task 7** Category C 예외 판정 기준 문서화 (`tests/oracle/CATEGORY_C_EXCEPTIONS.md`, `Reports/20260312-1530_Oracle_Category_C_Exception_5_추가.md`)
+- [x] **O-9. Task 8** Oracle pytest 스위트 구축 (`Reports/20260213_1937_Oracle_pytest_스위트_구축.md`)
+- [x] **O-10. Task 9** 전체 통합 실행 + 결과 문서화 (`Reports/20260312-1530_Oracle_실패해결_완료.md`, `tests/oracle/ORACLE_RESULTS.md`)
+
+### Oracle 후속 backlog (우선순위순)
+
+- [x] **B-O1. DBC raw-range detection heuristic**
+  - 근거: `tests/oracle/ORACLE_RESULTS.md` Recommendation #1, `tests/oracle/CATEGORY_C_EXCEPTIONS.md` Exception 5
+  - 범위: `[min|max]`가 raw-count sentinel로 보이는 경우의 선택적 탐지/정책 결정
+  - 상태: **완료** (2026-03-12, commit `1017b52` — `isRawRangeSentinel` heuristic in `Codegen.fs`, 1,101 oracle failures eliminated)
+
+- [x] **B-O2. Oracle multiplex mode**
+  - 근거: `tests/oracle/ORACLE_RESULTS.md` Recommendation #2, Exception 1 (`cantools_oracle_limitation`)
+  - 범위: `run_oracle.py`가 mux branch를 선택해 skip 없이 검증 가능하도록 확장
+  - 상태: **완료** (2026-03-12 — `_generate_mux_vectors()` in `engine.py`, all vendor mux signals now tested, 0 skipped)
+
+- [ ] **B-O3. Valid bitmask auto-widening**
+  - 근거: `tests/oracle/ORACLE_RESULTS.md` Recommendation #3, `tests/oracle/CATEGORY_C_EXCEPTIONS.md` Exception 3
+  - 범위: >32 signal 메시지에서 `uint64_t` 또는 배열 기반 valid 필드 자동 선택
+  - 상태: **미완료 backlog** (기존 `L-3`와 연결되는 구조 개선 과제)
+
+---
+
 ## 작업 순서 의존성 그래프
 
 ```
@@ -148,5 +189,5 @@ M-3 (코드 생성 가독성) ── L-1 (Scriban 도입)
 
 ---
 
-> **최종 갱신**: 2026-02-12 (C-1, C-2, H-1, H-2, H-3, M-1, M-2, M-3, M-4 완료 — [Medium] 전체 완료, L-4a, L-4b, L-4c 완료 — CAN FD DLC 매핑 완료, signed signal decode 버그 수정)
+> **최종 갱신**: 2026-03-13 (기존 완료 항목 상태 유지, Oracle 실패해결 플랜 O-1~O-10 완료 반영, Oracle 후속 backlog B-O1~B-O3 추가, `Reports/` 기준으로 정렬)
 > **참조**: `Analysis/Codebase_Analysis.md`, `AGENTS.md`