guardian-framework 0.1.160 → 0.1.162

package/dist/cli.js

@@ -3206,7 +3206,7 @@ __export(exports_package, {
   bin: () => bin,
   author: () => author
 });
-var name = "guardian-framework", version = "0.1.160", description = "Token-optimized agentic framework scaffolder with pi-first architecture", type = "module", main = "dist/exports.js", exports, types = "dist/exports.d.ts", bin, files, engines, scripts, publishConfig, pi, repository, homepage = "https://github.com/arman-jalili/guardian-framework#readme", bugs, dependencies, devDependencies, keywords, author = "Arman Wolkensteiner-Jalili", license = "MIT", package_default;
+var name = "guardian-framework", version = "0.1.162", description = "Token-optimized agentic framework scaffolder with pi-first architecture", type = "module", main = "dist/exports.js", exports, types = "dist/exports.d.ts", bin, files, engines, scripts, publishConfig, pi, repository, homepage = "https://github.com/arman-jalili/guardian-framework#readme", bugs, dependencies, devDependencies, keywords, author = "Arman Wolkensteiner-Jalili", license = "MIT", package_default;
 var init_package = __esm(() => {
   exports = {
     ".": {

package/dist/exports.js

@@ -1991,7 +1991,7 @@ __export(exports_package, {
   bin: () => bin,
   author: () => author
 });
-var name = "guardian-framework", version = "0.1.160", description = "Token-optimized agentic framework scaffolder with pi-first architecture", type = "module", main = "dist/exports.js", exports, types = "dist/exports.d.ts", bin, files, engines, scripts, publishConfig, pi, repository, homepage = "https://github.com/arman-jalili/guardian-framework#readme", bugs, dependencies, devDependencies, keywords, author = "Arman Wolkensteiner-Jalili", license = "MIT", package_default;
+var name = "guardian-framework", version = "0.1.162", description = "Token-optimized agentic framework scaffolder with pi-first architecture", type = "module", main = "dist/exports.js", exports, types = "dist/exports.d.ts", bin, files, engines, scripts, publishConfig, pi, repository, homepage = "https://github.com/arman-jalili/guardian-framework#readme", bugs, dependencies, devDependencies, keywords, author = "Arman Wolkensteiner-Jalili", license = "MIT", package_default;
 var init_package = __esm(() => {
   exports = {
     ".": {

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "guardian-framework",
-	"version": "0.1.160",
+	"version": "0.1.162",
 	"description": "Token-optimized agentic framework scaffolder with pi-first architecture",
 	"type": "module",
 	"main": "dist/exports.js",

package/templates/pi/preflight_report.json

@@ -1,5 +1,5 @@
 {
-  "timestamp": "2026-11-13T19:38:17Z",
+  "timestamp": "2026-11-13T20:21:08Z",
   "mode": "all",
   "stages_run": [],
   "summary": {

package/templates/pi/scripts/freeze.sh

@@ -169,8 +169,24 @@ def deps_of(slug):
     return found
 
 def state_of(state, slug):
+    """frozen | implemented | frozen-stale | unfrozen.
+
+    A module that is genuinely implemented needs no freeze: implementation is a
+    stronger fact than a frozen contract. Without this, an implemented module
+    read as "unfrozen" and blocked every module that depends on it.
+    """
     e = entry(state, slug)
-    return e.get("state") or ("frozen" if e.get("contractFrozen") else "unfrozen")
+    explicit = e.get("state")
+    doc = module_doc(slug)
+    text = read(doc) if doc else ""
+    m = re.search(r"\*\*Status:\*\*\s*([A-Za-z][A-Za-z ]*)", text)
+    doc_state = (m.group(1).strip().lower() if m else "")
+    implemented = doc_state.startswith(("implemented", "done", "complete"))
+    if implemented:
+        return "implemented"
+    if explicit:
+        return explicit
+    return "frozen" if e.get("contractFrozen") else "unfrozen"
 
 # ── the verification ────────────────────────────────────────────────────────
 STRUCTURAL_ONLY = re.compile(
@@ -190,6 +206,20 @@ SHAPE_ASSERT = re.compile(
     r"\bnames\b|annotations\[|startswith\(\s*[\"']set_|__dict__|dir\()"
 )
 
+# Guardian's own generated scaffolding: `assert False, "TODO: ..."`. Red by
+# construction, proves nothing — accepting it is how a "freeze" ends up with no
+# net at all.
+PLACEHOLDER = re.compile(
+    r"(assert\s+False\b|fail\(\s*[\"']TODO|t\.Fatal\(\s*[\"']Test not yet implemented|"
+    r"throw new Error\(\s*[\"']TODO|panic!\(\s*[\"']Test not yet implemented|"
+    r"TODO: uncomment when|TODO: implement dependency test)",
+    re.I,
+)
+
+def is_placeholder(src):
+    return bool(PLACEHOLDER.search(src))
+
+
 def classify(code):
     """Return 'behaviour' | 'structural' | 'none'."""
     asserts = [l for l in code.splitlines() if re.match(r"\s*assert\b", l)]
@@ -223,13 +253,18 @@ def find_tests(slug):
 
 def analyse_tests(slug, tests):
     """Return (total, behaviour, structural_only, ac_named, details)."""
-    total = behaviour = struct_only = ac_named = 0
+    total = behaviour = struct_only = ac_named = placeholders = 0
     details = []
     for f in tests:
         src = read(f)
         if not src.strip():
             continue
         code = "\n".join(l for l in src.splitlines() if not l.strip().startswith("#"))
+        if is_placeholder(code):
+            placeholders += 1
+            details.append(f"{os.path.relpath(f, root)}: placeholder scaffolding (assert False/TODO)")
+            total += 1
+            continue
         kind = classify(code)
         body_struct = kind == "structural"
         body_behav = kind == "behaviour"
@@ -244,7 +279,7 @@ def analyse_tests(slug, tests):
             details.append(f"{os.path.relpath(f, root)}: structural assertions only")
         if acs:
             ac_named += 1
-    return total, behaviour, struct_only, ac_named, details
+    return total, behaviour, struct_only, ac_named, details, placeholders
 
 def run_python_tests(tests):
     """Return (status, reason, sample) where status: red_ok|red_wrong|green|unknown."""
@@ -271,6 +306,12 @@ def verify(slug):
     checks = []
     ok_all = True
 
+    # Implemented modules need no freeze and cannot be re-frozen; they satisfy
+    # every dependency gate.
+    if state_of(load_state(), slug) == "implemented":
+        checks.append(("state", True, "implemented — no freeze required (dependency satisfied)"))
+        return True, checks, "", {"implemented": True, "contracts": [], "tests": []}
+
     doc = module_doc(slug)
     checks.append(("module doc", bool(doc), doc and os.path.relpath(doc, root) or f"missing .pi/architecture/modules/{slug}.md"))
     ok_all &= bool(doc)
@@ -303,11 +344,17 @@ def verify(slug):
 
     # 3. tests exist, are behaviour (not structural-only), and name ACs
     tests = find_tests(slug)
-    total, behaviour, struct_only, ac_named, tdetails = analyse_tests(slug, tests)
+    total, behaviour, struct_only, ac_named, tdetails, placeholders = analyse_tests(slug, tests)
     ok_tests = bool(tests)
     checks.append(("contract tests", ok_tests, f"{len(tests)} file(s)" if tests else "no tests referencing the module"))
     ok_all &= ok_tests
 
+    ok_placeholder = placeholders == 0
+    checks.append(("no placeholders", ok_placeholder,
+                   "no generated scaffolding" if ok_placeholder
+                   else f"{placeholders} suite(s) are guardian scaffolding (assert False / TODO), not tests"))
+    ok_all &= ok_placeholder
+
     # Advisory only: a syntactic shape-vs-behaviour classifier is always
     # arguable. The objective gate is the RED check below — tests that are GREEN
     # over NotImplementedError bodies are structural by definition, whatever the
@@ -325,6 +372,10 @@ def verify(slug):
     # 4. RED for the right reason
     status, reason, sample = run_python_tests(tests) if tests else ("unknown", "no tests", "")
     ok_red = status == "red_ok"
+    if placeholders > 0 and status == "red_ok":
+        ok_red = False
+        reason = (f"{placeholders} placeholder suite(s) fail by construction — "
+                  f"red is not evidence until they assert a rule")
     if status == "green":
         reason = ("tests are GREEN while the module is unimplemented — they assert shape, "
                   "not rules; a freeze needs failing behaviour tests")