Extract facts F3 subclasses and F4 abstract methods #1492

New issue

Closed

opened 2026-11-01 17:18:24 +00:00 by jared · 2 comments

jared commented

2026-11-01 17:18:24 +00:00

Owner

Problem

Pattern rules for Template Method, Layer Supertype, Factory Method, and Inheritance Mappers need the subclass fact (F3) and the abstract method fact (F4). The extractor emits neither.

Reproduce

n/a: design gap in the extractor or detectors; nothing to run.

Approach

Add F3 (subclasses) and F4 (abstract methods) to the extractor ClassFacts.

Required work: none beyond the acceptance criteria.

Origin

Trigger: follow-up from #1429, #1430, and #1482 close-out; evidence in docs/system-design-format/pattern-landscape.md section 5
Improvised this session: none
Chain: miss or noise ← detector gap ← DESIGN (docs/system-design-format/pattern-landscape.md section 5)
Root candidate: none found; searched backlog for the title terms
Skeptic: VERDICT: CREATE
Where: plugins/os-sdlc/lib/
Session: 313ee80d-b132-4de6-a01d-e1a57fbd3450
Transcript: /home/jared/.claude/projects/-home-jared-dev-cc-os/313ee80d-b132-4de6-a01d-e1a57fbd3450.jsonl

## Problem Pattern rules for Template Method, Layer Supertype, Factory Method, and Inheritance Mappers need the subclass fact (F3) and the abstract method fact (F4). The extractor emits neither. ## Reproduce n/a: design gap in the extractor or detectors; nothing to run. ## Approach Add F3 (subclasses) and F4 (abstract methods) to the extractor ClassFacts. Required work: none beyond the acceptance criteria. ## Origin - Trigger: follow-up from #1429, #1430, and #1482 close-out; evidence in docs/system-design-format/pattern-landscape.md section 5 - Improvised this session: none - Chain: miss or noise ← detector gap ← DESIGN (docs/system-design-format/pattern-landscape.md section 5) - Root candidate: none found; searched backlog for the title terms - Skeptic: VERDICT: CREATE - Where: plugins/os-sdlc/lib/ - Session: 313ee80d-b132-4de6-a01d-e1a57fbd3450 - Transcript: /home/jared/.claude/projects/-home-jared-dev-cc-os/313ee80d-b132-4de6-a01d-e1a57fbd3450.jsonl

jared added the

plugin/os-sdlc

filed-by/user

category/code-change

labels

2026-11-01 17:18:24 +00:00

jared referenced this issue

2026-11-01 17:18:37 +00:00

Run the inheritance and includes fact spike with precision and recall per scale group (system-model step 9) #1482

jared commented

2026-11-01 21:44:44 +00:00

Author

Owner

Work started on branch worktree-agent-a3382ce04e0b64f91

jared referenced this issue from a commit

2026-11-01 21:52:33 +00:00

feat(system-model): extract subclasses (F3) and abstract methods (F4) into ClassFacts (#1492)

jared commented

2026-11-01 21:52:33 +00:00

Author

Owner

Resolution

Done: ClassFacts carry subclasses (F3, superclass resolved through namespace prefixes) and abstract_methods (F4, defs whose sole body is raise NotImplementedError)

Evidence: b7bb4726 on main; suite 3118 runs 0 failures; findings unchanged

Follow-ups: none: catalog rules that read F3/F4 (Template Method, Layer Supertype, Factory Method) belong to the pattern-landscape step, not this extraction ticket

## Resolution **Done:** ClassFacts carry subclasses (F3, superclass resolved through namespace prefixes) and abstract_methods (F4, defs whose sole body is raise NotImplementedError) **Evidence:** b7bb4726 on main; suite 3118 runs 0 failures; findings unchanged **Follow-ups:** none: catalog rules that read F3/F4 (Template Method, Layer Supertype, Factory Method) belong to the pattern-landscape step, not this extraction ticket

jared closed this issue

2026-11-01 21:52:33 +00:00