التحقق الأمني ودليل منع التراجع

import unittest

def edit_title(subject, record, title):
    if not subject or subject != record["owner"]:
        return False
    record["title"] = title
    return True

class AccessTests(unittest.TestCase):
    def test_owner_can_edit(self):
        record = {"owner": "lab-a", "title": "Before"}
        self.assertTrue(edit_title("lab-a", record, "After"))
        self.assertEqual(record["title"], "After")
    def test_denial_preserves_state(self):
        record = {"owner": "lab-a", "title": "Before"}
        self.assertFalse(edit_title("lab-b", record, "After"))
        self.assertEqual(record, {"owner": "lab-a", "title": "Before"})
    def test_missing_subject_is_denied(self):
        record = {"owner": "lab-a", "title": "Before"}
        self.assertFalse(edit_title(None, record, "After"))

if __name__ == "__main__":
    unittest.main()

يعمل بـ unittest القياسية في Python وقواميس اصطناعية فقط، ويتوقع نجاح ثلاثة اختبارات. لا يمارس API أو قاعدة أو نظام مستأجرين أو جلسة أو هوية فعلية.

{
  "localRequirement": "LOCAL-DENIED-EDIT-NO-MUTATION",
  "standardMapping": "reviewed-ASVS-5.0.0-selection",
  "candidate": "synthetic-build-label",
  "method": "unit-and-authorized-integration",
  "requiredChecks": ["legitimate-edit", "denied-edit", "unchanged-downstream-state"],
  "evidenceState": "planned",
  "ownerRole": "verification-maintainer"
}

المخطط خاص بالتطبيق وبلا موافقة أو بصمة حزمة حقيقية. ليست planned دليلاً ناجحاً، ولا ينفذ السجل اختباراً أو يفوض نشراً.