eyeling 1.22.14 → 1.22.16

package/examples/output/tunnel-junction-wake-switch-becoming.txt

@@ -0,0 +1,21 @@
+tunnel-junction wake switch — becoming
+
+Answer
+YES for the tunnel junction.
+NO for the conventional low-bias PN junction in the same wake-switch regime.
+
+Reason Why
+The tunnel junction can be read as a becoming under low forward bias. Because it is modeled as a heavily doped narrow PN junction with overlapping states, it can become a quantum-transfer state. In that regime it can become a sub-threshold current state, and under peak-to-valley scanning it can also become a negative differential response state. As a wake-switch device, that lets it become an ultra-low-bias switching state and finally a leak-alarm wake-serving state. By contrast, the conventional junction lacks the structural conditions needed for the same transition into quantum transfer, so the later wake-serving becoming is blocked as well.
+
+Check
+B1  OK - the tunnel junction can become a quantum-transfer state
+B2  OK - the tunnel junction is classified as tunneling-dominant
+B3  OK - the tunnel junction can become a sub-threshold current state
+B4  OK - the tunnel junction can become a negative differential response state
+B5  OK - the tunnel junction can become an ultra-low-bias switching state
+B6  OK - the tunnel junction can become a leak-alarm wake-serving state
+B7  OK - the conventional junction cannot become a quantum-transfer state
+B8  OK - the conventional junction cannot become a sub-threshold current state
+B9  OK - the conventional junction cannot become the tunnel-style negative differential state
+B10 OK - the conventional junction cannot become an ultra-low-bias switching state here
+B11 OK - the conventional junction cannot become a leak-alarm wake-serving state in this case

package/examples/output/whitehead-becoming.n3

@@ -0,0 +1,42 @@
+@prefix : <http://example.org/whitehead#> .
+
+:o1 :status :objectivelyAvailable .
+:o1 :availableForFuturePrehension :yes .
+:o2 :becomesFrom :o1 .
+:o3 :becomesFrom :o2 .
+:o2 :inherits :red .
+:o2 :inherits :warm .
+:o2 :mayRealize :bright .
+:o3 :mayRealize :dark .
+:o2 :integrates :red .
+:o2 :integrates :bright .
+:o2 :achieves :satisfaction .
+:o2 :integrates :warm .
+:o2 :realizes :red .
+:o2 :realizes :bright .
+:o2 :realizes :warm .
+:o1 :ingresses :red .
+:o1 :ingresses :warm .
+:o2 :ingresses :red .
+:o2 :ingresses :bright .
+:o2 :ingresses :warm .
+:o2 :status :objectivelyAvailable .
+:o2 :availableForFuturePrehension :yes .
+:o3 :inherits :red .
+:o3 :inherits :bright .
+:o3 :inherits :warm .
+:o3 :integrates :red .
+:o3 :integrates :dark .
+:o3 :achieves :satisfaction .
+:o3 :integrates :bright .
+:o3 :integrates :warm .
+:o3 :realizes :red .
+:o3 :realizes :dark .
+:o3 :realizes :bright .
+:o3 :realizes :warm .
+:o3 :ingresses :red .
+:o3 :ingresses :dark .
+:o3 :ingresses :bright .
+:o3 :ingresses :warm .
+:o3 :status :objectivelyAvailable .
+:o3 :availableForFuturePrehension :yes .

package/examples/tunnel-junction-wake-switch-becoming.n3

