# Protocol amendment v1.7: pre-outcome provider substitution

Issued on 2026-08-09 before any live model-arm generation, API response, or
scientific outcome was produced. Only zero-network mock engineering records
exist under the superseded v1.6 study identifier. They are retained as
historical artifacts and cannot enter the v1.7 analysis.

## Reason and scope

The participant reported that the previously frozen Moonshot/Kimi allocation
was no longer available and supplied a CNY 68 balance on the ModelPlayground
(AGICamp/基元律动) model marketplace. The six Kimi cells are therefore replaced
one-for-one by a gateway-served model condition. DeepSeek and every other
condition, task, seed, baseline, endpoint-independent metric, stopping rule,
and analysis rule remain unchanged.

This is a resource-availability correction made without seeing any model-arm
outcome. It is not an outcome-driven model substitution.

## Replacement condition

- Provider ID in code: `agicamp_glm`.
- Requested model ID: `glm-5.2`.
- OpenAI-compatible base URL: `https://model.agicamp.com/v1`.
- Identity statement: **unverified gateway model ID**. Neither returned model
  strings nor marketplace labels are treated as proof of official GLM weights.
- Before the first paid generation, `GET /v1/models` must show the exact
  `glm-5.2` identifier for the supplied key. Absence is a stop condition, not
  permission to select another model.
- The endpoint must receive the documented custom `User-Agent` and `Referer`
  headers. Credentials are entered interactively and never written to source,
  logs, screenshots, or the manuscript.

## Frozen limits

- Six replacement episodes, exactly where the six Kimi episodes appeared.
- Replacement-condition cap: 300,000 combined agent tokens.
- Operational cash ceiling: CNY 20 for this condition, measured from the
  platform control-panel balance/call ledger. The CNY 68 account balance is
  available capacity, not an authorized spending target.
- DeepSeek remains the official-channel `deepseek-v4-flash` condition with its
  existing 300,000-token cap and CNY 10 operational ceiling.
- The full model arm remains capped at 36 episodes and 2.2 million tokens.

Because the marketplace documentation states that prices and availability may
change and the API does not expose a stable price table, the runner enforces
the token and episode limits mechanically. The operator verifies the CNY
balance difference after the staged compatibility episodes and before the
remaining cells.

## Version isolation

The revised study identifier is `side-effect-realism-36-v2` and the protocol
version is `1.7`. Its schedule, live event log, and mock event log use new
versioned files. The v1.6 schedule and partial mock logs are retained unchanged
and excluded by identifier from all v1.7 validation and analysis.
