trunkit 0.2.2__tar.gz → 0.2.4__tar.gz

{trunkit-0.2.2 → trunkit-0.2.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: trunkit
-Version: 0.2.2
+Version: 0.2.4
 Summary: Trunkit — proof-carrying code and deterministic automata middleware on PostgreSQL, with Porter agent context handoff
 Project-URL: Homepage, https://github.com/Athena-Pro/Trunkit
 Project-URL: Repository, https://github.com/Athena-Pro/Trunkit

{trunkit-0.2.2 → trunkit-0.2.4}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "trunkit"
-version = "0.2.2"
+version = "0.2.4"
 description = "Trunkit — proof-carrying code and deterministic automata middleware on PostgreSQL, with Porter agent context handoff"
 readme = "README.md"
 requires-python = ">=3.11"

{trunkit-0.2.2 → trunkit-0.2.4}/src/calx/sql/40_cert.sql

@@ -154,13 +154,13 @@ SELECT DISTINCT ON (cl.id)
        cl.claim_kind,
        cl.method,
        ce.seq,
-       ce.status,
+       COALESCE(ce.status, 'unchecked') AS status,
        ce.checked_at,
        ce.evidence,
        ce.valid_under
   FROM cert.claim cl
-  JOIN cert.certificate ce ON ce.claim_id = cl.id
- ORDER BY cl.id, ce.seq DESC;
+  LEFT JOIN cert.certificate ce ON ce.claim_id = cl.id
+ ORDER BY cl.id, ce.seq DESC NULLS LAST;
 
 -- ---- Seed the four method tiers --------------------------------------------
 INSERT INTO cert.method (name, claim_kind, checker_kind, description) VALUES

{trunkit-0.2.2 → trunkit-0.2.4}/src/calx/sql/79_cert_kan_engines.sql

@@ -31,8 +31,9 @@ DECLARE
     v_andcols  TEXT;
     v_rowok    BOOLEAN;
     v_engines  JSONB := '{}'::jsonb;
-    v_allok    BOOLEAN := TRUE;
-    v_n        INTEGER := 0;
+    v_n        INTEGER := 0;   -- engines with law data (non-empty)
+    v_empty    INTEGER := 0;   -- engines whose laws view has no witnesses
+    v_violated INTEGER := 0;   -- engines with a genuinely-false law
 BEGIN
     FOR v IN
         SELECT table_name
@@ -57,19 +58,35 @@ BEGIN
         EXECUTE format(
             'SELECT bool_and(%s) FROM kan.%I', v_andcols, v.table_name
         ) INTO v_rowok;
-        v_rowok := COALESCE(v_rowok, FALSE);
-        v_engines := v_engines
-            || jsonb_build_object(v.table_name, v_rowok);
-        v_n := v_n + 1;
-        IF NOT v_rowok THEN
-            v_allok := FALSE;
+        -- NULL bool_and == no witnesses / all-null row == laws UNKNOWN (empty
+        -- engine), NOT violated. Conflating the two manufactures false
+        -- contradictions and masks genuine ones; keep the three-valued signal.
+        IF v_rowok IS NULL THEN
+            v_engines := v_engines
+                || jsonb_build_object(v.table_name, 'empty');
+            v_empty := v_empty + 1;
+        ELSE
+            v_engines := v_engines
+                || jsonb_build_object(v.table_name, v_rowok);
+            v_n := v_n + 1;
+            IF NOT v_rowok THEN
+                v_violated := v_violated + 1;
+            END IF;
         END IF;
     END LOOP;
 
-    RETURN QUERY SELECT (v_allok AND v_n > 0),
-                        jsonb_build_object('engines_checked', v_n,
-                                           'all_true', v_allok,
-                                           'engines', v_engines);
+    -- refuted only on a genuine violation; unverified when populated engines
+    -- hold but some are empty (or nothing populated); valid when every
+    -- populated engine holds and none are empty.
+    RETURN QUERY SELECT
+        CASE WHEN v_violated > 0         THEN FALSE
+             WHEN v_empty > 0 OR v_n = 0 THEN NULL
+             ELSE TRUE END,
+        jsonb_build_object('engines_checked', v_n,
+                           'engines_empty',  v_empty,
+                           'violations',     v_violated,
+                           'all_true', (v_violated = 0 AND v_empty = 0 AND v_n > 0),
+                           'engines', v_engines);
 END
 $$;
 

trunkit-0.2.4/src/calx/sql/90_cert_equip_probes.sql

@@ -0,0 +1,87 @@
+-- Unified model, step 90: equip dangling claims for verification.
+--
+-- The validation pass (2026-05-29) found ~24 claims with probe_sql IS NULL:
+-- asserted but with no in-DB checker, so cert.standing can only ever call them
+-- 'unverified'. "Unverified" should mean "checkable but data insufficient",
+-- not "no way to check". This file qualifies the checkable ones by attaching
+-- probes, using the same three-valued honesty as 79 (empty -> unverified,
+-- violation -> refuted, holds -> valid). Idempotent.
+
+-- ---- reusable verifiers -----------------------------------------------------
+
+-- Single kan law-view checker (the per-engine analogue of kan_engines_all_true).
+-- bool_and already separates empty (NULL) from violated (FALSE); we preserve it.
+CREATE OR REPLACE FUNCTION cert.law_view_holds(p_view TEXT)
+RETURNS TABLE (ok BOOLEAN, evidence JSONB)
+LANGUAGE plpgsql AS $$
+DECLARE
+    v_cols      TEXT;
+    v_rowok     BOOLEAN;
+    v_witnesses BIGINT;
+BEGIN
+    IF NOT EXISTS (SELECT 1 FROM information_schema.views
+                    WHERE table_schema='kan' AND table_name=p_view) THEN
+        RETURN QUERY SELECT NULL::boolean,
+            jsonb_build_object('error','no such kan law view','view',p_view);
+        RETURN;
+    END IF;
+    SELECT string_agg(quote_ident(column_name), ' AND ') INTO v_cols
+      FROM information_schema.columns
+     WHERE table_schema='kan' AND table_name=p_view AND data_type='boolean';
+    IF v_cols IS NULL THEN
+        RETURN QUERY SELECT NULL::boolean,
+            jsonb_build_object('note','no boolean law columns','view','kan.'||p_view);
+        RETURN;
+    END IF;
+    EXECUTE format('SELECT bool_and(%s), count(*) FROM kan.%I', v_cols, p_view)
+       INTO v_rowok, v_witnesses;
+    RETURN QUERY SELECT v_rowok,   -- NULL (empty/all-null) -> unverified
+        jsonb_build_object('view','kan.'||p_view, 'witnesses', v_witnesses,
+                           'laws_hold', v_rowok);
+END $$;
+
+-- Perfect-number verifier (a concrete arithmetic checker; aliquot sum = n).
+CREATE OR REPLACE FUNCTION cert.is_perfect(n BIGINT)
+RETURNS TABLE (ok BOOLEAN, evidence JSONB)
+LANGUAGE sql AS $$
+    SELECT (s = n) AS ok,
+           jsonb_build_object('n', n, 'aliquot_sum', s, 'perfect', (s = n))
+      FROM (SELECT COALESCE(sum(d),0) AS s
+              FROM generate_series(1, n-1) d WHERE n % d = 0) t;
+$$;
+
+-- ---- equip pass -------------------------------------------------------------
+
+-- (1) every NULL-probe claim whose subject_kind has a matching kan law-view
+UPDATE cert.claim cl
+   SET probe_sql = format('SELECT ok, evidence FROM cert.law_view_holds(%L)',
+                          cl.subject_kind || '_laws')
+ WHERE cl.probe_sql IS NULL
+   AND EXISTS (SELECT 1 FROM information_schema.views v
+                WHERE v.table_schema='kan'
+                  AND v.table_name = cl.subject_kind || '_laws');
+
+-- (2) prime_members_functor -> prime_members_laws (name differs from subject_kind)
+UPDATE cert.claim
+   SET probe_sql = 'SELECT ok, evidence FROM cert.law_view_holds(''prime_members_laws'')'
+ WHERE probe_sql IS NULL AND subject_kind = 'prime_members_functor';
+
+-- (3) perfect-number facts -> arithmetic verifier (directly checkable now)
+UPDATE cert.claim
+   SET probe_sql = format('SELECT ok, evidence FROM cert.is_perfect(%s)',
+                          (subject_ref->>'n')::bigint)
+ WHERE probe_sql IS NULL AND subject_kind = 'number_fact'
+   AND subject_ref->>'property' = 'perfect'
+   AND subject_ref ? 'n';
+
+-- Re-attest everything that just gained a probe.
+DO $$
+DECLARE c RECORD; n int := 0;
+BEGIN
+  FOR c IN SELECT s.claim_id FROM cert.standing s
+           WHERE s.status='unverified' LOOP
+    PERFORM cert.check(c.claim_id);
+    n := n + 1;
+  END LOOP;
+  RAISE NOTICE 're-checked % claims after equip', n;
+END $$;