Index of /symcc-report-codex/evidence/
../
current-eval-2026-07-30/ 31-Jul-2026 09:49 -
deep-review-six-rounds-2026-08-11/ 11-Aug-2026 08:55 -
f302-online-evp-2026-08-04/ 04-Aug-2026 04:49 -
f303-adaptive-evp-2026-08-04/ 04-Aug-2026 05:54 -
f304-cost-aware-evp-2026-08-04/ 04-Aug-2026 06:34 -
f305-replay-verified-evp-recovery-2026-08-04/ 04-Aug-2026 07:10 -
f306-interleaved-coverage-oracle-2026-08-05/ 05-Aug-2026 09:35 -
f307-input-abi-terminal-stratification-2026-08-06/ 06-Aug-2026 10:03 -
f320-global-work-ownership-2026-08-07/ 06-Aug-2026 20:48 -
f321-failure-atomic-frontier-2026-08-07/ 06-Aug-2026 21:32 -
f322-durable-result-replay-2026-08-07/ 06-Aug-2026 22:03 -
f323-directory-durability-2026-08-07/ 06-Aug-2026 22:37 -
f324-shard-heartbeat-group-commit-2026-08-07/ 07-Aug-2026 04:19 -
f325-failure-atomic-target-mutations-2026-08-07/ 07-Aug-2026 04:19 -
f326-crash-released-kernel-locks-2026-08-07/ 06-Aug-2026 23:58 -
f327-shared-filesystem-capability-contract-2026..> 07-Aug-2026 00:26 -
f328-path-specific-filesystem-contracts-2026-08-07 07-Aug-2026 01:05 -
f329-mpi-cross-host-lock-qualification-2026-08-07/ 07-Aug-2026 01:45 -
f330-runtime-lock-qualification-renewal-2026-08-07 07-Aug-2026 04:18 -
f331-deterministic-renewal-jitter-2026-08-07/ 07-Aug-2026 03:16 -
f332-renewal-configuration-consensus-2026-08-07/ 07-Aug-2026 04:18 -
f333-durable-renewal-configuration-manifest-202..> 07-Aug-2026 04:54 -
f334-durable-epoch-cleanup-2026-08-07/ 07-Aug-2026 05:28 -
f335-atomic-epoch-retirement-2026-08-07/ 07-Aug-2026 05:55 -
f336-kernel-noreplace-retirement-2026-08-07/ 07-Aug-2026 06:19 -
f337-resumable-budgeted-retired-gc-2026-08-07/ 07-Aug-2026 06:58 -
f338-streaming-retired-discovery-2026-08-07/ 07-Aug-2026 07:22 -
f339-streaming-nofollow-staging-2026-08-07/ 07-Aug-2026 07:52 -
f340-bounded-streaming-results-2026-08-10/ 10-Aug-2026 06:36 -
f341-stable-streaming-inputs-2026-08-10/ 10-Aug-2026 07:12 -
f342-public-provenance-intersection-2026-08-10/ 10-Aug-2026 07:35 -
f343-bounded-streaming-simulation-2026-08-10/ 10-Aug-2026 08:08 -
f344-bounded-hybrid-worker-results-2026-08-10/ 10-Aug-2026 08:44 -
f345-stable-hybrid-input-2026-08-10/ 10-Aug-2026 09:43 -
f346-descriptor-bound-cas-publication-2026-08-10/ 10-Aug-2026 10:01 -
f347-unified-live-state-cas-2026-08-10/ 10-Aug-2026 10:30 -
f348-budgeted-transitive-live-state-2026-08-10/ 10-Aug-2026 10:51 -
f349-descriptor-anchored-cas-namespace-2026-08-10/ 10-Aug-2026 11:18 -
f350-component-wise-anchored-cas-root-2026-08-10/ 10-Aug-2026 11:48 -
f351-identity-closed-cluster-lock-qualification..> 10-Aug-2026 12:23 -
f352-generation-bound-lock-proof-transcript-202..> 10-Aug-2026 12:53 -
f353-failure-atomic-renewal-admission-2026-08-10/ 10-Aug-2026 13:10 -
f354-rank-contained-renewal-completion-2026-08-10/ 10-Aug-2026 13:29 -
f355-total-cluster-lock-qualification-boundary-..> 10-Aug-2026 13:44 -
f356-collective-safe-qualification-observation-..> 10-Aug-2026 14:14 -
f357-renewal-heartbeat-clock-containment-2026-0..> 10-Aug-2026 14:32 -
f358-renewal-control-transport-containment-2026..> 10-Aug-2026 14:47 -
f359-hermetic-pytest-discovery-2026-08-10/ 10-Aug-2026 15:18 -
f360-capability-closed-python-ci-2026-08-10/ 10-Aug-2026 15:43 -
f361-canonical-pytest-inventory-2026-08-10/ 10-Aug-2026 16:02 -
f362-single-snapshot-pytest-manifest-2026-08-11/ 10-Aug-2026 16:27 -
f363-bounded-query-ir-admission-2026-08-11/ 10-Aug-2026 16:49 -
f364-stable-query-spool-admission-2026-08-11/ 10-Aug-2026 17:10 -
f365-outcome-separated-query-spool-2026-08-11/ 10-Aug-2026 17:28 -
f366-verified-query-artifact-cas-2026-08-11/ 10-Aug-2026 17:52 -
f367-sealed-query-artifact-fd-handoff-2026-08-11/ 10-Aug-2026 18:28 -
f368-persistent-solver-generation-reset-2026-08-11 10-Aug-2026 19:00 -
f369-protocol-complete-request-preflight-2026-0..> 11-Aug-2026 04:19 -
f370-deadline-bounded-request-commit-2026-08-11/ 11-Aug-2026 04:56 -
f371-generation-unique-request-admission-2026-0..> 11-Aug-2026 05:37 -
f372-bounded-cas-publication-revalidation-2026-..> 11-Aug-2026 05:37 -
f373-report-only-query-artifact-reachability-20..> 11-Aug-2026 06:09 -
f377-declarative-pure-external-2026-08-12/ 12-Aug-2026 10:40 -
f378-exception-catch-lifecycle-2026-08-12/ 12-Aug-2026 11:11 -
f379-trivial-scalar-catch-object-2026-08-12/ 12-Aug-2026 11:35 -
f380-bounded-exception-object-arena-2026-08-12/ 12-Aug-2026 12:32 -
f381-pre-io-persistent-cancellation-2026-08-12/ 12-Aug-2026 12:53 -
f382-constant-gep-exception-fields-2026-08-12/ 12-Aug-2026 15:56 -
f383-multicell-alias-graph-2026-08-12/ 13-Aug-2026 01:34 -
f384-shared-phi-edge-discriminator-2026-08-13/ 13-Aug-2026 02:05 -
f385-byte-lane-writer-graph-2026-08-13/ 13-Aug-2026 02:52 -
f386-byte-lane-phi-writer-graph-2026-08-13/ 13-Aug-2026 03:29 -
f387-cyclic-byte-lane-writer-graph-2026-08-13/ 13-Aug-2026 03:54 -
f388-conditional-cyclic-byte-lane-writer-graph-..> 13-Aug-2026 04:19 -
f389-multiarm-cyclic-byte-lane-writer-graph-202..> 13-Aug-2026 04:41 -
f390-recursive-cyclic-byte-lane-writer-graph-20..> 13-Aug-2026 07:11 -
f391-persistent-live-state-frontier-2026-08-13/ 13-Aug-2026 07:53 -
f392-interpreter-condpor-2026-08-13/ 13-Aug-2026 08:30 -
f393-ucsan-recoverable-object-context-2026-08-13/ 13-Aug-2026 09:07 -
f394-ucsan-explicit-object-checkers-2026-08-13/ 13-Aug-2026 10:30 -
f395-ucsan-byte-initialization-ubi-2026-08-13/ 13-Aug-2026 11:27 -
f396-native-parameter-provider-2026-08-13/ 13-Aug-2026 15:02 -
f397-parasuit-value-space-2026-08-13/ 13-Aug-2026 16:01 -
f398-parasuit-parameter-selection-2026-08-13/ 13-Aug-2026 16:44 -
f399-cottontail-alpha-constraint-selection-2026..> 13-Aug-2026 17:24 -
f400-persistent-multi-objective-live-state-2026..> 14-Aug-2026 03:10 -
f401-persistent-empc-live-path-cover-2026-08-14/ 14-Aug-2026 04:26 -
f402-compatible-branch-coverage-2026-08-14/ 14-Aug-2026 05:15 -
f403-concrete-constraint-guided-scheduling-2026..> 15-Aug-2026 13:13 -
f404-topseed-campaign-selection-2026-08-15/ 15-Aug-2026 14:19 -
f405-certified-heap-lifetime-union-2026-08-15/ 15-Aug-2026 15:20 -
f406-collective-heap-union-initialization-2026-..> 15-Aug-2026 15:56 -
f407-guard-correlated-heap-union-initialization..> 16-Aug-2026 04:32 -
f408-memoryssa-aa-heap-initialization-2026-08-16/ 16-Aug-2026 06:05 -
f409-interprocedural-heap-effect-summary-2026-0..> 16-Aug-2026 07:34 -
f410-symbolic-length-byte-lane-cover-2026-08-16/ 16-Aug-2026 08:38 -
f411-loop-memoryphi-byte-lane-induction-2026-08-16 16-Aug-2026 10:03 -
f412-strided-loop-memoryphi-residue-cover-2026-..> 16-Aug-2026 10:57 -
f413-conditional-loop-memoryphi-guard-carry-202..> 16-Aug-2026 11:54 -
f414-multilatch-memoryphi-fixed-point-2026-08-16/ 16-Aug-2026 12:59 -
f415-ordered-multilatch-writer-transfer-2026-08-16 16-Aug-2026 13:50 -
f416-nested-loop-memoryphi-summary-2026-08-16/ 16-Aug-2026 14:45 -
f417-nested-loop-memoryphi-value-summary-2026-0..> 16-Aug-2026 15:41 -
f418-nested-loop-memoryphi-two-dimensional-affi..> 16-Aug-2026 16:54 -
f419-nested-loop-memoryphi-affine-symbolic-valu..> 16-Aug-2026 18:00 -
f420-nested-loop-memoryphi-piecewise-affine-val..> 16-Aug-2026 19:04 -
f421-nested-loop-memoryphi-decision-dag-value-2..> 17-Aug-2026 02:29 -
f422-executable-nested-loop-memory-summary-tran..> 17-Aug-2026 03:36 -
f423-executable-agolic-bse-runner-2026-08-17/ 17-Aug-2026 04:40 -
f424-selective-concolic-relation-graph-mdp-2026..> 17-Aug-2026 05:46 -
f425-native-condpor-c11-atomic-reexecution-2026..> 17-Aug-2026 07:16 -
f426-cross-worker-incremental-qfbv-context-2026..> 17-Aug-2026 08:12 -
f427-qfbv-proof-receipts-2026-08-17/ 17-Aug-2026 09:43 -
f428-qfbv-verified-lemma-exchange-2026-08-17/ 17-Aug-2026 11:04 -
f429-qfbv-artifact-lifecycle-2026-08-17/ 17-Aug-2026 12:30 -
f430-qfbv-native-state-fork-2026-08-17/ 17-Aug-2026 21:01 -
f431-qfbv-substitution-core-2026-08-17/ 17-Aug-2026 21:01 -
f432-qfbv-incremental-sat-2026-08-17/ 17-Aug-2026 21:01 -
f433-realtime-proof-stream-2026-08-18/ 17-Aug-2026 21:01 -
f434-multirank-proof-evaluation-2026-08-18/ 17-Aug-2026 21:01 -
f435-adaptive-proof-admission-2026-08-18/ 17-Aug-2026 21:01 -
f436-native-clause-activity-2026-08-18/ 17-Aug-2026 22:45 -
f437-utility-pairing-2026-08-18/ 18-Aug-2026 00:10 -
f438-malleable-workers-2026-08-18/ 18-Aug-2026 01:28 -
f439-proof-wire-2026-08-18/ 18-Aug-2026 02:52 -
f440-palrup-global-2026-08-18/ 18-Aug-2026 03:55 -
f441-ulfm-recovery-2026-08-19/ 19-Aug-2026 03:13 -
f448-proof-prefix-certified-partition-2026-08-25/ 25-Aug-2026 12:41 -
f449-proof-aware-partition-execution-2026-08-25/ 25-Aug-2026 14:17 -
f452-native-clause-compression-2026-08-26/ 25-Aug-2026 17:08 -
lava_m_current_2026_07_30/ 30-Jul-2026 06:47 -
README.md 25-Aug-2026 15:07 1366
SHA256SUMS.txt 25-Aug-2026 15:20 818
broad-tests.log 25-Aug-2026 14:57 142
crosshost-oracle.json 25-Aug-2026 16:02 2456
crosshost.stderr.log 25-Aug-2026 16:02 0
crosshost.stdout.log 25-Aug-2026 16:02 0
crosshost.time.txt 25-Aug-2026 16:02 14
environment.txt 25-Aug-2026 15:07 310
focused-tests.log 25-Aug-2026 14:57 98
full-python-gate.json 25-Aug-2026 15:11 2634
img_d2_pcguard.png 30-Jul-2026 08:39 310K
img_fuzzer_stats.png 30-Jul-2026 08:39 378K
img_gdb.png 30-Jul-2026 08:39 273K
img_ir.png 30-Jul-2026 08:39 274K
img_process.png 30-Jul-2026 08:39 254K
img_report.png 30-Jul-2026 08:39 407K
img_showmap.png 30-Jul-2026 08:39 142K
oracle.json 25-Aug-2026 14:56 5520
oracle.stderr.log 25-Aug-2026 15:52 0
oracle.stdout.json 25-Aug-2026 14:56 3960
oracle.stdout.log 25-Aug-2026 15:52 0
oracle.time.txt 25-Aug-2026 14:56 56
review.txt 25-Aug-2026 15:13 2580
static-checks.txt 25-Aug-2026 15:20 603