دليل: حارسٌ يقيسُ كلَّ فصلٍ، وفحصٌ يقيسُ مرجعَ القفلِ لا وسمًا سواه - #8
Merged
Conversation
عطبان في أداةِ المزامنةِ نفسِها — لا في الفصول: ١) `cmd_guard_lock` كان يمرّرُ بصمةً تقدّمت إن عُدِّل **أيُّ** فصلٍ يستشهدُ بمصدرها. فمفتاحٌ مشتركٌ (أربعةٌ اليوم: `scripts/codegen` · `_schemas` · `language-truth/grammar` · `ast_visitor.h`) كان يَسِمُ الفصلَ الثانيَ طازجًا وما قرأه أحد — أي أنّ الحارسَ يكتمُ ما بُنيَ لِيَكشِفَه. صار يشترطُ **كلَّ** الفصول، ويسمّي المتروكَ منها والمشتركَ معه. ٢) `sync-check` الأسبوعيُّ كان يقيسُ الانجرافَ عند «آخرِ وسمِ إصدار» بينما القفلُ مبصومٌ عند `dev`. وv1.0.0 وسمُ ٢٠٢٦-٠٣-٠٩، سابقٌ لـ`language-truth/` و`scripts/codegen`، فأعلنَ التقريرُ حذفَ ٣٠ مسارًا وتعذُّرَ ٤٧ (القضيّة #1) وكلُّها قائمةٌ سليمةٌ على dev — إنذارٌ دائمٌ لا يُقرأ، وتحته تعفّنَت أحدَ عشرَ فصلًا بلا كاشف. صار الافتراضيُّ مرجعَ القفلِ نفسَه، ويُرفَعُ تحفّظٌ صريحٌ — على المعيار وفي جسمِ القضيّة — كلّما اختلفَ المرجعان. برهانان (خارج المستودع): مفتاحٌ مشتركٌ بفصلٍ واحدٍ يُرَدُّ وبفصلَيه يمرّ · لافتةُ المرجعِ تظهرُ عند الاختلافِ وتغيبُ عند التطابق. `--validate` سليم. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
لماذا
الموجةُ الأولى (#7) أصلحت أحدَ عشرَ فصلًا متعفّنًا. هذا الطلبُ يسأل السؤالَ التالي:
لماذا لم يكشفها الكاشف؟ الجوابُ عطبان في الأداة نفسِها.
١ · الحارسُ كان يُبرّئُ فصلًا لم يقرأه أحد
cmd_guard_lockيمنع «الكتمَ الصامت»: لا تتقدّمُ بصمةٌ في القفل دون تعديلِ فصلها.لكنّه كان يقبلُ تعديلَ أيِّ فصلٍ يستشهدُ بالمصدر. والمفاتيحُ المشتركةُ اليومَ أربعة:
scripts/codegensot/codegen.md·sot/philosophy.mdlanguage-truth/_schemassot/language-truth.md·sot/philosophy.mdlanguage-truth/grammarfrontend/comprehensions.md·sot/grammar-sot.mdshared/ast/include/ast_visitor.hbackend/interpreter.md·frontend/ast.mdفتعديلُ
codegen.mdوحدَه كان يَسِمُphilosophy.mdطازجًا. صار الحارسُ يشترطُ كلَّالفصول، ويسمّي في رسالتِه المتروكَ والمشتركَ معه.
٢ · الفحصُ الأسبوعيُّ كان يقارنُ شيئًا بغيره
القفلُ مبصومٌ عند
dev، والفحصُ كان يقيسُ عند آخرِ وسمِ إصدار. وv1.0.0 وسمُ٢٠٢٦-٠٣-٠٩، سابقٌ لوجودِ
language-truth/وscripts/codegenأصلًا.النتيجةُ المقيسة في القضيّة #1:
➖ حُذفت/نُقلت: 30·❓ متعذّر الوصول: 47—وكلُّها قائمةٌ سليمةٌ على
dev. إنذارٌ صارخٌ دائمٌ لا يُقرأ، وتحتَه تعفّنَت أحدَعشرَ فصلًا بلا كاشف.
الآن: الافتراضيُّ مرجعُ القفلِ نفسُه؛ وحين يُطلَبُ مرجعٌ سواه (وسمُ إصدار، مُدخَلٌ
يدويّ) يُرفَعُ تحفّظٌ صريحٌ على المعيار وفي جسمِ القضيّة، فلا تُقرأُ «حُذف» حذفًا.
ولربطِ الدليل بإصدارٍ منشور:
--ref vX --update --set-version X— فيصيرُ الوسمُمرجعَ القفلِ تلقائيًّا، ويعودُ الطرفان إلى أصلٍ واحد.
البراهين
rc=1(كانrc=0)rc=0rc=1— بلا انحدارٍ عن السلوك القديمrc=0— المسارُ الطبيعيُّ سالك--validaterc=0— ٢١ فصلًا مسجَّلًاما يبقى مكشوفًا عمدًا
devمرجعٌ متقلّب: «تغيّر» ما زال يعني «تحرّك dev» لا «تعفّن الدليل». هذا الطلبُكتمَ الكذبَ الصارخ (حُذف/تعذّر) ولم يُنهِ الأصل؛ إنهاؤه إعادةُ بصمٍ عند وسمٍ ثابت.