Private evidence cockpit for Monogate review. Includes stable sigmoid, softplus, and Gaussian/log-normal anchors; guard-owned clamp has S31 guard-policy evidence; Glass Box now has an MGE-A30 contract review selector; electronics now has EE-BRIDGE-A2 intake validation and EE-BRIDGE-A4 inbox status rows.
Four unseen holdout kernels run through source -> EML -> Forge targets -> runtime guard witness -> evidence ladder reviewer without joining the default benchmark corpus.
Keep private; use as the first repeatable unseen-kernel evidence lane.
Add tags and connect registry summaries into the EML Advantage Lab as private inputs.
Boundary-event rescue packets with replay validation and a restricted log-domain semantic theorem.
Keep surfaced with existing claim boundary.
Discharge another narrow rescue obligation before expanding the public story.
Research scoreboard for where EML appears useful, where standard math wins, and where evidence is insufficient.
Use internally to decide what deserves deeper holdout testing.
Attach eFrog holdout registry outputs as private evidence inputs.
Proof-carrying artifact contract for bounded EML Advantage Lab evidence, with general EML superiority and public-performance claims blocked.
Keep private; use contract gaps to choose the next actual EML advantage experiment.
Choose the next product lane for EML Advantage: Forge/eFrog, Monogate Engine, or MachLib.
PCC validator result for the EML Advantage Lab proof-carrying artifact contract.
Keep private; use as validation evidence for the EML Advantage Lab contract.
Choose the next product lane for EML Advantage: Forge/eFrog, Monogate Engine, or MachLib.
Private PCC2 gap response showing that cancellation-sensitive exp(x)-1 should lower to protected expm1, not raw EML, while broad EML advantage remains blocked.
Keep private; use as a guardrail that prevents raw EML from being promoted where protected standard math is safer.
EML-ADV-PCC3: add a non-cancellation holdout from the eFrog registry or a noisy-data source.
Private PCC3 real-source holdout linking the EML Advantage contract to eFrog rc_decay_stable.py across three deterministic sample grids. EML is recorded as a semantic/search representation, not a runtime win.
Keep private; use as the first non-cancellation real-source EML Advantage contract discharge.
EML-ADV-PCC4: add noisy-data perturbation around the real-source holdout or ingest a second eFrog source.
Private PCC4 noisy real-source holdout around eFrog rc_decay_stable.py. It separates model-to-model agreement from residual-to-noisy-observation and keeps prediction/runtime claims blocked.
Keep private; use as the first noisy-data robustness guard for the EML Advantage contract.
EML-ADV-PCC5: ingest a second eFrog source and compare source-family behavior.
Private PCC5 second-source-family holdout using eFrog gaussian_stable.py. It adds a quadratic-exponent Gaussian family after RC decay and keeps source-family generalization/runtime claims blocked.
Keep private; use as the second source-family discharge before any family-level synthesis.
EML-ADV-PCC7: add an oscillatory eFrog holdout using damped_wave.py.
Private PCC6 comparison across RC decay and Gaussian stable holdouts. It records EML as a semantic/search representation tie across both families while keeping runtime/generalization claims blocked.
Keep private; use as the first two-family synthesis before adding a genuinely different family.
EML-ADV-PCC7: add an oscillatory eFrog holdout using damped_wave.py.
Private PCC7 oscillatory holdout using eFrog damped_wave.py. EML represents the exponential damping envelope while sine remains standard math and the standard runtime surface remains required.
Keep private; use as the first non-pure-exponential family and as a reminder that EML coverage may be partial.
EML-ADV-PCC8: add a log-domain or guarded/piecewise source family before any stronger EML advantage synthesis.
Private PCC8 log-domain holdout using eFrog numpy_softplus.py. It separates safe-range EML/source agreement from overflow-prone protected lowering and recommends logaddexp without claiming compiler correctness.
Keep private; use as the first log-domain holdout and protected-lowering guard for EML Advantage.
EML-ADV-PCC9: add a guarded/piecewise source family such as clamp_guard.py.
Private PCC9 guarded/piecewise holdout using eFrog clamp_guard.py. Valid guard domains match a clamp-style representation exactly, while reversed bounds are blocked as invalid domains.
Keep private; use as the first guarded/piecewise holdout and invalid-domain block record for EML Advantage.
EML-ADV-PCC10: add a family-level synthesis across smooth, log-domain, oscillatory, and guarded holdouts.
Private PCC10 synthesis across five EML Advantage source families. It separates representation help, partial EML coverage, protected runtime needs, and guard grammar needs, and marks the phase as a pause point.
Keep private; use as the closing synthesis for the current EML Advantage source-family phase.
Choose the next product lane for EML Advantage: Forge/eFrog, Monogate Engine, or MachLib.
Private post-PCC10 direction plan split into three focused sprints: Forge/eFrog packet export UX, Engine/Glass Box evidence mount, and MachLib small witness selection.
Use this as the implementation queue after PCC10; start with Forge/eFrog packet export UX.
Start Sprint 1: Forge/eFrog packet export UX.
Private closure bundle for the three focused product sprints. Forge/eFrog export and Engine/Glass Box handoff contracts are ready; the MachLib subtraction-boundary witness is already present and build-checked.
Treat the direction decision as closed and implement Forge/eFrog packet export UX next.
Build the Forge/eFrog packet export command or packet-builder preset from the recorded contract.
Private Forge/eFrog export UX that turns eight A13.2 semantic comparison cases into developer-facing export packets, with matching A13 roundtrip rows linked where hashes align and S24 runtime advisory metadata attached to stable sigmoid.
Keep private; use as the first developer-facing export workflow for Forge/eFrog evidence packets.
Teach Forge/eFrog export consumers to display attached runtime advisories without changing compiler behavior.
Private handoff that converts six A14 Forge/eFrog export packets into Glass Box mount cards while explicitly deferring engine adapter work until the dirty engine worktree is coordinated.
Keep private; use as the adapter contract for the future Glass Box mount implementation.
Implement the Glass Box adapter only after monogate-engine worktree coordination.
Private packet-builder import support for cockpit rows, including structured A14 Forge/eFrog export UX and A15 Glass Box mount handoff presets.
Keep private; use to draft candidate packets from A14 and A15 cockpit rows.
Use the A14/A15 builder presets for one end-to-end private review dry run.
One file-backed private workflow dry run: Gaussian stable A14 export packet to packet-builder-style candidate review packet to A15 Glass Box mount card.
Keep private; use as the first end-to-end product-spine dry run.
Repeat this workflow through the live command-center UI and saved private draft store.
Private saved-draft store for Packet Builder, seeded with the Gaussian stable A17 candidate review packet and guarded so saved drafts remain candidate-only.
Keep private; use saved drafts to persist candidate packets before reviewer approval.
Use the reviewer decision audit trail for saved private drafts.
Private reviewer decision log for Packet Builder saved drafts, seeded with a Gaussian stable keep-private decision and guarded so decisions do not automatically publish drafts.
Keep private; use decisions as reviewer memory for saved candidate drafts.
Add filtered decision views for saved private drafts.
Seventeen eFrog/default-plus-holdout source frontends decompile to EML and compile through Forge's Python and JavaScript targets with bounded surface-comparison packets.
Keep private; use as the first measured Forge/eFrog roundtrip advantage lane.
Add semantic output comparison for selected scalar kernels before treating cross-target agreement as evidence.
Seven selected Python-source kernels decompile through eFrog, compile through Forge Python and JavaScript, and agree with original-source outputs on fixed sample grids.
Keep private; treat as selected sample-grid agreement evidence only.
Add non-Python source semantic comparison or re-ingest generated targets before expanding the claim boundary.
Private closure packet summarizing A13 roundtrip and semantic sample-grid evidence as a clean pause point before broader PCC/replay/formal-methods exploration.
Pause A13 here; use as the stable internal handoff for external research exploration.
Explore proof-carrying code, foundational PCC, deterministic replay, and formal-methods evidence traditions before expanding A13.
Private map from Monogate evidence packets to external traditions: PCC, high-assurance formal methods, deterministic replay, Lean/AI proving, and Pfaffian/holographic algorithms.
Use as the private research map for the next external traditions sprint.
Run PCC-M1: Evidence Packet as Proof-Carrying Artifact Contract.
Private sprint pack turning external evidence traditions into bounded Monogate contracts: proof-carrying artifact contract, replay taxonomy, A13 assurance skeleton, proof-digestion fields, and Pfaffian/holographic literature map.
Keep private; use as the contract pack for the next external traditions implementation sprint.
Run PCC-M2 by applying the proof-carrying artifact contract to A13.
First live Proof-Carrying Artifact Contract instance: A13 payload plus evidence references plus discharged, partial, blocked, and unresolved obligations.
Keep private; use as the first live proof-carrying artifact contract instance.
PCC-M3: add a validator for contract instances and claim-boundary consistency.
Dependency-light validator for proof-carrying artifact contract instances, first applied to the A13 contract.
Keep private; use as the first validator for proof-carrying artifact contracts.
PCC-M4: validate a second artifact family, preferably Forge Rescue or EML Advantage Lab.
Second Proof-Carrying Artifact Contract instance, applying the contract grammar to the existing Forge Rescue Suite evidence family.
Keep surfaced only within the existing Forge Rescue claim boundary.
PCC-M5: validate all proof-carrying artifact contracts as a batch.
PCC-M3 validator applied to a second artifact family, proving the contract checker is not only A13-shaped.
Keep private; use as second-family validation evidence for the contract checker.
PCC-M5: validate all proof-carrying artifact contracts as a batch.
Batch validator over every proof-carrying artifact contract instance currently in reports/proof_carrying_artifacts.
Keep private; use as the registry-level validator for proof-carrying artifact contracts.
PCC-M6: add this batch validator to CI once the contract registry stabilizes.
Adds the proof-carrying artifact contract batch validator to the EML Guard Contract GitHub workflow.
Keep private; treat as infrastructure hardening for the proof-carrying artifact registry.
PCC-M7: decide whether the next contract target should be EML Advantage Lab or Prediction Market forecast packets.
Fixture-backed read-only forecast packet agent for Kalshi/Polymarket-style markets.
Keep read-only; do not attach credentials or order placement.
Improve calibration ledger and resolution tracking before any live-source adapter.
Local red-team packet grammar for command-cockpit leakage, public-deploy approval, and trading-permission injections.
Use as private adversarial checks for cockpit and packet-builder lanes.
Add generated attacks against the A1 cockpit fixture before publicizing any product story.
Simulated electronics math packets for voltage divider, RC transient, and logic guard lanes.
Keep electronics controlled by laptop agent; require live capture before hardware truth.
Ingest EE-A2 physical packet only after laptop agent produces live capture evidence.
Research-side intake validator accepts one simulated laptop-agent voltage-divider handoff and confirms missing live-capture metadata plus hardware-claim-overreach controls fail closed.
Use privately as the research-side intake gate for laptop-agent electronics artifacts; do not treat the simulated fixture as hardware truth.
Run the laptop agent's returned lesson or capture artifact through the EE-BRIDGE-A2 validator when it arrives.
Research-side inbox gate records that no laptop-agent electronics artifact has arrived yet; the default inbox is pending and will route supplied JSON through EE-BRIDGE-A2.
Use privately to confirm the electronics intake inbox exists and is currently empty; do not treat pending status as evidence.
Place the laptop agent's returned artifact at the inbox path or rerun EE-BRIDGE-A4 with --artifact-path.
Glass Box transition packet history exported as deterministic JSON for private F3 review.
Use internally to review Glass Box behavior history.
Connect selected engine packets into the cockpit as collapsible raw JSON previews.
Claim-review packet queue for overclaim, forbidden-claim, public-readiness, proof, and hardware-observation checks.
Use as the cockpit's intake policy memory.
Let A1 filter artifacts by queue priority and missing evidence.
Private EML style atlas that classifies seven Forge/eFrog export packets into EML-native, EML-partial, guard-owned, standard-preferred, and semantic-only review lanes.
Use the style atlas to choose the next EML-native holdout and keep guard-owned cases routed to guard grammar.
Run the next EML-style experiment from an EML-native lane rather than expanding every surface equally.
Private S20-selected EML-native holdout for a stretched-exponential surface, now promoted into the Forge/eFrog source and roundtrip path, distinct from RC decay and Gaussian.
Keep as private evidence that S20 can guide focused EML-native holdouts without turning every surface into an EML claim.
Use S22 to compare the next candidate source families before adding another holdout.
Private S22 map comparing sigmoid/logistic, damped oscillator, and softplus/log-sum-exp with a fixed seven-field rule; promotes sigmoid/logistic as the next source-family holdout candidate.
Use as the private decision map for the next EML source-family holdout; do not treat it as generalization evidence.
Use S23 as the promoted sigmoid/logistic holdout, then benchmark protected/runtime forms before performance claims.
Private S23 holdout for stable sigmoid/logistic: two eFrog runtime-witnessed obligations, two passing A13 roundtrip packets, one passing A13.2 semantic comparison, A14 export linkage, and S20 EML-native style classification.
Keep as private evidence that S22 can promote one EML-style source family through a dedicated holdout without opening public claims.
Use completed S24 runtime bakeoff to route sigmoid/logistic exports toward protected runtime forms without changing compiler behavior.
Private S24 runtime boundary check comparing naive, clamp-stable, branch-stable, and logaddexp-protected sigmoid forms; recommends branch-stable runtime while keeping clamp/EML form as representation evidence and naive as caution/teaching form.
Keep as private local runtime boundary evidence; use it to route sigmoid/logistic exports toward protected runtime forms.
Display the attached S24 runtime advisory in Forge/eFrog export consumers without changing compiler behavior.
Private command-center export advisory consumer that displays A14 runtime advisory metadata, including the S24 stable-sigmoid recommendation, without changing compiler/decompiler behavior or generated target code.
Use privately to inspect legacy A14 packet-level advisories alongside S27 registry-level policy rows.
Prefer S27/S29 registry rows for new policy review decisions.
Private S27 registry mapping source families to representation forms, runtime forms, caution forms, evidence sources, and unresolved gaps; stable sigmoid, softplus, and Gaussian/log-normal carry runtime advisory rows while guard-owned clamp carries an S31 guard-policy drilldown and remaining families stay standard/protected until benchmarked.
Use privately as the export-policy source of truth before changing Forge/eFrog generated code.
Pause for Glass Box review; keep S31 as guard-policy evidence rather than an anchor.
Private export advisory page now consumes S27 registry-level policy rows, including S24 stable-sigmoid, S28 softplus, S30 Gaussian/log-normal runtime recommendations, and the S31 guard-owned clamp policy drilldown, without changing Forge/eFrog or generated targets.
Use privately to compare registry-level policy rows before any compiler/export behavior change.
Generalize the Glass Box overlay selector after registry rows stabilize under reviewer use.
Private softplus/logaddexp runtime bakeoff comparing naive, logaddexp, branch-stable, and clamp-caution forms; recommends logaddexp runtime while keeping softplus/logsumexp as representation/search evidence.
Use privately as source evidence for the softplus export policy row.
Attach S28 to S27/S29 policy registry surfaces without changing compiler behavior.
Private Gaussian/log-normal runtime bakeoff comparing standard, log-domain, EML exponential-quadratic envelope, and clamp-caution forms; recommends log-domain PDF runtime while keeping the EML envelope as representation/search evidence.
Use privately as source evidence for the Gaussian export policy row; do not treat it as an anchor.
Add an engine registry row only after reviewing the S30/S27 policy attachment boundary.
Private guard-owned clamp policy bakeoff comparing guard-owned branch, semantic clamp, protected branch, and generic runtime clamp caution forms; keeps clamp out of generic runtime lowering unless guard policy owns the semantic boundary.
Use privately to review guard-owned clamp boundaries before adding any engine guard row or anchor packet.
Pause here for Glass Box review; do not promote guard-owned clamp to an anchor from S31 alone.
Glass Box private/dev HUD review can select stable sigmoid, softplus, and Gaussian/log-normal runtime policy rows from a deterministic registry while keeping player-facing and compiler/export behavior unchanged.
Use privately to review existing runtime policy rows inside Glass Box without widening the research surface.
Keep Gaussian/log-normal as a private registry row until an anchor export packet is intentionally built.
Glass Box runtime policy registry export now has a CI drift guard that regenerates the deterministic fixture and verifies the stable sigmoid, softplus, and Gaussian/log-normal private HUD policy rows.
Keep as a CI/reviewer guard for the private Glass Box runtime policy registry.
Use this guard as the pre-anchor stability check for Gaussian/log-normal.
Glass Box private/dev HUD review now includes a Gaussian/log-normal policy row fed by S30/S27 evidence: EML exponential-quadratic representation, log-domain PDF runtime, and clamp-exponent caution.
Use privately to inspect the Gaussian/log-normal policy row before any anchor work.
Run the registry drift guard update and keep Gaussian/log-normal not-ready for public or anchor surfaces.
Glass Box runtime policy registry drift guard now protects three private HUD rows: stable sigmoid, softplus, and Gaussian/log-normal.
Use as the pre-anchor stability guard for the Gaussian/log-normal registry row.
Only build a Gaussian/log-normal anchor if the reviewer intentionally promotes this chain.
Gaussian/log-normal now has one deterministic private/dev anchor tying together S30, S27, Command-S29/A30, and MGE-A23/A27/A28 runtime policy registry evidence.
Use privately to review the Gaussian/log-normal end-to-end evidence chain.
Stop adding anchors and run the next runtime bakeoff family before widening the anchor set.
Glass Box private/dev HUD can browse five contract review rows: three anchored runtime-policy contracts, the S31 guard-owned clamp policy drilldown as not-ready, and portal_gate_intensity_contract_candidate_v0 as the next authored-control candidate.
Use F3/F4 in Glass Box private/dev review to compare anchored policies, guard-policy evidence, and the next authored-control candidate.
Build MGE-A31 portal gate intensity contract as the first Monogate-authored visible control system.
Stable sigmoid now has one deterministic private/dev anchor tying together S23 holdout, S24 runtime bakeoff, S25/A14 advisory, S27 policy registry, Command-S29, MGE-A21, MGE-A23, and MGE-A24.
Use as the first end-to-end evidence-chain anchor for reviewing one EML family across research, command, and engine surfaces.
Use the command-center drill-down view as the private review target before any public-surface discussion.
Private anchor-family index: stable sigmoid is anchored by MGE-A25, softplus/logaddexp is anchored by MGE-A26, Gaussian/log-normal is anchored by MGE-A29, guard-owned clamp has S31 guard-policy evidence but remains not ready, and MGE-A30 now offers a Glass Box contract review selector.
Use privately to decide whether a source family has enough evidence for an end-to-end anchor.
Pause here and return to Glass Box; only consider a guard-owned clamp engine row after private review.
Softplus/logaddexp now has one deterministic private/dev anchor tying together PCC8, S28 runtime bakeoff, S27 policy registry, Command-S29/A30, and MGE-A23/A24.
Use as the second end-to-end evidence-chain anchor for reviewing one EML family across research, command, and engine surfaces.
Use the command-center drill-down view as the private review target before choosing another anchor family.
Private client-side draft builder for turning artifacts into candidate evidence packets with explicit non-claims.
Keep as internal workflow surface; improve by loading existing packet families.
Use A1 cockpit rows as sources for packet-builder import presets.
{
"public_ready": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": true,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"hardware_observed": false
}{
"public_ready": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false,
"broad_eml_advantage_claim": false,
"eml_general_superiority_claim": false,
"theorem_discovery_claim": false,
"public_performance_claim": false,
"hardware_measurement_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"prediction_accuracy_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"prediction_accuracy_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"prediction_accuracy_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"oscillatory_generalization_claim": false,
"prediction_accuracy_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"log_domain_generalization_claim": false,
"protected_lowering_correctness_claim": false,
"prediction_accuracy_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"guard_semantics_generalization_claim": false,
"branch_correctness_claim": false,
"protected_lowering_correctness_claim": false,
"prediction_accuracy_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"family_level_generalization_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"engine_runtime_claim": false,
"glassbox_production_claim": false,
"machlib_theorem_discharged": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"new_proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"engine_behavior_changed": false,
"machlib_source_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"engine_behavior_changed": false,
"engine_files_modified": false,
"glassbox_production_claim": false,
"production_runtime_claim": false,
"certified_safety_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"runtime_performance_claim": false,
"broad_eml_advantage_claim": false,
"automatic_approval_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"automatic_approval": false,
"production_product_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"automatic_approval": false,
"deployment_performed": false,
"engine_behavior_changed": false,
"engine_files_modified": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"runtime_performance_claim": false,
"production_runtime_claim": false,
"certified_safety_claim": false,
"broad_eml_advantage_claim": false,
"proof_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"automatic_approval": false,
"public_product_launch": false,
"production_product_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"automatic_approval": false,
"public_product_launch": false,
"production_product_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false,
"deterministic_os_claim": false,
"high_assurance_certification_claim": false,
"pcc_completeness_claim": false,
"pfaffian_eml_mechanism_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false,
"deterministic_os_claim": false,
"high_assurance_certification_claim": false,
"pcc_completeness_claim": false,
"pfaffian_eml_mechanism_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false,
"production_controller_claim": false,
"hardware_observed": false,
"optimizer_wide_correctness_claim": false,
"unrestricted_semantic_rewrite_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"certified_safety_claim": false,
"runtime_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"pcc_completeness_claim": false,
"production_toolchain_claim": false
}{
"public_ready": false,
"profitable_strategy_claim": false,
"financial_advice_claim": false,
"authenticated_trading": false,
"order_placement": false
}{
"public_ready": false,
"production_security_claim": false,
"certified_safety_claim": false,
"live_rampart_run": false
}{
"public_ready": false,
"hardware_observed": false,
"live_serial_capture_performed": false,
"certified_safety_claim": false,
"production_controller_claim": false
}{
"public_ready": false,
"hardware_observed": false,
"live_serial_capture_performed": false,
"certified_safety_claim": false,
"production_controller_claim": false,
"runtime_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"automatic_approval": false
}{
"public_ready": false,
"hardware_observed": false,
"live_serial_capture_performed": false,
"certified_safety_claim": false,
"production_controller_claim": false,
"runtime_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"automatic_approval": false
}{
"public_ready": false,
"bootable_os_claim": false,
"certified_safety_claim": false,
"production_runtime_claim": false
}{
"public_ready": false,
"automatic_approval": false,
"proof_claim": false,
"certified_safety_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"style_generalization_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"engine_behavior_changed": false,
"machlib_source_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"eml_native_generalization_claim": false,
"source_family_generalization_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"engine_behavior_changed": false,
"machlib_source_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"family_level_generalization_claim": false,
"production_toolchain_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"engine_behavior_changed": false,
"machlib_source_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"sigmoid_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"engine_behavior_changed": false,
"machlib_source_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"compiler_correctness_claim": false,
"formal_equivalence_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"sigmoid_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"hardware_measurement_claim": false,
"gpu_measurement_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"production_product_claim": false,
"automatic_approval": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"softplus_generalization_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"gaussian_generalization_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"guard_policy_generalization_claim": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"portal_cue_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"safe_to_publish_publicly": false,
"proof_claim": false,
"runtime_performance_claim": false,
"public_performance_claim": false,
"formal_equivalence_claim": false,
"compiler_correctness_claim": false,
"broad_eml_advantage_claim": false,
"source_family_generalization_claim": false,
"production_runtime_claim": false,
"production_toolchain_claim": false,
"certified_safety_claim": false,
"forge_behavior_changed": false,
"efrog_behavior_changed": false,
"generated_target_code_changed": false,
"stage_shader_changed": false,
"player_facing_behavior_changed": false
}{
"public_ready": false,
"automatic_approval": false,
"certified_safety_claim": false,
"production_product_claim": false
}efrog/examples/gaussian_stable.py efrog/examples/rc_decay_stable.py efrog/examples/stretched_exponential.py efrog/examples/stable_sigmoid.py efrog/schemas/efrog_holdout_registry_v0.schema.json efrog/efrog/holdout_trial.py
forge/reports/proof_carrying_rescue_suite_v0_2026_05_26.json forge/reports/rescue_artifact_approval_v0_2026_05_26.json
monogate/reports/evidence_packets/eml_advantage_lab.json monogate/python/results/eml_advantage_packets/*_advantage_packet_2026_05_27.json
monogate/reports/proof_carrying_artifacts/eml_advantage_lab_contract_2026_05_29.json monogate/reports/eml_advantage_lab_proof_carrying_artifact_contract_2026_05_29.md monogate/reports/evidence_packets/eml_advantage_lab_proof_carrying_artifact_contract.json monogate/command_center_feeds/eml_advantage_lab_proof_carrying_artifact_contract_feed_2026_05_29.json monogate/reports/evidence_packets/eml_advantage_pcc2_gap_response.json monogate/reports/evidence_packets/eml_advantage_pcc3_real_source_holdout.json monogate/reports/evidence_packets/eml_advantage_pcc4_noisy_real_source_holdout.json monogate/reports/evidence_packets/eml_advantage_pcc5_second_source_family_holdout.json monogate/reports/evidence_packets/eml_advantage_pcc6_source_family_comparison.json monogate/reports/evidence_packets/eml_advantage_pcc7_oscillatory_holdout.json monogate/reports/evidence_packets/eml_advantage_pcc8_log_domain_holdout.json monogate/reports/evidence_packets/eml_advantage_pcc9_guarded_piecewise_holdout.json monogate/reports/evidence_packets/eml_advantage_pcc10_family_synthesis.json
monogate/python/scripts/proof_carrying_artifact_contract_validator.py monogate/python/tests/test_proof_carrying_artifact_contract_validator.py monogate/python/results/proof_carrying_artifact_contract_validator/eml_advantage_lab_contract_validator_2026_05_29.json monogate/reports/eml_advantage_lab_contract_validator_2026_05_29.md monogate/reports/evidence_packets/eml_advantage_lab_contract_validator.json monogate/command_center_feeds/eml_advantage_lab_contract_validator_feed_2026_05_29.json
monogate/reports/evidence_packets/eml_advantage_pcc2_gap_response.json monogate/reports/eml_advantage_pcc2_gap_response_2026_05_29.md monogate/python/results/eml_advantage_pcc2_gap_response/eml_advantage_pcc2_gap_response_2026_05_29.json monogate/python/results/eml_advantage_pcc2_negative_control_packets/protected_expm1_cancellation_negative_control_v0_pcc2_negative_control_2026_05_29.json
efrog/examples/rc_decay_stable.py monogate/reports/evidence_packets/eml_advantage_pcc3_real_source_holdout.json monogate/reports/eml_advantage_pcc3_real_source_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc3_real_source_holdout/eml_advantage_pcc3_real_source_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc3_real_source_holdout_packets/efrog_rc_decay_stable_real_source_holdout_v0_pcc3_real_source_holdout_2026_05_29.json
efrog/examples/rc_decay_stable.py monogate/reports/evidence_packets/eml_advantage_pcc4_noisy_real_source_holdout.json monogate/reports/eml_advantage_pcc4_noisy_real_source_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc4_noisy_real_source_holdout/eml_advantage_pcc4_noisy_real_source_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc4_noisy_real_source_holdout_packets/efrog_rc_decay_stable_noisy_real_source_holdout_v0_pcc4_noisy_real_source_holdout_2026_05_29.json
efrog/examples/gaussian_stable.py monogate/reports/evidence_packets/eml_advantage_pcc5_second_source_family_holdout.json monogate/reports/eml_advantage_pcc5_second_source_family_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc5_second_source_family_holdout/eml_advantage_pcc5_second_source_family_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc5_second_source_family_holdout_packets/efrog_gaussian_stable_second_source_family_holdout_v0_pcc5_second_source_family_holdout_2026_05_29.json
monogate/reports/evidence_packets/eml_advantage_pcc6_source_family_comparison.json monogate/reports/eml_advantage_pcc6_source_family_comparison_2026_05_29.md monogate/python/results/eml_advantage_pcc6_source_family_comparison/eml_advantage_pcc6_source_family_comparison_2026_05_29.json
efrog/examples/damped_wave.py monogate/reports/evidence_packets/eml_advantage_pcc7_oscillatory_holdout.json monogate/reports/eml_advantage_pcc7_oscillatory_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc7_oscillatory_holdout/eml_advantage_pcc7_oscillatory_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc7_oscillatory_holdout_packets/efrog_damped_wave_oscillatory_holdout_v0_pcc7_oscillatory_holdout_2026_05_29.json
efrog/examples/numpy_softplus.py monogate/reports/evidence_packets/eml_advantage_pcc8_log_domain_holdout.json monogate/reports/eml_advantage_pcc8_log_domain_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc8_log_domain_holdout/eml_advantage_pcc8_log_domain_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc8_log_domain_holdout_packets/efrog_numpy_softplus_log_domain_holdout_v0_pcc8_log_domain_holdout_2026_05_29.json
efrog/examples/clamp_guard.py monogate/reports/evidence_packets/eml_advantage_pcc9_guarded_piecewise_holdout.json monogate/reports/eml_advantage_pcc9_guarded_piecewise_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc9_guarded_piecewise_holdout/eml_advantage_pcc9_guarded_piecewise_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc9_guarded_piecewise_holdout_packets/efrog_clamp_guard_guarded_piecewise_holdout_v0_pcc9_guarded_piecewise_holdout_2026_05_29.json
monogate/reports/evidence_packets/eml_advantage_pcc10_family_synthesis.json monogate/reports/eml_advantage_pcc10_family_synthesis_2026_05_29.md monogate/python/results/eml_advantage_pcc10_family_synthesis/eml_advantage_pcc10_family_synthesis_2026_05_29.json
monogate/reports/evidence_packets/eml_advantage_product_direction_sprints.json monogate/reports/eml_advantage_product_direction_sprints_2026_05_29.md monogate/python/results/eml_advantage_product_direction_sprints/eml_advantage_product_direction_sprints_2026_05_29.json monogate/command_center_feeds/eml_advantage_product_direction_sprints_feed_2026_05_29.json
monogate/reports/evidence_packets/eml_advantage_product_sprint_closure.json monogate/reports/eml_advantage_product_sprint_closure_2026_05_29.md monogate/python/results/eml_advantage_product_sprint_closure/eml_advantage_product_sprint_closure_2026_05_29.json monogate/command_center_feeds/eml_advantage_product_sprint_closure_feed_2026_05_29.json machlib/foundations/MachLib/EMLAtlasWitness.lean machlib/foundations/MachLib/EML.lean
monogate/reports/evidence_packets/eml_a14_forge_efrog_export_ux.json monogate/reports/eml_a14_forge_efrog_export_ux_2026_05_29.md monogate/python/results/eml_a14_forge_efrog_export_ux/eml_a14_forge_efrog_export_ux_2026_05_29.json monogate/python/results/eml_forge_efrog_export_packets/*_2026_05_29.json monogate/python/results/eml_s24_sigmoid_runtime_bakeoff/eml_s24_sigmoid_runtime_bakeoff_2026_05_29.json monogate/command_center_feeds/eml_a14_forge_efrog_export_ux_feed_2026_05_29.json
monogate/reports/evidence_packets/eml_a15_glassbox_evidence_mount.json monogate/reports/eml_a15_glassbox_evidence_mount_2026_05_29.md monogate/python/results/eml_a15_glassbox_evidence_mount/eml_a15_glassbox_evidence_mount_2026_05_29.json monogate/python/results/eml_glassbox_mount_cards/*_2026_05_29.json monogate/command_center_feeds/eml_a15_glassbox_evidence_mount_feed_2026_05_29.json
command-center/app/evidence-cockpit/EvidenceCockpitClient.tsx command-center/app/packet-builder/page.tsx command-center/scripts/smoke-evidence-cockpit.mjs command-center/data/evidence/evidence_cockpit_a1_2026_05_29.json
monogate/reports/evidence_packets/eml_a17_private_review_dry_run.json monogate/reports/eml_a17_private_review_dry_run_2026_05_29.md monogate/python/results/eml_a17_private_review_dry_run/eml_a17_private_review_dry_run_2026_05_29.json monogate/python/results/eml_private_review_candidate_packets/gaussian-stable-forge-efrog-glass-box-candidate-review_2026_05_29.json monogate/command_center_feeds/eml_a17_private_review_dry_run_feed_2026_05_29.json
command-center/app/api/packet-drafts/route.ts command-center/app/packet-builder/page.tsx command-center/data/packet-builder-drafts/gaussian-stable-forge-efrog-glass-box-candidate-review.json command-center/scripts/validate-packet-builder-drafts.mjs command-center/scripts/smoke-evidence-cockpit.mjs command-center/package.json
command-center/app/api/packet-decisions/route.ts command-center/app/packet-builder/page.tsx command-center/data/packet-builder-decisions/review-decisions.jsonl command-center/scripts/validate-packet-builder-decisions.mjs command-center/scripts/smoke-evidence-cockpit.mjs command-center/package.json
monogate/schemas/eml_forge_efrog_roundtrip_packet_v0.json monogate/python/results/eml_a13_forge_efrog_roundtrip_advantage/eml_a13_forge_efrog_roundtrip_advantage_2026_05_29.json monogate/reports/evidence_packets/eml_a13_forge_efrog_roundtrip_advantage.json monogate/command_center_feeds/eml_a13_forge_efrog_roundtrip_advantage_feed_2026_05_29.json
monogate/schemas/eml_forge_efrog_semantic_comparison_packet_v0.json monogate/python/results/eml_a13_2_semantic_output_comparison/eml_a13_2_semantic_output_comparison_2026_05_29.json monogate/reports/evidence_packets/eml_a13_2_semantic_output_comparison.json monogate/command_center_feeds/eml_a13_2_semantic_output_comparison_feed_2026_05_29.json
monogate/reports/eml_a13_toolchain_pause_2026_05_29.md monogate/reports/evidence_packets/eml_a13_toolchain_pause.json monogate/command_center_feeds/eml_a13_toolchain_pause_feed_2026_05_29.json
monogate/reports/external_evidence_traditions_map_2026_05_29.md monogate/reports/evidence_packets/external_evidence_traditions_map.json monogate/command_center_feeds/external_evidence_traditions_map_feed_2026_05_29.json
monogate/schemas/proof_carrying_artifact_contract_v0.json monogate/schemas/replay_taxonomy_packet_v0.json monogate/schemas/assurance_case_skeleton_v0.json monogate/reports/external_evidence_next_sprints_2026_05_29.md monogate/reports/replay_packet_deterministic_replay_taxonomy_2026_05_29.md monogate/reports/a13_assurance_case_skeleton_2026_05_29.md monogate/reports/pfaffian_holographic_literature_map_2026_05_29.md monogate/reports/evidence_packets/external_evidence_next_sprints.json monogate/command_center_feeds/external_evidence_next_sprints_feed_2026_05_29.json monogate-research/schemas/understanding_packet_v0.schema.json monogate-research/reports/understanding_packet_proof_digestion_fields_2026_05_29.md
monogate/schemas/proof_carrying_artifact_contract_v0.json monogate/reports/proof_carrying_artifacts/a13_forge_efrog_contract_2026_05_29.json monogate/reports/a13_proof_carrying_artifact_contract_2026_05_29.md monogate/reports/evidence_packets/a13_proof_carrying_artifact_contract.json monogate/command_center_feeds/a13_proof_carrying_artifact_contract_feed_2026_05_29.json
monogate/python/scripts/proof_carrying_artifact_contract_validator.py monogate/python/tests/test_proof_carrying_artifact_contract_validator.py monogate/python/results/proof_carrying_artifact_contract_validator/pcc_m3_contract_validator_2026_05_29.json monogate/reports/pcc_m3_contract_validator_2026_05_29.md monogate/reports/evidence_packets/pcc_m3_contract_validator.json monogate/command_center_feeds/pcc_m3_contract_validator_feed_2026_05_29.json
monogate/reports/proof_carrying_artifacts/forge_rescue_contract_2026_05_29.json monogate/reports/forge_rescue_proof_carrying_artifact_contract_2026_05_29.md monogate/reports/evidence_packets/forge_rescue_proof_carrying_artifact_contract.json forge/reports/proof_carrying_rescue_suite_v0_2026_05_26.json forge/reports/proof_carrying_rescue_replay_v0_2026_05_26.json forge/reports/rescue_artifact_approval_v0_2026_05_26.json forge/reports/rescue_obligation_registry_v0_2026_05_26.json
monogate/python/scripts/proof_carrying_artifact_contract_validator.py monogate/python/tests/test_proof_carrying_artifact_contract_validator.py monogate/python/results/proof_carrying_artifact_contract_validator/pcc_m4_forge_rescue_contract_validator_2026_05_29.json monogate/reports/pcc_m4_forge_rescue_contract_validator_2026_05_29.md monogate/reports/evidence_packets/pcc_m4_forge_rescue_contract_validator.json monogate/command_center_feeds/pcc_m4_forge_rescue_contract_validator_feed_2026_05_29.json
monogate/python/scripts/proof_carrying_artifact_contract_validator.py monogate/python/tests/test_proof_carrying_artifact_contract_validator.py monogate/python/results/proof_carrying_artifact_contract_validator/pcc_m5_contract_batch_validator_2026_05_29.json monogate/reports/pcc_m5_contract_batch_validator_2026_05_29.md monogate/reports/evidence_packets/pcc_m5_contract_batch_validator.json monogate/command_center_feeds/pcc_m5_contract_batch_validator_feed_2026_05_29.json monogate/reports/proof_carrying_artifacts/a13_forge_efrog_contract_2026_05_29.json monogate/reports/proof_carrying_artifacts/forge_rescue_contract_2026_05_29.json
monogate/.github/workflows/eml-guard-contract.yml monogate/reports/pcc_m6_contract_ci_guard_2026_05_29.md monogate/reports/evidence_packets/pcc_m6_contract_ci_guard.json monogate/command_center_feeds/pcc_m6_contract_ci_guard_feed_2026_05_29.json
monogate/schemas/prediction_market_forecast_packet_v0.json monogate/python/results/prediction_market_forecast_packets/*_forecast_packet_2026_05_27.json monogate/reports/evidence_packets/pm_a1_prediction_market_evidence_agent.json
monogate/schemas/rampart_redteam_evidence_packet_v0.json monogate/python/results/rampart_redteam_packets/*_rampart_redteam_packet_2026_05_27.json monogate/reports/evidence_packets/rt_a2_local_rampart_adapter.json
monogate-electronics/evidence/ee_math_kernels/logic_guard_v0_simulated_packet_2026_05_27/evidence_packet.json monogate-electronics/evidence/ee_math_kernels/rc_transient_v0_simulated_packet_2026_05_27/evidence_packet.json monogate-electronics/evidence/ee_math_kernels/voltage_divider_v0_simulated_packet_2026_05_27/evidence_packet.json
monogate/schemas/electronics_artifact_intake_validation_v0.json monogate/python/fixtures/electronics/ee_bridge_a2_laptop_agent_simulated_handoff.json monogate/python/scripts/ee_bridge_a2_electronics_artifact_intake_validation.py monogate/python/results/ee_bridge_a2_electronics_artifact_intake_validation/ee_bridge_a2_electronics_artifact_intake_validation_2026_06_01.json monogate/reports/evidence_packets/ee_bridge_a2_electronics_artifact_intake_validation.json monogate/command_center_feeds/ee_bridge_a2_electronics_artifact_intake_validation_feed_2026_06_01.json
monogate/schemas/electronics_artifact_inbox_gate_v0.json monogate/python/scripts/ee_bridge_a4_electronics_artifact_inbox_gate.py monogate/python/results/ee_bridge_a4_electronics_artifact_inbox_gate/ee_bridge_a4_electronics_artifact_inbox_gate_2026_06_01.json monogate/reports/evidence_packets/ee_bridge_a4_electronics_artifact_inbox_gate.json monogate/command_center_feeds/ee_bridge_a4_electronics_artifact_inbox_gate_feed_2026_06_01.json
monogate-engine/product_readiness/mge_a15_transition_packet_history_export_output_2026_05_28.json monogate-engine/command_center_feeds/mge_a15_transition_packet_history_export_feed_2026_05_28.json
monogate/schemas/claim_review_packet_v0.json monogate/python/results/claim_review_packets/*_claim_review_packet_2026_05_27.json monogate/reports/evidence_packets/rh_a2_reviewer_priority_queue.json
monogate/reports/evidence_packets/eml_s20_style_atlas.json monogate/reports/eml_s20_style_atlas_2026_05_29.md monogate/python/results/eml_s20_style_atlas/eml_s20_style_atlas_2026_05_29.json monogate/python/results/eml_style_packets/*_2026_05_29.json monogate/command_center_feeds/eml_s20_style_atlas_feed_2026_05_29.json
monogate/reports/evidence_packets/eml_s21_native_holdout.json monogate/reports/eml_s21_native_holdout_2026_05_29.md monogate/python/results/eml_s21_native_holdout/eml_s21_native_holdout_2026_05_29.json monogate/command_center_feeds/eml_s21_native_holdout_feed_2026_05_29.json
monogate/reports/evidence_packets/eml_s22_source_family_generalization_map.json monogate/reports/eml_s22_source_family_generalization_map_2026_05_29.md monogate/python/results/eml_s22_source_family_generalization_map/eml_s22_source_family_generalization_map_2026_05_29.json monogate/python/results/eml_s22_promotion_packets/sigmoid_logistic_next_holdout_candidate_v0_2026_05_29.json monogate/command_center_feeds/eml_s22_source_family_generalization_map_feed_2026_05_29.json
efrog/examples/stable_sigmoid.py monogate/reports/evidence_packets/eml_s23_sigmoid_logistic_holdout.json monogate/reports/eml_s23_sigmoid_logistic_holdout_2026_05_29.md monogate/python/results/eml_s23_sigmoid_logistic_holdout/eml_s23_sigmoid_logistic_holdout_2026_05_29.json monogate/command_center_feeds/eml_s23_sigmoid_logistic_holdout_feed_2026_05_29.json
monogate/reports/evidence_packets/eml_s24_sigmoid_runtime_bakeoff.json monogate/reports/eml_s24_sigmoid_runtime_bakeoff_2026_05_29.md monogate/python/results/eml_s24_sigmoid_runtime_bakeoff/eml_s24_sigmoid_runtime_bakeoff_2026_05_29.json monogate/python/results/eml_s24_sigmoid_runtime_packets/*_2026_05_29.json monogate/command_center_feeds/eml_s24_sigmoid_runtime_bakeoff_feed_2026_05_29.json
command-center/app/export-advisories/page.tsx command-center/data/export-advisories/eml_a14_runtime_advisories_2026_05_29.json command-center/scripts/validate-export-advisories.mjs command-center/scripts/smoke-evidence-cockpit.mjs command-center/package.json
monogate/python/results/eml_s27_export_policy_registry/eml_s27_export_policy_registry_2026_05_29.json monogate/python/results/eml_export_policy_packets/*_2026_05_29.json monogate/reports/eml_s27_export_policy_registry_2026_05_29.md monogate/reports/evidence_packets/eml_s27_export_policy_registry.json monogate/command_center_feeds/eml_s27_export_policy_registry_feed_2026_05_29.json command-center/data/export-policies/eml_s27_export_policy_registry_2026_05_29.json command-center/scripts/validate-export-policies.mjs monogate/python/results/eml_s30_gaussian_log_normal_runtime_bakeoff/eml_s30_gaussian_log_normal_runtime_bakeoff_2026_05_29.json monogate/reports/evidence_packets/eml_s30_gaussian_log_normal_runtime_bakeoff.json monogate/python/results/eml_s31_guard_owned_clamp_policy_bakeoff/eml_s31_guard_owned_clamp_policy_bakeoff_2026_05_29.json monogate/reports/evidence_packets/eml_s31_guard_owned_clamp_policy_bakeoff.json
command-center/app/export-advisories/page.tsx command-center/data/export-policies/eml_s27_export_policy_registry_2026_05_29.json command-center/scripts/validate-export-policies.mjs
monogate/python/scripts/eml_s28_softplus_runtime_bakeoff.py monogate/python/results/eml_s28_softplus_runtime_bakeoff/eml_s28_softplus_runtime_bakeoff_2026_05_29.json monogate/python/results/eml_s28_softplus_runtime_packets/*_2026_05_29.json monogate/reports/eml_s28_softplus_runtime_bakeoff_2026_05_29.md monogate/reports/evidence_packets/eml_s28_softplus_runtime_bakeoff.json monogate/command_center_feeds/eml_s28_softplus_runtime_bakeoff_feed_2026_05_29.json
monogate/python/scripts/eml_s30_gaussian_log_normal_runtime_bakeoff.py monogate/python/results/eml_s30_gaussian_log_normal_runtime_bakeoff/eml_s30_gaussian_log_normal_runtime_bakeoff_2026_05_29.json monogate/python/results/eml_s30_gaussian_log_normal_runtime_packets/*_2026_05_29.json monogate/reports/eml_s30_gaussian_log_normal_runtime_bakeoff_2026_05_29.md monogate/reports/evidence_packets/eml_s30_gaussian_log_normal_runtime_bakeoff.json monogate/command_center_feeds/eml_s30_gaussian_log_normal_runtime_bakeoff_feed_2026_05_29.json
monogate/python/scripts/eml_s31_guard_owned_clamp_policy_bakeoff.py monogate/python/results/eml_s31_guard_owned_clamp_policy_bakeoff/eml_s31_guard_owned_clamp_policy_bakeoff_2026_05_29.json monogate/python/results/eml_s31_guard_owned_clamp_policy_packets/*_policy_bakeoff_packet_2026_05_29.json monogate/reports/eml_s31_guard_owned_clamp_policy_bakeoff_2026_05_29.md monogate/reports/evidence_packets/eml_s31_guard_owned_clamp_policy_bakeoff.json monogate/command_center_feeds/eml_s31_guard_owned_clamp_policy_bakeoff_feed_2026_05_29.json
monogate-engine/examples/15-glassbox-experience/src/eml_readiness_adapter.rs monogate-engine/examples/15-glassbox-experience/src/lib.rs monogate-engine/examples/15-glassbox-experience/src/bin/export_runtime_policy_registry.rs monogate-engine/examples/15-glassbox-experience/tests/runtime_policy_registry_export.rs monogate-engine/product_readiness/mge_a23_runtime_policy_registry_output_2026_05_29.json monogate-engine/command_center_feeds/mge_a23_runtime_policy_registry_feed_2026_05_29.json monogate-engine/product_readiness/mge_a27_gaussian_log_normal_runtime_policy_row_2026_05_29.json monogate-engine/command_center_feeds/mge_a27_gaussian_log_normal_runtime_policy_row_feed_2026_05_29.json
monogate-engine/tools/glassbox-runtime-policy-registry-drift-check/check.sh monogate-engine/.github/workflows/ci.yml monogate-engine/product_readiness/mge_a23_runtime_policy_registry_output_2026_05_29.json monogate-engine/product_readiness/mge_a24_runtime_policy_registry_drift_guard_2026_05_29.json monogate-engine/command_center_feeds/mge_a24_runtime_policy_registry_drift_guard_feed_2026_05_29.json monogate-engine/product_readiness/mge_a28_gaussian_log_normal_registry_drift_guard_update_2026_05_29.json monogate-engine/command_center_feeds/mge_a28_gaussian_log_normal_registry_drift_guard_update_feed_2026_05_29.json
monogate-engine/examples/15-glassbox-experience/src/eml_readiness_adapter.rs monogate-engine/examples/15-glassbox-experience/src/lib.rs monogate-engine/examples/15-glassbox-experience/tests/runtime_policy_registry_export.rs monogate-engine/product_readiness/mge_a23_runtime_policy_registry_output_2026_05_29.json monogate-engine/product_readiness/mge_a27_gaussian_log_normal_runtime_policy_row_2026_05_29.json monogate-engine/command_center_feeds/mge_a27_gaussian_log_normal_runtime_policy_row_feed_2026_05_29.json monogate-engine/reports/mge_a27_gaussian_log_normal_runtime_policy_row_2026_05_29.md
monogate-engine/tools/glassbox-runtime-policy-registry-drift-check/check.sh monogate-engine/product_readiness/mge_a23_runtime_policy_registry_output_2026_05_29.json monogate-engine/product_readiness/mge_a24_runtime_policy_registry_drift_guard_2026_05_29.json monogate-engine/product_readiness/mge_a28_gaussian_log_normal_registry_drift_guard_update_2026_05_29.json monogate-engine/command_center_feeds/mge_a28_gaussian_log_normal_registry_drift_guard_update_feed_2026_05_29.json monogate-engine/reports/mge_a28_gaussian_log_normal_registry_drift_guard_update_2026_05_29.md
monogate-engine/examples/15-glassbox-experience/src/eml_readiness_adapter.rs monogate-engine/examples/15-glassbox-experience/src/bin/export_gaussian_log_normal_anchor.rs monogate-engine/examples/15-glassbox-experience/tests/gaussian_log_normal_anchor_export.rs monogate-engine/product_readiness/mge_a29_gaussian_log_normal_evidence_anchor_output_2026_05_29.json monogate-engine/product_readiness/mge_a29_gaussian_log_normal_evidence_anchor_2026_05_29.json monogate-engine/command_center_feeds/mge_a29_gaussian_log_normal_evidence_anchor_feed_2026_05_29.json monogate-engine/reports/mge_a29_gaussian_log_normal_evidence_anchor_2026_05_29.md
monogate-engine/examples/15-glassbox-experience/src/eml_readiness_adapter.rs monogate-engine/examples/15-glassbox-experience/src/lib.rs monogate-engine/examples/15-glassbox-experience/src/hud.rs monogate-engine/examples/15-glassbox-experience/src/bin/export_contract_review_selector.rs monogate-engine/examples/15-glassbox-experience/tests/contract_review_selector_export.rs monogate-engine/product_readiness/mge_a30_glassbox_contract_review_selector_output_2026_05_29.json monogate-engine/product_readiness/mge_a30_glassbox_contract_review_selector_2026_05_29.json monogate-engine/reports/mge_a30_glassbox_contract_review_selector_2026_05_29.md monogate-engine/command_center_feeds/mge_a30_glassbox_contract_review_selector_feed_2026_05_29.json
monogate-engine/examples/15-glassbox-experience/src/eml_readiness_adapter.rs monogate-engine/examples/15-glassbox-experience/src/bin/export_stable_sigmoid_anchor.rs monogate-engine/examples/15-glassbox-experience/tests/stable_sigmoid_anchor_export.rs monogate-engine/product_readiness/mge_a25_stable_sigmoid_evidence_anchor_output_2026_05_29.json monogate-engine/product_readiness/mge_a25_stable_sigmoid_evidence_anchor_2026_05_29.json monogate-engine/command_center_feeds/mge_a25_stable_sigmoid_evidence_anchor_feed_2026_05_29.json
command-center/data/anchor-families/anchor_family_index_2026_05_29.json command-center/app/anchor-families/page.tsx command-center/scripts/validate-anchor-family-index.mjs command-center/data/evidence/evidence_cockpit_a1_2026_05_29.json
monogate-engine/examples/15-glassbox-experience/src/eml_readiness_adapter.rs monogate-engine/examples/15-glassbox-experience/src/bin/export_softplus_logaddexp_anchor.rs monogate-engine/examples/15-glassbox-experience/tests/softplus_logaddexp_anchor_export.rs monogate-engine/product_readiness/mge_a26_softplus_logaddexp_evidence_anchor_output_2026_05_29.json monogate-engine/product_readiness/mge_a26_softplus_logaddexp_evidence_anchor_2026_05_29.json monogate-engine/command_center_feeds/mge_a26_softplus_logaddexp_evidence_anchor_feed_2026_05_29.json
command-center/app/packet-builder/page.tsx monogate-dev/app/explorer/eml-packets/builder/PacketBuilderClient.tsx