Δ ATS FR · EN

ATS — Extension multi-planétaire

Statut : Pré-release v0.7 Type de document : ANNEXE NORMATIVE à la spécification ATS. Référence normative : manifesto.fr.md (la spec Terre). Langue source : Anglais (multi-planetary.en.md). Cette traduction française est fournie pour l'accessibilité ; en cas de divergence, l'anglais fait foi. Symbole générique : Δ_<Body> (ASCII) ou Δ<symbole astronomique> (Unicode). Thèse centrale : ATS se généralise de la Terre à n'importe quel corps céleste en paramétrant l'époque et la longueur du jour. La grammaire, l'algèbre, l'encodage binaire et le contrat de conformance de la spec Terre s'appliquent inchangés. Terre, Mars et Lune reçoivent des paramètres normatifs en v0.7 ; les corps tiers (Vénus, Europe, exoplanètes, …) utilisent le framework générique défini au §6.

0. Conventions

0.1 Niveaux d'exigence

Les mots clés DOIT, NE DOIT PAS, REQUIS, DEVRA, NE DEVRA PAS, DEVRAIT, NE DEVRAIT PAS, RECOMMANDÉ, NON RECOMMANDÉ, PEUT et OPTIONNEL dans ce document doivent être interprétés comme décrits dans BCP 14 [RFC 2119, RFC 8174] quand, et seulement quand, ils apparaissent en majuscules.

