docs(f33): MicroInterp P4 burn-down; clear stale pf-ci/cla inventory reds by fraware · Pull Request #213 · SentinelOps-CI/provability-fabric

fraware · 2026-07-17T23:02:59Z

Summary

Document F33/P4 honestly: MicroInterp.lean dfa_semantics_match keeps 2 placeholders pending a DFA↔semantics generator (P4.1–P4.3); lean-style enforced set unchanged.
Add pf-ci.yaml workflow_dispatch smoke (default) so main inventory is not stuck on stale push-era failures; full Kind path remains workflow_call / mode=full.
Harden cla-bot.yaml for workflow_dispatch (no empty push ranges); Option B skip when CLA URL unreachable remains.

Test plan

PR CI green (actionlint / docs paths)
After merge: gh workflow run pf-ci.yaml -f mode=smoke on main → success
After merge: gh workflow run cla-bot.yaml on main → success (Option B)
Refresh scripts/ci_workflow_inventory.ps1 -Markdown; gated still 61/61 exit 0
Confirm MicroInterp still has exactly 2 sorry tokens; F33 stays PARTIAL

Keep the two dfa_semantics_match placeholders with an honest generator burn-down. Add pf-ci workflow_dispatch smoke and harden cla-bot dispatch so main inventory is not stuck on push-era failures.

cursor · 2026-07-17T23:03:03Z

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

Reusable workflows inherit the caller's event_name, so gating setup on workflow_call skipped Kind on PR/schedule. Gate smoke on workflow_dispatch only.

github-actions · 2026-07-17T23:05:06Z

Thanks for the PR! CI will run CERT validation and replay checks. Results will appear in workflow badges and artifacts.

github-actions · 2026-07-17T23:05:39Z

Thanks for the PR! CI will run CERT validation and replay checks. Results will appear in workflow badges and artifacts.

github-actions · 2026-07-17T23:06:02Z

Sample Replay

low_view %: N/A
status: unknown
Counterexample Explorer: https://console.localhost/replay/last

github-actions · 2026-07-17T23:11:14Z

Sample Replay

low_view %: N/A
status: unknown
Counterexample Explorer: https://console.localhost/replay/last

github-actions · 2026-07-17T23:13:16Z

SBOM Security Report

Total Packages: 4533

Language Distribution:

go: 359
javascript: 3277
rust: 592
python: 1

License Distribution:

MIT: 1270
Apache-2.0: 45
CC0-1.0: 43
BSD-3-Clause: 34
ISC: 87
BSD-2-Clause: 41
Python-2.0: 2
MPL-2.0: 1
Unlicense: 5
CC-BY-4.0: 1
(Apache-2.0 OR MPL-1.1): 1
BlueOak-1.0.0: 3
(AFL-2.1 OR BSD-3-Clause): 2
(BSD-3-Clause OR GPL-2.0): 1
0BSD: 3
(MIT OR CC0-1.0): 4
MIT AND ISC: 1

✅ SBOM generated successfully
✅ No GPL licenses detected
✅ No high/critical vulnerabilities found

github-actions · 2026-07-17T23:13:25Z

SBOM Security Report

Total Packages: 4533

Language Distribution:

go: 359
javascript: 3277
rust: 592
python: 1

License Distribution:

MIT: 1270
Apache-2.0: 45
CC0-1.0: 43
BSD-3-Clause: 34
ISC: 87
BSD-2-Clause: 41
Python-2.0: 2
MPL-2.0: 1
Unlicense: 5
CC-BY-4.0: 1
(Apache-2.0 OR MPL-1.1): 1
BlueOak-1.0.0: 3
(AFL-2.1 OR BSD-3-Clause): 2
(BSD-3-Clause OR GPL-2.0): 1
0BSD: 3
(MIT OR CC0-1.0): 4
MIT AND ISC: 1

✅ SBOM generated successfully
✅ No GPL licenses detected
✅ No high/critical vulnerabilities found

github-actions · 2026-07-17T23:13:32Z

Policy Coverage Report

Tools Coverage: 100%
Events Coverage: 100%
Egress Labeled: 100%
Replay Determinism: 100%