@@ -0,0 +1,216 @@
+# =================================================================================
+# tunnel-junction wake switch — becoming
+#
+# This example reframes the wake-switch case as a becoming example.
+# The device is not treated as a static component with capabilities, but as a
+# system that can or cannot pass into a low-bias wake-triggering state.
+#
+# We compare two devices:
+#   - tunnelJunction   : a heavily doped narrow PN junction with overlapping states
+#   - ordinaryJunction : a conventional PN junction without that overlap
+#
+# The point is to show:
+#   - what the tunnel junction can become under the low-bias requirement
+#   - what the conventional junction cannot become under the same requirement
+# =================================================================================
+
+@prefix : <http://example.org/tunnel-junction-wake-switch-becoming/> .
+@prefix arc: <https://example.org/arc#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:case a arc:Case ;
+  arc:question "Can a tunnel-junction wake switch become a low-bias wake-triggering state in a regime where a conventional PN junction cannot?" .
+
+# -------------------
+# Application context
+# -------------------
+
+:leakAlarmNode a :EdgeSensor ;
+  :needs :MicrowattWakeSwitching ;
+  :application :PipeLeakAlarm .
+
+# ----------------------------------
+# Device A: tunnel-style PN junction
+# ----------------------------------
+
+:tunnelJunction a :PNJunction ;
+  :junctionKind :TunnelDiode ;
+  :doping :Heavy ;
+  :depletionWidth :Narrow ;
+  :stateAlignment :Overlap ;
+  :biasRegime :LowForwardBias ;
+  :scanProfile :PeakToValley ;
+  :deviceRole :WakeSwitch .
+
+# ----------------------------------
+# Device B: conventional PN junction
+# ----------------------------------
+
+:ordinaryJunction a :PNJunction ;
+  :junctionKind :ConventionalDiode ;
+  :doping :Standard ;
+  :depletionWidth :Wide ;
+  :stateAlignment :NoOverlap ;
+  :biasRegime :LowForwardBias ;
+  :scanProfile :MonotoneForward ;
+  :deviceRole :WakeSwitch .
+
+# -------------------------------------------
+# CAN-BECOME rules — viable state transitions
+# -------------------------------------------
+
+# A heavily doped, narrow junction with overlapping states can become a
+# quantum-transfer-supporting junction.
+{ ?J a :PNJunction ;
+     :doping :Heavy ;
+     :depletionWidth :Narrow ;
+     :stateAlignment :Overlap . }
+=>
+{ ?J :canBecome :QuantumTransferState ;
+     :transportMode :TunnelingDominant . } .
+
+# In the low-forward-bias regime, a junction in the quantum-transfer state can
+# become a sub-threshold current state.
+{ ?J :canBecome :QuantumTransferState ;
+     :biasRegime :LowForwardBias . }
+=>
+{ ?J :canBecome :SubThresholdCurrentState . } .
+
+# If the junction is scanned across the peak-to-valley window, it can become a
+# negative differential response state.
+{ ?J :canBecome :QuantumTransferState ;
+     :scanProfile :PeakToValley . }
+=>
+{ ?J :canBecome :NegativeDifferentialResponseState . } .
+
+# A wake-switch device that can become a sub-threshold current state can become
+# an ultra-low-bias switching state.
+{ ?J :canBecome :SubThresholdCurrentState ;
+     :deviceRole :WakeSwitch . }
+=>
+{ ?J :canBecome :UltraLowBiasSwitchingState . } .
+
+# If the device can become an ultra-low-bias switching state and the node needs
+# microwatt wake switching, it can become a wake-serving device.
+{ ?J :canBecome :UltraLowBiasSwitchingState .
+  :leakAlarmNode :needs :MicrowattWakeSwitching . }
+=>
+{ ?J :canBecome :LeakAlarmWakeServingState . } .
+
+# -----------------------------------------------
+# CANNOT-BECOME rules — blocked state transitions
+# -----------------------------------------------
+
+# A conventional wide-depletion low-bias junction without state overlap cannot
+# become a quantum-transfer-supporting junction.
+{ ?J a :PNJunction ;
+     :doping :Standard ;
+     :depletionWidth :Wide ;
+     :stateAlignment :NoOverlap . }
+=>
+{ ?J :cannotBecome :QuantumTransferState . } .
+
+# Without that quantum-transfer state, the junction cannot become a
+# sub-threshold current state in the same low-bias regime.
+{ ?J :cannotBecome :QuantumTransferState ;
+     :biasRegime :LowForwardBias . }
+=>
+{ ?J :cannotBecome :SubThresholdCurrentState . } .
+
+# Without quantum transfer, the tunnel-style negative differential state is
+# blocked as well.
+{ ?J :cannotBecome :QuantumTransferState . }
+=>
+{ ?J :cannotBecome :NegativeDifferentialResponseState . } .
+
+# Without sub-threshold current, the device cannot become an ultra-low-bias
+# switching state.
+{ ?J :cannotBecome :SubThresholdCurrentState ;
+     :deviceRole :WakeSwitch . }
+=>
+{ ?J :cannotBecome :UltraLowBiasSwitchingState . } .
+
+# Without ultra-low-bias switching, the device cannot become a wake-serving
+# device for the leak-alarm node.
+{ ?J :cannotBecome :UltraLowBiasSwitchingState .
+  :leakAlarmNode :needs :MicrowattWakeSwitching . }
+=>
+{ ?J :cannotBecome :LeakAlarmWakeServingState . } .
+
+# ------
+# Checks
+# ------
+
+{ :tunnelJunction :canBecome :QuantumTransferState . }
+=> { :case :checkB1 :Passed . } .
+
+{ :tunnelJunction :transportMode :TunnelingDominant . }
+=> { :case :checkB2 :Passed . } .
+
+{ :tunnelJunction :canBecome :SubThresholdCurrentState . }
+=> { :case :checkB3 :Passed . } .
+
+{ :tunnelJunction :canBecome :NegativeDifferentialResponseState . }
+=> { :case :checkB4 :Passed . } .
+
+{ :tunnelJunction :canBecome :UltraLowBiasSwitchingState . }
+=> { :case :checkB5 :Passed . } .
+
+{ :tunnelJunction :canBecome :LeakAlarmWakeServingState . }
+=> { :case :checkB6 :Passed . } .
+
+{ :ordinaryJunction :cannotBecome :QuantumTransferState . }
+=> { :case :checkB7 :Passed . } .
+
+{ :ordinaryJunction :cannotBecome :SubThresholdCurrentState . }
+=> { :case :checkB8 :Passed . } .
+
+{ :ordinaryJunction :cannotBecome :NegativeDifferentialResponseState . }
+=> { :case :checkB9 :Passed . } .
+
+{ :ordinaryJunction :cannotBecome :UltraLowBiasSwitchingState . }
+=> { :case :checkB10 :Passed . } .
+
+{ :ordinaryJunction :cannotBecome :LeakAlarmWakeServingState . }
+=> { :case :checkB11 :Passed . } .
+
+# ----------------
+# ARC-style output
+# ----------------
+
+{ :case :checkB1 :Passed .
+  :case :checkB2 :Passed .
+  :case :checkB3 :Passed .
+  :case :checkB4 :Passed .
+  :case :checkB5 :Passed .
+  :case :checkB6 :Passed .
+  :case :checkB7 :Passed .
+  :case :checkB8 :Passed .
+  :case :checkB9 :Passed .
+  :case :checkB10 :Passed .
+  :case :checkB11 :Passed . }
+=>
+{
+  :out log:outputString """tunnel-junction wake switch — becoming
+
+Answer
+YES for the tunnel junction.
+NO for the conventional low-bias PN junction in the same wake-switch regime.
+
+Reason Why
+The tunnel junction can be read as a becoming under low forward bias. Because it is modeled as a heavily doped narrow PN junction with overlapping states, it can become a quantum-transfer state. In that regime it can become a sub-threshold current state, and under peak-to-valley scanning it can also become a negative differential response state. As a wake-switch device, that lets it become an ultra-low-bias switching state and finally a leak-alarm wake-serving state. By contrast, the conventional junction lacks the structural conditions needed for the same transition into quantum transfer, so the later wake-serving becoming is blocked as well.
+
+Check
+B1  OK - the tunnel junction can become a quantum-transfer state
+B2  OK - the tunnel junction is classified as tunneling-dominant
+B3  OK - the tunnel junction can become a sub-threshold current state
+B4  OK - the tunnel junction can become a negative differential response state
+B5  OK - the tunnel junction can become an ultra-low-bias switching state
+B6  OK - the tunnel junction can become a leak-alarm wake-serving state
+B7  OK - the conventional junction cannot become a quantum-transfer state
+B8  OK - the conventional junction cannot become a sub-threshold current state
+B9  OK - the conventional junction cannot become the tunnel-style negative differential state
+B10 OK - the conventional junction cannot become an ultra-low-bias switching state here
+B11 OK - the conventional junction cannot become a leak-alarm wake-serving state in this case
+""" .
+} .

