tgi-foundation 0.2.0.dev11__tar.gz → 0.2.0.dev13__tar.gz

{tgi_foundation-0.2.0.dev11/tgi_foundation.egg-info → tgi_foundation-0.2.0.dev13}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: tgi-foundation
-Version: 0.2.0.dev11
+Version: 0.2.0.dev13
 Summary: Native character-identity and geometric knowledge mechanisms for Topological Geometric Intelligence
 Author: Emylton Leunufna
 License: Copyright (c) 2026 Emylton Leunufna

{tgi_foundation-0.2.0.dev11 → tgi_foundation-0.2.0.dev13}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "tgi-foundation"
-version = "0.2.0.dev11"
+version = "0.2.0.dev13"
 description = "Native character-identity and geometric knowledge mechanisms for Topological Geometric Intelligence"
 readme = "README.md"
 requires-python = ">=3.11"

{tgi_foundation-0.2.0.dev11 → tgi_foundation-0.2.0.dev13}/tgi/causal_port_classes_check.py

@@ -7,6 +7,19 @@ from .organization import OMEGA_CRIT
 REVISION = 'TGI-M1-CAUSAL-PORT-TOPOLOGY-V1'
 
 
+def _add_source(stats, row, members, names):
+    """Accumulate one raw C/L witness for a fixed live port class."""
+    action = tuple(row['action_nmu'])
+    ports = row['ports']
+    if all(ports[name]['changed'] for name in members):
+        context = tuple(tuple(ports[name]['before_nmu']) for name in members)
+        stats['support'].setdefault(action, set()).add(context)
+    if all(not ports[name]['changed'] for name in members):
+        stats['controls'][action] = stats['controls'].get(action, 0) + 1
+        if any(ports[name]['changed'] for name in names if name not in members):
+            stats['separating'].add(action)
+
+
 def verify(events, certificate, *, revision=REVISION, valid_row=valid_contrast):
     try:
         if type(events) is not list or type(certificate) is not dict or \
@@ -19,6 +32,7 @@ def verify(events, certificate, *, revision=REVISION, valid_row=valid_contrast):
         sources = set()
         prior = None
         epoch = 0
+        traces, actions, cache = {}, set(), {}
         final = {'status': 'NO_PATH', 'action_nmu': None, 'members': None}
         for stop, event in enumerate(events):
             if type(event) is not dict or set(event) != {'source', 'action_nmu', 'ports'} or \
@@ -36,35 +50,32 @@ def verify(events, certificate, *, revision=REVISION, valid_row=valid_contrast):
                 return False
             if names is None:
                 names = observed
+                traces = {name: [] for name in names}
             if observed != names:
                 return False
-            prefix = events[:stop+1]
+            actions.add(tuple(event['action_nmu']))
             partition = {}
             for name in names:
-                signature = tuple(row['ports'][name]['kind'] for row in prefix)
+                traces[name].append(event['ports'][name]['kind'])
+                signature = tuple(traces[name])
                 partition.setdefault(signature, []).append(name)
             groups = sorted(tuple(members) for members in partition.values())
-            actions = sorted({tuple(row['action_nmu']) for row in prefix})
             cells, winners = [], []
             for members in groups:
+                key = (epoch, members)
+                stats = cache.get(key)
+                if stats is None:
+                    stats = {'stop': epoch - 1, 'support': {},
+                             'controls': {}, 'separating': set()}
+                    cache[key] = stats
+                for position in range(stats['stop'] + 1, stop + 1):
+                    _add_source(stats, events[position], members, names)
+                stats['stop'] = stop
                 counts = []
-                for action in actions:
-                    support = set()
-                    controls = 0
-                    separating_actions = set()
-                    for row in events[epoch:stop+1]:
-                        raw_action = tuple(row['action_nmu'])
-                        all_changed = all(row['ports'][name]['changed'] for name in members)
-                        all_stable = all(not row['ports'][name]['changed'] for name in members)
-                        if all_changed and raw_action == action:
-                            support.add(tuple(tuple(row['ports'][name]['before_nmu']) for name in members))
-                        if all_stable:
-                            if raw_action == action:
-                                controls += 1
-                            if any(row['ports'][name]['changed'] for name in names if name not in members):
-                                separating_actions.add(raw_action)
-                    comparator = any(other != action for other in separating_actions)
-                    omega = len(support)
+                for action in sorted(actions):
+                    comparator = any(other != action for other in stats['separating'])
+                    omega = len(stats['support'].get(action, ()))
+                    controls = stats['controls'].get(action, 0)
                     counts.append({'action_nmu': list(action), 'omega': omega,
                                    'controls': controls, 'comparator': comparator})
                     if omega >= OMEGA_CRIT and controls and comparator:
@@ -74,6 +85,7 @@ def verify(events, certificate, *, revision=REVISION, valid_row=valid_contrast):
                 final = {'status': 'REVOKED', 'action_nmu': None, 'members': None}
                 prior = None
                 epoch = stop+1
+                cache = {}
             elif len(winners) == 1:
                 action, members = winners[0]
                 final = {'status': 'CRYSTAL', 'action_nmu': list(action), 'members': list(members)}

{tgi_foundation-0.2.0.dev11 → tgi_foundation-0.2.0.dev13}/tgi/source_bound_endpoint_transport.py

@@ -129,9 +129,14 @@ def certify_source_bound_endpoint_transport(old, bridge, new, root_port,
     for index, action in enumerate(actions):
         classes = action_roles[index]
         if not classes or not any(port in members for members in classes):
-            step = {'before': current, 'action': action, 'status': 'NO_ROLE',
+            direct = [row for row in observations[port]
+                      if row['before'] == current and row['action'] == action]
+            opposed = len({row['after'] for row in direct}) > 1
+            step = {'before': current, 'action': action,
+                    'status': 'OBSERVED_CONFLICT' if opposed else 'NO_ROLE',
                     'mode': None, 'output': [], 'suffix_nmu': [],
-                    'source_ids': [], 'lineage': []}
+                    'source_ids': sorted(row['source'] for row in direct) if opposed else [],
+                    'lineage': []}
         else:
             decision = _step(observations[port], current, action)
             step = {'before': current, 'action': action, **decision,

{tgi_foundation-0.2.0.dev11 → tgi_foundation-0.2.0.dev13}/tgi/source_bound_endpoint_transport_check.py

@@ -123,6 +123,12 @@ def verify_source_bound_endpoint_transport(old, bridge, new, root_port,
                         suffix = list(candidate)
                         sources = sorted(row[0] for row in matched)
                         break
+            else:
+                direct = [row for row in observations[port]
+                          if row[1] == current and row[2] == action]
+                if len({row[3] for row in direct}) > 1:
+                    status = 'OBSERVED_CONFLICT'
+                    sources = sorted(row[0] for row in direct)
             lineage = []
             if status == 'RESOLVED':
                 lineage = [dict(owner) for owner in owners]

{tgi_foundation-0.2.0.dev11 → tgi_foundation-0.2.0.dev13/tgi_foundation.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: tgi-foundation
-Version: 0.2.0.dev11
+Version: 0.2.0.dev13
 Summary: Native character-identity and geometric knowledge mechanisms for Topological Geometric Intelligence
 Author: Emylton Leunufna
 License: Copyright (c) 2026 Emylton Leunufna