clay-borg/specs
tegwick 42180fbc57
Some checks failed
ci / check (push) Failing after 3s
T07: InnerLoop v1.1 — the instrument must emit its own target
Answers the question the workplan posed: did v1.0's "every metric names
its instrument" rule stop a metric being written without a working
instrument? No. AC-1 named `cb-cost --pin` before that tool existed and
set a hand-computed target of $92.87; the tool returned $93.32. The rule
was satisfied completely and the metric was still wrong.

v1.1 adds:
  - the instrument must exist and the target must come out of it;
    targets are provisional until the tool emits them
  - a number inherited from earlier work is re-derived before use as a
    target, or cited as unverified
  - every reporting tool exposes --self-test, run before the number
  - cost is in the definition of done; M-D2-CST may not be uncomputable

The cost of CB-WP-0001 was stated four times before it was right --
$248.46, $92.21, $92.87, $93.32 -- and each correction came from a
different mechanism: re-derivation, adversarial review, and the positive
control. None found more than one. That is the case for keeping all
three.

CB-WP-0003 T10 predicted the next error would be harness-does-nothing.
It was not, twice. Trusted arithmetic over real data would pass a
positive control; and a property verified on 206/206 groups of the main
transcript is false in the 8-response subagent tree that neither the
survey nor the reviewer examined separately. Review structurally cannot
catch the second -- re-deriving on the same sample reproduces the same
blind spot.

Workplan status: done.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-07-31 08:53:52 +02:00
..
ArchitectureBlueprint.md Add specs/ArchitectureBlueprint.md reference architecture 2026-07-31 00:02:35 +02:00
CostAccounting.md T04: tools/cb-cost.py — and its positive control fires on first contact 2026-07-31 08:50:04 +02:00
GameKernel.md AM-4: gate scenario YAML, retarget on audited source, re-measure 2026-07-31 03:35:41 +02:00
GroundRules.md T05: GROUND rules spec derived from GROUND-DARVO-CORE-0.1 (numbered rules, 10 flagged underdeterminations) 2026-07-31 01:33:54 +02:00
InnerLoop.md T07: InnerLoop v1.1 — the instrument must emit its own target 2026-07-31 08:53:52 +02:00
MetricsAndScenarios.md T03: specs/CostAccounting.md — 15 contracts, 8 metrics, each with a command 2026-07-31 08:46:12 +02:00