CodeSampleX

Beispiel

verify minimalDays in pkg:npm/luxon@3.6.1

sha256:2bd07438494af84b8c73ef40499608b00568a862c4815fd6dbf76c16500c1e53

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS
Deklarierte Umgebung node 22 linux x64 node 22 javascript npm

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
node 22 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-19

Fall

HOW
Ziel
verify minimalDays in pkg:npm/luxon@3.6.1
Pakete
Symbole
  • minimalDays
  • Settings.defaultWeekSettings
  • Info.getMinimumDaysInFirstWeek
  • Info.getStartOfWeek
  • DateTime.localWeekNumber
  • DateTime.localWeekYear
  • DateTime.startOf
Umgebung
node 22
Erstellt
2026-08-18T13:18:24Z

Contract

  1. Info.getMinimumDaysInFirstWeek reports locale-specific minimal days thresholds (1 for en-US, 4 for en-GB).
  2. Settings.defaultWeekSettings configures minimalDays and validates that values are between 1 and 7.
  3. minimalDays determines week-year assignment at year boundaries independently of ISO week numbering.

Dateien

  • PROMPT.md
  • csx.json
  • package-lock.json
  • package.json
  • spec.json
  • test/contract.mjs

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym