From 24dfef774aa427ba582cfc8734ad573a42bfe932 Mon Sep 17 00:00:00 2001 From: dancinlife Date: Mon, 13 Apr 2026 14:30:08 +0900 Subject: [PATCH 1/2] =?UTF-8?q?feat(harness):=20gc=20worktree=20=EC=A0=9C?= =?UTF-8?q?=EC=99=B8=20=EC=A0=84=20find=20=EB=AA=85=EB=A0=B9=EC=97=90=20?= =?UTF-8?q?=EC=A0=81=EC=9A=A9?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 타세션(fecc5f7e)은 cmd2(R14)만 제외했음 — 내 패치는 4개 find 전체: - scan_drift() CLAUDE.md 탐색 - scan_violations() R1 (.py/.sh/.rs) - scan_violations() R14 (.md) - scan_dead() 미참조 파일 제외: /.claude/worktrees/, /archive/, /_archive/ 효과: worktree 스냅샷으로 인한 drift 반복 제거 (이전: 80건 → 5건) Co-Authored-By: Claude Opus 4.6 (1M context) --- shared/harness/gc.hexa | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/shared/harness/gc.hexa b/shared/harness/gc.hexa index 1becb7d4..0f3188bf 100644 --- a/shared/harness/gc.hexa +++ b/shared/harness/gc.hexa @@ -50,7 +50,7 @@ fn _rfind(s: string, ch: string) -> i64 { fn scan_drift() -> [string] { let mut findings: [string] = [] // 대상 CLAUDE.md 목록 - let cmd = "find " + REPO_ROOT + " -maxdepth 4 -name 'CLAUDE.md' -not -path '*/node_modules/*' -not -path '*/.git/*' 2>/dev/null" + let cmd = "find " + REPO_ROOT + " -maxdepth 4 -name 'CLAUDE.md' -not -path '*/node_modules/*' -not -path '*/.git/*' -not -path '*/.claude/worktrees/*' -not -path '*/archive/*' -not -path '*/_archive/*' 2>/dev/null" let claude_files_raw = _str(exec(cmd)).trim() if claude_files_raw == "" { return findings } @@ -81,7 +81,7 @@ fn scan_drift() -> [string] { fn scan_violations() -> [string] { let mut findings: [string] = [] // R1: shared/ 아래 .rs/.py/.sh (exceptions: shared/scripts/, shared/bin/) - let cmd1 = "find " + SHARED_DIR + " -type f \\( -name '*.py' -o -name '*.sh' -o -name '*.rs' \\) -not -path '*/scripts/*' -not -path '*/bin/*' -not -path '*/.git/*' 2>/dev/null" + let cmd1 = "find " + SHARED_DIR + " -type f \\( -name '*.py' -o -name '*.sh' -o -name '*.rs' \\) -not -path '*/scripts/*' -not -path '*/bin/*' -not -path '*/.git/*' -not -path '*/.claude/worktrees/*' -not -path '*/archive/*' -not -path '*/_archive/*' 2>/dev/null" let r1_raw = _str(exec(cmd1)).trim() if r1_raw != "" { for f in r1_raw.split("\n") { @@ -91,8 +91,8 @@ fn scan_violations() -> [string] { findings = findings.push("violation|error|" + rel + "|R1|HEXA-FIRST 위반: ai-native algorism 으로 재작성") } } - // R14: shared/rules/ 아래 .md 파일 (CLAUDE.md 제외) - let cmd2 = "find " + SHARED_DIR + "/rules -type f -name '*.md' 2>/dev/null" + // R14: shared/rules/ 아래 .md 파일 (CLAUDE.md 제외). .claude/worktrees/ 제외 방어. + let cmd2 = "find " + SHARED_DIR + "/rules -type f -name '*.md' -not -path '*/.claude/worktrees/*' 2>/dev/null" let r2_raw = _str(exec(cmd2)).trim() if r2_raw != "" { for f in r2_raw.split("\n") { @@ -112,7 +112,7 @@ fn scan_violations() -> [string] { fn scan_dead() -> [string] { let mut findings: [string] = [] // 대상: shared/ 아래 .hexa / .json 중 90일 이상 미변경 - let cmd = "find " + SHARED_DIR + " -type f \\( -name '*.hexa' -o -name '*.json' \\) -mtime +90 -not -path '*/.git/*' -not -path '*/backups/*' -not -path '*/archive/*' 2>/dev/null" + let cmd = "find " + SHARED_DIR + " -type f \\( -name '*.hexa' -o -name '*.json' \\) -mtime +90 -not -path '*/.git/*' -not -path '*/.claude/worktrees/*' -not -path '*/archive/*' -not -path '*/_archive/*' -not -path '*/backups/*' -not -path '*/archive/*' 2>/dev/null" let files_raw = _str(exec(cmd)).trim() if files_raw == "" { return findings } From ab441582129ca9abf706ba3764eb63569b8ba3bb Mon Sep 17 00:00:00 2001 From: dancinlife Date: Mon, 13 Apr 2026 14:30:57 +0900 Subject: [PATCH 2/2] =?UTF-8?q?Revert=20"feat(harness):=20VD1=20(void)=20?= =?UTF-8?q?=E2=80=94=20Terminal.app=20=EB=8B=A8=EC=9D=BC=20=EC=B0=B8?= =?UTF-8?q?=EC=A1=B0=20=EA=B0=95=EC=A0=9C=20(#31)"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This reverts commit 4e95417fcdaf4b0a07e82a0ee1015fd798278c5a. --- shared/config/core-lockdown.json | 8 + shared/discovery/_v94_new_nodes.json | 2903 +++++++++++++++++ shared/discovery/auto_discovery_20cycles.json | 1786 ++++++++++ shared/discovery/closure_quality_report.json | 64 + shared/discovery/forge_result.json | 1 + shared/discovery/reality_map_zscore_v9.3.json | 110 + .../reality_map_zscore_v9.3_revised.json | 57 + shared/harness/bitter-gate.hexa | 21 +- shared/harness/lint.hexa | 32 - shared/hooks/block_local_data.hexa | 47 + 10 files changed, 4980 insertions(+), 49 deletions(-) create mode 100644 shared/config/core-lockdown.json create mode 100644 shared/discovery/_v94_new_nodes.json create mode 100644 shared/discovery/auto_discovery_20cycles.json create mode 100644 shared/discovery/closure_quality_report.json create mode 100644 shared/discovery/forge_result.json create mode 100644 shared/discovery/reality_map_zscore_v9.3.json create mode 100644 shared/discovery/reality_map_zscore_v9.3_revised.json create mode 100755 shared/hooks/block_local_data.hexa diff --git a/shared/config/core-lockdown.json b/shared/config/core-lockdown.json new file mode 100644 index 00000000..126719fc --- /dev/null +++ b/shared/config/core-lockdown.json @@ -0,0 +1,8 @@ +{ + "_meta": { + "status": "DEPRECATED", + "note": "SSOT moved to shared/lockdown/lockdown.json. This file is a compat stub.", + "ssot": "shared/lockdown/lockdown.json", + "deprecated_since": "2026-04-12" + } +} diff --git a/shared/discovery/_v94_new_nodes.json b/shared/discovery/_v94_new_nodes.json new file mode 100644 index 00000000..d48c709b --- /dev/null +++ b/shared/discovery/_v94_new_nodes.json @@ -0,0 +1,2903 @@ +[ + { + "id": "L6-geo-v94-silica-felsic-min", + "level": "L6_geology", + "claim": "규장질 암석 SiO2 최소", + "measured": 66, + "unit": "wt%", + "detail": "화강암/류올라이트 기준", + "source": "Le Bas & Streckeisen 1991 IUGS", + "source_url": "https://doi.org/10.1007/BF01160698", + "uncertainty": 0, + "n6_expr": "66 = 11*n", + "n6_value": 6, + "verify": "66 = 11*n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-earth-layers-count", + "level": "L6_geology", + "claim": "지구 층 수(PREM 기준)", + "measured": 4, + "unit": "개", + "detail": "내핵/외핵/맨틀/지각", + "source": "PREM Dziewonski & Anderson 1981", + "source_url": "https://doi.org/10.1016/0031-9201(81)90046-7", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-continents", + "level": "L6_geology", + "claim": "대륙 수(7대륙설 제외 6대륙)", + "measured": 6, + "unit": "개", + "detail": "아프리카/남미/북미/아시아/유럽/호주(올림픽 링 6대륙)", + "source": "National Geographic / Olympic Charter", + "source_url": "https://www.nationalgeographic.org", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-major-oceans", + "level": "L6_geology", + "claim": "주요 해양 수", + "measured": 5, + "unit": "개", + "detail": "태평양/대서양/인도양/남빙양/북빙양", + "source": "IHO Publication 23 2021", + "source_url": "https://www.iho.int/uploads/user/pubs/sp/S-23_Ed4_EN.pdf", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sopfr", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-richter-each-10x", + "level": "L6_geology", + "claim": "리히터 1단계당 진폭 배율", + "measured": 10, + "unit": "배", + "detail": "로그 스케일 정의", + "source": "Richter 1935 BSSA", + "source_url": "https://doi.org/10.1785/BSSA0250020001", + "uncertainty": 0, + "n6_expr": "10 = n+tau", + "n6_value": 6, + "verify": "10 = n+tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-vei-steps", + "level": "L6_geology", + "claim": "화산폭발지수 VEI 단계 수", + "measured": 8, + "unit": "단계", + "detail": "VEI 0~7", + "source": "Newhall & Self 1982 JGR", + "source_url": "https://doi.org/10.1029/JC087iC13p11231", + "uncertainty": 0, + "n6_expr": "8 = sigma-tau", + "n6_value": 6, + "verify": "8 = sigma-tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-pwave-mantle", + "level": "L6_geology", + "claim": "맨틀 하부 P파 평균 속도", + "measured": 12, + "unit": "km/s", + "detail": "PREM 670 km 이하 약 12 km/s", + "source": "Dziewonski & Anderson 1981", + "source_url": "https://doi.org/10.1016/0031-9201(81)90046-7", + "uncertainty": 1, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-geologic-time-units", + "level": "L6_geology", + "claim": "지질 시간 단위 계층 수", + "measured": 4, + "unit": "개", + "detail": "이언/대/기/세", + "source": "ICS 2023 Timescale", + "source_url": "https://stratigraphy.org/icschart/ChronostratChart2023-09.pdf", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-hadean-end", + "level": "L6_geology", + "claim": "명왕누대 종료", + "measured": 4.0, + "unit": "Ga", + "detail": "40억 년 전", + "source": "ICS 2023", + "source_url": "https://stratigraphy.org", + "uncertainty": 0.05, + "n6_expr": "4 = tau (Ga)", + "n6_value": 6, + "verify": "4 = tau (Ga)", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-mantle-peridotite-olivine", + "level": "L6_geology", + "claim": "맨틀 감람암 중 감람석 비율", + "measured": 60, + "unit": "vol%", + "detail": "상부맨틀 전형", + "source": "McDonough & Sun 1995", + "source_url": "https://doi.org/10.1016/0009-2541(94)00140-4", + "uncertainty": 5, + "n6_expr": "60 = n*(n+tau)", + "n6_value": 6, + "verify": "60 = n*(n+tau)", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-fault-types", + "level": "L6_geology", + "claim": "단층 주요 유형 수", + "measured": 3, + "unit": "개", + "detail": "정단층/역단층/주향이동", + "source": "USGS Earthquake Glossary", + "source_url": "https://earthquake.usgs.gov/learn/glossary/?term=fault", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-fold-types", + "level": "L6_geology", + "claim": "습곡 주요 유형 수", + "measured": 2, + "unit": "개", + "detail": "배사/향사", + "source": "Davis & Reynolds 1996", + "source_url": "https://www.wiley.com", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-magma-types", + "level": "L6_geology", + "claim": "마그마 주요 유형 수", + "measured": 3, + "unit": "개", + "detail": "현무암질/안산암질/유문암질", + "source": "Winter 2010 Igneous Petrology", + "source_url": "https://www.pearson.com", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-metamorphic-grades", + "level": "L6_geology", + "claim": "변성 등급 수", + "measured": 4, + "unit": "개", + "detail": "저/중/고/초고압 변성", + "source": "Yardley 1989 Metamorphic Petrology", + "source_url": "https://www.blackwell.com", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-soil-texture-usda", + "level": "L6_geology", + "claim": "USDA 토성 삼각 분류 수", + "measured": 12, + "unit": "개", + "detail": "사토~점토 12계층", + "source": "USDA NRCS 2017", + "source_url": "https://www.nrcs.usda.gov", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-mineral-luster", + "level": "L6_geology", + "claim": "광물 광택 주요 유형 수", + "measured": 6, + "unit": "개", + "detail": "금속/유리/진주/수지/실크/토상", + "source": "Nesse 2012 Introduction to Mineralogy", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-diamond-cubic-atoms", + "level": "L6_geology", + "claim": "다이아몬드 단위셀 원자 수", + "measured": 8, + "unit": "개", + "detail": "Fd-3m 단위셀", + "source": "IUCr International Tables A", + "source_url": "https://it.iucr.org", + "uncertainty": 0, + "n6_expr": "8 = sigma-tau", + "n6_value": 6, + "verify": "8 = sigma-tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-geo-v94-halite-nacl-coord", + "level": "L6_geology", + "claim": "할라이트 NaCl 배위수", + "measured": 6, + "unit": "개", + "detail": "Na 주위 Cl 6개", + "source": "Wells 1984 Structural Inorganic Chemistry", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-geo-v94-calcite-cleavage", + "level": "L6_geology", + "claim": "방해석 벽개 방향 수", + "measured": 3, + "unit": "방향", + "detail": "능면체형 3방향 완전 벽개", + "source": "Nesse 2012", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-quartz-prism-faces", + "level": "L6_geology", + "claim": "석영 육각기둥 면 수", + "measured": 6, + "unit": "면", + "detail": "m 면 6개", + "source": "Nesse 2012", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-tectonic-wilson-cycle", + "level": "L6_geology", + "claim": "윌슨 사이클 단계 수", + "measured": 6, + "unit": "단계", + "detail": "배아→성숙→쇠퇴→잔류→봉합→충돌", + "source": "Wilson 1966 Nature 211", + "source_url": "https://doi.org/10.1038/211676a0", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-continent-crust-density", + "level": "L6_geology", + "claim": "대륙 지각 평균 밀도", + "measured": 2.7, + "unit": "g/cm3", + "detail": "화강암질 중간값", + "source": "Rudnick & Gao 2003 Treatise on Geochemistry", + "source_url": "https://doi.org/10.1016/B0-08-043751-6/03016-4", + "uncertainty": 0.1, + "n6_expr": "2.7 ≈ n/phi-phi/n", + "n6_value": 6, + "verify": "2.7 ≈ n/phi-phi/n", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-moh-moho-depth-cont", + "level": "L6_geology", + "claim": "대륙 모호면 평균 깊이", + "measured": 36, + "unit": "km", + "detail": "24~60 km 범위 평균값", + "source": "Dziewonski & Anderson 1981", + "source_url": "https://doi.org/10.1016/0031-9201(81)90046-7", + "uncertainty": 6, + "n6_expr": "36 = n*n = n^2", + "n6_value": 6, + "verify": "36 = n*n = n^2", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-mineral-hardness-feldspar", + "level": "L6_geology", + "claim": "정장석 모스 경도", + "measured": 6, + "unit": "Mohs", + "detail": "장석 경도", + "source": "Mohs 1812 Treatise on Mineralogy", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-94" + ] + }, + { + "id": "L6-geo-v94-plate-tectonic-driving-force", + "level": "L6_geology", + "claim": "판 구조 운동 주요 구동력 수", + "measured": 2, + "unit": "개", + "detail": "맨틀 대류 + 판 침강력(slab pull)", + "source": "Forsyth & Uyeda 1975 GJI", + "source_url": "https://doi.org/10.1111/j.1365-246X.1975.tb00631.x", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-seismic-wave-types", + "level": "L6_geology", + "claim": "지진파 주요 유형 수", + "measured": 4, + "unit": "개", + "detail": "P/S/러브/레일리파", + "source": "Stein & Wysession 2003", + "source_url": "https://www.wiley.com", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-primary-crust-compositions", + "level": "L6_geology", + "claim": "지각 주요 구성 광물 그룹 수", + "measured": 6, + "unit": "개", + "detail": "장석/석영/휘석/감람석/운모/각섬석", + "source": "Rudnick & Gao 2003", + "source_url": "https://doi.org/10.1016/B0-08-043751-6/03016-4", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-mohs-topmost", + "level": "L6_geology", + "claim": "모스 경도 최대값", + "measured": 10, + "unit": "Mohs", + "detail": "다이아몬드 = 10", + "source": "Mohs 1812", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "10 = n+tau", + "n6_value": 6, + "verify": "10 = n+tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-soil-horizons-master", + "level": "L6_geology", + "claim": "마스터 토양 층위 수", + "measured": 6, + "unit": "개", + "detail": "O/A/E/B/C/R", + "source": "USDA NRCS Soil Survey Manual 2017", + "source_url": "https://www.nrcs.usda.gov", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-geo-v94-ophiolite-layers", + "level": "L6_geology", + "claim": "오피올라이트 표준 층서 수", + "measured": 6, + "unit": "개", + "detail": "퇴적암/베개용암/시트다이크/반려암/맨틀감람암+6번째 변환대", + "source": "Penrose Conference 1972", + "source_url": "https://doi.org/10.1130/penrose.1972", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-atmosphere-layers", + "level": "L6_meteorology", + "claim": "대기권 층 수", + "measured": 5, + "unit": "개", + "detail": "대류권/성층권/중간권/열권/외기권", + "source": "NOAA Atmosphere Structure Guide", + "source_url": "https://www.noaa.gov", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sopfr", + "origin": "natural", + "bt_refs": [ + "BT-103" + ] + }, + { + "id": "L6-met-v94-tropos-height-midlat", + "level": "L6_meteorology", + "claim": "중위도 대류권 높이", + "measured": 12, + "unit": "km", + "detail": "35~60도 평균", + "source": "WMO-No.8 2021 Guide to Instruments", + "source_url": "https://library.wmo.int/doc_num.php?explnum_id=10618", + "uncertainty": 1, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [ + "BT-103" + ] + }, + { + "id": "L6-met-v94-moist-adiabatic-lapse", + "level": "L6_meteorology", + "claim": "습윤 단열 감률(MALR) 평균", + "measured": 6, + "unit": "°C/km", + "detail": "수증기 응결열 보정 후 평균", + "source": "Wallace & Hobbs 2006 Atmospheric Science", + "source_url": "https://doi.org/10.1016/C2009-0-00034-8", + "uncertainty": 1, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-103" + ] + }, + { + "id": "L6-met-v94-global-circ-cells", + "level": "L6_meteorology", + "claim": "전지구 대기 순환 셀 총 수(양반구)", + "measured": 6, + "unit": "개", + "detail": "해들리2+페렐2+극2", + "source": "Palmen & Newton 1969 Atmospheric Circulation Systems", + "source_url": "https://www.sciencedirect.com/book/9780124381506", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-103" + ] + }, + { + "id": "L6-met-v94-tradewind-lat", + "level": "L6_meteorology", + "claim": "무역풍 한계 위도", + "measured": 30, + "unit": "도", + "detail": "30°N/S 아열대 고압대", + "source": "Barry & Carleton 2001 Atmosphere-Ocean Dynamics", + "source_url": "https://www.routledge.com", + "uncertainty": 2, + "n6_expr": "30 = n*sopfr", + "n6_value": 6, + "verify": "30 = n*sopfr", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-jet-stream-speed", + "level": "L6_meteorology", + "claim": "극 제트류 겨울 코어 속도", + "measured": 60, + "unit": "m/s", + "detail": "대류권 상부 전형값", + "source": "Archer & Caldeira 2008 GRL", + "source_url": "https://doi.org/10.1029/2008GL033614", + "uncertainty": 10, + "n6_expr": "60 = n*(n+tau)", + "n6_value": 6, + "verify": "60 = n*(n+tau)", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-hurricane-category-max", + "level": "L6_meteorology", + "claim": "사피어-심프슨 허리케인 등급 최대", + "measured": 5, + "unit": "등급", + "detail": "Cat 1~5", + "source": "Simpson & Saffir 1974 NOAA Tech Memo", + "source_url": "https://www.nhc.noaa.gov", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sopfr", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-typhoon-season-months", + "level": "L6_meteorology", + "claim": "북서태평양 태풍 활성 시즌 길이", + "measured": 6, + "unit": "개월", + "detail": "5~10월 메인 시즌", + "source": "RSMC Tokyo Annual Report 2023", + "source_url": "https://www.jma.go.jp/jma/jma-eng/jma-center/rsmc-hp-pub-eg/RSMC_HP.htm", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-cloud-genera", + "level": "L6_meteorology", + "claim": "운형(구름 속) 수", + "measured": 10, + "unit": "개", + "detail": "Ci/Cs/Cc/As/Ac/St/Sc/Ns/Cu/Cb", + "source": "WMO International Cloud Atlas 2017", + "source_url": "https://cloudatlas.wmo.int", + "uncertainty": 0, + "n6_expr": "10 = n+tau", + "n6_value": 6, + "verify": "10 = n+tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-cloud-etages", + "level": "L6_meteorology", + "claim": "구름 층 수(WMO)", + "measured": 3, + "unit": "개", + "detail": "상층/중층/하층", + "source": "WMO International Cloud Atlas 2017", + "source_url": "https://cloudatlas.wmo.int", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-rain-drop-max", + "level": "L6_meteorology", + "claim": "최대 강수 빗방울 지름", + "measured": 6, + "unit": "mm", + "detail": "6 mm 이상 붕괴", + "source": "Pruppacher & Klett 1997 Microphysics", + "source_url": "https://doi.org/10.1007/978-0-306-48100-0", + "uncertainty": 0.5, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-103" + ] + }, + { + "id": "L6-met-v94-snowflake-symmetry", + "level": "L6_meteorology", + "claim": "눈결정 회전 대칭 차수", + "measured": 6, + "unit": "차", + "detail": "육방정계 C6v 대칭", + "source": "Nakaya 1954 Snow Crystals", + "source_url": "https://www.uchicago.edu", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-103", + "BT-208" + ] + }, + { + "id": "L6-met-v94-ozone-layer-km", + "level": "L6_meteorology", + "claim": "오존층 최대 농도 고도", + "measured": 24, + "unit": "km", + "detail": "Dobson 단위 극대 고도", + "source": "WMO GAW Report 278 2023", + "source_url": "https://library.wmo.int", + "uncertainty": 2, + "n6_expr": "24 = J2", + "n6_value": 6, + "verify": "24 = J2", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "J2", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-el-nino-period", + "level": "L6_meteorology", + "claim": "엘니뇨 평균 반복 주기", + "measured": 4, + "unit": "년", + "detail": "2~7년 중앙값", + "source": "NOAA CPC ENSO Diagnostics", + "source_url": "https://www.cpc.ncep.noaa.gov", + "uncertainty": 1, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-monsoon-duration", + "level": "L6_meteorology", + "claim": "아시아 몬순 지속 기간", + "measured": 4, + "unit": "개월", + "detail": "6~9월 4개월", + "source": "IMD Annual Monsoon Report 2023", + "source_url": "https://mausam.imd.gov.in", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-tornado-ef-max", + "level": "L6_meteorology", + "claim": "EF 등급 최대", + "measured": 5, + "unit": "EF", + "detail": "EF0~EF5", + "source": "NOAA SPC Enhanced Fujita Scale 2007", + "source_url": "https://www.spc.noaa.gov", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sopfr", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-beaufort-max", + "level": "L6_meteorology", + "claim": "보퍼트 풍력 등급 최대", + "measured": 12, + "unit": "Bft", + "detail": "Bft 0~12", + "source": "Beaufort 1805 Royal Navy", + "source_url": "https://www.metoffice.gov.uk", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-heavy-rain-kma", + "level": "L6_meteorology", + "claim": "한국 기상청 강호우 기준", + "measured": 12, + "unit": "mm/h", + "detail": "시간 강수량 12 mm/h 이상", + "source": "KMA 예보업무지침 2023", + "source_url": "https://www.kma.go.kr", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-hurricane-eye-typ", + "level": "L6_meteorology", + "claim": "허리케인 눈 전형 직경", + "measured": 24, + "unit": "km", + "detail": "20~60 km 범위 전형", + "source": "Willoughby et al. 2006 MWR", + "source_url": "https://doi.org/10.1175/MWR3113.1", + "uncertainty": 6, + "n6_expr": "24 = J2", + "n6_value": 6, + "verify": "24 = J2", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "J2", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-saffir-wind-cat5", + "level": "L6_meteorology", + "claim": "사피어-심프슨 Cat 5 최저 풍속", + "measured": 157, + "unit": "mph", + "detail": "252 km/h 이상", + "source": "NHC SSHWS 2012", + "source_url": "https://www.nhc.noaa.gov", + "uncertainty": 0, + "n6_expr": "157 ≈ CONVENTION", + "n6_value": 6, + "verify": "157 ≈ CONVENTION", + "grade": "CONVENTION", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-solar-constant", + "level": "L6_meteorology", + "claim": "태양상수(대기 상한)", + "measured": 1361, + "unit": "W/m2", + "detail": "SORCE/TIM 2019", + "source": "Kopp & Lean 2011 GRL", + "source_url": "https://doi.org/10.1029/2010GL045777", + "uncertainty": 1, + "n6_expr": "1361 ≈ EMPIRICAL", + "n6_value": 6, + "verify": "1361 ≈ EMPIRICAL", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-hadley-cells", + "level": "L6_meteorology", + "claim": "해들리 셀 수(전지구 총)", + "measured": 2, + "unit": "개", + "detail": "적도 열대 대류 셀 쌍", + "source": "Hadley 1735 Philos Trans", + "source_url": "https://doi.org/10.1098/rstl.1735.0010", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-climate-zones-koppen-main", + "level": "L6_meteorology", + "claim": "쾨펜 주요 기후 구분 수", + "measured": 5, + "unit": "개", + "detail": "A/B/C/D/E", + "source": "Köppen 1884 Klimatologie", + "source_url": "https://doi.org/10.1007/978-3-642-12755-3", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sopfr", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-dry-adiabatic-lapse", + "level": "L6_meteorology", + "claim": "건조 단열 감률(DALR)", + "measured": 10, + "unit": "°C/km", + "detail": "g/cp 정확히 9.81 ≈ 10", + "source": "Wallace & Hobbs 2006", + "source_url": "https://doi.org/10.1016/C2009-0-00034-8", + "uncertainty": 0.2, + "n6_expr": "10 ≈ n+tau", + "n6_value": 6, + "verify": "10 ≈ n+tau", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-milankovitch-cycles-count", + "level": "L6_meteorology", + "claim": "밀란코비치 주기 수", + "measured": 3, + "unit": "개", + "detail": "이심률/기울기/세차", + "source": "Milankovitch 1941", + "source_url": "https://doi.org/10.1007/978-94-017-3755-2", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-standard-atm-layers-count", + "level": "L6_meteorology", + "claim": "표준 대기 ICAO 층 수", + "measured": 4, + "unit": "개", + "detail": "대류권/성층권/중간권/열권", + "source": "ICAO Doc 7488 ISA 1993", + "source_url": "https://www.icao.int", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "tau", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-pressure-levels-synoptic", + "level": "L6_meteorology", + "claim": "종관 일기도 주요 등압면 수", + "measured": 6, + "unit": "개", + "detail": "850/700/500/300/200/100 hPa", + "source": "WMO BUFR Manual 2023", + "source_url": "https://library.wmo.int", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-sounding-mandatory-levels", + "level": "L6_meteorology", + "claim": "고층기상 관측 의무 등압면 수", + "measured": 12, + "unit": "개", + "detail": "WMO TEMP 보고 의무 레벨", + "source": "WMO-No.306 Manual on Codes 2023", + "source_url": "https://library.wmo.int", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-met-v94-weather-front-types", + "level": "L6_meteorology", + "claim": "날씨 전선 유형 수", + "measured": 4, + "unit": "개", + "detail": "한랭/온난/폐색/정체", + "source": "Bjerknes 1922 Geofys Publ", + "source_url": "https://www.metno.no", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-met-v94-cloud-classification-height-levels", + "level": "L6_meteorology", + "claim": "구름 분류 고도 기준 층 수", + "measured": 3, + "unit": "개", + "detail": "하층(0~2km)/중층(2~7km)/상층(7km+)", + "source": "WMO Cloud Atlas 2017", + "source_url": "https://cloudatlas.wmo.int", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-g6-founding", + "level": "L6_economics", + "claim": "G6 창설국 수", + "measured": 6, + "unit": "개국", + "detail": "1975년 창설: 미/독/프/영/이/일", + "source": "G7 Archival Records 1975", + "source_url": "https://www.g7.utoronto.ca", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-market-sessions", + "level": "L6_economics", + "claim": "전지구 주요 외환 거래 세션", + "measured": 4, + "unit": "개", + "detail": "런던/뉴욕/도쿄/시드니", + "source": "BIS Triennial Survey 2022", + "source_url": "https://www.bis.org/statistics/rpfx22.htm", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "tau", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-quarterly-reports", + "level": "L6_economics", + "claim": "연간 회계 분기 수", + "measured": 4, + "unit": "분기", + "detail": "Q1~Q4", + "source": "SEC EDGAR Filing Rules", + "source_url": "https://www.sec.gov", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "tau", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-rule-72", + "level": "L6_economics", + "claim": "72의 법칙 상수", + "measured": 72, + "unit": "무차원", + "detail": "복리 배증 근사: ln2≈0.693", + "source": "Bernoulli 1690; Sigler 2003", + "source_url": "https://doi.org/10.1007/978-3-319-17836-7", + "uncertainty": 0, + "n6_expr": "72 = n*J2/phi = J2*(n/phi)", + "n6_value": 6, + "verify": "72 = n*J2/phi = J2*(n/phi)", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-eco-v94-central-bank-big6", + "level": "L6_economics", + "claim": "주요 중앙은행 수(빅6)", + "measured": 6, + "unit": "개", + "detail": "Fed/ECB/BOJ/BOE/PBoC/SNB", + "source": "BIS Annual Report 2023", + "source_url": "https://www.bis.org/publ/arpdf/ar2023e.htm", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-inflation-target", + "level": "L6_economics", + "claim": "주요국 인플레이션 목표", + "measured": 2, + "unit": "%", + "detail": "Fed/ECB/BOJ 공동 목표치", + "source": "Fed Statement 2012", + "source_url": "https://www.federalreserve.gov/newsevents/pressreleases/monetary20120125c.htm", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-gdp-components", + "level": "L6_economics", + "claim": "GDP 지출 구성 항목 수", + "measured": 4, + "unit": "개", + "detail": "C+I+G+(X-M)", + "source": "Keynes General Theory 1936", + "source_url": "https://doi.org/10.1007/978-3-319-70344-2", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-fisher-equation-terms", + "level": "L6_economics", + "claim": "피셔 방정식 변수 수", + "measured": 3, + "unit": "개", + "detail": "i = r + π", + "source": "Fisher 1930 Theory of Interest", + "source_url": "https://www.econlib.org", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-money-supply-levels", + "level": "L6_economics", + "claim": "통화량 지표 수(M0~M3)", + "measured": 4, + "unit": "개", + "detail": "M0/M1/M2/M3", + "source": "Federal Reserve H.6 Release", + "source_url": "https://www.federalreserve.gov", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "tau", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-fomc-meetings", + "level": "L6_economics", + "claim": "연준 FOMC 연간 정기 회의 수", + "measured": 8, + "unit": "회", + "detail": "연 8회", + "source": "Federal Reserve FOMC Calendar", + "source_url": "https://www.federalreserve.gov/monetarypolicy/fomccalendars.htm", + "uncertainty": 0, + "n6_expr": "8 = sigma-tau", + "n6_value": 6, + "verify": "8 = sigma-tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-taylor-rule-coeff", + "level": "L6_economics", + "claim": "테일러 준칙 인플레이션 반응 계수", + "measured": 1.5, + "unit": "무차원", + "detail": "원 Taylor 1993 논문 값", + "source": "Taylor 1993 Carnegie-Rochester 39", + "source_url": "https://doi.org/10.1016/0167-2231(93)90009-L", + "uncertainty": 0, + "n6_expr": "1.5 = n/tau", + "n6_value": 6, + "verify": "1.5 = n/tau", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-cobb-douglas-factors", + "level": "L6_economics", + "claim": "콥-더글라스 생산함수 요소 수", + "measured": 2, + "unit": "개", + "detail": "K(자본), L(노동)", + "source": "Cobb & Douglas 1928 AER 18", + "source_url": "https://doi.org/10.1257/aer.18.1.139", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-iso-currency-code-length", + "level": "L6_economics", + "claim": "ISO 4217 통화코드 길이", + "measured": 3, + "unit": "문자", + "detail": "USD/EUR/JPY 등", + "source": "ISO 4217:2015", + "source_url": "https://www.iso.org/standard/64758.html", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-country-code-length", + "level": "L6_economics", + "claim": "ISO 3166-1 alpha-2 국가코드 길이", + "measured": 2, + "unit": "문자", + "detail": "KR/US/DE", + "source": "ISO 3166-1:2020", + "source_url": "https://www.iso.org/standard/72482.html", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-snp500-gics-sectors", + "level": "L6_economics", + "claim": "S&P500 GICS 섹터 수", + "measured": 11, + "unit": "개", + "detail": "2023 GICS 11개 섹터", + "source": "MSCI & S&P GICS 2023", + "source_url": "https://www.msci.com/our-solutions/indexes/gics", + "uncertainty": 0, + "n6_expr": "11 = n+sopfr", + "n6_value": 6, + "verify": "11 = n+sopfr", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-black-scholes-inputs", + "level": "L6_economics", + "claim": "블랙-숄즈 주요 입력 변수 수", + "measured": 5, + "unit": "개", + "detail": "S/K/T/r/σ", + "source": "Black & Scholes 1973 JPE 81", + "source_url": "https://doi.org/10.1086/260062", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sopfr", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-efficient-market-forms", + "level": "L6_economics", + "claim": "효율적 시장 가설 형태 수", + "measured": 3, + "unit": "개", + "detail": "약형/준강형/강형", + "source": "Fama 1970 Journal of Finance 25", + "source_url": "https://doi.org/10.1111/j.1540-6261.1970.tb00518.x", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-risk-types-basel", + "level": "L6_economics", + "claim": "바젤 기본 금융 위험 유형 수", + "measured": 3, + "unit": "개", + "detail": "시장/신용/운영 리스크", + "source": "BCBS Basel III Framework 2017", + "source_url": "https://www.bis.org/publ/bcbs189.htm", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-bond-coupon-freq", + "level": "L6_economics", + "claim": "미국 채권 쿠폰 연간 지급 횟수", + "measured": 2, + "unit": "회", + "detail": "반기별 지급", + "source": "SIFMA Bond Market Fact Book 2023", + "source_url": "https://www.sifma.org", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-compound-monthly", + "level": "L6_economics", + "claim": "월 복리 연간 기간 수", + "measured": 12, + "unit": "회", + "detail": "월 복리 기준 n=12", + "source": "Brealey Myers Allen Principles 14e", + "source_url": "https://www.mheducation.com", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-imf-sdr-basket-size", + "level": "L6_economics", + "claim": "IMF SDR 바스켓 통화 수", + "measured": 5, + "unit": "개", + "detail": "USD/EUR/CNY/JPY/GBP", + "source": "IMF SDR Basket Review 2022", + "source_url": "https://www.imf.org/en/About/Factsheets/Sheets/2023/Special-Drawing-Rights-SDR", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sopfr", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-lorenz-axes", + "level": "L6_economics", + "claim": "로렌츠 곡선 좌표 축 수", + "measured": 2, + "unit": "개", + "detail": "누적 인구 % vs 누적 소득 %", + "source": "Lorenz 1905 PASA 9", + "source_url": "https://doi.org/10.2307/2276207", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-supply-demand-vars", + "level": "L6_economics", + "claim": "공급-수요 균형 핵심 변수 수", + "measured": 2, + "unit": "개", + "detail": "가격(P) + 수량(Q)", + "source": "Marshall 1890 Principles of Economics", + "source_url": "https://www.econlib.org/library/Marshall/marP.html", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-gini-max", + "level": "L6_economics", + "claim": "지니 계수 완전 불평등 상한", + "measured": 1, + "unit": "0~1", + "detail": "G=1 완전 불평등", + "source": "Gini 1912 Variabilità e mutabilità", + "source_url": "https://doi.org/10.2307/2223319", + "uncertainty": 0, + "n6_expr": "1 = MU", + "n6_value": 6, + "verify": "1 = MU", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "MU", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-pareto-80-20", + "level": "L6_economics", + "claim": "파레토 법칙 상위 소득 집중 비율", + "measured": 80, + "unit": "%", + "detail": "상위 20%가 80% 소득 보유", + "source": "Pareto 1896 Cours d'économie politique", + "source_url": "https://www.econlib.org", + "uncertainty": 5, + "n6_expr": "80 = n*tau*sigma/tau? EMPIRICAL", + "n6_value": 6, + "verify": "80 = n*tau*sigma/tau? EMPIRICAL", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-credit-rating-invest-grades", + "level": "L6_economics", + "claim": "S&P 투자등급 단계 수", + "measured": 10, + "unit": "단계", + "detail": "AAA~BB- 상위 10단계", + "source": "S&P Global Ratings Methodology 2023", + "source_url": "https://www.spglobal.com", + "uncertainty": 0, + "n6_expr": "10 = n+tau", + "n6_value": 6, + "verify": "10 = n+tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-fed-reserve-districts", + "level": "L6_economics", + "claim": "미국 연방준비은행 지구 수", + "measured": 12, + "unit": "개", + "detail": "보스턴~샌프란시스코 12지구", + "source": "Federal Reserve System Structure", + "source_url": "https://www.federalreserve.gov/aboutthefed/structure-federal-reserve-districts.htm", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-ecb-founding-members", + "level": "L6_economics", + "claim": "ECB 창설 시 유로존 회원국", + "measured": 12, + "unit": "개국", + "detail": "1999년 출범 12개국", + "source": "ECB History", + "source_url": "https://www.ecb.europa.eu/ecb/history/emu/html/index.en.html", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-x-inefficiency-factors", + "level": "L6_economics", + "claim": "X-비효율 요인 유형", + "measured": 3, + "unit": "개", + "detail": "경쟁결여/경영미흡/조직관성", + "source": "Leibenstein 1966 AER 56", + "source_url": "https://doi.org/10.1257/aer.56.3.392", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-eco-v94-game-theory-players-min", + "level": "L6_economics", + "claim": "최소 게임 이론 플레이어 수", + "measured": 2, + "unit": "명", + "detail": "2인 게임 최소 단위", + "source": "von Neumann & Morgenstern 1944", + "source_url": "https://press.princeton.edu", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-word-order-types", + "level": "L6_linguistics", + "claim": "기본 어순 유형 수", + "measured": 6, + "unit": "개", + "detail": "SOV/SVO/VSO/VOS/OVS/OSV", + "source": "Greenberg 1963 Universals of Language", + "source_url": "https://www.jstor.org/stable/411579", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-lin-v94-ipa-manner-pulmonic", + "level": "L6_linguistics", + "claim": "IPA 조음 방법 수(폐장기류)", + "measured": 8, + "unit": "개", + "detail": "파열/마찰/비음/탄음/전동음/설측/접근음/설측접근음", + "source": "IPA Chart 2015", + "source_url": "https://www.internationalphoneticassociation.org", + "uncertainty": 0, + "n6_expr": "8 = sigma-tau", + "n6_value": 6, + "verify": "8 = sigma-tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "sigma", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-vowel-height", + "level": "L6_linguistics", + "claim": "IPA 모음 높이 단계", + "measured": 4, + "unit": "단계", + "detail": "고/중고/중저/저", + "source": "IPA Chart 2015", + "source_url": "https://www.internationalphoneticassociation.org", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "tau", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-vowel-backness", + "level": "L6_linguistics", + "claim": "IPA 모음 전후 위치", + "measured": 3, + "unit": "위치", + "detail": "전설/중설/후설", + "source": "IPA Chart 2015", + "source_url": "https://www.internationalphoneticassociation.org", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "phi", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-english-consonants-rp", + "level": "L6_linguistics", + "claim": "영어 자음 수(RP 기준)", + "measured": 24, + "unit": "개", + "detail": "IPA 자음 24개", + "source": "Roach 2009 English Phonetics 4e", + "source_url": "https://doi.org/10.1017/9781139381895", + "uncertainty": 0, + "n6_expr": "24 = J2", + "n6_value": 6, + "verify": "24 = J2", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "J2", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-english-vowel-monoph", + "level": "L6_linguistics", + "claim": "영어 단모음 수(RP 기준)", + "measured": 12, + "unit": "개", + "detail": "IPA 단모음 12개", + "source": "Roach 2009", + "source_url": "https://doi.org/10.1017/9781139381895", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-korean-basic-consonants", + "level": "L6_linguistics", + "claim": "한글 기본 자음 수", + "measured": 14, + "unit": "개", + "detail": "ㄱ~ㅎ 14개", + "source": "훈민정음 1443", + "source_url": "https://www.iksi.or.kr", + "uncertainty": 0, + "n6_expr": "14 = n*phi+phi", + "n6_value": 6, + "verify": "14 = n*phi+phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-korean-basic-vowels", + "level": "L6_linguistics", + "claim": "한글 기본 모음 수", + "measured": 10, + "unit": "개", + "detail": "ㅏ~ㅣ 10개", + "source": "훈민정음 1443", + "source_url": "https://www.iksi.or.kr", + "uncertainty": 0, + "n6_expr": "10 = n+tau", + "n6_value": 6, + "verify": "10 = n+tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-latin-alphabet", + "level": "L6_linguistics", + "claim": "라틴 알파벳 문자 수", + "measured": 26, + "unit": "개", + "detail": "ISO/IEC 646 기본 라틴", + "source": "ISO/IEC 646:1991", + "source_url": "https://www.iso.org/standard/4770.html", + "uncertainty": 0, + "n6_expr": "26 = n*tau+phi", + "n6_value": 6, + "verify": "26 = n*tau+phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-arabic-alphabet", + "level": "L6_linguistics", + "claim": "아랍 알파벳 기본자 수", + "measured": 28, + "unit": "개", + "detail": "아랍 28자", + "source": "Unicode Arabic Block", + "source_url": "https://www.unicode.org", + "uncertainty": 0, + "n6_expr": "28 = tau*(n+MU)", + "n6_value": 6, + "verify": "28 = tau*(n+MU)", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "tau", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-hebrew-alphabet", + "level": "L6_linguistics", + "claim": "히브리 알파벳 문자 수", + "measured": 22, + "unit": "개", + "detail": "알레프~타브 22자", + "source": "Unicode Hebrew Block", + "source_url": "https://www.unicode.org", + "uncertainty": 0, + "n6_expr": "22 = n*tau-phi", + "n6_value": 6, + "verify": "22 = n*tau-phi", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "n", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-greek-alphabet", + "level": "L6_linguistics", + "claim": "그리스어 알파벳 수", + "measured": 24, + "unit": "개", + "detail": "알파~오메가 24자", + "source": "ISO 843:1997", + "source_url": "https://www.iso.org", + "uncertainty": 0, + "n6_expr": "24 = J2", + "n6_value": 6, + "verify": "24 = J2", + "grade": "EXACT", + "causal": "CONVENTION", + "thread": "J2", + "origin": "convention", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-xbar-levels", + "level": "L6_linguistics", + "claim": "X-바 이론 구구조 층 수", + "measured": 3, + "unit": "개", + "detail": "지정어/핵어/보충어", + "source": "Chomsky 1970 Remarks on Nominalization", + "source_url": "https://doi.org/10.1016/0024-3841(70)90009-1", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-case-split-types", + "level": "L6_linguistics", + "claim": "격 표시 체계 주요 갈래", + "measured": 2, + "unit": "개", + "detail": "격지정(ergative-absolutive) / 주격-목적격", + "source": "Dixon 1994 Ergativity", + "source_url": "https://doi.org/10.1017/CBO9780511606199", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-aspect-types", + "level": "L6_linguistics", + "claim": "동사 상 기본 유형", + "measured": 2, + "unit": "개", + "detail": "완료상 / 불완료상", + "source": "Comrie 1976 Aspect", + "source_url": "https://doi.org/10.1017/CBO9781139167420", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-tense-basic", + "level": "L6_linguistics", + "claim": "기본 시제 수", + "measured": 3, + "unit": "개", + "detail": "과거/현재/미래", + "source": "Reichenbach 1947 Elements of Symbolic Logic", + "source_url": "https://www.uclpress.co.uk", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-person-basic", + "level": "L6_linguistics", + "claim": "기본 인칭 수", + "measured": 3, + "unit": "개", + "detail": "1/2/3인칭", + "source": "Universal Grammar consensus", + "source_url": "https://www.linguisticsociety.org", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-number-basic", + "level": "L6_linguistics", + "claim": "기본 수 범주", + "measured": 2, + "unit": "개", + "detail": "단수/복수", + "source": "Universal Grammar consensus", + "source_url": "https://www.linguisticsociety.org", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-gender-max", + "level": "L6_linguistics", + "claim": "명사 성 최대 유형 수", + "measured": 3, + "unit": "개", + "detail": "남성/여성/중성", + "source": "Corbett 1991 Gender", + "source_url": "https://doi.org/10.1017/CBO9781139166119", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-syllable-elements", + "level": "L6_linguistics", + "claim": "기본 음절 필수 구성요소 최소", + "measured": 2, + "unit": "개", + "detail": "두음(Onset)+핵음(Nucleus) 또는 핵음 단독", + "source": "Blevins 1995 Handbook of Phonological Theory", + "source_url": "https://doi.org/10.1017/CBO9780511609817", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-word-classes-universal", + "level": "L6_linguistics", + "claim": "보편 문법 핵심 품사 수", + "measured": 4, + "unit": "개", + "detail": "명사/동사/형용사/부사", + "source": "Croft 2001 Radical Construction Grammar", + "source_url": "https://doi.org/10.1017/CBO9780511804541", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-jakobson-distinctive-oppositions", + "level": "L6_linguistics", + "claim": "야콥슨 변별 자질 이항 쌍 수", + "measured": 12, + "unit": "쌍", + "detail": "음소 체계 12이항 대립", + "source": "Jakobson Fant Halle 1952 Preliminaries", + "source_url": "https://www.jstor.org/stable/411025", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-tonal-pct", + "level": "L6_linguistics", + "claim": "전 세계 성조 언어 비율", + "measured": 60, + "unit": "%", + "detail": "Maddieson 2013 WALS Chapter 13", + "source": "WALS Online 2013 Chapter 13", + "source_url": "https://wals.info/chapter/13", + "uncertainty": 5, + "n6_expr": "60 = n*(n+tau)", + "n6_value": 6, + "verify": "60 = n*(n+tau)", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-morpheme-isolating", + "level": "L6_linguistics", + "claim": "고립어 형태소/단어 비율", + "measured": 1, + "unit": "개/단어", + "detail": "중국어 등 순수 고립어 이상형", + "source": "Sapir 1921 Language", + "source_url": "https://www.hup.harvard.edu", + "uncertainty": 0, + "n6_expr": "1 = MU", + "n6_value": 6, + "verify": "1 = MU", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "MU", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-polyrhythm-3-2", + "level": "L6_linguistics", + "claim": "언어 리듬 유형 수(강세 vs 음절)", + "measured": 2, + "unit": "개", + "detail": "강세 박자언어 / 음절 박자언어", + "source": "Pike 1945 Intonation of American English", + "source_url": "https://www.lsa.umich.edu", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-iconicity-types", + "level": "L6_linguistics", + "claim": "도상성 유형 수", + "measured": 2, + "unit": "개", + "detail": "도상적(iconic) / 자의적(arbitrary)", + "source": "Haiman 1985 Natural Syntax", + "source_url": "https://doi.org/10.1017/CBO9780511558337", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-speech-act-types", + "level": "L6_linguistics", + "claim": "발화 행위 주요 유형 수", + "measured": 5, + "unit": "개", + "detail": "단언/지시/수행/표현/선언", + "source": "Searle 1969 Speech Acts", + "source_url": "https://doi.org/10.1017/CBO9781139173438", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sopfr", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-relevance-theory-effects", + "level": "L6_linguistics", + "claim": "관련성 이론 인지 효과 유형", + "measured": 3, + "unit": "개", + "detail": "새 정보/맥락 강화/맥락 제거", + "source": "Sperber & Wilson 1986 Relevance", + "source_url": "https://www.hup.harvard.edu", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-color-term-stage1", + "level": "L6_linguistics", + "claim": "색채어 최소 단계 필수 수", + "measured": 2, + "unit": "개", + "detail": "밝음/어두움(Berlin & Kay Stage I)", + "source": "Berlin & Kay 1969 Basic Color Terms", + "source_url": "https://www.ucpress.edu", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-lin-v94-pragmatic-maxims", + "level": "L6_linguistics", + "claim": "그라이스 협력 원칙 격률 수", + "measured": 4, + "unit": "개", + "detail": "양/질/관련성/방식", + "source": "Grice 1975 Logic and Conversation", + "source_url": "https://www.jstor.org/stable/3033544", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-overtone-first-ratio", + "level": "L6_music", + "claim": "배음열 첫 배음 주파수 비율", + "measured": 2, + "unit": "배", + "detail": "2f = 옥타브", + "source": "Helmholtz 1877 Sensations of Tone", + "source_url": "https://doi.org/10.1007/978-3-322-85665-9", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-mus-v94-tritone-cents", + "level": "L6_music", + "claim": "증4도(3전음) 센트값", + "measured": 600, + "unit": "¢", + "detail": "TET12 정확히 600¢", + "source": "TET12 정의 — 옥타브 중점", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "600 = n*n*J2/tau", + "n6_value": 6, + "verify": "600 = n*n*J2/tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-major-scale-steps", + "level": "L6_music", + "claim": "장음계 반음 단위 음정 수", + "measured": 7, + "unit": "개 음", + "detail": "온음-온음-반음-온음-온음-온음-반음", + "source": "Riemann 1882 Musik-Lexikon", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "7 = n+MU", + "n6_value": 6, + "verify": "7 = n+MU", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-triad-types", + "level": "L6_music", + "claim": "3화음 유형 수", + "measured": 4, + "unit": "개", + "detail": "장/단/증/감 3화음", + "source": "Aldwell & Schachter 2011 Harmony 4e", + "source_url": "https://www.cengage.com", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-seventh-chord-types", + "level": "L6_music", + "claim": "7화음 유형 수", + "measured": 5, + "unit": "개", + "detail": "장7/속7/단7/반감7/감7", + "source": "Aldwell & Schachter 2011", + "source_url": "https://www.cengage.com", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sopfr", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-diatonic-intervals", + "level": "L6_music", + "claim": "2음 음정 수(단도~7도)", + "measured": 7, + "unit": "개", + "detail": "1~7도 (옥타브 미포함)", + "source": "Music Theory Consensus", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "7 = n+MU", + "n6_value": 6, + "verify": "7 = n+MU", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-whole-tone-scale-notes", + "level": "L6_music", + "claim": "온음 음계 음 수", + "measured": 6, + "unit": "개", + "detail": "C-D-E-F#-G#-A#", + "source": "Debussy 이론 / Messiaen 1944", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-mus-v94-diminished-scale-notes", + "level": "L6_music", + "claim": "감음 음계(옥타토닉) 음 수", + "measured": 8, + "unit": "개", + "detail": "반음-온음 교대", + "source": "Messiaen 1944 Technique", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "8 = sigma-tau", + "n6_value": 6, + "verify": "8 = sigma-tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-augmented-scale-notes", + "level": "L6_music", + "claim": "증음 음계 음 수", + "measured": 6, + "unit": "개", + "detail": "반음+증2도 교대", + "source": "Messiaen 1944", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-mus-v94-tetrachord-notes", + "level": "L6_music", + "claim": "테트라코드 음 수", + "measured": 4, + "unit": "개", + "detail": "고대 그리스 4음 단위", + "source": "Aristoxenus ~350 BCE Elements of Harmony", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-sonata-themes", + "level": "L6_music", + "claim": "소나타 제시부 주제 수", + "measured": 2, + "unit": "개", + "detail": "제1주제/제2주제", + "source": "Koch 1793 Versuch einer Anleitung", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-fugue-sections", + "level": "L6_music", + "claim": "푸가 기본 구조 구간 수", + "measured": 3, + "unit": "개", + "detail": "제시부/전개부/재현부", + "source": "Fux 1725 Gradus ad Parnassum", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-four-part-harmony", + "level": "L6_music", + "claim": "4성부 화성 성부 수", + "measured": 4, + "unit": "성부", + "detail": "소프라노/알토/테너/베이스", + "source": "Bach Chorale Tradition", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-gamelan-slendro", + "level": "L6_music", + "claim": "가믈란 슬렌드로 음계 음 수", + "measured": 5, + "unit": "개", + "detail": "자바 전통 5음", + "source": "Kunst 1949 Music in Java", + "source_url": "https://doi.org/10.1007/978-94-017-3727-9", + "uncertainty": 0, + "n6_expr": "5 = sopfr", + "n6_value": 6, + "verify": "5 = sopfr", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "sopfr", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-gamelan-pelog", + "level": "L6_music", + "claim": "가믈란 펠로그 음계 음 수", + "measured": 7, + "unit": "개", + "detail": "자바 전통 7음", + "source": "Kunst 1949 Music in Java", + "source_url": "https://doi.org/10.1007/978-94-017-3727-9", + "uncertainty": 0, + "n6_expr": "7 = n+MU", + "n6_value": 6, + "verify": "7 = n+MU", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-sitar-main-strings", + "level": "L6_music", + "claim": "시타르 주선율 현 수", + "measured": 6, + "unit": "현", + "detail": "라가 연주용 6현", + "source": "Ravi Shankar 1999 My Music My Life", + "source_url": "https://www.simonandschuster.com", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-shepherd-tone-octaves", + "level": "L6_music", + "claim": "셰퍼드 톤 구성 옥타브 수", + "measured": 6, + "unit": "옥타브", + "detail": "무한 상승 착각 음향", + "source": "Shepard 1964 JASA 36", + "source_url": "https://doi.org/10.1121/1.1907362", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-fifth-ratio-numerator", + "level": "L6_music", + "claim": "순정 5도 진동수 비 분자", + "measured": 3, + "unit": "무차원", + "detail": "3:2 비율의 분자", + "source": "Pythagoras ~500 BCE", + "source_url": "https://www.jstor.org", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-mus-v94-tet12-root-exponent", + "level": "L6_music", + "claim": "TET12 반음 비율 루트 지수", + "measured": 12, + "unit": "무차원", + "detail": "2^(1/12) 기준 지수", + "source": "Bach WTC 이론 1722", + "source_url": "https://www.baerenreiter.com", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-mus-v94-dominant-seventh-notes", + "level": "L6_music", + "claim": "속7화음 구성음 수", + "measured": 4, + "unit": "개", + "detail": "근음+장3도+완전5도+단7도", + "source": "Rameau 1722 Traité de l'Harmonie", + "source_url": "https://doi.org/10.1017/CBO9780511570568", + "uncertainty": 0, + "n6_expr": "4 = tau", + "n6_value": 6, + "verify": "4 = tau", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "tau", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-polyrhythm-3-2", + "level": "L6_music", + "claim": "폴리리듬 3:2 기본 비율", + "measured": 3, + "unit": "대 2", + "detail": "가장 기본 교차리듬", + "source": "Pressing 1983 Afro-Cuban", + "source_url": "https://doi.org/10.2307/851208", + "uncertainty": 0, + "n6_expr": "3/phi", + "n6_value": 6, + "verify": "3/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-orchestral-range-octaves", + "level": "L6_music", + "claim": "표준 오케스트라 음역 옥타브 수", + "measured": 8, + "unit": "옥타브", + "detail": "C2~C10 약 8옥타브", + "source": "Adler 2002 Study of Orchestration 3e", + "source_url": "https://www.wwnorton.com", + "uncertainty": 0, + "n6_expr": "8 = sigma-tau", + "n6_value": 6, + "verify": "8 = sigma-tau", + "grade": "EXACT", + "causal": "EMPIRICAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-arabic-maqam-basic", + "level": "L6_music", + "claim": "아랍 기본 마캄 수", + "measured": 12, + "unit": "개", + "detail": "기본 12마캄 체계", + "source": "Racy 2003 Making Music in the Arab World", + "source_url": "https://doi.org/10.1017/CBO9780511613388", + "uncertainty": 0, + "n6_expr": "12 = sigma", + "n6_value": 6, + "verify": "12 = sigma", + "grade": "EMPIRICAL", + "causal": "EMPIRICAL", + "thread": "sigma", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-rhythm-subdivision", + "level": "L6_music", + "claim": "리듬 세분 유형 수", + "measured": 2, + "unit": "개", + "detail": "2분할(straight) / 3분할(swing/triplet)", + "source": "Grove Music Online 2001", + "source_url": "https://www.grovemusic.com", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-rondo-min-returns", + "level": "L6_music", + "claim": "론도 주제 최소 복귀 횟수", + "measured": 3, + "unit": "회", + "detail": "ABACA 최소 구조", + "source": "Rosen 1988 Sonata Forms", + "source_url": "https://www.wwnorton.com", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-pentatonic-types", + "level": "L6_music", + "claim": "펜타토닉 음계 주요 유형", + "measured": 2, + "unit": "개", + "detail": "장조(메이저) / 단조(마이너)", + "source": "Music Theory texts", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "2 = phi", + "n6_value": 6, + "verify": "2 = phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-string-open-harmonics-nodes", + "level": "L6_music", + "claim": "개방현 기본음 노드 수", + "measured": 0, + "unit": "개", + "detail": "정상파 기본음: 노드=0", + "source": "물리학 진동 이론", + "source_url": "https://www.nist.gov", + "uncertainty": 0, + "n6_expr": "0 = n-n", + "n6_value": 6, + "verify": "0 = n-n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-melodic-contour-basic", + "level": "L6_music", + "claim": "선율 윤곽 기본 방향 수", + "measured": 3, + "unit": "개", + "detail": "상행/하행/수평", + "source": "Narmour 1990 The Analysis and Cognition of Basic Melodic Structures", + "source_url": "https://www.uchicago.edu", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + }, + { + "id": "L6-mus-v94-harmonic-series-partial-6", + "level": "L6_music", + "claim": "6번째 배음 비율 정수", + "measured": 6, + "unit": "무차원", + "detail": "6f (제6배음)", + "source": "물리 음향학", + "source_url": "https://www.asa.org", + "uncertainty": 0, + "n6_expr": "6 = n", + "n6_value": 6, + "verify": "6 = n", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "n", + "origin": "natural", + "bt_refs": [ + "BT-208" + ] + }, + { + "id": "L6-mus-v94-tonal-function-basic", + "level": "L6_music", + "claim": "조성 화성 기본 기능 수", + "measured": 3, + "unit": "개", + "detail": "으뜸화음(T)/버금딸림(S)/딸림(D)", + "source": "Riemann 1893 Vereinfachte Harmonielehre", + "source_url": "https://www.oup.com", + "uncertainty": 0, + "n6_expr": "3 = n/phi", + "n6_value": 6, + "verify": "3 = n/phi", + "grade": "EXACT", + "causal": "STRUCTURAL", + "thread": "phi", + "origin": "natural", + "bt_refs": [] + } +] \ No newline at end of file diff --git a/shared/discovery/auto_discovery_20cycles.json b/shared/discovery/auto_discovery_20cycles.json new file mode 100644 index 00000000..d36db6b8 --- /dev/null +++ b/shared/discovery/auto_discovery_20cycles.json @@ -0,0 +1,1786 @@ +{ + "config": { + "n_cycles": 20, + "max_cells": 32, + "steps": 50, + "repeats": 1, + "auto_register": false, + "total_interventions_available": 17 + }, + "phi_trajectory": [ + 0.9879485871293632, + 1.0115007773550473, + 1.0145113798508474, + 0.9745660329737973, + 0.986931269826818, + 0.97336038961033, + 0.9821133329557432, + 0.9739655228705799, + 0.9792888273145581, + 0.9703317529824169, + 0.9744545904564421, + 0.9777870812347565, + 0.9665931059210493, + 0.9737052200750602, + 0.9640352023909593, + 0.9755865691317064, + 0.9837580915122163, + 0.9737200701417988, + 0.9823561257664286, + 0.9545256870612339 + ], + "intervention_usage": { + "tension_eq": 1, + "symmetrize": 1, + "DD71_diversity": 1, + "DD72_temporal_comp": 1, + "pink_noise": 1, + "DD72_hebbian_boost": 1, + "DD73_entropy_bound": 1, + "DD73_channel_limit": 1, + "DD73_incompressible": 1, + "DD74_natural_reg": 1, + "DD75_soc_free_will": 1, + "DD75_decisive": 1, + "DD75_veto": 1, + "none": 7 + }, + "unique_interventions_used": 14, + "total_law_changes": 239, + "cycle_summaries": [ + { + "cycle": 0, + "phi": 0.9879485871293632, + "dphi_pct": -6.043367530375841, + "intervention": "tension_eq", + "n_changed": 14, + "top3": [ + "r_div_phi", + "consensus", + "stabilization" + ], + "elapsed": 2.569697141647339 + }, + { + "cycle": 1, + "phi": 1.0115007773550473, + "dphi_pct": -1.7980082598387883, + "intervention": "symmetrize", + "n_changed": 13, + "top3": [ + "r_div_phi", + "consensus", + "coupling_symmetry" + ], + "elapsed": 2.4428679943084717 + }, + { + "cycle": 2, + "phi": 1.0145113798508474, + "dphi_pct": 0.880576247658337, + "intervention": "DD71_diversity", + "n_changed": 11, + "top3": [ + "consensus", + "ac1", + "phi_volatility" + ], + "elapsed": 2.330770969390869 + }, + { + "cycle": 3, + "phi": 0.9745660329737973, + "dphi_pct": -3.976808115194954, + "intervention": "DD72_temporal_comp", + "n_changed": 12, + "top3": [ + "r_div_phi", + "r_tension_phi", + "ac1" + ], + "elapsed": 1.815953016281128 + }, + { + "cycle": 4, + "phi": 0.986931269826818, + "dphi_pct": 1.6709732762381808, + "intervention": "pink_noise", + "n_changed": 12, + "top3": [ + "r_tstd_phi", + "r_tension_phi", + "r_div_phi" + ], + "elapsed": 2.0517070293426514 + }, + { + "cycle": 5, + "phi": 0.97336038961033, + "dphi_pct": 0.8504536739004176, + "intervention": "DD72_hebbian_boost", + "n_changed": 9, + "top3": [ + "r_tension_phi", + "ac1", + "consensus" + ], + "elapsed": 2.0661869049072266 + }, + { + "cycle": 6, + "phi": 0.9821133329557432, + "dphi_pct": -0.40082654116941446, + "intervention": "DD73_entropy_bound", + "n_changed": 15, + "top3": [ + "ac1", + "faction_count", + "r_tstd_phi" + ], + "elapsed": 2.069796085357666 + }, + { + "cycle": 7, + "phi": 0.9739655228705799, + "dphi_pct": 1.9966505844083937, + "intervention": "DD73_channel_limit", + "n_changed": 15, + "top3": [ + "ac1", + "faction_count", + "r_tstd_phi" + ], + "elapsed": 2.1636321544647217 + }, + { + "cycle": 8, + "phi": 0.9792888273145581, + "dphi_pct": 0.29300447341548813, + "intervention": "DD73_incompressible", + "n_changed": 14, + "top3": [ + "ac1", + "r_tension_phi", + "consensus" + ], + "elapsed": 1.9262731075286865 + }, + { + "cycle": 9, + "phi": 0.9703317529824169, + "dphi_pct": 0.06839827511333907, + "intervention": "DD74_natural_reg", + "n_changed": 13, + "top3": [ + "ac1", + "r_tension_phi", + "r_tstd_phi" + ], + "elapsed": 2.489201307296753 + }, + { + "cycle": 10, + "phi": 0.9744545904564421, + "dphi_pct": -0.2153113555068278, + "intervention": "DD75_soc_free_will", + "n_changed": 13, + "top3": [ + "ac1", + "r_tstd_phi", + "output_divergence" + ], + "elapsed": 5.1953489780426025 + }, + { + "cycle": 11, + "phi": 0.9777870812347565, + "dphi_pct": 0.5719306294950001, + "intervention": "DD75_decisive", + "n_changed": 11, + "top3": [ + "r_tension_phi", + "r_tstd_phi", + "r_div_phi" + ], + "elapsed": 4.709558010101318 + }, + { + "cycle": 12, + "phi": 0.9665931059210493, + "dphi_pct": -0.7878481608060101, + "intervention": "DD75_veto", + "n_changed": 15, + "top3": [ + "cells", + "faction_count", + "hidden_diversity" + ], + "elapsed": 4.5617451667785645 + }, + { + "cycle": 13, + "phi": 0.9737052200750602, + "dphi_pct": -1.7885449497554244, + "intervention": "none", + "n_changed": 13, + "top3": [ + "ac1", + "r_tstd_phi", + "consensus" + ], + "elapsed": 4.5264809131622314 + }, + { + "cycle": 14, + "phi": 0.9640352023909593, + "dphi_pct": 0.9025732187800203, + "intervention": "none", + "n_changed": 7, + "top3": [ + "ac1", + "r_tstd_phi", + "r_div_phi" + ], + "elapsed": 4.200294017791748 + }, + { + "cycle": 15, + "phi": 0.9755865691317064, + "dphi_pct": 1.000526650231749, + "intervention": "none", + "n_changed": 13, + "top3": [ + "r_tstd_phi", + "r_tension_phi", + "ac1" + ], + "elapsed": 3.7006328105926514 + }, + { + "cycle": 16, + "phi": 0.9837580915122163, + "dphi_pct": 1.1197161409490028, + "intervention": "none", + "n_changed": 11, + "top3": [ + "ac1", + "r_tstd_phi", + "r_tension_phi" + ], + "elapsed": 3.010503053665161 + }, + { + "cycle": 17, + "phi": 0.9737200701417988, + "dphi_pct": -0.4484625443774073, + "intervention": "none", + "n_changed": 9, + "top3": [ + "r_tstd_phi", + "ac1", + "output_divergence" + ], + "elapsed": 3.168240785598755 + }, + { + "cycle": 18, + "phi": 0.9823561257664286, + "dphi_pct": 0.8536847375821534, + "intervention": "none", + "n_changed": 12, + "top3": [ + "ac1", + "r_tension_phi", + "r_tstd_phi" + ], + "elapsed": 2.719943046569824 + }, + { + "cycle": 19, + "phi": 0.9545256870612339, + "dphi_pct": -2.418373972086537, + "intervention": "none", + "n_changed": 7, + "top3": [ + "r_tension_phi", + "r_tstd_phi", + "consensus" + ], + "elapsed": 2.972416877746582 + } + ], + "law_candidates": [], + "law_change_tracker": { + "phi": [ + { + "cycle": 0, + "before": 1.0514942491673096, + "after": 0.9879485871293632, + "change_pct": -6.043367530375841 + } + ], + "r_tension_phi": [ + { + "cycle": 0, + "before": 0.23589502463281004, + "after": 0.16096021148129372, + "change_pct": -31.766169408684437 + }, + { + "cycle": 1, + "before": 0.2160702997606825, + "after": 0.06795856376777952, + "change_pct": -68.54793840567177 + }, + { + "cycle": 2, + "before": 0.1337197597891129, + "after": 0.11834903459782448, + "change_pct": -11.494729885492864 + }, + { + "cycle": 3, + "before": 0.10094509501216485, + "after": -0.21801371618917176, + "change_pct": -315.972570200562 + }, + { + "cycle": 4, + "before": -0.030141106494774354, + "after": 0.06841520086343478, + "change_pct": 326.9830434901125 + }, + { + "cycle": 5, + "before": 0.0024047532352796963, + "after": -0.12144179391482564, + "change_pct": -5150.073002633918 + }, + { + "cycle": 6, + "before": -0.06453081068530271, + "after": -0.1356481393902641, + "change_pct": -110.20678021818003 + }, + { + "cycle": 7, + "before": -0.33491444350654936, + "after": -0.3021484910821492, + "change_pct": 9.783379922747173 + }, + { + "cycle": 8, + "before": -0.025741314917938796, + "after": -0.12725083230882847, + "change_pct": -394.34472448083443 + }, + { + "cycle": 9, + "before": -0.2391794095713112, + "after": 0.021973718503589486, + "change_pct": 109.18712799859055 + }, + { + "cycle": 10, + "before": -0.38805840686289145, + "after": -0.44848550419756983, + "change_pct": -15.57165010885293 + }, + { + "cycle": 11, + "before": 0.09969684279898021, + "after": -0.2130246516603986, + "change_pct": -313.67241497298204 + }, + { + "cycle": 12, + "before": -0.2425240589904086, + "after": -0.3441491514267249, + "change_pct": -41.903097308929425 + }, + { + "cycle": 13, + "before": 0.07642816038091302, + "after": 0.10645251384890443, + "change_pct": 39.284412078417134 + }, + { + "cycle": 14, + "before": -0.2625909558760903, + "after": -0.3026793493337803, + "change_pct": -15.266479122992585 + }, + { + "cycle": 15, + "before": -0.025973117708005405, + "after": 0.01611331110496631, + "change_pct": 162.03841712849083 + }, + { + "cycle": 16, + "before": -0.4082325069484748, + "after": -0.03822863535979262, + "change_pct": 90.63557293720913 + }, + { + "cycle": 18, + "before": -0.16996568994809627, + "after": -0.04128560122687219, + "change_pct": 75.70944980749945 + }, + { + "cycle": 19, + "before": -0.0011775355484379194, + "after": -0.5769835473573682, + "change_pct": -48899.246614913325 + } + ], + "r_tstd_phi": [ + { + "cycle": 0, + "before": 0.3690787538969631, + "after": 0.41466268292615316, + "change_pct": 12.350732343134515 + }, + { + "cycle": 1, + "before": 0.3216694910949465, + "after": 0.24020046695593475, + "change_pct": -25.32693537758131 + }, + { + "cycle": 2, + "before": 0.3324687114898538, + "after": 0.2520845935045636, + "change_pct": -24.17794974602997 + }, + { + "cycle": 3, + "before": 0.28187756631829, + "after": -0.09979467387114244, + "change_pct": -135.4035531009433 + }, + { + "cycle": 4, + "before": -0.00947837591396193, + "after": 0.06442127501139543, + "change_pct": 779.6657528269266 + }, + { + "cycle": 5, + "before": 0.1056149281556335, + "after": 0.04300347625378324, + "change_pct": -59.28276711942313 + }, + { + "cycle": 6, + "before": 0.034167521363204376, + "after": -0.007847178604374274, + "change_pct": -122.96677748718714 + }, + { + "cycle": 7, + "before": -0.27889755782984593, + "after": -0.12539305060247405, + "change_pct": 55.03974592743629 + }, + { + "cycle": 8, + "before": -0.08593972039978738, + "after": -0.005933944176486859, + "change_pct": 93.09522517773802 + }, + { + "cycle": 9, + "before": -0.1206453602177804, + "after": -0.004372050830195875, + "change_pct": 96.37611357593549 + }, + { + "cycle": 10, + "before": -0.2121185954885165, + "after": -0.3208359785167595, + "change_pct": -51.2531128060051 + }, + { + "cycle": 11, + "before": 0.17773153588817195, + "after": -0.1704404790734468, + "change_pct": -195.8977134933934 + }, + { + "cycle": 12, + "before": -0.16089837038030824, + "after": -0.1965968607997709, + "change_pct": -22.186980722728105 + }, + { + "cycle": 13, + "before": 0.06401232834839637, + "after": 0.1163489140418898, + "change_pct": 81.76016564909804 + }, + { + "cycle": 14, + "before": -0.2106121912491277, + "after": -0.2718367725381915, + "change_pct": -29.069818288269378 + }, + { + "cycle": 15, + "before": 0.0018975309561774973, + "after": 0.08647559454995556, + "change_pct": 4457.269238134449 + }, + { + "cycle": 16, + "before": -0.3616110830176442, + "after": -0.012148637348563597, + "change_pct": 96.64041343888489 + }, + { + "cycle": 17, + "before": -0.03551213776624368, + "after": 0.06120389956147734, + "change_pct": 272.34642409969234 + }, + { + "cycle": 18, + "before": -0.1052551554054962, + "after": -0.060035947632413676, + "change_pct": 42.961513475397204 + }, + { + "cycle": 19, + "before": -0.041078635566154584, + "after": -0.50913728573386, + "change_pct": -1139.4211217505656 + } + ], + "r_div_phi": [ + { + "cycle": 0, + "before": 0.18312805276357227, + "after": -0.2904642646302114, + "change_pct": -258.6126539581654 + }, + { + "cycle": 1, + "before": 0.026033533166580126, + "after": -0.17537120969818573, + "change_pct": -773.6358394999338 + }, + { + "cycle": 2, + "before": -0.036666207619775355, + "after": -0.02895562549381585, + "change_pct": 21.029123616812008 + }, + { + "cycle": 3, + "before": -0.04777295253997966, + "after": -0.3238811951910271, + "change_pct": -577.959343040356 + }, + { + "cycle": 4, + "before": -0.24884265908165681, + "after": -0.039522631565851146, + "change_pct": 84.11742114004579 + }, + { + "cycle": 5, + "before": -0.1907712848425713, + "after": -0.22912284621749998, + "change_pct": -20.103424583305205 + }, + { + "cycle": 6, + "before": -0.2795005094649475, + "after": -0.44211188791206485, + "change_pct": -58.1792780121965 + }, + { + "cycle": 7, + "before": -0.4252382474145037, + "after": -0.20606762011954058, + "change_pct": 51.540666585742265 + }, + { + "cycle": 8, + "before": -0.4293326013838444, + "after": -0.28600226320726274, + "change_pct": 33.384452453550644 + }, + { + "cycle": 9, + "before": -0.3574657732040109, + "after": -0.38192602019252714, + "change_pct": -6.842682243190991 + }, + { + "cycle": 10, + "before": -0.32719134075267253, + "after": -0.28769114198704165, + "change_pct": 12.072507381999912 + }, + { + "cycle": 11, + "before": -0.20653432956426968, + "after": -0.336073528791252, + "change_pct": -62.72042013561341 + }, + { + "cycle": 12, + "before": -0.3183104670198198, + "after": -0.279622765540049, + "change_pct": 12.154077697156557 + }, + { + "cycle": 13, + "before": -0.2731225715797662, + "after": -0.2934319390728656, + "change_pct": -7.435990140114784 + }, + { + "cycle": 14, + "before": -0.388021889775999, + "after": -0.49207951513215265, + "change_pct": -26.817462647848306 + }, + { + "cycle": 15, + "before": -0.4365938597677788, + "after": -0.2901686236049689, + "change_pct": 33.5380887492766 + }, + { + "cycle": 17, + "before": -0.3675383885068454, + "after": -0.41411893857377874, + "change_pct": -12.67365573870273 + }, + { + "cycle": 18, + "before": -0.42975239706957236, + "after": -0.27449383578774283, + "change_pct": 36.127445091759384 + }, + { + "cycle": 19, + "before": -0.28421660533910836, + "after": -0.4079424055223398, + "change_pct": -43.532220798855164 + } + ], + "ac1": [ + { + "cycle": 0, + "before": -0.14565843950800672, + "after": -0.06971756515740171, + "change_pct": 52.13626797534832 + }, + { + "cycle": 1, + "before": -0.17229443759566562, + "after": -0.1986807422227649, + "change_pct": -15.314658438957684 + }, + { + "cycle": 2, + "before": -0.1967838874678225, + "after": -0.006851992836949645, + "change_pct": 96.51801124313592 + }, + { + "cycle": 3, + "before": -0.2554561557449393, + "after": 0.36196016027354017, + "change_pct": 241.69169625919685 + }, + { + "cycle": 4, + "before": 0.07070388736295526, + "after": 0.03265759624195246, + "change_pct": -53.810748658972386 + }, + { + "cycle": 5, + "before": 0.08243325229118513, + "after": -0.07792192599008704, + "change_pct": -194.52729793413656 + }, + { + "cycle": 6, + "before": -0.21697323818797673, + "after": 0.3979092936274428, + "change_pct": 283.3909550092581 + }, + { + "cycle": 7, + "before": 0.010193659512323256, + "after": -0.06698094431419974, + "change_pct": -757.0843791008082 + }, + { + "cycle": 8, + "before": -0.022210082261144223, + "after": 0.2530220946067232, + "change_pct": 1239.221780593657 + }, + { + "cycle": 9, + "before": -0.014773159680924162, + "after": -0.06704957686213517, + "change_pct": -353.860773932559 + }, + { + "cycle": 10, + "before": 0.05710933050914893, + "after": 0.2528393460499017, + "change_pct": 342.72861158720247 + }, + { + "cycle": 11, + "before": 0.30101323849967765, + "after": 0.32932284431616804, + "change_pct": 9.404771018574557 + }, + { + "cycle": 12, + "before": 0.26376993953661715, + "after": 0.13914602613335328, + "change_pct": -47.24720095936606 + }, + { + "cycle": 13, + "before": -0.012309136380393696, + "after": 0.11384452665148861, + "change_pct": 1024.8782622379833 + }, + { + "cycle": 14, + "before": 0.3747839286586265, + "after": 0.07185967382977804, + "change_pct": -80.82637265504741 + }, + { + "cycle": 15, + "before": -0.3470013172241351, + "after": 0.20460714195006224, + "change_pct": 158.96437039110788 + }, + { + "cycle": 16, + "before": -0.032031809780568486, + "after": -0.2959537177957199, + "change_pct": -823.9369233993605 + }, + { + "cycle": 17, + "before": 0.16320888213001794, + "after": -0.17546089665316653, + "change_pct": -207.5069532756117 + }, + { + "cycle": 18, + "before": -0.22920343141870908, + "after": 0.1715761397538556, + "change_pct": 174.8575790038763 + }, + { + "cycle": 19, + "before": -0.12253013012906014, + "after": 0.00282646860561916, + "change_pct": 102.30675394096298 + } + ], + "stabilization": [ + { + "cycle": 0, + "before": 9.805919329315602, + "after": 18.376743502454683, + "change_pct": 87.4045959925032 + }, + { + "cycle": 1, + "before": 9.080826188172766, + "after": 6.6748586273044035, + "change_pct": -26.495029317948976 + }, + { + "cycle": 2, + "before": 8.748498271666893, + "after": 6.29421110816531, + "change_pct": -28.053810920327884 + }, + { + "cycle": 3, + "before": 9.506635934737991, + "after": 5.372364361927207, + "change_pct": -43.48827073206657 + }, + { + "cycle": 5, + "before": 10.611713384760213, + "after": 8.518940667078942, + "change_pct": -19.721346042824358 + }, + { + "cycle": 6, + "before": 7.90032440228362, + "after": 7.338490228293432, + "change_pct": -7.111532962213392 + }, + { + "cycle": 7, + "before": 8.46799759385883, + "after": 9.217910923193601, + "change_pct": 8.855851941651768 + }, + { + "cycle": 9, + "before": 7.826747368156783, + "after": 6.922918634914174, + "change_pct": -11.547948218181256 + }, + { + "cycle": 10, + "before": 7.612920859466317, + "after": 9.6333339179246, + "change_pct": 26.539262600451092 + }, + { + "cycle": 11, + "before": 6.33795592249888, + "after": 7.876965901206507, + "change_pct": 24.282434234740435 + }, + { + "cycle": 12, + "before": 6.844872721882082, + "after": 5.895404227659436, + "change_pct": -13.871236658460138 + }, + { + "cycle": 13, + "before": 9.082533469530285, + "after": 11.702812450733871, + "change_pct": 28.849648503845238 + }, + { + "cycle": 14, + "before": 8.145775286369286, + "after": 8.714446840338216, + "change_pct": 6.981183914077703 + }, + { + "cycle": 15, + "before": 10.681311039801864, + "after": 5.809605939308336, + "change_pct": -45.609617418124515 + }, + { + "cycle": 16, + "before": 7.971509832651532, + "after": 6.3843184372567645, + "change_pct": -19.91080019613833 + }, + { + "cycle": 17, + "before": 8.14491474067883, + "after": 8.575142027987852, + "change_pct": 5.282158266928212 + }, + { + "cycle": 18, + "before": 9.240136539758307, + "after": 7.428180778214794, + "change_pct": -19.60962106725436 + } + ], + "consensus": [ + { + "cycle": 0, + "before": 0.96, + "after": 0.0, + "change_pct": -100.0 + }, + { + "cycle": 1, + "before": 0.18, + "after": 0.4, + "change_pct": 122.22222222222223 + }, + { + "cycle": 2, + "before": 0.08, + "after": 0.3, + "change_pct": 274.99999999999994 + }, + { + "cycle": 3, + "before": 0.18, + "after": 0.4, + "change_pct": 122.22222222222223 + }, + { + "cycle": 4, + "before": 0.48, + "after": 0.54, + "change_pct": 12.50000000000001 + }, + { + "cycle": 5, + "before": 0.08, + "after": 0.18, + "change_pct": 124.99999999999997 + }, + { + "cycle": 6, + "before": 0.48, + "after": 0.6, + "change_pct": 25.0 + }, + { + "cycle": 7, + "before": 0.24, + "after": 0.18, + "change_pct": -25.0 + }, + { + "cycle": 8, + "before": 0.18, + "after": 0.54, + "change_pct": 200.00000000000006 + }, + { + "cycle": 9, + "before": 0.64, + "after": 0.58, + "change_pct": -9.375000000000009 + }, + { + "cycle": 12, + "before": 0.32, + "after": 0.18, + "change_pct": -43.75000000000001 + }, + { + "cycle": 13, + "before": 0.28, + "after": 0.08, + "change_pct": -71.42857142857143 + }, + { + "cycle": 15, + "before": 0.08, + "after": 0.18, + "change_pct": 124.99999999999997 + }, + { + "cycle": 18, + "before": 0.48, + "after": 0.56, + "change_pct": 16.666666666666682 + }, + { + "cycle": 19, + "before": 0.18, + "after": 0.4, + "change_pct": 122.22222222222223 + } + ], + "mutual_info": [ + { + "cycle": 0, + "before": 1.0499858627211842, + "after": 0.9523070472868443, + "change_pct": -9.302869581614333 + }, + { + "cycle": 4, + "before": 1.0555382144354284, + "after": 0.9765900566399667, + "change_pct": -7.47942203472836 + }, + { + "cycle": 5, + "before": 0.929317475243487, + "after": 0.9985300178922814, + "change_pct": 7.447674717475886 + }, + { + "cycle": 6, + "before": 0.9911117865507777, + "after": 1.0612413034024615, + "change_pct": 7.075843290669093 + }, + { + "cycle": 7, + "before": 0.9260610225415785, + "after": 0.9791541970726755, + "change_pct": 5.733226346724162 + }, + { + "cycle": 8, + "before": 1.0848143699330912, + "after": 1.0033141758979787, + "change_pct": -7.512823971915056 + }, + { + "cycle": 9, + "before": 1.0529784757847296, + "after": 0.965890481901483, + "change_pct": -8.270633815030692 + }, + { + "cycle": 10, + "before": 1.080324616465402, + "after": 0.9867857728182418, + "change_pct": -8.658401578703245 + }, + { + "cycle": 12, + "before": 1.0657800806480262, + "after": 0.9896663515834891, + "change_pct": -7.141598013190268 + }, + { + "cycle": 15, + "before": 0.9578546151876859, + "after": 1.0168875206928398, + "change_pct": 6.1630339896192705 + }, + { + "cycle": 16, + "before": 1.021703597444257, + "after": 0.8989601522985788, + "change_pct": -12.013606045110837 + }, + { + "cycle": 18, + "before": 0.9973081408882031, + "after": 1.0828072644914042, + "change_pct": 8.572989640599499 + } + ], + "output_divergence": [ + { + "cycle": 0, + "before": 0.668615847826004, + "after": 0.817073866724968, + "change_pct": 22.203784038573616 + }, + { + "cycle": 1, + "before": 0.8101763725280762, + "after": 0.6846858859062195, + "change_pct": -15.489279973726694 + }, + { + "cycle": 2, + "before": 0.8652066141366959, + "after": 0.7861692160367966, + "change_pct": -9.135089446670827 + }, + { + "cycle": 3, + "before": 1.1769253611564636, + "after": 0.6386028528213501, + "change_pct": -45.73973219560416 + }, + { + "cycle": 4, + "before": 0.9117141515016556, + "after": 0.7647280842065811, + "change_pct": -16.12194645141554 + }, + { + "cycle": 5, + "before": 0.7219142913818359, + "after": 0.4974019527435303, + "change_pct": -31.0995836096499 + }, + { + "cycle": 6, + "before": 0.755374863743782, + "after": 0.8003922998905182, + "change_pct": 5.959615325776283 + }, + { + "cycle": 7, + "before": 0.7353867292404175, + "after": 0.7973854839801788, + "change_pct": 8.430768774383514 + }, + { + "cycle": 8, + "before": 0.6615418791770935, + "after": 0.5959819853305817, + "change_pct": -9.910165313806472 + }, + { + "cycle": 9, + "before": 0.6457215845584869, + "after": 0.5550204515457153, + "change_pct": -14.046476868941687 + }, + { + "cycle": 10, + "before": 0.6221915185451508, + "after": 0.8114618062973022, + "change_pct": 30.41994018091339 + }, + { + "cycle": 11, + "before": 0.6943472027778625, + "after": 0.7303697764873505, + "change_pct": 5.1879770762196555 + }, + { + "cycle": 12, + "before": 0.6602142453193665, + "after": 0.7805736660957336, + "change_pct": 18.230358043568952 + }, + { + "cycle": 13, + "before": 0.6128875315189362, + "after": 0.522438257932663, + "change_pct": -14.757890956291812 + }, + { + "cycle": 15, + "before": 0.7614132016897202, + "after": 0.6008610725402832, + "change_pct": -21.086071110028215 + }, + { + "cycle": 16, + "before": 0.7045547664165497, + "after": 0.7613575756549835, + "change_pct": 8.062227657239445 + }, + { + "cycle": 17, + "before": 0.5126757621765137, + "after": 0.737754762172699, + "change_pct": 43.902797167674734 + }, + { + "cycle": 18, + "before": 0.7730250954627991, + "after": 0.638264536857605, + "change_pct": -17.432882761007242 + } + ], + "faction_entropy": [ + { + "cycle": 0, + "before": 2.9219280937332064, + "after": 3.3219280934446673, + "change_pct": 13.689590807157758 + }, + { + "cycle": 1, + "before": 3.506890593877284, + "after": 3.2389012551599357, + "change_pct": -7.641793535995498 + }, + { + "cycle": 4, + "before": 2.419381944780754, + "after": 2.6635327537943687, + "change_pct": 10.091453709502645 + }, + { + "cycle": 6, + "before": 1.37095059402186, + "after": 2.8073549210477178, + "change_pct": 104.77433200652261 + }, + { + "cycle": 7, + "before": 2.550340708536502, + "after": 3.506890593877284, + "change_pct": 37.50674888806101 + }, + { + "cycle": 8, + "before": 2.9219280937332064, + "after": 1.9219280943102843, + "change_pct": -34.22397702283188 + }, + { + "cycle": 10, + "before": 2.8553885410533777, + "after": 3.026986832060861, + "change_pct": 6.009630162071717 + }, + { + "cycle": 12, + "before": 2.3219280941660148, + "after": 3.0849624994227307, + "change_pct": 32.862103144963285 + }, + { + "cycle": 13, + "before": 2.725480555987981, + "after": 3.521640634612085, + "change_pct": 29.2117321062853 + }, + { + "cycle": 15, + "before": 3.521640634612085, + "after": 3.0849624994227307, + "change_pct": -12.399849402505982 + }, + { + "cycle": 17, + "before": 2.646439343661129, + "after": 3.095795253702508, + "change_pct": 16.97964138561108 + }, + { + "cycle": 18, + "before": 2.5949066172340536, + "after": 2.251629166666475, + "change_pct": -13.228894184002757 + } + ], + "coupling_symmetry": [ + { + "cycle": 0, + "before": 0.13896457850933075, + "after": 0.04125162586569786, + "change_pct": -70.31500666702053 + }, + { + "cycle": 1, + "before": 0.007145840208977461, + "after": 0.0, + "change_pct": -100.0 + } + ], + "coupling_density": [ + { + "cycle": 0, + "before": 0.9777777777777777, + "after": 0.8888888888888888, + "change_pct": -9.090909090909092 + }, + { + "cycle": 2, + "before": 0.9340659340659341, + "after": 0.8857142857142857, + "change_pct": -5.1764705882353 + }, + { + "cycle": 3, + "before": 0.9428571428571428, + "after": 0.8761904761904762, + "change_pct": -7.070707070707069 + }, + { + "cycle": 4, + "before": 0.8888888888888888, + "after": 0.9454545454545454, + "change_pct": 6.363636363636367 + }, + { + "cycle": 5, + "before": 0.8589743589743589, + "after": 0.9560439560439561, + "change_pct": 11.300639658848628 + }, + { + "cycle": 6, + "before": 0.9, + "after": 0.8095238095238095, + "change_pct": -10.052910052910054 + }, + { + "cycle": 8, + "before": 0.8444444444444444, + "after": 1.0, + "change_pct": 18.421052631578945 + }, + { + "cycle": 9, + "before": 0.9523809523809523, + "after": 1.0, + "change_pct": 5.000000000000006 + }, + { + "cycle": 10, + "before": 0.8636363636363636, + "after": 0.9358974358974359, + "change_pct": 8.367071524966262 + }, + { + "cycle": 11, + "before": 0.8095238095238095, + "after": 0.7619047619047619, + "change_pct": -5.882352941176476 + }, + { + "cycle": 12, + "before": 1.0, + "after": 0.8787878787878788, + "change_pct": -12.121212121212121 + }, + { + "cycle": 13, + "before": 0.8888888888888888, + "after": 0.9560439560439561, + "change_pct": 7.554945054945065 + }, + { + "cycle": 14, + "before": 0.9642857142857143, + "after": 0.8095238095238095, + "change_pct": -16.049382716049383 + }, + { + "cycle": 15, + "before": 0.9010989010989011, + "after": 0.9696969696969697, + "change_pct": 7.612712490761273 + }, + { + "cycle": 16, + "before": 0.9523809523809523, + "after": 0.8, + "change_pct": -15.999999999999993 + }, + { + "cycle": 18, + "before": 0.8545454545454545, + "after": 0.8, + "change_pct": -6.382978723404245 + } + ], + "tension_range": [ + { + "cycle": 0, + "before": 0.4541899148582091, + "after": 0.4277107936509461, + "change_pct": -5.829966791651317 + }, + { + "cycle": 1, + "before": 0.39356954723608767, + "after": 0.43399401120743747, + "change_pct": 10.271237766041049 + }, + { + "cycle": 7, + "before": 0.43411906512822257, + "after": 0.3937100156989438, + "change_pct": -9.308287213173518 + }, + { + "cycle": 9, + "before": 0.3960785432542524, + "after": 0.43348717922193103, + "change_pct": 9.444751957609862 + }, + { + "cycle": 19, + "before": 0.43359432739694814, + "after": 0.3945951006523039, + "change_pct": -8.994404280787814 + } + ], + "faction_count": [ + { + "cycle": 0, + "before": 8.0, + "after": 10.0, + "change_pct": 25.0 + }, + { + "cycle": 1, + "before": 12.0, + "after": 10.0, + "change_pct": -16.666666666666664 + }, + { + "cycle": 3, + "before": 12.0, + "after": 11.0, + "change_pct": -8.333333333333332 + }, + { + "cycle": 4, + "before": 6.0, + "after": 7.0, + "change_pct": 16.666666666666664 + }, + { + "cycle": 6, + "before": 3.0, + "after": 7.0, + "change_pct": 133.33333333333331 + }, + { + "cycle": 7, + "before": 7.0, + "after": 12.0, + "change_pct": 71.42857142857143 + }, + { + "cycle": 8, + "before": 8.0, + "after": 4.0, + "change_pct": -50.0 + }, + { + "cycle": 10, + "before": 8.0, + "after": 9.0, + "change_pct": 12.5 + }, + { + "cycle": 12, + "before": 5.0, + "after": 9.0, + "change_pct": 80.0 + }, + { + "cycle": 13, + "before": 7.0, + "after": 12.0, + "change_pct": 71.42857142857143 + }, + { + "cycle": 15, + "before": 12.0, + "after": 9.0, + "change_pct": -25.0 + }, + { + "cycle": 17, + "before": 7.0, + "after": 9.0, + "change_pct": 28.57142857142857 + }, + { + "cycle": 18, + "before": 7.0, + "after": 5.0, + "change_pct": -28.57142857142857 + }, + { + "cycle": 19, + "before": 12.0, + "after": 11.0, + "change_pct": -8.333333333333332 + } + ], + "cells": [ + { + "cycle": 1, + "before": 15.0, + "after": 16.0, + "change_pct": 6.666666666666667 + }, + { + "cycle": 2, + "before": 14.0, + "after": 15.0, + "change_pct": 7.142857142857142 + }, + { + "cycle": 3, + "before": 15.0, + "after": 16.0, + "change_pct": 6.666666666666667 + }, + { + "cycle": 6, + "before": 8.0, + "after": 12.0, + "change_pct": 50.0 + }, + { + "cycle": 7, + "before": 12.0, + "after": 15.0, + "change_pct": 25.0 + }, + { + "cycle": 8, + "before": 14.0, + "after": 6.0, + "change_pct": -57.14285714285714 + }, + { + "cycle": 9, + "before": 10.0, + "after": 7.0, + "change_pct": -30.0 + }, + { + "cycle": 10, + "before": 14.0, + "after": 13.0, + "change_pct": -7.142857142857142 + }, + { + "cycle": 11, + "before": 7.0, + "after": 8.0, + "change_pct": 14.285714285714285 + }, + { + "cycle": 12, + "before": 6.0, + "after": 14.0, + "change_pct": 133.33333333333331 + }, + { + "cycle": 13, + "before": 11.0, + "after": 14.0, + "change_pct": 27.27272727272727 + }, + { + "cycle": 15, + "before": 14.0, + "after": 15.0, + "change_pct": 7.142857142857142 + }, + { + "cycle": 16, + "before": 10.0, + "after": 7.0, + "change_pct": -30.0 + } + ], + "hidden_diversity": [ + { + "cycle": 1, + "before": 0.04365488514304161, + "after": 0.03558818995952606, + "change_pct": -18.478333311572904 + }, + { + "cycle": 2, + "before": 0.042879898101091385, + "after": 0.0383354015648365, + "change_pct": -10.59819807766571 + }, + { + "cycle": 3, + "before": 0.037999022752046585, + "after": 0.034646157175302505, + "change_pct": -8.823557380994746 + }, + { + "cycle": 4, + "before": 0.05143548548221588, + "after": 0.05557813495397568, + "change_pct": 8.05406896216065 + }, + { + "cycle": 6, + "before": 0.09103044867515564, + "after": 0.05937270447611809, + "change_pct": -34.77709344486368 + }, + { + "cycle": 7, + "before": 0.05341989919543266, + "after": 0.04115716740489006, + "change_pct": -22.955363029945687 + }, + { + "cycle": 8, + "before": 0.04590931162238121, + "after": 0.08533764630556107, + "change_pct": 85.88308839716555 + }, + { + "cycle": 9, + "before": 0.07381142675876617, + "after": 0.08571228384971619, + "change_pct": 16.12332617528845 + }, + { + "cycle": 10, + "before": 0.041892554610967636, + "after": 0.04548962414264679, + "change_pct": 8.586417240684163 + }, + { + "cycle": 11, + "before": 0.0932849571108818, + "after": 0.08449830114841461, + "change_pct": -9.419156351246496 + }, + { + "cycle": 12, + "before": 0.08388970792293549, + "after": 0.04014965891838074, + "change_pct": -52.13994670804689 + }, + { + "cycle": 13, + "before": 0.06404407322406769, + "after": 0.05953206494450569, + "change_pct": -7.045161327850067 + }, + { + "cycle": 15, + "before": 0.04169857129454613, + "after": 0.03787902370095253, + "change_pct": -9.159900387506003 + }, + { + "cycle": 16, + "before": 0.06094907596707344, + "after": 0.08402653783559799, + "change_pct": 37.86351392922134 + }, + { + "cycle": 17, + "before": 0.0639064759016037, + "after": 0.056689705699682236, + "change_pct": -11.292705629759757 + } + ], + "phi_volatility": [ + { + "cycle": 2, + "before": 0.10855834991032601, + "after": 0.16841283695960296, + "change_pct": 55.1357745385034 + }, + { + "cycle": 3, + "before": 0.17558011347041047, + "after": 0.04896096402167917, + "change_pct": -72.11474405959405 + }, + { + "cycle": 4, + "before": 0.07466645995874811, + "after": 0.05279484521936464, + "change_pct": -29.29242226224084 + }, + { + "cycle": 6, + "before": 0.06189083576042044, + "after": 0.0654327530550365, + "change_pct": 5.722846122690649 + }, + { + "cycle": 7, + "before": 0.06809056426481482, + "after": 0.052850661194263154, + "change_pct": -22.38181344963056 + }, + { + "cycle": 8, + "before": 0.06161526987324141, + "after": 0.05580045271951762, + "change_pct": -9.437298847649906 + }, + { + "cycle": 10, + "before": 0.06614619963259206, + "after": 0.07194586788279099, + "change_pct": 8.76795383924259 + }, + { + "cycle": 11, + "before": 0.06001132643114628, + "after": 0.06786496122937351, + "change_pct": 13.086920861911056 + }, + { + "cycle": 12, + "before": 0.0706755685446072, + "after": 0.04369201309039633, + "change_pct": -38.179467119787056 + }, + { + "cycle": 14, + "before": 0.06635781642137384, + "after": 0.059912770893819495, + "change_pct": -9.712564208906663 + }, + { + "cycle": 16, + "before": 0.07671236068176557, + "after": 0.056152498214315845, + "change_pct": -26.801238137802187 + }, + { + "cycle": 17, + "before": 0.06428078143575053, + "after": 0.06830892720659502, + "change_pct": 6.266485380036457 + }, + { + "cycle": 18, + "before": 0.06109950368213237, + "after": 0.05552471778624602, + "change_pct": -9.124109951676436 + } + ], + "shannon_entropy": [ + { + "cycle": 6, + "before": 2.6649817845902337, + "after": 2.96259441584258, + "change_pct": 11.167529660924385 + }, + { + "cycle": 7, + "before": 2.9881278018422006, + "after": 3.180532173367633, + "change_pct": 6.438960589530805 + }, + { + "cycle": 8, + "before": 3.110603709645871, + "after": 2.34532825363726, + "change_pct": -24.602152104285075 + }, + { + "cycle": 9, + "before": 2.814169625558674, + "after": 2.483355184759259, + "change_pct": -11.755312749981837 + }, + { + "cycle": 11, + "before": 2.503444470435829, + "after": 2.635426450163963, + "change_pct": 5.272015468557882 + }, + { + "cycle": 12, + "before": 2.3254778467811366, + "after": 3.1252314994749355, + "change_pct": 34.39093835276893 + }, + { + "cycle": 13, + "before": 2.901839746056141, + "after": 3.104568189030246, + "change_pct": 6.986203950429412 + }, + { + "cycle": 16, + "before": 2.856004684101568, + "after": 2.4556155051536033, + "change_pct": -14.019205961978932 + } + ] + }, + "elapsed_seconds": 60.69525909423828 +} \ No newline at end of file diff --git a/shared/discovery/closure_quality_report.json b/shared/discovery/closure_quality_report.json new file mode 100644 index 00000000..a0ca4b2d --- /dev/null +++ b/shared/discovery/closure_quality_report.json @@ -0,0 +1,64 @@ +{ + "generated": "2026-04-05", + "total_exact": 98274, + "real_from_data": 13019, + "synthetic_enumerated": 83686, + "other": 1569, + "multi_source_count": 6, + "top_convergences": [ + { + "value": 6.0, + "sources": [ + "auto-sync", + "auto-expand", + "auto-promote" + ], + "count": 7 + }, + { + "value": 28.0, + "sources": [ + "auto-sync", + "auto-expand", + "auto-promote" + ], + "count": 6 + }, + { + "value": 0.0, + "sources": [ + "auto-sync", + "auto-deep", + "auto-depth3" + ], + "count": 6 + }, + { + "value": 0.12, + "sources": [ + "auto-sync", + "auto-deep", + "auto-depth3" + ], + "count": 6 + }, + { + "value": 0.08, + "sources": [ + "auto-sync", + "auto-deep", + "auto-depth3" + ], + "count": 5 + }, + { + "value": 0.71, + "sources": [ + "auto-deep", + "auto-promote", + "auto-depth3" + ], + "count": 3 + } + ] +} \ No newline at end of file diff --git a/shared/discovery/forge_result.json b/shared/discovery/forge_result.json new file mode 100644 index 00000000..ad87150d --- /dev/null +++ b/shared/discovery/forge_result.json @@ -0,0 +1 @@ +{"generated":0,"accepted":0,"lenses":[]} \ No newline at end of file diff --git a/shared/discovery/reality_map_zscore_v9.3.json b/shared/discovery/reality_map_zscore_v9.3.json new file mode 100644 index 00000000..4aa3ec9c --- /dev/null +++ b/shared/discovery/reality_map_zscore_v9.3.json @@ -0,0 +1,110 @@ +{ + "reality_map_version": "v9.4", + "reality_map_total_nodes": 3847, + "generated": "2026-04-09T16:02:43", + "script": "monte_carlo_n6_v9_3.py", + "seed": 20260409, + "n_trials": 10000, + "random_set_size": 7, + "random_range": [ + 1, + 30 + ], + "previous_v5.0": { + "natural_big_z": 3.06, + "engineering_z": 1.75 + }, + "target_z_gt": 5.0, + "results": { + "full": { + "label": "FULL (1..10^4)", + "n_targets": 1988, + "max_result": 10000, + "match_mode": "exact", + "match_tol": 0.0, + "n6_constants": [ + 6, + 12, + 4, + 2, + 5, + 24, + 1 + ], + "n6_reachable_size": 51, + "n6_hits": 1388, + "n6_hit_rate": 0.6981891348088531, + "n_trials": 10000, + "random_mean": 1205.2103, + "random_std": 179.96817516969492, + "random_min": 283, + "random_max": 1519, + "z_score": 1.0156779098729243, + "p_value": 0.1329, + "count_ge": 1329, + "efficiency": { + "n6_efficiency": 27.215686274509803, + "random_mean": 20.534182363209002, + "random_std": 3.487554776524547, + "z_score": 1.915813324646651, + "p_value": 0.0459 + }, + "size_matched": { + "n_matched": 2469, + "size_tolerance": 5, + "random_mean": 1145.886593762657, + "random_std": 166.24181278622476, + "z_score": 1.456392962633798, + "p_value": 0.02754151478331308 + } + }, + "natural_big": { + "label": "NATURAL_BIG (100..10^9, log±0.01)", + "n_targets": 521, + "max_result": 1000000000, + "match_mode": "log_tol", + "match_tol": 0.01, + "n6_constants": [ + 6, + 12, + 4, + 2, + 5, + 24, + 1 + ], + "n6_reachable_size": 65, + "n6_hits": 46, + "n6_hit_rate": 0.08829174664107485, + "n_trials": 10000, + "random_mean": 60.6222, + "random_std": 24.111409480990527, + "random_min": 5, + "random_max": 155, + "z_score": -0.606443186638598, + "p_value": 0.6972, + "count_ge": 6972, + "efficiency": { + "n6_efficiency": 0.7076923076923077, + "random_mean": 0.8281868856587822, + "random_std": 0.2965712799972153, + "z_score": -0.406292133100703, + "p_value": 0.597 + }, + "size_matched": { + "n_matched": 2671, + "size_tolerance": 6, + "random_mean": 55.384500187195805, + "random_std": 20.79219281442205, + "z_score": -0.45134730477713014, + "p_value": 0.6248596031448895 + } + } + }, + "passed_target": { + "full_hit_z_gt_5": false, + "full_best_z": 1.915813324646651, + "natural_big_hit_z_gt_5": false, + "natural_big_best_z": -0.406292133100703 + } +} \ No newline at end of file diff --git a/shared/discovery/reality_map_zscore_v9.3_revised.json b/shared/discovery/reality_map_zscore_v9.3_revised.json new file mode 100644 index 00000000..0e4aa8b1 --- /dev/null +++ b/shared/discovery/reality_map_zscore_v9.3_revised.json @@ -0,0 +1,57 @@ +{ + "reality_map_version": "v9.4", + "total_nodes": 3847, + "generated": "2026-04-09T16:28:36", + "n6_constants": [ + 6, + 12, + 4, + 2, + 5, + 24, + 1 + ], + "seed": 20260409, + "n_trials": 10000, + "variants": { + "small_tight": { + "label": "SMALL_TIGHT 1..12", + "n_targets": 1129, + "n6_hits": 1129, + "n6_reach": 12, + "z_hit": 0.39946774732653584, + "z_eff": -0.21499348456056377, + "z_sm": 0.40977060706932744, + "best_z": 0.40977060706932744, + "p_hit": 0.7368, + "mean": 1093.929, + "std": 87.79432190637388 + }, + "core_tag": { + "label": "CORE_TAG thread+EXACT", + "n_targets": 680, + "n6_hits": 652, + "n6_reach": 51, + "z_hit": 1.1523511264399369, + "z_eff": 1.8798877597142039, + "z_sm": 1.4029745981479567, + "best_z": 1.8798877597142039, + "p_hit": 0.0044, + "mean": 540.2665, + "std": 96.96133186868877 + }, + "full": { + "label": "FULL 1..10^4", + "n_targets": 1988, + "n6_hits": 1388, + "n6_reach": 51, + "z_hit": 1.0156779098729243, + "z_eff": 1.915813324646651, + "z_sm": 1.456392962633798, + "best_z": 1.915813324646651, + "p_hit": 0.1329, + "mean": 1205.2103, + "std": 179.96817516969492 + } + } +} \ No newline at end of file diff --git a/shared/harness/bitter-gate.hexa b/shared/harness/bitter-gate.hexa index fd65e025..f7d94cbf 100644 --- a/shared/harness/bitter-gate.hexa +++ b/shared/harness/bitter-gate.hexa @@ -91,26 +91,17 @@ if len(ids) == 0 { } // min_samples 가드 — 로그 누적 부족 시 "insufficient_data" 로 표기 +// 기본 50: lint_log + gc_log 전체 라인 수가 이보다 적으면 dormant 판정 미루고 보류 let MIN_SAMPLES: i64 = 50 let lint_lines = to_int(_str(exec("wc -l < '" + LINT_LOG + "' 2>/dev/null || echo 0")).trim()) let gc_lines = to_int(_str(exec("wc -l < '" + GC_LOG + "' 2>/dev/null || echo 0")).trim()) let total_samples = lint_lines + gc_lines let insufficient = total_samples < MIN_SAMPLES -// 규칙이 lint.hexa 에 실제 구현되었는지 확인 — 그레이 있으면 구현, 없으면 미구현 -// 미구현 규칙은 dormant 로 잘못 판정하지 않도록 "not_implemented" 로 표기 -let LINT_FILE = REPO_ROOT + "/shared/harness/lint.hexa" -fn is_implemented(rule: string) -> bool { - let cmd = "grep -c '\"" + rule + "|\\|" + rule + "-L' '" + LINT_FILE + "' 2>/dev/null || echo 0" - let c = to_int(_str(exec(cmd)).trim()) - return c > 0 -} - let ts = now_iso() let mut dormant: i64 = 0 let mut active: i64 = 0 let mut insufficient_cnt: i64 = 0 -let mut not_implemented: i64 = 0 for r in ids { let rule = _str(r) @@ -118,26 +109,22 @@ for r in ids { let lint_hits = hit_count(LINT_LOG, rule, window) let gc_hits = hit_count(GC_LOG, rule, window) let total = lint_hits + gc_hits - let implemented = is_implemented(rule) let mut status = "active" if total == 0 { - if !implemented { status = "not_implemented" } - else if insufficient { status = "insufficient_data" } + if insufficient { status = "insufficient_data" } else { status = "dormant" } } if status == "dormant" { dormant = dormant + 1 } else if status == "active" { active = active + 1 } - else if status == "not_implemented" { not_implemented = not_implemented + 1 } else { insufficient_cnt = insufficient_cnt + 1 } - let line = "{\"ts\":\"" + ts + "\",\"rule\":\"" + rule + "\",\"lint_hits\":" + to_string(lint_hits) + ",\"gc_hits\":" + to_string(gc_hits) + ",\"total\":" + to_string(total) + ",\"status\":\"" + status + "\",\"window\":" + to_string(window) + ",\"samples\":" + to_string(total_samples) + ",\"implemented\":" + (if implemented { "true" } else { "false" }) + "}" + let line = "{\"ts\":\"" + ts + "\",\"rule\":\"" + rule + "\",\"lint_hits\":" + to_string(lint_hits) + ",\"gc_hits\":" + to_string(gc_hits) + ",\"total\":" + to_string(total) + ",\"status\":\"" + status + "\",\"window\":" + to_string(window) + ",\"samples\":" + to_string(total_samples) + "}" try { exec("echo '" + line.replace("'", "'\\''") + "' >> '" + USAGE_LOG + "'") } catch e {} } println("audited: " + to_string(len(ids)) + " rules") println("active: " + to_string(active)) -println("dormant: " + to_string(dormant) + " (실제 폐기 후보 — lint 구현됨 + 히트 0)") -println("not_impl: " + to_string(not_implemented) + " (lint 미구현 — 수동 오버헤드)") +println("dormant: " + to_string(dormant) + " (폐기 후보)") println("insufficient: " + to_string(insufficient_cnt) + " (샘플 부족 — min_samples=" + to_string(MIN_SAMPLES) + ", 현재=" + to_string(total_samples) + ")") println("log: shared/harness/rules_usage.jsonl") exit(0) diff --git a/shared/harness/lint.hexa b/shared/harness/lint.hexa index e61b2484..15240399 100644 --- a/shared/harness/lint.hexa +++ b/shared/harness/lint.hexa @@ -458,34 +458,6 @@ fn check_hx4(path: string) -> string { return "" } -// ─── VD1 (void 전용) — Terminal.app 단일 참조 ─── -// 금지: iTerm2 / kitty / Warp / Ghostty / Alacritty 언급 -// 스캔 범위: source 레이어만 (.hexa / .c / .m). 문서·규칙 파일은 rule 기술을 위해 예외. -// 예외: // @allow-terminal-mention 주석 -fn _vd1_is_exempt(path: string) -> bool { - if path.starts_with("archive/") { return true } - if path.starts_with("docs/") { return true } - if path.index_of("/_archive/") >= 0 { return true } - if path == "rules.json" { return true } - if path == "CLAUDE.md" { return true } - if path.starts_with("shared/harness/") { return true } - return false -} - -fn check_vd1(path: string) -> string { - if _project_name() != "void" { return "" } - if _vd1_is_exempt(path) { return "" } - let e = ext_of(path) - if e != ".hexa" && e != ".c" && e != ".m" { return "" } - let full = REPO_ROOT + "/" + path - let cmd = "grep -iE '\\biTerm2?\\b|\\bkitty\\b|\\bWarp\\b|\\bGhostty\\b|\\bAlacritty\\b' '" + full + "' 2>/dev/null | grep -v '@allow-terminal-mention' | wc -l" - let hits = to_int(_str(exec(cmd)).trim()) - if hits > 0 { - return "VD1|error|VD1 — Terminal.app 단일 참조 위반 (외부 에뮬레이터 " + to_string(hits) + "건; 예외 // @allow-terminal-mention)" - } - return "" -} - // ─── Check R19: SILENT EXIT 금지 — exit(1) 전 stderr 출력 필수 + catch 로그 필수 ─── // 탐지 2종: // (1) exit(1) 직전 5줄에 println/eprintln/>&2/stderr 없음 @@ -705,10 +677,6 @@ for f in files { let v11 = check_hx4(path) if v11 != "" { violations = violations.push(path + "|" + v11) } - // check_vd1 (void 프로젝트 전용): 외부 터미널 에뮬레이터 언급 금지 - let v12 = check_vd1(path) - if v12 != "" { violations = violations.push(path + "|" + v12) } - // check_pkill_substring (R20): pkill/pgrep -f substring 금지 if e == ".hexa" || e == ".sh" { let v12 = check_pkill_substring(path) diff --git a/shared/hooks/block_local_data.hexa b/shared/hooks/block_local_data.hexa new file mode 100755 index 00000000..b0d979eb --- /dev/null +++ b/shared/hooks/block_local_data.hexa @@ -0,0 +1,47 @@ +// block_local_data.hexa — 데이터 파일 중앙화 강제 (block_local_data.py 대체) +// PreToolUse: Write/Edit 시 데이터 파일을 nexus/shared 외부에 생성하려면 차단 + +let stdin_data = read_stdin() + +fn json_field(json_text: str, field: str) -> str { + let key = "\"" + field + "\"" + if json_text.contains(key) == false { return "" } + let parts = json_text.split(key) + if parts.len() < 2 { return "" } + let after = parts[1].trim() + if after.starts_with(":") == false { return "" } + let val_part = after.split(":")[1].trim() + if val_part.starts_with("\"") { + let inner = val_part.split("\"") + if inner.len() >= 2 { return inner[1] } + } + return "" +} + +let tool = json_field(stdin_data, "tool_name") +let file_path = json_field(stdin_data, "file_path") + +if len(file_path) == 0 { exit(0) } +if tool != "Write" && tool != "Edit" { exit(0) } + +// 허용 패턴 +if file_path.contains("/nexus/shared/") { exit(0) } +if file_path.contains("/nexus/mk2_hexa/") { exit(0) } +if file_path.contains("hexa_grammar.jsonl") { exit(0) } +if file_path.contains("package.json") { exit(0) } +if file_path.contains("tsconfig.json") { exit(0) } + +// 차단 패턴 +let blocked_names = [ + ".jsonl", "discovered_constants", "discovery_log", "growth_bus", + "verified_constants", "n6_constants", "n6_knowledge", + "alien_index_records", "growth_strategies", "scan_priority", + "bt_domains", "bt_keywords", "custom_lenses", "unfold_base" +] + +for pattern in blocked_names { + if file_path.contains(pattern) { + print_err("BLOCKED: " + file_path + " -- 데이터 파일은 nexus/shared/에만 저장. 규칙: 프로젝트 데이터 -> nexus/shared/ (유일한 진실의 원천)") + exit(1) + } +}