Add PROMETHEUS neuro-symbolic kernel contracts

.github/workflows/prometheus-neurosymbolic-contracts.yml

@@ -0,0 +1,28 @@
+name: PROMETHEUS neuro-symbolic contracts
+
+on:
+  pull_request:
+    paths:
+      - "contracts/prometheus/neurosymbolic-*.json"
+      - "docs/PROMETHEUS_NEUROSYMBOLIC_KERNEL.md"
+      - "tools/validate_prometheus_neurosymbolic_contracts.py"
+      - ".github/workflows/prometheus-neurosymbolic-contracts.yml"
+  push:
+    branches:
+      - main
+    paths:
+      - "contracts/prometheus/neurosymbolic-*.json"
+      - "docs/PROMETHEUS_NEUROSYMBOLIC_KERNEL.md"
+      - "tools/validate_prometheus_neurosymbolic_contracts.py"
+      - ".github/workflows/prometheus-neurosymbolic-contracts.yml"
+
+jobs:
+  validate:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+      - name: Validate PROMETHEUS neuro-symbolic contracts
+        run: python3 tools/validate_prometheus_neurosymbolic_contracts.py

contracts/prometheus/neurosymbolic-capability-catalog.v0.1.json

@@ -0,0 +1,151 @@
+{
+  "capabilities": [
+    {
+      "applicationModes": [
+        "scientific_law_discovery",
+        "equation_discovery",
+        "experiment_design"
+      ],
+      "candidateArtifactTypes": [
+        "EquationCandidate",
+        "ProgramCandidate",
+        "ExperimentProposal"
+      ],
+      "capabilityId": "prometheus.nsr.symbolic_scientific_discovery.v0",
+      "controlAuthority": false,
+      "displayName": "Symbolic scientific discovery",
+      "executionPosture": "optional_engine_pending_runtime_pin",
+      "methodFamily": "ai_descartes",
+      "nonAuthorityDeclaration": "AI-Descartes-style output is candidate material only and is not a law, policy, controller, ontology assertion, or deployment authorization.",
+      "priorArtRef": "ibm:ai-descartes",
+      "prohibitedPromotions": [
+        "law",
+        "ontology_assertion",
+        "policy",
+        "controller",
+        "deployment_authorization"
+      ],
+      "prometheusRole": "discovery_engine_candidate_factory",
+      "requiredGates": [
+        "dataset_hash",
+        "replay_posture",
+        "dimensional_analysis",
+        "complexity_gate",
+        "semantic_review",
+        "policy_review"
+      ]
+    },
+    {
+      "applicationModes": [
+        "formula_review",
+        "contradiction_surface",
+        "advisory_verification"
+      ],
+      "candidateArtifactTypes": [
+        "TruthBoundObservation",
+        "FormulaTrace",
+        "ContradictionState"
+      ],
+      "capabilityId": "prometheus.nsr.truth_bound_reasoning.v0",
+      "controlAuthority": false,
+      "displayName": "Logical truth-bound reasoning",
+      "executionPosture": "optional_engine_pending_runtime_pin",
+      "methodFamily": "lnn_truth_bounds",
+      "nonAuthorityDeclaration": "LNN-style truth bounds are advisory observations only and are not hard truth, global entailment, policy admission, or schema authority.",
+      "priorArtRef": "ibm:fol-lnn",
+      "prohibitedPromotions": [
+        "hard_truth",
+        "global_entailment",
+        "policy_admission",
+        "schema_promotion"
+      ],
+      "prometheusRole": "verification_helper",
+      "requiredGates": [
+        "source_evidence_ref",
+        "truth_region_calibration",
+        "contradiction_state",
+        "semantic_review",
+        "policy_review"
+      ]
+    },
+    {
+      "applicationModes": [
+        "semantic_parse",
+        "logic_candidate_generation"
+      ],
+      "candidateArtifactTypes": [
+        "SemanticParseCandidate",
+        "LogicCandidate"
+      ],
+      "capabilityId": "prometheus.nsr.language_to_logic_grounding.v0",
+      "controlAuthority": false,
+      "displayName": "Language-to-logic grounding",
+      "executionPosture": "optional_engine_pending_runtime_pin",
+      "methodFamily": "amr_logic",
+      "nonAuthorityDeclaration": "AMR-to-logic output is a grounding candidate only and does not create schema, policy, ontology, or truth authority.",
+      "priorArtRef": "ibm:amr-to-logic",
+      "prohibitedPromotions": [
+        "schema",
+        "policy",
+        "ontology_assertion",
+        "hard_truth"
+      ],
+      "prometheusRole": "source_to_logic_candidate_generator",
+      "requiredGates": [
+        "source_evidence_ref",
+        "grounding_assessment",
+        "anti_leakage_check",
+        "semantic_review"
+      ]
+    },
+    {
+      "applicationModes": [
+        "background_theory_lookup",
+        "knowledge_graph_review"
+      ],
+      "candidateArtifactTypes": [
+        "KnowledgeSubstrateRef",
+        "OntologyDeltaProposal"
+      ],
+      "capabilityId": "prometheus.nsr.knowledge_substrate.v0",
+      "controlAuthority": false,
+      "displayName": "Knowledge substrate reference",
+      "executionPosture": "read_only_reference_pending_adapter",
+      "methodFamily": "knowledge_substrate",
+      "nonAuthorityDeclaration": "Knowledge-substrate output is reference material only and does not mutate ontology, promote schemas, or turn embeddings into evidence.",
+      "priorArtRef": "ibm:ulkb-ergo",
+      "prohibitedPromotions": [
+        "ontology_mutation",
+        "schema_promotion",
+        "evidence_promotion_from_embedding"
+      ],
+      "prometheusRole": "evidence_and_background_theory_reference",
+      "requiredGates": [
+        "source_evidence_ref",
+        "ontology_owner_review",
+        "semantic_review"
+      ]
+    }
+  ],
+  "catalogId": "urn:prometheus:neurosymbolic-capability-catalog:v0.1",
+  "contractType": "PrometheusNeuroSymbolicCapabilityCatalog",
+  "globalBoundary": {
+    "controlAuthority": false,
+    "finalAdmissionAllowed": false,
+    "memoryPromotionAllowed": false,
+    "nonAuthorityDeclaration": "PROMETHEUS neuro-symbolic artifacts are not authority artifacts and do not become laws, policies, memory, ontology, schemas, or controllers until admitted by the proper authority planes.",
+    "ontologyMutationAllowed": false,
+    "policyMutationAllowed": false
+  },
+  "issuedAt": "2026-06-03T12:00:00Z",
+  "ownerPlane": "SocioProphet/prophet-platform",
+  "schemaVersion": "0.1.0",
+  "sourcePolicy": {
+    "nonAuthorityDeclaration": "Prior-art sources guide PROMETHEUS capability design but do not authorize runtime execution, law admission, ontology mutation, policy admission, controller use, or memory promotion.",
+    "priorArtSources": [
+      "IBM Neuro-Symbolic AI Toolkit"
+    ],
+    "runtimeVendoringApproved": false,
+    "vendorDependency": false
+  }
+}

