| |
Alpha This system is experimental. Scores and classifications are early-stage research and may be unreliable. Methodology → |
|
Model Comparison
| Model | Editorial | Structural | Class | Conf | SETL | Theme | | @cf/meta/llama-4-scout-17b-16e-instruct lite | ND | ND | — | 0.87 | — | — | | @cf/meta/llama-4-scout-17b-16e-instruct lite | 0.00 | ND | Neutral | 1.00 | 0.00 | Technology Development | | Section | @cf/meta/llama-4-scout-17b-16e-instruct lite | @cf/meta/llama-4-scout-17b-16e-instruct lite | Delta | | Preamble | ND | ND | | Article 1 | ND | ND | | Article 2 | ND | ND | | Article 3 | ND | ND | | Article 4 | ND | ND | | Article 5 | ND | ND | | Article 6 | ND | ND | | Article 7 | ND | ND | | Article 8 | ND | ND | | Article 9 | ND | ND | | Article 10 | ND | ND | | Article 11 | ND | ND | | Article 12 | ND | ND | | Article 13 | ND | ND | | Article 14 | ND | ND | | Article 15 | ND | ND | | Article 16 | ND | ND | | Article 17 | ND | ND | | Article 18 | ND | ND | | Article 19 | ND | ND | | Article 20 | ND | ND | | Article 21 | ND | ND | | Article 22 | ND | ND | | Article 23 | ND | ND | | Article 24 | ND | ND | | Article 25 | ND | ND | | Article 26 | ND | ND | | Article 27 | ND | ND | | Article 28 | ND | ND | | Article 29 | ND | ND | | Article 30 | ND | ND | | Summary ~lite A GitHub repository for TLA PreCheck, a tool ensuring alignment between TLA+ specs and TypeScript code.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
| |
Longitudinal
84 HN snapshots · 2 evals | |
Audit Trail
5 entries | 2026-03-18 01:15 | eval_success | PSQ evaluated: g-PSQ=0.600 (3 dims) | - - | | 2026-03-18 01:15 |
eval
|
Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) | | | 2026-03-18 01:10 | eval_success | Lite evaluated: Neutral (0.00) | - - | | 2026-03-18 01:10 |
eval
|
Evaluated by llama-4-scout-wai: 0.00 (Neutral) | | | reasoning Technical GitHub repository for TLA PreCheck, a TypeScript DSL for TLA+ state machines, no explicit human rights discuss | | 2026-03-18 01:10 | rater_validation_warn | Lite validation warnings for model llama-4-scout-wai: 1W 1R | - - | | |
| |