Skip to content

P8b: scoring, metrics and the dev report (P8 gate, M5) - #31

Merged
Ayushxsingh100 merged 8 commits into
mainfrom
feature/p8b
Nov 13, 2026
Merged

Ayushxsingh100 merged 8 commits into
mainfrom
feature/p8b

Conversation

@Ayushxsingh100

Copy link
Copy Markdown
Owner

P8b — scoring, metrics and the dev report

Branch feature/p8b, created from origin/main at 2db255b.

Decisions

  • Decided (authors, 13 Nov 2026), "accepted as built after external review": C-200 to C-204 and C-207.
  • Proposed (P8b):
    • C-212, metric definitions metrics-draft-1;
    • C-213, the identity truth table;
    • C-214, descriptive statistics only;
    • C-215, my readings while building.

What exists

  • experiments/scoring: the only code that reads TerraPreserve label fields. It checks the hash pins, refuses the test split, derives the truth of each transition, and holds the identity truth table written from D4_OPERATORS.md.
  • experiments/metrics: the versioned extractor. It produces MetricRecords (Doc 13 Appendix B) and TrialOutcomes (Doc 13 §31).
  • experiments/report: the ExperimentReport (Doc 13 §33) and its Markdown rendering. Command: python -m experiments.report extract|select|compare.
  • Blinding contract:
    • (a) no module outside experiments/scoring names a label field;
    • (b) no execution module imports scoring, metrics or report;
    • both are shown failing on a mutant.

Dev report

  • docs/P8_DEV_PILOT.md is generated from the stored records of run 2 (ec2b4fa8…); a test checks that it equals the rendering of docs/P8_DEV_PILOT.json.
  • Under C: no unsafe promotion, 0 of 98 regressions missed, no truth change outside the verified set.
  • These are dev numbers of a draft protocol, not findings.

Reproducibility

  • Extractor: a second run wrote byte-identical files.
  • Trial re-run: 20 scenarios × 4 conditions (80 trials) were re-run as a new experiment; 0 decision differences and 0 invariant-result differences against run 2.

Checks (Python 3.12.10)

  • dev.py test: 4461 tests OK, 6 skipped.
  • pytest: exit 0.
  • dev.py lint: clean.
  • Mutation checks: 12 of 12 metric mutants and 2 of 2 blinding mutants caught.
  • No new dependency.

Review verdict: (link to be added)

🤖 Generated with Claude Code

Ayushxsingh100 and others added 8 commits November 13, 2026 10:27
…; P8a gate status with the verdict's limits (C-28)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…-draft-1, TrialOutcome, the ExperimentReport and its Markdown, the identity truth table; blinding contract (a) and (b) (Doc 13 §25-§35, App. B; C-212 to C-214)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ng gave -0.000 for k = 0) (C-214)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ev-harness-check-2), C-215, the P8b section and the P8 gate map in PHASE_GATES, BUILD_SEQUENCE (Doc 13 §33, §35, §49; Doc 15 §15.3, §25)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ghest version) and its registry; evidence names id, version and registry; the report tables every non-PASS required check and a guard flags invariant.unknown while the definition is held (C-216; Doc 08 §16; C-148)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…nts its fresh result in the UNKNOWN/UNSUPPORTED rates, the non-PASS table and the guard; the test builder records sources as DAIL does (Doc 13 §28; C-216)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… run 3 (p8b-dev-run-3) with the superseding note; PHASE_GATES (C-216, C-217)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Ayushxsingh100
Ayushxsingh100 merged commit 4f3d131 into main Nov 13, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant