feat: add subject extraction to explanations #2

Merged

hugooconnor merged 0 commits from refs/pull/2/head into main 2025-12-04 00:30:32 +00:00

Conversation 0 Commits - Files changed -

hugooconnor commented 2025-12-04 00:30:23 +00:00 (Migrated from codeberg.org)

Copy link

• Add extract-subjects-from-proof to find root facts in derivation tree
• Display "Subject:" in natural language explanation header
• Include subjects in dialogue-style and provenance outputs
• Add spindle:subjects to JSON-LD output schema
• Update vocabulary spec to v1.1 with subjects property
• Update README with demo instructions

The subjects field answers "who/what does this conclusion apply to?"
by tracing the proof tree back to grounding facts.

🤖 Generated with Claude Code

Co-Authored-By: Claude noreply@anthropic.com

- Add extract-subjects-from-proof to find root facts in derivation tree - Display "Subject:" in natural language explanation header - Include subjects in dialogue-style and provenance outputs - Add spindle:subjects to JSON-LD output schema - Update vocabulary spec to v1.1 with subjects property - Update README with demo instructions The subjects field answers "who/what does this conclusion apply to?" by tracing the proof tree back to grounding facts. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

anuna-research/spindle-racket!2

No description provided.