eyeling 1.22.6 → 1.22.8

package/examples/act-sensor-memory-reset.n3

@@ -0,0 +1,190 @@
+# ======================================================================
+# ACT sensor memory reset
+#
+# Applied constructor-theory case:
+# A radiation alarm sensor has a one-bit memory latch that must be reset
+# before the device can be reused.
+#
+# The eye-opener:
+#   - with a work-like resource, reliable reset CAN be done;
+#   - with only a heat-like resource, the same reliable reset task CAN'T
+#     be done in this model.
+#
+# This is inspired by constructor-theory thermodynamics:
+# exact work/heat distinction, irreversibility, and the link between
+# information tasks and thermodynamic laws.
+# ======================================================================
+
+@prefix : <http://example.org/act/memory-reset/> .
+@prefix arc: <https://example.org/arc#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:case a arc:Case ;
+  arc:question "Can a radiation sensor's alarm memory be reliably reset with a battery pack, and can the same reset be done using only an ambient heat bath?" .
+
+# -------------------
+# Application context
+# -------------------
+
+:alarmSensor a :RadiationSensor ;
+  :hasMemory :alarmLatch ;
+  :needs :ReliableResetForReuse .
+
+:alarmLatch a :OneBitMemory ;
+  :zeroState :Clear ;
+  :oneState :Alarm ;
+  :currentState :Alarm .
+
+# A work-like resource.
+:batteryPack a :WorkMedium ;
+  :chargeState :Charged ;
+  :canSupply :DirectedEnergyTransfer .
+
+# A heat-like resource.
+:ambientBath a :HeatMedium ;
+  :temperatureBand :RoomTemperature ;
+  :provides :UndirectedThermalContact .
+
+# ----------------------------
+# CAN rules — what is possible
+# ----------------------------
+
+# A work medium with directed energy transfer can drive a controlled reset.
+{ ?W a :WorkMedium ;
+     :chargeState :Charged ;
+     :canSupply :DirectedEnergyTransfer .
+  ?M a :OneBitMemory . }
+=>
+{ ?W :can :DriveControlledReset .
+  ?M :can :ReliableResetFromWork . } .
+
+# If the memory can be reliably reset from work, it can be prepared in
+# the standard reusable state.
+{ ?M :can :ReliableResetFromWork ;
+     :zeroState ?Z . }
+=>
+{ ?M :can :PrepareStandardState .
+  ?M :standardState ?Z . } .
+
+# If the sensor memory can be prepared in the standard state, the sensor
+# can be reused.
+{ :alarmSensor :hasMemory ?M .
+  ?M :can :PrepareStandardState . }
+=>
+{ :alarmSensor :can :ReadyForReuse . } .
+
+# Using a charged work medium to reset a memory produces a degradation path:
+# useful work can be spent and end up as dissipated heat.
+{ ?W a :WorkMedium ;
+     :chargeState :Charged .
+  ?M :can :ReliableResetFromWork . }
+=>
+{ ?W :can :DegradeToHeatDuringReset . } .
+
+# --------------------------------
+# CAN'T rules — what is impossible
+# --------------------------------
+
+# Heat alone is not a directed reset resource for this memory task.
+{ ?H a :HeatMedium ;
+     :provides :UndirectedThermalContact .
+  ?M a :OneBitMemory . }
+=>
+{ ?H :cannot :DriveControlledReset .
+  ?M :cannot :ReliableResetFromHeatAlone . } .
+
+# If controlled reset is unavailable, preparation of the standard state
+# is unavailable in the required reliable sense.
+{ ?M :cannot :ReliableResetFromHeatAlone . }
+=>
+{ ?M :cannot :PrepareStandardStateFromHeatAlone . } .
+
+# If the standard state cannot be prepared from heat alone, the sensor
+# cannot be made ready for reuse by heat alone.
+{ :alarmSensor :hasMemory ?M .
+  ?M :cannot :PrepareStandardStateFromHeatAlone . }
+=>
+{ :alarmSensor :cannot :ReadyForReuseFromHeatAlone . } .
+
+# Constructor-theoretic irreversibility pattern:
+# if work can degrade to heat during reset, the exact transpose task of
+# reconstructing the charged work resource from ambient heat alone is not allowed.
+{ ?W :can :DegradeToHeatDuringReset .
+  ?H a :HeatMedium . }
+=>
+{ ?H :cannot :ReconstructChargedWorkMediumByItself . } .
+
+# ------
+# Checks
+# ------
+
+# Positive checks.
+{ :batteryPack :can :DriveControlledReset . }
+=> { :case :checkC1 :Passed . } .
+
+{ :alarmLatch :can :ReliableResetFromWork . }
+=> { :case :checkC2 :Passed . } .
+
+{ :alarmLatch :can :PrepareStandardState . }
+=> { :case :checkC3 :Passed . } .
+
+{ :alarmSensor :can :ReadyForReuse . }
+=> { :case :checkC4 :Passed . } .
+
+{ :batteryPack :can :DegradeToHeatDuringReset . }
+=> { :case :checkC5 :Passed . } .
+
+# Negative checks.
+{ :ambientBath :cannot :DriveControlledReset . }
+=> { :case :checkC6 :Passed . } .
+
+{ :alarmLatch :cannot :ReliableResetFromHeatAlone . }
+=> { :case :checkC7 :Passed . } .
+
+{ :alarmLatch :cannot :PrepareStandardStateFromHeatAlone . }
+=> { :case :checkC8 :Passed . } .
+
+{ :alarmSensor :cannot :ReadyForReuseFromHeatAlone . }
+=> { :case :checkC9 :Passed . } .
+
+{ :ambientBath :cannot :ReconstructChargedWorkMediumByItself . }
+=> { :case :checkC10 :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 . }
+=>
+{
+  :out log:outputString """ACT sensor memory reset
+
+Answer
+YES with the battery pack.
+NO with the ambient heat bath alone.
+
+Reason Why
+The alarm latch is a one-bit memory that must be reset to its standard clear state before the radiation sensor can be reused. In this case, the charged battery pack is treated as a work medium, so it can drive a controlled reset and prepare the latch in its reusable standard state. The ambient bath is treated as a heat medium, so by itself it cannot perform the same reliable directed reset. The example also shows an irreversibility pattern: useful work can be degraded into dissipated heat during reset, but the ambient heat bath alone cannot reconstruct the charged work resource.
+
+Check
+C1  OK - the battery pack can drive a controlled reset
+C2  OK - the alarm latch can be reliably reset from work
+C3  OK - the latch can be prepared in its standard reusable state
+C4  OK - the sensor can be made ready for reuse
+C5  OK - the work resource can degrade to heat during reset
+C6  OK - the ambient heat bath cannot drive a controlled reset
+C7  OK - the latch cannot be reliably reset from heat alone
+C8  OK - the latch cannot be prepared in its standard state from heat alone
+C9  OK - the sensor cannot be made ready for reuse from heat alone
+C10 OK - the ambient heat bath cannot reconstruct the charged work resource by itself
+""" .
+} .

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

