eyeling 1.22.5 → 1.22.7

package/examples/act-docking-abort.n3

@@ -0,0 +1,285 @@
+# ============================================================================
+# ACT docking abort token — broad constructor-theory coverage with can't-rules
+#
+# Concrete topic:
+# A spacecraft docking bay has an emergency abort bit that must be propagated
+# across unlike classical media and recorded for audit.
+#
+# This example therefore includes both sides:
+#   - CAN   : the classical abort token can be permuted, copied, measured,
+#             cloned locally, and composed into serial and parallel networks
+#   - CAN'T : the quantum authenticity seal cannot be universally cloned and
+#             therefore cannot be used as an unrestricted fan-out audit token
+# ============================================================================
+
+@prefix : <http://example.org/docking-abort/> .
+@prefix arc: <https://example.org/arc#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:case a arc:Case ;
+  arc:question "Can a docking-abort token be propagated, permuted, measured and audited across unlike classical media, and what exactly can't be done with the quantum authenticity seal?" .
+
+# --------------------------------------------------------
+# Classical substrates carrying the same abstract variable
+# --------------------------------------------------------
+
+:abortLamp a :InformationMedium ;
+  :encodes :AbortBit ;
+  :zeroState :Green ;
+  :oneState :Red .
+
+:flightPLC a :InformationMedium ;
+  :encodes :AbortBit ;
+  :zeroState :LowVoltage ;
+  :oneState :HighVoltage .
+
+:radioFrame a :InformationMedium ;
+  :encodes :AbortBit ;
+  :zeroState :Frame0 ;
+  :oneState :Frame1 .
+
+:auditDisplay a :InformationMedium ;
+  :encodes :AbortBit ;
+  :zeroState :DisplayOK ;
+  :oneState :DisplayABORT .
+
+# ------------------------------------------------------
+# Contrast substrate with superinformation-like behavior
+# ------------------------------------------------------
+
+:quantumSeal a :SuperinformationMedium ;
+  :encodes :SealVariable .
+
+# ---------------------------------------------------------------
+# CAN rules — what becomes possible for the classical abort token
+# ---------------------------------------------------------------
+
+# Information media are treated here as computation media for the same variable.
+# They support permutation of the variable, local cloning, and distinguishability.
+{ ?M a :InformationMedium ;
+     :encodes ?V ;
+     :zeroState ?Z ;
+     :oneState ?O . }
+=>
+{
+  ?M a :ComputationMedium .
+  ?M :distinguishes ?V .
+  ?M :can :LocalPermutation .
+  ?M :can :LocalClone .
+
+  [ a :PossibleTask ;
+    :kind :Permute ;
+    :on ?M ;
+    :variable ?V ;
+    :fromState ?Z ;
+    :toState ?O ] .
+
+  [ a :PossibleTask ;
+    :kind :CloneLocal ;
+    :on ?M ;
+    :variable ?V ] .
+} .
+
+# Interoperability-like copying across unlike media carrying the same variable.
+{ ?A a :InformationMedium ; :encodes ?V .
+  ?B a :InformationMedium ; :encodes ?V . }
+=>
+{
+  [ a :PossibleTask ;
+    :kind :Copy ;
+    :from ?A ;
+    :to ?B ;
+    :variable ?V ] .
+} .
+
+# Measurement: if a substrate distinguishes a variable, it can be measured into
+# an information medium carrying that same variable.
+{ ?A :distinguishes ?V .
+  ?B a :InformationMedium ; :encodes ?V . }
+=>
+{
+  [ a :PossibleTask ;
+    :kind :Measure ;
+    :from ?A ;
+    :to ?B ;
+    :variable ?V ] .
+} .
+
+# Serial composition: copy into an intermediate medium, then measure from there.
+{ [ a :PossibleTask ;
+      :kind :Copy ;
+      :from ?A ;
+      :to ?B ;
+      :variable ?V ] .
+  [ a :PossibleTask ;
+      :kind :Measure ;
+      :from ?B ;
+      :to ?C ;
+      :variable ?V ] . }
+=>
+{
+  [ a :PossibleTask ;
+    :kind :SerialNetwork ;
+    :from ?A ;
+    :via ?B ;
+    :to ?C ;
+    :variable ?V ] .
+} .
+
+# Parallel composition: fan out the same variable into two target media.
+{ [ a :PossibleTask ;
+      :kind :Copy ;
+      :from ?A ;
+      :to ?B ;
+      :variable ?V ] .
+  [ a :PossibleTask ;
+      :kind :Copy ;
+      :from ?A ;
+      :to ?C ;
+      :variable ?V ] . }
+=>
+{
+  [ a :PossibleTask ;
+    :kind :ParallelNetwork ;
+    :source ?A ;
+    :left ?B ;
+    :right ?C ;
+    :variable ?V ] .
+} .
+
+# ----------------------------------------------------------
+# CAN'T rules — what becomes impossible for the quantum seal
+# ----------------------------------------------------------
+
+# A superinformation medium cannot have all of its states universally cloned.
+{ ?M a :SuperinformationMedium ;
+     :encodes ?V . }
+=>
+{
+  ?M :cannot :UniversalClone .
+  [ a :ImpossibleTask ;
+    :kind :CloneAllStates ;
+    :on ?M ;
+    :variable ?V ] .
+} .
+
+# If universal cloning is unavailable, unrestricted audit fan-out is unavailable.
+{ ?M :cannot :UniversalClone . }
+=>
+{ ?M :cannot :UnrestrictedAuditFanOut . } .
+
+# ------
+# Checks
+# ------
+
+# Positive checks for the classical abort token.
+{ :abortLamp a :ComputationMedium . }
+=> { :case :checkC1 :Passed . } .
+
+{ :abortLamp :distinguishes :AbortBit . }
+=> { :case :checkC2 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :Permute ;
+    :on :abortLamp ;
+    :variable :AbortBit ] . }
+=> { :case :checkC3 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :CloneLocal ;
+    :on :flightPLC ;
+    :variable :AbortBit ] . }
+=> { :case :checkC4 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :Copy ;
+    :from :abortLamp ;
+    :to :flightPLC ;
+    :variable :AbortBit ] . }
+=> { :case :checkC5 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :Copy ;
+    :from :flightPLC ;
+    :to :radioFrame ;
+    :variable :AbortBit ] . }
+=> { :case :checkC6 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :Measure ;
+    :from :radioFrame ;
+    :to :auditDisplay ;
+    :variable :AbortBit ] . }
+=> { :case :checkC7 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :SerialNetwork ;
+    :from :abortLamp ;
+    :via :flightPLC ;
+    :to :auditDisplay ;
+    :variable :AbortBit ] . }
+=> { :case :checkC8 :Passed . } .
+
+{ [ a :PossibleTask ;
+    :kind :ParallelNetwork ;
+    :source :flightPLC ;
+    :left :radioFrame ;
+    :right :auditDisplay ;
+    :variable :AbortBit ] . }
+=> { :case :checkC9 :Passed . } .
+
+# Negative checks for the quantum seal.
+{ [ a :ImpossibleTask ;
+    :kind :CloneAllStates ;
+    :on :quantumSeal ;
+    :variable :SealVariable ] . }
+=> { :case :checkC10 :Passed . } .
+
+{ :quantumSeal :cannot :UniversalClone . }
+=> { :case :checkC11 :Passed . } .
+
+{ :quantumSeal :cannot :UnrestrictedAuditFanOut . }
+=> { :case :checkC12 :Passed . } .
+
+# ----------------
+# ARC-style report
+# ----------------
+
+{ :case :checkC1 :Passed .
+  :case :checkC2 :Passed .
+  :case :checkC3 :Passed .
+  :case :checkC4 :Passed .
+  :case :checkC5 :Passed .
+  :case :checkC6 :Passed .
+  :case :checkC7 :Passed .
+  :case :checkC8 :Passed .
+  :case :checkC9 :Passed .
+  :case :checkC10 :Passed .
+  :case :checkC11 :Passed .
+  :case :checkC12 :Passed . }
+=>
+{
+  :out log:outputString """ACT docking abort token — constructor-theory coverage case
+
+Answer
+YES for the classical abort token.
+NO for universal cloning and unrestricted audit fan-out of the quantum seal.
+
+Reason Why
+The docking-abort token is treated as an abstract information variable carried by unlike classical media: lamp state, PLC register, radio frame, and audit display. Because those substrates are information media for the same variable, the token can be permuted locally, cloned locally, copied across media, measured into an output record, and embedded in serial and parallel task networks. By contrast, the quantum authenticity seal is treated as a superinformation medium, so cloning all of its states is impossible and unrestricted audit fan-out is blocked.
+
+Check
+C1  OK - the abort lamp is a computation medium
+C2  OK - the abort lamp distinguishes the abort bit
+C3  OK - permutation of the abort bit is possible on the abort lamp
+C4  OK - local cloning of the abort bit is possible on the PLC register
+C5  OK - the abort bit can be copied from lamp to PLC
+C6  OK - the abort bit can be copied from PLC to radio frame
+C7  OK - the abort bit can be measured from radio frame into the audit display
+C8  OK - a serial network from lamp via PLC to audit display is possible
+C9  OK - a parallel network from PLC to radio frame and audit display is possible
+C10 OK - cloning all states of the quantum seal is an impossible task
+C11 OK - the quantum seal cannot be universally cloned
+C12 OK - the quantum seal cannot be used for unrestricted audit fan-out
+""" .
+} .

package/examples/act-gravity-mediator-witness.n3

@@ -0,0 +1,235 @@
+# ==============================================================================
+# ACT gravity mediator witness — explicit can and can't version
+#
+# Concrete applied-constructor-theory case:
+# Two quantum sensors become entangled even though they have no direct coupling.
+# They interact only through a mediator interpreted as gravitational.
+#
+# This example therefore includes both sides:
+#   - CAN   : a mediator-only entanglement witness is possible when the mediator
+#             is treated as non-classical under locality and interoperability
+#   - CAN'T : a purely classical mediator model cannot generate the same witness
+#             under the same mediator-only conditions
+# ==============================================================================
+
+@prefix : <http://example.org/act-gravity/> .
+@prefix arc: <https://example.org/arc#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:case a arc:Case ;
+  arc:question "If two quantum sensors become entangled only through a gravitational mediator, while locality and interoperability hold, what can be concluded, and what can't a purely classical mediator model do?" .
+
+# -----------------------
+# Shared physical systems
+# -----------------------
+
+:leftSensor a :QuantumSystem .
+:rightSensor a :QuantumSystem .
+
+# ----------------------------------
+# Positive mediator and positive run
+# ----------------------------------
+
+:gravityMediator a :Mediator ;
+  :couplingMode :Gravitational ;
+  :mediatorModel :NonClassicalCandidate .
+
+:run a :ExperimentRun ;
+  :leftSystem :leftSensor ;
+  :rightSystem :rightSensor ;
+  :usesMediator :gravityMediator ;
+  :assumes :Locality ;
+  :assumes :Interoperability ;
+  :directCouplingStatus :NoDirectCoupling ;
+  :observed :EntanglementWitnessPassed ;
+  :probeStatus :LocalProbeReadoutPresent ;
+  :controlStatus :CopyLikeControlPresent .
+
+# ----------------------------------
+# Contrast mediator and contrast run
+# ----------------------------------
+
+:classicalGravityMediator a :Mediator ;
+  :couplingMode :Gravitational ;
+  :mediatorModel :PurelyClassical .
+
+:contrastRun a :ExperimentRun ;
+  :leftSystem :leftSensor ;
+  :rightSystem :rightSensor ;
+  :usesMediator :classicalGravityMediator ;
+  :assumes :Locality ;
+  :assumes :Interoperability ;
+  :directCouplingStatus :NoDirectCoupling ;
+  :observed :NoEntanglementWitness ;
+  :probeStatus :LocalProbeReadoutPresent ;
+  :controlStatus :CopyLikeControlPresent .
+
+# -------------------------------------------------------------
+# CAN rules — what becomes possible in the positive witness run
+# -------------------------------------------------------------
+
+# Under locality and no direct coupling, interaction is mediated only through M.
+{ ?R a :ExperimentRun ;
+     :assumes :Locality ;
+     :directCouplingStatus :NoDirectCoupling ;
+     :usesMediator ?M . }
+=>
+{ ?R :interactionPath :MediatorOnlyPath .
+  ?R :pathMediator ?M . } .
+
+# Interoperability plus copy-like control gives an information-transfer interface.
+{ ?R a :ExperimentRun ;
+     :assumes :Interoperability ;
+     :controlStatus :CopyLikeControlPresent . }
+=>
+{ ?R :supports :InformationTransferInterface . } .
+
+# Local probe readout provides a local measurement interface.
+{ ?R a :ExperimentRun ;
+     :probeStatus :LocalProbeReadoutPresent . }
+=>
+{ ?R :supports :LocalReadoutInterface . } .
+
+# Core ACT witness rule:
+# locality + interoperability + mediator-only interaction + observed entanglement
+# imply a non-classical mediator.
+{ ?R a :ExperimentRun ;
+     :assumes :Locality ;
+     :assumes :Interoperability ;
+     :interactionPath :MediatorOnlyPath ;
+     :usesMediator ?M ;
+     :observed :EntanglementWitnessPassed . }
+=>
+{ ?M a :NonClassicalMediator .
+  ?R :can :SupportMediatorOnlyEntanglementWitness .
+  ?R :supportsConclusion :MediatorNonClassical . } .
+
+# If the mediator is non-classical, a purely classical mediator model is ruled out.
+{ ?R :supportsConclusion :MediatorNonClassical ;
+     :usesMediator ?M .
+  ?M a :NonClassicalMediator . }
+=>
+{ ?R :rulesOut :PurelyClassicalMediatorModel . } .
+
+# The witness is specifically about the gravitational mediator in this run.
+{ ?R :usesMediator ?M .
+  ?M :couplingMode :Gravitational .
+  ?M a :NonClassicalMediator . }
+=>
+{ ?R :supportsConclusion :GravityMediatorNonClassical . } .
+
+# --------------------------------------------------------------
+# CAN'T rules — what a purely classical mediator model cannot do
+# --------------------------------------------------------------
+
+# Under the same locality/interoperability/mediator-only conditions, a purely
+# classical mediator model cannot support the mediator-only entanglement witness.
+{ ?R a :ExperimentRun ;
+     :assumes :Locality ;
+     :assumes :Interoperability ;
+     :interactionPath :MediatorOnlyPath ;
+     :usesMediator ?M .
+  ?M :mediatorModel :PurelyClassical . }
+=>
+{ ?R :cannot :SupportMediatorOnlyEntanglementWitness .
+  ?M :cannot :MediateEntanglementUnderWitnessConditions . } .
+
+# If the witness cannot be supported, the run cannot justify a non-classicality conclusion.
+{ ?R :cannot :SupportMediatorOnlyEntanglementWitness . }
+=>
+{ ?R :cannot :SupportMediatorNonClassicalConclusion . } .
+
+# ------
+# Checks
+# ------
+
+# Positive checks for the successful witness run.
+{ :run :assumes :Locality . }
+=> { :case :checkC1 :Passed . } .
+
+{ :run :assumes :Interoperability . }
+=> { :case :checkC2 :Passed . } .
+
+{ :run :directCouplingStatus :NoDirectCoupling . }
+=> { :case :checkC3 :Passed . } .
+
+{ :run :interactionPath :MediatorOnlyPath . }
+=> { :case :checkC4 :Passed . } .
+
+{ :run :observed :EntanglementWitnessPassed . }
+=> { :case :checkC5 :Passed . } .
+
+{ :run :supports :InformationTransferInterface . }
+=> { :case :checkC6 :Passed . } .
+
+{ :run :supports :LocalReadoutInterface . }
+=> { :case :checkC7 :Passed . } .
+
+{ :gravityMediator a :NonClassicalMediator . }
+=> { :case :checkC8 :Passed . } .
+
+{ :run :rulesOut :PurelyClassicalMediatorModel . }
+=> { :case :checkC9 :Passed . } .
+
+{ :run :supportsConclusion :GravityMediatorNonClassical . }
+=> { :case :checkC10 :Passed . } .
+
+# Negative checks for the purely classical contrast model.
+{ :contrastRun :interactionPath :MediatorOnlyPath . }
+=> { :case :checkC11 :Passed . } .
+
+{ :contrastRun :cannot :SupportMediatorOnlyEntanglementWitness . }
+=> { :case :checkC12 :Passed . } .
+
+{ :classicalGravityMediator :cannot :MediateEntanglementUnderWitnessConditions . }
+=> { :case :checkC13 :Passed . } .
+
+{ :contrastRun :cannot :SupportMediatorNonClassicalConclusion . }
+=> { :case :checkC14 :Passed . } .
+
+# ----------------
+# ARC-style output
+# ----------------
+
+{ :case :checkC1 :Passed .
+  :case :checkC2 :Passed .
+  :case :checkC3 :Passed .
+  :case :checkC4 :Passed .
+  :case :checkC5 :Passed .
+  :case :checkC6 :Passed .
+  :case :checkC7 :Passed .
+  :case :checkC8 :Passed .
+  :case :checkC9 :Passed .
+  :case :checkC10 :Passed .
+  :case :checkC11 :Passed .
+  :case :checkC12 :Passed .
+  :case :checkC13 :Passed .
+  :case :checkC14 :Passed . }
+=>
+{
+  :out log:outputString """ACT gravity mediator witness
+
+Answer
+YES for the mediator-only witness run.
+NO for a purely classical mediator model under the same mediator-only conditions.
+
+Reason Why
+The positive run assumes locality and interoperability, excludes direct coupling between the two quantum systems, and records an entanglement witness after interaction through the mediator alone. Under those constructor-theoretic conditions, the mediator must be non-classical, so the run rules out a purely classical mediator model. The contrast run keeps the same locality, interoperability, and mediator-only structure but assigns the mediator a purely classical model. In that case the mediator-only entanglement witness is blocked, so the run cannot support the same non-classicality conclusion.
+
+Check
+C1  OK - locality is assumed in the positive run
+C2  OK - interoperability is assumed in the positive run
+C3  OK - direct coupling between the two quantum systems is excluded
+C4  OK - the positive run has a mediator-only interaction path
+C5  OK - an entanglement witness is observed in the positive run
+C6  OK - the positive run supports an information-transfer interface
+C7  OK - the positive run supports local readout
+C8  OK - the positive mediator is derived to be non-classical
+C9  OK - a purely classical mediator model is ruled out by the positive run
+C10 OK - the non-classicality conclusion applies to the gravitational mediator
+C11 OK - the contrast run is also mediator-only
+C12 OK - the contrast run cannot support a mediator-only entanglement witness
+C13 OK - the purely classical gravitational mediator cannot mediate entanglement under the witness conditions
+C14 OK - the contrast run cannot support the non-classicality conclusion
+""" .
+} .