context-compiler 0.9.0.dev13__tar.gz → 0.9.0.dev14__tar.gz

{context_compiler-0.9.0.dev13 → context_compiler-0.9.0.dev14}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: context-compiler
-Version: 0.9.0.dev13
+Version: 0.9.0.dev14
 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 → context_compiler-0.9.0.dev14}/README.md

@@ -3,6 +3,7 @@
 [![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
@@ -73,7 +74,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
@@ -91,7 +92,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
@@ -250,6 +251,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
@@ -458,7 +463,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.
@@ -482,18 +488,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 → context_compiler-0.9.0.dev14}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "context-compiler"
-version = "0.9.0dev13"
+version = "0.9.0dev14"
 description = "Deterministic conversational state engine for LLM applications."
 readme = "README.md"
 requires-python = ">=3.11"

{context_compiler-0.9.0.dev13 → context_compiler-0.9.0.dev14}/src/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)