@aryacode/dsh-engineering 0.0.0-stage → 0.3.0

package/vendor/mwi/code/engine/motionworks_iec_mcp/variables.py

@@ -0,0 +1,472 @@
+"""Parse MotionWorks IEC variable declarations.
+
+A MotionWorks POU stores its variables in two places inside ``src.st1``:
+
+``<POU>V.VB``
+    The authoritative *textual* IEC 61131-3 declarations.  This is what the
+    MotionWorks variable grid is showing you, and it carries the names, types,
+    addresses, and ``(*...*)`` descriptions.  It is plain text and it is
+    complete, so it is the primary source of truth here.
+
+``<POU>V.VGR``
+    A binary "variable grid" record table holding the grid's UI state (handles,
+    row positions, usage flags, group assignment).  It duplicates some of what
+    ``.VB`` holds and adds editor metadata.
+
+Format of ``.VB`` (observed across all 34 declaration streams in the sample
+projects)::
+
+    <blank>
+    (*Group:Default*)
+    <blank>
+    <blank>
+    VAR_EXTERNAL
+    \tTopCutter :\tAXIS_REF;(*SGD7S - 1 (Do Not Modify!!) *)<CRLF>
+    \tEIP_FromCLX_Axis_SVON_Cmd :\tBOOL;<CRLF>
+    END_VAR
+    <blank>
+    <blank>
+    VAR
+    \tMC_TopCutter_ServoOn :\tMC_Power;<CRLF>
+    END_VAR
+
+Only ``VAR`` and ``VAR_EXTERNAL`` appear in POU files; the resource-level
+``Global_Variables.VB`` uses ``VAR_GLOBAL``.  Blocks with the same keyword may
+repeat, each optionally preceded by its own ``(*Group:...*)`` marker, so a
+variable's group is the most recent marker seen at or before it.
+
+Grammar per declaration::
+
+    <name> [AT <address>] : <type> ; [(*description*)]
+"""
+
+from __future__ import annotations
+
+import re
+import struct
+from dataclasses import dataclass, field
+
+from .errors import UnsupportedFormat
+
+#: Block keywords that may introduce a declaration list.
+BLOCK_KEYWORDS = (
+    "VAR_GLOBAL",
+    "VAR_EXTERNAL",
+    "VAR_INPUT",
+    "VAR_OUTPUT",
+    "VAR_IN_OUT",
+    "VAR_TEMP",
+    "VAR_RETAIN",
+    "VAR_CONFIG",
+    "VAR_ACCESS",
+    "VAR",
+)
+
+_GROUP_RE = re.compile(
+    r"^\(\*Group\s*:\s*(?P<inner>.*)\*\)\s*$",
+    re.IGNORECASE | re.DOTALL,
+)
+_TRAILING_COMMENT_RE = re.compile(r"\(\*(.*?)\*\)\s*$", re.DOTALL)
+_ADDRESS_RE = re.compile(r"^(.*?)\s+AT\s+(\S+)$", re.IGNORECASE | re.DOTALL)
+
+#: Keywords that may follow a block keyword without introducing a declaration.
+#: ``VAR_GLOBAL RETAIN`` is real MotionWorks output; ``RETAIN`` is a modifier,
+#: not a variable name.
+_BLOCK_MODIFIERS = {
+    "RETAIN", "NON_RETAIN", "CONSTANT", "PERSISTENT", "VAR_INPUT", "VAR_OUTPUT",
+}
+
+#: Usage values observed in the .VGR binary grid, for cross-checking.
+USAGE_LOCAL = 1
+USAGE_EXTERNAL = 5
+USAGE_FB_INSTANCE = 0x00040001
+USAGE_NAMES = {
+    USAGE_LOCAL: "local",
+    USAGE_EXTERNAL: "external",
+    USAGE_FB_INSTANCE: "fb-instance",
+}
+
+#: Block keyword -> whether it declares data owned by this POU.
+_EXTERNAL_BLOCKS = {"VAR_EXTERNAL"}
+
+
+@dataclass
+class Variable:
+    """A single declared variable."""
+
+    name: str
+    type_name: str
+    section: str
+    group: str | None = None
+    address: str | None = None
+    description: str | None = None
+    line: int = 0
+    initial_value: str | None = None
+    disabled: bool = False
+
+    @property
+    def is_external(self) -> bool:
+        """True when the POU references a symbol owned elsewhere."""
+        return self.section in _EXTERNAL_BLOCKS
+
+    @property
+    def is_global(self) -> bool:
+        return self.section == "VAR_GLOBAL"
+
+    @property
+    def base_type(self) -> str:
+        """The type with any array/string qualification reduced.
+
+        ``ARRAY [0..7] OF INT`` reduces to ``ARRAY`` and ``STRING[80]`` to
+        ``STRING``, so classification is not fooled by parameters.
+        """
+        text = self.type_name.strip()
+        upper = text.upper()
+        if upper.startswith("ARRAY"):
+            return "ARRAY"
+        if "[" in text:
+            text = text.split("[", 1)[0].strip()
+        if "." in text:
+            # A dotted type such as a library structure reference.
+            text = text.rsplit(".", 1)[-1].strip()
+        return text
+
+    @property
+    def is_fb_instance(self) -> bool:
+        """True when the type looks like a function-block instance.
+
+        MotionWorks marks these with usage ``0x00040001`` in the binary grid.
+        A function-block instance is a *stateful* instance rather than a plain
+        value, which matters when transplanting bodies between POUs.  The check
+        is case-insensitive and ignores any default initialiser, because a
+        declaration such as ``BOOL := FALSE`` is a plain value.
+        """
+        return (
+            not self.is_global
+            and not self.is_external
+            and self.base_type.upper() not in BUILTIN_TYPES
+        )
+
+    def to_dict(self) -> dict[str, object]:
+        return {
+            "name": self.name,
+            "type": self.type_name,
+            "section": self.section,
+            "group": self.group,
+            "address": self.address,
+            "initial_value": self.initial_value,
+            "description": self.description,
+            "line": self.line,
+            **({"disabled": True} if self.disabled else {}),
+        }
+
+    def format_line(self) -> str:
+        bits = [self.name]
+        if self.address:
+            bits.append(f"AT {self.address}")
+        text = f"{' '.join(bits)} : {self.type_name}"
+        if self.initial_value:
+            text += f" := {self.initial_value}"
+        if self.description:
+            text += f"  (*{self.description}*)"
+        return text
+
+
+@dataclass
+class DeclarationTable:
+    """Every variable declared in one ``.VB`` stream."""
+
+    variables: list[Variable] = field(default_factory=list)
+    warnings: list[str] = field(default_factory=list)
+    source_stream: str | None = None
+
+    def __len__(self) -> int:
+        return len(self.variables)
+
+    def by_name(self, name: str) -> Variable | None:
+        target = name.casefold()
+        for v in self.variables:
+            if v.name.casefold() == target:
+                return v
+        return None
+
+    def sections(self) -> dict[str, int]:
+        counts: dict[str, int] = {}
+        for v in self.variables:
+            counts[v.section] = counts.get(v.section, 0) + 1
+        return counts
+
+    def duplicates(self) -> dict[str, list[Variable]]:
+        seen: dict[str, list[Variable]] = {}
+        for v in self.variables:
+            seen.setdefault(v.name.casefold(), []).append(v)
+        return {k: v for k, v in seen.items() if len(v) > 1}
+
+    def variants(self, name: str) -> list[Variable]:
+        """All declarations of ``name``, in file order.
+
+        MotionWorks permits the same symbol to appear in more than one block
+        (for example declared in a ``VAR`` and referenced in a
+        ``VAR_EXTERNAL``), so callers must not assume a name is unique.
+        """
+        target = name.casefold()
+        return [v for v in self.variables if v.name.casefold() == target]
+
+
+#: IEC elementary types that are plain values rather than function-block
+#: instances.  Types deliberately *not* listed here (``AXIS_REF``,
+#: ``TASK_INFO_ECLR``, ``CONTROLLER_INFO``, library structures) are reported as
+#: instances, because classification only affects how a donor body is treated.
+BUILTIN_TYPES = {
+    "BOOL", "BYTE", "WORD", "DWORD", "LWORD", "SINT", "USINT", "INT", "UINT",
+    "DINT", "UDINT", "LINT", "ULINT", "REAL", "LREAL", "STRING", "WSTRING",
+    "TIME", "LTIME", "DATE", "LDATE", "TOD", "LTOD", "DT", "LDT", "CHAR",
+    "WCHAR", "TIME_OF_DAY", "DATE_AND_TIME", "ARRAY",
+}
+
+
+def _split_type_initial_comment(body: str) -> tuple[str, str | None, str | None]:
+    """Split ``TYPE := INIT;(*desc*)`` into type, initial value, and description."""
+    description = None
+    match = _TRAILING_COMMENT_RE.search(body)
+    if match:
+        description = match.group(1).strip()
+        body = body[: match.start()]
+    body = body.strip().rstrip(";").strip()
+
+    # Native publication/PLC flags follow the initializer/type as brace attributes.
+    # Strip only these observed attributes outside strings; they are not IEC value
+    # text. Native flag read-back remains the authority for its boolean state.
+    attribute = re.search(r'\s*\{(?:PDD|CSV|NOP|RDT)(?:\s*,\s*(?:PDD|CSV|NOP|RDT))*\}\s*$', body, re.I)
+    if attribute:
+        quote = None
+        pos = 0
+        while pos < attribute.start():
+            char = body[pos]
+            if quote:
+                if char == '$': pos += 2; continue
+                if char == quote:
+                    if pos+1 < attribute.start() and body[pos+1] == quote: pos += 2; continue
+                    quote = None
+            elif char in "'\"": quote = char
+            pos += 1
+        if quote is None:
+            body = body[:attribute.start()].rstrip()
+
+    initial_value = None
+    if ":=" in body:
+        body, initial_value = body.split(":=", 1)
+        initial_value = initial_value.strip()
+    return body.strip(), initial_value, description
+
+
+def parse_declarations(text: str, source_stream: str | None = None) -> DeclarationTable:
+    """Parse a ``.VB`` declaration stream into a :class:`DeclarationTable`.
+
+    The parser is tolerant: a line it cannot interpret becomes a warning rather
+    than an exception, because a partially understood file is still useful for
+    reading and a hard failure would hide the rest of the project.
+    """
+    table = DeclarationTable(source_stream=source_stream)
+    section: str | None = None
+    group: str | None = None
+
+    for lineno, raw_line in enumerate(text.splitlines(), start=1):
+        line = raw_line.strip()
+        disabled = False
+        # The IDE retains disabled declarations as (*<declaration;>*) followed
+        # by their description. Recognize that exact wrapper, not ordinary
+        # comments, and retain its disabled state for saved-source readers.
+        wrapped = re.fullmatch(r'\(\*<(.*?)>\*\)(\s*(?:\(\*.*?\*\))?)', line)
+        if wrapped:
+            line = wrapped[1] + wrapped[2]
+            disabled = True
+
+        group_match = _GROUP_RE.match(line)
+        if group_match:
+            group = group_match.group("inner").strip()
+            # A group marker is always alone on its line in practice, so once it
+            # is recognised the whole line is consumed.
+            continue
+
+        if not line:
+            continue
+
+        upper = line.upper()
+
+        if upper == "END_VAR":
+            section = None
+            continue
+
+        # Match the longest keyword first so VAR_EXTERNAL never matches VAR.
+        matched_block = None
+        for keyword in BLOCK_KEYWORDS:
+            if upper == keyword or upper.startswith(keyword + " "):
+                # Guard against "VAR_EXTERNAL" being caught by a prefix rule.
+                matched_block = keyword
+                break
+        if matched_block:
+            section = matched_block
+            remainder = line[len(matched_block):].strip()
+            if not remainder or remainder.upper().rstrip() in _BLOCK_MODIFIERS:
+                # "VAR_GLOBAL RETAIN" declares nothing on this line.
+                continue
+            line = remainder
+            upper = line.upper()
+
+        if section is None:
+            table.warnings.append(
+                f"line {lineno}: declaration outside any VAR block: {line!r}"
+            )
+            continue
+
+        if ":" not in line:
+            table.warnings.append(f"line {lineno}: no ':' in declaration: {line!r}")
+            continue
+
+        left, right = line.split(":", 1)
+        type_name, initial_value, description = _split_type_initial_comment(right)
+        if not type_name:
+            table.warnings.append(f"line {lineno}: empty type in {line!r}")
+            continue
+
+        left = left.strip()
+        address = None
+        address_match = _ADDRESS_RE.match(left)
+        if address_match:
+            left = address_match.group(1).strip()
+            address = address_match.group(2).strip()
+
+        if not left:
+            table.warnings.append(f"line {lineno}: empty variable name in {line!r}")
+            continue
+
+        # A left side such as "A, B" declares several names of one type.
+        for name in (n.strip() for n in left.split(",")):
+            if not name:
+                continue
+            table.variables.append(
+                Variable(
+                    name=name,
+                    type_name=type_name,
+                    section=section,
+                    group=group,
+                    address=address,
+                    description=description,
+                    line=lineno,
+                    initial_value=initial_value,
+                    disabled=disabled,
+                )
+            )
+
+    if section is not None:
+        table.warnings.append(f"unterminated {section} block at end of file")
+
+    for name, dupes in table.duplicates().items():
+        table.warnings.append(
+            f"variable {name!r} declared {len(dupes)} times "
+            f"(lines {', '.join(str(d.line) for d in dupes)})"
+        )
+
+    return table
+
+
+# Native record operations are centralized so duplicate definitions cannot diverge.
+from .grid import parse as parse_grid_records, read_record as read_grid_record
+from .grid import add as append_grid_variable, edit as update_grid_variable, delete as remove_grid_variable
+
+
+def default_initial_value(type_name: str) -> str:
+    return {"BOOL": "FALSE", "REAL": "0.0", "LREAL": "0.0", "TIME": "T#0s"}.get(type_name.upper(), "0")
+
+
+def read_grid_variable_count(grid: bytes) -> int | None:
+    """Return the variable count recorded in a ``.VGR`` binary grid header.
+
+    Offsets 0 and 4 hold format markers; the record count is a little-endian
+    DWORD at offset 8.  This is used to cross-check the textual declaration
+    count, which is how a mis-parse or a desynchronised grid is detected.
+    """
+    if len(grid) < 12:
+        return None
+    return struct.unpack_from("<I", grid, 8)[0]
+
+
+#: Magic observed at the start of MotionWorks' compressed stream container.
+#: The body that follows is not a standard codec (zlib/deflate, LZMA and bzip2
+#: all fail on it), so these streams are recognised and reported, not decoded.
+COMPRESSED_MAGIC = bytes.fromhex("CADAC758")
+
+#: Sidecar suffix holding a 64-byte digest plus an 8-byte header.
+SIDECAR_SUFFIX = ".sn"
+
+
+def is_compressed_stream(payload: bytes) -> bool:
+    """True when a stream uses the MotionWorks compressed container.
+
+    The magic is checked against the *whole* compact payload because the first
+    eight bytes are a little-endian hash/length header on some streams, which
+    shifts the magic off offset zero.
+    """
+    head = payload[:16]
+    return COMPRESSED_MAGIC in head or head[:4] == b"\x00\x00\x00\x00" and not looks_like_text(head)
+
+
+def looks_like_text(payload: bytes) -> bool:
+    """Heuristic: is this payload plausibly IEC 61131-3 source text?"""
+    if not payload:
+        return True
+    sample = payload[:4096]
+    printable = sum(
+        1 for b in sample if 32 <= b < 127 or b in (9, 10, 13)
+    )
+    return printable / len(sample) > 0.90
+
+
+class CompressedStreamError(UnsupportedFormat):
+    """Raised when a declaration stream uses MotionWorks' compressed container.
+
+    Five of the largest RotaryKnife POUs serialise ``<POU>V.VB`` this way.  The
+    format is not a recognised codec, so rather than guess (and risk writing
+    back a corrupted project) callers are told exactly what was found.
+    """
+
+
+def decode_declarations(payload: bytes, source_stream: str | None = None) -> DeclarationTable:
+    """Decode a ``.VB`` payload, raising a precise error when it is compressed.
+
+    Kept separate from :func:`parse_declarations` so callers that already know
+    they hold text can skip the sniffing.
+    """
+    if is_compressed_stream(payload):
+        raise CompressedStreamError(
+            f"Declaration stream {source_stream or '<unnamed>'!r} uses the "
+            f"MotionWorks compressed container (magic {COMPRESSED_MAGIC.hex()}). "
+            f"This is not a standard codec and is not yet supported; the "
+            f"variables for this POU cannot be read or edited safely."
+        )
+    if not looks_like_text(payload):
+        raise UnsupportedFormat(
+            f"Declaration stream {source_stream or '<unnamed>'!r} is neither "
+            f"valid IEC text nor the known compressed container "
+            f"(first bytes: {payload[:8].hex(' ')})"
+        )
+    return parse_declarations(payload.decode("latin1"), source_stream=source_stream)
+
+
+def cross_check(table: DeclarationTable, grid_count: int | None) -> list[str]:
+    """Compare the textual declaration count against the binary grid count.
+
+    A mismatch means the two stores disagree, which MotionWorks will surface as
+    inconsistent symbols.  It is reported rather than raised so the read path
+    still returns useful data.
+    """
+    notes: list[str] = []
+    if grid_count is None:
+        return notes
+    if grid_count != len(table):
+        notes.append(
+            f"declaration count mismatch: .VB declares {len(table)} variables "
+            f"but the .VGR grid header records {grid_count}"
+        )
+    return notes

