Skip to content

Walk argument steps as a path pattern; CI on luria 1.1.0 - #134

Merged
dmarx merged 1 commit into
mainfrom
claude/beautiful-cray-sr1fx2
Oct 13, 2026
Merged

dmarx merged 1 commit into
mainfrom
claude/beautiful-cray-sr1fx2

Conversation

@dmarx

@dmarx dmarx commented Oct 13, 2026

Copy link
Copy Markdown
Owner

What

A path pattern for steps an argument draws. The argument chain now walks argued_from beside rests_on:

patterns:
  argued_from:
    match: >-
      (c:CLAIM)<-[:concludes]-(g:ARG)-[:rests_on]->(p:CLAIM)
      WHERE NOT (g {status: 'Rejected'})
  • An ARG's premises are its rests_on and its conclusion is its concludes. No single field relates the two claims, so a chain over rests_on never showed a step drawn by an argument.
  • With the pattern, the steps through ARG-006, ARG-007 and ARG-008 render under their premises, each "— through ARG-00x".
  • ARG-004 is Rejected, so it draws no step.
  • ARGs whose premises are all grounds (cases, theories, literature) relate no claims to each other, and are correctly absent.

CI on luria 1.1.0 (docs.yml ×5, pages.yml ×1). 1.1.0 contains exactly two changes from 1.0.0:

Verification

Run with luria 1.1.0 installed from PyPI in a clean environment:

  • luria repair changed nothing.
  • luria link --fix linked only the new fragment.
  • luria lint passes ("docs lint clean").
  • luria index changes argument-lines.md (the three steps), dialectic.md, lineage.md and theory-lines.md (Status review, pass 11 (ADR-057): the unwritten concessions cleared, twelve promotions, CLAIM-154 narrowed on a computed counterexample #359's relation labels), record.md (the new patterns key) and reports/unbound-lineage.md. Per CLAUDE.md these views are not committed; CI regenerates them on main.
  • Before luria#372 merged, the same pattern was tried on a copy of this record. Unchanged, every file luria index writes was byte-identical between luria main and the branch, and so was luria lint with the network off.

Changelog fragment: record/changelog.d/20261013-060412.md.

🤖 Generated with Claude Code

https://claude.ai/code/session_016xS6nL8ZZpTh1jMSvaTRks


Generated by Claude Code

The `argument` chain walks `argued_from` beside `rests_on`: a claim and the
claims an argument that is not Rejected draws it from, through the ARG's
`concludes` and `rests_on`. Steps through ARG-006, ARG-007 and ARG-008 now
render, each naming its argument. CI moves to luria 1.1.0, which carries
path patterns (dmarx/luria#372) and names a step's other parents by their
relation (dmarx/luria#359).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016xS6nL8ZZpTh1jMSvaTRks
@dmarx
dmarx merged commit e2ed3b3 into main Oct 13, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants