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
|
|
|
{
|
|
|
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
|
|
|
"oneOf": [
|
|
|
|
|
{
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"timescale": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"enum": [
|
|
|
|
|
"ANNUAL",
|
|
|
|
|
"MONTHLY",
|
|
|
|
|
"DAY_AHEAD",
|
|
|
|
|
"INTRADAY",
|
|
|
|
|
"REALTIME"
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"originator": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"agent": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"trigger": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"enum": [
|
|
|
|
|
"MANUAL",
|
|
|
|
|
"EVENT",
|
|
|
|
|
"SCHEDULED"
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"task_id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"agent",
|
|
|
|
|
"trigger",
|
|
|
|
|
"task_id"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"lineage": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"tool_calls": {
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"tool_call_id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"tool": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"version": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"inputs_ref": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
},
|
|
|
|
|
"outputs_ref": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"tool_call_id",
|
|
|
|
|
"tool",
|
|
|
|
|
"version",
|
|
|
|
|
"inputs_ref",
|
|
|
|
|
"outputs_ref"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"data_refs": {
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"ledger_version": {
|
|
|
|
|
"type": "integer",
|
|
|
|
|
"minimum": 0,
|
|
|
|
|
"maximum": 9007199254740991
|
|
|
|
|
},
|
|
|
|
|
"policy_pack_version": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"tool_calls",
|
|
|
|
|
"data_refs",
|
|
|
|
|
"ledger_version",
|
|
|
|
|
"policy_pack_version"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"envelope_ref": {
|
|
|
|
|
"anyOf": [
|
|
|
|
|
{
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "null"
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"digest": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
},
|
|
|
|
|
"status": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"enum": [
|
|
|
|
|
"DRAFT",
|
|
|
|
|
"RULE_CHECK",
|
|
|
|
|
"SIMULATION",
|
|
|
|
|
"ENVELOPE_CHECK",
|
|
|
|
|
"PENDING_HUMAN",
|
|
|
|
|
"AUTO_APPROVED",
|
|
|
|
|
"APPROVED",
|
|
|
|
|
"FRESH_CHECK",
|
|
|
|
|
"STALE",
|
|
|
|
|
"AUTHORIZED",
|
|
|
|
|
"RELEASED",
|
|
|
|
|
"EXECUTING",
|
|
|
|
|
"COMPLETED",
|
|
|
|
|
"ROLLED_BACK",
|
|
|
|
|
"REJECTED"
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"created_at": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"format": "date-time",
|
|
|
|
|
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z))$"
|
|
|
|
|
},
|
|
|
|
|
"type": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"const": "BID"
|
|
|
|
|
},
|
|
|
|
|
"payload": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"kind": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"const": "BID"
|
|
|
|
|
},
|
|
|
|
|
"market_date": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^\\d{4}-\\d{2}-\\d{2}$"
|
|
|
|
|
},
|
|
|
|
|
"prices_yuan_per_mwh": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"interval_minutes": {
|
|
|
|
|
"type": "number",
|
|
|
|
|
"const": 15
|
|
|
|
|
},
|
|
|
|
|
"date": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^\\d{4}-\\d{2}-\\d{2}$"
|
|
|
|
|
},
|
|
|
|
|
"values": {
|
|
|
|
|
"minItems": 96,
|
|
|
|
|
"maxItems": 96,
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^-?\\d+(\\.\\d+)?$"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"interval_minutes",
|
|
|
|
|
"date",
|
|
|
|
|
"values"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"quantities_mwh": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"interval_minutes": {
|
|
|
|
|
"type": "number",
|
|
|
|
|
"const": 15
|
|
|
|
|
},
|
|
|
|
|
"date": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^\\d{4}-\\d{2}-\\d{2}$"
|
|
|
|
|
},
|
|
|
|
|
"values": {
|
|
|
|
|
"minItems": 96,
|
|
|
|
|
"maxItems": 96,
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^-?\\d+(\\.\\d+)?$"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"interval_minutes",
|
|
|
|
|
"date",
|
|
|
|
|
"values"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"expected_revenue_yuan": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^-?\\d+(\\.\\d+)?$"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"kind",
|
|
|
|
|
"market_date",
|
|
|
|
|
"prices_yuan_per_mwh",
|
|
|
|
|
"quantities_mwh",
|
|
|
|
|
"expected_revenue_yuan"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"id",
|
|
|
|
|
"timescale",
|
|
|
|
|
"originator",
|
|
|
|
|
"lineage",
|
|
|
|
|
"envelope_ref",
|
|
|
|
|
"digest",
|
|
|
|
|
"status",
|
|
|
|
|
"created_at",
|
|
|
|
|
"type",
|
|
|
|
|
"payload"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
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
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"timescale": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"enum": [
|
|
|
|
|
"ANNUAL",
|
|
|
|
|
"MONTHLY",
|
|
|
|
|
"DAY_AHEAD",
|
|
|
|
|
"INTRADAY",
|
|
|
|
|
"REALTIME"
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"originator": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"agent": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"trigger": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"enum": [
|
|
|
|
|
"MANUAL",
|
|
|
|
|
"EVENT",
|
|
|
|
|
"SCHEDULED"
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"task_id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"agent",
|
|
|
|
|
"trigger",
|
|
|
|
|
"task_id"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"lineage": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"tool_calls": {
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"tool_call_id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"tool": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"version": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"inputs_ref": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
},
|
|
|
|
|
"outputs_ref": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"tool_call_id",
|
|
|
|
|
"tool",
|
|
|
|
|
"version",
|
|
|
|
|
"inputs_ref",
|
|
|
|
|
"outputs_ref"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"data_refs": {
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"ledger_version": {
|
|
|
|
|
"type": "integer",
|
|
|
|
|
"minimum": 0,
|
|
|
|
|
"maximum": 9007199254740991
|
|
|
|
|
},
|
|
|
|
|
"policy_pack_version": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"tool_calls",
|
|
|
|
|
"data_refs",
|
|
|
|
|
"ledger_version",
|
|
|
|
|
"policy_pack_version"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"envelope_ref": {
|
|
|
|
|
"anyOf": [
|
|
|
|
|
{
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "null"
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"digest": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
|
|
|
},
|
|
|
|
|
"status": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"enum": [
|
|
|
|
|
"DRAFT",
|
|
|
|
|
"RULE_CHECK",
|
|
|
|
|
"SIMULATION",
|
|
|
|
|
"ENVELOPE_CHECK",
|
|
|
|
|
"PENDING_HUMAN",
|
|
|
|
|
"AUTO_APPROVED",
|
|
|
|
|
"APPROVED",
|
|
|
|
|
"FRESH_CHECK",
|
|
|
|
|
"STALE",
|
|
|
|
|
"AUTHORIZED",
|
|
|
|
|
"RELEASED",
|
|
|
|
|
"EXECUTING",
|
|
|
|
|
"COMPLETED",
|
|
|
|
|
"ROLLED_BACK",
|
|
|
|
|
"REJECTED"
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"created_at": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"format": "date-time",
|
|
|
|
|
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z))$"
|
|
|
|
|
},
|
|
|
|
|
"type": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"const": "DISPATCH_PLAN"
|
|
|
|
|
},
|
|
|
|
|
"payload": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"kind": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"const": "DISPATCH_PLAN"
|
|
|
|
|
},
|
|
|
|
|
"market_date": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^\\d{4}-\\d{2}-\\d{2}$"
|
|
|
|
|
},
|
|
|
|
|
"award_ref": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"total_target_mw": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"interval_minutes": {
|
|
|
|
|
"type": "number",
|
|
|
|
|
"const": 15
|
|
|
|
|
},
|
|
|
|
|
"date": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^\\d{4}-\\d{2}-\\d{2}$"
|
|
|
|
|
},
|
|
|
|
|
"values": {
|
|
|
|
|
"minItems": 96,
|
|
|
|
|
"maxItems": 96,
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^-?\\d+(\\.\\d+)?$"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"interval_minutes",
|
|
|
|
|
"date",
|
|
|
|
|
"values"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
},
|
|
|
|
|
"allocations": {
|
|
|
|
|
"minItems": 1,
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"unit_id": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"minLength": 1
|
|
|
|
|
},
|
|
|
|
|
"target_mw": {
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"interval_minutes": {
|
|
|
|
|
"type": "number",
|
|
|
|
|
"const": 15
|
|
|
|
|
},
|
|
|
|
|
"date": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^\\d{4}-\\d{2}-\\d{2}$"
|
|
|
|
|
},
|
|
|
|
|
"values": {
|
|
|
|
|
"minItems": 96,
|
|
|
|
|
"maxItems": 96,
|
|
|
|
|
"type": "array",
|
|
|
|
|
"items": {
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^-?\\d+(\\.\\d+)?$"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"interval_minutes",
|
|
|
|
|
"date",
|
|
|
|
|
"values"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"unit_id",
|
|
|
|
|
"target_mw"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"kind",
|
|
|
|
|
"market_date",
|
|
|
|
|
"award_ref",
|
|
|
|
|
"total_target_mw",
|
|
|
|
|
"allocations"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"required": [
|
|
|
|
|
"id",
|
|
|
|
|
"timescale",
|
|
|
|
|
"originator",
|
|
|
|
|
"lineage",
|
|
|
|
|
"envelope_ref",
|
|
|
|
|
"digest",
|
|
|
|
|
"status",
|
|
|
|
|
"created_at",
|
|
|
|
|
"type",
|
|
|
|
|
"payload"
|
|
|
|
|
],
|
|
|
|
|
"additionalProperties": false
|
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
|
|
|
}
|
|
|
|
|
],
|
|
|
|
|
"$id": "https://vpp-ai-platform/contracts/proposal.json",
|
|
|
|
|
"title": "Proposal"
|
|
|
|
|
}
|