@@ -0,0 +1,225 @@
+# =================================================================================
+# ACT tunnel-junction wake switch
+#
+# Applied constructor-theory case:
+# A remote leak-alarm node must wake up under a very small forward-bias regime.
+#
+# We compare two devices:
+#   - tunnelJunction   : a heavily doped narrow PN junction with overlapping states
+#   - ordinaryJunction : a conventional PN junction without that overlap
+#
+# The aim is to express the application in "can / can't" form:
+#   what the tunnel junction can do,
+#   and what the conventional junction can't do,
+# under the same low-bias operating requirement.
+# =================================================================================
+
+@prefix : <http://example.org/act/tunnel-junction/> .
+@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 trigger a low-bias leak alarm in a regime where a conventional PN junction cannot?" .
+
+# -------------------
+# Application context
+# -------------------
+
+:leakAlarmNode a :EdgeSensor ;
+  :needs :MicrowattWakeSwitching ;
+  :application :PipeLeakAlarm .
+
+# ----------------------------------
+# Device A: tunnel-style PN junction
+# ----------------------------------
+
+# This junction is modeled with the structural conditions associated here
+# with quantum-tunneling transfer across the barrier.
+:tunnelJunction a :PNJunction ;
+  :junctionKind :TunnelDiode ;
+  :doping :Heavy ;
+  :depletionWidth :Narrow ;
+  :stateAlignment :Overlap ;
+  :biasRegime :LowForwardBias ;
+  :scanProfile :PeakToValley ;
+  :deviceRole :WakeSwitch .
+
+# ----------------------------------
+# Device B: conventional PN junction
+# ----------------------------------
+
+# This junction is modeled as lacking the conditions needed for the same
+# low-bias transfer mode.
+:ordinaryJunction a :PNJunction ;
+  :junctionKind :ConventionalDiode ;
+  :doping :Standard ;
+  :depletionWidth :Wide ;
+  :stateAlignment :NoOverlap ;
+  :biasRegime :LowForwardBias ;
+  :scanProfile :MonotoneForward ;
+  :deviceRole :WakeSwitch .
+
+# ---------------------------------
+# CAN rules — what becomes possible
+# ---------------------------------
+
+# A heavily doped, narrow junction with overlapping states
+# can support quantum transfer across the barrier.
+{ ?J a :PNJunction ;
+     :doping :Heavy ;
+     :depletionWidth :Narrow ;
+     :stateAlignment :Overlap . }
+=>
+{ ?J :can :QuantumBarrierTransfer .
+  ?J :transportMode :TunnelingDominant . } .
+
+# If quantum barrier transfer is available in the low-bias
+# regime, then sub-threshold current is possible.
+{ ?J :can :QuantumBarrierTransfer ;
+     :biasRegime :LowForwardBias . }
+=>
+{ ?J :can :SubThresholdCurrent . } .
+
+# If the device has quantum barrier transfer and is scanned
+# through the peak-to-valley operating region, then a
+# negative differential response is possible.
+{ ?J :can :QuantumBarrierTransfer ;
+     :scanProfile :PeakToValley . }
+=>
+{ ?J :can :NegativeDifferentialResponse . } .
+
+# If sub-threshold current is possible and the device is
+# being used as a wake switch, then ultra-low-bias switching
+# is possible.
+{ ?J :can :SubThresholdCurrent ;
+     :deviceRole :WakeSwitch . }
+=>
+{ ?J :can :UltraLowBiasSwitching . } .
+
+# If ultra-low-bias switching is possible and the node needs
+# that capability, then the device can serve the wake circuit.
+{ ?J :can :UltraLowBiasSwitching .
+  :leakAlarmNode :needs :MicrowattWakeSwitching . }
+=>
+{ ?J :can :ServeLeakAlarmWakeCircuit . } .
+
+# -------------------------------------
+# CAN'T rules — what becomes impossible
+# -------------------------------------
+
+# A conventional low-bias junction with wide depletion and
+# no state overlap cannot provide the same quantum transfer.
+{ ?J a :PNJunction ;
+     :doping :Standard ;
+     :depletionWidth :Wide ;
+     :stateAlignment :NoOverlap . }
+=>
+{ ?J :cannot :QuantumBarrierTransfer . } .
+
+# If quantum barrier transfer is unavailable in the same
+# low-bias regime, then sub-threshold current is unavailable.
+{ ?J :cannot :QuantumBarrierTransfer ;
+     :biasRegime :LowForwardBias . }
+=>
+{ ?J :cannot :SubThresholdCurrent . } .
+
+# Without the quantum transfer mode, the negative
+# differential response of the tunnel-style operating window
+# is unavailable too.
+{ ?J :cannot :QuantumBarrierTransfer . }
+=>
+{ ?J :cannot :NegativeDifferentialResponse . } .
+
+# If sub-threshold current is unavailable for a wake switch,
+# then ultra-low-bias switching is unavailable.
+{ ?J :cannot :SubThresholdCurrent ;
+     :deviceRole :WakeSwitch . }
+=>
+{ ?J :cannot :UltraLowBiasSwitching . } .
+
+# If ultra-low-bias switching is unavailable, then the device
+# cannot serve the leak-alarm wake circuit.
+{ ?J :cannot :UltraLowBiasSwitching .
+  :leakAlarmNode :needs :MicrowattWakeSwitching . }
+=>
+{ ?J :cannot :ServeLeakAlarmWakeCircuit . } .
+
+# ------
+# Checks
+# ------
+
+# Positive checks for the tunnel junction.
+{ :tunnelJunction :can :QuantumBarrierTransfer . }
+=> { :case :checkC1 :Passed . } .
+
+{ :tunnelJunction :transportMode :TunnelingDominant . }
+=> { :case :checkC2 :Passed . } .
+
+{ :tunnelJunction :can :SubThresholdCurrent . }
+=> { :case :checkC3 :Passed . } .
+
+{ :tunnelJunction :can :NegativeDifferentialResponse . }
+=> { :case :checkC4 :Passed . } .
+
+{ :tunnelJunction :can :UltraLowBiasSwitching . }
+=> { :case :checkC5 :Passed . } .
+
+{ :tunnelJunction :can :ServeLeakAlarmWakeCircuit . }
+=> { :case :checkC6 :Passed . } .
+
+# Negative checks for the conventional junction.
+{ :ordinaryJunction :cannot :QuantumBarrierTransfer . }
+=> { :case :checkC7 :Passed . } .
+
+{ :ordinaryJunction :cannot :SubThresholdCurrent . }
+=> { :case :checkC8 :Passed . } .
+
+{ :ordinaryJunction :cannot :NegativeDifferentialResponse . }
+=> { :case :checkC9 :Passed . } .
+
+{ :ordinaryJunction :cannot :UltraLowBiasSwitching . }
+=> { :case :checkC10 :Passed . } .
+
+{ :ordinaryJunction :cannot :ServeLeakAlarmWakeCircuit . }
+=> { :case :checkC11 :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 . }
+=>
+{
+  :out log:outputString """ACT tunnel-junction wake switch
+
+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 is modeled as a heavily doped narrow PN junction with overlapping states, so quantum barrier transfer is possible. That makes sub-threshold current possible in the low-forward-bias regime, which in turn makes ultra-low-bias switching possible for the wake circuit. Because the device is also scanned through a peak-to-valley window, a negative differential response is possible as well. By contrast, the conventional junction lacks the structural conditions for the same transfer mode, so it cannot deliver the same low-bias switching task in this case.
+
+Check
+C1  OK - the tunnel junction can support quantum barrier transfer
+C2  OK - the tunnel junction is classified as tunneling-dominant
+C3  OK - the tunnel junction can deliver sub-threshold current
+C4  OK - the tunnel junction can show negative differential response
+C5  OK - the tunnel junction can perform ultra-low-bias switching
+C6  OK - the tunnel junction can serve the leak-alarm wake circuit
+C7  OK - the conventional junction cannot support the same quantum barrier transfer
+C8  OK - the conventional junction cannot deliver sub-threshold current in this regime
+C9  OK - the conventional junction cannot show the tunnel-style negative differential response
+C10 OK - the conventional junction cannot perform ultra-low-bias switching here
+C11 OK - the conventional junction cannot serve the leak-alarm wake circuit in this case
+""" .
+} .

