Default Branch

master
gardes du contrat / conformite (push) Successful in 23s

0808286bf7 · Merge pull request 'Gardes nommées, reprise de revue : « nommée » jamais « déclarée », exclusions, registre du refus' (#5) from instrument/gardes-nommees-reprise into master · Updated 2026-09-21 19:25:20 +00:00

Branches

instrument/gardes-nommees-reprise
gardes du contrat / conformite (pull_request) Successful in 17s

654042d0fa · Gardes nommées, reprise de revue : « nommée » jamais « déclarée », exclusions, registre du refus · Updated 2026-09-21 19:13:02 +00:00    temoin-agent

1
0
#5 Merged

6508f3be47 · Instrument : les gardes nommées, comme candidats — le plus petit lecteur qui prouve la thèse · Updated 2026-09-21 13:43:14 +00:00    temoin-agent

4
1
Compare
contrat/relation-confirms
gardes du contrat / conformite (pull_request) Successful in 28s

f3d7383748 · SPEC v1.2 : la mesure nomme ce qu'elle a examiné (relations.confirms) · Updated 2026-09-21 11:53:04 +00:00    temoin-agent

5
0
#3 Merged
contrat/lecture-de-decroissance
gardes du contrat / conformite (pull_request) Successful in 18s

1954dcb704 · SPEC v1.1 : une décroissance montrée nomme sa lecture · Updated 2026-09-19 08:13:31 +00:00    temoin-agent

7
0
#2 Merged
autonomie
gardes du contrat / conformite (pull_request) Successful in 16s

1227a4fb5a · Autonomie : le dépôt public devient la source de vérité du contrat · Updated 2026-09-11 07:30:11 +00:00    temoin-agent

9
0
#1 Merged