Repository navigation
Phase 7: imports, dialectical semantics and argument analysis - #9
Merged
Merged
Conversation
- Import resolution: relative to the importing file, then -L dirs, then the bundled library; cycles reported with the chain; diamond imports merged once; every imported file checked in its own right - Standard library: library/std/principles.theo (non-contradiction, PSR, causal principle); bundled into the browser build as well - Dung grounded semantics over objections and replies, defeat propagated along inferences; statuses shown in Mermaid, the playground and the gallery - theosc analyze: what each conclusion rests on, premise load, unused nodes/axioms/citations (via proofs or re-deciding without a premise), objection outcomes, premises shared across files - Verdicts now say 'valid' and report contested conclusions separately - Library grows to ten arguments: Anselm, Aquinas's Third Way, Leibniz, the moral argument and Mackie's problem of evil join the existing five - docs/spec/analysis.md Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019WEmxyo9CRKSbjbEdCuJTG
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Stacked on #8. Implements Phase 7 of
ROADMAP.md.-Ldirectories, then in the bundledlibrary/. Cycles are reported with the chain (cycle_a -> cycle_b -> cycle_a), diamond imports are merged once, and every imported file is checked in its own right.library/std/principles.theoprovides non-contradiction, the PSR and the causal principle. The library is also packaged into the WASM build, so imports work in the playground.docs/spec/analysis.md). Statuses show in the graph, the playground and the gallery. An objection whose reply is itself answered stands again.theosc analyze. What each conclusion rests on, premise load, unused nodes/axioms/citations (detected through proofs, or by re-deciding without the premise), objection outcomes, and premises shared across files.83 test cases, the WASM and Playwright smoke tests, and all ten arguments pass. Screenshots checked for the contested-argument page and the gallery index.
Generated by Claude Code