package/examples/act-yeast-self-reproduction.n3

@@ -0,0 +1,248 @@
+# ============================================================================
+# ACT yeast self-reproduction — explicit can and can't version
+#
+# Applied constructor-theory case:
+# A yeast starter culture is modeled as a self-reproducer.
+#   - the genome is the replicator
+#   - the cell machinery is the vehicle
+#   - a nutrient bath supplies raw materials
+#   - a fermenter provides a selection environment
+#
+# This example therefore includes both sides:
+#   - CAN   : accurate replication, self-reproduction, heritable variation,
+#             and natural selection for a digitally encoded starter lineage
+#   - CAN'T : accurate self-reproduction for a contrast lineage whose heredity
+#             is not digitally instantiated under no-design laws
+# ============================================================================
+
+@prefix : <http://example.org/act/yeast/> .
+@prefix arc: <https://example.org/arc#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:case a arc:Case ;
+  arc:question "Can a yeast starter culture self-reproduce accurately under no-design laws, and what exactly can't happen for a non-digital contrast lineage?" .
+
+# --------------------------------------
+# Shared world assumptions and resources
+# --------------------------------------
+
+:world :obeys :NoDesignLaws .
+
+:dnaRegister a :DigitalInformationMedium .
+:analogRegister a :NonDigitalInformationMedium .
+
+:nutrientBath a :RawMaterialSupply .
+:mutationSource a :VariationSource .
+
+:fermenter a :SelectionEnvironment ;
+  :favours :RespireFast .
+
+# ------------------------
+# Positive starter lineage
+# ------------------------
+
+:starterGenome a :Replicator ;
+  :accuracy :High ;
+  :variant :RespireFast ;
+  :storedIn :dnaRegister .
+
+:starterVehicle a :Vehicle ;
+  :function :Metabolism ;
+  :function :CopyingSupport .
+
+:starterCell a :Cell ;
+  :hasReplicator :starterGenome ;
+  :hasVehicle :starterVehicle .
+
+# ------------------------------------------
+# Contrast lineage with non-digital heredity
+# ------------------------------------------
+
+:contrastGenome a :Replicator ;
+  :accuracy :High ;
+  :variant :RespireFast ;
+  :storedIn :analogRegister .
+
+:contrastVehicle a :Vehicle ;
+  :function :Metabolism ;
+  :function :CopyingSupport .
+
+:contrastCell a :Cell ;
+  :hasReplicator :contrastGenome ;
+  :hasVehicle :contrastVehicle .
+
+# -----------------------------------------------------------
+# CAN rules — what is possible for the viable starter culture
+# -----------------------------------------------------------
+
+# Under no-design laws, digitally instantiated hereditary information makes
+# accurate genome copying possible in principle.
+{ :world :obeys :NoDesignLaws .
+  ?Medium a :DigitalInformationMedium . }
+=>
+{ ?Medium :can :SupportReplicationUnderNoDesignLaws .
+  :ReplicationUnderNoDesignLaws a :PossibleTask . } .
+
+# A replicator stored in a digital medium can be accurately copied.
+{ ?Genome a :Replicator ;
+          :storedIn ?Medium .
+  ?Medium :can :SupportReplicationUnderNoDesignLaws . }
+=>
+{ ?Genome :can :AccurateGenomeCopyUnderNoDesignLaws .
+  :GenomeCopying a :PossibleTask . } .
+
+# A replicator-plus-vehicle architecture supports accurate replication.
+{ ?Genome :accuracy :High .
+  ?Cell :hasReplicator ?Genome .
+  ?Cell :hasVehicle ?Vehicle .
+  ?Vehicle a :Vehicle . }
+=>
+{ ?Cell :can :AccurateReplicationArchitecture .
+  :AccurateReplicationArchitecture a :PossibleTask . } .
+
+# Genome copying plus architecture plus raw materials makes self-reproduction possible.
+{ ?Cell :hasReplicator ?Genome .
+  ?Genome :can :AccurateGenomeCopyUnderNoDesignLaws .
+  ?Cell :can :AccurateReplicationArchitecture .
+  :nutrientBath a :RawMaterialSupply . }
+=>
+{ ?Cell a :SelfReproducer .
+  ?Cell :can :SelfReproduce .
+  :SelfReproduction a :PossibleTask . } .
+
+# Variation plus a selection environment makes natural selection possible.
+{ ?Genome a :Replicator .
+  :mutationSource a :VariationSource . }
+=>
+{ ?Genome :can :HeritableVariation .
+  :HeritableVariation a :PossibleTask . } .
+
+{ ?Cell :hasReplicator ?Genome .
+  ?Cell :can :SelfReproduce .
+  ?Genome :can :HeritableVariation .
+  :fermenter a :SelectionEnvironment . }
+=>
+{ ?Cell :can :NaturalSelectionLineage .
+  :NaturalSelection a :PossibleTask . } .
+
+{ ?Cell :hasReplicator ?Genome .
+  ?Cell :can :NaturalSelectionLineage .
+  ?Genome :variant ?V .
+  :fermenter :favours ?V . }
+=>
+{ ?Genome :selectedIn :fermenter . } .
+
+# ---------------------------------------------------------------------
+# CAN'T rules — what is impossible for the non-digital contrast lineage
+# ---------------------------------------------------------------------
+
+# Under no-design laws, a non-digital hereditary medium cannot support the same
+# accurate genome-copying task.
+{ :world :obeys :NoDesignLaws .
+  ?Genome a :Replicator ;
+          :storedIn ?Medium .
+  ?Medium a :NonDigitalInformationMedium . }
+=>
+{ ?Genome :cannot :AccurateGenomeCopyUnderNoDesignLaws . } .
+
+# If accurate genome copying is unavailable, accurate self-reproduction is unavailable.
+{ ?Cell :hasReplicator ?Genome .
+  ?Genome :cannot :AccurateGenomeCopyUnderNoDesignLaws . }
+=>
+{ ?Cell :cannot :AccurateSelfReproduction . } .
+
+# If accurate self-reproduction is unavailable, the contrast lineage cannot support
+# the same natural-selection story as the viable starter lineage.
+{ ?Cell :cannot :AccurateSelfReproduction . }
+=>
+{ ?Cell :cannot :NaturalSelectionLineage . } .
+
+# ------
+# Checks
+# ------
+
+# Positive checks for the viable starter culture.
+{ :world :obeys :NoDesignLaws . }
+=> { :case :checkC1 :Passed . } .
+
+{ :dnaRegister a :DigitalInformationMedium . }
+=> { :case :checkC2 :Passed . } .
+
+{ :starterGenome a :Replicator . }
+=> { :case :checkC3 :Passed . } .
+
+{ :starterVehicle a :Vehicle . }
+=> { :case :checkC4 :Passed . } .
+
+{ :starterGenome :can :AccurateGenomeCopyUnderNoDesignLaws . }
+=> { :case :checkC5 :Passed . } .
+
+{ :starterCell :can :AccurateReplicationArchitecture . }
+=> { :case :checkC6 :Passed . } .
+
+{ :starterCell a :SelfReproducer . }
+=> { :case :checkC7 :Passed . } .
+
+{ :starterGenome :can :HeritableVariation . }
+=> { :case :checkC8 :Passed . } .
+
+{ :starterCell :can :NaturalSelectionLineage . }
+=> { :case :checkC9 :Passed . } .
+
+{ :starterGenome :selectedIn :fermenter . }
+=> { :case :checkC10 :Passed . } .
+
+# Negative checks for the contrast lineage.
+{ :contrastGenome :cannot :AccurateGenomeCopyUnderNoDesignLaws . }
+=> { :case :checkC11 :Passed . } .
+
+{ :contrastCell :cannot :AccurateSelfReproduction . }
+=> { :case :checkC12 :Passed . } .
+
+{ :contrastCell :cannot :NaturalSelectionLineage . }
+=> { :case :checkC13 :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 . }
+=>
+{
+  :out log:outputString """ACT yeast self-reproduction
+
+Answer
+YES for the viable starter culture.
+NO for accurate self-reproduction in the non-digital contrast lineage.
+
+Reason Why
+The starter genome is treated as a replicator storing digital hereditary information, while the cell machinery is treated as the vehicle that enables metabolism and copying support. Under no-design laws, digital information makes accurate genome copying possible. Because the replicator is accurate and paired with a vehicle, the whole starter cell qualifies as a self-reproducer. With a variation source and a selection environment, natural selection also becomes possible. By contrast, the non-digital lineage cannot support accurate genome copying under the same no-design-laws assumption, so it cannot sustain the same accurate self-reproduction or natural-selection story.
+
+Check
+C1  OK - no-design laws are assumed
+C2  OK - digital information is physically instantiated for the viable lineage
+C3  OK - a viable replicator is present
+C4  OK - a viable vehicle is present
+C5  OK - accurate genome copying is possible for the viable lineage
+C6  OK - the viable lineage has a replicator-plus-vehicle architecture
+C7  OK - the starter cell qualifies as a self-reproducer
+C8  OK - heritable variation is possible for the viable lineage
+C9  OK - the viable starter culture can support a natural-selection lineage
+C10 OK - the fitter viable variant is selected in the fermenter
+C11 OK - the non-digital contrast genome cannot be copied accurately under no-design laws
+C12 OK - the non-digital contrast cell cannot achieve accurate self-reproduction
+C13 OK - the non-digital contrast cell cannot support the same natural-selection lineage
+""" .
+} .