package/examples/whitehead-becoming.n3

@@ -0,0 +1,155 @@
+# ================================================================
+# This program models becoming as a relational event. Each actual
+# occasion takes up a past, inherits what has been realized,
+# responds to a lure of possible form, and gathers these into a
+# new satisfaction. What becomes is never wholly lost: once
+# achieved, it stands available for future prehension. The logic
+# below is therefore not a logic of static things, but of process,
+# inheritance, and renewed concretion.
+# =========================================#======================
+
+@prefix : <http://example.org/whitehead#>.
+
+# ----------
+# CATEGORIES
+# ----------
+
+:ActualOccasion a :Category.
+:PurePotential  a :Category.
+:SubjectiveAim  a :Category.
+
+# ---------------
+# PURE POTENTIALS
+# ---------------
+
+:red      a :PurePotential.
+:warm     a :PurePotential.
+:bright   a :PurePotential.
+:dark     a :PurePotential.
+
+# -------------------------------
+# SUBJECTIVE AIMS AND THEIR LURES
+# -------------------------------
+
+:intensity a :SubjectiveAim.
+:contrast  a :SubjectiveAim.
+
+:intensity :lures :bright.
+:contrast  :lures :dark.
+
+# -------------
+# INITIAL WORLD
+# -------------
+
+:o1 a :ActualOccasion;
+    :time 1;
+    :realizes :red, :warm;
+    :achieves :satisfaction.
+
+:o2 a :ActualOccasion;
+    :time 2;
+    :prehends :o1;
+    :subjectiveAim :intensity.
+
+:o3 a :ActualOccasion;
+    :time 3;
+    :prehends :o2;
+    :subjectiveAim :contrast.
+
+# ---------------------------
+# RULE 1
+# PREHENSION AS BECOMING-FROM
+# ---------------------------
+
+{
+  ?later :prehends ?earlier.
+}
+=>
+{
+  ?later :becomesFrom ?earlier.
+}.
+
+# -----------------------------
+# RULE 2
+# INHERITANCE OF REALIZED FORMS
+# -----------------------------
+
+{
+  ?later :prehends ?earlier.
+  ?earlier :realizes ?form.
+}
+=>
+{
+  ?later :inherits ?form.
+}.
+
+# ---------------------------
+# RULE 3
+# SUBJECTIVE AIM OPENS A LURE
+# ---------------------------
+
+{
+  ?o :subjectiveAim ?aim.
+  ?aim :lures ?form.
+}
+=>
+{
+  ?o :mayRealize ?form.
+}.
+
+# --------------------------------------------
+# RULE 4
+# CONCRESCENCE INTEGRATES PAST AND POSSIBILITY
+# --------------------------------------------
+
+{
+  ?o :inherits ?pastForm.
+  ?o :mayRealize ?novelForm.
+}
+=>
+{
+  ?o :integrates ?pastForm, ?novelForm;
+     :achieves :satisfaction.
+}.
+
+# ---------------------------------
+# RULE 5
+# SATISFACTION MAKES FORMS REALIZED
+# ---------------------------------
+
+{
+  ?o :integrates ?form.
+  ?o :achieves :satisfaction.
+}
+=>
+{
+  ?o :realizes ?form.
+}.
+
+# -----------------------------
+# RULE 6
+# INGRESSION OF PURE POTENTIALS
+# -----------------------------
+
+{
+  ?o :realizes ?form.
+  ?form a :PurePotential.
+}
+=>
+{
+  ?o :ingresses ?form.
+}.
+
+# ---------------------
+# RULE 7
+# OBJECTIVELY AVAILABLE
+# ---------------------
+
+{
+  ?o :achieves :satisfaction.
+}
+=>
+{
+  ?o :status :objectivelyAvailable;
+     :availableForFuturePrehension :yes.
+}.