context-compiler 0.9.0.dev13__py3-none-any.whl → 0.9.0.dev15__py3-none-any.whl

context_compiler/grammar.py

@@ -316,7 +316,10 @@ def _match_directive_token(
             token_index += 1
             continue
 
-        if text[index].casefold() != token_char:
+        character = text[index]
+        if "A" <= character <= "Z":
+            character = chr(ord(character) + (ord("a") - ord("A")))
+        if character != token_char:
             return None
         index += 1
         token_index += 1
@@ -349,6 +352,18 @@ def _contains_multiple_canonical_directives(text: str) -> bool:
     return False
 
 
+def _contains_multiple_premise_directives(text: str) -> bool:
+    """Report premise compounds without inspecting opaque premise payload text."""
+    first_start = _match_canonical_directive_start(text, 0)
+    if first_start is None:
+        return False
+
+    for index, character in enumerate(text[first_start:], start=first_start):
+        if character == "\n" and _match_canonical_directive_start(text, index + 1) is not None:
+            return True
+    return False
+
+
 def _starts_with_directive_family(text: str) -> bool:
     for token, require_space_or_end in _DIRECTIVE_FAMILY_STARTS:
         if (
@@ -457,7 +472,12 @@ def _validate_operand_constraints(kind: DirectiveKind, operands: Mapping[str, st
 
 def _validate_rendered_canonical_shape(kind: DirectiveKind, operands: Mapping[str, str]) -> None:
     rendered = _serialize_canonical_directive(kind, MappingProxyType(dict(operands)))
-    if _contains_multiple_canonical_directives(rendered):
+    contains_compound = (
+        _contains_multiple_premise_directives(rendered)
+        if kind in {DirectiveKind.SET_PREMISE, DirectiveKind.CHANGE_PREMISE}
+        else _contains_multiple_canonical_directives(rendered)
+    )
+    if contains_compound:
         raise ValueError(f"Operands do not produce a canonical {kind.value} directive.")
 
 
@@ -476,7 +496,15 @@ def decompose_directive(text: str) -> CanonicalDirective | InvalidDirectiveSynta
         return None
     if not _starts_with_directive_family(trimmed_text):
         return None
-    if _contains_multiple_canonical_directives(trimmed_text):
+    premise_directive = _match_directive_token(
+        trimmed_text, 0, _SET_PREMISE_START, require_space_or_end=True
+    ) or _match_directive_token(trimmed_text, 0, _CHANGE_PREMISE_START, require_space_or_end=True)
+    contains_compound = (
+        _contains_multiple_premise_directives(trimmed_text)
+        if premise_directive is not None
+        else _contains_multiple_canonical_directives(trimmed_text)
+    )
+    if contains_compound:
         return _invalid_directive_syntax(DirectiveSyntaxFailure.COMPOUND_DIRECTIVE)
 
     normalized = _normalized_for_matching(trimmed_text)

{context_compiler-0.9.0.dev13.dist-info → context_compiler-0.9.0.dev15.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: context-compiler
-Version: 0.9.0.dev13
+Version: 0.9.0.dev15
 Summary: Deterministic conversational state engine for LLM applications.
 Project-URL: Homepage, https://github.com/rlippmann/context-compiler
 Project-URL: Repository, https://github.com/rlippmann/context-compiler
@@ -25,6 +25,7 @@ Description-Content-Type: text/markdown
 [![PyPI version](https://img.shields.io/pypi/v/context-compiler)](https://pypi.org/project/context-compiler/)
 [![Python versions](https://img.shields.io/pypi/pyversions/context-compiler)](https://pypi.org/project/context-compiler/)
 [![License](https://img.shields.io/pypi/l/context-compiler)](https://pypi.org/project/context-compiler/)
+[![codecov](https://codecov.io/gh/rlippmann/context-compiler/branch/main/graph/badge.svg)](https://codecov.io/gh/rlippmann/context-compiler)
 
 Context Compiler is a deterministic conversational state authority for LLM applications.
 It handles canonical directive execution, semantic validation, terminal error
@@ -95,7 +96,7 @@ set premise concise replies
 - Base model: silently accepts / rewrites
 - Context Compiler: applies a repeatable state update
 
-### Single-directive grammar
+### Compound directive rejection
 
 ```text
 use docker and prohibit peanuts
@@ -113,7 +114,7 @@ use podman instead of docker
 
 - Without explicit state transition rules: behavior depends on host/model handling
 - Context Compiler: applies the deterministic resulting transition when
-  `docker` is absent and `use podman` is otherwise valid; other semantic
+  `docker` is present and `use podman` is otherwise valid; other semantic
   conflicts may still error
 
 ### Lifecycle enforcement
@@ -272,6 +273,10 @@ uv sync --dev
 uv run pytest
 ```
 
+CI enforces 100% coverage for the core `src/context_compiler` package. The
+coverage badge represents that authoritative core-package target, not the
+entire repository.
+
 ## Decision API
 
 Each user message produces one immutable `Decision` variant. Use concrete
@@ -480,7 +485,8 @@ User: reset policies
 User: clear state
 ```
 
-Grammar invariant: one input may contain at most one canonical directive.
+Grammar invariant: a single input never applies more than one canonical
+directive.
 Directive-shaped invalid input is outside the canonical language, and
 `error` is reserved for canonical directives that later fail semantic
 evaluation against authoritative state.
@@ -504,18 +510,25 @@ clear state
 
 Invalid:
 use docker and prohibit peanuts
-set premise vegetarian and use docker
 clear state then set premise new project
+
+Premise payload (opaque):
+set premise vegetarian and use docker
 ```
 
+Policy compounds such as `use docker and prohibit peanuts` remain invalid;
+premise `VALUE` is opaque and may contain directive-like words.
+
 Quote behavior follows the current grammar literally:
 
 ```text
-Passthrough:
+Passthrough (`no_directive`):
 "use docker and prohibit peanuts"
 
-Invalid:
+Invalid directive:
 use "docker and prohibit peanuts"
+
+Canonical directive (`set premise`):
 set premise "use docker and prohibit peanuts"
 ```
 

{context_compiler-0.9.0.dev13.dist-info → context_compiler-0.9.0.dev15.dist-info}/RECORD

@@ -2,11 +2,11 @@ context_compiler/__init__.py,sha256=v-MGOUi1gAoWDqB3N5b3dOqVQ-AQ8-a6R6N03ISWvO4,
 context_compiler/const.py,sha256=WeEGDXY8lepFghH9wko0hH51oxoZQBfDnFxSyeIaaWI,465
 context_compiler/decision.py,sha256=_z1ilbU0BrMofSpzEd0dn0ODiNhceCo-NRnsgjxURKE,3911
 context_compiler/engine.py,sha256=MjClRgsDcd34H7cgb3wGcYauZ1uKqOh-BsUXSZT-vmY,13465
-context_compiler/grammar.py,sha256=J1N8jy72rOJ79zYuhRUHvZFwcmPyoGY4RnfT0KvlwqQ,24490
+context_compiler/grammar.py,sha256=R8GyZ_ExsUHI2WFFa6rgtsdjs4gbCs0cuEMMVC1Ba7I,25663
 context_compiler/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 context_compiler/repl.py,sha256=blIrLafAJG_5yFxN62Nb34JGvB1F-c-BlOUq_8AjUE8,16006
-context_compiler-0.9.0.dev13.dist-info/METADATA,sha256=Og5fzi8wEPRXLGkimsieZ0oZXHjzd0sqxDjLcpJvqZQ,20141
-context_compiler-0.9.0.dev13.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
-context_compiler-0.9.0.dev13.dist-info/entry_points.txt,sha256=xnk4WE9zaC2NAMIF59WD3Y_45E8aA9KH-pZ4lqSzH-U,64
-context_compiler-0.9.0.dev13.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-context_compiler-0.9.0.dev13.dist-info/RECORD,,
+context_compiler-0.9.0.dev15.dist-info/METADATA,sha256=mEOCZNOzuog6g6Dc54AcaZeXnlwlsLsIYclNp0QxhCE,20697
+context_compiler-0.9.0.dev15.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
+context_compiler-0.9.0.dev15.dist-info/entry_points.txt,sha256=xnk4WE9zaC2NAMIF59WD3Y_45E8aA9KH-pZ4lqSzH-U,64
+context_compiler-0.9.0.dev15.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+context_compiler-0.9.0.dev15.dist-info/RECORD,,