M1: domain schemas, contracts pipeline, ledger and snapshot services
- packages/domain: zod schemas for the 07-scenario object set with a
schemaRegistry driving schema export, fixture generation, and Python
module naming; decimal-string/sha256/curve primitives enforce the
docs/11 §3.3 representation rules at the type layer
- contracts/: 12 JSON Schemas (draft 2020-12), 12 golden fixtures, 3
invalid fixtures crafted to fail on both sides (float money, bad
digest, missing concurrency version)
- skills-py: generated pydantic models (committed, never hand-edited),
regeneration script, mirror pytest using JSON-mode validation —
dual-side contract tests agree on all 15 fixtures
- packages/services: content-addressed immutable snapshot store
(memory + fs, rejects floats), LedgerService v1 with optimistic
concurrency and the P7 constraint cascade (monthly position bounds
day-ahead bids; no-anchor bids rejected), quality-gate stub
- cascade band shape is an OPEN-QUESTION A5 placeholder (pro-rata
daily share ±band) — see ledger.ts checkCascade
All green: tsc typecheck, 41 TS tests, 15 Python tests.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019u5SLNweVio6ozJX7yfxQr
🔮 View transcript: https://logs.lojong.info/s/e8u90k3t33w590r7b5y7yzqh
2026-09-01 21:50:22 -04:00
|
|
|
# generated by datamodel-codegen:
|
|
|
|
|
# filename: proposal.json
|
|
|
|
|
|
|
|
|
|
from __future__ import annotations
|
|
|
|
|
|
|
|
|
|
from enum import StrEnum
|
|
|
|
|
from typing import Literal
|
|
|
|
|
|
|
|
|
|
from pydantic import (
|
|
|
|
|
AwareDatetime,
|
|
|
|
|
BaseModel,
|
|
|
|
|
ConfigDict,
|
|
|
|
|
Field,
|
|
|
|
|
RootModel,
|
|
|
|
|
conint,
|
|
|
|
|
constr,
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Timescale(StrEnum):
|
|
|
|
|
ANNUAL = 'ANNUAL'
|
|
|
|
|
MONTHLY = 'MONTHLY'
|
|
|
|
|
DAY_AHEAD = 'DAY_AHEAD'
|
|
|
|
|
INTRADAY = 'INTRADAY'
|
|
|
|
|
REALTIME = 'REALTIME'
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Trigger(StrEnum):
|
|
|
|
|
MANUAL = 'MANUAL'
|
|
|
|
|
EVENT = 'EVENT'
|
|
|
|
|
SCHEDULED = 'SCHEDULED'
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Originator(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
agent: constr(min_length=1)
|
|
|
|
|
trigger: Trigger
|
|
|
|
|
task_id: constr(min_length=1)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class ToolCall(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
tool_call_id: constr(min_length=1)
|
|
|
|
|
tool: constr(min_length=1)
|
|
|
|
|
version: constr(min_length=1)
|
|
|
|
|
inputs_ref: constr(pattern=r'^[0-9a-f]{64}$')
|
|
|
|
|
outputs_ref: constr(pattern=r'^[0-9a-f]{64}$')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Lineage(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
tool_calls: list[ToolCall]
|
|
|
|
|
data_refs: list[constr(pattern=r'^[0-9a-f]{64}$')]
|
|
|
|
|
ledger_version: conint(ge=0, le=9007199254740991)
|
|
|
|
|
policy_pack_version: constr(min_length=1)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Status(StrEnum):
|
|
|
|
|
DRAFT = 'DRAFT'
|
|
|
|
|
RULE_CHECK = 'RULE_CHECK'
|
|
|
|
|
SIMULATION = 'SIMULATION'
|
|
|
|
|
ENVELOPE_CHECK = 'ENVELOPE_CHECK'
|
|
|
|
|
PENDING_HUMAN = 'PENDING_HUMAN'
|
|
|
|
|
AUTO_APPROVED = 'AUTO_APPROVED'
|
|
|
|
|
APPROVED = 'APPROVED'
|
|
|
|
|
FRESH_CHECK = 'FRESH_CHECK'
|
|
|
|
|
STALE = 'STALE'
|
|
|
|
|
AUTHORIZED = 'AUTHORIZED'
|
|
|
|
|
RELEASED = 'RELEASED'
|
|
|
|
|
EXECUTING = 'EXECUTING'
|
|
|
|
|
COMPLETED = 'COMPLETED'
|
|
|
|
|
ROLLED_BACK = 'ROLLED_BACK'
|
|
|
|
|
REJECTED = 'REJECTED'
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Value(RootModel[constr(pattern=r'^-?\d+(\.\d+)?$')]):
|
|
|
|
|
root: constr(pattern=r'^-?\d+(\.\d+)?$')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class PricesYuanPerMwh(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
interval_minutes: Literal[15]
|
|
|
|
|
date: constr(pattern=r'^\d{4}-\d{2}-\d{2}$')
|
|
|
|
|
values: list[Value] = Field(..., max_length=96, min_length=96)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class QuantitiesMwh(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
interval_minutes: Literal[15]
|
|
|
|
|
date: constr(pattern=r'^\d{4}-\d{2}-\d{2}$')
|
|
|
|
|
values: list[Value] = Field(..., max_length=96, min_length=96)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Payload(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
kind: Literal['BID']
|
|
|
|
|
market_date: constr(pattern=r'^\d{4}-\d{2}-\d{2}$')
|
|
|
|
|
prices_yuan_per_mwh: PricesYuanPerMwh
|
|
|
|
|
quantities_mwh: QuantitiesMwh
|
|
|
|
|
expected_revenue_yuan: constr(pattern=r'^-?\d+(\.\d+)?$')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Proposal1(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
id: constr(min_length=1)
|
|
|
|
|
timescale: Timescale
|
|
|
|
|
originator: Originator
|
|
|
|
|
lineage: Lineage
|
|
|
|
|
envelope_ref: constr(min_length=1) | None
|
|
|
|
|
digest: constr(pattern=r'^[0-9a-f]{64}$')
|
|
|
|
|
status: Status
|
|
|
|
|
created_at: AwareDatetime
|
|
|
|
|
type: Literal['BID']
|
|
|
|
|
payload: Payload
|
|
|
|
|
|
|
|
|
|
|
M4: resource agent, envelopes live, review loop, insight cards
- packages/domain: AwardNotice, DISPATCH_PLAN proposal payload, ExecutionReport,
MeteringRecord, potential-assessment and dispatch-optimization contracts,
ReviewFinding (+ typed writebacks), SemanticMemoryEntry,
EnvelopeChangeRequest, InsightCard — exported with fixtures on both sides.
- skills-py: potential-assessment (certified × rolling fulfilment, evidence
days) and dispatch-optimization (per-interval LP on HiGHS, shortfall
reported) skills + routes + tests.
- packages/services: dispatch rules in the policy pack (over-allocation,
award anchor, lineage integrity for allocations); PowerBalanceSimulator;
SimulationGateway (permit-only, idempotent, seeded execute → ExecutionReports);
envelope deviation-streak suspension + apply(); ReviewService (attribution,
reliability EWMA writeback, semantic memory, envelope recommendations as
change requests); dispatch assembler; skill client methods.
- packages/runtime: resource agent; award-decomposition, review and
envelope-review workflows; lifecycle selects simulator/gateway by proposal
type; trigger hooks for awards, execution reports, metering; decide()
resumes either lifecycle or envelope-review runs; insight cards API.
- Tests: docs/07 D-1 16:00 and D+1 end to end; reliability score 0.9 → 0.880
and the next assessment de-rates capacity; envelope suspension on a seeded
3-day streak; WIDEN request applied only by a human. 184 TS + 80 Python.
- docs/open-questions: B10 (reliability/potential parameters). README and
CLAUDE.md status → M4 done, M5 next.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01UoYoGYzHkFyv3ALenkRPhA
2026-09-02 19:31:12 -04:00
|
|
|
class Originator1(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
agent: constr(min_length=1)
|
|
|
|
|
trigger: Trigger
|
|
|
|
|
task_id: constr(min_length=1)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Lineage1(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
tool_calls: list[ToolCall]
|
|
|
|
|
data_refs: list[constr(pattern=r'^[0-9a-f]{64}$')]
|
|
|
|
|
ledger_version: conint(ge=0, le=9007199254740991)
|
|
|
|
|
policy_pack_version: constr(min_length=1)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class TotalTargetMw(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
interval_minutes: Literal[15]
|
|
|
|
|
date: constr(pattern=r'^\d{4}-\d{2}-\d{2}$')
|
|
|
|
|
values: list[Value] = Field(..., max_length=96, min_length=96)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class TargetMw(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
interval_minutes: Literal[15]
|
|
|
|
|
date: constr(pattern=r'^\d{4}-\d{2}-\d{2}$')
|
|
|
|
|
values: list[Value] = Field(..., max_length=96, min_length=96)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Allocation(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
unit_id: constr(min_length=1)
|
|
|
|
|
target_mw: TargetMw
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Payload1(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
kind: Literal['DISPATCH_PLAN']
|
|
|
|
|
market_date: constr(pattern=r'^\d{4}-\d{2}-\d{2}$')
|
|
|
|
|
award_ref: constr(min_length=1)
|
|
|
|
|
total_target_mw: TotalTargetMw
|
|
|
|
|
allocations: list[Allocation] = Field(..., min_length=1)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Proposal2(BaseModel):
|
|
|
|
|
model_config = ConfigDict(
|
|
|
|
|
extra='forbid',
|
|
|
|
|
)
|
|
|
|
|
id: constr(min_length=1)
|
|
|
|
|
timescale: Timescale
|
|
|
|
|
originator: Originator1
|
|
|
|
|
lineage: Lineage1
|
|
|
|
|
envelope_ref: constr(min_length=1) | None
|
|
|
|
|
digest: constr(pattern=r'^[0-9a-f]{64}$')
|
|
|
|
|
status: Status
|
|
|
|
|
created_at: AwareDatetime
|
|
|
|
|
type: Literal['DISPATCH_PLAN']
|
|
|
|
|
payload: Payload1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Proposal(RootModel[Proposal1 | Proposal2]):
|
|
|
|
|
root: Proposal1 | Proposal2 = Field(..., title='Proposal')
|