package/vendor/mwi/code/engine/motionworks_iec_mcp/workflow.py

@@ -0,0 +1,130 @@
+"""Read-only readiness and source evidence; never repairs or restages a project."""
+from __future__ import annotations
+
+import hashlib
+import json
+import re
+from pathlib import Path
+
+from .cfb import CompoundFile
+from .mwt_bind import embedded_paths
+from .staging import assert_staged, assert_proven, assert_direct_attached, StagingRefused, workspace_root
+
+
+def source_manifest(root: Path) -> dict:
+    """Hash real native sources, not generated DLLs or tmp.sto compiler caches."""
+    root = Path(root).resolve()
+    files = {}
+    streams = {}
+    for path in sorted(root.rglob('src.st1')):
+        if not path.resolve().is_relative_to(root):
+            raise ValueError(f'Linked source escapes project: {path}')
+        relative = path.relative_to(root).as_posix()
+        files[relative] = hashlib.sha256(path.read_bytes()).hexdigest()
+        cfb = CompoundFile(path)
+        streams[relative] = {
+            name: hashlib.sha256(cfb.read_stream(name)).hexdigest()
+            for name in sorted(cfb.stream_names())
+        }
+    for name in ('LIST.POU', 'PROJECT.INF'):
+        path = root / name
+        if path.is_file():
+            if not path.resolve().is_relative_to(root):
+                raise ValueError(f'Linked source escapes project: {path}')
+            files[name] = hashlib.sha256(path.read_bytes()).hexdigest()
+    # Description text lives outside src.st1. Losing a translation must fail
+    # persistence verification even when its binary description ID is unchanged.
+    translations = {}
+    for path in sorted(root.rglob('*Translation.xml')):
+        if not path.resolve().is_relative_to(root):
+            raise ValueError(f'Linked description escapes project: {path}')
+        relative = path.relative_to(root).as_posix()
+        translations[relative] = hashlib.sha256(path.read_bytes()).hexdigest()
+        files[relative] = translations[relative]
+    metadata = {name: value for name, value in files.items() if not name.endswith('src.st1')}
+    digest = hashlib.sha256(json.dumps({'streams': streams, 'metadata': metadata}, sort_keys=True).encode()).hexdigest()
+    # These two measured streams store expanded navigation-tree/view state.
+    # Keep their hashes as evidence, but do not confuse UI normalization with
+    # changed program sources. PROJECT.TRE is deliberately NOT excluded.
+    persistence_streams = {file: {name: value for name, value in store.items()
+                                if name.upper() not in ('PRMVIEWALL.DAT', 'PRMVIEWHARD.DAT')}
+                           for file, store in streams.items()}
+    persistence_digest = hashlib.sha256(json.dumps({'streams': persistence_streams,
+                                                    'metadata': metadata}, sort_keys=True).encode()).hexdigest()
+    programs = {file: {name: value for name, value in store.items()
+                      if name.upper().endswith(('.VB', '.VGR', '.STB', '.GB', '.TXT'))}
+                for file, store in streams.items()}
+    program_digest = hashlib.sha256(json.dumps({'programs': programs, 'translations': translations}, sort_keys=True).encode()).hexdigest()
+    return {'project': str(root), 'source_digest': digest, 'files': files,
+            'persistence_digest': persistence_digest,
+            'program_digest': program_digest,
+            'streams': streams, 'verification': 'native_source_only',
+            'note': 'Source hashes are not compile, download, or motion evidence.'}
+
+
+def check(project: str) -> dict:
+    from .project import Project
+    from .validation import validate
+
+    try:
+        root = assert_staged(project)
+        direct = False
+    except StagingRefused:
+        root = assert_direct_attached(project)
+        direct = True
+    if root.suffix.lower() == '.mwt':
+        root = root.with_suffix('')
+    # Diagnostic bypass is deliberately read-only, and still confines EVERY file
+    # to the stage. It is necessary to explain relocated identities, not trust them.
+    stage = workspace_root() / '.motionworks' / 'stage'
+    if (not direct and root.parent != stage.resolve()) or not root.is_dir():
+        raise ValueError('Select an authorized expanded workspace project')
+    for member in root.rglob('*'):
+        if not member.resolve().is_relative_to(root):
+            raise ValueError(f'Linked project member escapes stage: {member}')
+    blockers, warnings = [], []
+    try:
+        (assert_direct_attached if direct else assert_proven)(root)
+        identity_ok = True
+    except Exception as exc:
+        identity_ok = False
+        blockers.append({'code': 'identity_invalid', 'detail': str(exc),
+                         'next': 'Inspect the copied identity and original source. Do not restage over edits or hand-edit provenance.'})
+    wrapper = root.with_suffix('.mwt')
+    paths = []
+    try:
+        paths = embedded_paths(wrapper)
+        # Native sibling-directory wrappers legitimately store no absolute path.
+        # Use the same rule as check_mwt; do not manufacture a path for them.
+        bound = (all(Path(p).resolve() == root for p in paths) if paths else identity_ok)
+        if not bound:
+            blockers.append({'code': 'wrapper_unverified', 'detail': str(paths),
+                             'next': 'Check identity first, then mw_code_wrapper_binding. Preserve stage edits; do not restage over them.'})
+    except Exception as exc:
+        bound = False
+        blockers.append({'code': 'wrapper_unreadable', 'detail': str(exc),
+                         'next': 'Preserve the wrapper and inspect its native format.'})
+    validation = validate(root)
+    if not validation.get('ok'):
+        blockers.append({'code': 'native_validation_failed', 'detail': validation,
+                         'next': 'Inspect native errors before editing or opening.'})
+    p = Project(root)
+    bodies = {}
+    for pou in p.pous():
+        body = pou.st_body()
+        if body is not None:
+            bodies[pou.name] = body
+            timers = re.findall(r'PT\s*:=\s*(T#[\w.]+)', body, re.I)
+            if timers:
+                warnings.append({'code': 'timer_present', 'pou': pou.name,
+                                 'detail': f'Native ST timer presets: {sorted(set(timers))}. Verify timing claims in notes against source.'})
+    return {'project': str(root), 'workspace': str(workspace_root()),
+            'identity_valid': identity_ok, 'wrapper_bound': bound,
+            'wrapper_paths': paths, 'ready_for_ide_open': not blockers,
+            'binding_mode': 'embedded_path' if paths else 'native_sibling_directory',
+            'blockers': blockers, 'warnings': warnings,
+            'validation': validation, 'manifest': source_manifest(root),
+            'st_pous': list(bodies), 'evidence_level': 'offline_only',
+            'next_step': blockers[0]['next'] if blockers else
+            ('Continue the already-open directly attached project; verify Build, Make, errors and Save. Close/reopen only with consent.'
+             if direct else 'Open this exact wrapper; verify Build, Make, errors, save and reopen. Never download from this tool.')}