link_proofs

Vue d’ensemble

link_proofs crée une relation typée entre deux entrées du ledger dans la table ledger_relations. C’est le mécanisme principal du faisceau d’indices : un hash isolé ne prouve rien, mais une note de recherche liée à un commit, lié à une PR, liée à une release, forme une chaîne de filiation intellectuelle infalsifiable.

L’agent doit proactivement appeler cet outil après chaque seal ou certify_research quand des relations naturelles sont détectables.

Paramètres

source_id number requis

ID de l’entrée source dans le ledger.

target_id number requis

ID de l’entrée cible dans le ledger.

relation_type string requis

Type de relation. Quatre valeurs canoniques :

Type	Sémantique	Exemple
`derives_from`	La source dérive de la cible	Note v2 dérive de note v1
`implements`	La source implémente la cible	PR implémente l’issue Jira
`refines`	La source raffine la cible	Commit raffine la version initiale
`releases`	La source release la cible	Tag release la PR

Réponse

{
  "source_id": 42,
  "target_id": 13,
  "relation_type": "implements",
  "created_at": "2026-05-27T11:45:00Z"
}

Détection automatique recommandée

L’agent peut détecter ces relations à partir des références :

Détection	Type de lien
Commit message contient `Closes #SES-42`	`commit_id implements jira:SES-42`
PR description mentionne une issue Jira	`pr_id implements jira:<key>`
Tag annoté contient un changelog mentionnant une PR	`tag_id releases pr_id`
Note de recherche v2 cite explicitement la v1	`v2_id derives_from v1_id`

Voir aussi

Concepts → Chaîne de preuves — la théorie du faisceau d’indices
seal — chaque seal crée une nouvelle entrée potentiellement liable