Subsumpcja pl

Skill matematicsolutions/awesome-matematic-skills-pl/fundament-weryfikacyjny/skills/subsumpcja-pl

Polish hub of legal-AI skills - 41 skills in 8 Claude Code / Cowork bundles (LLM output verification, PL/EU case law, DOCX redline, AI Act audit bundle). GDPR-safe, vendor-neutral, MIT.

Install

npx -y skills add matematicsolutions/awesome-matematic-skills-pl --skill subsumpcja-pl

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

2 things to look at

no licenseNo license file was found in the repository. Code published without one is not open source by default, so using it at work is a question for whoever answers licensing questions where you are.
2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

What its author says it does

Copied from the file, not written here

Buduje jawny sylogizm prawniczy (subsumcję) dla zagadnienia - rozkłada rozumowanie na przesłankę większą (norma + wykładnia), przesłankę mniejszą (istotne fakty), podciągnięcie faktów pod normę i wniosek, a potem wskazuje słabe ogniwa: ukryte założenia, sporne fakty, wątpliwą wykładnię. Wymusza, by każdy krok był wypowiedziany i sprawdzalny, zamiast skoku od stanu faktycznego do tezy. Pairuje z adversarial-legal-review-pl (atak na sylogizm), citation-grounding-pl (weryfikacja powołanej normy) i struktura-wyroku-pl. Uzywaj gdy: "zbuduj subsumpcję", "sylogizm prawniczy", "podciągnij fakty pod normę", "rozpisz rozumowanie", "gdzie jest luka w argumentacji", "przesłanka większa i mniejsza", "uzasadnij krok po kroku", przy pisaniu opinii / uzasadnienia / pisma procesowego.

The file declares its own license as Apache-2.0. That is the author’s claim about this one file, and it is not the same thing as the license GitHub reports for the repository, which is listed with the other numbers below.

SKILL.md

4.3 KB, ~1.1k tokens by cl100k_base, as published. Nobody here has run it

Subsumpcja PL - jawny sylogizm prawniczy

Filozofia

Błąd w opinii rzadko siedzi we wniosku - siedzi w przemilczanej przesłance. Rozumowanie prawnicze to sylogizm: norma (przesłanka większa), fakty (przesłanka mniejsza), podciągnięcie i wniosek. Gdy któryś krok zostaje niewypowiedziany - „bo przecież oczywiste" - tam właśnie chowa się luka, którą znajdzie druga strona albo sąd. Ten skill zmusza, by każdy krok wypowiedzieć i oznaczyć, co jest pewne, a co sporne.

Skill strukturyzuje rozumowanie, nie rozstrzyga sprawy. Ocena i decyzja zostają prawnikowi.

Workflow

Przesłanka większa (norma + wykładnia) - zidentyfikuj normę prawną (przepis), a potem jej wykładnię: jak rozumiane są przesłanki normy (językowo, systemowo, celowościowo). Powołaną normę przekaż do citation-grounding-pl do weryfikacji.
Przesłanka mniejsza (fakty istotne) - wypisz fakty, które mają znaczenie dla przesłanek normy. Oddziel fakty bezsporne od spornych i od ocen.
Subsumcja (podciągnięcie) - dla każdej przesłanki normy pokaż, który fakt ją spełnia (lub nie). To jest właściwa praca: dopasowanie faktu do znamienia normy.
Wniosek - skutek prawny wynikający z subsumcji.
Test słabych ogniw - oznacz: które przesłanki normy są sporne w wykładni, które fakty sporne dowodowo, jakie założenia przyjęto milcząco. To mapa dla adversarial-legal-review-pl.

Format wyjścia

ZAGADNIENIE: <pytanie prawne>

PRZESŁANKA WIĘKSZA (norma): <przepis> - "<treść/znamiona>"
  Wykładnia: <jak rozumiane są znamiona; rozbieżności w doktrynie/orzecznictwie>

PRZESŁANKA MNIEJSZA (fakty istotne):
  - bezsporne: <...>
  - sporne (dowodowo): <...>

SUBSUMCJA (znamię -> fakt):
  - <znamię 1> : spełnione przez <fakt> | NIE spełnione | sporne
  - <znamię 2> : ...

WNIOSEK: <skutek prawny>

SŁABE OGNIWA (do adversarial-legal-review-pl):
  - wykładnia: <które znamię sporne i dlaczego>
  - fakty: <co wymaga dowodu>
  - założenia milczące: <...>

Granice

Sylogizm porządkuje rozumowanie - nie zastępuje wykładni ani ustaleń dowodowych. Trafność normy, wykładni i oceny faktów rozstrzyga prawnik.
Skill nie waży argumentów za i przeciw (od tego jest adversarial-legal-review-pl) - układa je tak, by atak i weryfikacja miały na czym pracować.
Subsumcja zakłada normę o znamionach. Dla klauzul generalnych i ważenia zasad sam sylogizm bywa niewystarczający - oznacz to jako rozumowanie ważące, nie subsumpcyjne.

Atrybucja

Subsumcja (sylogizm prawniczy) to klasyczna metoda polskiej dogmatyki prawa. Pomysł jawnego scaffoldu sylogizmu dla AI zainspirowany m.in. projektem Fuzi.Mingcha (irlab-sdu) - bez użycia jego kodu ani modeli. Reguły, format i kotwice PL to oryginalne opracowanie MateMatic. Interpretacja MateMatic, nie stanowisko NRA ani KRRP.