contracts/prometheus/neurosymbolic-run-artifact.ai-descartes.example.json

@@ -0,0 +1,40 @@
+{
+  "applicationMode": "scientific_law_discovery",
+  "artifactType": "PrometheusNeuroSymbolicRunArtifact",
+  "candidateRefs": [
+    {
+      "artifactType": "EquationCandidate",
+      "candidateId": "urn:prometheus:candidate:equation:ai-descartes-fixture:001",
+      "complexity": 5,
+      "equationLatex": "y = 2x + 1",
+      "fitMetric": {
+        "name": "nmse",
+        "value": 0.0
+      },
+      "promotionState": "candidate",
+      "unitsStatus": "consistent"
+    }
+  ],
+  "chronosGovernanceFlags": [],
+  "controlAuthority": false,
+  "datasetRef": {
+    "contentHash": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
+    "hashAlgorithm": "sha256",
+    "uri": "urn:dataset:prometheus:fixture:linear-law"
+  },
+  "engineMode": "fixture_only",
+  "finalAdmissionRequested": false,
+  "issuedAt": "2026-06-03T12:00:00Z",
+  "methodFamily": "ai_descartes",
+  "nonAuthorityDeclaration": "This AI-Descartes-style fixture is not a law, ontology assertion, policy, controller, runtime authority, deployment authorization, or admitted SRAssertion.",
+  "priorArtRef": "ibm:ai-descartes",
+  "promotionState": "candidate",
+  "replayHash": {
+    "algorithm": "sha256",
+    "state": "fixture_verified",
+    "value": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
+  },
+  "runId": "urn:prometheus:nsr-run:ai-descartes-fixture:001",
+  "schemaVersion": "0.1.0",
+  "semanticReviewSurface": "automated_shacl_gate"
+}

