Private
Public Access
ed
7c352e1c30
VERIFIED STATE OF MASTER a18b8ad6 (just measured):
- 751 Metadata consumers in src/
- 3,454 total branches
- 4.014e+22 effective codepaths (UNCHANGED from the 4.01e+22 baseline)
- 73 nil-check funcs in Metadata consumers (real SSDL measurement)
- 14 module globals still in src/ai_client.py (_anthropic_history + lock, etc.)
- MCP_TOOL_SPECS: list[dict[str, Any]] still in src/mcp_client.py
- src/ai_client.py:908 still uses old NormalizedResponse API (usage_input_tokens=...)
- 3 orphaned modules: mcp_tool_specs, openai_schemas, provider_state (exist, nothing imports)
- 4 pre-existing INTERNAL_OPTIONAL_RETURN violations in external_editor, session_logger, project_manager (NG1)
- 7 pre-existing Optional[T] return-type violations in mcp_client.py:1285,1289 + ai_client.py:159,247,619,673,3115 (NG2)
- audit_weak_types PASS, generate_type_registry PASS, audit_main_thread_imports PASS, audit_no_models_config_io PASS, audit_code_path_audit_coverage PASS, audit_exception_handling (baseline) PASS, audit_optional_in_3_files FAIL (NG2)
SSDL CAMPAIGN ABORT (premise was wrong):
- '6 nil-check functions' was a static text string in src/code_path_audit_gen.py:108, not a runtime measurement
- SSDL detector finds 0 Metadata-typed nil-checks
- The 1 function Tier 2 migrated (_build_files_section_from_items) was a 'path is None' check, NOT a Metadata nil-check
- The 4.01e22 combinatoric explosion is from dict[str, Any] type-dispatch, not nil-checks
- Salvage: NIL_METADATA = {} in src/aggregate.py + 5 tests stay as useful primitives
THE ACTUAL FIX: re-apply any_type_componentization_20260621's 48 call-site migrations
- Phase 1: mcp_tool_specs (8 sites) - 4 in mcp_client.py + 3 in ai_client.py + 1 in mcp_client.py:2747
- Phase 2: openai_schemas (17 sites) - 12 in openai_compatible.py + 5 in 3 send_* functions in ai_client.py; REMOVE the backward-compat __init__ from fix_test_failures_20260624
- Phase 3: provider_state (14 globals + ~27 callers) - 9 send_* functions use get_history('...') instead
- Phase 4: log_registry Session (7 sites)
- Phase 5: api_hooks WebSocketMessage (16 sites)
- Phase 6: NG1 fixups (4 INTERNAL_OPTIONAL_RETURN violations)
- Phase 7: NG2 fixups (7 Optional[T] return-type violations)
- Phase 8: Re-audit (measure new effective-codepaths; target < 1e+20)
- Phase 9: Verification + end-of-track report
VERIFICATION (10 VCs):
- VC1: 3 modules actually used by src/*.py (git grep >= 5 hits in src/, not just in plan/spec text)
- VC2: 14 module globals in src/ai_client.py gone
- VC3: MCP_TOOL_SPECS dict literal gone
- VC4: usage_input_tokens= in src/ai_client.py gone
- VC5: effective codepaths drops >= 2 orders of magnitude (target: 4.014e+22 -> < 1e+20)
- VC6: NG1 fixed (0 INTERNAL_OPTIONAL_RETURN violations)
- VC7: NG2 fixed (0 Optional[T] return-type violations)
- VC8: all 6 audit gates pass --strict
- VC9: 11/11 batched test tiers PASS
- VC10: end-of-track report written
5 files aborted, 5 files created (new track), 1 post-mortem doc.
68 lines
3.9 KiB
TOML
68 lines
3.9 KiB
TOML
# Campaign state for metadata_ssdl_defusing_20260624
|
|
# 3-child campaign; sequential with budget gates.
|
|
# Tier 2 to execute per conductor/workflow.md.
|
|
|
|
[meta]
|
|
track_id = "metadata_ssdl_defusing_20260624"
|
|
name = "Metadata SSDL Defusing Campaign"
|
|
status = "cancelled"
|
|
current_phase = 0
|
|
cancellation_reason = "Premise was wrong: '6 nil-check functions' was a static text string in code_path_audit_gen.py:108, not a runtime measurement. SSDL detector finds 0 Metadata-typed nil-checks. The 1 migrated function (_build_files_section_from_items) was not actually a Metadata nil-check. The 4.01e22 combinatoric explosion is from dict[str, Any] type-dispatch, not nil-checks. Actual fix: any_type_componentization reapply (see code_path_audit_phase_2_20260624). Salvage: NIL_METADATA = {} in src/aggregate.py + 5 tests in tests/test_metadata_nil_sentinel.py are kept as useful primitives."
|
|
last_updated = "2026-06-24"
|
|
|
|
[parent]
|
|
# Independent campaign (not part of an umbrella)
|
|
|
|
[blocked_by]
|
|
code_path_audit_20260607 = "shipped"
|
|
|
|
[blocks]
|
|
# This campaign blocks no other tracks. It is an exploratory campaign.
|
|
|
|
[child_tracks]
|
|
metadata_nil_sentinel_20260624 = { status = "pending", short_name = "child_1_nil_sentinel" }
|
|
metadata_generational_handle_20260624 = { status = "pending", short_name = "child_2_handle" }
|
|
metadata_field_cache_20260624 = { status = "pending", short_name = "child_3_cache" }
|
|
|
|
[phases]
|
|
phase_1 = { status = "pending", checkpointsha = "", name = "Child 1: Nil Sentinel (with budget gate >= 10% drop)" }
|
|
phase_2 = { status = "pending", checkpointsha = "", name = "Child 2: Generational Handle (with budget gate >= 20% drop)" }
|
|
phase_3 = { status = "pending", checkpointsha = "", name = "Child 3: Field Cache (with budget gate >= 30% drop)" }
|
|
phase_4 = { status = "pending", checkpointsha = "", name = "End-of-Campaign Report" }
|
|
|
|
[tasks]
|
|
# Phase 1
|
|
t1_1 = { status = "pending", commit_sha = "", description = "Tier 2 ships child 1 per its own plan.md" }
|
|
t1_2 = { status = "pending", commit_sha = "", description = "Run child 1 budget gate (>= 10% drop); pause if not met" }
|
|
t1_3 = { status = "pending", commit_sha = "", description = "Re-run full batched test suite; verify all 11 tiers PASS" }
|
|
t1_4 = { status = "pending", commit_sha = "", description = "Capture post-child-1 measurement in campaign_measurements_20260624.md" }
|
|
# Phase 2
|
|
t2_1 = { status = "pending", commit_sha = "", description = "Tier 2 ships child 2 per its own plan.md" }
|
|
t2_2 = { status = "pending", commit_sha = "", description = "Run child 2 budget gate (>= 20% drop); pause if not met" }
|
|
t2_3 = { status = "pending", commit_sha = "", description = "Re-run full batched test suite" }
|
|
t2_4 = { status = "pending", commit_sha = "", description = "Append post-child-2 measurement to campaign log" }
|
|
# Phase 3
|
|
t3_1 = { status = "pending", commit_sha = "", description = "Tier 2 ships child 3 per its own plan.md" }
|
|
t3_2 = { status = "pending", commit_sha = "", description = "Run child 3 budget gate (>= 30% drop); pause if not met" }
|
|
t3_3 = { status = "pending", commit_sha = "", description = "Re-run full batched test suite" }
|
|
t3_4 = { status = "pending", commit_sha = "", description = "Append post-child-3 measurement to campaign log" }
|
|
# Phase 4
|
|
t4_1 = { status = "pending", commit_sha = "", description = "Write TRACK_COMPLETION_metadata_ssdl_defusing_20260624.md" }
|
|
t4_2 = { status = "pending", commit_sha = "", description = "Update this state.toml to status=completed" }
|
|
t4_3 = { status = "pending", commit_sha = "", description = "Update conductor/tracks.md with campaign + 3 child rows" }
|
|
|
|
[verification]
|
|
vc1_all_3_children_shipped = false
|
|
vc2_end_of_campaign_report_exists = false
|
|
vc3_full_batched_suite_green = false
|
|
vc4_audit_gates_clean = false
|
|
vc5_no_new_top_level_src_files = false
|
|
vc6_3_behavioral_tests_pass = false
|
|
|
|
[measurements]
|
|
# Format: baseline_4.01e22 = sum of 2^branches across all 752 Metadata consumers
|
|
# Populated by Tier 2 as children ship
|
|
pre_campaign = 4.01e+22
|
|
post_child_1 = null
|
|
post_child_2 = null
|
|
post_child_3 = null |