scripts/test_check_394_submission_policy.py

• tp_schema · function · L31-L32 — def tp_schema()
• report_schema · function · L36-L37 — def report_schema()
• orchestrator_text · function · L41-L42 — def orchestrator_text()
• formatter_text · function · L46-L47 — def formatter_text()
• test_tp_schema_real_tree_passes · function · L52-L53 — def test_tp_schema_real_tree_passes(tp_schema)
• test_tp_schema_missing_key_fails · function · L56-L59 — def test_tp_schema_missing_key_fails(tp_schema)
• test_tp_schema_widened_enum_fails · function · L62-L67 — def test_tp_schema_widened_enum_fails(tp_schema)
• test_tp_schema_json_default_fails · function · L70-L76 — def test_tp_schema_json_default_fails(tp_schema): # The Invariant-3 lesson: a JSON-Schema default is non-operational # comfort — the absent-key default lives in the evaluator.
• test_orchestrator_real_tree_passes · function · L81-L82 — def test_orchestrator_real_tree_passes(orchestrator_text)
• test_orchestrator_missing_section_fails · function · L85-L86 — def test_orchestrator_missing_section_fails()
• test_orchestrator_lost_literal_fails · function · L97-L100 — def test_orchestrator_lost_literal_fails(orchestrator_text, literal)
• test_formatter_real_tree_passes · function · L105-L106 — def test_formatter_real_tree_passes(formatter_text)
• test_formatter_missing_section_fails · function · L109-L110 — def test_formatter_missing_section_fails()
• test_formatter_lost_literal_fails · function · L118-L127 — def test_formatter_lost_literal_fails(formatter_text, literal): # Scope the mutation to the advisories section so a literal that also # appears elsewhere (Invariant 13 does) is removed where it matters.
• test_verifier_real_tree_is_single_homed · function · L132-L134 — def test_verifier_real_tree_is_single_homed()
• test_docstring_mention_does_not_fire · function · L137-L142 — def test_docstring_mention_does_not_fire(): # The whole point of the AST guard (gate-1 P2): the verifier's module # docstring legitimately SAYS "terminal_policies"; only runtime access # may fire.
• test_comment_and_help_text_do_not_fire · function · L145-L150 — def test_comment_and_help_text_do_not_fire()
• test_subscript_access_fires · function · L153-L155 — def test_subscript_access_fires()
• test_dotget_access_fires · function · L158-L160 — def test_dotget_access_fires()
• test_planted_access_in_real_source_fires · function · L163-L168 — def test_planted_access_in_real_source_fires(): # Mutation pair for the real tree: planting a read into the actual # verifier source must fire.
• test_report_schema_real_tree_passes · function · L173-L174 — def test_report_schema_real_tree_passes(report_schema)
• test_report_schema_widened_slug_enum_fails · function · L177-L182 — def test_report_schema_widened_slug_enum_fails(report_schema)
• test_report_schema_dropped_null_semantics_fails · function · L185-L190 — def test_report_schema_dropped_null_semantics_fails(report_schema)
• test_report_schema_string_none_is_not_null · function · L193-L200 — def test_report_schema_string_none_is_not_null(report_schema): # Final-round review P3: the enum member must be JSON null, not the # STRING "None" — a str() mapping in the lint would let them collide.