All policy gates passed successfully!

github-actions · 2026-07-17T23:14:44Z

Policy Coverage Report

Tools Coverage: 100%
Events Coverage: 100%
Egress Labeled: 100%
Replay Determinism: 100%

All policy gates passed successfully!

ci-honesty flags bare '|| true'; contributors.txt is always created above.

github-actions · 2026-07-17T23:18:17Z

Thanks for the PR! CI will run CERT validation and replay checks. Results will appear in workflow badges and artifacts.

github-actions · 2026-07-17T23:20:50Z

Sample Replay

low_view %: N/A
status: unknown
Counterexample Explorer: https://console.localhost/replay/last

github-actions · 2026-07-17T23:21:26Z

SBOM Security Report

Total Packages: 4533

Language Distribution:

go: 359
javascript: 3277
rust: 592
python: 1

License Distribution:

MIT: 1270
Apache-2.0: 45
CC0-1.0: 43
BSD-3-Clause: 34
ISC: 87
BSD-2-Clause: 41
Python-2.0: 2
MPL-2.0: 1
Unlicense: 5
CC-BY-4.0: 1
(Apache-2.0 OR MPL-1.1): 1
BlueOak-1.0.0: 3
(AFL-2.1 OR BSD-3-Clause): 2
(BSD-3-Clause OR GPL-2.0): 1
0BSD: 3
(MIT OR CC0-1.0): 4
MIT AND ISC: 1

✅ SBOM generated successfully
✅ No GPL licenses detected
✅ No high/critical vulnerabilities found

github-actions · 2026-07-17T23:24:43Z

Policy Coverage Report

Tools Coverage: 100%
Events Coverage: 100%
Egress Labeled: 100%
Replay Determinism: 100%

All policy gates passed successfully!

Gated 61/61 exit 0 x2. Cleared stale pf-ci and cla-bot reds via dispatch smoke. F33 remains PARTIAL (MicroInterp 2 placeholders). Ungated reds: 8.

docs(f33): document MicroInterp P4 block; clear stale pf-ci/cla noise

33498e8

Keep the two dfa_semantics_match placeholders with an honest generator burn-down. Add pf-ci workflow_dispatch smoke and harden cla-bot dispatch so main inventory is not stuck on push-era failures.

fix(ci): run pf-ci Kind path for caller events, not workflow_call name

0d1c927

Reusable workflows inherit the caller's event_name, so gating setup on workflow_call skipped Kind on PR/schedule. Gate smoke on workflow_dispatch only.

fix(ci): drop unjustified || true in cla-bot contributor dump

b34e909

ci-honesty flags bare '|| true'; contributors.txt is always created above.

fraware merged commit 400be1d into main Jul 17, 2026
72 of 73 checks passed

fraware deleted the ci/f33-microinterp-docs-clear-stale-reds branch July 17, 2026 23:27

fraware mentioned this pull request Jul 17, 2026

docs(f33): inventory refresh after pf-ci/cla smoke clears #214

Merged

4 tasks

fraware added a commit that referenced this pull request Jul 18, 2026

docs(internal): refresh inventory after #213 pf-ci/cla smoke clears

27349c0

Gated 61/61 exit 0 x2. Cleared stale pf-ci and cla-bot reds via dispatch smoke. F33 remains PARTIAL (MicroInterp 2 placeholders). Ungated reds: 8.

Uh oh!

Conversation

fraware commented Jul 17, 2026

Summary

Test plan

Uh oh!

cursor Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

SBOM Security Report

Language Distribution:

License Distribution:

Uh oh!

github-actions Bot commented Jul 17, 2026

SBOM Security Report

Language Distribution:

License Distribution:

Uh oh!

github-actions Bot commented Jul 17, 2026

Policy Coverage Report

Uh oh!

github-actions Bot commented Jul 17, 2026

Policy Coverage Report

Uh oh!

github-actions Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

Uh oh!

github-actions Bot commented Jul 17, 2026

SBOM Security Report

Language Distribution:

License Distribution:

Uh oh!

github-actions Bot commented Jul 17, 2026

Policy Coverage Report

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant