PASS
Scan complete
observation_complete
All source files under sample were read and parsed; no source file beside them was read.
A
Independent verdicts
PASS
Rules followed
declared_rules
No declared-rule violation was found.
FAIL
Change as declared
expectation_fulfilled
2 of 9 regression checks failed.
PASS
Git order
git_predicate
Git predicates verified.
PASS
Publication order
host_order
Published before candidate submission.
Regression checks
| Measurement | Accepted → candidate | Status |
|---|---|---|
calls_unresolved | 0 → 1 | FAIL |
unresolved_ratio | 0/3 → 1/1 | FAIL |
violations | 0 → 0 | PASS |
cycle_edges | 0 → 0 | PASS |
private_crossings | 0 → 0 | PASS |
typing_positions | 0 → 0 | PASS |
coverage_failures | 0 → 0 | PASS |
untyped_private_accesses | 0 → 0 | PASS |
unknown_positions | 0 → 0 | PASS |
Publication order evidence
Status: PASS
Failures
regression check failed in calls_unresolved: 0->1regression check failed in unresolved_ratio: 0/3->1/1
Declared and observed changes
The check compared these observed changes with the published declaration.
| Dimension | Observed change | Before → after | Fingerprint |
|---|---|---|---|
unknowns | changed | 1 → 1 | 8ef830a60aba1c9fee50741b004956eafcfe09cf614f86c77ddf48971c36505b |
Diagnostics
None.