Compact workspace memory: -29% chars, 37 concepts preserved

Agent: huffman

Compaction Summary:
- Lines: 576 → 477 (-17%)
- Chars: 36,372 → 26,173 (-28%)
- Entries: 45 → 37 (merged 8)

Transformations:
- Removed 1 exact duplicate (Datalog Program Generation x2)
- Collapsed 6 log-style bug narratives to current-state declarations
- Merged Plan Verification into Plan Mode entry
- Merged Rulespec Changes into Invariants entry (current state only)
- Updated 12 stale char ranges against actual file positions
- Removed 13 references to deleted code (extraction.rs, shadow_datalog_verify,
  save/load_compiled_rulespec, display_welcome_message, OutputMode, etc.)
- Moved Skills System Entry Points from AGENTS.md to memory (was duplicate)
- AGENTS.md: removed 20-line skills table, kept rules/invariants only

AGENTS.md

@@ -85,23 +85,3 @@ The `analysis/deps/` directory contains static analysis artifacts generated by t
 
 These artifacts are useful for understanding coupling, planning refactors, and identifying architectural boundaries.
 
-## Skills System Entry Points
-
-The skills system (`crates/g3-core/src/skills/`) provides extensible agent capabilities:
-
-| File | Purpose |
-|------|--------|
-| `mod.rs` | Public API: `Skill`, `discover_skills`, `generate_skills_prompt` |
-| `parser.rs` | SKILL.md parsing with YAML frontmatter validation |
-| `discovery.rs` | Multi-location discovery with priority ordering |
-| `embedded.rs` | Compile-time skill embedding via `include_str!` |
-| `extraction.rs` | Script extraction to `.g3/bin/` with version tracking |
-| `prompt.rs` | Generates `<available_skills>` XML for system prompt |
-
-**Key invariants for skills**:
-- Skill names must be 1-64 chars, lowercase + hyphens only
-- SKILL.md must have valid YAML frontmatter with `name` and `description`
-- Embedded scripts are extracted lazily (on first use)
-- Version tracking uses content hash, not timestamps
-- Higher priority locations override lower (repo > workspace > global > embedded)
-- Script extraction is Unix-only (chmod 755); Windows support is incomplete