Deterministic run detail
Release candidate 2026.08
Compare the frozen contract with observed outcomes, then trace priority findings into evidence review.
Action requiredRule-based checks · no AI
- ✓01Freeze contract
- ✓02Execute Mock
- ✓03Compare semantics
- ✓04Seal evidence
Run summary
Frozen portfolio run
run_portfolio_mock_v1
Reproducibility manifest
Exact inputs and policies
- Fixture set
- 1.0.0
- Adapter
- mock-adapter-1.0.0
- Contract
- ksef-2.6.0-bootstrap-unverified
- Invoice schema
- FA(3)-shape-unverified
- Assertion engine
- assertion-engine-1.0.0
- Diff policy
- semantic-diff-1.0.0
SHA-256 · 3c651edeab0bdcd8a483b9de0964dea2bec4fa1af282d92b80ddd6bc63c48307
Result matrix
Expected versus observed
Expected rejection is a pass when the frozen contract matches.
| Scenario | Category | Expected | Observed | Differences | Results |
|---|---|---|---|---|---|
| Domestic standard invoicev1 · scenario_domestic_standard | HAPPY PATH | Accepted | Accepted | 0 | Pass |
| Foreign-currency invoicev1 · scenario_foreign_currency | HAPPY PATH | Accepted | Accepted | 0 | Pass |
| Missing buyer identifierv1 · scenario_missing_buyer_expected_rejection | EXPECTED REJECTION | Rejected | Rejected | 0 | Pass |
| Invalid seller identifierv1 · scenario_invalid_seller_expected_rejection | EXPECTED REJECTION | Rejected | Rejected | 0 | Pass |
| Formatting-only identifier changev1 · scenario_formatting_noise | FORMATTING NOISE | Accepted | Accepted | 0 | Pass |
| Gross amount decimal shiftv1 · scenario_gross_amount_regression | MAPPING REGRESSION | Accepted | Rejected | 1 | Fail |
| Currency mapping regressionv1 · scenario_currency_regression | MAPPING REGRESSION | Accepted | Rejected | 1 | Fail |
| Payment terms shortenedv1 · scenario_payment_terms_regression | MAPPING REGRESSION | Accepted | Accepted | 1 | Fail |
| Permission deniedv1 · scenario_permission_denied | PERMISSION | Accepted | Rejected | 0 | Fail |
| Session interruptedv1 · scenario_session_interrupted | SESSION | Accepted | Unknown | 0 | Review required |
| Rate-limited pending resultv1 · scenario_rate_limit_pending | RATE LIMIT | Accepted | Pending | 0 | Warn |
| Unexpected contract responsev1 · scenario_contract_change_unknown | CONTRACT CHANGE | Accepted | Unknown | 0 | Review required |