Commit Graph
66 Commits
Author SHA1 Message Date
forge 6d63cb1445 forge: make Q93 selftest_sweep verifier portable (--file resolve, fixes Q106 host-pin) 2026-10-28 06:06:19 +00:00
forge b639b17ff5 forge: DRY consolidate mutant-scan loops into shared _mutant_scanner.run_scan (~380 LOC -> 3 thin wrappers) 2026-10-28 03:39:11 +00:00
forge bc5f3e9e1c forge: verify Q93 selftest_sweep contract-grading + unified run_verdict refactor (44 cells, ALL GREEN) 2026-10-28 01:14:28 +00:00
forge f13b6c5733 forge: Q93 recurrence check + 2026-10-27 check-in 2026-10-27 22:35:02 +00:00
volt ed14f0ebc8 q100: the guard's test-file class is three shapes, not one -- TEST_NAME now reads _test_*.py and *_test.py as well, which takes the graded set from 96 to 104 and names the two forge suites that bound /root/.hermes/wizard-outputs/forge at _test_roundtrip.py:13 and _test_roundtrip_refactored.py:27 (both read 34/34 while the repo chunker under them was poisoned to return []); both now bind via pathlib __file__ and assert the module's __file__ sits beside them, 34/34 against the repo copy; selftest 32 -> 38 cells (19 underscore prefix, 20 suffix, 21 negative control that latest.py/attestation.py/protest.py stay advisory) and the baseline re-pinned 32 -> 38, regenerated with --write-baseline and diff-empty 2026-10-27 21:59:41 +00:00
forge 9878f1289b forge: Q93 contract-grading + unified run_verdict in selftest_sweep (44 cells, 0 fatal) 2026-10-27 14:49:45 +00:00
forge 21177596e1 forge: dump_seed probe refactor -- behavior-preserving, side-effect-free import 2026-10-27 11:48:46 +00:00
forge d56105a06c forge: verify r41 ops-pulse card refactor pixel-identical to original 2026-10-27 06:37:44 +00:00
volt 802a1aea33 forge: Q86 closure for the probe and dump_pending pairs -- both refactored modules resolve the seed from the tree (os.path.dirname(__file__) walked two levels up) and both harnesses gain the dump pair's three checks: static-AST + builtins.open-spy import-time-IO refusal, M6 non-vacuity, and a seed-portability assertion; measured 14/14 probe, 13/13 pending, 14/14 dump (python3 and -O), M6 killed in all three pairs 2026-10-27 05:22:25 +00:00
forge c304ca6020 forge: triage_dump refactor Q86 closure (14/14, byte-identical) 2026-10-27 03:49:48 +00:00
forge 2d774e4a71 forge: behavior-preserving triage_dump probe refactor (11/11, byte-identical) 2026-10-27 03:21:52 +00:00
forge 431bca1be9 forge: behavior-preserving refactor of triage_probe probe (dead sys import, main guard, extracted helpers, configurable path) 2026-10-27 01:05:21 +00:00
forge 79160e7b08 forge: DRY extraction of notification-filter predicate in LiveSnapshotStore (3 shared predicates, 8 tests) 2026-10-26 22:28:07 +00:00
forge ddba962b66 forge: probe_forge mutant scan - 11/11 mutants killed incl. no_main_guard escape 2026-10-26 18:26:48 +00:00
forge 3ab0086d5c forge: harden probe_forge verifier against no_main_guard/SystemExit mutant-escape; 12/12 checks 2026-10-26 11:37:23 +00:00
forge 8b11645948 forge: fix reconstruct unused overlap_tokens arg (del no-op idiom + verification) 2026-10-26 08:51:00 +00:00
forge 1a200aa65d forge: harden triage verifier against no_main_guard SystemExit escape 2026-10-26 06:39:32 +00:00
forge 496b3e006b forge: probe_forge refactor verification harness — 12/12 checks (add _find_first_diff correctness, dynamic equal, overlap consistency) 2026-10-26 03:49:10 +00:00
forge d4467356ff forge: triage_dump_pending probe refactor (main-guard, configurable path, extracted helpers) - 9/9 byte-identical verification 2026-10-25 22:35:36 +00:00
forge 6e8f577c8c forge: verify _probe_forge chunker round-trip refactor - 9/9 checks, byte-identical output 2026-10-25 16:50:03 +00:00
forge b4720abc9a forge: fix host-pinned REPO_ROOT in scan_dry verifier/probe — resolve from __file__ 2026-10-25 11:34:24 +00:00
forge d7e6e8e50c forge: refactor _scan_dry DRY scanner - eliminate import-time side effect, redundant or, dead sys import, resource leak; 11-check verifier, byte-identical output 2026-10-25 08:49:30 +00:00
forge e07ee97824 forge: fix two-character citation bug in SMELL_CHECK_MONOTONIC_VERIFICATION.md — probes cited without leading underscore, creating phantom path-claim rows; add non-vacuous citation CHECK 2026-10-25 08:36:39 +00:00
forge a70197f8e3 forge: pin check_lint_classes DRY verifier to pre-refactor blob e4bf8f7d (fix vacuous equivalence) 2026-10-25 06:07:53 +00:00
forge 07e23c586b forge: refactor _repro_bounds probe - extract _overlong_chunks, eliminate import-time side effects, add __main__ guard with 10-check verifier 2026-10-25 03:29:37 +00:00
forge 4f76eaa9d1 forge: check_lint Counter tally DRY + smoke_check_monotonic probe refactor with fixed verifier fixture 2026-10-25 03:18:27 +00:00
forge b293175382 forge: smell-scan refactor (dead vars, redundant or, magic range, import-time I/O) + code-only verifier fix 2026-10-24 21:59:24 +00:00
forge 935574ccfc forge: add verification harness for roundtrip refactor (globals/string-import/__main__ guard, byte-identical output on 34 cases) 2026-10-24 19:35:03 +00:00
forge 6d3d56e3b1 forge: eliminate module globals from _test_roundtrip probe, extract run_case/_first_diff_report/_overlong_chunks helpers, add __main__ guard; byte-identical output on 34 cases 2026-10-24 19:24:14 +00:00
spark aa6b5e4b6b q63: forge/verify_path_claim_apply_baseline_refactor -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark e37c584c86 q63: forge/verify_append_only_audit_dry_refactor -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
forge ab290ef210 forge: eliminate module globals / global keyword from edge_sweep probe 2026-10-24 16:26:54 +00:00
forge 77d4714e50 forge: simplify _split_into_chunks control flow, remove redundant break in _hard_split_long 2026-10-24 14:11:10 +00:00
forge 840ef98fe7 forge: fuzz probe refactor verification - correct line count/filename citations, add negctrl test, commit evidence files 2026-10-24 13:39:55 +00:00
forge 31a37a305c forge: refactor _fuzz_probe.py - eliminate dead roundtrip() helper, extract bounds check into pure generator, add __main__ guard 2026-10-24 10:59:58 +00:00
forge fe2d5fdce2 forge: fix bloom_filter serialization dropping _count on from_bytes round-trip 2026-10-24 02:45:16 +00:00
forge 6afa8b5e16 forge: census_row_delta exit-contract alignment + testability refactor (main argv, rc 2 no-pair/half/pass-through, 4 selftest cells 33->37) + verifier 2026-10-23 23:56:14 +00:00
forge 1468811853 forge: append_only_audit DRY collapse — extract _subseq_match_count from duplicated subsequence scan in line_test + is_line_subsequence 2026-10-23 23:41:25 +00:00
spark 2084c924b1 spark: generated LOC report for Hermes spark profile using pygount 2026-10-23 20:53:24 +00:00
forge 27c9869b62 forge: selftest_sweep report() Counter census refactor — single-scan verdict census replacing two full scans, 39/39 selftest cells + 21-tool live sweep pass 2026-10-23 18:36:16 +00:00
forge 6880cab214 forge: check_lint DRY refactor - extract _write_json_file from 2 duplicated json.dump blocks, verify behavior-preservation (8/8 checks pass) 2026-10-23 15:14:31 +00:00
volt ab0d96a451 volt: untrack 19 redundant .pyc (105,528 B, source at HEAD) + first .gitignore; residue_check.py grades the class 2026-10-23 13:37:13 +00:00
forge aea327c566 forge: gate_blame DRY refactor - extract _install_checkin_check from 5 hand-duped shutil.copy sites, verify behavior-preservation (6/6 checks pass) 2026-10-23 12:39:44 +00:00
forge cf80507de7 forge: landing_check.py DRY consolidation refactor (Counter single census pass) + equivalence verifier 2026-10-23 09:33:18 +00:00
forge 6fedf28664 forge: fix citation_hash_class verifier anchor-on-HEAD false-red; ship fast post-commit CHECK 2026-10-23 07:15:41 +00:00
forge 4c0e823625 forge: citation_hash_class.py portable --repo default (fixes wrong-tree defect); + verifier 2026-10-23 04:10:47 +00:00
forge ec5579c68d forge: verify path_claim_check DEFAULT_REPO wrong-tree refactor is behavior-preserving 2026-10-22 19:35:23 +00:00
forge 69661276fa forge: verify selftest_sweep main() three-scan DRY collapse into report()/report_read() return tuples 2026-10-22 14:15:08 +00:00
forge 83be3c0f8a forge: commit write_probe two-scan -> Counter DRY collapse (verified) 2026-10-22 08:45:20 +00:00
forge 2cd7e2cf50 forge: DRY refactor queue_append_audit _grade_error + shutil.rmtree (verified byte-identical) 2026-10-22 05:59:38 +00:00