open/portfolio-optimiser
1
0
Fork 0
Code Issues Releases 3 Activity

docs(invarianter): the runbook floor's value moves out of the code span [skip-docs]

Browse source 
The constant-sync gate is fail-closed on a name it cannot find, and it searches the package's top
level; `RUNBOOK_MIN_BODY` lives in `evals/b_gate.py`. Citing it as `NAME = value` therefore read as
a claim about a constant that does not exist. Same shape as the note at the top of this file about
the finding-99 row, and the same repair: the name in the span, the value in prose.

Caught by the suite, not by reading.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
Kjell Tore Guttormsen 2026-09-20 09:23:33 +02:00
commit c660bd2a82
Signed by: ktg
SSH key fingerprint: SHA256:JakMjO6FTBBzN0Bhfj9saOoEjaFxlSdYuZQQpM/lF9Q
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/invarianter.md
View file

@ -3474,7 +3474,9 @@
ikke ser et navn som blir til når koden kjører. ikke ser et navn som blir til når koden kjører.
**Rad 6: en overskrift er ikke en seksjon.** De fem kontrakt-navngitte overskriftene pluss «x» **Rad 6: en overskrift er ikke en seksjon.** De fem kontrakt-navngitte overskriftene pluss «x»
(125 tegn) ga `2 av 2 GRØNN`; seksjonsnavnet bindes nå til en OVERSKRIFTSLINJE og det som teller (125 tegn) ga `2 av 2 GRØNN`; seksjonsnavnet bindes nå til en OVERSKRIFTSLINJE og det som teller
er kroppen under den (`section_bodies`, `RUNBOOK_MIN_BODY = 80`). Gulvet er mot den tomme er kroppen under den (`section_bodies`, med `RUNBOOK_MIN_BODY` som gulv — 80 tegn, blanktegn
ikke talt; verdien står i prosa fordi konstant-synk-gaten er fail-closed på et navn den ikke
finner i pakkens toppnivå, og gaten bor i `evals/`). Gulvet er mot den tomme
overskriften, aldri et mål på om kjøreboka er SANN — det blir stående som operatørens, og raden overskriften, aldri et mål på om kjøreboka er SANN — det blir stående som operatørens, og raden
er fortsatt `IKKE MÅLT`. er fortsatt `IKKE MÅLT`.
**Grensen raden uttaler selv:** gaten leser at proben KJØRER døren og leser resultatet; den **Grensen raden uttaler selv:** gaten leser at proben KJØRER døren og leser resultatet; den