contracts/prometheus/neurosymbolic-run-artifact.fol-lnn.example.json

@@ -0,0 +1,38 @@
+{
+  "applicationMode": "formula_review",
+  "artifactType": "PrometheusNeuroSymbolicRunArtifact",
+  "candidateRefs": [
+    {
+      "artifactType": "TruthBoundObservation",
+      "candidateId": "urn:prometheus:candidate:truth-bound:fol-lnn-fixture:001",
+      "contradictionState": "none_observed",
+      "formula": "forall x: observed(x) -> candidate(x)",
+      "promotionState": "candidate",
+      "truthLowerBound": 0.72,
+      "truthRegionCalibrationRef": "urn:prometheus:truth-region-calibration:fixture:001",
+      "truthUpperBound": 0.91
+    }
+  ],
+  "chronosGovernanceFlags": [],
+  "controlAuthority": false,
+  "engineMode": "fixture_only",
+  "finalAdmissionRequested": false,
+  "issuedAt": "2026-06-03T12:00:00Z",
+  "methodFamily": "lnn_truth_bounds",
+  "nonAuthorityDeclaration": "This FOL-LNN-style fixture records advisory truth bounds only; it is not hard truth, global entailment, policy admission, schema authority, or runtime authorization.",
+  "priorArtRef": "ibm:fol-lnn",
+  "promotionState": "candidate",
+  "replayHash": {
+    "algorithm": "sha256",
+    "state": "fixture_verified",
+    "value": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd"
+  },
+  "runId": "urn:prometheus:nsr-run:fol-lnn-fixture:001",
+  "schemaVersion": "0.1.0",
+  "semanticReviewSurface": "cli",
+  "sourceEvidenceRef": {
+    "contentHash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
+    "hashAlgorithm": "sha256",
+    "uri": "urn:evidence:prometheus:fixture:formula-review"
+  }
+}

docs/PROMETHEUS_NEUROSYMBOLIC_KERNEL.md