0.2 Glossaire (spécifique à l'extension)

0.3 Périmètre

Cette annexe spécifie :

Cette annexe NE modifie PAS de contenu normatif de manifesto.fr.md. La spécification ATS Terre (§§1–17 du manifeste) est inchangée.

1. Définition générique

1.1 Paramètres de corps

Un compteur ATS pour un corps céleste X est complètement défini par quatre paramètres :

Paramètre Type Contrainte Sens
epoch_X Instant UTC exact à la seconde SI Origine du compteur (l'instant où Δ_X vaut T+ Δ_X 0.0.0.0.00000).
day_seconds_X Decimal positif > 0, exact à ≥ 6 décimales Durée du « jour » local, en secondes SI.
suffix_X Chaîne ASCII matche [A-Za-z][A-Za-z0-9]* Suffixe canonique pour la notation ASCII (_Earth, _Mars…).
symbol_X Codepoint Unicode (optionnel) U+263F–U+2647 pour les corps du système solaire Symbole astronomique pour la forme d'affichage.

Une implémentation conformante v0.7 DOIT supporter Terre, Mars et Lune avec les paramètres du §3.

1.2 Le compteur

Le compteur du corps-X est la fonction :

Δ_X(t_UTC) = (t_UTC − epoch_X) / day_seconds_X

où :

Le compte de jours signé est ensuite encodé en utilisant la même grammaire positionnelle K.H.D.Kin.fffff qu'ATS Terre (manifesto.fr.md §4.1) :

1.3 Les longueurs d'unités varient par corps

Les unités positionnelles (Bloc, Centi, Milli, Beat, Blink) sont des fractions du jour du corps, pas des fractions d'un jour terrestre. Concrètement :

C'est intentionnel. La grammaire positionnelle est invariante à travers les corps ; les durées absolues des micro-unités sont mises à l'échelle de la longueur du jour du corps. Un utilisateur sur Mars travaillant « 3 Blocs » met approximativement la même fraction d'un jour martien qu'un utilisateur Terre travaillant « 3 Blocs » d'un jour terrestre.

2. Notation

2.1 Forme canonique (ASCII)

canonical_multibody = direction SP symbol body_suffix SP days "." frac
direction           = "T" ("+" / "-")
symbol              = %xCE.94            ; Δ
body_suffix         = "_" body_id
body_id             = ALPHA *(ALPHA / DIGIT)
days                = kilo "." digit "." digit "." digit
kilo                = 1*DIGIT
frac                = 5*DIGIT
digit               = %x30-39
SP                  = %x20

2.1.1 Exemples

T+ Δ_Earth 20.7.8.2.50000
T+ Δ_Mars  10.2.8.7.96477
T+ Δ_Moon  0.7.0.3.76180

2.1.2 Espaces

Les implémentations DOIVENT émettre exactement un espace ASCII entre direction et Δ_<body>, et exactement un espace ASCII entre Δ_<body> et days. Le nombre d'espaces dans le suffixe de corps est zéro (pas d'espace entre _ et l'identifiant du corps).

2.1.3 Rétro-compatibilité Terre

Le Δ nu (sans suffixe de corps) DOIT être interprété comme Δ_Earth dans tout contexte où le corps est implicite. Les implémentations produisant une sortie ASCII DEVRAIENT émettre Δ_Earth explicitement quand le contexte est multi-corps ; elles PEUVENT omettre le suffixe pour les contextes Terre-uniquement (badges Terre-uniquement, embeds, sites mono-planète).

2.2 Forme symbolique (affichage Unicode)

Les implémentations ciblant l'affichage humain PEUVENT utiliser des symboles astronomiques Unicode au lieu des suffixes de corps ASCII :

Corps Symbole Codepoint Prononciation
Terre Δ⊕ U+2295 (Δ + CIRCLED PLUS) « delta-terre »
Mars Δ♂ U+2642 (Δ + MALE SIGN, symbole astronomique Mars) « delta-mars »
Lune Δ☾ U+263E (Δ + LAST QUARTER MOON) « delta-lune »

Le symbole nu Δ (sans marqueur de corps) DOIT être interprété comme Terre dans les contextes d'affichage symbolique, conforme au §2.1.3.

2.3 Forme courte

La forme courte ΔK.H.D.Kin-BC.M (manifesto.fr.md §5.1) s'étend aux corps en insérant le suffixe de corps entre Δ et le premier chiffre :

short_multibody = symbol body_suffix days "-" bc "." milli
                / symbol days "-" bc "." milli              ; rétro-compat Terre

Exemples :

Δ_Mars 10.2.8.7-96.4
Δ_Moon 0.7.0.3-76.1
Δ20.7.8.2-50.0          ; Terre, suffixe omis (§2.1.3)

Les règles du parseur strict de manifesto.fr.md §5.1 s'appliquent inchangées.

3. Paramètres pour les corps v1.0

Les trois corps suivants reçoivent des paramètres ATS normatifs en v0.7. Ces paramètres deviennent GELÉS en v1.0 selon versioning.fr.md §3.1 (époque) et multi-planetary.fr.md §7 (engagements de stabilité de cette annexe).

3.1 Terre (Δ_Earth, Δ⊕, ou Δ nu)

Paramètre Valeur Source
epoch_Earth 1969-07-20T00:00:00Z manifesto.fr.md §2 — début du jour de l'alunissage d'Apollo 11.
day_seconds_Earth 86_400 Sémantique POSIX selon manifesto.fr.md §8.1.
suffix_Earth _Earth Standard.
symbol_Earth ⊕ (U+2295) Symbole astronomique de la Terre.

3.2 Mars (Δ_Mars, Δ♂)

Paramètre Valeur Source
epoch_Mars 1997-07-04T16:56:55Z Touchdown de la Sagan Memorial Station de Mars Pathfinder dans Ares Vallis [NASA JPL Mission History ; date vérifiée contre les records de mission Pathfinder].
day_seconds_Mars 88_775,244_147 s Sol martien moyen [Allison & McEwen 2000, Planetary and Space Science 48 (2-3), 215–235].
suffix_Mars _Mars Standard.
symbol_Mars ♂ (U+2642) Symbole astronomique de Mars.

3.2.1 Conséquence numérique

À 2026-06-13T12:00:00Z, Δ_Mars vaut T+ Δ_Mars 10.2.8.7.96477 (précision 5 chiffres).

3.2.2 Précision de la longueur du jour martien

La valeur 88_775,244_147 s est le sol martien moyen moyenné sur une année martienne. La longueur instantanée du sol varie de ±20 s avec l'excentricité orbitale de Mars. v0.7 utilise la valeur moyenne ; les implémentations haute précision PEUVENT utiliser la valeur variant dans le temps au prix d'une complexité du contrat de précision. Le paramètre normatif v1.0 est la moyenne.

3.3 Lune (Δ_Moon, Δ☾)

Paramètre Valeur Source
epoch_Moon 1969-07-20T00:00:00Z Partagée avec la Terre. Choix doctrinal : la Lune est le satellite de la Terre ; son compteur s'aligne naturellement sur l'événement humain qui lie les deux corps (l'alunissage d'Apollo 11).
day_seconds_Moon 2_551_442,8128 s Jour lunaire synodique moyen = 29,530 588 jours terrestres [IAU ; Espenak 2014].
suffix_Moon _Moon Standard.
symbol_Moon ☾ (U+263E) Symbole astronomique de la Lune.

3.3.1 Conséquence numérique

À 2026-06-13T12:00:00Z, Δ_Moon vaut T+ Δ_Moon 0.7.0.3.76180 (précision 5 chiffres). Un Δ_Moon complet ≈ 29,53 Δ_Earth.

3.3.2 Synodique vs sidéral : justification

La Lune a deux longueurs de jour naturelles :

ATS utilise le jour lunaire synodique parce que :

  1. Les colons lunaires expérimentent le cycle synodique (le cycle lever-coucher de soleil à la surface), pas le sidéral.
  2. Le cycle synodique correspond au cycle des phases lunaires observé depuis la Terre — la référence culturelle et observationnelle.
  3. Le framework Lunar Crewed Time (NASA Coordinated Lunar Time, 2024) utilise le cycle synodique pour les mêmes raisons.

Le jour sidéral PEUT être exposé par les implémentations comme unité additionnelle ; ce n'est pas le jour canonique du corps pour ATS.

4. Conversion (Δ_X ↔ UTC)

Les implémentations conformantes DOIVENT implémenter la conversion ci-dessous pour tout corps paramétré selon §1.1. La conversion reflète manifesto.fr.md §9 avec la longueur du jour locale au corps substituée.

4.1 UTC → Δ_X (pseudo-code)

function utc_to_body_ats(utc: UTCInstant, body: Body) -> BodyATS:
    EPOCH = body.epoch
    DAY_SECONDS = body.day_seconds
    ATS_DECIMALS = 5
    ATS_SCALE = 10 ** ATS_DECIMALS

    delta_seconds = (utc - EPOCH).total_seconds()  # Decimal signé
    total_days = delta_seconds / DAY_SECONDS       # Decimal signé

    if total_days >= 0:
        sign = "T+"
        abs_days = total_days
    else:
        sign = "T-"
        abs_days = -total_days

    integer_days = floor(abs_days)
    frac_int = floor((abs_days - integer_days) * ATS_SCALE)  # plancher 5 chiffres

    kilo, rem  = divmod(integer_days, 1000)
    hecto, rem = divmod(rem, 100)
    deka, kin  = divmod(rem, 10)

    return BodyATS(body=body, sign=sign, kilo=kilo, hecto=hecto, deka=deka, kin=kin, frac=frac_int)

4.2 Δ_X → UTC (pseudo-code)

function body_ats_to_utc(ats: BodyATS) -> UTCInstant:
    integer_days = ats.kilo * 1000 + ats.hecto * 100 + ats.deka * 10 + ats.kin
    abs_days = integer_days + ats.frac / 100_000
    signed_days = abs_days if ats.sign == "T+" else -abs_days
    delta_seconds = signed_days * ats.body.day_seconds
    return ats.body.epoch + delta_seconds

4.3 Invariant de troncature plancher

La même règle de troncature plancher (manifesto.fr.md §6) s'applique. La dérive maximale entre body_ats_to_utc(utc_to_body_ats(t)) et t est bornée par 0,864 ms × (day_seconds_X / day_seconds_Earth) :

Les implémentations revendiquant une précision sous-milliseconde sur la Lune DOIVENT utiliser une précision étendue (≥ 6 chiffres) selon manifesto.fr.md §4.4.

5. Algèbre inter-corps

5.1 L'algèbre intra-corps est préservée

Pour tout corps X, l'algèbre de manifesto.fr.md §11.4 s'applique sans modification :

5.2 Les opérations inter-corps sont interdites

Les opérations mélangeant différents corps sont un COMPORTEMENT INDÉFINI et les implémentations DOIVENT lever une erreur de type :

5.3 Comparaison inter-corps via pont UTC

Pour comparer des instants sur différents corps, les deux instants DOIVENT être convertis en UTC d'abord :

result = body_ats_to_utc(ats_a) < body_ats_to_utc(ats_b)

Les implémentations de référence exposent cela comme une méthode to_utc() sur le type spécifique au corps. Le résultat est une comparaison UTC standard.

5.4 Conversion de durée entre corps

Les durées exprimées en différents jours-de-corps sont convertibles par le ratio des longueurs de jour :

Δd_Mars_en_jours_terrestres = Δd_Mars × (day_seconds_Mars / day_seconds_Earth)
                            = Δd_Mars × (88_775,244_147 / 86_400)
                            ≈ Δd_Mars × 1,027 491

Les implémentations PEUVENT exposer une méthode to_body(target_body) qui effectue cette conversion. Le résultat est une durée dans l'unité du corps cible, qui DOIT ensuite être ajoutée ou soustraite à un instant dans le référentiel de ce corps.

6. Framework générique pour corps tiers

6.1 Enregistrement

Une implémentation PEUT définir Δ_X pour n'importe quel corps en enregistrant les quatre paramètres du §1.1 :

register_body(
    suffix="_Venus",
    epoch=parse_utc("1989-08-10T03:01:00Z"),  # Insertion orbitale Magellan
    day_seconds=Decimal("10_087_200"),         # Jour vénusien synodique ≈ 116,75 jours terrestres
    symbol="♀"                            # ♀ (U+2640, symbole astronomique de Vénus)
)

L'implémentation Python de référence fournit une classe Body avec cette interface (code/ats_multi_planetary.py).

6.2 Règles de collision de suffixe

Les corps tiers partagent l'espace de nommage global des suffixes. Pour prévenir les collisions :

6.3 Exigences de vecteurs pour corps tiers

Un corps tiers revendiquant la conformance DEVRAIT publier un fichier de vecteurs de conformance test-vectors-multi-planetary-<body>.json avec le même format que les fichiers Mars et Lune :

6.4 Statut du registre central

Aucune autorité centrale n'enregistre les corps non canoniques en v0.7. Les éditeurs d'enregistrement PEUVENT adopter un enregistrement de corps tiers comme canonique (c.-à-d., le déplacer au §3) dans une future release MINEURE via la procédure RFC (versioning.fr.md §6).

7. Stabilité (gel v1.0)

Quand ATS v1.0 ship (selon versioning.fr.md §7.2), les éléments suivants de cette annexe deviennent GELÉS :

  1. Les paramètres Terre §3.1 (aussi gelés par versioning.fr.md §3.1).
  2. Les paramètres Mars §3.2 (epoch_Mars, day_seconds_Mars).
  3. Les paramètres Lune §3.3 (epoch_Moon, day_seconds_Moon).
  4. La notation §2 : syntaxe de suffixe ASCII, assignations de symbole Unicode, règles de forme courte.
  5. L'algorithme de conversion §4 (sémantique du pseudo-code, borne de dérive).
  6. Les règles d'algèbre inter-corps §5 (sémantique d'erreur de type).

Modifier l'un d'eux post-v1.0 requiert un nouveau projet (ATS 2, selon versioning.fr.md §3.8).

Les corps tiers enregistrés selon §6 NE SONT PAS gelés par cette annexe ; ils restent librement ajoutables, modifiables ou rétractables par leurs enregistreurs en releases MINEURES.

8. Pourquoi ces ancrages spécifiquement

Les choix de Mars Pathfinder et de l'époque Lune partagée avec la Terre sont des décisions contestées ; cette section documente la justification pour que les disputes soient adressables au niveau de la spec.

8.1 Pourquoi Mars Pathfinder, pas d'autres atterrissages ?

Les candidats d'ancrage martien et la justification de rejet :

Candidat UTC Raison de rejet / sélection
Mars Pathfinder Sagan Memorial Station 1997-07-04T16:56:55Z SÉLECTIONNÉ. Premier atterrissage moderne réussi sur Mars (post-Viking) ; date symbolique du 4 juillet correspond au cadrage culturel d'Apollo 11 ; timing précis dans les records publics.
Atterrisseur Viking 1 1976-07-20T11:53:06Z Même date UTC qu'Apollo 11 (20 juillet). Ambigüité dans le cadrage culturel (quel événement 1969-7-20 ?). Ère pré-internet moderne ; moins vérifiable depuis des records indépendants.
Mars 3 (Soviétique) 1971-12-02T13:50:35Z Premier atterrissage doux Mars, mais l'atterrisseur a échoué 14,5 s après le touchdown ; le record de données est incomplet.
Rover Curiosity 2012-08-06T05:17:57Z Moderne, bien documenté, mais « ancrer sur l'atterrissage le plus récent » est instable (Perseverance 2021, futurs atterrissages).
Rover Perseverance 2021-02-18T20:55:00Z Même critique que Curiosity.
Mars Schiaparelli 2016-10-19T14:48:18Z Atterrissage échoué — pas un événement de présence réussie.
Premier atterrissage humain sur Mars (futur) Réservé comme révision future ; PEUT devenir l'ancrage quand une mission Mars habitée atterrit.

Pathfinder satisfait quatre propriétés parallèles à Apollo 11 (selon manifesto.fr.md §2.3) :

8.2 Pourquoi une époque partagée pour Terre et Lune ?

La Lune pourrait utiliser l'un de trois ancrages :

Le choix d'époque partagée avec la Terre est doctrinal :

La revendication doctrinale — « le compteur de la Lune s'aligne naturellement sur l'événement humain qui lie les deux corps » — est ouverte à RFC. Une révision future PEUT introduire epoch_Moon = 1969-07-20T20:17:40Z (touchdown) ou une époque Lune complètement indépendante ; jusqu'à v1.0, le choix d'époque partagée tient.

8.3 Qu'en est-il de Vénus, Jupiter, Europe, exoplanètes ?

Ces corps sont hors périmètre des paramètres normatifs v0.7. Ils sont adressables via le framework générique §6. Les éditeurs ont l'INTENTION de canoniser des corps additionnels via RFC à mesure que les signaux d'adoption émergent (par exemple, si une présence habitée soutenue à Europe ou un orbiteur Vénus permanent est établi).

9. Corrections relativistes (non normative)

Les effets suivants affectent la précision sous-milliseconde ; ils sont en dessous de la précision par défaut 5 chiffres (1 Blink = 864 ms) et sont donc non normatifs pour les implémentations à précision par défaut. Les implémentations requérant une précision sous-milliseconde sur des corps non-Terre DOIVENT maintenir leurs propres tables de correction.

9.1 Dérive d'horloge à la surface lunaire

Une horloge à la surface lunaire tic environ 58,7 µs plus vite par jour qu'une horloge UTC à la surface de la Terre, dû à la différence de potentiel gravitationnel [proposition NIST 2024 Coordinated Lunar Time ; Mazarico et al. 2018]. Différentiel cumulé sur 50 ans = ≈ 1,07 s.

La dérive 58,7 µs/jour est approximativement :

58,7 µs / 864_000_000 µs/jour  ≈  6,8 × 10⁻⁸ dérive relative

ce qui est bien en dessous de la résolution Blink à 5 chiffres (864 ms = 8,64 × 10⁵ µs, ≈ 14_700× plus large que l'offset lunaire quotidien). Pour les valeurs ATS à 5 chiffres, la dérive d'horloge lunaire est négligeable sur des siècles.

9.2 Dérive d'horloge à la surface martienne

Une horloge à la surface martienne diffère d'UTC par des effets gravitationnels et orbitaux. L'offset instantané varie avec la position orbitale de Mars ; la dérive cumulée sur 50 ans est de l'ordre des secondes [Mars 2024 estimations basées sur Mars GCM ; pas encore formellement standardisé].

Pour les valeurs ATS à 5 chiffres, la dérive d'horloge martienne est aussi négligeable sur des décennies.

9.3 Implémentations requérant une précision sous-milliseconde

Les implémentations ciblant :

DOIVENT maintenir leurs propres tables de correction TAI ↔ surface-locale. L'implémentation de référence fournit la précision 5 chiffres selon manifesto.fr.md §4.4 ; les cas d'usage à précision étendue sont hors périmètre pour v0.7.

9.4 Future variante ATS-TAI

manifesto.fr.md §8.3 réserve une variante ATS-TAI pour révision future. ATS-TAI sur Mars et Lune serait le framework naturel pour les corrections relativistes, mais n'est pas spécifié en v0.7.

10. Vecteurs de conformance

10.1 Fichiers de vecteurs requis

Une implémentation conformante v0.7 DOIT passer les fichiers de vecteurs suivants :

Les implémentations qui ne supportent pas l'annexe multi-planétaire DOIVENT déclarer la conformance partielle explicitement (selon manifesto.fr.md §16.5).

10.2 Format de vecteur

Chaque vecteur multi-planétaire suit :

{
  "label": "Mars Pathfinder touchdown",
  "utc": "1997-07-04T16:56:55Z",
  "ats_canonical": "T+ Δ_Mars 0.0.0.0.00000"
}

Le champ label est un contexte humainement lisible. Les champs utc et ats_canonical sont le contrat de conformance.

10.3 Exigences de couverture de vecteurs

Les fichiers de vecteurs Mars et Lune couvrent chacun :

11. Objections anticipées

11.1 « Mars Pathfinder n'est pas niveau-espèce comme Apollo 11 l'était. »

Mars Pathfinder n'est pas niveau-espèce de la même façon ; le cadrage est parallèle, pas identique. Apollo 11 a marqué le premier atterrissage humain sur un autre corps ; Pathfinder a marqué le premier atterrissage Mars moderne réussi de l'ère contemporaine. Les quatre propriétés de manifesto.fr.md §2.3 Attaque C s'appliquent (vérifiabilité, échelle de témoignage, sans victime, discontinuité). Quand un atterrissage Mars habité se produira, une future RFC PEUT proposer de ré-ancrer epoch_Mars sur cet événement (le gel v1.0 au §7 serait relâché via la porte de sortie §3.8 dans versioning.fr.md).

11.2 « Synodique vs sidéral pour la Lune était arbitraire. »

§3.3.2 source le choix : synodique correspond au cycle lever-coucher de soleil qu'un colon lunaire expérimente, correspond au cycle des phases observé depuis la Terre, et correspond au framework NASA Coordinated Lunar Time. Sidéral PEUT être exposé comme unité additionnelle non normative. Le choix n'est pas arbitraire ; il est doctrinal et expliqué.

11.3 « Les effets relativistes comptent plus que vous ne le prétendez. »

Pour la précision à 5 chiffres (résolution 864 ms), §9.1 démontre que la dérive d'horloge lunaire est ≈ 14_700× plus petite qu'un Blink. Pour l'usage à précision étendue (sous-milliseconde, par exemple, planification autonome de rover Mars), §9.3 dirige explicitement les implémentations à maintenir leurs propres tables de correction, et §9.4 réserve une variante ATS-TAI pour standardisation future. L'annexe ne sous-estime pas l'effet ; elle le périmètre correctement.

11.4 « Le framework tiers est trop permissif — les collisions de suffixe sont inévitables. »

§6.2 reconnaît cela et offre un fallback : priorité d'annonce. Un registre central est planifié (docs/spec/multi-planetary-bodies.md) et les éditeurs d'enregistrement PEUVENT canoniser les corps tiers via RFC. Jusqu'à ce que le registre existe, les collisions de suffixe sont la responsabilité de l'implémenteur à résoudre ; en pratique, l'espace de nommage des corps célestes est fini et les formes nominales anglaises sont bien établies.

11.5 « Pourquoi ne pas utiliser directement Mars24 ou Mars Mean Sol ? »

Mars24 [Allison & McEwen 2000] est la référence de chronométrage Mars établie. ATS-Mars utilise la même longueur de sol moyen (88 775,244 147 s) sourcée de Mars24. La différence est la grammaire : Mars24 exprime le temps martien en heures/minutes/secondes style jour-terrestre ; ATS-Mars utilise la grammaire positionnelle décimale K.H.D.Kin.fffff. ATS-Mars est superposé à Mars24 (utilisant la longueur de jour Mars24) ; il ne le remplace pas.

11.6 « La comparaison inter-corps via pont UTC est maladroite. »

Le pont est explicite par conception. Mélanger les corps silencieusement obscurcirait le fait que la comparaison se passe dans un troisième référentiel (UTC). Le contrat §5.3 — body_ats_to_utc(ats_a) < body_ats_to_utc(ats_b) — rend le pont visible à l'implémenteur. Le coût est un appel de méthode additionnel ; le bénéfice est la sécurité de type.

11.7 « La dérive lunaire cumulée de 1,07 s sur 50 ans semble significative. »

Elle l'est, pour la précision sous-seconde. Pour la précision ATS à 5 chiffres (864 ms), 1,07 s ≈ 1,2 Blinks — significatif pour les applications haute précision, négligeable pour les applications à précision par défaut. La précision 5 chiffres est un choix de conception (manifesto.fr.md §4.4) ; les applications requérant plus DOIVENT utiliser la précision étendue et DOIVENT tenir compte de la dérive (§9.3). L'annexe est honnête sur ce compromis.

11.8 « Pourquoi la Lune n'a-t-elle pas sa propre époque ? »

§8.2 explique : le système Terre-Lune est un système ; une chronologie Lune parallèle créerait un surcoût de coordination sans bénéfice compensateur. Les calendriers des colons lunaires doivent s'aligner à la fois sur le jour lunaire (le cycle synodique) et sur le contrôle de mission basé sur Terre ; partager l'époque Terre supporte les deux. Une future RFC PEUT revisiter cela ; l'époque partagée tient jusqu'alors.

12. Implémentations de référence

12.1 Python (existant, v0.7)

code/ats_multi_planetary.py implémente :

L'implémentation passe test-vectors-multi-planetary-mars.json et -moon.json bit-à-bit. Le singleton Terre est cohérent avec code/ats.py (pas de divergence).

12.2 JavaScript (planifié, v1.0)

Le port JS (docs/assets/js/ats_multi_planetary.js) est planifié pour le ship v1.0. Il reflètera la surface d'API Python :

import { EARTH, MARS, MOON, Body, BodyATSDateTime } from './ats_multi_planetary.js';

const ats = MARS.fromUtc(new Date('2026-06-13T12:00:00Z'));
console.log(ats.toCanonical()); // "T+ Δ_Mars 10.2.8.7.96477"

L'implémentation JS est une exigence v1.0 selon versioning.fr.md §7.2 (3).

12.3 Implémentations tierces

Une implémentation tierce Rust ou Go revendiquant la conformance v1.0 DOIT inclure l'annexe multi-planétaire (Terre + Mars + Lune au minimum). Selon versioning.fr.md §7.2 (3), au moins une implémentation tierce passant 100 % des vecteurs de conformance est une exigence de ship v1.0.

Références

Cette annexe ne fait aucune affirmation astronomique originale. Toutes les valeurs scientifiques sont sourcées depuis la littérature évaluée par les pairs ou des organismes de standards établis. Les choix doctrinaux (ancrages d'époque, synodique vs sidéral, époque Terre-Lune partagée) sont étiquetés comme décisions des éditeurs d'enregistrement et sont ouverts à RFC selon versioning.fr.md §6.

Source : multi-planetary.fr.md