Причинні відношення векторних годинників
Порівняйте векторні годинники з максимум 64 іменованими лічильниками на мапу від нуля до 10^12.
def clock_relation(a, b):
for clock in (a, b):
if type(clock) is not dict or len(clock) > 64:
raise ValueError("clock.map")
if any(type(k) is not str or not 1 <= len(k) <= 32 or type(v) is not int or not 0 <= v <= 10**12 for k, v in clock.items()):
raise ValueError("clock.entry")
keys = a.keys() | b.keys()
less = any(a.get(k, 0) < b.get(k, 0) for k in keys)
more = any(a.get(k, 0) > b.get(k, 0) for k in keys)
return "concurrent" if less and more else "before" if less else "after" if more else "equal"
- Моделі
- Налаштуйте OpenAI-сумісний або Anthropic endpoint із базовою URL-адресою та API-ключем, якщо він потрібен. Перевірте з’єднання. Локальний сервер моделі має працювати; віддалені інструменти можуть окремо передавати дані.
- Проєкт
- Вважайте відсутні записи нулями та перевірте рівні, попередні, пізніші й паралельні події, відхиляючи логічні значення та хибні ключі без зміни мап.
- Перевірте перед застосуванням
- Порівняйте фактичну поведінку з очікуваним результатом. Якщо перевірка не проходить, з’ясуйте причину перед наступними змінами.
def clock_relation(a, b):
for clock in (a, b):
if type(clock) is not dict or len(clock) > 64:
raise ValueError("clock.map")
if any(type(k) is not str or not 1 <= len(k) <= 32 or type(v) is not int or not 0 <= v <= 10**12 for k, v in clock.items()):
raise ValueError("clock.entry")
keys = a.keys() | b.keys()
less = any(a.get(k, 0) < b.get(k, 0) for k in keys)
more = any(a.get(k, 0) > b.get(k, 0) for k in keys)
return "concurrent" if less and more else "before" if less else "after" if more else "equal"
Відрізняйте конкурентні історії від попередніх і наступних
Програма, що порівнює історії подій, має знати, коли наявні докази не встановлюють єдиного порядку. ClockMoraine — робоче середовище з ШІ для програмування у Windows, де можна дослідити це рішення у вашому проєкті. Надайте дві характерні історії та поведінку, яку має вибрати програма. Попросіть помічника перевірити код порівняння й гілку, що діє за його результатом, перш ніж просити виправлення.
Приклад векторного годинника — одне з можливих завдань. Можна перевірити подання однакових, попередніх, наступних і конкурентних історій, включно з домовленістю щодо відсутніх записів. Простежте ці результати до коду виклику: невизначене співвідношення не має непомітно ставати підтвердженим порядком. Обговоріть некоректний вхід окремо від допустимої конкурентності, щоб зміна зберігала потрібні програмі відмінності.
Модель ШІ без цензури можна вибрати, якщо її пропонує ваша підтримувана кінцева точка, сумісна з OpenAI, або Anthropic. Додайте облікові дані за потреби; місткість контексту, інструменти й обмеження залежать від моделі та сервера. Перевірте запропоновані зміни гілок і запустіть пари історій через програму. Окремо запущений локальний сервер моделі не робить зовнішні інструменти локальними й не надає розподіленого тестового середовища.
Запитання про порівняння історій
Що додати до звіту про помилку конкурентності?
Надайте дві історії, повернене співвідношення та дію програми. Окремо зазначте очікувані співвідношення й дію. Це допомагає визначити, чи помиляється логіка порівняння, чи код виклику неправильно обробляє правильний результат конкурентності.
Чи можна вважати конкурентний результат однаковими часовими позначками?
Не припускайте взаємозамінності цих значень. Поясніть, що має робити програма, коли історії неможливо впорядкувати за вибраним порівнянням. Явно перевірте цю гілку, а не дозволяйте їй потрапити до шляху рівності або типової обробки.
Навіщо визначати тлумачення відсутніх записів історії?
Відсутній запис може впливати на порівняння, навіть коли всі наявні значення коректні. Перевірте домовленість реалізації та узгодженість виробників і споживачів. Додайте неповні відображення до тестів, якщо контракт входу їх дозволяє.
Чи відтворює ClockMoraine розподілене розгортання?
Таке середовище не мається на увазі. Використовуйте робоче середовище для перевірки й розробки коду порівняння, а потім запускайте відповідні тести проєкту. Малі пари історій можуть перевірити поведінку гілок, а твердження про розгортання потребують доказів із фактичної системи та її конфігурації.
ClockMoraine · Оновлено 2026-10-25