@@ -0,0 +1,111 @@
+# PROMETHEUS Neuro-Symbolic Kernel
+
+Status: v0.1 platform contract tranche.
+
+PROMETHEUS is the owning integration plane for neuro-symbolic discovery in Prophet Platform. IBM's Neuro-Symbolic AI Toolkit is useful prior art and a research index, but it is not a platform dependency, not a vendor runtime, and not an authority plane in this stack.
+
+The kernel starts with PROMETHEUS candidate emission and ends with PROMETHEUS evidence-bound proposal handling:
+
+```text
+Observation or dataset corpus
+  -> PROMETHEUS discovery engine
+  -> candidate artifact
+  -> PROMETHEUS neuro-symbolic run artifact
+  -> AgentPlane replay/evidence reference
+  -> automated gate or human review surface
+  -> Ontogenesis semantic proposal
+  -> governance decision
+```
+
+## Position
+
+PROMETHEUS may integrate neuro-symbolic methods as discovery engines, candidate factories, verification helpers, semantic grounding helpers, or experimental-design helpers.
+
+PROMETHEUS must not treat any engine output as a law, ontology assertion, policy, controller, deployment authorization, memory promotion, or canonical schema. Every output remains candidate material until replay, dimensional analysis, semantic validation, and governance review are complete.
+
+## Initial capability map
+
+| Capability lane | Prior-art source | PROMETHEUS role | First artifact |
+|---|---|---|---|
+| symbolic scientific discovery | AI Descartes-style law discovery | primary discovery-engine family | `EquationCandidate` / `ProgramCandidate` |
+| logical truth-bound reasoning | LNN-style formula bounds | advisory verification and contradiction surfacing | `TruthBoundObservation` |
+| language-to-logic grounding | AMR-to-logic-style semantic parsing | source-to-logic candidate generator | `LogicCandidate` |
+| commonsense/knowledge graph substrate | ULKB / ERGO-style substrate | evidence and background-theory lookup | `KnowledgeSubstrateRef` |
+| theorem-search helper | TRAIL-style proof search | proof-attempt artifact source | `ProofAttemptCandidate` |
+| symbolic action policy | LOA / NESTA-style policy learning | controller-candidate proposal only | `SymbolicPolicyCandidate` |
+
+## Engine doctrine
+
+The first implementation tranche is a catalog and contract lane only. It intentionally does not install IBM packages, PySR, Julia, theorem provers, graph stores, AMR parsers, or external model providers.
+
+The PROMETHEUS engine registry should evolve toward:
+
+```text
+mvp_linear_fallback
+optional_pysr
+optional_sindy
+optional_ai_descartes
+optional_lnn_truth_bounds
+optional_amr_logic
+optional_theorem_search
+```
+
+Each optional engine must fail closed unless the runtime environment is explicitly pinned, the dataset or corpus is hashed, replay metadata exists, policy allows execution, and the output shape remains backward compatible with the PROMETHEUS candidate contract.
+
+## Required artifact boundary
+
+Every PROMETHEUS neuro-symbolic run artifact must carry:
+
+- `artifactType`;
+- `schemaVersion`;
+- `runId`;
+- `methodFamily`;
+- `applicationMode`;
+- dataset or corpus evidence reference;
+- candidate references;
+- replay hash or pending replay state;
+- semantic review surface;
+- promotion state;
+- `controlAuthority: false`;
+- non-authority declaration;
+- issued timestamp.
+
+If an artifact lacks evidence reference, replay posture, review surface, non-authority declaration, or `controlAuthority: false`, it is invalid.
+
+## Gates
+
+The default gates are:
+
+1. evidence reference exists;
+2. dataset or corpus hash exists where applicable;
+3. replay hash exists or replay state is explicitly `pending`;
+4. units status is consistent or non-applicable;
+5. no governance flags;
+6. no final admission requested;
+7. semantic review surface is configured;
+8. control authority is false;
+9. candidate remains `candidate`, `proposed_for_review`, `rejected`, or `failure_corpus`.
+
+## Non-goals
+
+This tranche does not vendor the IBM toolkit.
+
+This tranche does not create live execution.
+
+This tranche does not mutate Ontogenesis.
+
+This tranche does not create AgentPlane replay authority.
+
+This tranche does not promote a discovered equation, rule, policy, ontology edge, or logical formula to truth.
+
+This tranche does not add a controller path.
+
+## Validation
+
+Run:
+
+```bash
+python3 tools/validate_prometheus_neurosymbolic_contracts.py
+```
+
+The validator checks the PROMETHEUS-owned neuro-symbolic capability catalog and the first AI-Descartes-style / LNN-style fixture run artifacts.