gavindiaz/vibe-coding-cn
1
0
Fork 0
mirror of https://github.com/tradecatlabs/vibe-coding-cn.git synced 2026-11-02 12:16:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
83071f9c580d2eae878c189d52d9cfeda0c02d9d
vibe-coding-cn/.github/test-gongfa-catalog.py
T
tradecatlabsandGitHub 83071f9c58 docs: catalogs - 补齐443条v2术语内容与305条定义 (#254) 
1026-VBCN：发布413条功法、30条法器的新增v2术语内容及305条工作性定义修订。

冻结原文、书目、对象身份和评级历史保留；123项相关测试及文档检查通过。未新增独立语义审核或工具运行效果证明；远端Actions已退役。
2026-10-26 00:44:26 +08:00

918 lines
57 KiB
Python
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
#!/usr/bin/env python3
"""总表维护的相关行为契约；离线保存隔离工件，不验证功法效果。"""
import argparse
from collections import Counter
from copy import deepcopy
from hashlib import sha256
from html import unescape
import importlib.util
import json
from pathlib import Path
import re
import shutil
import subprocess
import sys
import tempfile
import unittest
import source_archive
ROOT = Path(__file__).resolve().parents[1]
SCRIPT = ROOT / '.github/sync-gongfa-catalog.py'
ARTIFACTS = None
catalog = None
TEMPLATE = Path(__file__).resolve().parents[1] / '.github/tool-explanation-template-v0.md'
V1_TEMPLATE = Path(__file__).resolve().parents[1] / '.github/tool-explanation-template-v1.md'
V2_TEMPLATE = Path(__file__).resolve().parents[1] / '.github/tool-explanation-template-v2.md'
STALE_EXPLANATION_LABELS = (
'冻结候选', '候选快照', '尚未独立语义复核', '未独立语义复核',
'尚未独立语义核验', '不代表独立语义批准',
)
def template_rows(path):
rows = []
for line in path.read_text(encoding='utf-8').splitlines():
parts = line.split('|')
if len(parts) == 5 and parts[1].strip().isdigit():
rows.append((int(parts[1].strip()), parts[2].strip()))
return rows
def v0_field_names():
return [name for _number, name in template_rows(TEMPLATE)]
def v2_field_names():
return [name for _number, name in template_rows(V2_TEMPLATE)]
def save(path, value):
with path.open('x', encoding='utf-8') as stream:
json.dump(value, stream, ensure_ascii=False, indent=2, allow_nan=False)
def parse_pipe_row(line):
cells = []
current = []
index = 1
while index < len(line) - 1:
if line[index:index + 2] == r'\|':
current.append('|')
index += 2
elif line[index] == '|':
cells.append(''.join(current).strip())
current = []
index += 1
else:
current.append(line[index])
index += 1
cells.append(''.join(current).strip())
return cells
class CatalogMaintenanceTest(unittest.TestCase):
@classmethod
def setUpClass(cls):
cls.documents, cls.binding = catalog.load_inputs(ROOT)
def isolated_project(self):
root = Path(tempfile.mkdtemp(prefix='project-', dir=ARTIFACTS))
target = root / '.github/context/gongfa'
target.mkdir(parents=True)
shutil.copyfile(ROOT / '.github/context/gongfa/data.json', target / 'data.json')
context_dir = root / '.github'
shutil.copyfile(V2_TEMPLATE, context_dir / V2_TEMPLATE.name)
return root
def command(self, root, *options):
argv = [sys.executable, str(SCRIPT), '--root', str(root), *options]
result = subprocess.run(argv, cwd=ARTIFACTS, capture_output=True, text=True, timeout=60)
log = Path(tempfile.mkdtemp(prefix='command-', dir=ARTIFACTS))
save(log / 'result.json', {'argv': argv, 'cwd': str(ARTIFACTS), 'exit_code': result.returncode, 'timeout_seconds': 60})
for name, text in [('stdout.log', result.stdout), ('stderr.log', result.stderr)]:
with (log / name).open('x', encoding='utf-8') as stream:
stream.write(text)
return result
def test_user_requested_framework_and_input_output_tiers_are_separate_provisional_opinions(self):
rows = catalog.merge_rows(deepcopy(self.documents))
by_id = {(row['namespace'], row['original_id']): row for row in rows}
framework = by_id['registry', 'gongfa-input-state-transform-output-cross-domain']
input_output = by_id['registry', 'gongfa-input-state-transform-separation']
state_classification = by_id['registry', 'gongfa-state-classification']
self.assertEqual(framework['grade_id'], 'tian-initial')
self.assertEqual(framework['grading_status'], 'provisional')
self.assertEqual(input_output['grade_id'], 'tian-intermediate')
self.assertEqual(input_output['grading_status'], 'provisional')
self.assertEqual(state_classification['grade_id'], 'xuan-intermediate')
self.assertEqual(self.documents['registry']['assessments'], [])
previous = next(batch for batch in self.documents['registry']['grade_proposals']
if batch['id'] == 'gongfa-author-repo-expansion-20261007')
successor = next(batch for batch in self.documents['registry']['grade_proposals']
if batch['id'] == 'gongfa-user-input-state-transform-separation-tian-20261024')
framework_batch = next(batch for batch in self.documents['registry']['grade_proposals']
if batch['id'] == 'gongfa-user-cross-domain-framework-tian-20261024')
self.assertEqual(successor['supersedes'], previous['id'])
self.assertIsNone(framework_batch['supersedes'])
previous_items = {(item['gongfa_id'], item['content_version']): item for item in previous['items']}
successor_items = {(item['gongfa_id'], item['content_version']): item for item in successor['items']}
framework_items = {(item['gongfa_id'], item['content_version']): item for item in framework_batch['items']}
self.assertEqual(set(successor_items), set(previous_items))
self.assertEqual(set(framework_items), {(framework['original_id'], 'r1')})
for key, item in previous_items.items():
if key[0] != 'gongfa-input-state-transform-separation':
self.assertEqual(successor_items[key], item)
self.assertEqual(previous_items['gongfa-input-state-transform-separation', 'r1']['grade_id'],
'xuan-intermediate')
self.assertEqual(successor_items['gongfa-input-state-transform-separation', 'r1']['grade_id'],
'tian-intermediate')
self.assertEqual(framework_items[framework['original_id'], 'r1']['grade_id'], 'tian-initial')
self.assertIn('用户明确指定', framework['explanation_fields'][8]['content'])
self.assertIn('天阶初级', framework['explanation_fields'][8]['content'])
self.assertIn('用户明确指定', input_output['explanation_fields'][8]['content'])
self.assertIn('天阶中级', input_output['explanation_fields'][8]['content'])
def test_experience_pattern_transfer_uses_provisional_tian_initial_and_keeps_prior_opinion(self):
entry_id = 'gongfa-experience-pattern-transfer-feedback'
entries = [entry for entry in self.documents['registry']['gongfa'] if entry['id'] == entry_id]
self.assertEqual(len(entries), 1)
entry = entries[0]
self.assertEqual(entry['name'], '经验规律迁移与反馈校正')
self.assertEqual(entry['content_version'], 'r1')
self.assertEqual(entry['entry_status'], 'registered')
self.assertEqual(entry['ontology_type'], 'method-specification')
finite_sample = [item for item in self.documents['registry']['gongfa']
if item['id'] == 'gongfa-finite-sample-generative-inference']
self.assertEqual(len(finite_sample), 1)
self.assertEqual(finite_sample[0]['name'], '有限样本生成推断')
source = next(source for source in self.documents['registry']['sources']
if source['id'] == entry['source_ref']['source_id'])
self.assertEqual(source['kind'], 'repository_document')
self.assertEqual(source['path'], '.github/docs/gongfa/experience-pattern-transfer-feedback.md')
self.assertEqual(entry['source_ref']['heading_id'], 'experience-pattern-transfer-feedback')
self.assertEqual(entry['source_ref']['selection'], 'markdown-section')
original_text = entry['content']['original_text']
for required in ('当前任务', '过往经验', '比较情境', '差异', '调整', '实际结果', '因果', '训练模型'):
self.assertIn(required, original_text)
self.assertIn('不保证性能提升或最优解', original_text)
batches = [batch for batch in self.documents['registry']['grade_proposals']
if any(item['gongfa_id'] == entry_id for item in batch['items'])]
self.assertEqual(len(batches), 2)
previous = next(batch for batch in batches
if batch['id'] == 'gongfa-author-experience-pattern-transfer-feedback-20261025')
current = next(batch for batch in batches
if batch['id'] == 'gongfa-user-experience-pattern-transfer-feedback-tian-20261025')
previous_proposal = next(item for item in previous['items'] if item['gongfa_id'] == entry_id)
proposal = next(item for item in current['items'] if item['gongfa_id'] == entry_id)
self.assertIsNone(previous_proposal['grade_id'])
self.assertEqual(previous_proposal['grading_status'], 'undetermined')
self.assertEqual(current['supersedes'], previous['id'])
self.assertEqual(current['application_context'], previous['application_context'])
self.assertEqual(current['baseline_assumption'], previous['baseline_assumption'])
self.assertEqual(proposal['grade_id'], 'tian-initial')
self.assertEqual(proposal['grading_status'], 'provisional')
self.assertEqual(proposal['confidence'], 'low')
self.assertIn('天阶初级', proposal['reason'])
self.assertIn('暂定分类', proposal['reason'])
self.assertEqual(self.documents['registry']['assessments'], [])
key = f'registry:{entry_id}@r1'
explanation = next(item for item in self.documents['explanations_v2']['items']
if item['object_key'] == key)
fields = {field['name']: field['content'] for field in explanation['fields']}
self.assertEqual(list(fields), v2_field_names())
self.assertEqual(fields['概念'], '面向单项任务的跨情境经验迁移与结果反馈校正方法')
self.assertIn('当前单项任务', fields['定义'])
self.assertIn('比较情境差异', fields['怎么做'])
self.assertIn('比较实际结果', fields['怎么做'])
self.assertIn('不要求训练模型', fields['扩展'])
self.assertIn('未核验', fields['相关图书'])
self.assertIn('不证明效果或因果', fields['结论'])
self.assertIn('不据此外推未观察效果、许可或正式评级', fields['连接规则'])
self.assertIn(source['id'], fields['依据'])
rows = catalog.merge_rows(deepcopy(self.documents))
row = next(row for row in rows if row['original_id'] == entry_id)
self.assertEqual(row['entry_status'], '已登记')
self.assertEqual(row['grade_id'], 'tian-initial')
self.assertEqual(row['grading_status'], 'provisional')
self.assertIn('天阶初级', fields['关联信息'])
self.assertIn('不是正式评级', fields['关联信息'])
self.assertEqual(row['explanation_fields'], explanation['fields'])
def test_current_all_classified_content_and_two_bad_summaries_keep_original_opinions(self):
rows = catalog.merge_rows(deepcopy(self.documents))
self.assertEqual(Counter(row['namespace'] for row in rows), {'registry': 413})
self.assertEqual(len(rows), 413)
self.assertEqual(len({(r['namespace'], r['original_id'], r['content_version']) for r in rows}), 413)
undetermined = {r['original_id'] for r in rows if r['grading_status'] == 'undetermined'}
self.assertEqual(undetermined, {
'gongfa-candidate-html211-e001-a663456869',
'gongfa-candidate-html96-vc029-6cca304cec',
})
self.assertEqual(sum(r['grading_status'] == 'provisional' for r in rows), 411)
by_id = {(r['namespace'], r['original_id']): r for r in rows}
self.assertEqual(by_id['registry', 'gongfa-first-principles']['grade_id'], 'di-advanced')
self.assertEqual(by_id['registry', 'gongfa-candidate-solve24-psoa-programming-minimal-reproduction-47a914cf5a']['grade_id'],
'di-initial')
undetermined_html96 = 'gongfa-candidate-html96-vc029-6cca304cec'
self.assertIn('一个分布式系统最多只能保证一致性、可用性和分区容错性中的两项。',
by_id['registry', undetermined_html96]['original_text'])
self.assertEqual(by_id['registry', 'gongfa-candidate-html211-e001-a663456869']['grading_status'], 'undetermined')
self.assertIn('失去50%容量时剩余单位需要承担2倍总流量。',
by_id['registry', 'gongfa-candidate-html211-e001-a663456869']['original_text'])
self.assertEqual(sum(r['entry_status'] == '已登记' for r in rows), 413)
lambda_index = next(index for index, row in enumerate(rows) if row['original_id'] == 'gongfa-lambda-calculus')
glue_index = next(index for index, row in enumerate(rows) if row['original_id'] == 'gongfa-glue-coding')
self.assertEqual(lambda_index + 1, glue_index)
self.assertEqual(rows[lambda_index]['name'], 'Lambda 演算')
self.assertEqual(rows[lambda_index]['grade_id'], 'tian-advanced')
self.assertIn('天级上品', rows[lambda_index]['reason'])
rendered = catalog.book_views.render_sources(ROOT, 'gongfa')
chapters = [line for line in rendered.splitlines() if line.startswith('## ')]
self.assertEqual(chapters[chapters.index('## 拼好码') + 1], '## Lambda 演算')
self.assertEqual(sum(r['entry_status'] == '登记库候选' for r in rows), 0)
self.assertEqual(self.documents['registry']['assessments'], [])
self.assertEqual(len(self.documents['registry']['gongfa']), 413)
self.assertTrue(all(item['entry_status'] == 'registered' for item in self.documents['registry']['gongfa']))
registry_item = next(item for item in self.documents['registry']['gongfa'] if item['id'] == 'gongfa-first-principles')
profile = registry_item['content']['profile']
profile_parts = [profile['summary'], '问题：' + profile['problem'], '机制：' + profile['mechanism']]
for key, label in (('conditions', '条件'), ('limitations', '限制'), ('expected_outcomes', '预期结果')):
if profile[key]:
profile_parts.append(label + '：' + '；'.join(profile[key]))
self.assertEqual(' '.join(profile_parts), by_id['registry', 'gongfa-first-principles']['explanation'])
entries_by_anchor = {entry['source_ref']['heading_id']: entry
for entry in self.documents['registry']['gongfa']
if entry['source_ref']['source_id'] == 'source-classified-candidates-20261007'}
self.assertEqual(len(entries_by_anchor), 331)
self.assertEqual(set(entries_by_anchor), {
*(f"html211:{item['candidate_id']}" for item in self.documents['html211_candidates']['candidates']),
*(f"html96:{item['candidate_id']}" for item in self.documents['html96_candidates']['candidates']),
*(f"solve24:{item['source_id']}" for item in self.documents['solve24_analysis']['items']),
})
proposal_items = {
(item['gongfa_id'], item['content_version']): item
for batch in self.documents['registry']['grade_proposals'] for item in batch['items']
}
candidate_grades = [
(f"html211:{grade['candidate_id']}", grade)
for grade in self.documents['html211_grades']['items']
] + [
(f"html96:{grade['candidate_id']}", grade)
for grade in self.documents['html96_grades']['items']
] + [
(f"solve24:{item['source_id']}", item['editorial_analysis'])
for item in self.documents['solve24_analysis']['items']
]
for anchor, previous in candidate_grades:
entry = entries_by_anchor[anchor]
current = proposal_items[entry['id'], entry['content_version']]
grade = previous.get('provisional_grade_id', previous.get('grade_id'))
self.assertEqual(current['grade_id'], grade, anchor)
self.assertEqual(current['task_family'], previous['task_family'], anchor)
self.assertEqual(current['reason'], previous['reason'], anchor)
self.assertEqual(current['falsifier'], previous['falsifier'], anchor)
self.assertEqual(current['confidence'], previous['confidence'], anchor)
self.assertEqual(current['content_sha256'], entry['content']['text_sha256'], anchor)
for anchor in ('html211:E001', 'html96:VC029'):
entry = entries_by_anchor[anchor]
proposal = proposal_items[entry['id'], entry['content_version']]
self.assertIsNone(proposal['grade_id'])
self.assertEqual(proposal['grading_status'], 'undetermined')
row = by_id['registry', entry['id']]
self.assertEqual(row['grading_status'], 'undetermined')
self.assertEqual(row['explanation_fields'][8]['content'].split('登记状态：', 1)[1].split('；', 1)[0], '已登记')
self.assertIn('.github/metadata/gongfa/source-classified-candidates-20261007.json',
row['explanation_fields'][4]['content'])
self.assertEqual(self.documents['html211_candidates']['registry_updated'], False)
self.assertEqual(self.documents['html96_candidates']['registry_updated'], False)
self.assertEqual(self.documents['explanations_v2']['template_sha256'], catalog.tool_explanations.template_sha256(ROOT))
self.assertEqual(len(self.documents['explanations_v2']['items']), 413)
self.assertTrue(all(item['object_key'].startswith('registry:')
for item in self.documents['explanations_v2']['items']))
views = catalog.render_views(ROOT, rows, self.binding)
markdown = views['README.md']
self.assertIn('- 共**413条内容记录**；已登记413条，待登记0条，未登记来源条目0条。', markdown)
self.assertNotIn('[控制论与科学方法论](#控制论与科学方法论)', markdown)
self.assertIn('同名条目在导航中附稳定对象ID，不表示身份合并。', markdown)
self.assertFalse('catalog.xlsx' in markdown, '活动阅读视图只有Markdown，历史Excel仅作原始载荷保存')
self.assertLess(len(markdown.encode('utf-8')), 512 * 1024, 'README只作为轻量导航，不再展开全部功法表格与文集正文')
self.assertNotIn('| 序号 | 说明项 | 内容 |', markdown)
self.assertIn('## 原文文集', markdown)
self.assertIn('<a id="doc-glue-coding"></a>', markdown)
self.assertIn('tian.md#', markdown)
self.assertIn('huang.md#', markdown)
field_names = v2_field_names()
self.assertEqual(20, len(field_names))
total_tables = 0
for tier in ('tian', 'di', 'xuan', 'huang'):
page = views[tier + '.md']
tier_rows = [row for row in rows if row['grade_id'] and row['grade_id'].startswith(tier + '-')]
if tier == 'huang':
tier_rows += [row for row in rows if row['grade_id'] is None]
self.assertIn('## 未明确品级（不归属黄阶）', page)
starts = [index for index, line in enumerate(page.splitlines()) if line == '| 序号 | 说明项 | 内容 |']
self.assertEqual(len(tier_rows), len(starts), f'{tier}页面只包含本阶记录及明确标记的未定级记录')
total_tables += len(starts)
lines = page.splitlines()
for row, start in zip(tier_rows, starts):
table_rows = lines[start:start + 22]
self.assertEqual(22, len(table_rows))
self.assertEqual('|:---:|:---|:---|', table_rows[1])
cells = [parse_pipe_row(line) for line in table_rows]
self.assertTrue(all(len(cell) == 3 for cell in cells), '每张表严格为三列')
self.assertEqual(field_names, [cell[1] for cell in cells[2:]])
display_name = re.sub(r'^\d+(?:\.\d+)+[ \t]+', '', row['name'], count=1)
self.assertEqual(display_name, unescape(cells[3][2]))
anchor = catalog.tool_explanations.anchor_for(row['key'])
self.assertIn(f'{tier}.md#{anchor}', markdown)
self.assertIn(f'<a id="{anchor}"></a>', markdown, '旧README对象锚点应保留为跳转入口')
self.assertEqual(len(rows), total_tables, '所有对象恰好进入一个阶级页或黄阶页中的未定级附录')
self.assertIn('第一性原理', views['di.md'])
self.assertIn('天阶高级', views['tian.md'])
self.assertNotIn('天高', views['tian.md'])
self.assertNotIn('地高', views['tian.md'])
def test_numbered_chapter_prefixes_are_removed_from_all_rendered_views(self):
rows = catalog.merge_rows(deepcopy(self.documents))
views = catalog.render_views(ROOT, rows, self.binding)
prefix = re.compile(r'^\d+(?:\.\d+)+[ \t]+')
numbered = [row for row in rows if prefix.match(row['name'])]
self.assertEqual(len(numbered), 101)
self.assertIn('3.5 效应局部化', [row['name'] for row in numbered])
duplicate_display = [row for row in rows
if prefix.sub('', row['name'], count=1) == '信息隐藏']
self.assertEqual(len(duplicate_display), 2)
self.assertEqual(len({catalog.tool_explanations.anchor_for(row['key'])
for row in duplicate_display}), 2)
display_counts = Counter(prefix.sub('', row['name'], count=1) for row in rows)
for row in numbered:
match = prefix.match(row['name'])
display_name = row['name'][match.end():]
navigation_label = (f'{display_name}（{row["key"]}）'
if display_counts[display_name] > 1 else display_name)
anchor = catalog.tool_explanations.anchor_for(row['key'])
tier = row['grade_id'].split('-', 1)[0] if row['grade_id'] else 'huang'
page = views[tier + '.md']
link = next(line for line in page.splitlines() if line.endswith(f'(#{anchor})'))
decoded_link = unescape(link)
self.assertIn(f'[{navigation_label}](#{anchor})', decoded_link)
self.assertNotIn(row['name'], decoded_link)
section = page.split(f'<a id="{anchor}"></a>', 1)[1].split('<a id="', 1)[0]
decoded_section = unescape(section)
self.assertIn(f'### {display_name}', decoded_section)
self.assertIn(f'| 2 | 术语 | {display_name} |', decoded_section)
readme_link = next(line for line in views['README.md'].splitlines()
if f'{tier}.md#{anchor})' in line)
decoded_readme_link = unescape(readme_link)
self.assertIn(f'[{navigation_label}](', decoded_readme_link)
self.assertNotIn(row['name'], decoded_readme_link)
def test_duplicate_display_names_are_disambiguated_in_navigation(self):
rows = catalog.merge_rows(deepcopy(self.documents))
views = catalog.render_views(ROOT, rows, self.binding)
duplicates = [
row for row in rows
if re.sub(r'^\d+(?:\.\d+)+[ \t]+', '', row['name'], count=1) == '最小惊讶原则'
]
self.assertEqual(
{
'registry:gongfa-least-surprise@r1',
'registry:gongfa-candidate-html211-c007-ac8d2a6d24@r1',
},
{row['key'] for row in duplicates},
)
for row in duplicates:
anchor = catalog.tool_explanations.anchor_for(row['key'])
label = f"最小惊讶原则（{row['key']}）"
page = views['xuan.md']
page_link = next(
unescape(line) for line in page.splitlines()
if line.endswith(f'(#{anchor})')
)
self.assertIn(f'[{label}](#{anchor})', page_link)
readme_link = next(
unescape(line) for line in views['README.md'].splitlines()
if f'xuan.md#{anchor})' in line
)
self.assertIn(f'[{label}](xuan.md#{anchor})', readme_link)
section = page.split(f'<a id="{anchor}"></a>', 1)[1].split('<a id="', 1)[0]
self.assertIn('### 最小惊讶原则', unescape(section))
self.assertIn('| 2 | 术语 | 最小惊讶原则 |', unescape(section))
def test_user_confirmed_candidate_review_replaces_stale_labels_in_active_views(self):
items = [item for item in self.documents['explanations_v2']['items']
if item['object_key'].startswith('registry:gongfa-candidate-')]
self.assertEqual(len(items), 331)
stale_labels = STALE_EXPLANATION_LABELS
semantically_updated_ids = {f'A{number:03}' for number in range(1, 102)}
for item in items:
fields = {field['name']: field['content'] for field in item['fields']}
self.assertEqual(list(fields), v2_field_names())
match = re.search(r':gongfa-candidate-html211-(a\d{3})-', item['object_key'])
candidate_id = match.group(1).upper() if match else None
if candidate_id in semantically_updated_ids:
self.assertIn('原始说明版本曾由用户确认正式通过审阅', fields['关联信息'])
self.assertIn('本次更新后的内容未另行确认', fields['关联信息'])
else:
self.assertIn('用户确认说明正式通过审阅', fields['关联信息'])
self.assertNotIn('既有既有初评', fields['关联信息'])
for label in stale_labels:
self.assertNotIn(label, '\n'.join(fields.values()), item['object_key'])
rows = catalog.merge_rows(deepcopy(self.documents))
views = catalog.render_views(ROOT, rows, self.binding)
self.assertIn('331条来源迁入说明曾由用户确认正式通过审阅；后续内容更新不自动继承该确认。', views['README.md'])
for name in ('README.md', 'tian.md', 'di.md', 'xuan.md', 'huang.md'):
for label in stale_labels:
self.assertNotIn(label, views[name], name)
def test_book_citation_is_scoped_to_the_101_exact_source_records(self):
html_sha = '38fae80333632ff3e077990fd953f8e7a97fe918497563901c125c4be799f326'
book_url = 'https://book.douban.com/subject/35088343/'
catalogue_url = 'https://jp.tfswufe.edu.cn/opac/book/d741c0e6dd191cb4fec62706743b745d'
expected_ids = {f'A{number:03}' for number in range(1, 102)}
candidates = {item['candidate_id']: item
for item in self.documents['html211_candidates']['candidates']
if item['source_selection'].get('file') == '编程的原则.html'
and item['source_selection'].get('actual_html_sha256') == html_sha}
self.assertEqual(expected_ids, set(candidates))
cited = {}
for item in self.documents['explanations_v2']['items']:
fields = {field['name']: field['content'] for field in item['fields']}
provenance = fields['来源']
start = provenance.find('{')
if start < 0:
continue
metadata = json.loads(provenance[start:provenance.rfind('}') + 1])
selection = metadata.get('source_selection', {})
if selection.get('file') != '编程的原则.html' or selection.get('actual_html_sha256') != html_sha:
continue
candidate_id = metadata['candidate_record'].split(':', 1)[1]
self.assertNotIn(candidate_id, cited)
cited[candidate_id] = (metadata, fields['相关图书'])
self.assertEqual(expected_ids, set(cited))
for candidate_id, (metadata, related_book) in cited.items():
candidate = candidates[candidate_id]
self.assertEqual(candidate['source_selection'], metadata['source_selection'], candidate_id)
self.assertEqual(candidate['declared_upstream'], metadata['declared_upstream'], candidate_id)
location = re.search(r'EPUB第(\d+)节', metadata['declared_upstream'])
self.assertIsNotNone(location, candidate_id)
for fact in ('上田勋著', '支鹏浩译', '编程的原则：改善代码质量的101个方法',
'人民邮电出版社', '2020年6月', '978-7-115-53914-4',
book_url, catalogue_url, metadata['declared_upstream'],
'用户提供的EPUB逐条核对', f'spine第{location.group(1)}项', '101/101',
'a84baec52ce401f8af0bfe8924a51d0dcfa1cbcf0f7e27d86f0888b986747615',
'EPUB未提供稳定的印刷页码定位',
'未逐句校勘全部18项说明', '非独立审查',
'未独立认证EPUB文件外部来源、版权或本仓使用许可',
'不证明实际效果或正式评级'):
self.assertIn(fact, related_book, candidate_id)
self.assertRegex(related_book, r'语义自审结论：(支持但含推论|支持|部分支持)')
semantic_counts = Counter(
re.search(r'语义自审结论：(支持但含推论|支持|部分支持)', text).group(1)
for _metadata, text in cited.values()
)
self.assertEqual({'支持': 68, '支持但含推论': 23, '部分支持': 10}, dict(semantic_counts))
issue_notes = {
'A010': '“效果和目的”写成“副作用”',
'A019': '具体载体未在该章节给出',
'A023': '信息隐藏',
'A030': '不可变',
'A036': '异常/非法使用',
'A041': '同类事物采用一致规范',
'A060': '不是本节主张',
'A061': '并非本节明确内容',
'A076': '特征耦合',
'A089': '正当性/坚固性',
}
for candidate_id, phrase in issue_notes.items():
self.assertIn(phrase, cited[candidate_id][1], candidate_id)
for candidate_id in ('A088', 'A089', 'A093', 'A094'):
self.assertRegex(cited[candidate_id][1], r'图示[^。]*本轮未作视觉复核', candidate_id)
def test_epub_semantic_corrections_narrow_claims_without_changing_identity_or_grade(self):
expected = {
'A010': {'定义': ('效果和目的',)},
'A019': {'定义': ('想要什么',), '怎么做': ('规则、配置等载体属于本条编辑扩展',)},
'A023': {'定义': ('相关数据与操作', '信息隐藏'), '怎么做': ('信息隐藏',),
'它要解决什么问题？': ('编辑者暂拟的适用情境', '相关数据与操作分散'),
'明确这些规律成立的前提与适用条件。': ('编辑者暂拟情境', '相关数据与操作分散')},
'A030': {'定义': ('初始化后尽量不再改变', '副作用'), '怎么做': ('配置集中管理是编辑者应用',),
'它要解决什么问题？': ('编辑者暂拟的适用情境', '变量初始化后容易被重复改写'),
'明确这些规律成立的前提与适用条件。': ('编辑者暂拟情境', '变量初始化后容易被重复改写')},
'A036': {'定义': ('异常或非法使用', '容错', '健壮性')},
'A041': {'定义': ('同类事物采用一致规范',), '怎么做': ('同类事物',),
'它要解决什么问题？': ('编辑者暂拟的适用情境', '同类事物采用不同表达'),
'明确这些规律成立的前提与适用条件。': ('编辑者暂拟情境', '同类事物采用不同表达')},
'A060': {'定义': ('珍惜程序员时间', '适当硬件/软件',), '怎么做': ('不是本节主张',),
'它要解决什么问题？': ('编辑者暂拟的适用情境', '工具或工作规则不必要地耗费程序员时间'),
'明确这些规律成立的前提与适用条件。': ('编辑者暂拟情境', '工具或工作规则不必要地耗费程序员时间')},
'A061': {'定义': ('重复、固定形式的代码',), '怎么做': ('单一高层来源', '不是本节明确内容'),
'它要解决什么问题？': ('编辑者暂拟的适用情境', '存在重复、固定形式的代码'),
'明确这些规律成立的前提与适用条件。': ('编辑者暂拟情境', '存在重复、固定形式的代码')},
'A076': {'相关图书': ('特征耦合', '标记耦合')},
'A089': {'定义': ('正当性', '坚固性')},
}
source_items = {item['candidate_id']: item for item in self.documents['html211_candidates']['candidates']}
grade_items = {item['candidate_id']: item for item in self.documents['html211_grades']['items']}
indexed = {}
for item in self.documents['explanations_v2']['items']:
match = re.search(r':gongfa-candidate-html211-(a\d{3})-', item['object_key'])
if match:
indexed[match.group(1).upper()] = item
for candidate_id, fields_expected in expected.items():
self.assertIn(candidate_id, indexed)
item = indexed[candidate_id]
fields = {field['name']: field['content'] for field in item['fields']}
self.assertEqual('r1', item['object_key'].rsplit('@', 1)[1])
for field_name, phrases in fields_expected.items():
for phrase in phrases:
self.assertIn(phrase, fields[field_name], f'{candidate_id}:{field_name}')
self.assertIn(candidate_id, source_items)
self.assertEqual(source_items[candidate_id]['text_sha256'],
sha256(source_items[candidate_id]['original_text'].encode()).hexdigest())
self.assertEqual(grade_items[candidate_id]['content_sha256'], source_items[candidate_id]['text_sha256'])
self.assertIn('本次更新后的内容未另行确认', fields['关联信息'])
stale_summaries = {
'A010': '名称要准确、可搜索并能表达目的和副作用',
'A019': '用表、规则、配置或声明性接口表达意图和约束',
'A023': '封装把数据与相关操作放在边界内，并限制外部直接干预内部状态',
'A030': '单一引用点要求同一事实从一个权威位置读取或修改',
'A036': '可靠性要求软件在预期条件下持续给出正确结果',
'A041': '同构原理要求问题结构与解决方案结构保持可对应关系',
'A060': '经济原则要求在可行时优先机器自动化',
'A061': '生成原则要求用程序生成可机械推导的代码或数据',
'A089': '防御性编程把不可信输入挡在边界外，并区分可预期错误与代码缺陷',
}
for candidate_id, stale in stale_summaries.items():
fields = {field['name']: field['content'] for field in indexed[candidate_id]['fields']}
active_text = '\\n'.join(value for name, value in fields.items()
if name not in {'关联信息', '来源', '相关图书'})
self.assertNotIn(stale, active_text, candidate_id)
stale_conditions = {
'A023': '模块内部细节频繁被外部依赖时',
'A030': '配置、常量或规则在多处定义并可能产生差异时',
'A041': '代码结构与业务概念或问题分解难以对应时',
'A060': '重复工作可以由程序可靠完成时',
'A061': '同类结构可从更高层描述自动得到时',
}
for candidate_id, stale in stale_conditions.items():
fields = {field['name']: field['content'] for field in indexed[candidate_id]['fields']}
active_text = '\\n'.join(value for name, value in fields.items()
if name not in {'关联信息', '来源', '相关图书'})
self.assertNotIn(stale, active_text, candidate_id)
for candidate_id, forbidden in {
'A010': {'定义': ('副作用',)},
'A019': {'怎么做': ('用表、规则、配置或声明性接口',)},
'A023': {'定义': ('限制外部直接干预内部状态',)},
'A030': {'定义': ('一个权威位置读取或修改',)},
'A036': {'定义': ('预期条件下持续给出正确结果',)},
'A041': {'定义': ('问题结构与解决方案结构',)},
'A060': {'定义': ('优先机器自动化',)},
'A061': {'定义': ('代码或数据',)},
'A089': {'定义': ('正确性/健壮性',)},
}.items():
fields = {field['name']: field['content'] for field in indexed[candidate_id]['fields']}
for field_name, phrases in forbidden.items():
for phrase in phrases:
self.assertNotIn(phrase, fields[field_name], f'{candidate_id}:{field_name}')
def test_stale_status_scan_covers_all_443_explanation_items_without_rewriting_them(self):
expected_counts = {'gongfa': 413, 'faqi': 30}
bundles = source_archive.bundles(ROOT)
self.assertEqual(set(expected_counts), set(bundles))
hits = []
total = 0
for kind, expected_count in expected_counts.items():
payload = bundles[kind]['data'].get('explanations_v2')
self.assertIsNotNone(payload, f'{kind}缺少当前v2说明载荷')
items = payload['items']
self.assertEqual(expected_count, len(items), kind)
total += len(items)
for item in items:
for field in item['fields']:
for label in STALE_EXPLANATION_LABELS:
if label in field['content']:
hits.append(f"{kind}:{item['object_key']}:{field['name']}:{label}")
self.assertEqual(443, total)
self.assertEqual([], hits, '仅报告过时状态词候选，不自动改写说明：' + chr(10) + chr(10).join(hits))
def test_v1_template_appends_the_three_argument_fields_without_changing_v0(self):
rows = template_rows(V1_TEMPLATE)
self.assertEqual(list(range(1, 19)), [number for number, _name in rows])
self.assertEqual(
v0_field_names() + ['结论', '连接规则', '依据'],
[name for _number, name in rows],
)
contract = V1_TEMPLATE.read_text(encoding='utf-8')
self.assertIn('图尔敏', contract)
self.assertIn('Warrant', contract)
self.assertIn('仅列字段交叉引用', contract)
def test_v2_template_explicitly_models_all_five_term_elements(self):
rows = template_rows(V2_TEMPLATE)
self.assertEqual(list(range(1, 21)), [number for number, _name in rows])
self.assertEqual(
[
'概念', '术语', '定义', '条目注释', '来源', '为什么', '怎么做', '扩展', '关联信息',
'相关图书', '它要解决什么问题？', '为什么这样设计？', '内部如何实现？',
'付出了什么代价？', '比较不同技术与方法。', '提炼共同规律。',
'明确这些规律成立的前提与适用条件。', '结论', '连接规则', '依据',
],
[name for _number, name in rows],
)
contract = V2_TEMPLATE.read_text(encoding='utf-8')
for rule in ('概念原子性', '属加种差', '关系方向', '成立条件', '待核', '来源可追溯',
'条目注释不得重复定义', '概念不等同于术语'):
with self.subTest(rule=rule):
self.assertIn(rule, contract)
self.assertIn('每个说明对象都必须包含概念、术语、定义、条目注释和来源', contract)
self.assertIn('原提示词中的单代码块纯文本输出格式不适用于本模板', contract)
def test_gongfa_claims_do_not_apply_the_problem_summary_to_itself(self):
findings = []
marker = '来源快照记录的主题是“'
topic_end = '”（上游来源未独立核验）'
for item in self.documents['explanations_v2']['items']:
fields = {field['name']: field['content'] for field in item['fields']}
problem = fields['它要解决什么问题？']
if '未提供单独的问题定义' not in problem:
continue
topic_start = problem.find(marker)
if topic_start < 0:
continue
topic_start += len(marker)
topic_stop = problem.find(topic_end, topic_start)
if topic_stop < 0:
continue
topic = problem[topic_start:topic_stop]
self_application = f'按“{topic}”处理“{topic}”'
for name in ('提炼共同规律。', '结论', '连接规则'):
if self_application in fields[name]:
findings.append(f"{item['object_key']}:{name}")
self.assertEqual([], findings, '主张不能把同一摘要同时当作方法和问题：' + ', '.join(findings))
def test_active_v2_payload_migrates_all_443_records_with_toulmin_warrants(self):
expected_counts = {'gongfa': 413, 'faqi': 30}
expected_names = v2_field_names()
bundles = source_archive.bundles(ROOT)
total = 0
for kind, expected_count in expected_counts.items():
data = bundles[kind]['data']
self.assertNotIn('explanations_v0', data, f'{kind}不得保留双版本活跃载荷')
payload = data.get('explanations_v2')
self.assertIsNotNone(payload, f'{kind}缺少当前v2说明载荷')
self.assertEqual(expected_count, len(payload['items']), kind)
self.assertEqual(payload['template_sha256'], catalog.tool_explanations.template_sha256(ROOT))
total += len(payload['items'])
for item in payload['items']:
fields = {field['name']: field['content'] for field in item['fields']}
self.assertEqual(expected_names, list(fields), item['object_key'])
self.assertFalse(fields['概念'].startswith(
('原登记本体类型：', '原登记类别：', '待核：原登记')), item['object_key'])
self.assertNotEqual(fields['概念'].strip(), fields['术语'].strip(), item['object_key'])
self.assertNotEqual(fields['概念'].strip(), fields['定义'].strip(), item['object_key'])
self.assertNotIn('本次仅迁移字段结构', fields['条目注释'], item['object_key'])
self.assertNotIn('未逐条判断是否存在', fields['条目注释'], item['object_key'])
self.assertNotEqual(fields['条目注释'].strip(), fields['定义'].strip(), item['object_key'])
self.assertIn('历史用户审阅仅对当时说明有效', fields['关联信息'], item['object_key'])
self.assertIn(fields['提炼共同规律。'], fields['结论'], item['object_key'])
warrant = fields['连接规则']
self.assertTrue(warrant.startswith('推理桥梁：'), item['object_key'])
self.assertIn('证据命题：', warrant, item['object_key'])
self.assertIn('推理根据：', warrant, item['object_key'])
self.assertGreater(len(warrant), 200, item['object_key'])
self.assertIn('由于', warrant, item['object_key'])
self.assertIn('因此', warrant, item['object_key'])
self.assertIn('不据此外推未观察效果、许可或正式评级', warrant, item['object_key'])
condition = ' '.join(fields['明确这些规律成立的前提与适用条件。'].split()).strip(' ；;，,。\n')
boundary = warrant.split('成立边界：', 1)[1].split('不据此外推未观察效果、许可或正式评级。', 1)[0]
if condition not in boundary:
self.assertIn('以第17项列出的适用条件、限制及其待核状态为准', boundary, item['object_key'])
self.assertNotIn('仅当第20项支持第13项机制适用于第11项问题', warrant, item['object_key'])
self.assertIn('第5项', fields['依据'], item['object_key'])
self.assertIn('第13项', fields['依据'], item['object_key'])
self.assertEqual(443, total)
gongfa_items = {
item['object_key']: {field['name']: field['content'] for field in item['fields']}
for item in bundles['gongfa']['data']['explanations_v2']['items']
}
performance_sources = ('html211:D008', 'html211:D009', 'html211:D010')
archive_path = '.github/metadata/gongfa/source-classified-candidates-20261007.json'
archive_document = bundles['gongfa']['data']['documents'][archive_path]
archive = json.loads(archive_document['data'])
archived_candidates = {
item['candidate_id']: item
for item in archive['documents']['html211_candidates']['candidates']
}
pareto_source = archived_candidates['D008']['original_text']
self.assertIn('80/20是近似经验，不是固定比例', pareto_source)
self.assertIn('热点需要通过测量确认', pareto_source)
for object_key in (
'registry:gongfa-candidate-html211-d008-6fd753377e@r1',
'registry:gongfa-candidate-html211-d009-4d61eda424@r1',
'registry:gongfa-candidate-html211-d010-5015859ffd@r1',
):
warrant = gongfa_items[object_key]['连接规则']
self.assertIn('热点需要通过测量确认', warrant, object_key)
self.assertIn('80/20是近似经验，不是固定比例', warrant, object_key)
self.assertNotIn('实测热点', warrant, object_key)
basis = gongfa_items[object_key]['依据']
self.assertIn(archive_document['sha256'], basis, object_key)
for source_id in performance_sources:
self.assertIn(source_id, basis, object_key)
for candidate_id in ('D008', 'D009', 'D010'):
source = archived_candidates[candidate_id]
selection = source['source_selection']
self.assertIn(source['text_sha256'], basis, object_key)
self.assertIn(f"passages {selection['start']}–{selection['end']}", basis, object_key)
def test_v2_term_content_preserves_theorem_case_and_runtime_boundaries(self):
# 这些边界来自固定来源及CAP原论文，不由生成器或待测定义推导预期。
bundles = source_archive.bundles(ROOT)
fields = {
item['object_key']: {field['name']: field['content'] for field in item['fields']}
for kind in ('gongfa', 'faqi')
for item in bundles[kind]['data']['explanations_v2']['items']
}
cap = fields['registry:gongfa-candidate-html96-vc029-6cca304cec@r1']
for term in ('网络分区', '异步', '线性一致性', '非故障节点', '最终响应'):
self.assertIn(term, cap['定义'])
self.assertIn('§3.1', cap['来源'])
self.assertIn('BrewersConjecture-SigAct.pdf', cap['来源'])
self.assertNotEqual('一个分布式系统最多只能保证一致性、可用性和分区容错性中的两项。', cap['定义'])
pi = fields['faqi:dep-pi-cli']
self.assertIn('实例', pi['定义'])
self.assertIn('1.1.0', pi['条目注释'])
self.assertIn('原记录', pi['条目注释'])
config = fields['faqi:faqi-oh-my-tmux']
self.assertIn('执行', config['定义'])
self.assertIn('S65', config['条目注释'])
self.assertIn('不能', config['条目注释'])
def test_historical_archive_status_words_are_identified_as_historical(self):
rows = catalog.merge_rows(deepcopy(self.documents))
markdown = catalog.render_views(ROOT, rows, self.binding)['README.md']
self.assertIn(
'原文档中的候选/复核状态只表示记录时点；当前登记和说明审阅状态以本总表及对象页为准。',
markdown,
)
def test_candidate_promotion_preserves_the_frozen_undetermined_set(self):
entries = self.documents['registry']['gongfa']
by_anchor = {entry['source_ref']['heading_id']: entry for entry in entries
if entry['source_ref']['source_id'] == 'source-classified-candidates-20261007'}
self.assertEqual(len(by_anchor), 331)
self.assertEqual({anchor for anchor, entry in by_anchor.items()
if entry['name'] in {'灾备容量负载放大模型', 'CAP 定理 (CAP Theorem)'}},
{'html211:E001', 'html96:VC029'})
for entry in by_anchor.values():
self.assertEqual(entry['entry_status'], 'registered')
self.assertEqual(entry['source_ref']['selection'], 'candidate-record')
self.assertEqual(entry['source_ref']['stop_before'], None)
self.assertEqual(entry['content']['text_sha256'], sha256(
entry['content']['original_text'].encode('utf-8')).hexdigest())
def test_registry_candidate_count_is_separate_from_historical_sources(self):
documents = deepcopy(self.documents)
candidate = deepcopy(next(item for item in documents['registry']['gongfa']
if item['id'] == 'gongfa-first-principles'))
candidate['id'] = 'gongfa-isolated-candidate-count'
candidate['name'] = '隔离候选计数'
candidate['entry_status'] = 'candidate'
candidate['ontology_type'] = None
documents['registry']['gongfa'].append(candidate)
rows = catalog.merge_rows(documents)
self.assertEqual(sum(row['entry_status'] == '登记库候选' for row in rows), 1)
self.assertEqual(414, len(rows))
self.assertIn('合计414条', '\n'.join(catalog.notes(rows, self.binding)))
def test_registry_updates_follow_explicit_correction_and_never_inherit_a_new_version(self):
documents = deepcopy(self.documents)
batch = documents['registry']['grade_proposals'][0]
correction = deepcopy(batch)
correction['id'] = 'test-explicit-correction'
correction['supersedes'] = batch['id']
correction['assessed_at'] = '2026-10-08T00:00:00Z'
for item in correction['items']:
if item['gongfa_id'] == 'gongfa-first-principles':
item['grade_id'] = 'xuan-intermediate'
item['reason'] = '隔离夹具的显式更正。'
documents['registry']['grade_proposals'].append(correction)
new_version = deepcopy(next(item for item in documents['registry']['gongfa'] if item['id'] == 'gongfa-first-principles'))
new_version['content_version'] = 'r2'
new_version['predecessor_version'] = 'r1'
new_version['content']['original_text'] = '新版本的限定内容尚无初评。'
new_version['content']['text_sha256'] = sha256('新版本的限定内容尚无初评。'.encode('utf-8')).hexdigest()
documents['registry']['gongfa'].append(new_version)
selected = {row['content_version']: row for row in catalog.merge_rows(documents) if row['namespace'] == 'registry' and row['original_id'] == 'gongfa-first-principles'}
self.assertEqual(selected['r1']['grade_id'], 'xuan-intermediate')
self.assertEqual(selected['r1']['reason'], '隔离夹具的显式更正。')
self.assertIsNone(selected['r2']['grade_id'])
self.assertEqual(selected['r2']['grading_status'], 'unrated')
another = deepcopy(correction)
another['id'] = 'test-another-context'
another['supersedes'] = None
another['application_context'] = '隔离夹具的不同任务情境'
documents['registry']['grade_proposals'].append(another)
row = next(r for r in catalog.merge_rows(documents) if r['namespace'] == 'registry' and r['original_id'] == 'gongfa-first-principles' and r['content_version'] == 'r1')
self.assertEqual(row['grading_status'], 'multiple-contexts')
self.assertIsNone(row['grade_id'])
self.assertIn('test-another-context', row['reason'])
def test_portable_inputs_reject_drift_and_out_of_project_paths(self):
root = self.isolated_project()
result = self.command(root, '--write')
self.assertEqual(result.returncode, 0, result.stderr)
self.assertEqual(self.command(root, '--check').returncode, 0)
data_path = root / '.github/context/gongfa/data.json'
before = data_path.read_bytes()
self.assertEqual({p.name for p in data_path.parent.iterdir()},
{'data.json', 'README.md', 'tian.md', 'di.md', 'xuan.md', 'huang.md'})
bundle = json.loads(before)
index_key = '.github/metadata/gongfa/catalog-sources.json'
source_index = json.loads(bundle['documents'][index_key]['data'])
snapshot_key = '.github/metadata/gongfa/' + source_index['snapshot']['path']
snapshot = bundle['documents'][snapshot_key]
snapshot['data'] += '\n'
snapshot['sha256'] = sha256(snapshot['data'].encode()).hexdigest()
data_path.write_text(json.dumps(bundle, ensure_ascii=False), encoding='utf-8')
self.assertEqual(self.command(root, '--check').returncode, 1)
source_index['snapshot']['path'] = '../outside.json'
index = bundle['documents'][index_key]
index['data'] = json.dumps(source_index)
index['sha256'] = sha256(index['data'].encode()).hexdigest()
data_path.write_text(json.dumps(bundle, ensure_ascii=False), encoding='utf-8')
self.assertEqual(self.command(root, '--check').returncode, 1)
def test_markdown_text_safety_stale_detection_and_generated_file_ownership(self):
documents = deepcopy(self.documents)
item = documents['html96_candidates']['candidates'][0]
grade = documents['html96_grades']['items'][0]
entry = next(record for record in documents['registry']['gongfa']
if record['source_ref']['heading_id'] == 'html96:' + item['candidate_id'])
item['name'] = grade['name'] = entry['name'] = '<script>bad</script>|=2+2'
rows = catalog.merge_rows(documents)
hostile_row = next(row for row in rows if row['namespace'] == 'registry' and row['original_id'] == entry['id'])
if 'explanation_fields' not in hostile_row:
hostile_row['explanation_fields'] = [{'name': label, 'content': item['name'] if index == 1 else '隔离安全测试'}
for index, label in enumerate(v2_field_names())]
hostile_row['explanation_fields'][1]['content'] = item['name']
root = Path(tempfile.mkdtemp(prefix='markdown-', dir=ARTIFACTS))
target = root / '.github/context/gongfa'
target.mkdir(parents=True)
catalog.write_views(root, rows, self.binding)
catalog.check_views(root, rows, self.binding)
markdown = (target / 'README.md').read_text()
self.assertNotIn('<script>bad</script>', markdown)
self.assertIn('&lt;script&gt;bad&lt;/script&gt;&#124;=2+2', markdown)
target_tier = hostile_row['grade_id'].split('-', 1)[0] if hostile_row['grade_id'] else 'huang'
target_page = (target / (target_tier + '.md')).read_text()
self.assertNotIn('<script>bad</script>', target_page)
self.assertIn('&lt;script&gt;bad&lt;/script&gt;&#124;=2+2', target_page)
self.assertEqual({p.name for p in target.iterdir()},
{'README.md', 'tian.md', 'di.md', 'xuan.md', 'huang.md'})
(target / 'README.md').write_text(markdown.replace('天阶高级', '改动品级', 1))
with self.assertRaises(ValueError): catalog.check_views(root, rows, self.binding)
for text in ['超限' * (4 * 1024 * 1024), '非法\x01字符']:
bad = deepcopy(rows)
bad[0]['name'] = text
with self.assertRaises(ValueError): catalog.write_views(root, bad, self.binding)
hand_written = Path(tempfile.mkdtemp(prefix='owned-', dir=ARTIFACTS))
own_target = hand_written / '.github/context/gongfa'
own_target.mkdir(parents=True)
(own_target / 'README.md').write_text('手工内容，不能覆盖。', encoding='utf-8')
with self.assertRaises(ValueError): catalog.write_views(hand_written, rows, self.binding)
self.assertEqual((own_target / 'README.md').read_text(), '手工内容，不能覆盖。')
def main():
global ARTIFACTS, catalog
parser = argparse.ArgumentParser(description=__doc__)
parser.add_argument('--artifacts', type=Path)
args = parser.parse_args()
ARTIFACTS = args.artifacts or Path(tempfile.mkdtemp(prefix='gongfa-catalog-test-'))
if args.artifacts:
ARTIFACTS.mkdir(parents=True, exist_ok=False)
ARTIFACTS = ARTIFACTS.resolve()
spec = importlib.util.spec_from_file_location('gongfa_catalog', SCRIPT)
catalog = importlib.util.module_from_spec(spec)
spec.loader.exec_module(catalog)
result = unittest.TextTestRunner(verbosity=2).run(unittest.defaultTestLoader.loadTestsFromTestCase(CatalogMaintenanceTest))
save(ARTIFACTS / 'result.json', {'tests_run': result.testsRun, 'failures': len(result.failures), 'errors': len(result.errors),
'success': result.wasSuccessful(), 'script_sha256': sha256(SCRIPT.read_bytes()).hexdigest()})
print('测试工件：' + str(ARTIFACTS))
return 0 if result.wasSuccessful() else 1
if __name__ == '__main__':
sys.exit(main())
Reference in New Issue View Git Blame Copy Permalink