Skip to content

SESSION_LOG.md

Latest commit

 

History

History
48 lines (36 loc) · 2.13 KB

SESSION_LOG.md

File metadata and controls

48 lines (36 loc) · 2.13 KB

Session Log

2026-05-07 — Hub-penalty, attestation metrics, and lint cleanup

Changes

src/atomadic_forge/a3_og_features/emergent_swarm.py

  • Added hub-node penalty pass: symbols appearing in more than 3 chains receive a log₂ doubling discount on score_boosted (10 pts per doubling). Prevents a single high-connectivity connector (e.g. ContentCrew.planner) from capturing all top-N emergent candidates.
  • Added import math (required by the penalty calculation).

src/atomadic_forge/a1_at_functions/forge_metrics.py

  • Added attestation-based theorem counting: reads dist/BUILD_ATTESTATION_*.json when present.
  • count_lean_theorems() checks attestation first, falls back to raw proof-file scan.
  • Theorem count corrected: 886 → 872 (attestation is more accurate than naive regex scan).

scripts/update_metrics.py

  • LEAN4_THEOREMS hardcoded fallback: 624 → 872.

forge_metrics.json

  • lean_theorems.count: 886 → 872; added basis, attestation, proof_tree_hash fields.

README.md

  • Updated counts to match current metrics: ~40,195 LOC, 1,495 tests, 97 test files, 872 theorems/30 files.

src/atomadic_forge/a1_at_functions/mcp_protocol.py

  • Removed duplicate "transmute" legacy dict key (superseded entry at line ~3292).
  • Removed duplicate "loop" legacy dict key (superseded entry at line ~3297).
  • Both were pre-existing ruff F601 violations from a prior refactor.

src/atomadic_forge/a1_at_functions/harvest_absorb.py

  • Reformatted entire file: split semicolon-packed one-liners, sorted imports, removed unused typing.Any import, added type annotations, extracted hashlib to module-level import.
  • Net behavior unchanged; 38 ruff violations eliminated.

src/atomadic_forge/a3_og_features/create_feature.py

  • Removed unused resolve_any_python_package import (orphaned by harvest_absorb refactor).

.atomadic-forge/wisdom.jsonl

  • WIS-38cc55e8: MCP server caches Python modules at startup — source edits are not picked up until server restarts.

Ship-check result

  • ruff: PASS (0 violations)
  • pytest: 1493 passed, 2 skipped
  • wire: PASS (0 violations)
  • certify: 100/100