UK Patent Application
Applicant: Neil Grassby
AIEP --- Sustained Incompatibility Detection Trigger with Coexistence Threshold Enforcement
Abstract
A computer-implemented method and system for detecting sustained logical incompatibility between simultaneously active reasoning branches within a governed distributed substrate and triggering deterministic downstream governance responses. The trigger activates when two or more co-active branches satisfy a coexistence threshold condition comprising defined evidence weight minima and a defined coexistence duration. Incompatibility is evaluated as a logical relationship between branch conclusions, not merely as evidential divergence. A SustainedIncompatibilityHash is computed encoding the trigger event, providing cryptographic attestation of the conditions under which the trigger fired. The invention provides the detection primitive upon which GoalVector generation and other governance responses depend.
Description
Field of the Invention
[0001] The present invention relates to governed distributed reasoning substrates and more particularly to deterministic detection of sustained logical incompatibility between simultaneously active reasoning branches within an Architected Instruction & Evidence Protocol (AIEP) system.
Background to the Invention
[0002] Governed reasoning substrates maintain multiple simultaneously active reasoning branches, each representing a distinct hypothesis or evidential position.
[0003] Two branches are logically incompatible when their conclusions cannot both be true simultaneously under the substrate’s constitutional semantics.
[0004] Transient incompatibility arising from momentary evidential fluctuation requires different governance treatment from sustained incompatibility maintained across multiple evaluation cycles under high evidence weight.
[0005] Existing systems do not provide a deterministic mechanism that distinguishes sustained logical incompatibility from transient divergence, evaluates coexistence threshold conditions, and generates a cryptographically verifiable trigger attestation.
[0006A] Boundary Note (R6): The present invention differs from prior AIEP recall control mechanisms in the following technically material respects: (a) the comparison evaluated is between canonical conclusion representations of branch pairs, not between output vectors and a reference distribution; (b) the threshold event produces a SustainedIncompatibilityHash trigger record for downstream GoalVector generation governance, not a recall scope expansion; (c) the mechanism operates at the branch-pair semantic level, evaluating logical incompatibility between what two branches conclude, not at the output distribution statistical level. The sustained threshold pattern (weight + duration) shared with prior filings is a common architectural primitive; the objects measured, the evaluation semantics, and the downstream outputs of this invention are distinct.
[0006] There exists a need for a sustained incompatibility detection trigger that evaluates both the logical incompatibility relationship and the coexistence threshold conditions, and produces a verifiable trigger event for downstream governance mechanisms.
Summary of the Invention
[0007] According to a first aspect of the invention, there is provided a computer-implemented method for sustained incompatibility detection in a governed reasoning substrate, the method comprising:
(a) maintaining a plurality of simultaneously active reasoning branches within a governed substrate;
(b) evaluating logical incompatibility between branch pairs as a deterministic function of their canonical conclusion representations;
(c) determining that an incompatible branch pair satisfies a coexistence threshold condition comprising: each branch maintaining evidence weight above a defined coexistence weight threshold; and the incompatibility having persisted for a defined coexistence duration measured in evaluation cycles;
(d) generating a SustainedIncompatibilityHash as a cryptographic function over: the hash identifiers of the incompatible branches, the evidence weights at trigger time, the coexistence duration at trigger time, and a trigger timestamp;
(e) appending a trigger record to substrate lineage; and
(f) invoking downstream governance responses dependent on the trigger event.
[0008] According to a second aspect, there is provided a system comprising: an incompatibility evaluation engine; a coexistence threshold monitor; a SustainedIncompatibilityHash computation module; and a trigger event controller.
[0009] According to a third aspect, there is provided a non-transitory computer-readable medium storing instructions which, when executed, cause a processor to perform the method of the first aspect.
Brief Description of the Drawings
Figure 1 illustrates logical incompatibility evaluation between branch pairs.
Figure 2 illustrates coexistence threshold monitoring across evaluation cycles.
Figure 3 illustrates SustainedIncompatibilityHash generation and trigger record commitment.
Detailed Description of Preferred Embodiments
1. Logical Incompatibility Evaluation
[0010] Logical incompatibility is evaluated as a deterministic function of the canonical conclusion representations of two branches.
[0011] Two branches are logically incompatible when their canonical conclusions satisfy an incompatibility relation defined in the active constitutional schema.
[0012] The incompatibility relation comprises at minimum:
(a) contradictory conclusions that cannot both be true under the substrate’s truth semantics;
(b) mutually exclusive policy implications; or
(c) incompatible structural constraints.
[0013] Incompatibility evaluation is schema-versioned and deterministic across distributed nodes.
2. Coexistence Threshold Monitoring
[0014] The coexistence threshold condition comprises two independent threshold parameters:
(a) a coexistence weight threshold W_c, defining the minimum evidence weight each branch must maintain; and
(b) a coexistence duration threshold D_c, defining the minimum number of consecutive evaluation cycles during which the incompatibility and evidence weights must be maintained.
[0015] Both threshold parameters are schema-defined and version-bound.
[0016] The coexistence threshold monitor evaluates the condition at each evaluation cycle.
[0017] The trigger fires only when both conditions are simultaneously satisfied: evidence weight of each branch >= W_c; and incompatibility duration >= D_c.
[0018] Transient incompatibility below D_c does not trigger the mechanism.
3. SustainedIncompatibilityHash
[0019] Upon threshold satisfaction, a SustainedIncompatibilityHash is computed as a cryptographic hash over:
(a) the hash identifier of the first incompatible branch;
(b) the hash identifier of the second incompatible branch;
(c) the evidence weights of both branches at trigger time;
(d) the coexistence duration at trigger time; and
(e) a trigger timestamp.
[0020] SustainedIncompatibilityHash provides cryptographic attestation of the conditions under which the trigger fired.
[0021] A trigger record comprising the SustainedIncompatibilityHash is appended to append-only lineage.
[0022] Identical trigger conditions produce identical SustainedIncompatibilityHash values across distributed nodes.
4. Downstream Governance
[0023] The trigger event invokes downstream governance responses as defined in the active constitutional schema.
[0024] Downstream responses may include GoalVector generation as described in prior AIEP filings, without the detection trigger itself determining the nature of the response.
[0025] The trigger mechanism is separable from downstream responses and operates as a standalone detection primitive.
Technical Effect
[0026] The invention provides deterministic detection of sustained logical incompatibility as a distinct governance primitive.
[0027] It prevents false triggering from transient divergence by requiring coexistence duration.
[0028] It provides cryptographically verifiable attestation of trigger conditions.
[0029] It enables deterministic downstream governance responses dependent on sustained incompatibility conditions.
CLAIMS
1. A computer-implemented method for sustained incompatibility detection in a governed reasoning substrate, the method comprising: maintaining a plurality of simultaneously active reasoning branches; evaluating logical incompatibility between branch pairs as a deterministic function of canonical conclusion representations; determining that an incompatible branch pair satisfies a coexistence threshold condition comprising each branch maintaining evidence weight above a coexistence weight threshold for a coexistence duration measured in evaluation cycles; generating a SustainedIncompatibilityHash as a cryptographic function over the hash identifiers of the incompatible branches, the evidence weights at trigger time, the coexistence duration, and a trigger timestamp; and appending a trigger record to append-only substrate lineage.
2. The method of claim 1 wherein the trigger fires only when evidence weight of each branch exceeds the coexistence weight threshold simultaneously for the required coexistence duration.
3. The method of claim 1 wherein transient incompatibility below the coexistence duration threshold does not activate the trigger.
4. The method of claim 1 wherein the coexistence weight threshold and coexistence duration threshold are schema-defined version-bound parameters.
5. The method of claim 1 wherein identical trigger conditions produce identical SustainedIncompatibilityHash values across distributed nodes.
6. The method of claim 1 further comprising invoking downstream governance responses upon trigger event, the trigger mechanism operating as a separable detection primitive from said responses.
7. A system for sustained incompatibility detection in a governed reasoning substrate, comprising: an incompatibility evaluation engine configured to evaluate logical incompatibility between branch pairs; a coexistence threshold monitor; a SustainedIncompatibilityHash computation module; and a trigger event controller configured to append a trigger record to substrate lineage upon threshold satisfaction.
8. A non-transitory computer-readable medium storing instructions which, when executed, perform the method of claim 1.
Abstract
A computer-implemented method and system for detecting sustained logical incompatibility between simultaneously active reasoning branches within an AIEP governed substrate. Logical incompatibility is evaluated as a deterministic function of canonical branch conclusion representations. The trigger fires only when both a coexistence weight threshold and a coexistence duration threshold are simultaneously satisfied, preventing false triggering from transient divergence. A SustainedIncompatibilityHash is computed over the incompatible branch identifiers, evidence weights, coexistence duration, and trigger timestamp, providing cryptographically verifiable attestation of trigger conditions. The invention operates as a separable detection primitive enabling deterministic downstream governance responses dependent on sustained incompatibility.
Brief Description of the Drawing
FIG. 1 — Temporal Evidence Gap Detection
t0 t1 t2 [GAP] t3 t4
│ │ │ │ │
●─────────●─────────●───────────────────●─────────●
│ │ │ │ │
Ev(A) Ev(B) Ev(C) Ev(D) Ev(E)
│
┌───────────▼─────────────┐
│ NegativeProofRecord │
│ period: [t2+1, t3-1] │
│ hash: H(gap_spec) │
│ "absence is proven │
│ not merely noted" │
└─────────────────────────┘