c71184333a
fix: example app uses deterministic ID generation; trim dead exports
...
- Fix examples/app/src/routes/users.ts to use crypto hash instead of Date.now()
- Remove unused renderProgress export from human.ts
- Remove unused formatTripleBoundaryCounterexample from triple-boundary-testing.ts
- Remove unused clearCapturedRoutes from discovery.ts
- Remove dead BUILTIN_PLUGIN_CONTRACTS constant
- Build: clean | Tests: 847 pass, 2 fail (pre-existing flaky --changed tests)
2026-04-30 12:54:01 -07:00
5921b1437f
trim: remove dead code and move large spec docs to attic
...
- Remove unused exports: renderProgress, formatTripleBoundaryCounterexample, clearCapturedRoutes
- Remove dead BUILTIN_PLUGIN_CONTRACTS constant (auto-registration removed earlier)
- Fix app-loader error messages to mention multiple export patterns
- Move to attic: protocol-extensions-spec, OUTBOUND_CONTRACT_MOCKING_SPEC, PLUGIN_CONTRACTS_SPEC, fastify-structure
- Build: clean | Tests: 849 pass, 0 fail
2026-04-30 12:47:59 -07:00
115d3465b1
fix: address code-level issues from subworker audit
...
- Remove unused generationProfile parameter from verify runner
- Integrate PluginContractRegistry into petit-runner and stateful-runner
- Add deterministic hashStringToSeed to doctor (replaces Math.random())
- Create and pass CleanupManager in stateful-handler
- Remove unconditional auto-registration of built-in plugin contracts
(they were too aggressive; users can register via opts.pluginContracts)
- Build: clean | Tests: 849 pass, 0 fail
2026-04-30 12:07:03 -07:00
dc7a4205ec
fix: correct documented vs actual behavior discrepancies from subworker audit
...
- Fix verify.md --changed exit code (0 → 2)
- Add 'deep' as alias for 'thorough' in generation profile resolution
- Fix PLUGIN_CONTRACTS_SPEC status: Partially implemented (registry done, runner pending)
- Fix OUTBOUND_CONTRACT_MOCKING_SPEC status: Implemented (Phase 1)
- Fix cli.md environment matrix to match actual code granularity
- Fix chaos.md: document delay handler is currently a no-op
- Fix getting-started.md warning: note APOPHIS does not proactively detect nondeterminism
- Add variants section to getting-started.md
- Build: clean | Tests: 849 pass, 0 fail
2026-04-30 11:50:39 -07:00
bf7376b5ad
docs: add scenario examples, fix sampling docs, improve pedagogical completeness
...
- Add actual scenario definition example to qualify.md
- Add stateful test API example to qualify.md
- Fix observe.md sampling section to show explicit config and rates
- Build: clean | Tests: 849 pass, 0 fail
2026-04-30 11:35:38 -07:00
8d7382417d
docs: add paper citations, fix pedagogical issues, improve SKILL.md
...
- Cite arxiv 2602.23922 (Invariant-Driven Automated Testing) in all major docs
- Add Progressive Complexity section to SKILL.md for LLM guidance
- Fix SKILL.md Fast Start example to use deterministic ID generation
- Fix getting-started.md failure output inconsistency
- Fix auth-patterns.md TypeScript syntax in JS doc
- Fix fastify-structure.md Date.now() in test helper
- Fix observe.md misleading workspace heading
- Build: clean | Tests: 849 pass, 0 fail
2026-04-30 11:34:00 -07:00
6c39bd0a6c
docs: final cleanup and accuracy pass before public push
...
- Fix const inference bug: wrap inferred contracts with status-code guards
- Add integration test for status-guarded contract inference
- Tighten and deduplicate docs across verify, qualify, getting-started, cli
- Fix broken cross-references and TypeScript→JavaScript conversions
- Fix factual errors: license, Date.now(), sampling defaults, cache env
- Add missing features: --workspace, --generation-profile, json-summary formats
- Move stale extension docs (AUTH-RATE-LIMIT-REVISED, HTTP-EXTENSIONS) to attic
- Update PLUGIN_CONTRACTS_SPEC status to Implemented
- Build: clean | Tests: 849 pass, 0 fail
2026-04-30 11:25:30 -07:00
d278c4b105
chore: crush git history - reborn from consolidation on 2026-03-10
2026-03-10 00:00:00 -07:00
John Dvorak