Ralph6 - #30
Open
SeanCheatham wants to merge 33 commits into
Open
Conversation
…ches swallowed error paths, and fail idle leak and parked-fiber deadlock without a property.
…properties, and record Property.classify counts so authors see which regions the campaign hit.
…inds lost Queue races, and pin examples/bad-sched so corpus replay fails under PCT but passes on FIFO.
… forall claims live in guarded English, and drop Scuzz model twins.
…tent scopes so package and directory claims compose, and require qualified For targets.
…esponse and never-visible properties, latch them per session in the runtime, and fail the fuzz campaign when a response trigger never fires.
… traces, the compiler publishes a signal name table, and scuzz mine proposes candidate claims that a human accepts into intent files after a validation campaign, approves into the corpus, or dismisses.
…times-reaching prefixes before search.
… evidence, mutation kills, and directed falsification instead of observed frequency, and scope ML to an external assistant that consumes scuzz mine --json without touching deterministic generation, validation, or enforcement.
… directed falsification instead of observed frequency, and emit scuzz mine --json with sentence-bearing dismissals so an external assistant can consume the list without touching deterministic generation, validation, or enforcement.
…ds and implication oracles so concrete facts replay without a checked-in corpus and without growing fixture-diff suites.
…op: claims become pure Scuzz predicates over recorded timelines judged at quiesced terminal points, candidate synthesis moves into the campaign as a streaming fold from holds, forks, complaints, and mutant minimal pairs, scuzz mine becomes the judgment-queue interface, the English grammar is demoted to the renderable fragment's spec and round-trip oracle, and coverage is measured on reachability, breadth, and strength axes.
… delete scuzz mine, the SCUZZ_TRACE_DUMP pump trace, trace.campaign merging, and the build/signals.txt table, focus verification on the deterministic timeline claim kernel (quiesce terminal points, observation State, grammar sentences lowered to timeline predicates, universal oracles), and keep the deferred mining/judgment direction recorded only in vision.md.
…rite Timeline=>Bool session predicates and drive oracles in Scuzz instead of English/STE grammar, leftover intent files fail resolve, and the English surface stays deferred with mining rather than current work.
…n heap growth at quiesce, unpaired acquire/release, skipped finalizers on cancel, leftover parks at quiescence, and a silent live/verify dump mismatch, with examples/bad-split as the planted split. Rules stay mechanical with no author claims; coverage breadth is the next plans.md slice.
…, and [coverage].unclaimed_varied from fuzz for reached State fields no claim reads, so coverage breadth is visible without failing check or a green campaign. Coverage strength is the next plans.md slice.
…ot killed: bit-identical dumps are inert and unreported (`[mutate].inert`), changed claimed State fields are weak claims, and changed unclaimed fields are missing claims, so coverage strength is visible while classified survivors still fail the campaign. Stronger mutation operators (boundary where) are the next plans.md slice.
…ema v1, drop-where mutation
…e, compile-fail mutants count as killed
…r teardown; studio: handle Fs.write failure
…sticky last_hit edge idiom; studio fuzz in CI
…s/fail and coverage preservation
…relate; runtime v1 timeline loader and judge mode
… Timeline.signalStrHas; nightly deep campaign job
…eload - Remove CompileOutput.llvm_ir (written, never read) - Remove corpus_entry_name wrapper; tests call corpus_entry_name_fault - Demote sz_testrt_fault_mode to static; drop scuzz_rt.h decl - Simplify has_sim to OverlayKind::Sim match; drop dead bundle_id filter - Make PCT_D_MAX private; share resolve_out_dir helper - Honor --out-dir for reload.dylib/stamp/debug.dump/inject.script - plans.md: delete landed nightly-campaign slice; gaps.md: drop closed diary entries; fold swarm/minimize-corpus/nightly behavior into vision - Document examples/bad-response in vision.md and guide.md - README: scaffold defaults to headless, not desktop
CLI/compiler: - cmd_fuzz: private FuzzCtx/compile_fuzz_ctx/repro_fault/promote_to_corpus; fuzz_reset_run_files + fuzz_merge_campaign + fuzz_exec_any collapse 6 duplicated pre/post/dispatch blocks; toml_escape at summary sites - main.rs: runtime_kinds + set_executable + sorted_files_with_ext helpers; drop dead pngs collection, trailing continue guard, sample.txt re-inline - support.rs: runtime_dir_and_clang shared by compile_opts and package - compiler: merge sometimes/classify collectors into declared_text; drop kit_lambda_param_ty forwarder, lsp diag_path alias, is_error now used by cli; collect_check_sources shared by check/lsp/cli fmt; drop unused lib re-exports and over-pub fuzz internals Runtime/embedders: - Delete never-read Fiber.child_ok, Sched.current, SzTheme.disabled/radius - Delete unset env knobs SCUZZ_TESTRT_STDIN / SCUZZ_TESTRT_NET_REQUEST / SCUZZ_TESTRT_ENV (env_parse_spec) and SCUZZ_ALLOC_TRACE machinery - host_shell: drop never-fed event queue; poll_event is a stub - x11/macOS shells: drop dead SZ_INPUT_TEXT_EDIT queue arms - sk_capi.h: drop sk_gpu_available (internal sk_gpu.h decl suffices); fix FONT8 LSB-left comment; drop dead place_chan arm and HiDPI note
… kill the IDE. Parse and stringify share that error channel for overflow, unpaired surrogates, non-finite numbers, and nesting that is too deep.
Parse and stringify grow through one helper. Catalog no longer claims Json lives in examples/io.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.