Clean source commit 22d406fd9ea92315ef2a4f6b5703eec74e710d47. Module csl.geometry.approximation.check_inner_state_plan v1; provider app01.literal-provider v1. Registered inner state-plan check and original-problem trajectory verification on three literal scalar fixtures.
Binary64 supplied examples only; value 3 is conditional on original-problem verification. No validated inclusion, optimality, reachable-set completeness, comparator, speedup, or established performance limiter.
Scenario SHA-256 259fbad5e71dac61d8d944d8cfcbfb975916c1e933b0d4424b27f61c201f18fb. Literal input SHA-256:
a3dd05d50b9cede73e1ae6f12b79720c506cdabb71227959ada8174b9acc315309115df78071e05645f445e0280ffb9412a314eb2718a5572b8aa3d691f969eee7285cedab0526bfb04e3f291b3ef204465be006e27b8983bc4398c0980be735Seven measured batches of 40000 calls per fixture after seven warmup batches. Each interval includes the registered public check, literal result checks, report assignment and consumption. Problem and fixture construction are outside. Values are batch elapsed time divided by calls. No comparator or speedup is claimed; source-level limiter is unestablished.
| Fixture | Trials | Checked calls | Failures | Median ns/call | Min ns/call | Max ns/call |
|---|---|---|---|---|---|---|
| valid_plan | 7 | 280000 | 0 | 4731.52 | 4714.86 | 4854.22 |
| invalid_plan | 7 | 280000 | 0 | 4766.47 | 4710.03 | 4908.85 |
| empty_inner | 7 | 280000 | 0 | 3190.47 | 3141.30 | 3360.20 |
| Fixture | Termination | Approximation | Basis | Membership | Trajectory termination | Bindings | Feasibility | Objective | Optimality | Completeness | Validated | Original objective | Numerical achievable value |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| valid_plan | completed | enclosed | h_point_containment | numerical_pass | completed | numerical_pass | numerical_pass | numerical_pass | unsupported | unsupported | unsupported | 3 | 3 |
| invalid_plan | completed | enclosed | h_point_containment | numerical_pass | completed | numerical_pass | violation | numerical_pass | unsupported | unsupported | unsupported | 3 | None |
| empty_inner | completed | enclosed | empty_subset | violation | None | not_checked | not_checked | not_checked | not_checked | not_checked | not_checked | None | None |
| Fixture | Field | Violation | Scale | Tolerance | Satisfied |
|---|---|---|---|---|---|
| valid_plan | initial[0] | 0 | 2 | 3.0000000000000004e-08 | true |
| valid_plan | controls[0].singleton[0] | 0 | 3 | 4.0000000000000001e-08 | true |
| valid_plan | dynamics[0][0] | 0 | 3 | 4.0000000000000001e-08 | true |
| valid_plan | objective | 0 | 3 | 4.0000000000000001e-08 | true |
| invalid_plan | initial[0] | 0 | 2 | 3.0000000000000004e-08 | true |
| invalid_plan | controls[0].singleton[0] | 2 | 5 | 5.9999999999999995e-08 | false |
| invalid_plan | dynamics[0][0] | 2 | 5 | 5.9999999999999995e-08 | false |
| invalid_plan | objective | 0 | 3 | 4.0000000000000001e-08 | true |
The valid witness has original terminal objective 3. The altered witness violates original feasibility and yields no achievable value. The zero-vertex V inner set fails membership before trajectory verification. All inclusion observations use supplied binary64 data.
Hardware, compiler, build graph, commands, raw events and separate process profile are retained. The separate profile does not establish a source-level limiter. Setup, rendering, end-to-end use and internal phase counters were not measured.