AI

Draft — This content has not been approved for publication.

Proposal: URL correction + SENF status clarification (cluster-pilot HAA Source 4, 2026-05-07).

P-AI-1: +github URL is HTTP 404 stale

Sandra's spec lists https://github.com/singnet/semantic-parsing in +github. This URL returns HTTP 404 — there is no singnet/semantic-parsing repository at that path.

The actual Hyperon-era semantic parsing implementations are a trilateral set:

rTreutlein/semantic_parsing — canonical upstream (LLM-driven NL → predicate logic / MeTTa).
leungmanhin/semantic_parsing — active fork-derived primary; primary committers Leung Man Hin and Roman Treutlein.
leungmanhin/semantic-parser — separate Hyperon/PeTTaChainer line (dashed name; no upstream remote; PLN expression guidance + Premises/Conclusions syntax).

Recommended action: coordinate with Sandra/Leung Man Hin/Roman Treutlein on which URL(s) to canonicalize in the Index card, then update Sandra's source spec + the wiki +github card together. Until then, the wiki matches Sandra's spec exactly (broken URL preserved).

P-AI-2: SENF status framing

Sandra's +description states semantic parsing "converts ambiguous human language into executable logic using SENF (Semantic Elegant Normal Form)." Cluster-pilot Source 4 finding: SENF is roadmap-level, not the current direct behavior of semantic_parsing HEAD. The shipping pipelines convert NL → predicate-logic / MeTTa expressions; SENF as a canonical-graph normal form is a proposed design direction.

This is a forward-looking spec choice — Sandra's framing aligns with the eventual end-state. Index card matches her spec verbatim; the technical-depth nuance lives in Semantic Parsing Full.

Apply or reject at human reviewer's discretion. Proposal preserved here for team resolution.