Expiration and badAction semaphore - Logical Consistency

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@phuire/strx",
-  "version": "0.0.43",
+  "version": "0.0.44",
   "description": "Unified Turing Machine",
   "main": "dist/index.js",
   "module": "dist/index.mjs",

src/concepts/axium/axium.mode.ts

@@ -31,7 +31,7 @@ export const permissiveMode: Mode = (
   if (isActionable(axiumState, action)) {
     // Logical Determination: axiumSetBlockingModeType
     if (action.semaphore[3] !== 4) {
-      if (action.semaphore[2] === axiumState.generation) {
+      if (action.semaphore[2] === axiumState.generation && action.expiration > Date.now()) {
         let subject: Subject<Action>;
         if (concepts[action.semaphore[0]].qualities[action.semaphore[1]].method) {
           subject = concepts[action.semaphore[0]].qualities[action.semaphore[1]].subject as Subject<Action>;
@@ -66,7 +66,7 @@ export const blockingMode: Mode = (
 ) => {
   const axiumState = concepts[0].state as AxiumState;
   if (isActionable(axiumState, action)) {
-    if (action.semaphore[2] === axiumState.generation) {
+    if (action.semaphore[2] === axiumState.generation && action.expiration > Date.now()) {
       const reduce = concepts[action.semaphore[0]].qualities[action.semaphore[1]].reducer;
       const state = concepts[action.semaphore[0]].state;
       concepts[action.semaphore[0]].state = reduce(state, action);

src/model/axium.ts

@@ -5,16 +5,15 @@ import {
   Subscriber,
   catchError,
 } from 'rxjs';
-import { Action, createAction, createCacheSemaphores } from './action';
+import { Action, createCacheSemaphores } from './action';
 import { strategyBegin } from './actionStrategy';
 import { Concept, Mode } from './concept';
 import {
   createAxiumConcept,
   AxiumState,
   initializationStrategy,
 } from '../concepts/axium/axium.concept';
-import { axiumBadActionType } from '../concepts/axium/qualities/badAction.quality';
-import { axiumClose, axiumCloseType } from '../concepts/axium/qualities/close.quality';
+import { axiumClose } from '../concepts/axium/qualities/close.quality';
 import {
   axiumAppendActionListToDialog,
 } from '../concepts/axium/qualities/appendActionListToDialog.quality';
@@ -29,13 +28,14 @@ export const blockingMethodSubscription = (action$: Subject<Action>, action: Act
     const appendToDialog = axiumAppendActionListToDialog({
       actionList: action.strategy.actionList,
       strategyTopic: action.strategy.topic,
-      strategyData: action.strategy.data
+      strategyData: action.strategy.data,
     });
     action$.next(appendToDialog);
     action$.next(action);
   } else if (
     action.strategy &&
-    action.type !== axiumBadActionType
+    // Logical Determination: axiumBadType
+    action.semaphore[3] !== 1
   ) {
     action$.next(action);
   }
@@ -59,7 +59,8 @@ export const defaultMethodSubscription = (action$: Subject<Action>, action: Acti
     }, 0);
   } else if (
     action.strategy &&
-    action.type !== axiumBadActionType
+    // Logical Determination: axiumBadType
+    action.semaphore[3] !== 1
   ) {
     setTimeout(() => {
       action$?.next(action);