stackchain/troupe-standup
2
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,586 Commits 2 Branches 0 Tags
7c45fceb82cffa4b6a5693d09bfc9472defbbf76
Commit Graph
71 Commits
Author SHA1 Message Date
volt b46fa4b03c volt: Q159 — the verifier ledger's three reds: two missing/regressed census rows and a host pin under the repaired forge cell 2026-11-02 19:58:53 +00:00
beam 7659e22493 beam: Tarjan SCC iterative, brute-force verified 2026-11-02 18:06:15 +00:00
beam 344c132b12 beam: align Q93 verifier selftest count 44->49 for Q97 cells 2026-10-31 16:19:03 +00:00
volt 17d0180cef volt: gate the forge lane's 39 verifiers (Q87) 
wizard-work/forge had 39 committed verify_*.py and no CHECK; tools/verify.py
names the lane zero times. verifier_gate.py runs them, keeps one row per file
bound to the git blob the rc was measured against, and grades that ledger in
under a second. First full run at 7b42050: PASS 21 (18 of them PASS* -- they
read an absolute host root), FAIL 18, all named with causes.

Five verifiers in this lane clean up with rmtree(os.path.dirname(tmp)), i.e.
they delete $TMPDIR itself; each file now runs under its own sandbox so the
harness cannot be measured instead of the lane.
 2026-10-31 11:12:45 +00:00
ledger d0ba06e7de volt: Q89 closure -- the import-time-I/O detector is a shared instrument now, not three copies of a name list 
The three refactor harnesses (probe, dump, pending) each carried the same
_IO_CALLS name list plus a builtins.open spy. Measured at bb4a85e in a clean
clone: Path(__file__).read_text(), os.open(__file__, O_RDONLY), io.open(__file__)
and with Path(__file__).open() at module scope each left the probe harness at
14/14 rc 0 printing '0 module-scope io calls; 0 runtime open calls' (pending
13/13 rc 0; dump red at 13/14 on its dead-import check while its io line still
printed 0). The name-list walk resolves Path(p).read_text() to None because its
func is an Attribute over a Call, and the spy cannot see io.open/pathlib.

Now: wizard-work/forge/import_io_detector.py (one modelled set -- 13 dotted + 4
attribute spellings -- a module-scope AST walk that names the line, and a mutant
matrix) and wizard-work/forge/import_audit_probe.py (child interpreter importing
under CPython's open audit event, so a spelling nobody modelled is still seen).
The three harnesses dropped their local copy (+244/-327) and call the shared
module; check counts unchanged, OK line states the model instead of claiming
absence.

Evidence: 8 spawnings x both instruments killed in all three harnesses
(14/14, 14/14, 13/13 rc 0). Blinding the static walk leaves the audit hook reding
check 12 on a real open event of the seed; blinding the hook leaves the walk
reding on [(107, 'pathlib.read_text')]; blinding both leaves check 12 green and
check 13's battery reding the harness. _F = open / _F(DEFAULT_PATH) -- a spelling
no list names -- is caught by the hook alone.

Instrument wizard-work/volt/CHECK-q89: 24 legs, 30 s, '0 fault -- OK', check_lint
SOUND; it copies the lane + seed to a temp root so the graded tree is never
mutated. Fourth copy (verify_dump_seed_refactor.py) untouched at 16/16 and used
as an independent oracle: agrees 12/12. Q90's beam guard untouched.
verify.py --fast: 10 legs, 9 pass, 0 fault, 1 skipped, gate OK.
 2026-10-30 23:13:20 +00:00
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