SC-LNP-01

Logic & Planning Agent

Structured reasoning and plan decomposition.

Doctrinal basis
Supports mission analysis within NATO OPP / AJP-5.
Deployment
Runs alongside the planning agents in the same enclave.
Underlying products
SynapseMesh™VerityGridAI™
01

Purpose

Staff products can look coherent while containing contradictory tasks, missing dependencies or constraints that silently invalidate the plan. SC-LNP-01 decomposes commander intent into tasks, dependencies and constraints, then checks candidate plans for logical consistency before staff time is spent on them. The core parses a formal task graph, locates contradictions and gaps as specific, located defects, and continuously validates intermediate products from the planning agents. It does not generate plans of its own; it is the sceptic in the mesh, ensuring that what is built is internally consistent and traceable to intent.

Cryptographic laboratory bench with verification hardware
Constraint verification
01b

Doctrinal basis

Supports mission analysis within NATO OPP / AJP-5.

02

Architecture

Commander intent, task organisation and the stated constraints, restraints and assumptions are parsed into a formal task graph. The core is a structured reasoner, not a free-text generator: it builds decomposition trees, checks dependencies and sequencing, and searches candidate plans for contradictions and gaps before staff time is spent on them. Findings are reported as specific, located defects, naming the tasks and constraints in conflict, rather than as general commentary. It runs in the same enclave as the planning agents and validates their intermediate products continuously. All checks and findings are recorded to CyberFort Blockchain™.

IngestCommander intent · Task organisationConstraints, restraints and assumptionsReasoning coreFormal task graph parsing · Decomposition treesDependency and sequencing checksContradiction and gap searchPolicy & assuranceStructured reasoning, not free generationContinuous validation in the planning enclaveOutput & provenanceLocated, specific defect findingsChecks recorded to the ledger

Hover or focus a band to see what it guarantees.

03

Inputs and outputs

Typical inputs
  • IN-01Commander intent
  • IN-02Task organisation
  • IN-03Constraints, restraints and assumptions
Outputs
  • OUT-01Task decomposition trees
  • OUT-02Dependency and sequencing checks
  • OUT-03Contradiction and gap reports
04

Position in the mesh

SC-LNP-01This agentCommanderNLSC-PLAN-01SC-COA-01
  • Consumes
  • Publishes
05

What it does not do

It does not generate plans of its own. It is the sceptic in the mesh, and it stays that way.

06

The same four gates as every agent

Fail-closed model register

An unregistered or unapproved model tag is refused before inference, not flagged afterwards.

Five-role RBAC

Every action is scoped to a declared role. Scope is checked at the engine, not in the prompt.

Supervised quarantine

New or changed models run under supervision until their evaluation evidence is accepted.

Human-on-the-loop

Irreversible decisions require a signed human authorisation recorded with the decision.

The agents differ in what they reason about. They do not differ in what they are allowed to do.

07

Deployment

Sovereign Cloud

In-country, accredited cloud, under your jurisdiction and operational control.

Applicable
On-Premises Classified

Designed for deployment up to NATO SECRET. Accreditation is per deployment.

Applicable
Air-Gapped Tactical

Runs disconnected. Inference, agents and the decision record are all local.

Applicable

Ready to see SynapseCommand® in action?

Briefings available under NDA. Classified briefings arranged through cleared channels.