lawref.argmap

Аргументная карта — L4-lite, работа О-3 плана LAYERS-NEXT.

Проекция ГОТОВОГО proof-графа §179–§187 в граф «аргумент/атака» плюс grounded-разметка. Это пост-обработка витрины завершённого вычисления: ни одного обращения к движку изнутри, никакого влияния на evaluation (рекурсивные аргументы и preferred-семантика — полный L4, работа С-2).

Мини-спецификация проекции — из данных §107/§111/§115, не из ASPIC:

• аргумент — узел rule_application §180; базовый аргумент — не-application опора, атакующая из defeat §107.1 (assertion либо strict установление): его нечем атаковать в L1, он всегда in;
• атака — из defeat-узла §107: жертва — attributes.defeated, атакующие — premises без жертвы; вид по attributes.reason: defeater → undercut (§107.3), priority → rebut-priority (§107.2), strict-opposition → rebut-strict (§107.1);
• неразрешённый конфликт §115 (ambiguity preserving §112) — взаимные rebut-unresolved между непобеждёнными кандидатами обеих сторон;
• undermine (атака на посылку) в L1 отдельным событием не существует: посылка атакуется выведением комплемента, а его движок материализует стратами §110–§111 — побеждённый кандидат не порождает опор, и правило ниже по страте просто не срабатывает. Несработавшее правило — не аргумент; его blocker-граф §185 остаётся запросу why_not.

Grounded-разметка: неподвижная точка «in — все атакующие out; out — есть атакующий in; остальное undec». Результат детерминирован единственностью grounded extension; порядок обхода влияет только на число итераций.

Чтение меток против движка: in — вывод устоял бесспорно; out — побеждён §107; undec — устоял в неснятом конфликте (BOTH §112).

Attributes

Name	Description
ATTACK_KINDS	No description.
SCHEMA_VERSION	No description.

Functions

Name	Description
map_bytes	Канонические байты карты (§208-эмиттер) — контракт детерминизма.
project	Аргументная карта evaluation-документа (см. мини-спецификацию выше).
render_text	Человекочитаемая карта: метка, аргумент, вывод, входящие атаки.

ATTACK_KINDSattributemodule attribute#

View source

ATTACK_KINDS = {
  'defeater': 'undercut',
  'priority': 'rebut-priority',
  'strict-opposition': 'rebut-strict'
}

SCHEMA_VERSIONattributemodule attribute#

View source

SCHEMA_VERSION = 'law.argmap/0.1'

map_bytesfunction#

View source

def map_bytes(argmap: dict) -> bytes

Канонические байты карты (§208-эмиттер) — контракт детерминизма.

projectfunction#

View source

def project(document: dict) -> dict[str, Any]

Аргументная карта evaluation-документа (см. мини-спецификацию выше).

render_textfunction#

View source

def render_text(argmap: dict, headings: dict[str, str] | None = None) -> str

Человекочитаемая карта: метка, аргумент, вывод, входящие атаки.

headings — вербализация B1 (LS §3): заголовки блоков .lawread.md по id правила (остаток О-3, закрыт при полном L4/С-2). С паком правило называется словами юриста, без — идентификатором; карта (–json) в обоих случаях байтово одна — вербализация касается только текстового вида.